Centraliser structure conjecture for formal maps

About 6 years old · traced to

Let KK be a field of characteristic zero, let G\mathcal{G} be the group of formal maps under composition, and let g∈Gg\in\mathcal{G} be tangent to but not equal to the identity. For h∈Gh\in\mathcal{G}, write {h∘a:a∈K}\{h^{\circ a}:a\in K\} for the one-parameter group of iterates of hh. Centraliser structure conjecture. The centraliser CG(g)C_{\mathcal{G}}(g) is abelian and is the inner direct product of its torsion subgroup and a finite number of one-parameter groups of iterates {h∘a:a∈K}\{h^{\circ a}:a\in K\}. Generically, the centraliser is just {g∘a:a∈K}\{g^{\circ a}:a\in K\}, and the occurrence of a two-parameter subgroup corresponds to the possibility of conjugating gg to a product series. The conjecture holds in dimension d=1d=1, while the general structure in characteristic zero remains open.

References

Primary source

Anthony G. O'Farrell, “Centralisers of formal maps”, arXiv:2010.07177 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.