Compact Lie Group Research Articles

Equivariant Infinite Loop Space Theory: The Space Level Story

We rework and generalize equivariant infinite loop space theory, which shows how to construct G G -spectra from G G -spaces with suitable structure. There is a classical version which gives classical Ω \Omega - G G -spectra for any topological group G G , but our focus is on the construction of genuine Ω \Omega - G G -spectra when G G is finite. We also show what is and is not true when G G is a compact Lie group. We give new information about the Segal and operadic equivariant infinite loop space machines, supplying many details that are missing from the literature, and we prove by direct comparison that the two machines give equivalent output when fed equivalent input. The proof of the corresponding nonequivariant uniqueness theorem, due to May and Thomason, works for classical G G -spectra for general G G but fails for genuine G G -spectra. Even in the nonequivariant case, our comparison theorem is considerably more precise, giving an illuminating direct point-set level comparison. We have taken the opportunity to update this general area, equivariant and nonequivariant, giving many new proofs, filling in some gaps, and giving a number of corrections to results and proofs in the literature.

Compactifications of pseudofinite and pseudoamenable groups

We first give simplified and corrected accounts of some results in work by Pillay (2017) on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing (1938) to give a simplified proof that any definable compactification of a pseudofinite group has an abelian connected component. We then discuss the relationship between Turing’s work, the Jordan–Schur theorem, and a (relatively) more recent result of Kazhdan (1982) on approximate homomorphisms, and we use this to widen our scope from finite groups to amenable groups. In particular, we develop a suitable continuous logic framework for dealing with definable homomorphisms from pseudoamenable groups to compact Lie groups. Together with the stabilizer theorems of Hrushovski (2012) and Montenegro et al. (2020), we obtain a uniform (but non-quantitative) analogue of Bogolyubov’s lemma for sets of positive measure in discrete amenable groups. We conclude with brief remarks on the case of amenable topological groups.

Entanglement asymmetry and symmetry defects in boundary conformal field theory

A state in a quantum system with a given global symmetry, G, can be sensitive to the presence of boundaries, which may either preserve or break this symmetry. In this work, we investigate how conformal invariant boundary conditions influence the G-symmetry breaking through the lens of the entanglement asymmetry, a quantifier of the “distance” between a symmetry-broken state and its symmetrized counterpart. By leveraging 2D boundary conformal field theory (BCFT), we investigate the symmetry breaking for both finite and compact Lie groups. Beyond the leading order term, we also compute the subleading corrections in the subsystem size, highlighting their dependence on the symmetry group G and the BCFT operator content. We further explore the entanglement asymmetry following a global quantum quench, where a symmetry-broken state evolves under a symmetry-restoring Hamiltonian. In this dynamical setting, we compute the entanglement asymmetry by extending the method of images to a BCFT with non-local objects such as invertible symmetry defects.

EQUIVARIANT COHOMOLOGY FOR SEMIDIRECT PRODUCT ACTIONS

The rational Borel equivariant cohomology for actions of a compact connected Lie group is determined by restriction of the action to a maximal torus. We show that a similar reduction holds for any compact Lie group G when there is a closed subgroup K such that the cohomology of the classifying space BK is free over the cohomology of BG with field coefficients. This provides a different approach to the equivariant cohomology of a space with a torus action and a compatible involution, and we relate this description with results for 2 torus actions.

Commutative Control Data for Smoothly Locally Trivial Stratified Spaces

AbstractFor a compact Lie group G and a Hamiltonian G-space M with momentum map $$\mu :M\rightarrow \mathfrak {g}^*$$ μ : M → g ∗ , we prove that the zero level set $$\mu ^{-1}(0)$$ μ - 1 ( 0 ) and the critical set $$\text {Crit}||{\mu }||^2$$ Crit | | μ | | 2 of the norm squared momentum map are neighbourhood smooth weak deformation retracts. This confirms a conjecture by Harada and Karshon, and implies that their localization theorem for Duistermaat-Heckmann distributions applies to these subsets. We construct these smooth weak deformation retractions in three steps. First, we prove that the stratifications of these subsets by orbit types satisfy a local condition stronger than Whitney (B) regularity — smooth local triviality with conical fibers. Then, using this local condition we construct control data in the sense of Mather with additional compatibility properties - tangentiality and commutativity. Finally we use this control data to obtain neighbourhood smooth weak deformation retractions.

Symmetry-Enforced Entanglement in Maximally Mixed States

Entanglement in quantum many-body systems is typically fragile to interactions with the environment. Generic unital quantum channels, for example, have the maximally mixed state with no entanglement as their unique steady state. However, we find that for a unital quantum channel that is “strongly symmetric,” i.e., it preserves a global on-site symmetry, the maximally mixed steady state in certain symmetry sectors can be highly entangled. For a given symmetry, we analyze the entanglement and correlations of the maximally mixed state in the invariant sector (MMIS) and show that the entanglement of formation and distillation are exactly computable and equal for any bipartition. For all Abelian symmetries, the MMIS is separable and for all non-Abelian symmetries, the MMIS is entangled. Remarkably, for non-Abelian continuous symmetries described by compact semisimple Lie groups (e.g., SU(2)), the bipartite entanglement of formation for the MMIS scales logarithmically with the number of qudits N. Published by the American Physical Society 2024

Generalized Ricci flow on aligned homogeneous spaces

Abstract The fixed points of the generalized Ricci flow are the Bismut Ricci flat (BRF) metrics, i.e., a generalized metric (g, H) on a manifold M, where g is a Riemannian metric and H a closed 3-form, such that H is g-harmonic and $\operatorname{Rc}(g)=\tfrac{1}{4} H_g^2$ . Given two standard Einstein homogeneous spaces $G_i/K$ , where each Gi is a compact simple Lie group and K is a closed subgroup of them holding some extra assumption, we consider $M=G_1\times G_2/\Delta K$ . Recently, Lauret and Will proved the existence of a BRF metric on any of these spaces. We proved that this metric is always asymptotically stable for the generalized Ricci flow on M among a subset of G-invariant metrics and, if $G_1=G_2$ , then it is globally stable.

Covariant projective representations of Hilbert–Lie groups

Abstract Hilbert–Lie groups are Lie groups whose Lie algebra is a real Hilbert space whose scalar product is invariant under the adjoint action. These infinite-dimensional Lie groups are the closest relatives to compact Lie groups. In this paper, we study unitary representations of these groups from various perspectives. First, we address norm-continuous, also called bounded, representations. These are well known for simple groups, but the general picture is more complicated. Our first main result is a characterization of the discrete decomposability of all bounded representations in terms of boundedness of the set of coroots. We also show that bounded representations of type II and III exist if the set of coroots is unbounded. Second, we use covariance with respect to a one-parameter group of automorphisms to implement some regularity. Here we develop some perturbation theory based on half-Lie groups that reduces matters to the case where a “maximal torus” is fixed, so that compatible weight decompositions can be studied. Third, we extend the context to projective representations which are covariant for a one-parameter group of automorphisms. Here important families of representations arise from “bounded extremal weights”, and for these, the corresponding central extensions can be determined explicitly, together with all one-parameter groups for which a covariant extension exists.

Convolution Algebras of Double Groupoids and Strict 2-Groups

Double groupoids are a type of higher groupoid structure that can arise when one has two distinct groupoid products on the same set of arrows. A particularly important example of such structures is the irrational torus and, more generally, strict 2-groups. Groupoid structures give rise to convolution operations on the space of arrows. Therefore, a double groupoid comes equipped with two product operations on the space of functions. In this article we investigate in what sense these two convolution operations are compatible. We use the representation theory of compact Lie groups to get insight into a certain class of 2-groups.

Estimates for Sums of Eigenfunctions of Elliptic Pseudo-differential Operators on Compact Lie Groups

We extend the estimates proved by Donnelly and Fefferman, and by Lebeau, Robbiano and Zuazua, for sums of eigenfunctions of the Laplacian (on a compact manifold) to estimates for sums of eigenfunctions of any positive and elliptic pseudo-differential operator of positive order on a compact Lie group. Our criteria are imposed in terms of the positivity of the corresponding matrix-valued symbol of the operator. As an application of these inequalities in control theory, we obtain the null-controllability for diffusion models for elliptic pseudo-differential operators on compact Lie groups.

Amenability of finite energy path and loop groups

It is shown that the groups of finite energy (i.e., Sobolev class H^{1} ) paths and loops with values in a compact Lie group are amenable in the sense of Pierre de la Harpe, that is, every continuous action of such a group on a compact space admits an invariant regular Borel probability measure. To our knowledge, the strongest previously known result concerned the amenability of groups of continuous paths and loops (Malliavin and Malliavin 1992).

Quantifying noncovariance of quantum channels with respect to groups

A quantum channel is covariant with respect to a group if it commutes with the action of the group. In general, a quantum channel may not be covariant with respect to a given group. The degree of noncovariance can vary between different channels, and it is desirable to have a quantitative characterization for the degree of channel noncovariance. In this work, we propose a measure based on the Hilbert-Schmidt norm to quantify noncovariance of quantum channels with respect to a group and demonstrate that it satisfies several desirable properties. Compared with the existing measures of channel noncovariance, our measure applies to not only compact Lie groups but also finite groups, and it is easy to evaluate. Using this measure and its modified version together with two existing measures, we evaluate and analyze channel noncovariance through an example, finding that these measures of channel noncovariance are closely related but differ from each other. They capture different perspectives of noncovariance of quantum channels. As applications, we provide a relation between channel noncovariance and approximate quantum error correction using our measures of channel noncovariance.

Integro-differential diffusion equations on graded Lie groups

We first study the existence, uniqueness and well-posedness of a general class of integro-differential diffusion equation on L p ( G ) ( 1 < p < + ∞, G is a graded Lie group). We show the explicit solution of the considered equation. The equation involves a nonlocal in time operator (with a general kernel) and a positive Rockland operator acting on G. Also, we provide L p ( G ) − L q ( G ) ( 1 < p ⩽ 2 ⩽ q < + ∞) norm estimates and time decay rate for the solutions. In fact, by using some contemporary results, one can translate the latter regularity problem to the study of boundedness of its propagator which strongly depends on the traces of the spectral projections of the Rockland operator. Moreover, in many cases, we can obtain time asymptotic decay for the solutions which depends intrinsically on the considered kernel. As a complement, we give some norm estimates for the solutions in terms of a homogeneous Sobolev space in L 2 ( G ) that involves the Rockland operator. We also give a counterpart of our results in the setting of compact Lie groups. Illustrative examples are also given.

Localised analytic torsion and relative analytic torsion for non compact Lie groups of type I

Let G be a (non compact) connected, simply connected, locally compact, second countable Lie group, either abelian or unimodular of type I, and let ρ be an irreducible unitary representation of G. Then, we define the analytic torsion of G localised at the representation ρ. The idea of considering localised invariants is due to Brodzki, Niblo, Plymen and Wright [5], and was exploited in [31] to define a localised eta function. Next, let Γ be a discrete co compact subgroup of G. We use the localised analytic torsion to define the relative analytic torsion of the pair (G,Γ), and we prove that the last coincides with the Lott L2 analytic torsion of a covering space. We illustrate these constructions analysing in some details two examples: the abelian case, and the case G=H, the Heisenberg group.

Characterizing barren plateaus in quantum ansätze with the adjoint representation

Variational quantum algorithms, a popular heuristic for near-term quantum computers, utilize parameterized quantum circuits which naturally express Lie groups. It has been postulated that many properties of variational quantum algorithms can be understood by studying their corresponding groups, chief among them the presence of vanishing gradients or barren plateaus, but a theoretical derivation has been lacking. Using tools from the representation theory of compact Lie groups, we formulate a theory of barren plateaus for parameterized quantum circuits whose observables lie in their dynamical Lie algebra, covering a large variety of commonly used ansätze such as the Hamiltonian Variational Ansatz, Quantum Alternating Operator Ansatz, and many equivariant quantum neural networks. Our theory provides, for the first time, the ability to compute the exact variance of the gradient of the cost function of the quantum compound ansatz, under mixing conditions that we prove are commonplace.

On gauge Poisson brackets with prescribed symmetry

Abstract In the context of averaging method, we describe a reconstruction of invariant connection-dependent Poisson structures from canonical actions of compact Lie groups on fibered phase spaces. Some symmetry properties of Wong's type equations are derived from the main results

A fixed-point formula for Dirac operators on Lie groupoids

We study equivariant families of Dirac operators on the source fibers of a Lie groupoid with a closed space of units and equipped with an action of an auxiliary compact Lie group. We use the Getzler rescaling method to derive a fixed-point formula for the pairing of a trace with the K-theory class of such a family. For the pair groupoid of a closed manifold, our formula reduces to the standard fixed-point formula for the equivariant index of a Dirac operator. Further examples involve foliations and manifolds equipped with a normal crossing divisor.

A height gap in $\mathrm{GL}_{d}(\overline{\mathbb{Q}})$ and almost laws

E. Breuillard showed that finite subsets F of matrices in \mathrm{GL}_d(\overline{\mathbb{Q}}) generating non-virtually solvable groups have normalized height \hat{h}(F)\ge\varepsilon_d , for some positive \varepsilon_{d}>0 . The normalized height \hat{h}(F) is a measure of the arithmetic size of F and this result can be thought of as a non-abelian analog of Lehmer’s Mahler measure problem. We give a new shorter proof of this result. Our key idea relies on the existence of particular word maps in compact Lie groups (known as almost laws) whose image lies close to the identity element.

The nucleus of a compact Lie group, and support of singularity categories

In this paper we adapt the notion of the nucleus defined by Benson, Carlson, and Robinson to compact Lie groups in non-modular characteristic. We show that it describes the singularities of the projective scheme of the cohomology of its classifying space. A notion of support for singularity categories of ring spectra (in the sense of Greenlees and Stevenson) is established, and is shown to be precisely the nucleus in this case, consistent with a conjecture of Benson and Greenlees for finite groups.

Equivariant Topological T-Duality

Topological T-duality is a relationship between pairs (E, P) over a fixed space X, where E→X\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$E \\rightarrow X$$\\end{document} is a principal torus bundle and P→E\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$P \\rightarrow E$$\\end{document} is a twist, such as a gerbe for a principal PU(H)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$PU({\\mathcal {H}})$$\\end{document}-bundle. This is of interest to topologists because of the T-duality transformation: a T-duality relation between pairs (E, P) and (E^,P^)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$({\\hat{E}}, {\\hat{P}})$$\\end{document} comes with an isomorphism (with degree shift) between the twisted K-theory of E and the twisted K-theory of E^\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$${\\hat{E}}$$\\end{document}. We formulate topological T-duality for circle bundles in the equivariant setting, following the definition of Bunke, Rumpf, and Schick. We define the T-duality transformation in equivariant K-theory and show that it is an isomorphism for all compact Lie groups, equal to its own inverse and uniquely characterized by naturality and a normalization for trivial situations.