Projective limits of finite-dimensional Lie groups
- Authors: Hofmann, Karl , Morris, Sidney
- Date: 2003
- Type: Text , Journal article
- Relation: Proceedings of the London Mathematical Society Vol. 87, no. 3 (Nov 2003), p. 647-676
- Full Text: false
- Reviewed:
- Description: For a topological group G we define N to be the set of all normal subgroups modulo which G is a finite-dimensional Lie group. Call G a pro-Lie group if, firstly, G is complete, secondly, N is a filter basis, and thirdly, every identity neighborhood of G contains some member of N. It is easy to see that every pro-Lie group G is a projective limit of the projective system of all quotients of G modulo subgroups from N. The converse implication emerges as a difficult proposition, but it is shown here that any projective limit of finite-dimensional Lie groups is a pro-Lie group. It is also shown that a closed subgroup of a pro-Lie group is a pro-Lie group, and that for any closed normal subgroup N of a pro-Lie group G, for any one parameter subgroup Y : R G/N there is a one parameter subgroup X : R G such that X(t) N = Y(t) for any real number t. The category of all pro-Lie groups and continuous group homomorphisms between them is closed under the formation of all limits in the category of topological groups and the Lie algebra functor on the category of pro-Lie groups preserves all limits and quotients.
- Description: C1
- Description: 2003000376
The exponential function of locally connected compact Abelian groups
- Authors: Hofmann, Karl , Morris, Sidney , Poguntke, D.
- Date: 2004
- Type: Text , Journal article
- Relation: Forum Mathematicum Vol. 16, no. 1 (2004), p. 1-16
- Full Text: false
- Reviewed:
- Description: It is shown that the following four conditions are equivalent for a compact connected abelian group G :(i)the exponential function of G is open onto its image;(ii)G has arbitrarily small connected direct summands N such that G =N is a .nite dimensional torus;(iii)the arc component G[suba] of the identity is locally arcwise connected;(iv)the character group G G is a torsion free group in which every .nite rank pure subgroup is free and is a direct summand.
- Description: C1
- Description: 2003000909
The structure of abelian pro-Lie groups
- Authors: Hofmann, Karl , Morris, Sidney
- Date: 2004
- Type: Text , Journal article
- Relation: Mathematische Zeitschrift Vol. 248, no. 4 (Dec 2004), p. 867-891
- Full Text: false
- Reviewed:
- Description: A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.
- Description: C1
- Description: 2003000910
Sophus Lie's third fundamental theorem and the adjoint functor theorem
- Authors: Hofmann, Karl , Morris, Sidney
- Date: 2005
- Type: Text , Journal article
- Relation: Journal of Group Theory Vol. 8, no. 1 (2005), p. 115-133
- Full Text: false
- Reviewed:
- Description: The essential attributes of a Lie group G are the associated Lie algebra LðGÞ and the exponential function exp : LðGÞ ! G. The prescription L operates not only on Lie groups but also on morphisms between them: it is a functor. Many features of Lie theory are shared by classes of topological groups which are much larger than that of Lie groups; these classes include the classes of compact groups, locally compact groups, and pro-Lie groups, that is, complete topological groups having arbitrarily small normal subgroups N such that G=N is a (finitedimensional) Lie group. Considering the functor L it is therefore appropriate to contemplate more general classes of topological groups. Certain functorial properties of the assignment of a Lie algebra to a topological group (where possible) will be essential. What is new here is that we will introduce a functorial assignment from Lie algebras to groups and investigate to what extent it is inverse to the Lie algebra functor L. While the Lie algebra functor is well known and is cited regularly, the existence of a Lie group functor available to be cited and applied appears less well known. Sophus Lie’s Third Fundamental Theorem says that for each finite-dimensional real Lie algebra there is a Lie group whose Lie algebra is (isomorphic to) the given one; but even in classical circumstances it is not commonly known that this happens in a functorial fashion and what the precise relationship between the Lie algebra functor and the Lie group functor is.
- Description: C1
- Description: 2003001415
An open mapping theorem for pro-Lie groups
- Authors: Hofmann, Karl , Morris, Sidney
- Date: 2007
- Type: Text , Journal article
- Relation: Journal of the Australian Mathematical Society Vol. 83, no. 1 (2007), p. 55-77
- Full Text: false
- Reviewed:
- Description: A pro-Lie group is a projective limit of finite dimensional Lie groups. It is proved that a surjective continuous group homomorphism between connected pro-Lie groups is open. In fact this remains true for almost connected pro-Lie groups where a topological group is called almost connected if the factor group modulo the identity component is compact. As consequences we get a Closed Graph Theorem and the validity of the Second Isomorphism Theorem for pro-Lie groups in the almost connected context. © 2007 Australian Mathematical Society.
- Description: C1
- Description: 2003005492
Open mapping theorem for topological groups
- Authors: Hofmann, Karl , Morris, Sidney
- Date: 2007
- Type: Text , Journal article
- Relation: Topology Proceedings Vol. 31, no. 2 (2007), p. 533-551
- Full Text:
- Reviewed:
- Description: We survey sufficient conditions that force a surjective continuous homomorphism between topological groups to be open. We present the shortest proof yet of an open mapping theorem between projective limits of finite dimensional Lie groups.
- Description: C1
- Description: 2003005915
Iwasawa's local splitting theorem for pro-Lie groups
- Authors: Hofmann, Karl , Morris, Sidney
- Date: 2008
- Type: Text , Journal article
- Relation: Forum Mathematicum Vol. 20, no. 4 (2008), p. 607-629
- Full Text:
- Reviewed:
- Description: If the nilradical () of the Lie algebra of a pro-Lie group G is finite dimensional modulo the center (), then every identity neighborhood U of G contains a closed normal subgroup N such that G/N is a Lie group and G and N × G/N are locally isomorphic. © Walter de Gruyter 2008.
- Description: C1
On the pro-lie group theorem and the closed subgroup theorem
- Authors: Hofmann, Karl , Morris, Sidney
- Date: 2008
- Type: Text , Journal article
- Relation: Journal of Lie Theory Vol. 18, no. 2 (2008), p. 383-390
- Full Text: false
- Reviewed:
- Description: Let H and M be closed normal subgroups of a pro-Lie group G and assume that H is connected and that G/M is a Lie group. Then there is a closed normal subgroup N of G such that N ? M, that G/N is a Lie group, and that HN is closed in G. As a consequence, H/(H ? N) ? HN/N is an isomorphism of Lie groups. © 2008 Heldermann Verlag.
- Description: C1
The structure of almost connected pro-lie groups
- Authors: Hofmann, Karl , Morris, Sidney
- Date: 2011
- Type: Text , Journal article
- Relation: Journal of Lie Theory Vol. 21, no. 2 (2011), p. 347-383
- Full Text: false
- Reviewed:
- Description: Recalling that a topological group G is said to be almost connected if the quotient group G=G0 is compact, where G0 is the connected component of the identity, we prove that for an almost connected pro-Lie group G, there exists a compact zero-dimensional, that is, profinite, subgroup D of G such that G = G0D. Further for such a group G, there are sets I , J , a compact connected semisimple group S , and a compact connected abelian group A such that G and ℝI × (ℤ=2ℤ)J × S × A are homeomorphic. En route to this powerful structure theorem it is shown that the compact open topology makes the automorphism group Aut g of a semisimple pro-Lie algebra g a topological group in which the identity component (Aut g)0 is exactly the group Inn g of inner automorphisms. In this situation, Inn(G) has a totally disconnected semidirect complement
The weights of closed subgroups of a locally compact group
- Authors: Hernández, Salvador , Hofmann, Karl , Morris, Sidney
- Date: 2012
- Type: Text , Journal article
- Relation: Journal of Group Theory Vol. 15, no. 5 (2012), p. 613-630
- Full Text: false
- Reviewed:
- Description: Let G be an infinite locally compact group and let n be a cardinal satisfying n 0 ≤ n ≤ w(G) for the weight w(G) of G. It is shown that there is a closed subgroup N of G with w(N) = n. Sample consequences are: (1) Every infinite compact group contains an infinite closed metric subgroup. (2) For a locally compact group G and n a cardinal satisfying n 0 ≤ n ≤ w
- Description: 2003010570
Nonmeasurable subgroups of compact groups
- Authors: Hernández, Salvador , Hofmann, Karl , Morris, Sidney
- Date: 2016
- Type: Text , Journal article
- Relation: Journal of Group Theory Vol. 19, no. 1 (2016), p. 179-189
- Full Text:
- Reviewed:
- Description: In 1985 S. Saeki and K. Stromberg published the following question: 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 which are almost perfect and strongly complete. In this spirit it is also shown that every compact group contains a non-Borel subgroup. © 2016 by De Gruyter 2016 Generalitat Valenciana PROMETEO/2014/062 We are grateful for our referee's useful comments. In particular, the suggestion that originally we had overlooked [Pacific J. Math. 116 (1985), 217-241] shortened the proof of Theorem 4.3 considerably.