Centraliser structure conjecture for formal maps

Let KK be a field of characteristic zero, let G\mathcal{G} be the group of formal maps under composition, and let gGg\in\mathcal{G} be tangent to but not equal to the identity. For hGh\in\mathcal{G}, write {ha:aK}\{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 {ha:aK}\{h^{\circ a}:a\in K\}. Generically, the centraliser is just {ga:aK}\{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.

Sources & referencesView supporting material

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.