BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Rafael Dahmen appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We introduce the concept of a topological J-group and determine for many important examples of topological groups if they are topological J-groups or not. Besides other results, we show that the underlying topological space of a pathwise connected topological J-group is weakly contractible which is a strong and unexpected obstruction that depends only on the homotopy type of the space.
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.
In this article character groups of Hopf algebras are studied from the perspective of infinite-dimensional Lie theory. For a graded and connected Hopf algebra we construct an infinite-dimensional Lie group structure on the character group with values in a locally convex algebra. This structure turns the character group into a Baker--Campbell--Hausdorff--Lie group which is regular in the sense of Milnor. Furthermore, we show that certain subgroups associated to Hopf ideals become closed Lie subgroups of the character group. If the Hopf algebra is not graded, its character group will in general not be a Lie group. However, we show that for any Hopf algebra the character group with values in a weakly complete algebra is a pro-Lie group in the sense of Hofmann and Morris.
We show that every finite dimensional Hausdorff (not necessarily paracompact, not necessarily second countable) $C^r$-manifold can be embedded into a weakly complete vector space, i.e. a locally convex topological vector space of the form ${\mathbb R}^I$ for an uncountable index set $I$ and determine the minimal cardinality of $I$ for which such an embedding is possible.
We construct an infinite dimensional real analytic manifold structure for the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known the construction turns the group of real analytic diffeomorphisms into a smooth locally convex Lie group. We prove then that the diffeomorphism group is regular in the sense of Milnor. In the inequivalent "convenient setting of calculus" the real analytic diffeomorphisms even form a real analytic Lie group. However, we prove that the Lie group structure on the group of real analytic diffeomorphisms is in general not real analytic in our sense.
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.