English

Centralisers of formal maps

Group Theory 2022-07-05 v3

Abstract

We consider formal maps in any finite dimension dd with coefficients in an integral domain KK with identity. Those invertible under formal composition form a group G\mathcal{G}. We consider the centraliser CgC_g of an element gGg\in\mathcal{G} which is tangent to the identity of G\mathcal{G}. Elements of finite order always have an uncountable centraliser. If gg has infinite order and KK is a field of characteristic zero we show that CgC_g contains an isomorphic copy of the additive group (K,+)(K,+). If gg has infinite order and KK has finite characteristic we show that CgC_g contains an uncountable abelian subgroup. The proofs are quite different in finite characteristic and in characteristic zero, but are connected by so-called sum functions.

Keywords

Cite

@article{arxiv.2010.07177,
  title  = {Centralisers of formal maps},
  author = {Anthony G. O'Farrell},
  journal= {arXiv preprint arXiv:2010.07177},
  year   = {2022}
}
R2 v1 2026-06-23T19:20:59.171Z