Showing 1–50 of 78 results for author: Glockner, H

L^1-regularity of strong ILB-Lie groups

Authors: Helge Glockner, Ali Suri

Abstract: If G is a Lie group modeled on a Fréchet space, let e be its neutral element and g be its Lie algebra. We show that every strong ILB-Lie group G is L^1-regular in the sense that each f in L^1([0,1],g) is the right logarithmic derivative of some absolutely continuous curve c in G with c(0)=e and the map from L^1([0,1],g) to C([0,1],G) taking f to c is smooth. More generally, the conclusion holds fo… ▽ More If G is a Lie group modeled on a Fréchet space, let e be its neutral element and g be its Lie algebra. We show that every strong ILB-Lie group G is L^1-regular in the sense that each f in L^1([0,1],g) is the right logarithmic derivative of some absolutely continuous curve c in G with c(0)=e and the map from L^1([0,1],g) to C([0,1],G) taking f to c is smooth. More generally, the conclusion holds for a class of Fréchet-Lie groups considered by Hermas and Bedida. Examples are given. Notably, we obtain L^1-regularity for certain weighted diffeomorphism groups. △ Less

Submitted 3 October, 2024; originally announced October 2024.

Comments: 17 pages, LaTeX

MSC Class: 22E65 (primary); 34A12; 46E30; 46E40 (secondary)

Boundary values of diffeomorphisms of simple polytopes, and controllability

Authors: Helge Glöckner, Erlend Grong, Alexander Schmeding

Abstract: We consider the Lie group of smooth diffeomorphisms Diff$(M)$ of a simple polytope $M$ in the euclidean space. Simple polytopes are special cases of manifolds with corners. The geometric setting allows to study in particular, the subgroup of face respecting diffeomorphisms and its Lie theoretic properties. We find a canonical Lie group structure for the quotient of the diffeomorphism by the subgro… ▽ More We consider the Lie group of smooth diffeomorphisms Diff$(M)$ of a simple polytope $M$ in the euclidean space. Simple polytopes are special cases of manifolds with corners. The geometric setting allows to study in particular, the subgroup of face respecting diffeomorphisms and its Lie theoretic properties. We find a canonical Lie group structure for the quotient of the diffeomorphism by the subgroup Diff$^{\partial,id}(M)$ of maps that equal the identity on the boundary, turning the canonical quotient homomorphism Diff$(M)\rightarrow $Diff$(M)/$Diff$^{\partial,id}(M)$ into a smooth submersion. We also show that the identity component of the diffeomorphism group is generated by the exponential image, by proving general controllability results. △ Less

Submitted 22 January, 2025; v1 submitted 7 July, 2024; originally announced July 2024.

Comments: 34 pages, v2: significantly improved the controllability result, corrected typos, rest of the results remain unchanged

MSC Class: 58D05 (primary); 22E65; 34H05; 52B08; 52B70; 53C17 (secondary)

Manifolds of continuous BV-functions and vector measure regularity of Banach-Lie groups

Authors: Helge Glockner, Alexander Schmeding, Ali Suri

Abstract: We construct a smooth Banach manifold BV$([a,b], M)$ whose elements are suitably-defined functions $f:[a,b] \rightarrow M$ of bounded variation with values in a smooth Banach manifold $M$ which admits a local addition. If the target manifold is a Banach-Lie group $G$, with Lie algebra $\mathfrak{g}$, we obtain a Banach-Lie group BV$([a,b], G)$ with Lie algebra BV$([a, b], \mathfrak{g})$. Strengthe… ▽ More We construct a smooth Banach manifold BV$([a,b], M)$ whose elements are suitably-defined functions $f:[a,b] \rightarrow M$ of bounded variation with values in a smooth Banach manifold $M$ which admits a local addition. If the target manifold is a Banach-Lie group $G$, with Lie algebra $\mathfrak{g}$, we obtain a Banach-Lie group BV$([a,b], G)$ with Lie algebra BV$([a, b], \mathfrak{g})$. Strengthening known regularity properties of Banach-Lie groups, we construct a smooth evolution map from a Banach space of $\mathfrak{g}$-valued vector measures on $[0,1]$ to BV$([0,1],G)$. △ Less

Submitted 24 July, 2024; v1 submitted 6 July, 2024; originally announced July 2024.

Comments: 55 pages, LaTeX, v2: Corrected some typos and shortened the title, results remain unchanged

MSC Class: 58D15 (primary); 22E65; 22E67; 34A06; 34A12; 45G10; 46E40; 46G10; 46T10

Journal ref: Geometric mechanics 2025

Mapping groups associated with real-valued function spaces and direct limits of Sobolev-Lie groups

Authors: Helge Glockner, Luis Tarrega

Abstract: Let $M$ be a compact smooth manifold of dimension $m$ (without boundary) and $G$ be a finite-dimensional Lie group, with Lie algebra $g$. Let $H^{>m/2}(M,G)$ be the group of all mappings $γ\colon M\to G$ which are $H^s$ for some $s>m/2$. We show that $H^{>m/2}(M,G)$ can be made a regular Lie group in Milnor's sense, modelled on the Silva space $H^{>m/2}(M,g)$ which is the locally convex direct lim… ▽ More Let $M$ be a compact smooth manifold of dimension $m$ (without boundary) and $G$ be a finite-dimensional Lie group, with Lie algebra $g$. Let $H^{>m/2}(M,G)$ be the group of all mappings $γ\colon M\to G$ which are $H^s$ for some $s>m/2$. We show that $H^{>m/2}(M,G)$ can be made a regular Lie group in Milnor's sense, modelled on the Silva space $H^{>m/2}(M,g)$ which is the locally convex direct limit of the Hilbert spaces $H^s(M,g)$ for $s>m/2$, such that $H^{>m/2}(M,G)$ is the direct limit of the Hilbert-Lie groups $H^s(M,G)$ for $s>m/2$ as a smooth Lie group. We also explain how the (known) Lie group structure on $H^s(M,G)$ can be obtained as a special case of a general construction of Lie groups $F(M,G)$ whenever real-valued function spaces $F(U,R)$ on open subsets $U$ of $R^m$ are given, subject to simple axioms. △ Less

Submitted 3 October, 2022; originally announced October 2022.

Comments: Extended preprint version, 37 pages. Starting point for first author was earlier project "Regularity in Milnor's sense for direct limits of infinite-dimensional Lie groups''

MSC Class: 22E65 (Primary) 22E67; 46A13; 46E35; 46M40 (Secondary)

Deep neural networks on diffeomorphism groups for optimal shape reparameterization

Authors: Elena Celledoni, Helge Glöckner, Jørgen Riseth, Alexander Schmeding

Abstract: One of the fundamental problems in shape analysis is to align curves or surfaces before computing geodesic distances between their shapes. Finding the optimal reparametrization realizing this alignment is a computationally demanding task, typically done by solving an optimization problem on the diffeomorphism group. In this paper, we propose an algorithm for constructing approximations of orientat… ▽ More One of the fundamental problems in shape analysis is to align curves or surfaces before computing geodesic distances between their shapes. Finding the optimal reparametrization realizing this alignment is a computationally demanding task, typically done by solving an optimization problem on the diffeomorphism group. In this paper, we propose an algorithm for constructing approximations of orientation-preserving diffeomorphisms by composition of elementary diffeomorphisms. The algorithm is implemented using PyTorch, and is applicable for both unparametrized curves and surfaces. Moreover, we show universal approximation properties for the constructed architectures, and obtain bounds for the Lipschitz constants of the resulting diffeomorphisms. △ Less

Submitted 30 August, 2023; v1 submitted 22 July, 2022; originally announced July 2022.

Comments: 36 pages, 11 figures. Accepted by BIT Numerical Mathematics, not yet published

MSC Class: 65K10; 58D05; 46T10

Journal ref: Bit Numer Math 63, 50 (2023)

Birkhoff decompositions for loop groups with coefficient algebras

Authors: Helge Glockner

Abstract: Starting with a finite-dimensional complex Lie algebra, we extend scalars using suitable commutative topological algebras. We study Birkhoff decompositions for the corresponding loop groups. Some results remain valid for loop groups with valued in complex Banach-Lie groups. Starting with a finite-dimensional complex Lie algebra, we extend scalars using suitable commutative topological algebras. We study Birkhoff decompositions for the corresponding loop groups. Some results remain valid for loop groups with valued in complex Banach-Lie groups. △ Less

Submitted 23 June, 2022; originally announced June 2022.

Comments: 28 pages, LaTeX

MSC Class: 22E67 (Primary) 22E65; 26E15; 26E20; 46E25; 46E35; 46G20; 46J10; 58D15 (Secondary)

Non-Lie subgroups in Lie groups over local fields of positive characteristic

Authors: Helge Glockner

Abstract: By Cartan's Theorem, every closed subgroup $H$ of a real (or $p$-adic) Lie group $G$ is a Lie subgroup. For Lie groups over a local field ${\mathbb K}$ of positive characteristic, the analogous conclusion is known to be wrong. We show more: There exists a ${\mathbb K}$-analytic Lie group $G$ and a non-discrete, compact subgroup $H$ such that, for every ${\mathbb K}$-analytic manifold $M$, every… ▽ More By Cartan's Theorem, every closed subgroup $H$ of a real (or $p$-adic) Lie group $G$ is a Lie subgroup. For Lie groups over a local field ${\mathbb K}$ of positive characteristic, the analogous conclusion is known to be wrong. We show more: There exists a ${\mathbb K}$-analytic Lie group $G$ and a non-discrete, compact subgroup $H$ such that, for every ${\mathbb K}$-analytic manifold $M$, every ${\mathbb K}$-analytic map $f\colon M\to G$ with $f(M)\subseteq H$ is locally constant. In particular, the set $H$ does not admit a non-discrete ${\mathbb K}$-analytic manifold structure which makes the inclusion of $H$ into $G$ a ${\mathbb K}$-analytic map. We can achieve that, moreover, $H$ does not admit a ${\mathbb K}$-analytic Lie group structure compatible with the topological group structure induced by $G$ on $H$. △ Less

Submitted 29 March, 2022; originally announced March 2022.

Comments: 11 pages, LaTeX

MSC Class: 22E20 (Primary) 22E35; 22E50; 32P05 (Secondary)

Diffeomorphism groups of convex polytopes

Authors: Helge Glockner

Abstract: Let $E$ be a finite-dimensional real vector space and $M\subseteq E$ be a convex polytope with non-empty interior. We turn the group of all $C^\infty$-diffeomorphisms of $M$ into a regular Lie group. Let $E$ be a finite-dimensional real vector space and $M\subseteq E$ be a convex polytope with non-empty interior. We turn the group of all $C^\infty$-diffeomorphisms of $M$ into a regular Lie group. △ Less

Submitted 22 March, 2022; v1 submitted 17 March, 2022; originally announced March 2022.

Comments: 19 pages, LaTeX. v2: minor improvements

MSC Class: 58D05 (Primary) 22E65; 46T05; 46T10; 52B11; 52B15; 52B70 (Secondary)

Aspects of differential calculus related to infinite-dimensional vector bundles and Poisson vector spaces

Authors: Helge Glockner

Abstract: We prove various results in infinite-dimensional differential calculus which relate differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: 1. in the theory of infinite-dimensional vector bundles, to construct new bundles from given ones, like dual bundles, topological tensor products, infinite direct sums, and… ▽ More We prove various results in infinite-dimensional differential calculus which relate differentiability properties of functions and associated operator-valued functions (e.g., differentials). The results are applied in two areas: 1. in the theory of infinite-dimensional vector bundles, to construct new bundles from given ones, like dual bundles, topological tensor products, infinite direct sums, and completions (under suitable hypotheses). 2. in the theory of locally convex Poisson vector spaces, to prove continuity of the Poisson bracket and continuity of passage from a function to the associated Hamiltonian vector field. Topological properties of topological vector spaces are essential for the studies, which allow hypocontinuity of bilinear mappings to be exploited. Notably, we encounter $k_{\mathbb R}$-spaces and locally convex spaces $E$ such that $E\times E$ is a $k_{\mathbb R}$-space. △ Less

Submitted 3 March, 2022; originally announced March 2022.

Comments: 52 pages, LaTeX. An earlier title of the manuscript was "Bundles of locally convex spaces, group actions, an hypocontinuous bilinear mappings." Sections 11 and 12 use unpublished material from arXiv:math/0701072

MSC Class: 26E15 (Primary) 26E15; 17B63; 22E65; 26E20; 26E20; 46G20; 54B10; 54D50; 55R25; 58B10 (Secondary)

Manifolds of mappings on cartesian products

Authors: Helge Glockner, Alexander Schmeding

Abstract: Given smooth manifolds $M_1,\ldots, M_n$ (which may have a boundary or corners), a smooth manifold $N$ modeled on locally convex spaces and $α\in({\mathbb N}_0\cup\{\infty\})^n$, we consider the set $C^α(M_1\times\cdots\times M_n,N)$ of all mappings $f\colon M_1\times\cdots\times M_n\to N$ which are $C^α$ in the sense of Alzaareer. Such mappings admit, simultaneously, continuous iterated direction… ▽ More Given smooth manifolds $M_1,\ldots, M_n$ (which may have a boundary or corners), a smooth manifold $N$ modeled on locally convex spaces and $α\in({\mathbb N}_0\cup\{\infty\})^n$, we consider the set $C^α(M_1\times\cdots\times M_n,N)$ of all mappings $f\colon M_1\times\cdots\times M_n\to N$ which are $C^α$ in the sense of Alzaareer. Such mappings admit, simultaneously, continuous iterated directional derivatives of orders $\leq α_j$ in the $j$th variable for $j\in\{1,\ldots, n\}$, in local charts. We show that $C^α(M_1\times\cdots\times M_n,N)$ admits a canonical smooth manifold structure whenever each $M_j$ is compact and $N$ admits a local addition. The case of non-compact domains is also considered. △ Less

Submitted 19 November, 2021; v1 submitted 4 September, 2021; originally announced September 2021.

Comments: 48 pages, LaTeX. v2: update of references, minor corrections (all results unchanged)

MSC Class: 58D15 (primary); 22E65; 26E15; 26E20; 46E40; 46T20 (secondary)

Journal ref: Ann Glob Anal Geom 61, 359-398 (2022)

Contraction groups and the big cell for endomorphisms of Lie groups over local fields

Authors: Helge Glockner

Abstract: Let $G$ be a Lie group over a totally disconnected local field and $α$ be an analytic endomorphism of $G$. The contraction group of $α$ ist the set of all $x\in G$ such that $α^n(x)\to e$ as $n\to\infty$. Call sequence $(x_{-n})_{n\geq 0}$ in $G$ an $α$-regressive trajectory for $x\in G$ if $α(x_{-n})=x_{-n+1}$ for all $n\geq 1$ and $x_0=x$. The anti-contraction group of $α$ is the set of all… ▽ More Let $G$ be a Lie group over a totally disconnected local field and $α$ be an analytic endomorphism of $G$. The contraction group of $α$ ist the set of all $x\in G$ such that $α^n(x)\to e$ as $n\to\infty$. Call sequence $(x_{-n})_{n\geq 0}$ in $G$ an $α$-regressive trajectory for $x\in G$ if $α(x_{-n})=x_{-n+1}$ for all $n\geq 1$ and $x_0=x$. The anti-contraction group of $α$ is the set of all $x\in G$ admitting an $α$-regressive trajectory $(x_{-n})_{n\geq 0}$ such that $x_{-n}\to e$ as $n\to\infty$. The Levi subgroup is the set of all $x\in G$ whose $α$-orbit is relatively compact, and such that $x$ admits an $α$-regressive trajectory $(x_{-n})_{n\geq 0}$ such that $\{x_{-n}\colon n\geq 0\}$ is relatively compact. The big cell associated to $α$ is the set $Ω$ of all all products $xyz$ with $x$ in the contraction group, $y$ in the Levi subgroup and $z$ in the anti-contraction group. Let $π$ be the mapping from the cartesian product of the contraction group, Levi subgroup and anti-contraction group to $Ω$ which maps $(x,y,z)$ to $xyz$. We show: $Ω$ is open in $G$ and $π$ is étale for suitable immersed Lie subgroup structures on the three subgroups just mentioned. Moreover, we study group-theoretic properties of contraction groups and anti-contraction groups. △ Less

Submitted 8 January, 2021; originally announced January 2021.

Comments: 34 pages, LaTeX; former title: Contraction groups of analytic endomorphisms and dynamics on the big cell

MSC Class: 22E20 (primary); 22D05; 22E25; 22E35; 32P05; 37B05; 37C05; 37C86; 37D10 (secondary)

Lie groups of real analytic diffeomorphisms are $L^1$-regular

Authors: Helge Glockner

Abstract: Let $M$ be a compact, real analytic manifold and $G$ be the Lie group of all real-analytic diffeomorphisms of $M$, which is modelled on the space ${\mathfrak g}$ of real-analytic vector fields on $M$. We study flows of time-dependent real-analytic vector fields on $M$ which are integrable functions in time, and their dependence on the time-dependent vector field. Notably, we show that the Lie grou… ▽ More Let $M$ be a compact, real analytic manifold and $G$ be the Lie group of all real-analytic diffeomorphisms of $M$, which is modelled on the space ${\mathfrak g}$ of real-analytic vector fields on $M$. We study flows of time-dependent real-analytic vector fields on $M$ which are integrable functions in time, and their dependence on the time-dependent vector field. Notably, we show that the Lie group $G$ is $L^1$-regular in the sense that each $[γ]$ in $L^1([0,1],{\mathfrak g})$ has an evolution which is an absolutely continuous $G$-valued function on $[0,1]$ and depends smoothly on $[γ]$. As tools for the proof, we develop new results concerning $L^1$-regularity of infinite-dimensional Lie groups, and new results concerning the continuity and complex analyticity of non-linear mappings on locally convex direct limits. △ Less

Submitted 26 September, 2023; v1 submitted 30 July, 2020; originally announced July 2020.

Comments: v5: 47 pages; typos removed, minor improvements

MSC Class: 22E65 (primary); 28B05; 34A12; 34H05; 46E20; 46E40 (secondary)

Aspects of control theory on infinite-dimensional Lie groups and G-manifolds

Authors: Helge Glockner, Joachim Hilgert

Abstract: We develop aspects of geometric control theory on Lie groups G which may be infinite dimensional, and on smooth G-manifolds M modelled on locally convex spaces. As a tool, we discuss existence and uniqueness questions for differential equations on M given by time-dependent fundamental vector fields which are L^1 in time. We then discuss the closures of reachable sets in M for controls in the Lie a… ▽ More We develop aspects of geometric control theory on Lie groups G which may be infinite dimensional, and on smooth G-manifolds M modelled on locally convex spaces. As a tool, we discuss existence and uniqueness questions for differential equations on M given by time-dependent fundamental vector fields which are L^1 in time. We then discuss the closures of reachable sets in M for controls in the Lie algebra of G, or within a compact convex subset of the Lie algebra. Regularity properties of the Lie group G play an important role. △ Less

Submitted 24 August, 2022; v1 submitted 22 July, 2020; originally announced July 2020.

Comments: 58 pages, LaTeX. v2: more detailed references, update of bibliography

MSC Class: 22E65 (primary); 28B05; 34A12; 34H05; 46E30; 46E40 (secondary)

Locally pro-p contraction groups are nilpotent

Authors: Helge Glockner, George A. Willis

Abstract: The authors have shown previously that every locally pro-p contraction group decomposes into the direct product of a p-adic analytic factor and a torsion factor. It has long been known that p-adic analytic contraction groups are nilpotent. We show here that the torsion factor is nilpotent too, and hence that every locally pro-p contraction group is nilpotent. The authors have shown previously that every locally pro-p contraction group decomposes into the direct product of a p-adic analytic factor and a torsion factor. It has long been known that p-adic analytic contraction groups are nilpotent. We show here that the torsion factor is nilpotent too, and hence that every locally pro-p contraction group is nilpotent. △ Less

Submitted 9 August, 2020; v1 submitted 19 June, 2020; originally announced June 2020.

Comments: 24 pages, LaTeX

MSC Class: 22D05 (Primary) 20E22; 20E36; 20F18; 20J06 (Secondary)

Smoothing operators for vector-valued functions and extension operators

Authors: Helge Glockner

Abstract: For suitable finite-dimensional smooth manifolds M (possibly with various kinds of boundary or corners), locally convex topological vector spaces F and non-negative integers k, we construct continuous linear operators S_n from the space of F-valued k times continuously differentiable functions on M to the corresponding space of smooth functions such that S_n(f) converges to f in C^k(M,F) as n tend… ▽ More For suitable finite-dimensional smooth manifolds M (possibly with various kinds of boundary or corners), locally convex topological vector spaces F and non-negative integers k, we construct continuous linear operators S_n from the space of F-valued k times continuously differentiable functions on M to the corresponding space of smooth functions such that S_n(f) converges to f in C^k(M,F) as n tends to infinity, uniformly for f in compact subsets of C^k(M,F). We also study the existence of continuous linear right inverses for restriction maps from C^k(M,F) to C^k(L,F) if L is a closed subset of M, endowed with a C^k-manifold structure turning the inclusion map from L to M into a C^k-map. Moreover, we construct continuous linear right inverses for restriction operators between spaces of sections in vector bundles in many situations, and smooth local right inverses for restriction operators between manifolds of mappings. We also obtain smoothing results for sections in fibre bundles. △ Less

Submitted 2 September, 2022; v1 submitted 30 May, 2020; originally announced June 2020.

Comments: v2: 119 pages. Proof of Theorem 1.3 corrected, all results unchanged

MSC Class: 77R10; 54C20 (primary); 22E65; 22E67; 46E40; 46M05; 46T05; 46T10; 54D40; 57N20; 57R18; 58B05; 58C25 (secondary)

Direct limits of regular Lie groups

Authors: Helge Glockner

Abstract: Let G be a regular Lie group which is a directed union of regular Lie groups G_i (all modelled on possibly infinite-dimensional, locally convex spaces). We show that G is the direct limit of the G_i as a regular Lie group whenever G admits a so-called direct limit chart. Notably, this allows the regular Lie group Diff_c(M) of compactly supported smooth diffeomorphisms to be interpreted as a direct… ▽ More Let G be a regular Lie group which is a directed union of regular Lie groups G_i (all modelled on possibly infinite-dimensional, locally convex spaces). We show that G is the direct limit of the G_i as a regular Lie group whenever G admits a so-called direct limit chart. Notably, this allows the regular Lie group Diff_c(M) of compactly supported smooth diffeomorphisms to be interpreted as a direct limit of the regular Lie groups Diff_K(M) of smooth diffeomorphisms supported in compact subsets K of M, even if the finite-dimensional smooth manifold M is merely paracompact (but not necessarily sigma-compact), which was not known before. Similar results are obtained for the test function groups C^k_c(M,F) with values in a Lie group F. △ Less

Submitted 17 February, 2019; originally announced February 2019.

Comments: 12 pages, LaTeX

MSC Class: 22E65 (primary); 22E66; 22E67; 46M40; 46T10 (secondary)

Lie groupoids of mappings taking values in a Lie groupoid

Authors: Habib Amiri, Helge Glockner, Alexander Schmeding

Abstract: Endowing differentiable functions from a compact manifold to a Lie group with the pointwise group operations one obtains the so-called current groups and, as a special case, loop groups. These are prime examples of infinite-dimensional Lie groups modelled on locally convex spaces. In the present paper, we generalise this construction and show that differentiable mappings on a compact manifold (pos… ▽ More Endowing differentiable functions from a compact manifold to a Lie group with the pointwise group operations one obtains the so-called current groups and, as a special case, loop groups. These are prime examples of infinite-dimensional Lie groups modelled on locally convex spaces. In the present paper, we generalise this construction and show that differentiable mappings on a compact manifold (possibly with boundary) with values in a Lie groupoid form infinite-dimensional Lie groupoids which we call current Lie groupoids. We then study basic differential geometry and Lie theory for these Lie groupoids of mappings. In particular, we show that certain Lie groupoid properties, like being a proper étale Lie groupoid, are inherited by the current groupoid. Furthermore, we identify the Lie algebroid of a current Lie groupoid as a current Lie algebroid (analogous to the current Lie algebra associated to a current Lie group). To establish these results, we study superposition operators given by postcomposition with a fixed function, between manifolds of $C^\ell$-functions. Under natural hypotheses, these operators turn out to be a submersion (an immersion, an embedding, proper, resp., a local diffeomorphism) if so is the underlying map. These results are new in their generality and of independent interest. △ Less

Submitted 18 February, 2019; v1 submitted 7 November, 2018; originally announced November 2018.

Comments: 53 pages, v2: Corrected typos and small mistakes, greatly expanded Appendix A, main results remain unchanged

MSC Class: 22A22 (primary); 22E65; 22E67; 46T10; 47H30; 58D15; 58H05

Journal ref: Archivum Mathematicum, vol. 56 (2020), issue 5, pp. 307-356

Decompositions of locally compact contraction groups, series and extensions

Authors: Helge Glockner, George A. Willis

Abstract: A locally compact contraction group is a pair (G,f) where G is a locally compact group and f an automorphism of G which is contractive in the sense that the forward orbit under f of each g in G converges to the neutral element e, as n tends to infinity. We show that every surjective, continuous, equivariant homomorphism between locally compact contraction groups admits an equivariant continuous gl… ▽ More A locally compact contraction group is a pair (G,f) where G is a locally compact group and f an automorphism of G which is contractive in the sense that the forward orbit under f of each g in G converges to the neutral element e, as n tends to infinity. We show that every surjective, continuous, equivariant homomorphism between locally compact contraction groups admits an equivariant continuous global section. As a consequence, extensions of locally compact contraction groups with abelian kernel can be described by continuous equivariant cohomology. For each prime number p, we use 2-cocycles to construct uncountably many pairwise non-isomorphic totally disconnected, locally compact contraction groups (G,f) which are central extensions of the additive group of the field of formal Laurent series over Z/pZ by itself. By contrast, there are only countably many locally compact contraction groups (up to isomorphism) which are torsion groups and abelian, as follows from a classification of the abelian locally compact contraction groups. △ Less

Submitted 4 April, 2018; originally announced April 2018.

Comments: 61 pages

MSC Class: 22D05 (primary); 20E22; 20E36; 20F18; 20J06 (secondary)

Products of locally compact spaces are k_R-spaces

Authors: Helge Glockner, Niku Masbough

Abstract: A theorem by Norman L. Noble from 1970 asserts that every product of completely regular, locally pseudo-compact k_R-spaces is a k_R-space. As a consequence, all direct products of locally compact Hausdorff spaces are k_R-spaces. We provide a streamlined proof for this fact. A theorem by Norman L. Noble from 1970 asserts that every product of completely regular, locally pseudo-compact k_R-spaces is a k_R-space. As a consequence, all direct products of locally compact Hausdorff spaces are k_R-spaces. We provide a streamlined proof for this fact. △ Less

Submitted 6 January, 2018; originally announced January 2018.

Comments: 3 pages, LaTeX

MSC Class: 54D50; 54D45

Endomorphisms of Lie groups over local fields

Authors: Helge Glockner

Abstract: Lie groups over local fields furnish prime examples of totally disconnected, locally compact groups. We discuss the scale, tidy subgroups and further subgroups (like contraction subgroups) for analytic endomorphisms of such groups. The text is both a research article and a worked out set of lecture notes for a mini-course held June 27-July 1, 2016 at the MATRIX research center in Creswick (Austr… ▽ More Lie groups over local fields furnish prime examples of totally disconnected, locally compact groups. We discuss the scale, tidy subgroups and further subgroups (like contraction subgroups) for analytic endomorphisms of such groups. The text is both a research article and a worked out set of lecture notes for a mini-course held June 27-July 1, 2016 at the MATRIX research center in Creswick (Australia) as part of the "Winter of Disconnectedness". The text can be read in parallel to the earlier lecture notes arXiv:0804.2234 which are devoted to automorphisms, with sketches of proof. Complementary aspects are emphasized. △ Less

Submitted 13 January, 2017; v1 submitted 7 January, 2017; originally announced January 2017.

Comments: Former titles were "Scale functions on Lie groups over local fields of positive characteristic", "Automorphisms of Lie groups over local fields of positive characteristic", "Automorphisms of Lie groups over local fields and related invariant manifolds" and "Lie groups of type R over local fields of positive characteristic". C^k-Lie groups may be treated in a later work. v2: 76 pages

MSC Class: 22E20 (primary); 22E35; 22E46; 22E50; 37D10; 37P10; 37P20 (secondary)

Completeness of locally $k_ω$-groups and related infinite-dimensional Lie groups

Authors: Helge Glockner

Abstract: Recall that a topological space is said to be a $k_ω$-space if it is the direct limit of an ascending sequence of compact Hausdorff topological spaces. If each point in a Hausdorff space $X$ has an open neighbourhood which is a $k_ω$-space, then $X$ is called locally $k_ω$. We show that a topological group is complete whenever the underlying topological space is locally $k_ω$. As a consequence, ev… ▽ More Recall that a topological space is said to be a $k_ω$-space if it is the direct limit of an ascending sequence of compact Hausdorff topological spaces. If each point in a Hausdorff space $X$ has an open neighbourhood which is a $k_ω$-space, then $X$ is called locally $k_ω$. We show that a topological group is complete whenever the underlying topological space is locally $k_ω$. As a consequence, every infinite-dimensional Lie group modelled on a Silva space is complete. △ Less

Submitted 7 March, 2017; v1 submitted 29 December, 2016; originally announced December 2016.

Comments: v2: 11 pages, major rewriting, cuts, and change of authorship as the former Theorem 1.1 turned out be a known result by D.C. Hunt and S.A. Morris from 1974

MSC Class: 22E65 (primary); 22A05; 46A13; 46M40; 58D05 (secondary)

Contraction Groups and Passage to Subgroups and Quotients for Endomorphisms of Totally Disconnected Locally Compact Groups

Authors: Timothy P. Bywaters, Helge Glöckner, Stephan Tornier

Abstract: The concepts of the scale and tidy subgroups for an automorphism of a totally disconnected locally compact group were defined in seminal work by George A. Willis in the 1990s, and recently generalized to the case of endomorphisms (G. A. Willis, Math. Ann. 361 (2015), 403--442). We show that central facts concerning the scale, tidy subgroups, quotients, and contraction groups of automorphisms exten… ▽ More The concepts of the scale and tidy subgroups for an automorphism of a totally disconnected locally compact group were defined in seminal work by George A. Willis in the 1990s, and recently generalized to the case of endomorphisms (G. A. Willis, Math. Ann. 361 (2015), 403--442). We show that central facts concerning the scale, tidy subgroups, quotients, and contraction groups of automorphisms extend to the case of endomorphisms. In particular, we obtain results concerning the domain of attraction around an invariant closed subgroup. △ Less

Submitted 14 September, 2017; v1 submitted 20 December, 2016; originally announced December 2016.

Comments: v3: 60 pages, this revised version will be accepted for publication in the Israel Journal of Mathematics

MSC Class: 22D05 (primary); 37A25; 37B05; 37D99; 37P20 (secondary)

Completeness of infinite-dimensional Lie groups in their left uniformity

Authors: Helge Glockner

Abstract: We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups. We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups. △ Less

Submitted 18 October, 2017; v1 submitted 3 October, 2016; originally announced October 2016.

Comments: v4: 32 pages, less background material

MSC Class: 22E65 (primary); 22A05; 22E67; 46A13; 46M40; 58D05 (secondary)

Diffeomorphism groups of compact convex sets

Authors: Helge Glockner, Karl-Hermann Neeb

Abstract: For a compact convex subset K with non-empty interior in a finite-dimensional vector space, let G be the group of all smooth diffeomorphisms of K which fix the boundary of K pointwise. We show that G is a C^0-regular infinite-dimensional Lie group. As a byproduct, we obtain results concerning solutions to ordinary differential equations on compact convex sets. For a compact convex subset K with non-empty interior in a finite-dimensional vector space, let G be the group of all smooth diffeomorphisms of K which fix the boundary of K pointwise. We show that G is a C^0-regular infinite-dimensional Lie group. As a byproduct, we obtain results concerning solutions to ordinary differential equations on compact convex sets. △ Less

Submitted 18 March, 2016; originally announced March 2016.

Comments: 33 pages, LaTeX

MSC Class: 22E65 (primary); 34A12 (secondary)

Measurable regularity properties of infinite-dimensional Lie groups

Authors: Helge Glockner

Abstract: We consider differential equations of the form y'(t)=f(t,y(t)) on a (possibly infinite-dimensional) Lie group G, for f : [0,1] x G -> TG a time-dependent left invariant vector field with measurable (but not necessarily continuous) dependence on t. If a solution Evol(c):=y on [0,1] starting at the neutral element e of G exists for each f corresponding to an L^1-curve c : [0,1] -> g in the Lie algeb… ▽ More We consider differential equations of the form y'(t)=f(t,y(t)) on a (possibly infinite-dimensional) Lie group G, for f : [0,1] x G -> TG a time-dependent left invariant vector field with measurable (but not necessarily continuous) dependence on t. If a solution Evol(c):=y on [0,1] starting at the neutral element e of G exists for each f corresponding to an L^1-curve c : [0,1] -> g in the Lie algebra g of G, and Evol is smooth as a map from L^1([0,1],g) to C([0,1],G), then G is called L^1-regular. We show that all Banach-Lie groups are L^1-regular, as well as all direct limits of finite-dimensional Lie groups and many further classical examples of infinite-dimensional Lie groups, like diffeomorphism groups of paracompact finite-dimensional smooth manifolds. If a Lie group G is L^1-regular, then the Trotter product formula and the commutator formula hold in G, in a strong sense. The same conclusion holds if G merely satisfies certain weaker measurable regularity properties (like L^p-regularity), which are discussed as well. As a tool, we study differentiability properties of certain non-linear mappings to vector-valued Lebesgue spaces and spaces of vector-valued absolutely continuous functions. △ Less

Submitted 23 December, 2015; originally announced January 2016.

Comments: 229 pages, LaTeX; manuscript for a book or memoir

MSC Class: 22E65 (primary); 26E15; 34A12; 34G20; 46A13; 46E30; 46E40; 46T10 (secondary)

Fundamentals of submersions and immersions between infinite-dimensional manifolds

Authors: Helge Glockner

Abstract: We define submersions f between manifolds M and N modelled on locally convex spaces. If the range N is finite-dimensional or a Banach manifold, then these coincide with the naive notion of a submersion. We study pre-images of submanifolds under submersions and pre-images under mappings whose differentials have dense image. An infinite-dimensional version of the constant rank theorem is provided. W… ▽ More We define submersions f between manifolds M and N modelled on locally convex spaces. If the range N is finite-dimensional or a Banach manifold, then these coincide with the naive notion of a submersion. We study pre-images of submanifolds under submersions and pre-images under mappings whose differentials have dense image. An infinite-dimensional version of the constant rank theorem is provided. We also construct manifold structures on homogeneous spaces G/H of infinite-dimensional Lie groups. Some fundamentals of immersions between infinite-dimensional manifolds are developed as well. △ Less

Submitted 10 October, 2016; v1 submitted 20 February, 2015; originally announced February 2015.

Comments: v4: 39 pages, LaTeX, includes a Whitney-type embedding theorem for C^r-regular manifolds modelled on locally convex spaces (Theorem J)

MSC Class: Primary 46G10; Secondary 22A22; 22E65; 22F30; 58B56; 58C15

The kernel of the adjoint representation of a p-adic Lie group need not have an abelian open normal subgroup

Authors: Helge Glockner

Abstract: Let G be a p-adic Lie group and Ad be the adjoint representation of G on its Lie algebra. It was claimed in the literature that the kernel K of Ad always has an abelian open normal subgroup. We show by means of a counterexample that this assertion is false; it can even happen that K=G but G has no abelian subnormal subgroup except for the trivial group. The arguments are based on auxiliary results… ▽ More Let G be a p-adic Lie group and Ad be the adjoint representation of G on its Lie algebra. It was claimed in the literature that the kernel K of Ad always has an abelian open normal subgroup. We show by means of a counterexample that this assertion is false; it can even happen that K=G but G has no abelian subnormal subgroup except for the trivial group. The arguments are based on auxiliary results on subgroups of free products with central amalgamation. △ Less

Submitted 18 December, 2014; v1 submitted 15 December, 2014; originally announced December 2014.

Comments: v2: Also Assertion 1 from the literature refuted now

MSC Class: Primary 22E20; secondary 20D35; 20E06; 22E25; 22E50

Invariant manifolds for finite-dimensional non-archimedean dynamical systems

Authors: Helge Glockner

Abstract: Let M be an analytic manifold modelled on an ultrametric Banach space over a complete ultrametric field. Let f be an analytic diffeomorphism from M onto itself and p be a fixed point of f. We discuss invariant manifolds around p, like stable manifolds, centre-stable manifolds and centre manifolds, with an emphasis on results specific to the case that M has finite dimension. The results have applic… ▽ More Let M be an analytic manifold modelled on an ultrametric Banach space over a complete ultrametric field. Let f be an analytic diffeomorphism from M onto itself and p be a fixed point of f. We discuss invariant manifolds around p, like stable manifolds, centre-stable manifolds and centre manifolds, with an emphasis on results specific to the case that M has finite dimension. The results have applications in the theory of Lie groups over totally disconnected local fields. △ Less

Submitted 8 January, 2015; v1 submitted 6 December, 2014; originally announced December 2014.

Comments: v2: minor revisions, 25 pages. The preprint is based on unpublished parts of the author's preprint arXiv:0808.2709 [math.DS]

MSC Class: Primary 37D10; Secondary 46S10; 26E30

Complexifications of infinite-dimensional manifolds and new constructions of infinite-dimensional Lie groups

Authors: Rafael Dahmen, Helge Glockner, Alexander Schmeding

Abstract: Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of the latter (as a complex manifold) is uniquely determined. If M is regular and the complexified modeling space of M is normal, then a regular complexification exi… ▽ More Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of the latter (as a complex manifold) is uniquely determined. If M is regular and the complexified modeling space of M is normal, then a regular complexification exists for some neighborhood of K. For each (real or complex) analytic regular manifold M modeled on a metrizable locally convex space and Banach-Lie group H, this allows the group Germ(K,H) of germs of H-valued analytic maps around K in M to be turned into an analytic Lie group which is regular in Milnor's sense. A special case is a regular real analytic Lie group structure on the group of real analytic H-valued maps on a compact real analytic manifold M (which, previously, had only been treated in the convenient setting of analysis). Combining our results concerning groups of germs with an idea by Neeb and Wagemann, one can also obtain a regular Lie group structure on the group of all real analytic H-valued mappings on the real line. △ Less

Submitted 5 January, 2016; v1 submitted 23 October, 2014; originally announced October 2014.

Comments: 32 pages

Elementary p-adic Lie groups have finite construction rank

Authors: Helge Glockner

Abstract: The class of elementary totally disconnected groups is the smallest class of totally disconnected, locally compact, second countable groups which contains all discrete countable groups, all metrizable pro-finite groups, and is closed under extensions and countable ascending unions. To each elementary group G, a (possibly infinite) ordinal number rk(G) can be associated, its construction rank. By a… ▽ More The class of elementary totally disconnected groups is the smallest class of totally disconnected, locally compact, second countable groups which contains all discrete countable groups, all metrizable pro-finite groups, and is closed under extensions and countable ascending unions. To each elementary group G, a (possibly infinite) ordinal number rk(G) can be associated, its construction rank. By a structure theorem of Phillip Wesolek, elementary p-padic Lie groups are among the basic building blocks for general sigma-compact p-adic Lie groups. We characterize elementary p-adic Lie groups in terms of the subquotients needed to describe them. The characterization implies that every elementary p-adic Lie group has finite construction rank. Results concerning general p-adic Lie groups are also obtained, concerning the isomorphism types of subquotients needed to build up the latter. △ Less

Submitted 27 December, 2016; v1 submitted 20 February, 2014; originally announced February 2014.

Comments: LaTeX; v6: 21 pages, additional results

MSC Class: 22E20 (Primary); 22E35; 22E46; 22E50 (Secondary)

Bounded solutions of finite lifetime to differential equations in Banach spaces

Authors: Rafael Dahmen, Helge Glockner

Abstract: Consider a smooth vector field $f\colon \mathbb{R}^n\to\mathbb{R}^n$ and a maximal solution $γ\colon \,]a,b[\,\to \mathbb{R}^n$ to the ordinary differential equation $x'=f(x)$. It is a well-known fact that, if $γ$ is bounded, then $γ$ is a global solution, i.e., $\,]a,b[\,=\mathbb{R}$. We show by example that this conclusion becomes invalid if $\mathbb{R}^n$ is replaced with an infinite-dimensiona… ▽ More Consider a smooth vector field $f\colon \mathbb{R}^n\to\mathbb{R}^n$ and a maximal solution $γ\colon \,]a,b[\,\to \mathbb{R}^n$ to the ordinary differential equation $x'=f(x)$. It is a well-known fact that, if $γ$ is bounded, then $γ$ is a global solution, i.e., $\,]a,b[\,=\mathbb{R}$. We show by example that this conclusion becomes invalid if $\mathbb{R}^n$ is replaced with an infinite-dimensional Banach space. △ Less

Submitted 26 March, 2014; v1 submitted 7 February, 2014; originally announced February 2014.

Comments: v3: 13 pages, additional references

MSC Class: Primary 34C11; secondary 26E20; 34A12; 34G20; 37C10; 34--01

Expansive automorphisms of totally disconnected, locally compact groups

Authors: Helge Glockner, C. R. E. Raja

Abstract: We study automorphisms $α$ of a totally disconnected, locally compact group $G$ which are expansive in the sense that, for some identity neighbourhood $U$, the sets $α^n(U)$ (for integers $n$) intersect in the trivial group. Notably, we prove that the automorphism induced by $α$ on $G/N$ for an $α$-stable closed normal subgroup $N$ of $G$ is always expansive. Further results involve the associated… ▽ More We study automorphisms $α$ of a totally disconnected, locally compact group $G$ which are expansive in the sense that, for some identity neighbourhood $U$, the sets $α^n(U)$ (for integers $n$) intersect in the trivial group. Notably, we prove that the automorphism induced by $α$ on $G/N$ for an $α$-stable closed normal subgroup $N$ of $G$ is always expansive. Further results involve the associated contraction groups $U_α$ consisting of all $x$ in $G$ such that $α^n(x) \to e$ as $n$ tends to infinity. If $α$ is expansive, then $W := U_αU_{α^{-1}}$ is an open identity neighbourhood in $G$. We give examples where $W$ fails to be a subgroup. However, $W$ is a nilpotent open subgroup whenever $G$ is a closed subgroup of a general linear group over the $p$-adic numbers. Further results are devoted to the divisible and torsion parts of $U_α$, and to the so-called "nub" $U_0$ of an expansive automorphism $α$ (the intersection of the closures of $U_α$ and $U_{α^{-1}}$). △ Less

Submitted 27 October, 2015; v1 submitted 20 December, 2013; originally announced December 2013.

Comments: LaTeX, 32 pages; v3: minor improvements

MSC Class: 22D05 (primary); 22D45; 22E20; 37A25; 37P20 (secondary)

Differentiable mappings between spaces of sections

Authors: Helge Glockner

Abstract: In this work, various versions of the so-called Omega-Lemma are provided, which ensure differentiability properties of pushforwrds between spaces of C^r-sections (or compactly supported C^r-sections) in vector bundles over finite-dimensional base manifolds whose fibres are (possibly infinite-dimensional) locally convex spaces. Applications are given, including the proof of continuity for some na… ▽ More In this work, various versions of the so-called Omega-Lemma are provided, which ensure differentiability properties of pushforwrds between spaces of C^r-sections (or compactly supported C^r-sections) in vector bundles over finite-dimensional base manifolds whose fibres are (possibly infinite-dimensional) locally convex spaces. Applications are given, including the proof of continuity for some natural module multiplications on spaces of sections and the construction of certain infinite-dimensional Lie groups of Lie group-valued maps. △ Less

Submitted 5 August, 2013; originally announced August 2013.

Comments: 31 pages, LaTeX. Up to minor updates, this is an unpublished manuscript from 2001/2002

MSC Class: 22E67 (primary) 46E25; 46T20; 58C25 (secondary)

Exponential laws for ultrametric partially differentiable functions and applications

Authors: Helge Glockner

Abstract: We establish exponential laws for certain spaces of differentiable functions over a valued field K. For example, we show that the topological vector spaces C^{r,s}(U x V,E) and C^r(U,C^s(V,E)) are isomorphic if U and V are open subsets of K^n and K^m, respectively, E is a topological K-vector space, and r,s are degrees of differentiability. As a first application, we study the density of local… ▽ More We establish exponential laws for certain spaces of differentiable functions over a valued field K. For example, we show that the topological vector spaces C^{r,s}(U x V,E) and C^r(U,C^s(V,E)) are isomorphic if U and V are open subsets of K^n and K^m, respectively, E is a topological K-vector space, and r,s are degrees of differentiability. As a first application, we study the density of locally polynomial functions in spaces of partially differentiable functions over an ultrametric field (thus solving an open problem by E. Nagel), and also global approximations by polynomial functions. As a second application, we obtain a new proof for the characterization of C^r-functions on powers Z_p^n of the p-adic integers in terms of the decay of their Mahler expansions. In both applications, the exponential laws enable simple inductive proofs via a reduction to the one-dimensional, vector-valued case. △ Less

Submitted 11 September, 2012; v1 submitted 6 September, 2012; originally announced September 2012.

Comments: 73 pages, LaTeX, extended preprint version; v3: typos corrected

MSC Class: 26E20; 26E30 (Primary) 12J10; 12J25; 26B05; 30G06; 32P05; 54D50 (Secondary)

Regularity properties of infinite-dimensional Lie groups, and semiregularity

Authors: Helge Glockner

Abstract: Let G be a Lie group modelled on a locally convex space, with Lie algebra g, and k be a non-negative integer or infinity. We say that G is C^k-semiregular if each C^k-curve c in g admits a left evolution Evol(c) in G. If, moreover, the map taking c to evol(c):=Evol(c)(1) is smooth, then G is called C^k-regular. For G a C^k-semiregular Lie group and m an order of differentiability, we show that evo… ▽ More Let G be a Lie group modelled on a locally convex space, with Lie algebra g, and k be a non-negative integer or infinity. We say that G is C^k-semiregular if each C^k-curve c in g admits a left evolution Evol(c) in G. If, moreover, the map taking c to evol(c):=Evol(c)(1) is smooth, then G is called C^k-regular. For G a C^k-semiregular Lie group and m an order of differentiability, we show that evol is C^m if and only if Evol is C^m. If evol is continuous at 0, then evol is continuous. If G is a C^0-semiregular Lie group, then continuity of evol implies its smoothness (so that G will be C^0-regular), if smooth homomorphisms from G to C^0-regular Lie groups separate points on G and g is (e.g.) sequentially complete. Further criteria for regularity properties are provided, and used to prove regularity for several important classes of Lie groups. Notably, we find that the Lie group Diff(M) of smooth diffeomorphisms of a paracompact finite-dimensional smooth manifold M (which need not be sigma-compact) is C^1-regular. We also provide tools which enable to show that the Lie group of analytic diffeomorphisms of a compact real analytic manifold is C^1-regular. △ Less

Submitted 6 February, 2016; v1 submitted 3 August, 2012; originally announced August 2012.

Comments: 68 pages; v5: update of references, added two useful lemmas (Lemma 7.8, Lemma 7.10)

MSC Class: 22E65

Grobman-Hartman theorems for diffeomorphisms of Banach spaces over valued fields

Authors: Helge Glockner

Abstract: Consider a local diffeomorphism f of an ultrametric Banach space over an ultrametric field, around a hyperbolic fixed point x. We show that, locally, the system is topologically conjugate to the linearized system. An analogous result is obtained for local diffeomorphisms of real p-Banach spaces (like l^p) for 0 < p =< 1. More generally, we obtain a local linearization if f is merely a local homeom… ▽ More Consider a local diffeomorphism f of an ultrametric Banach space over an ultrametric field, around a hyperbolic fixed point x. We show that, locally, the system is topologically conjugate to the linearized system. An analogous result is obtained for local diffeomorphisms of real p-Banach spaces (like l^p) for 0 < p =< 1. More generally, we obtain a local linearization if f is merely a local homeomorphism which is strictly differentialble at a hyperbolic fixed point x. Also a new global version of the Grobman-Hartman theorem is provided. It applies to Lipschitz perturbations of hyperbolic automorphisms of Banach spaces over valued fields. The local conjugacies H constructed are not only homeomorphisms, but H and H^{-1} are Hoelder. We also study the dependence of H and H^{-1} on f (keeping x and f'(x) fixed). △ Less

Submitted 23 November, 2012; v1 submitted 28 June, 2012; originally announced June 2012.

Comments: LaTeX; v2: 33 pages, discussion of parameter dependence of local conjugacies added, some minor corrections

MSC Class: 37C15 (Primary) 26E30; 46A16; 46S10 (Secondary)

Continuity of LF-algebra representations associated to representations of Lie groups

Authors: Helge Glockner

Abstract: Let G be a Lie group and E be a locally convex topological G-module. If E is sequentially complete, then E and its space of smooth vectors are modules for the algebra D(G) of compactly supported smooth functions on G. However, the module multiplication need not be continuous. The pathology can be ruled out if E is (or embeds into) a projective limit of Banach G-modules. Moreover, in this case… ▽ More Let G be a Lie group and E be a locally convex topological G-module. If E is sequentially complete, then E and its space of smooth vectors are modules for the algebra D(G) of compactly supported smooth functions on G. However, the module multiplication need not be continuous. The pathology can be ruled out if E is (or embeds into) a projective limit of Banach G-modules. Moreover, in this case the space of analytic vectors is a module for the algebra A(G) of superdecaying analytic functions introduced by Gimperlein, Kroetz and Schlichtkrull. We prove that the space of analytic vectors is a topological A(G)-module if E is a Banach space or, more generally, if every countable set of continuous seminorms on E has an upper bound. The same conclusion is obtained if G has a compact Lie algebra. The question of whether D(G) and A(G) are topological algebras is also addressed. △ Less

Submitted 9 August, 2012; v1 submitted 15 March, 2012; originally announced March 2012.

Comments: 33 pages, LaTeX; v3: update of references

MSC Class: 22D15; 46F05 (Primary) 22E30; 42A85; 46A13; 46E25

Journal ref: Kyoto J. Math. 53, no. 3 (2013), 567-595

When unit groups of continuous inverse algebras are regular Lie groups

Authors: Helge Glockner, Karl-Hermann Neeb

Abstract: It is a basic fact in infinite-dimensional Lie theory that the unit group G(A) of a continuous inverse algebra A is a Lie group. We describe criteria ensuring that the Lie group G(A) is regular in Milnor's sense. Notably, G(A) is regular if A is Mackey-complete and locally m-convex. It is a basic fact in infinite-dimensional Lie theory that the unit group G(A) of a continuous inverse algebra A is a Lie group. We describe criteria ensuring that the Lie group G(A) is regular in Milnor's sense. Notably, G(A) is regular if A is Mackey-complete and locally m-convex. △ Less

Submitted 6 February, 2012; originally announced February 2012.

Comments: LaTeX, 17 pages

MSC Class: 22E65 (Primary) 32A12; 34G10; 46G20; 46H05; 58B10 (Secondary)

Continuity of convolution of test functions on Lie groups

Authors: Lidia Birth, Helge Glockner

Abstract: If G is a Lie group, let D(G) be the space of compactly supported smooth functions on G. Consider the bilinear map B : D(G) x D(G) -> D(G), (f,g) |-> f*g which takes a pair of test functions to their convolution. We show that B is continuous if and only if G is sigma-compact. More generally, let r,s,t be non-negative integers (or infinity) with t <= r+s. Let E_1, E_2 be locally convex spaces and b… ▽ More If G is a Lie group, let D(G) be the space of compactly supported smooth functions on G. Consider the bilinear map B : D(G) x D(G) -> D(G), (f,g) |-> f*g which takes a pair of test functions to their convolution. We show that B is continuous if and only if G is sigma-compact. More generally, let r,s,t be non-negative integers (or infinity) with t <= r+s. Let E_1, E_2 be locally convex spaces and b : E_1 x E_2 -> F be a continuous bilinear map to a complete locally convex space F. The main result is a characterization of those (G,r,s,t,b) for which the convolution map C^r_c(G,E_1) x C^s_c(G,E_2) -> C^t_c(G,F) associated with b is continuous. Convolution of compactly supported continuous functions on a locally compact group is also discussed, as well as convolution of compactly supported L^1-functions and convolution of compactly supported Radon measures. △ Less

Submitted 9 August, 2012; v1 submitted 20 December, 2011; originally announced December 2011.

Comments: v4: update of references

MSC Class: 46F05 (Primary) 22D15; 22E30; 42A85; 43A10; 43A15; 46A03; 46A13; 46E25

Journal ref: Can. J. Math.-J. Can. Math. 66 (2014) 102-140

Upper bounds for continuous seminorms and special properties of bilinear maps

Authors: Helge Glockner

Abstract: If E is a locally convex topological vector space, let P(E) be the pre-ordered set of all continuous seminorms on E. We study, on the one hand, for g an infinite cardinal those locally convex spaces E which have the g-neighbourhood property in the sense of E. Jorda, i.e., spaces in which all sets M of continuous seminorms of cardinality up to g have an upper bound in P(E). On the other hand, we st… ▽ More If E is a locally convex topological vector space, let P(E) be the pre-ordered set of all continuous seminorms on E. We study, on the one hand, for g an infinite cardinal those locally convex spaces E which have the g-neighbourhood property in the sense of E. Jorda, i.e., spaces in which all sets M of continuous seminorms of cardinality up to g have an upper bound in P(E). On the other hand, we study bilinear maps b from a product of locally convex spaces E_1 and E_2 to a locally convex space F, which admit "product estimates" in the sense that for all p_{i,j} in P(F), i,j=1,2,..., there exist p_i in P(E_1) and q_j in P(E_2) such that p_{i,j}(b(x,y)) <= p_i(x)q_j(y) for all x in E_1, y in E_2. The relations between these concepts are explored, and examples given. The main applications concern spaces C^r_c(M,E)$ of vector-valued test functions on manifolds. △ Less

Submitted 16 May, 2012; v1 submitted 8 December, 2011; originally announced December 2011.

Comments: 24 pages, LaTeX; v3: additional references, minor changes to more traditional terminology

MSC Class: 46A03; 46F05 (Primary) 22D15; 22E30; 42A85; 44A35; 46A11; 46A13; 46A32; 46E25; 46H05; 46M05 (Secondary)

Weighted inversion of general Dirichlet series

Authors: Helge Glockner, Lutz G. Lucht

Abstract: Inversion theorems of Wiener type are essential tools in analysis and number theory. We derive a weighted version of an inversion theorem of Wiener type for general Dirichlet series from that of Edwards from 1957, and we outline an alternative proof based on the duality theory of convex cones and extension techniques for characters of semigroups. Variants and arithmetical applications are describe… ▽ More Inversion theorems of Wiener type are essential tools in analysis and number theory. We derive a weighted version of an inversion theorem of Wiener type for general Dirichlet series from that of Edwards from 1957, and we outline an alternative proof based on the duality theory of convex cones and extension techniques for characters of semigroups. Variants and arithmetical applications are described, including the case of multidimensional weighted generalized Dirichlet series. △ Less

Submitted 29 September, 2012; v1 submitted 4 December, 2011; originally announced December 2011.

Comments: 19 pages; v2: exposition improved, some results extended (e.g. to multidimensional semigroups which need not be of product type)

MSC Class: 30B50 (Primary) 11M41; 30J99; 43A20; 43A40; 46J15

Continuity of bilinear maps on direct sums of topological vector spaces

Authors: Helge Glockner

Abstract: We prove a criterion for continuity of bilinear maps on countable direct sums of topological vector spaces. As a first application, we get a new proof for the fact (due to Hirai et al. 2001) that the map taking a pair of test functions on R^n to their convolution is continuous. The criterion also allows an open problem by K.-H. Neeb to be solved: If E is a locally convex space, regard the tensor a… ▽ More We prove a criterion for continuity of bilinear maps on countable direct sums of topological vector spaces. As a first application, we get a new proof for the fact (due to Hirai et al. 2001) that the map taking a pair of test functions on R^n to their convolution is continuous. The criterion also allows an open problem by K.-H. Neeb to be solved: If E is a locally convex space, regard the tensor algebra T(E) as the locally convex direct sum of the projective tensor powers T^j(E) of E. We show that T(E) is a topological algebra if and only if every sequence of continuous seminorms on E has an upper bound. In particular, if E is metrizable, then T(E) is a topological algebra if and only if E is normable. Also, T(E) is a topological algebra whenever E is a DFS-space, or a hemicompact k-space. △ Less

Submitted 20 December, 2011; v1 submitted 31 July, 2011; originally announced August 2011.

Comments: 22 pages, LaTeX; v3: update of references

MSC Class: 46M05 (Primary) 42A85; 44A35; 46A13; 46A11; 46A16; 46E25; 46F05; 46M40 (Secondary)

Topological algebras of rapidly decreasing matrices and generalizations

Authors: Helge Glockner, Bastian Langkamp

Abstract: It is a well-known fact in K-theory that the rapidly decreasing matrices of countable size form an associative topological algebra whose set of quasi-invertible elements is open, and such that the quasi-inversion map is continuous. We generalize these conclusions to further algebras of weighted matrices with entries in a Banach algebra. It is a well-known fact in K-theory that the rapidly decreasing matrices of countable size form an associative topological algebra whose set of quasi-invertible elements is open, and such that the quasi-inversion map is continuous. We generalize these conclusions to further algebras of weighted matrices with entries in a Banach algebra. △ Less

Submitted 31 July, 2011; v1 submitted 16 December, 2010; originally announced December 2010.

Comments: 5 pages, LaTeX; v3: 2 misprints corrected

MSC Class: 46H20 (Primary) 46A45; 22E65 (Secondary)

Homotopy groups of ascending unions of infinite-dimensional manifolds

Authors: Helge Glockner

Abstract: Let M be a topological manifold modelled on topological vector spaces, which is the union of an ascending sequence of such manifolds M_n. We formulate a mild condition ensuring that the k-th homotopy group of M is the direct limit of the k-th homotopy groups of the steps M_n, for each non-negative integer k. This result is useful for Lie theory, because many important examples of infinite-dimens… ▽ More Let M be a topological manifold modelled on topological vector spaces, which is the union of an ascending sequence of such manifolds M_n. We formulate a mild condition ensuring that the k-th homotopy group of M is the direct limit of the k-th homotopy groups of the steps M_n, for each non-negative integer k. This result is useful for Lie theory, because many important examples of infinite-dimensional Lie groups G can be expressed as ascending unions of finite- or infinite-dimensional Lie groups (whose homotopy groups may be easier to access). Information on the k-th homotopy groups of G, for k=0, k=1 and k=2, is needed to understand the Lie group extensions of G with abelian kernels. The above conclusion remains valid if the union of the steps M_n is merely dense in M (under suitable hypotheses). Also, ascending unions can be replaced by (possibly uncountable) directed unions. △ Less

Submitted 2 July, 2010; v1 submitted 26 December, 2008; originally announced December 2008.

Comments: 44 pages, LaTeX; v2: update of references

MSC Class: 22E65; 57N20 (Primary) 55N65; 55P10; 55P42; 55Q05 (Secondary)

A note concerning a tidying procedure and contraction groups in non-metrizable, totally disconnected groups

Authors: Helge Glockner

Abstract: In a 2004 article, Udo Baumgartner and George Willis used ideas from the structure theory of totally disconnected, locally compact groups to achieve a better understanding of the contraction group U_f associated with an automorphism f of such a group G, assuming that G is metrizable. (Recall that U_f consists of all group elements x such that f^n(x) tends to the identity element as n tends to in… ▽ More In a 2004 article, Udo Baumgartner and George Willis used ideas from the structure theory of totally disconnected, locally compact groups to achieve a better understanding of the contraction group U_f associated with an automorphism f of such a group G, assuming that G is metrizable. (Recall that U_f consists of all group elements x such that f^n(x) tends to the identity element as n tends to infinity). Recently, Wojciech Jaworski showed that the main technical tool of the latter article remains valid in the non-metrizable case. He asserted without proof that, therefore, all results from that article remain valid. However, metrizability enters the arguments at a second point. In this note, we resolve this difficulty, by providing an affirmative answer to a question posed by Willis in 2004. △ Less

Submitted 19 May, 2011; v1 submitted 10 September, 2008; originally announced September 2008.

Comments: A superior, direct discussion of the "second point" mentioned in the abstract has been communicated by W. Jaworski to the author, which makes the reduction step to metrizable groups unnecessary. Therefore the note has been withdrawn

MSC Class: 22D05 (Primary) 22D40; 22D45 (Secondary)

Invariant manifolds for analytic dynamical systems over ultrametric fields

Authors: Helge Glockner

Abstract: We give an exposition of the theory of invariant manifolds around a fixed point, in the case of time-discrete, analytic dynamical systems over a complete ultrametric field K. Typically, we consider an analytic manifold M modelled on an ultrametric Banach space over K, an analytic self-map f of M, and a fixed point p of f. Under suitable conditions on the tangent map of f at p, we construct a c… ▽ More We give an exposition of the theory of invariant manifolds around a fixed point, in the case of time-discrete, analytic dynamical systems over a complete ultrametric field K. Typically, we consider an analytic manifold M modelled on an ultrametric Banach space over K, an analytic self-map f of M, and a fixed point p of f. Under suitable conditions on the tangent map of f at p, we construct a centre-stable manifold, a centre manifold, respectively, an r-stable manifold around p, for a given positive real number r not exceeding 1. The invariant manifolds are useful in the theory of Lie groups over local fields, where they allow results to be extended to the case of positive characteristic which previously were only available in characteristic zero (i.e., for p-adic Lie groups). △ Less

Submitted 29 August, 2008; v1 submitted 20 August, 2008; originally announced August 2008.

Comments: 60 pages, LaTeX (v2: discussion of unstable manifolds added, typos corrected)

MSC Class: 37D10 (Primary) 46S10; 26E30 (Secondary)

Lectures on Lie groups over local fields

Authors: Helge Glockner

Abstract: These are the lecture notes of a 2-hour mini-course on Lie groups over local fields presented at the "Workshop on Totally Disconnected Groups, Graphs and Geometry" at the Heinrich-Fabri-Institut Blaubeuren in May 2007. The goal of the notes is to provide an introduction to p-adic Lie groups and Lie groups over fields of formal Laurent series, with an emphasis on relations to the structure theory… ▽ More These are the lecture notes of a 2-hour mini-course on Lie groups over local fields presented at the "Workshop on Totally Disconnected Groups, Graphs and Geometry" at the Heinrich-Fabri-Institut Blaubeuren in May 2007. The goal of the notes is to provide an introduction to p-adic Lie groups and Lie groups over fields of formal Laurent series, with an emphasis on relations to the structure theory of totally disconnected, locally compact groups. In particular, they contain a discussion of the scale, tidy subgroups and contraction groups for automorphisms of Lie groups over local fields. Special attention is paid to the case of Lie groups over local fields of positive characteristic. △ Less

Submitted 28 December, 2016; v1 submitted 14 April, 2008; originally announced April 2008.

Comments: v5: some revisions, 41 pages

MSC Class: 22E20 (Primary); 22D05; 22E35; 26E30; 37D10 (Secondary)

Direct limits of infinite-dimensional Lie groups

Authors: Helge Glockner

Abstract: Many infinite-dimensional Lie groups of interest can be expressed as a union of an ascending sequence of (finite- or infinite-dimensional) Lie groups. In this survey article, we compile general results concerning such ascending unions, describe the main classes of examples, and explain what the general theory tells us about these. In particular, we discuss: (1) Direct limit properties of asc… ▽ More Many infinite-dimensional Lie groups of interest can be expressed as a union of an ascending sequence of (finite- or infinite-dimensional) Lie groups. In this survey article, we compile general results concerning such ascending unions, describe the main classes of examples, and explain what the general theory tells us about these. In particular, we discuss: (1) Direct limit properties of ascending unions of Lie groups in the relevant categories; (2) Regularity in Milnor's sense; (3) Homotopy groups of direct limit groups and of Lie groups containing a dense union of Lie groups; (4) Subgroups of direct limit groups; (5) Constructions of Lie group structures on ascending unions of Lie groups. △ Less

Submitted 1 April, 2008; v1 submitted 1 March, 2008; originally announced March 2008.

Comments: survey article, 38 pages, LaTeX (v2: minor revisions)

MSC Class: 22E65 (Primary); 26E15; 46A13; 46G20; 46T05; 46T20; 46T25; 54B35; 54D50; 55Q10; 58B05; 58D05 (Secondary)

Solutions to open problems in Neeb's recent survey on infinite-dimensional Lie groups

Authors: Helge Glockner

Abstract: We solve three open problems concerning infinite-dimensional Lie groups posed in a recent survey article by K.-H. Neeb: (1) There exists a subgroup of some infinite-dimensional Lie group G which does not admit an initial Lie subgroup structure; (2) The pathology cannot occur if G is a direct limit of an ascending sequence of finite-dimensional Lie groups; (3) Every such direct limit group… ▽ More We solve three open problems concerning infinite-dimensional Lie groups posed in a recent survey article by K.-H. Neeb: (1) There exists a subgroup of some infinite-dimensional Lie group G which does not admit an initial Lie subgroup structure; (2) The pathology cannot occur if G is a direct limit of an ascending sequence of finite-dimensional Lie groups; (3) Every such direct limit group is a ``topological group with Lie algebra'' in the sense of Hofmann and Morris. Moreover, we prove a version of Borel's Theorem announced in the survey, ensuring the existence of compactly supported smooth diffeomorphisms with given Taylor series around a fixed point p (provided the tangent map at p has positive determinant). △ Less

Submitted 12 January, 2008; originally announced January 2008.

Comments: 23 pages

MSC Class: 22E65 (Primary); 58B10 (Secondary)

General Dirichlet series, arithmetic convolution equations and Laplace transforms

Authors: Helge Glockner, Lutz G. Lucht, Stefan Porubsky

Abstract: In an earlier paper, we studied solutions g to convolution equations of the form a_d*g^{*d}+a_{d-1}*g^{*(d-1)}+...+a_1*g+a_0=0, where a_0, ..., a_d are given arithmetic functions associated with Dirichlet series which converge on some right half plane, and also g is required to be such a function. In this article, we extend our previous results to multidimensional general Dirichlet series of the… ▽ More In an earlier paper, we studied solutions g to convolution equations of the form a_d*g^{*d}+a_{d-1}*g^{*(d-1)}+...+a_1*g+a_0=0, where a_0, ..., a_d are given arithmetic functions associated with Dirichlet series which converge on some right half plane, and also g is required to be such a function. In this article, we extend our previous results to multidimensional general Dirichlet series of the form \sum_{x\in X} f(x) e^{-sx} (s in C^k), where X is an additive subsemigroup of [0,\infty)^k. If X is discrete and a certain solvability criterion is satisfied, we determine solutions by an elementary recursive approach, adapting an idea of Feckan. The solution of the general case leads us to a more comprehensive question: Let X be an additive subsemigroup of a pointed, closed convex cone C in R^k. Can we find a complex Radon measure on X whose Laplace transform satisfies a given polynomial equation whose coefficients are Laplace transforms of such measures? △ Less

Submitted 19 December, 2007; originally announced December 2007.

Comments: 20 pages, LaTeX

MSC Class: 11A25; 44A10; 46H30