Smooth Lie groups over local fields of positive characteristic need not be analytic

From MaRDI portal



Abstract: We describe finite-dimensional smooth Lie groups over local fields of positive characteristic which do not admit an analytic Lie group structure compatible with the given topological group structure, and C^n-Lie groups without a compatible C^{n+1}-Lie group structure, for each positive integer n. We also present examples of non-analytic, smooth automorphisms of Lie groups over such fields, as well as C^n-automorphisms which fail to be C^{n+1}.


According to a result dating back to \textit{F. Schur} [Math. Ann. 38, 263--286 (1891; JFM 23.0381.01)] each finite-dimensional real Lie group of class \(C^k\) admits a \(C^k\)-compatible analytic structure. The author has extended this result to Lie groups of finite dimension over local fields of characteristic~\(0\) [\textit{H. Glöckner}, ``Every smooth \(p\)-adic Lie group admits a compatible analytic structure, 37pp, to appear in Forum Math.]. In the present paper, the author constructs finite-dimensional smooth Lie groups over local fields of positive characteristic which do not admit an analytic Lie group structure compatible with the given topological group structure, and \(C^n\)-Lie groups without a compatible \(C^{n+1}\)-Lie group structure. He also presents examples of non-analytic, smooth automorphisms of analytic Lie groups over such fields, as well as \(C^n\)-automorphisms which fail to be \(C^{n+1}\). Crucial for the discussion are contractive automorphisms of totally disconnected locally compact groups, and \textit{G. Willis}' theory of scale functions [Math. Ann. 300, No. 2, 341--363 (1994; Zbl 0811.22004)].











This page was built for publication: Smooth Lie groups over local fields of positive characteristic need not be analytic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770480)