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

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)].