2004/08/01 by Helge Glöckner, Helge Glockner, Glockner, Helge · 3 citations
Computer Science · Mathematics · #22E65 #22E67 #26E15 #26E20 #26E30 (main) #46A16 #46S10 #58C20 #58D05 #Advanced Operator Algebra Research #FOS: Mathematics #Functional Analysis (math.FA) #Group Theory (math.GR) #Topological and Geometric Data Analysis #advanced mathematical theories #math.FA #math.GR #msc:22E65 #msc:22E67 #msc:26E15 #msc:26E20 #msc:26E30 #msc:46A16 #msc:46S10 #msc:58C20 #msc:58D05
paper · pdf · doi:10.48550/arxiv.math/0408008
128 pp, LaTeX
arxiv created 2004/08/01 · openalex publication_date 2004/08/01 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss linear Lie groups, mapping groups, test function groups, diffeomorphism groups, and weak direct products of Lie groups. The specific tools of differential calculus required for the Lie group constructions are developed. Notably, we establish differentiability properties of composition and evaluation, as well as exponential laws for function spaces. We also present techniques to deal with the subtle differentiability and continuity properties of non-linear mappings between spaces of test functions. Most of the results are independent of any specific properties of the topological vector spaces involved; in particular, we can deal with real and complex Lie groups modeled on non-locally convex spaces.