Compact Connected Lie Group Research Articles

Smooth actions of connected compact Lie groups with a free point are determined by two vector fields

Consider a smooth action G×M→M of a compact connected Lie group G on a connected manifold M. Assume the existence of a point of M whose isotropy group has a single element (a free point). Then we prove that there exist two complete vector field X,X1 such that their group of automorphisms equals G regarded as a group of diffeomorphisms of M (the existence of a free point implies that the action of G is effective). Moreover, some examples of effective actions with no free point where this result fails are exhibited.

Minimal extensions in smooth dynamics

A classical result of Fathi and Herman from 1977 states that a smooth compact connected manifold without boundary admitting a locally free action of a 1-torus, respectively, an almost free action of a 2-torus, admits a minimal diffeomorphism, respectively, a minimal flow. In the first part of our paper we study the existence of locally free and almost free actions of tori on homogeneous spaces of compact connected Lie groups, thus providing new examples of spaces admitting minimal diffeomorphisms or flows. In the second part we combine the ideas of Fathi and Herman with our recent ideas to study the existence of minimal skew products over certain minimal flows with general connected Lie groups as acting groups. Our results apply to so called flows with free cycles. In the last part of our work we study the existence of free cycles in homogeneous flows.

Weights for compact connected Lie groups

Let ℓ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\ell $$\\end{document} be a prime. If G\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extbf{G}$$\\end{document} is a compact connected Lie group, or a connected reductive algebraic group in characteristic different from ℓ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\ell $$\\end{document}, and ℓ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\ell $$\\end{document} is a good prime for G\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extbf{G}$$\\end{document}, we show that the number of weights of the ℓ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\ell $$\\end{document}-fusion system of G\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extbf{G}$$\\end{document} is equal to the number of irreducible characters of its Weyl group. The proof relies on the classification of ℓ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\ell $$\\end{document}-stubborn subgroups in compact Lie groups.

Symmetric pairs and branching laws

Let G be a compact connected Lie group and let H be a subgroup fixed by an involution. A classical result assures that the Hℂ-action on the flag variety F of G admits a finite number of orbits. In this article we propose a formula for the branching coefficients of the symmetric pair (G,H) that is parametrized by Hℂ∖F.

PERFECTING GROUP SCHEMES

Abstract We initiate a systematic study of the perfection of affine group schemes of finite type over fields of positive characteristic. The main result intrinsically characterises and classifies the perfections of reductive groups and obtains a bijection with the set of classifying spaces of compact connected Lie groups topologically localised away from the characteristic. We also study the representations of perfectly reductive groups. We establish a highest weight classification of simple modules, the decomposition into blocks, and relate extension groups to those of the underlying abstract group.

Properties of gradient maps associated with action of real reductive group

Let [Formula: see text] be a Kähler manifold and let [Formula: see text] be a compact connected Lie group with Lie algebra [Formula: see text] acting on [Formula: see text] and preserving [Formula: see text]. We assume that the [Formula: see text]-action extends holomorphically to an action of the complexified group [Formula: see text] and the [Formula: see text]-action on [Formula: see text] is Hamiltonian. Then there exists a [Formula: see text]-equivariant momentum map [Formula: see text]. If [Formula: see text] is a closed subgroup such that the Cartan decomposition [Formula: see text] induces a Cartan decomposition [Formula: see text] where [Formula: see text], [Formula: see text] and [Formula: see text] is the Lie algebra of [Formula: see text], there is a corresponding gradient map [Formula: see text]. If [Formula: see text] is a [Formula: see text]-invariant compact and connected real submanifold of [Formula: see text] we may consider [Formula: see text] as a mapping [Formula: see text] Given an [Formula: see text]-invariant scalar product on [Formula: see text], we obtain a Morse like function [Formula: see text] on [Formula: see text]. We point out that, without the assumption that [Formula: see text] is a real analytic manifold, the Lojasiewicz gradient inequality holds for [Formula: see text]. Therefore, the limit of the negative gradient flow of [Formula: see text] exists and it is unique. Moreover, we prove that any [Formula: see text]-orbit collapses to a single [Formula: see text]-orbit and two critical points of [Formula: see text] which are in the same [Formula: see text]-orbit belong to the same [Formula: see text]-orbit. We also investigate convexity properties of the gradient map [Formula: see text] in the Abelian case. In particular, we study two-orbit variety [Formula: see text] and we investigate topological and cohomological properties of [Formula: see text].

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

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

Sobolev algebras on Lie groups and noncommutative geometry

We show that there exists a quantum compact metric space which underlies the setting of each Sobolev algebra associated to a subelliptic Laplacian \Delta=-(X_1^2+\cdots+X_m^2) on a compact connected Lie group G if p is large enough, more precisely under the (sharp) condition p > \frac{d}{\alpha} , where d is the local dimension of (G,X) and where 0 < \alpha \leq 1 . We also provide locally compact variants of this result and generalizations for real second-order subelliptic operators. We also introduce a compact spectral triple (= noncommutative manifold) canonically associated to each subelliptic Laplacian on a compact group. In addition, we show that its spectral dimension is equal to the local dimension of (G,X) . Finally, we prove that the Connes spectral pseudo-metric allows us to recover the Carnot–Carathéodory distance.

(Quasi-)Hamiltonian manifolds of cohomogeneity one

We classify compact, connected Hamiltonian and quasi-Hamiltonian manifolds of cohomogeneity one (which is the same as being multiplicity free of rank one). The group acting is a compact connected Lie group (simply connected in the quasi-Hamiltonian case). This work is a concretization of a more general classification of multiplicity free manifolds in the special case of rank one. As a result we obtain numerous new concrete examples of multiplicity free quasi-Hamiltonian manifolds or, equivalently, Hamiltonian loop group actions.

Nilpotent elements in the cohomology of the classifying space of a connected Lie group

We give an example of a compact connected Lie group of the lowest rank such that the mod 2 cohomology ring of its classifying space has a nonzero nilpotent element.

Group-covariant extreme and quasiextreme channels

Constructing all extreme instances of the set of completely positive trace-preserving (CPTP) maps, i.e., quantum channels, is a challenging valuable open problem in quantum information theory. Here we introduce a systematic approach that enables us to construct exactly those extreme channels that are covariant with respect to a finite discrete group or a compact connected Lie group. Innovative labeling of quantum channels by group representations enables us to identify the subset of group-covariant channels whose elements are group-covariant generalized-extreme channels. Furthermore, we exploit essentials of group representation theory to introduce equivalence classes for the labels and also partition the set of group-covariant channels. As a result we show that it is enough to construct one representative of each partition. We construct Kraus operators for group-covariant generalized-extreme channels by solving systems of linear and quadratic equations for all candidates satisfying the necessary condition for being group-covariant generalized-extreme channels. Deciding whether these constructed instances are extreme or quasi-extreme is accomplished by solving system of linear equations. We formalize the problem of constructing and classifying group-covariant generalized extreme channels, thereby yielding an algorithmic approach to solving, which we express as pseudocode. To illustrate the application and value of our method, we solve for explicit examples of group-covariant extreme channels. With unbounded computational resources to execute our algorithm, our method always delivers a description of an extreme channel for any finite-dimensional Hilbert-space and furthermore guarantees a description of a group-covariant extreme channel for any dimension and for any finite-discrete or compact connected Lie group if such an extreme channel exists.

Representations of low copolarity

We classify irreducible representations of compact connected Lie groups whose orbit space is isometric to the orbit space of a representation of a compact Lie group of dimension 7 7 , 8 8 or 9 9 . They turn out to be closely related to symmetric spaces, with one exception only.

Topologically conjugate classifications of the translation actions on compact connected Lie groups SU(2) × Tn

In this article, we focus on the left (translation) actions on noncommutative compact connected Lie groups . We define the rotation vectors of the left actions induced by the elements in the maximal tori of , and utilize rotation vectors to give the complete topologically conjugate classifications of left actions. Algebraic conjugacy and smooth conjugacy are also considered.

G-invariant spin structures on spheres

We examine which of the compact connected Lie groups that act transitively on spheres of different dimensions leave the unique spin structure of the sphere invariant. We study the notion of invariance of a spin structure and prove this classification in two different ways; through examining the differential of the actions and through representation theory.

Minimal direct products

A space is called minimal if it admits a minimal continuous selfmap. We give examples of metrizable continua $X$ admitting both minimal homeomorphisms and minimal noninvertible maps, whose squares $X\times X$ are not minimal, i.e., they admit neither minimal homeomorphisms nor minimal noninvertible maps, thus providing a definitive answer to a question posed by Bruin, Kolyada and the second author in 2003. (In 2018, Boronski, Clark and Oprocha provided an answer in the case when only homeomorphisms were considered.) Then we introduce and study the notion of product-minimality. We call a compact metrizable space $Y$ product-minimal if, for every minimal system $(X,T)$ given by a metrizable space $X$ and a continuous selfmap $T$, there is a continuous map $S\colon Y\to Y$ such that the product $(X\times Y,T\times S)$ is minimal. If such a map $S$ always exists in the class of homeomorphisms, we say that $Y$ is a homeo-product-minimal space. We show that many classical examples of minimal spaces, including compact connected metrizable abelian groups, compact connected manifolds without boundary admitting a free action of a nontrivial compact connected Lie group, and many others, are in fact homeo-product-minimal.

Macdonald Formula, Ricci Curvature, and Concentration Locus for Classical Compact Lie Groups

We consider the phenomenon of concentration of measures, which is restricted to the case of families of compact connected Lie groups. While in the literature, powerful general results regarding the existence of concentration and its relations to extremal amenability of infinite dimensional groups have been determined, there are few explicit examples, specially regarding the determination of the region where the measure concentrates. Since they can be relevant for concrete applications, both in mathematics and in physics, in the present paper, we provide a number of such examples, using compact Lie groups as basic ingredients. In particular, our strategy is to employ the Macdonald’s formula, giving the volume of compact simple Lie groups, and Ricci curvature of the bi-invariant metric for analyzing a “concentration locus”, which is a tool to detect where a sequence of metric, Borel measurable spaces concentrates its measure.

DIAMETER AND LAPLACE EIGENVALUE ESTIMATES FOR COMPACT HOMOGENEOUS RIEMANNIAN MANIFOLDS

Let G be a compact connected Lie group and let K be a closed subgroup of G. In this paper, we study whether the functional 𝔤 ↦ ⋋1 (G/K, 𝔤) diam (G/K, 𝔤)2 is bounded among G-invariant metrics 𝔤 on G/K. Eldredge, Gordina, and Saloff-Coste conjectured in 2018 that this assertion holds when K is trivial; the only particular cases known so far are when G is abelian, SU(2), and SO(3). In this article, we prove the existence of the mentioned upper bound for every compact homogeneous space G/K having multiplicity-free isotropy representation.

Cooking pasta with Lie groups

We extend the (gauged) Skyrme model to the case in which the global isospin group (which usually is taken to be SU(N)) is a generic compact connected Lie group G. We analyze the corresponding field equations in (3+1) dimensions from a group theory point of view. Several solutions can be constructed analytically and are determined by the embeddings of three dimensional simple Lie groups into G, in a generic irreducible representation. These solutions represent the so-called nuclear pasta state configurations of nuclear matter at low energy. We employ the Dynkin explicit classification of all three dimensional Lie subgroups of exceptional Lie group to classify all such solutions in the case G is an exceptional simple Lie group, and give all ingredients to construct them explicitly. As an example, we construct the explicit solutions for G=G2. We then extend our ansatz to include the minimal coupling of the Skyrme field to a U(1) gauge field. We extend the definition of the topological charge to this case and then concentrate our attention to the electromagnetic case. After imposing a “free force condition” on the gauge field, the complete set of coupled field equations corresponding to the gauged Skyrme model minimally coupled to an Abelian gauge field is reduced to just one linear ODE keeping alive the topological charge. We discuss the cases in which such ODE belongs to the (Whittaker-)Hill and Mathieu types.

COMPACT ORBITS OF PARABOLIC SUBGROUPS

AbstractWe study the action of a real reductive group G on a real submanifold X of a Kähler manifold Z. We suppose that the action of a compact connected Lie group U with Lie algebra $\mathfrak {u}$ extends holomorphically to an action of the complexified group $U^{\mathbb {C}}$ and that the U-action on Z is Hamiltonian. If $G\subset U^{\mathbb {C}}$ is compatible, there exists a gradient map $\mu _{\mathfrak p}:X \longrightarrow \mathfrak p$ where $\mathfrak g=\mathfrak k \oplus \mathfrak p$ is a Cartan decomposition of $\mathfrak g$ . In this paper, we describe compact orbits of parabolic subgroups of G in terms of the gradient map $\mu _{\mathfrak p}$ .

The cohomology rings of homogeneous spaces

Let G be a compact connected Lie group and K a closed connected subgroup. Assume that the order of any torsion element in the integral cohomology of G and K is invertible in a given principal ideal domain k. It is known that in this case the cohomology of the homogeneous space G / K with coefficients in k and the torsion product of H ∗ ( B K ) and k over H ∗ ( B G ) are isomorphic as k-modules. We show that this isomorphism is multiplicative and natural in the pair ( G , K ) provided that 2 is invertible in k. The proof uses homotopy Gerstenhaber algebras in an essential way. In particular, we show that the normalized singular cochains on the classifying space of a torus are formal as a homotopy Gerstenhaber algebra.