Coadjoint Orbits Research Articles

Representation of real solvable Lie algebras having 2-dimensional derived ideal and geometry of coadjoint orbits of corresponding Lie groups

Let Lie ([Formula: see text]) be the class of all [Formula: see text]-dimensional real solvable Lie algebras having [Formula: see text]-dimensional derived ideals. In 2020, Le et al. gave a classification of all non-2-step nilpotent Lie algebras of Lie ([Formula: see text], 2). We propose in this paper to study representations of these Lie algebras as well as their corresponding connected and simply connected Lie groups. That is, for each algebra, we give an upper bound of the minimal degree of a faithful representation. Then, we give a geometrical description of coadjoint orbits of corresponding groups. Moreover, we show that the characteristic property of the family of maximal dimensional coadjoint orbits of an MD-group studied by Shum et al. is still true for the Lie groups considered here. Namely, we prove that, for each considered group, the family of the maximal dimensional coadjoint orbits forms a measurable foliation in the sense of Connes. The topological classification of these foliations is also provided.

A note on spectral multipliers on Engel and Cartan groups

The aim of this short note is to give examples of L p L^p - L q L^q bounded spectral multipliers for operators involving left-invariant vector fields and their inverses, in the settings of Engel and Cartan groups. The interest in such examples lies in the fact that a group does not have to have flat co-adjoint orbits, and that the considered operator is not related to the usual sub-Laplacian. The discussed examples show how one can still obtain L p L^p - L q L^q estimates for similar operators in such settings. As immediate consequences, one gets the corresponding Sobolev-type inequalities and heat kernel estimates.

Complexity for Conformal Field Theories in General Dimensions.

We study circuit complexity for conformal field theory states in an arbitrary number of dimensions. Our circuits start from a primary state and move along a unitary representation of the Lorentzian conformal group. Different choices of distance functions can be understood in terms of the geometry of coadjoint orbits of the conformal group. We explicitly relate our circuits to timelike geodesics in anti-de Sitter space and the complexity metric to distances between these geodesics. We extend our method to circuits in other symmetry groups using a group theoretic generalization of the notion of coherent states.

Spinning particles, coadjoint orbits and Hamiltonian formalism

The extensive analysis of the dynamics of relativistic spinning particles is presented. Using the coadjoint orbits method the Hamiltonian dynamics is explicitly described. The main technical tool is the factorization of general Lorentz transformation into pure boost and rotation. The equivalent constrained dynamics on Poincare group (viewed as configuration space) is derived and complete classification of constraints is performed. It is shown that the first class constraints generate local symmetry corresponding to the stability subgroup of some point on coadjoint orbit. The Dirac brackets for second class constraints are computed. Finally, canonical quantization is performed leading to infinitesimal form of irreducible representations of Poincare group.

Reflections on Virasoro circuit complexity and Berry phase

Recently, the notion of circuit complexity defined in symmetry group manifolds has been related to geometric actions which generally arise in the coadjoint orbit method in representation theory and play an important role in geometric quantization. On the other hand, it is known that there exists a precise relation between geometric actions and Berry phases defined in group representations. Motivated by these connections, we elaborate on a relation between circuit complexity and the group theoretic Berry phase. As the simplest setup relevant for holography, we discuss the case of two dimensional conformal field theories. In the large central charge limit, we identify the computational cost function with the Berry connection in the unitary representation of the Virasoro group. We then use the latter identification to express the Berry phase in terms of the Virasoro circuit complexity. The former can be seen as the holonomy of the Berry connection along the path in the group manifold which defines the protocol. In addition, we derive a proportionality relation between Virasoro circuit complexity and the logarithm of the inner product between a particularly chosen reference state and the prepared target state. In this sense, the logarithmic formula turns out to be approximating the complexity up to some additive constant if the building blocks of the circuit are taken to be the underlying symmetry gates. Predictions based on this formula have recently been shown to coincide with the holographic complexity proposals and the path integral optimization procedure. The found connections may therefore help to better understand such coincidences. We also discuss that our findings, put together with earlier observations, may suggest a connection between the Virasoro Berry phase and the complexity measure in the path integral optimization proposal.

Deformations of symplectic singularities and orbit method for semisimple Lie algebras

We classify filtered quantizations of conical symplectic singularities and use this to show that all filtered quantizations of symplectic quotient singularities are spherical symplectic reflection algebras of Etingof and Ginzburg. We further apply our classification and a classification of filtered Poisson deformations obtained by Namikawa to establish a version of the Orbit method for semisimple Lie algebras. Namely, we produce a natural map from the set of coadjoint orbits of a semisimple algebraic group to the set of primitive ideals in the universal enveloping algebra. We show that the map is injective for classical Lie algebras and conjecture that in that case the image consists of the primitive ideals corresponding to one-dimensional representations of W-algebras. Along the way, we get several new results on the Lusztig-Spaltenstein induction for coadjoint orbits.

Hamiltonian Carleman approximation and the density property for coadjoint orbits

For a complex Lie group $G$ with a real form $G_0\subset G$, we prove that any Hamiltionian automorphism $\phi$ of a coadjoint orbit $\mathcal O_0$ of $G_0$ whose connected components are simply connected, may be approximated by holomorphic $\mathcal O_0$-invariant symplectic automorphism of the corresponding coadjoint orbit of $G$ in the sense of Carleman, provided that $\mathcal O$ is closed. In the course of the proof, we establish the Hamiltonian density property for closed coadjoint orbits of all complex Lie groups.

Classification of Irreducible (𝔤, 𝔨)-Modules Associated to the Ideals of Minimal Nilpotent Orbits for Simple Lie Groups of TypeA

AbstractWe classify completely prime primitive ideals whose associated varieties are the closure of the minimal nilpotent coadjoint orbit for $\mathfrak {g}=\mathfrak {s}\mathfrak {l}(n,\mathbb {C})$ and classify irreducible $(\mathfrak {g},\mathfrak {k})$-modules, which have those ideals as annihilators. Moreover, we irreducibly decompose them as $\mathfrak {k}$-modules.

Strict quantization of coadjoint orbits

For every semisimple coadjoint orbit \hat{\mathcal{O}} of a complex connected semisimple Lie group \hat{G} , we obtain a family of \hat{G} -invariant products \hat{*}_\hbar on the space of holomorphic functions on \hat{\mathcal{O}} . For every semisimple coadjoint orbit \mathcal{O} of a real connected semisimple Lie group G , we obtain a family of G -invariant products *_\hbar on a space \mathcal{A}(\mathcal{O}) of certain analytic functions on \mathcal{O} by restriction. \mathcal{A}(\mathcal{O}) , endowed with one of the products *_\hbar , is a G -Fréchet algebra, and the formal expansion of the products around \hbar=0 determines a formal deformation quantization of \mathcal{O} , which is of Wick type if G is compact. Our construction relies on an explicit computation of the canonical element of the Shapovalov pairing between generalized Verma modules and complex analytic results on the extension of holomorphic functions.

Complexity from spinning primaries

We define circuits given by unitary representations of Lorentzian conformal field theory in 3 and 4 dimensions. Our circuits start from a spinning primary state, allowing us to generalize formulas for the circuit complexity obtained from circuits starting from scalar primary states. These results are nicely reproduced in terms of the geometry of coadjoint orbits of the conformal group. In contrast to the complexity geometry obtained from scalar primary states, the geometry is more complicated and the existence of conjugate points, signaling the saturation of complexity, remains open.

Foliations Formed by Generic Coadjoint Orbits of a Class of Real Seven-Dimensional Solvable Lie Groups

In this paper, we consider exponential, connected and simply connected Lie groups which are corresponding to seven-dimensional Lie algebras such that their nilradical is a five-dimensional nilpotent Lie algebra $\mathfrak{g}_{5,2}$ given in Table~\ref{tab1}. In particular, we give a description of the geometry of the generic orbits in the coadjoint representation of some considered Lie groups. We prove that, for each considered group, the family of the generic coadjoint orbits forms a measurable foliation in the sense of Connes. The topological classification of these foliations is also provided.

A bound on chaos from stability

We explore the quantum chaos of the coadjoint orbit action of diffeomorphism group of S1. We study quantum fluctuation around a saddle point to evaluate the soft mode contribution to the out-of-time-ordered correlator. We show that the stability condition of the semi-classical analysis of the coadjoint orbit found in [1] leads to the upper bound on the Lyapunov exponent which is identical to the bound on chaos proven in [2]. The bound is saturated by the coadjoint orbit Diff(S1)/SL(2) while the other stable orbit Diff(S1)/U(1) where the SL(2, ℝ) is broken to U(1) has non-maximal Lyapunov exponent.

Generalizations of parabolic Higgs bundles, real structures, and integrability

We introduce a notion of quasi-antisymmetric Higgs $G$-bundles over curves with marked points. They are endowed with additional structures, which replace the parabolic structures at marked points in the parabolic Higgs bundles. The latter means that the coadjoint orbits are attached to the marked points. The moduli spaces of parabolic Higgs bundles are the phase spaces of complex completely integrable systems. In our case the coadjoint orbits are replaced by the cotangent bundles over some special symmetric spaces in such a way that the moduli space of the modified Higgs bundles are still phase spaces of complex completely integrable systems. We show that the moduli space of the parabolic Higgs bundles is the symplectic quotient of the moduli space of the quasi-antisymmetric Higgs bundle with respect to the action of product of Cartan subgroups. Also, by changing the symmetric spaces we introduce quasi-compact and quasi-normal Higgs bundles. Then the fixed point sets of real involutions acting on their moduli spaces are the phase spaces of real completely integrable systems. Several examples are given including integrable extensions of the ${\rm SL}(2)$ Euler-Arnold top, two-body elliptic Calogero-Moser system and the rational ${\rm SL}(2)$ Gaudin system together with its real reductions.

3D gravity in a box

The quantization of pure 3D gravity with Dirichlet boundary conditions on a finite boundary is of interest both as a model of quantum gravity in which one can compute quantities which are ``more local" than S-matrices or asymptotic boundary correlators, and for its proposed holographic duality to T\overline{T}TT¯-deformed CFTs. In this work we apply covariant phase space methods to deduce the Poisson bracket algebra of boundary observables. The result is a one-parameter nonlinear deformation of the usual Virasoro algebra of asymptotically AdS_33 gravity. This algebra should be obeyed by the stress tensor in any T\overline{T}TT¯-deformed holographic CFT. We next initiate quantization of this system within the general framework of coadjoint orbits, obtaining — in perturbation theory — a deformed version of the Alekseev-Shatashvili symplectic form and its associated geometric action. The resulting energy spectrum is consistent with the expected spectrum of T\overline{T}TT¯-deformed theories, although we only carry out the explicit comparison to \mathcal{O}(1/\sqrt{c})𝒪(1/c) in the 1/c1/c expansion.

Characters, coadjoint orbits and Duistermaat-Heckman integrals

The asymptotics of characters χkλ(exp⁡(h/k)) of irreducible representations of a compact Lie group G for large values of the scaling factor k are given by Duistermaat-Heckman (DH) integrals over coadjoint orbits of G. This phenomenon generalises to coadjoint orbits of central extensions of loop groups LGˆ and of diffeomorphisms of the circle Diffˆ(S1). We show that the asymptotics of characters of integrable modules of affine Kac-Moody algebras and of the Virasoro algebra factorize into a divergent contribution of the standard form and a convergent contribution which can be interpreted as a formal DH orbital integral.For some Virasoro modules, our results match formal DH integrals recently computed by Stanford and Witten. In this case, the k-scaling has the same origin as the one which gives rise to classical conformal blocks. Furthermore, we consider reduced spaces of Virasoro coadjoint orbits and we suggest a new invariant which replaces symplectic volume in the infinite dimensional situation. We also consider other modules of the Virasoro algebra (in particular, the modules corresponding to minimal models) and we obtain DH-type expressions which do not correspond to any Virasoro coadjoint orbits.We introduce volume functions V(x) corresponding to formal DH integrals over coadjoint orbits of the Virasoro algebra and show that they are related by the Hankel transform to spectral densities ρ(E) recently studied by Saad, Shenker and Stanford.

Gravitational edge modes, coadjoint orbits, and hydrodynamics

The phase space of general relativity in a finite subregion is characterized by edge modes localized at the codimension-2 boundary, transforming under an infinite-dimensional group of symmetries. The quantization of this symmetry algebra is conjectured to be an important aspect of quantum gravity. As a step towards quantization, we derive a complete classification of the positive-area coadjoint orbits of this group for boundaries that are topologically a 2-sphere. This classification parallels Wigner’s famous classification of representations of the Poincaré group since both groups have the structure of a semidirect product. We find that the total area is a Casimir of the algebra, analogous to mass in the Poincaré group. A further infinite family of Casimirs can be constructed from the curvature of the normal bundle of the boundary surface. These arise as invariants of the little group, which is the group of area-preserving diffeomorphisms, and are the analogues of spin. Additionally, we show that the symmetry group of hydrodynamics appears as a reduction of the corner symmetries of general relativity. Coadjoint orbits of both groups are classified by the same set of invariants, and, in the case of the hydrodynamical group, the invariants are interpreted as the generalized enstrophies of the fluid.

Complexity measures in QFT and constrained geometric actions

We study the conditions under which, given a generic quantum system, complexity metrics provide actual lower bounds to the circuit complexity associated to a set of quantum gates. Inhomogeneous cost functions — many examples of which have been recently proposed in the literature — are ruled out by our analysis. Such measures are shown to be unrelated to circuit complexity in general and to produce severe violations of Lloyd’s bound in simple situations. Among the metrics which do provide lower bounds, the idea is to select those which produce the tightest possible ones. This establishes a hierarchy of cost functions and considerably reduces the list of candidate complexity measures. In particular, the criterion suggests a canonical way of dealing with penalties, consisting in assigning infinite costs to directions not belonging to the gate set. We discuss how this can be implemented through the use of Lagrange multipliers. We argue that one of the surviving cost functions defines a particularly canonical notion in the sense that: i) it straightforwardly follows from the standard Hermitian metric in Hilbert space; ii) its associated complexity functional is closely related to Kirillov’s coadjoint orbit action, providing an explicit realization of the “complexity equals action” idea; iii) it arises from a Hamilton-Jacobi analysis of the “quantum action” describing quantum dynamics in the phase space canonically associated to every Hilbert space. Finally, we explain how these structures provide a natural framework for characterizing chaos in classical and quantum systems on an equal footing, find the minimal geodesic connecting two nearby trajectories, and describe how complexity measures are sensitive to Lyapunov exponents.

On Extensions of Canonical Symplectic Structure from Coadjoint Orbit of Complex General Linear Group

On Extensions of Canonical Symplectic Structure from Coadjoint Orbit of Complex General Linear Group

Invariant measures on nilpotent orbits associated with holomorphic discrete series

Let G R G_\mathbb R be a real form of a complex, semisimple Lie group G G . Assume G R G_\mathbb R has holomorphic discrete series. Let W \mathcal W be a nilpotent coadjoint G R G_\mathbb R -orbit contained in the wave front set of a holomorphic discrete series. We prove a limit formula, expressing the canonical measure on W \mathcal W as a limit of canonical measures on semisimple coadjoint orbits, where the parameter of orbits varies over the positive chamber defined by the Borel subalgebra associated with holomorphic discrete series.

Volume formula for N-fold reduced products

Let G be a semisimple compact connected Lie group. An N-fold reduced product of G is the symplectic quotient of the Hamiltonian system of the Cartesian product of N coadjoint orbits of G under diagonal coadjoint action of G. Under appropriate assumptions, it is a symplectic orbifold. Using the technique of nonabelian localization and the residue formula of Jeffrey and Kirwan, we investigate the symplectic volume of an N-fold reduced product of G. Suzuki and Takakura gave a volume formula for the N-fold reduced product of \( \mathbf {SU}(3) \) in [25] by using geometric quantization and the Riemann–Roch formula. We compare our volume formula with theirs and prove that our volume formula agrees with theirs in the case of triple reduced products of \( \mathbf {SU}(3) \).