Showing 1–19 of 19 results for author: Hofmann, K H

Open mappings of locally compact groups

Authors: Michael G. Cowling, Karl H. Hofmann, Sidney A. Morris

Abstract: The aim of this note is to insert in the literature some easy but apparently not widely known facts about morphisms of locally compact groups, all of which are concerned with the openness of the morphism. The aim of this note is to insert in the literature some easy but apparently not widely known facts about morphisms of locally compact groups, all of which are concerned with the openness of the morphism. △ Less

Submitted 23 January, 2024; originally announced January 2024.

Comments: 5 pages

MSC Class: 22A99

A short note on coproducts of abelian pro-Lie groups

Authors: Wolfgang Herfort, Karl H. Hofmann, Francesco G. Russo

Abstract: The notion of conditional coproduct of a family of abelian pro-Lie groups in the category of abelian pro-Lie groups is introduced. It is shown that the cartesian product of an arbitrary family of abelian pro-Lie groups can be characterized by the universal property of the conditional coproduct. The notion of conditional coproduct of a family of abelian pro-Lie groups in the category of abelian pro-Lie groups is introduced. It is shown that the cartesian product of an arbitrary family of abelian pro-Lie groups can be characterized by the universal property of the conditional coproduct. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Comments: 6 pages

MSC Class: 22E20; 22A05

On Weakly Complete Universal Enveloping Algebras: A Poincare-Birkhoff-Witt Theorem

Authors: Karl H. Hofmann, Linus Kramer

Abstract: We study universal enveloping Hopf algebras of Lie algebras in the category of weakly complete vector spaces over the real and complex field. We study universal enveloping Hopf algebras of Lie algebras in the category of weakly complete vector spaces over the real and complex field. △ Less

Submitted 17 May, 2022; v1 submitted 24 April, 2020; originally announced April 2020.

Comments: v2 completely rewritten and corrected. v3 title corrected. To appear in Journal of Lie Theory

When is the Sum of Two Closed Subgroups Closed in a Locally Compact Abelian Group

Authors: Wolfgang Herfort, Karl H. Hofmann, Francesco G. Russo

Abstract: Locally compact abelian groups are classified in which the sum of any two closed subgroups is itself closed. This amounts to reproving and extending results by Yu.~N.~Mukhin from 1970. Namely we contribute a complete classification of all totally disconnected \lca\ groups with $X+Y$ closed for any closed subgroups $X$ and $Y$. Locally compact abelian groups are classified in which the sum of any two closed subgroups is itself closed. This amounts to reproving and extending results by Yu.~N.~Mukhin from 1970. Namely we contribute a complete classification of all totally disconnected \lca\ groups with $X+Y$ closed for any closed subgroups $X$ and $Y$. △ Less

Submitted 22 August, 2019; originally announced August 2019.

Comments: 38 pages, 1 figure

MSC Class: 22B5

Journal ref: Topology and its Applications, vol 270, 2020

On weakly complete group algebras of compact groups

Authors: Karl Heinrich Hofmann, Linus Kramer

Abstract: We study group algebras for compact groups in the category of real and complex weakly complete vector spaces. We also show that the group algebra is a quotient of the weakly complete universal enveloping algebra of the Lie algebra of the compact group. We relate this to Tannaka duality, and to functorial properties of the group algebra. We determine the structure of the group algebra in terms of t… ▽ More We study group algebras for compact groups in the category of real and complex weakly complete vector spaces. We also show that the group algebra is a quotient of the weakly complete universal enveloping algebra of the Lie algebra of the compact group. We relate this to Tannaka duality, and to functorial properties of the group algebra. We determine the structure of the group algebra in terms of the irreducible representation, both in the real and the complex case. The particular case of a compact abelian group is worked out in detail. △ Less

Submitted 15 November, 2019; v1 submitted 28 March, 2019; originally announced April 2019.

Comments: v1, 2 appeared as an Oberwolfach Preprint. v3 considerably expanded and extended. v4 final version, to appear in Journal of Lie Theory

MSC Class: 22-XX

The Pro-Lie Group Aspect of Weakly Complete Algebras and Weakly Complete Group Hopf Algebras

Authors: Rafael Dahmen, Karl Heinrich Hofmann

Abstract: A weakly complete vector space over $\mathbb{K}=\mathbb{R}$ or $\mathbb{K}=\mathbb{C}$ is isomorphic to $\mathbb{K}^X$ for some set $X$ algebraically and topologically. The significance of this type of topological vector spaces is illustrated by the fact that the underlying vector space of the Lie algebra of any pro-Lie group is weakly complete. In this study, weakly complete real or complex assoc… ▽ More A weakly complete vector space over $\mathbb{K}=\mathbb{R}$ or $\mathbb{K}=\mathbb{C}$ is isomorphic to $\mathbb{K}^X$ for some set $X$ algebraically and topologically. The significance of this type of topological vector spaces is illustrated by the fact that the underlying vector space of the Lie algebra of any pro-Lie group is weakly complete. In this study, weakly complete real or complex associative algebras are studied because they are necessarily projective limits of finite dimensional algebras. The group of units $A^{-1}$ of a weakly complete algebra $A$ is a pro-Lie group with the associated topological Lie algebra $A_{\rm Lie}$ of $A$ as Lie algebra and the globally defined exponential function $\exp\colon A\to A^{-1}$ as the exponential function of $A^{-1}$. With each topological group, a weakly complete group algebra $\mathbb{K}[G]$ is associated functorially so that the functor $G\mapsto \mathbb{K}[G]$ is left adjoint to $A\mapsto A^{-1}$. The group algebra $\mathbb{K}[G]$ is a weakly complete Hopf algebra. If $G$ is compact, the $\mathbb{R}[G]$ contains $G$ as the set of grouplike elements. The category of all real Hopf algebras $A$ with a compact group of grouplike elements whose linear span is dense in $A$ is shown to be equivalent to the category of compact groups. The group algebra $A=\mathbb{R}[G]$ of a compact group $G$ contains a copy of the Lie algebra $\mathcal{L}(G)$ in $A_{\rm Lie}$; it also contains a copy of the Radon measure algebra $M(G,\mathbb{R})$. The dual of the group algebra $\mathbb{R}[G]$ is the Hopf algebra ${\mathcal R}(G,\mathbb{R})$ of representative functions of $G$. The rather straightforward duality between vector spaces and weakly complete vector spaces thus becomes the basis of a duality ${\mathcal R}(G,\mathbb{R})\leftrightarrow \mathbb{R}[G]$ and thus yields a new aspect of Tannaka duality. △ Less

Submitted 31 January, 2019; v1 submitted 21 January, 2019; originally announced January 2019.

Comments: This is version 2. Only spelling mistakes and formal flaws have been corrected. Some explanations have been added. The content of the mathematical results has not been changed

MSC Class: 22e15; 22e65; 22e99

A Study in Locally Compact Groups

Authors: Karl H. Hofmann, Wolfgang Herfort, Francesco G. Russo

Abstract: The class of locally compact near abelian groups is introduced and investigated as a class of metabelian groups formalizing and applying the concept of scalar multiplication. The structure of locally compact near abelian groups and its close connections to prime number theory are discussed and elucidated by graph theoretical tools. These investigations require a thorough reviewing and extension to… ▽ More The class of locally compact near abelian groups is introduced and investigated as a class of metabelian groups formalizing and applying the concept of scalar multiplication. The structure of locally compact near abelian groups and its close connections to prime number theory are discussed and elucidated by graph theoretical tools. These investigations require a thorough reviewing and extension to present circumstances of various aspects of the general theory of locally compact groups such as -the Chabauty space of closed subgroups with its natural compact Hausdorff topology, -a very general Sylow subgroup theory for periodic groups including their Hall systems, -the scalar automorphisms of locally compact abelian groups, -the theory of products of closed subgroups and their relation to semidirect products, and -inductively monothetic groups are introduced and classified. As applications, firstly, a complete classification is given of locally compact topologically quasihamiltonian groups, which has been initiated by F. Kümmich, and, secondly, Yu. Mukhin's classification of locally compact topologically modular groups is retrieved and further illuminated. △ Less

Submitted 13 February, 2017; originally announced February 2017.

Comments: 32 pages

MSC Class: Primary 22A05; 22A26; Secondary 20E34; 20K35

Automatic continuity of abstract homomorphisms between locally compact and Polish groups

Authors: Oskar Braun, Karl Heinrich Hofmann, Linus Kramer

Abstract: We are concerned with questions of the following type. Suppose that $G$ and $K$ are topological groups belonging to a certain class $\cal K$ of spaces, and suppose that $φ:K \to G$ is an abstract (i.e. not necessarily continuous) surjective group homomorphism. Under what conditions on the group $G$ and the kernel is the homomorphism $φ$ automatically continuous and open? Questions of this type hav… ▽ More We are concerned with questions of the following type. Suppose that $G$ and $K$ are topological groups belonging to a certain class $\cal K$ of spaces, and suppose that $φ:K \to G$ is an abstract (i.e. not necessarily continuous) surjective group homomorphism. Under what conditions on the group $G$ and the kernel is the homomorphism $φ$ automatically continuous and open? Questions of this type have a long history and were studied in particular for the case that $G$ and $K$ are Lie groups, compact groups, or Polish groups. We develop an axiomatic approach, which allows us to resolve the question uniformly for different classes of topological groups. In this way we are able to extend the classical results about automatic continuity to a much more general setting. △ Less

Submitted 5 December, 2018; v1 submitted 17 November, 2016; originally announced November 2016.

Comments: Several corrections in v2. Two references added in v3. To appear in Transformation Groups

MSC Class: 22-XX

Locally compact groups approximable by subgroups isomorphic to $\mathbb Z$ or $\mathbb R$

Authors: Hatem Hamrouni, Karl H. Hofmann

Abstract: Let $G$ be a locally compact topological group, $G_0$ the connected component of its identity element, and comp(G) the union of all compact subgroups. A topological group will be called inductively monothetic if any subgroup generated (as a topological group) by finitely many elements is generated (as a topological group) by a single element. The space SUB(G) of all closed subgroups of $G$ carries… ▽ More Let $G$ be a locally compact topological group, $G_0$ the connected component of its identity element, and comp(G) the union of all compact subgroups. A topological group will be called inductively monothetic if any subgroup generated (as a topological group) by finitely many elements is generated (as a topological group) by a single element. The space SUB(G) of all closed subgroups of $G$ carries a compact Hausdorff topology called the Chabauty topology. Let $F_1(G)$, respectively, $R_1(G)$, denote the subspace of all discrete subgroups isomorphic to $\mathbb Z$, respectively, all subgroups isomorphic to $\mathbb R$. It is shown that a necessary and sufficient condition for $G\in\overline{F_1(G)}$ to hold is that $G$ is abelian, and either that $G\cong \mathbb R\times {\rm comp}(G)$ and $G/G_0$ is inductively monothetic, or else that $G$ is discrete and isomorphic to a subgroup of $\mathbb Q$. It is further shown that a necessary and sufficient condition for $G\in\overline{R_1(G)}$ to hold is that $G\cong\mathbb R\times C$ for a compact connected abelian group $C$. △ Less

Submitted 20 April, 2016; originally announced April 2016.

MSC Class: 22B05; 54E45

Pro-Lie Groups: A survey with Open Problems

Authors: Karl H. Hofmann, Sidney A. Morris

Abstract: A topological group is called a pro-Lie group if it is isomorphic to a closed subgroup of a product of finite-dimensional real Lie groups. This class of groups is closed under the formation of arbitrary products and closed subgroups and forms a complete category. It includes each finite-dimensional Lie group, each locally compact group which has a compact quotient group modulo its identity compone… ▽ More A topological group is called a pro-Lie group if it is isomorphic to a closed subgroup of a product of finite-dimensional real Lie groups. This class of groups is closed under the formation of arbitrary products and closed subgroups and forms a complete category. It includes each finite-dimensional Lie group, each locally compact group which has a compact quotient group modulo its identity component and thus, in particular, each compact and each connected locally compact group; it also includes all locally compact abelian groups. This paper provides an overview of the structure theory and Lie theory of pro-Lie groups including results more recent than those in the authors' reference book on pro-Lie groups. Significantly, it also includes a review of the recent insight that weakly complete unital algebras provide a natural habitat for both pro-Lie algebras and pro-Lie groups, indeed for the exponential function which links the two. (A topological vector space is weakly complete if it is isomorphic to a power $\R^X$ of an arbitrary set of copies of $\R$. This class of real vector spaces is at the basis of the Lie theory of pro-Lie groups.) The article also lists 12 open questions connected with pro-Lie groups. △ Less

Submitted 14 July, 2015; v1 submitted 22 June, 2015; originally announced June 2015.

Comments: 19 pages

MSC Class: 22E65

Nonmeasurable subgroups of compact groups

Authors: Salvador Hernández, Karl H. Hofmann, Sidney A. Morris

Abstract: In 1985 S.~Saeki and K.~Stromberg published the following question: {\it Does every infinite compact group have a subgroup which is not Haar measurable?} An affirmative answer is given for all compact groups with the exception of some metric profinite groups known as strongly complete. In this spirit it is also shown that every compact group contains a non-Borel subgroup. In 1985 S.~Saeki and K.~Stromberg published the following question: {\it Does every infinite compact group have a subgroup which is not Haar measurable?} An affirmative answer is given for all compact groups with the exception of some metric profinite groups known as strongly complete. In this spirit it is also shown that every compact group contains a non-Borel subgroup. △ Less

Submitted 26 June, 2014; originally announced June 2014.

Transitive actions of locally compact groups on locally contractible spaces

Authors: Karl H. Hofmann, Linus Kramer

Abstract: Suppose that $X=G/K$ is the quotient of a locally compact group by a closed subgroup. If $X$ is locally contractible and connected, we prove that $X$ is a manifold. If the $G$-action is faithful, then $G$ is a Lie group. Suppose that $X=G/K$ is the quotient of a locally compact group by a closed subgroup. If $X$ is locally contractible and connected, we prove that $X$ is a manifold. If the $G$-action is faithful, then $G$ is a Lie group. △ Less

Submitted 20 July, 2013; v1 submitted 22 January, 2013; originally announced January 2013.

Comments: Minor corrections in v2 an in v3. The proof of Lemma 3.4 was incorrect in v1 - v3. A correct proof is now given in a separate erratum at the end of the article. Both the article and the erratum will appear in Crelle Journal Reine Angew. Mathematik

The weights of closed subgroups of a locally compact group

Authors: Salvador Hernández, Karl H. Hofmann, Sidney A. Morris

Abstract: Let $G$ be an infinite locally compact group and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le w(G)$ for the weight $w(G)$ of $G$. It is shown that there is a closed subgroup $N$ of $G$ with $w(N)=\aleph$. Sample consequences are: (1) Every infinite compact group contains an infinite closed metric subgroup. (2) For a locally compact group $G$ and $\aleph$ a cardinal satisfying… ▽ More Let $G$ be an infinite locally compact group and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le w(G)$ for the weight $w(G)$ of $G$. It is shown that there is a closed subgroup $N$ of $G$ with $w(N)=\aleph$. Sample consequences are: (1) Every infinite compact group contains an infinite closed metric subgroup. (2) For a locally compact group $G$ and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le \lw(G)$, where $\lw(G)$ is the local weight of $G$, there are either no infinite compact subgroups at all or there is a compact subgroup $N$ of $G$ with $w(N)=\aleph$. (3) For an infinite abelian group $G$ there exists a properly ascending family of locally quasiconvex group topologies on $G$, say, $(τ_\aleph)_{\aleph_0\le \aleph\le \card(G)}$, such that $(G,τ_\aleph)\hat{\phantom{m}}\cong\hat G$. Items (2) and (3) are shown in Section 5. △ Less

Submitted 18 January, 2012; originally announced January 2012.

MSC Class: 22C05; 22D05; 22D35

Representing a profinite group as the homeomorphism group of a continuum

Authors: Karl H. Hofmann, Sidney A. Morris

Abstract: We contribute some information towards finding a general algorithm for constructing, for a given profinite group, $G$, a compact connected space, $X$, such that the full homeomorphism group, $H(X)$, with the compact-open topology is isomorphic to $G$ as a topological group. It is proposed that one should find a compact topological oriented graph $Γ$ such that $G\cong Aut(Γ)$. The replacement of th… ▽ More We contribute some information towards finding a general algorithm for constructing, for a given profinite group, $G$, a compact connected space, $X$, such that the full homeomorphism group, $H(X)$, with the compact-open topology is isomorphic to $G$ as a topological group. It is proposed that one should find a compact topological oriented graph $Γ$ such that $G\cong Aut(Γ)$. The replacement of the edges of $Γ$ by rigid continua should work as is exemplified in various instances where discrete graphs were used. It is shown here that the strategy can be implemented for profinite monothetic groups $G$. △ Less

Submitted 18 August, 2011; originally announced August 2011.

MSC Class: 2010: 22C05; 22F50; 54H15; 57S10

The probability that $x$ and $y$ commute in a compact group

Authors: Karl H. Hofmann, Francesco G. Russo

Abstract: We show that a compact group $G$ has finite conjugacy classes, i.e., is an FC-group if and only if its center $Z(G)$ is open if and only if its commutator subgroup $G'$ is finite. Let $d(G)$ denote the Haar measure of the set of all pairs $(x,y)$ in $G \times G$ for which $[x,y] = 1$; this, formally, is the probability that two randomly picked elements commute. We prove that $d(G)$ is always ratio… ▽ More We show that a compact group $G$ has finite conjugacy classes, i.e., is an FC-group if and only if its center $Z(G)$ is open if and only if its commutator subgroup $G'$ is finite. Let $d(G)$ denote the Haar measure of the set of all pairs $(x,y)$ in $G \times G$ for which $[x,y] = 1$; this, formally, is the probability that two randomly picked elements commute. We prove that $d(G)$ is always rational and that it is positive if and only if $G$ is an extension of an FC-group by a finite group. This entails that $G$ is abelian by finite. The proofs involve measure theory, transformation groups, Lie theory of arbitrary compact groups, and representation theory of compact groups. Examples and references to the history of the discussion are given at the end of the paper. △ Less

Submitted 19 June, 2012; v1 submitted 27 January, 2010; originally announced January 2010.

Comments: 17 pages; we have cut some points ; to appear in Math. Proc. Cambridge Phil. Soc

MSC Class: 20C05; 20P05; 43A05

Solvable Subgroups of Locally Compact Groups

Authors: Karl Heinrich Hofmann, Karl-Hermann Neeb

Abstract: It is shown that a closed solvable subgroup of a connected Lie group is compactly generated. In particular, every discrete solvable subgroup of a connected Lie group is finitely generated. Generalizations to locally compact groups are discussed as far as they carry. It is shown that a closed solvable subgroup of a connected Lie group is compactly generated. In particular, every discrete solvable subgroup of a connected Lie group is finitely generated. Generalizations to locally compact groups are discussed as far as they carry. △ Less

Submitted 28 January, 2008; originally announced January 2008.

MSC Class: 22A05; 22D05; 22E15

Pro-Lie groups which are infinite-dimensional Lie groups

Authors: K. H. Hofmann, K. -H. Neeb

Abstract: A pro-Lie group is a projective limit of a family of finite-dimensional Lie groups. In this note we show that a pro-Lie group $G$ is a Lie group in the sense that its topology is compatible with a smooth manifold structure for which the group operations are smooth if and only if $G$ is locally contractible. We also characterize the corresponding pro-Lie algebras in various ways. Furthermore, we… ▽ More A pro-Lie group is a projective limit of a family of finite-dimensional Lie groups. In this note we show that a pro-Lie group $G$ is a Lie group in the sense that its topology is compatible with a smooth manifold structure for which the group operations are smooth if and only if $G$ is locally contractible. We also characterize the corresponding pro-Lie algebras in various ways. Furthermore, we characterize those pro-Lie groups which are locally exponential, that is, they are Lie groups with a smooth exponential function which maps a zero neighborhood in the Lie algebra diffeomorphically onto an open identity neighborhood of the group. △ Less

Submitted 25 September, 2006; originally announced September 2006.

MSC Class: 22E65; 17B65; 22D05

First AMBER/VLTI observations of hot massive stars

Authors: R. G. Petrov, F. Millour, O. Chesneau, G. Weigelt, D. Bonneau, Ph. Stee, S. Kraus, D. Mourard, A. Meilland, F. Malbet, F. Lisi, P. Kern, U. Beckmann, S. Lagarde, S. Gennari, E. Lecoarer, Th. Driebe, M. Accardo, S. Robbe-Dubois, K. Ohnaka, S. Busoni, A. Roussel, G. Zins, J. Behrend, D. Ferruzi , et al. (23 additional authors not shown)

Abstract: AMBER is the first near infrared focal instrument of the VLTI. It combines three telescopes and produces spectrally resolved interferometric measures. This paper discusses some preliminary results of the first scientific observations of AMBER with three Unit Telescopes at medium (1500) and high (12000) spectral resolution. We derive a first set of constraints on the structure of the circumstella… ▽ More AMBER is the first near infrared focal instrument of the VLTI. It combines three telescopes and produces spectrally resolved interferometric measures. This paper discusses some preliminary results of the first scientific observations of AMBER with three Unit Telescopes at medium (1500) and high (12000) spectral resolution. We derive a first set of constraints on the structure of the circumstellar material around the Wolf Rayet Gamma2 Velorum and the LBV Eta Carinae. △ Less

Submitted 8 September, 2005; originally announced September 2005.

Epimorphisms of C*-algebras are surjective

Authors: Karl H. Hofmann, Karl-H. Neeb

Abstract: We answer a question raised by V.G.Pestov in the affirmative. We answer a question raised by V.G.Pestov in the affirmative. △ Less

Submitted 16 May, 1994; originally announced May 1994.

Comments: 2 pages