On the structure of spaces of commuting elements in compact Lie groups

Alejandro Adem,José Manuel Gómez

DOI: https://doi.org/10.48550/arXiv.1203.5439

2012-03-25

Abstract:In this note we study topological invariants of the spaces of homomorphisms Hom(\pi,G), where \pi\ is a finitely generated abelian group and G is a compact Lie group arising as an arbitrary finite product of the classical groups SU(r), U(q) and Sp(k).

Algebraic Topology

What problem does this paper attempt to address?

The space of commuting elements in an exceptional Lie group and maps between classifying spaces

Masahiro Takeda

2024-09-29

Abstract:Let $\pi$ be a discrete group, and let $G$ be a compact connected Lie group. $\mathrm{Hom}(\pi,G)_0$ denotes the null-component of the space of homomorphisms from $\pi$ to $G$, and $\mathrm{map}_*(B\pi,BG)_0$ denotes the null-component of the space of maps from $B\pi$ to $BG$. Since the classifying space functor is continuous, there is a continuous map $\Theta\colon\mathrm{Hom}(\pi,G)_0\to\mathrm{map}_*(B\pi,BG)_0$. Atiyah and Bott studied this map when $\pi$ is a surface group, and proved surjectivity in rational cohomology. In this paper, we obtain the condition that the map $\Theta$ is surjective or not in rational cohomology when $\pi$ is $\mathbf{Z}^m$ for $m\geq 3$ and $G$ is a compact connected Lie group.

Algebraic Topology
The space of commuting elements in a Lie group and maps between classifying spaces

Daisuke Kishimoto,Masahiro Takeda,Mitsunobu Tsutaya

2023-10-17

Abstract:Let $\pi$ be a discrete group, and let $G$ be a compact connected Lie group. Then there is a map $\Theta\colon\mathrm{Hom}(\pi,G)_0\to\mathrm{map}_*(B\pi,BG)_0$ between the null-components of the spaces of homomorphism and based maps, which sends a homomorphism to the induced map between classifying spaces. Atiyah and Bott studied this map for $\pi$ a surface group, and showed that it is surjective in rational cohomology. In this paper, we prove that the map $\Theta$ is surjective in rational cohomology for $\pi=\mathbb{Z}^m$ and the classical group $G$ except for $SO(2n)$, and that it is not surjective for $\pi=\mathbb{Z}^m$ with $m\ge 3$ and $G=SO(2n)$ with $n\ge 4$. As an application, we consider the surjectivity of the map $\Theta$ in rational cohomology for $\pi$ a finitely generated nilpotent group. We also consider the dimension of the cokernel of the map $\Theta$ in rational homotopy groups for $\pi=\mathbb{Z}^m$ and the classical groups $G$ except for $SO(2n)$.

Algebraic Topology,Geometric Topology,Representation Theory
Topological components of spaces of commuting elements in connected nilpotent Lie groups

Omar Antolín-Camarena,Bernardo Villarreal

2024-05-16

Abstract:We study the homotopy type of spaces of commuting elements in connected nilpotent Lie groups, via almost commuting elements in their Lie algebras. We give a necessary and sufficient condition on the fundamental group of such a Lie group $G$ to ensure $\mathrm{Hom}(\mathbb{Z}^k,G)$ is path-connected. In particular for the reduced upper unitriangular groups and the reduced generalized Heisenberg groups, $\mathrm{Hom}(\mathbb{Z}^k,G)$ is not path-connected, and we compute the homotopy type of its path-connected components in terms of Stiefel manifolds and the maximal torus of $G$.

Algebraic Topology
Conjugacy and Element-Conjugacy of Homomorphisms of Compact Lie Groups

Yingjue Fang,Gang Han,Binyong Sun

DOI: https://doi.org/10.2140/pjm.2016.283.75

2016-01-01

Pacific Journal of Mathematics

Abstract:Let G be a connected compact Lie group. Among other things, we prove that the following are equivalent. (a) For all connected compact Lie groups H and all continuous homomorphisms phi, phi' V H -> G, if phi(h) and phi'(h) are conjugate in G for all h epsilon H, then phi and phi' are G-conjugate. (b) The Lie algebra of G contains no simple ideal of type D-n (n >= 4), E-6, E-7, or E-8.
On the commutator length of compact Lie groups

Juan Omar Gómez,Victor Torres-Castillo,Bernardo Villarreal

2023-09-06

Abstract:In this short note we show that the path-connected component of the identity of the derived subgroup of a compact Lie group consists just of commutators. We also discuss an application of our main result to the homotopy type of the classifying space for commutativity for a compact Lie group whose path-connected component of the identity is abelian.

Group Theory,Algebraic Topology
A Geometric Compactification Of The Moduli Stack Of Left Invariant Complex Structures On A Lie Group

Laurent Meersseman

2024-08-29

Abstract:We describe a geometric compactification of the moduli stack of left invariant complex structures on a fixed real Lie group or a fixed quotient. The extra points are CR structures transverse to a real foliation.

Differential Geometry,Complex Variables,Geometric Topology
A stable splitting for spaces of commuting elements in unitary groups

Alejandro Adem,José Manuel Gómez,Simon Gritschacher

2024-04-14

Abstract:We prove an analogue of Miller's stable splitting of the unitary group $U(m)$ for spaces of commuting elements in $U(m)$. After inverting $m!$, the space $\text{Hom}(\mathbb{Z}^n,U(m))$ splits stably as a wedge of Thom-like spaces of bundles of commuting varieties over certain partial flag manifolds. Using Steenrod operations we prove that our splitting does not hold integrally. Analogous decompositions for symplectic and orthogonal groups as well as homological results for the one-point compactification of the commuting variety in a Lie algebra are also provided.

Algebraic Topology
Topological automorphism groups of compact quantum groups

Alexandru Chirvasitu,Issan Patri

DOI: https://doi.org/10.1007/s00209-017-2032-7

2018-01-11

Mathematische Zeitschrift

Abstract:We study the topological structure of the automorphism groups of compact quantum groups showing that, in parallel to a classical result due to Iwasawa, the connected component of identity of the automorphism group and of the “inner” automorphism group coincide. For compact matrix quantum groups, which can be thought of as quantum analogues of compact Lie groups, we prove that the inner automorphism group is a compact Lie group and the outer automorphism group is discrete. Applications of this to the study of group actions on compact quantum groups are highlighted. We end by providing examples of compact matrix quantum groups with infinitely-generated fusion rings, in stark contrast with the classical situation. Along the way we study the invariant theory of finite group actions on free Laurent rings and show that the rings of invariants are, in general, not finitely generated.

mathematics
On the moduli spaces of commuting elements in the projective unitary groups

Alejandro Adem,Man Chuen Cheng

DOI: https://doi.org/10.1063/1.5097922

2019-07-03

Abstract:We provide descriptions for the moduli spaces $\text{Rep}(\Gamma, PU(m))$, where $\Gamma$ is any finitely generated abelian group and $PU(m)$ is the group of $m\times m$ projective unitary matrices. As an application we show that for any connected CW-complex $X$ with $\pi_1(X)\cong \mathbf{Z}^n$, the natural map $\pi_0(\text{Rep}(\pi_1(X), PU(m)))\to [X, BPU(m)]$ is injective, hence providing a complete enumeration of the isomorphism classes of flat principal $PU(m)$-bundles over $X$.

Representation Theory,Algebraic Topology
Coarse structures on locally compact abelian groups

Dmitri Shakhmatov,Takamitsu Yamauchi,Nicolò Zava

2024-08-15

Abstract:Motivated by the study of the large-scale geometry of topological groups, we investigate particular families of subsets of topological groups named group ideals. We compare different group ideals in the realm of locally compact groups. In particular, we show that a subset of a locally compact abelian group is relatively compact if and only if it is coarsely bounded. Using this result, we prove that an infinite-dimensional Banach space cannot be embedded into any product of locally compact groups.

Metric Geometry,Group Theory
On universal subspaces for Lie groups

Saurav Bhaumik,Arunava Mandal

DOI: https://doi.org/10.48550/arXiv.2204.01566

2022-04-04

Abstract:Let $U$ be a finite dimentional vector space over $\mathbb R$ or $\mathbb C$, and let $\rho:G\to GL(U)$ be a representation of a connected Lie group $G$. A linear subspace $V\subset U$ is called universal if every orbit of $G$ meets $V$. We study universal subspaces for Lie groups, especially compact Lie groups. Jinpeng and Doković approached universality for compact groups through a certain topological obstruction. They showed that the non-vanishing of the obstruction class is sufficient for the universality of $V$, and asked whether it is also necessary under certain conditions. In this article, we show that the answer to the question is negative in general, but we discuss some important situations where the answer is positive. We show that if $G$ is solvable and $\rho:G\to GL(U)$ is a complex representation, then the only universal complex subspace is $U$ itself. We also investigate the question of universality for a Levi subgroup.

Representation Theory
Brascamp--Lieb inequalities on locally compact abelian groups

Jonathan Bennett,Michael G. Cowling

2024-12-16

Abstract:We establish a structure theorem for the Brascamp--Lieb constant formulated in the general setting of locally compact abelian groups. This extends and unifies the finiteness characterisations previously known for euclidean spaces and for finitely generated groups and their duals. We place particular emphasis on Fourier invariance throughout, reflecting the fundamental Fourier invariance of Brascamp--Lieb multilinear forms in this context.

Functional Analysis
Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, II: Applications

Sébastien Alvarez,Pablo G. Barrientos,Dmitry Filimonov,Victor Kleptsyn,Dominique Malicet,Carlos Meniño,Michele Triestino

2023-08-22

Abstract:In the first part of this work we have established an efficient method to obtain a topological classification of locally discrete, finitely generated, virtually free subgroups of real-analytic circle diffeomorphisms. In this second part we describe several consequences, among which the solution (within this setting) to an old conjecture by P. R. Dippolito [Ann. Math. 107 (1978), 403-453] that actions with invariant Cantor sets must be semi-conjugate to piecewise linear actions. In addition, we exhibit examples of locally discrete, minimal actions which are not of Fuchsian type.

Dynamical Systems,Group Theory
Generalised Spin$^r$ Structures on Homogeneous Spaces

Diego Artacho,Marie-Amélie Lawn

2024-02-07

Abstract:Spinorial methods have proven to be a powerful tool to study geometric properties of spin manifolds. Our aim is to continue the spinorial study of manifolds that are not necessarily spin. We introduce and study the notion of $G$-invariance of spin$^r$ structures on a manifold $M$ equipped with an action of a Lie group $G$. For the case when $M$ is a homogeneous $G$-space, we prove a classification result of these invariant structures in terms of the isotropy representation. As an example, we study the invariant spin$^r$ structures for all the homogeneous realisations of the spheres.

Differential Geometry
Subgroup Proximity in Banach Lie Groups

Alexandru Chirvasitu

DOI: https://doi.org/10.1007/s00031-024-09859-y

2024-04-25

Transformation Groups

Abstract:Let U be a Banach Lie group and a compact subgroup. We show that closed Lie subgroups of U contained in sufficiently small neighborhoods are compact, and conjugate to subgroups of G by elements close to ; this generalizes a well-known result of Montgomery and Zippin's from finite- to infinite-dimensional Lie groups. Along the way, we also prove an approximate counterpart to Jordan's theorem on finite subgroups of general linear groups: finite subgroups of U contained in sufficiently small neighborhoods have normal abelian subgroups of index bounded in terms of alone. Additionally, various spaces of compact subgroups of U , equipped with the Hausdorff metric attached to a complete metric on U , are shown to be analytic Banach manifolds; this is the case for both (a) compact groups of a given, fixed dimension, or (b) compact (possibly disconnected) semisimple subgroups. Finally, we also prove that the operation of taking the centralizer (or normalizer) of a compact subgroup of U is continuous (respectively upper semicontinuous) in the appropriate sense.

mathematics
Limits of almost homogeneous spaces and their fundamental groups

Sergio Zamora

DOI: https://doi.org/10.4171/GGD/792

2024-02-15

Abstract:We say that a sequence of proper geodesic spaces $X_n$ consists of \textit{almost homogeneous spaces} if there is a sequence of discrete groups of isometries $G_n \leq \text{Iso}(X_n)$ with $\text{diam} (X_n/G_n)\to 0$ as $n \to \infty$. We show that if a sequence $(X_n,p_n)$ of pointed almost homogeneous spaces converges in the pointed Gromov--Hausdorff sense to a space $(X,p)$, then $X$ is a nilpotent locally compact group equipped with an invariant geodesic metric. Under the above hypotheses, we show that if $X$ is semi-locally-simply-connected, then it is a nilpotent Lie group equipped with an invariant sub-Finsler metric, and for $n$ large enough, $\pi_1(X) $ is a subgroup of a quotient of $ \pi_1(X_n) $.

Metric Geometry,Group Theory
Classical Invariants for Global Actions and Groupoid Atlases

Matías L. del Hoyo,Elias Gabriel Minian

DOI: https://doi.org/10.1007/s10485-007-9113-4

2007-11-29

Applied Categorical Structures

Abstract:A global action is the algebraic analogue of a topological manifold. This construction was introduced in first place by A. Bak as a combinatorial approach to K-Theory and the concept was later generalized by Bak, Brown, Minian and Porter to the notion of groupoid atlas. In this paper we define and investigate homotopy invariants of global actions and groupoid atlases, such as the strong fundamental groupoid, the weak and strong nerves, classifying spaces and homology groups. We relate all these new invariants to classical constructions in topological spaces, simplicial complexes and simplicial sets. This way we obtain new combinatorial formulations of classical and non classical results in terms of groupoid atlases.

mathematics
Invariants and relative invariants under compact Lie groups

Patricia H. Baptistelli,Miriam Manoel

DOI: https://doi.org/10.48550/arXiv.1207.1513

2012-07-06

Abstract:This paper presents algebraic methods for the study of polynomial relative invariants, when the group G formed by the symmetries and relative symmetries is a compact Lie group. We deal with the case when the subgroup H of symmetries is normal in G with index m, m greater or equal to 2. For this, we develop the invariant theory of compact Lie groups acting on complex vector spaces. This is the starting point for the study of relative invariants and the computation of their generators. We first obtain the space of the invariants under the subgroup $H$ of $\Gamma$ as a direct sum of $m$ submodules over the ring of invariants under the whole group. Then, based on this decomposition, we construct a Hilbert basis of the ring of G-invariants from a Hilbert basis of the ring of H-invariants. In both results the knowledge of the relative Reynolds operators defined on H-invariants is shown to be an essential tool to obtain the invariants under the whole group. The theory is illustrated with some examples.

Dynamical Systems
Universal properties of group actions on locally compact spaces

Hiroki Matui,Mikael Rørdam

DOI: https://doi.org/10.1016/j.jfa.2015.01.022

IF: 1.891

2015-06-01

Journal of Functional Analysis

Abstract:We study universal properties of locally compact G-spaces for countable infinite groups G. In particular we consider open invariant subsets of the G-space βG, and their minimal closed invariant subspaces. These are locally compact free G-spaces, and the latter are also minimal. We examine the properties of these G-spaces with emphasis on their universal properties.As an example of our results, we use combinatorial methods to show that each countable infinite group admits a free minimal action on the locally compact non-compact Cantor set.

mathematics
Locally conformally product structures on solvmanifolds

Adrián Andrada,Viviana del Barco,Andrei Moroianu

DOI: https://doi.org/10.1007/s10231-024-01449-9

2024-04-13

Abstract:We study left invariant locally conformally product structures on simply connected Lie groups and give their complete description in the solvable unimodular case. Based on previous classification results, we then obtain the complete list of solvable unimodular Lie algebras up to dimension 5 which carry LCP structures, and study the existence of lattices in the corresponding simply connected Lie groups.

Differential Geometry

On the structure of spaces of commuting elements in compact Lie groups

The space of commuting elements in an exceptional Lie group and maps between classifying spaces

The space of commuting elements in a Lie group and maps between classifying spaces

Topological components of spaces of commuting elements in connected nilpotent Lie groups

Conjugacy and Element-Conjugacy of Homomorphisms of Compact Lie Groups

On the commutator length of compact Lie groups

A Geometric Compactification Of The Moduli Stack Of Left Invariant Complex Structures On A Lie Group

A stable splitting for spaces of commuting elements in unitary groups

Topological automorphism groups of compact quantum groups

On the moduli spaces of commuting elements in the projective unitary groups

Coarse structures on locally compact abelian groups

On universal subspaces for Lie groups

Brascamp--Lieb inequalities on locally compact abelian groups

Ping-pong partitions and locally discrete groups of real-analytic circle diffeomorphisms, II: Applications

Generalised Spin$^r$ Structures on Homogeneous Spaces

Subgroup Proximity in Banach Lie Groups

Limits of almost homogeneous spaces and their fundamental groups

Classical Invariants for Global Actions and Groupoid Atlases

Invariants and relative invariants under compact Lie groups

Universal properties of group actions on locally compact spaces

Locally conformally product structures on solvmanifolds