Source author record

Helge Glockner

Helge Glockner appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

31works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

31 published item(s)

preprint2022arXiv

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

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.

preprint2022arXiv

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

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$.

preprint2022arXiv

Smoothing operators for vector-valued functions and extension operators

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.

preprint2021arXiv

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

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.

preprint2021arXiv

Manifolds of mappings on cartesian products

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.

preprint2016arXiv

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

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.

preprint2016arXiv

Elementary p-adic Lie groups have finite construction rank

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.

preprint2016arXiv

Fundamentals of submersions and immersions between infinite-dimensional manifolds

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.

preprint2016arXiv

Lectures on Lie groups over local fields

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.

preprint2016arXiv

Regularity properties of infinite-dimensional Lie groups, and semiregularity

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.

preprint2015arXiv

Expansive automorphisms of totally disconnected, locally compact groups

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}}$).

preprint2015arXiv

Invariant manifolds for finite-dimensional non-archimedean dynamical systems

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.

preprint2015arXiv

Measurable regularity properties of infinite-dimensional Lie groups

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.

preprint2014arXiv

Bounded solutions of finite lifetime to differential equations in Banach spaces

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.

preprint2014arXiv

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

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.

preprint2013arXiv

Differentiable mappings between spaces of sections

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.

preprint2012arXiv

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

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.

preprint2012arXiv

Exponential laws for ultrametric partially differentiable functions and applications

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.

preprint2012arXiv

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

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

preprint2012arXiv

Upper bounds for continuous seminorms and special properties of bilinear maps

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.

preprint2012arXiv

Weighted inversion of general Dirichlet series

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.

preprint2011arXiv

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

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.

preprint2011arXiv

Continuity of bilinear maps on direct sums of topological vector spaces

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.

preprint2010arXiv

Homotopy groups of ascending unions of infinite-dimensional manifolds

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.

preprint2008arXiv

Final group topologies, Kac-Moody groups and Pontryagin duality

We study final group topologies and their relations to compactness properties. In particular, we are interested in situations where a colimit or direct limit is locally compact, a k_ω-space, or locally k_ω. As a first application, we show that unitary forms of complex Kac-Moody groups can be described as the colimit of an amalgam of subgroups (in the category of Hausdorff topological groups, and the category of k_ω-groups). Our second application concerns Pontryagin duality theory for the classes of almost metrizable topological abelian groups, resp., locally k_ωtopological abelian groups, which are dual to each other. In particular, we explore the relations between countable projective limits of almost metrizable abelian groups and countable direct limits of locally k_ωabelian groups.