Compact Semisimple Lie Group Research Articles

Poisson–Lie analogues of spin Sutherland models revisited

Some generalizations of spin Sutherland models descend from ‘master integrable systems’ living on Heisenberg doubles of compact semisimple Lie groups. The master systems represent Poisson–Lie counterparts of the systems of free motion modeled on the respective cotangent bundles and their reduction relies on taking quotient with respect to a suitable conjugation action of the compact Lie group. We present an enhanced exposition of the reductions and prove rigorously for the first time that the reduced systems possess the property of degenerate integrability on the dense open subset of the Poisson quotient space corresponding to the principal orbit type for the pertinent group action. After restriction to a smaller dense open subset, degenerate integrability on the generic symplectic leaves is demonstrated as well. The paper also contains a novel description of the reduced Poisson structure and a careful elaboration of the scaling limit whereby our reduced systems turn into the spin Sutherland models.

On the existence and properties of left invariant k-symplectic structures on Lie groups with bi-invariant peudo-Riemannian metric

k-symplectic manifolds are a convenient framework to study classical field theories and they are a generalization of polarized symplectic manifolds. This paper focus on the existence and the properties of left invariant k-symplectic structures on Lie groups having a bi-invariant pseudo-Riemannian metric. We show that compact semi-simple Lie groups and a large class of Lie groups having a bi-invariant pseudo-Riemannian metric does not carry any left invariant k-symplectic structure. This class contains the oscillator Lie groups which are the only solvable non abelian Lie groups having a bi-invariant Lorentzian metric. However, we built a natural left invariant n-symplectic structure on SL ( n , R ) . Moreover, up to dimension 6, only three connected and simply connected Lie groups have a bi-invariant indecomposable pseudo-Riemannian metric and a left invariant k-symplectic structure, namely, the universal covering of SL ( 2 , R ) with a 2-symplectic structure, the universal covering of the Lorentz group SO ( 3 , 1 ) with a 2-symplectic structure, and a 2-step nilpotent 6-dimensional connected and simply connected Lie group with both a 1-symplectic structure and a 2-symplectic structure.

A geometric approach to the Yang-Mills mass gap

I provide a new idea based on geometric analysis to obtain a positive mass gap in pure non-abelian renormalizable Yang-Mills theory. The orbit space, that is the space of connections of Yang-Mills theory modulo gauge transformations, is equipped with a Riemannian metric that naturally arises from the kinetic part of reduced classical action and admits a positive definite sectional curvature. The corresponding regularized Bakry-Émery Ricci curvature (if positive) is shown to produce a mass gap for 2+1 and 3+1 dimensional Yang-Mills theory assuming the existence of a quantized Yang-Mills theory on (ℝ1+2, η) and (ℝ1+3, η), respectively. My result on the gap calculation, described at least as a heuristic one, applies to non-abelian Yang-Mills theory with any compact semi-simple Lie group in the aforementioned dimensions. In 2+1 dimensions, the square of the Yang-Mils coupling constant gYM2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ {g}_{YM}^2 $$\\end{document} has the dimension of mass, and therefore the spectral gap of the Hamiltonian is essentially proportional to gYM2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$ {g}_{YM}^2 $$\\end{document} with proportionality constant being purely numerical as expected. Due to the dimensional restriction on 3+1 dimensional Yang-Mills theory, it seems one ought to introduce a length scale to obtain an energy scale. It turns out that a certain ‘trace’ operation on the infinite-dimensional geometry naturally introduces a length scale that has to be fixed by measuring the energy of the lowest glu-ball state. However, this remains to be understood in a rigorous way.

Calorons and Constituent Monopoles

We study anti-self-dual Yang–Mills instantons on {mathbb {R}}^{3}times S^{1}, also known as calorons, and their behaviour under collapse of the circle factor. In this limit, we make explicit the decomposition of calorons in terms of constituent pieces which are essentially charge 1 monopoles. We give a gluing construction of calorons in terms of the constituents and use it to compute the dimension of the moduli space. The construction works uniformly for structure group an arbitrary compact semi-simple Lie group.

Crystal limits of compact semisimple quantum groups as higher-rank graph algebras

Abstract Let O q ⁢ [ K ] \mathcal{O}_{q}[K] be the quantized coordinate ring over the field C ⁢ ( q ) \mathbb{C}(q) of rational functions corresponding to a compact semisimple Lie group 𝐾, equipped with its ∗-structure. Let A 0 ⊂ C ⁢ ( q ) {\mathbf{A}_{0}}\subset\mathbb{C}(q) denote the subring of regular functions at q = 0 q=0 . We introduce an A 0 \mathbf{A}_{0} -subalgebra O q A 0 ⁢ [ K ] ⊂ O q ⁢ [ K ] \mathcal{O}_{q}^{{\mathbf{A}_{0}}}[K]\subset\mathcal{O}_{q}[K] which is stable with respect to the ∗-structure and which has the following properties with respect to the crystal limit q → 0 q\to 0 . The specialization of O q ⁢ [ K ] \mathcal{O}_{q}[K] at each q ∈ ( 0 , ∞ ) ∖ { 1 } q\in(0,\infty)\setminus\{1\} admits a faithful ∗-representation π q \pi_{q} on a fixed Hilbert space, a result due to Soibelman. We show that, for every element a ∈ O q A 0 ⁢ [ K ] a\in\mathcal{O}_{q}^{{\mathbf{A}_{0}}}[K] , the family of operators π q ⁢ ( a ) \pi_{q}(a) admits a norm limit as q → 0 q\to 0 . These limits define a ∗-representation π 0 \pi_{0} of O q A 0 ⁢ [ K ] \mathcal{O}_{q}^{{\mathbf{A}_{0}}}[K] . We show that the resulting ∗-algebra O ⁢ [ K 0 ] = π 0 ⁢ ( O q A 0 ⁢ [ K ] ) \mathcal{O}[K_{0}]=\pi_{0}(\mathcal{O}_{q}^{{\mathbf{A}_{0}}}[K]) is a Kumjian–Pask algebra, in the sense of Aranda Pino, Clark, an Huef and Raeburn. We give an explicit description of the underlying higher-rank graph in terms of crystal basis theory. As a consequence, we obtain a continuous field of C * C^{*} -algebras ( C ⁢ ( K q ) ) q ∈ [ 0 , ∞ ] (C(K_{q}))_{q\in[0,\infty]} , where the fibres at q = 0 q=0 and ∞ are explicitly defined higher-rank graph algebras.

How to perform the coherent measurement of a curved phase space by continuous isotropic measurement. I. Spin and the Kraus-operator geometry of SL(2,C)

The generalized Q-function of a spin system can be considered the outcome probability distribution of a state subjected to a measurement represented by the spin-coherent-state (SCS) positive-operator-valued measure (POVM). As fundamental as the SCS POVM is to the 2-sphere phase-space representation of spin systems, it has only recently been reported that the SCS POVM can be performed for any spin system by continuous isotropic measurement of the three total spin components [E. Shojaee, C. S. Jackson, C. A. Riofrio, A. Kalev, and I. H. Deutsch, Phys. Rev. Lett. 121, 130404 (2018)]. This article develops the theoretical details of the continuous isotropic measurement and places it within the general context of curved-phase-space correspondences for quantum systems. The analysis is in terms of the Kraus operators that develop over the course of a continuous isotropic measurement. The Kraus operators of any spin j are shown to represent elements of the Lie group SL(2,C)≅Spin(3,C), a complex version of the usual unitary operators that represent elements of SU(2)≅Spin(3,R). Consequently, the associated POVM elements represent points in the symmetric space SU(2)∖SL(2,C), which can be recognized as the 3-hyperboloid. Three equivalent stochastic techniques, (Wiener) path integral, (Fokker-Planck) diffusion equation, and stochastic differential equations, are applied to show that the continuous isotropic POVM quickly limits to the SCS POVM, placing spherical phase space at the boundary of the fundamental Lie group SL(2,C) in an operationally meaningful way. Two basic mathematical tools are used to analyze the evolving Kraus operators, the Maurer-Cartan form, modified for stochastic applications, and the Cartan, decomposition associated with the symmetric pair SU(2) ⊂ SL(2,C). Informed by these tools, the three schochastic techniques are applied directly to the Kraus operators in a representation-independent – and therefore geometric – way (independent of any spectral information about the spin components).The Kraus-operator-centric, geometric treatment applies not just to SU(2) ⊂ SL(2,C), but also to any compact semisimple Lie group and its complexification. The POVM associated with the continuous isotropic measurement of Lie-group generators thus corresponds to a type-IV globally Riemannian symmetric space and limits to the POVM of generalized coherent states. This generalization is the focus of a sequel to this article.

Bismut Ricci flat generalized metrics on compact homogeneous spaces

A generalized metric on a manifold M M , i.e., a pair ( g , H ) (g,H) , where g g is a Riemannian metric and H H a closed 3 3 -form, is a fixed point of the generalized Ricci flow if and only if ( g , H ) (g,H) is Bismut Ricci flat: H H is g g -harmonic and R c ( g ) = 1 4 H g 2 Rc(g)=\tfrac {1}{4}H_g^2 . On any homogeneous space M = G / K M=G/K , where G = G 1 × G 2 G=G_1\times G_2 is a compact semisimple Lie group with two simple factors, under some mild assumptions, we exhibit a Bismut Ricci flat G G -invariant generalized metric, which is proved to be unique among a 4 4 -parameter space of metrics in many cases, including when K K is neither abelian nor semisimple. On the other hand, if K K is simple and the standard metric is Einstein on both G 1 / π 1 ( K ) G_1/\pi _1(K) and G 2 / π 2 ( K ) G_2/\pi _2(K) , we give a one-parameter family of Bismut Ricci flat G G -invariant generalized metrics on G / K G/K and show that it is most likely pairwise non-homothetic by computing the ratio of Ricci eigenvalues. This is proved to be the case for every space of the form M = G × G / Δ K M=G\times G/\Delta K and for M 35 = S O ( 8 ) × S O ( 7 ) / G 2 M^{35}=SO(8)\times SO(7)/G_2 .

Discrete Quantum Subgroups of Complex Semisimple Quantum Groups

Abstract We classify discrete quantum subgroups in the quantum double of the $q$-deformation of a compact semisimple Lie group, regarded as the complexification. We also record their classifications in some variants of quantum groups. Along the way, we show that quantum doubles of non-Kac-type compact quantum groups do not admit the quantum analog of lattices considered by Brannan–Chirvasitu–Viselter.

CYT and SKT Metrics on Compact Semi-Simple Lie Groups

A Hermitian metric on a complex manifold $(M, I)$ of complex dimension $n$ is called Calabi-Yau with torsion (CYT) or Bismut-Ricci flat, if the restricted holonomy of the associated Bismut connection is contained in ${\rm SU}(n)$ and it is called strong K\"ahler with torsion (SKT) or pluriclosed if the associated fundamental form $F$ is $\partial \overline \partial$-closed. In the paper we study the existence of left-invariant SKT and CYT metrics on compact semi-simple Lie groups endowed with a Samelson complex structure $I$. In particular, we show that if $I$ is determined by some maximal torus $T$ and $g$ is a left-invariant Hermitian metric, which is also invariant under the right action of the torus $T$, and is both CYT and SKT, then $g$ has to be Bismut flat.

The Plancherel formula for complex semisimple quantum groups

We calculate the Plancherel formula for complex semisimple quantum groups, that is, Drinfeld doubles of q-deformations of compact semisimple Lie groups. As a consequence we obtain a concrete description of their associated reduced group C *-algebras. The main ingredients in our proof are the Bernstein-Gelfand-Gelfand complex and the Hopf trace formula.

Integer solutions to the anomaly equations for a class of chiral gauge theories

We find all the integer charge solutions to the equations for the cancellation of local gauge anomalies in a class of gauge theories that extend the Standard Model (SM) by a gauge group of the form $G\ifmmode\times\else\texttimes\fi{}\mathrm{U}(1)$, where $G$ is an arbitrary semisimple compact Lie group. The SM fermions are assumed to be neutral under $G\ifmmode\times\else\texttimes\fi{}\mathrm{U}(1)$ gauge interactions, while the new fermions transform in nontrivial representations of both the new and the SM gauge groups. Our analysis is valid also when the latter is embedded in an arbitrary semisimple compact Lie group. Theories with this structure have recently been studied as models of composite axions based on accidental symmetries and can provide a field theory resolution to the axion quality problem. We apply our results to cases of phenomenological interest and prove the existence of charge assignments with Peccei-Quinn symmetry protected up to dimension 18.

Einstein warped product spaces on Lie groups

We consider a compact Lie group with bi-invariant metric, coming from the Killing form. In this paper, we study Einstein warped product space, $M = M_1 \times_{f_1} M_2$ for the cases, $(i)$ $M_1$ is a Lie group $(ii)$ $M_2$ is a Lie group and $(iii)$ both $M_1$ and $M_2$ are Lie groups. Moreover, we obtain the conditions for an Einstein warped product of Lie groups to become a simple product manifold. Then, we characterize the warping function for generalized Robertson-Walker spacetime, $(M = I \times_{f_1} G_2, - dt^2 + f_1^2 g_2)$ whose fiber $G_2$, being semi-simple compact Lie group of $\dim G_2>2$, having bi-invariant metric, coming from the Killing form.

On the Isomorphism and Diffeomorphism of Compact Semisimple Lie Groups

On the Isomorphism and Diffeomorphism of Compact Semisimple Lie Groups

Reductive homogeneous Lorentzian manifolds

We study homogeneous Lorentzian manifolds M=G/L of a connected reductive Lie group G modulo a connected reductive subgroup L, under the assumption that M is (almost) G-effective and the isotropy representation is totally reducible. We show that the description of such manifolds reduces to the case of semisimple Lie groups G. Moreover, we prove that such a homogeneous space is reductive. We describe all totally reducible subgroups of the Lorentz group and divide them into three types. The subgroups of Type I are compact, while the subgroups of Type II and Type III are non-compact. The explicit description of the corresponding homogeneous Lorentzian spaces of Type II and III (under some mild assumption) is given. We also show that the description of Lorentz homogeneous manifolds M=G/L of Type I reduces to the description of subgroups L such that M=G/L is an admissible manifold, i.e., an effective homogeneous manifold that admits an invariant Lorentzian metric. Whenever the subgroup L is a maximal subgroup with these properties, we call such a manifold minimal admissible. We classify all minimal admissible homogeneous manifolds G/L of a compact semisimple Lie group G and describe all invariant Lorentzian metrics on them.

Representations and Tensor Product Growth

Abstract The deep theory of approximate subgroups establishes three-step product growth for subsets of finite simple groups $G$ of Lie type of bounded rank. In this paper, we obtain two-step growth results for representations of such groups $G$ (including those of unbounded rank), where products of subsets are replaced by tensor products of representations. Let $G$ be a finite simple group of Lie type and $\chi $ a character of $G$. Let $|\chi |$ denote the sum of the squares of the degrees of all (distinct) irreducible characters of $G$ that are constituents of $\chi $. We show that for all $\delta>0$, there exists $\epsilon>0$, independent of $G$, such that if $\chi $ is an irreducible character of $G$ satisfying $|\chi | \le |G|^{1-\delta }$, then $|\chi ^2| \ge |\chi |^{1+\epsilon }$. We also obtain results for reducible characters and establish faster growth in the case where $|\chi | \le |G|^{\delta }$. In another direction, we explore covering phenomena, namely situations where every irreducible character of $G$ occurs as a constituent of certain products of characters. For example, we prove that if $|\chi _1| \cdots |\chi _m|$ is a high enough power of $|G|$, then every irreducible character of $G$ appears in $\chi _1\cdots \chi _m$. Finally, we obtain growth results for compact semisimple Lie groups.

Non-invariant deformations of left-invariant complex structures on compact Lie groups

Abstract We give small deformations of a left-invariant complex structure on each simply connected semisimple compact Lie group of even dimension which are not biholomorphic to any left-invariant (right-invariant) complex structure by using the Kuranishi space. On such deformed complex manifolds, we prove the Borel–Weil–Bott type theorem, and we compute the cohomology of holomorphic tangent bundles.

On the Isomorphism and Diffeomorphism of Compact Semisimple Lie Groups

В статье изучается связь между алгебраическими и топологическими свойствами компактных полупростых групп Ли. Приводится три серии примеров компактных полупростых групп Ли, которые между собой не изоморфны, но диффеоморфны. Библиография: 11 названий.

Positive Scalar Curvature on Spin Pseudomanifolds: the Fundamental Group and Secondary Invariants

In this paper we continue the study of positive scalar curvature (psc) metrics on a depth-1 Thom-Mather stratified space $M_\Sigma$ with singular stratum $\beta M$ (a closed manifold of positive codimension) and associated link equal to $L$, a smooth compact manifold. We briefly call such spaces manifolds with $L$-fibered singularities. Under suitable spin assumptions we give necessary index-theoretic conditions for the existence of wedge metrics of positive scalar curvature. Assuming in addition that $L$ is a simply connected homogeneous space of positive scalar curvature, $L=G/H$, with the semisimple compact Lie group $G$ acting transitively on $L$ by isometries, we investigate when these necessary conditions are also sufficient. Our main result is that our conditions are indeed sufficient for large classes of examples, even when $M_\Sigma$ and $\beta M$ are not simply connected. We also investigate the space of such psc metrics and show that it often splits into many cobordism classes.

Positive scalar curvature on simply connected spin pseudomanifolds

Let [Formula: see text] be an [Formula: see text]-dimensional Thom–Mather stratified space of depth [Formula: see text]. We denote by [Formula: see text] the singular locus and by [Formula: see text] the associated link. In this paper, we study the problem of when such a space can be endowed with a wedge metric of positive scalar curvature. We relate this problem to recent work on index theory on stratified spaces, giving first an obstruction to the existence of such a metric in terms of a wedge [Formula: see text]-class [Formula: see text]. In order to establish a sufficient condition, we need to assume additional structure: we assume that the link of [Formula: see text] is a homogeneous space of positive scalar curvature, [Formula: see text], where the semisimple compact Lie group [Formula: see text] acts transitively on [Formula: see text] by isometries. Examples of such manifolds include compact semisimple Lie groups and Riemannian symmetric spaces of compact type. Under these assumptions, when [Formula: see text] and [Formula: see text] are spin, we reinterpret our obstruction in terms of two [Formula: see text]-classes associated to the resolution of [Formula: see text], [Formula: see text], and to the singular locus [Formula: see text]. Finally, when [Formula: see text], [Formula: see text], [Formula: see text] and [Formula: see text] are simply connected and [Formula: see text] is big enough, and when some other conditions on [Formula: see text] (satisfied in a large number of cases) hold, we establish the main result of this paper, showing that the vanishing of these two [Formula: see text]-classes is also sufficient for the existence of a well-adapted wedge metric of positive scalar curvature.

On the Assembly Map for Complex Semisimple Quantum Groups

AbstractWe show that complex semisimple quantum groups, that is, Drinfeld doubles of $q$-deformations of compact semisimple Lie groups, satisfy a categorical version of the Baum–Connes conjecture with trivial coefficients. Our approach, based on homological algebra in triangulated categories, is compatible with the previously studied deformation picture of the assembly map and allows us to define an assembly map with arbitrary coefficients for these quantum groups.