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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Smooth Lie groups over local fields of positive characteristic need not be analytic
scientific article

    Statements

    Smooth Lie groups over local fields of positive characteristic need not be analytic (English)
    0 references
    0 references
    7 April 2005
    0 references
    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)].
    0 references
    smooth Lie group
    0 references
    analytic Lie group
    0 references
    totally disconnected group
    0 references
    finite order differentiability
    0 references
    local field
    0 references
    positive characteristic
    0 references
    contractive automorphism
    0 references
    scale function
    0 references
    tidy subgroup
    0 references
    Willis theory
    0 references
    non-Archimedean analysis
    0 references

    Identifiers