Nilpotent Orbits Research Articles

Quotient quiver subtraction

We develop the diagrammatic technique of quiver subtraction to facilitate the identification and evaluation of the SU(n) hyper-Kähler quotient (HKQ) of the Coulomb branch of a 3dN=4 unitary quiver theory. The target quivers are drawn from a wide range of theories, typically classified as “good” or “ugly”, which satisfy identified selection criteria. Our subtraction procedure uses quotient quivers that are “bad”, differing thereby from quiver subtractions based on Kraft-Procesi transitions. The simple diagrammatic procedure identifies one or more resultant quivers, the union of whose Coulomb branches corresponds to the desired HKQ. Examples include quivers whose Coulomb branches are moduli spaces of free fields, closures of nilpotent orbits of classical and exceptional type, and slices in the affine Grassmanian. We calculate the Hilbert Series and Highest Weight Generating functions for HKQ examples of low rank. For certain families of quivers, we are able to conjecture HWGs for arbitrary rank. We examine the commutation relations between quotient quiver subtraction and other diagrammatic techniques, such as Kraft-Procesi transitions, quiver folding, and discrete quotients.

On extensions of the Jacobson–Morozov theorem to even characteristic

AbstractLet be a simple algebraic group over an algebraically closed field of characteristic 2. We consider analogues of the Jacobson–Morozov theorem in this setting. More precisely, we classify those nilpotent elements with a simple 3‐dimensional Lie overalgebra in and also those with overalgebras isomorphic to the algebras and . This leads us to calculate the dimension of the Lie automiser for all nilpotent orbits; in even characteristic this quantity is very sensitive to isogeny.

$\mathfrak{sl}_{2}$ Triples Whose Nilpositive Elements Are in a Space Which Is Spanned by the Real Root Vectors in Rank 2 Symmetric Hyperbolic Kac–Moody Lie Algebras

In analogy with the theory of nilpotent orbits in finite-dimensional semisimple Lie algebras, it is known that the principal \mathfrak{sl}_{2} subalgebras can be constructed in hyperbolic Kac–Moody Lie algebras. We obtained a series of \mathfrak{sl}_{2} subalgebras in rank 2 symmetric hyperbolic Kac–Moody Lie algebras by extending the aforementioned construction. We present this result and also discuss \mathfrak{sl}_{2} modules obtained by the action of the \mathfrak{sl}_{2} subalgebras on the original Lie algebras.

A translation of “classification of four-vectors of an 8-dimensional space”, by Antonyan, L. V., with an appendix by the translator

We give a translation of the entitled paper by Antonyan [Trudy Sem. Vektor. Tenzor. Anal. 20 (1981), pp. 144–161]. We include an appendix that shows how to produce normal forms for each nilpotent orbit.

Bestiary of 6D (1, 0) SCFTs: Nilpotent orbits and anomalies

Many six-dimensional (1, 0) superconformal field theories (SCFTs) are known to fall into families labeled by nilpotent orbits of certain simple Lie algebras. For each of the three infinite series of such families, we show that the anomalies for the continuous zero-form global symmetries of a theory labelled by a nilpotent orbit O of g can be determined from the anomalies of the theory associated to the trivial nilpotent orbit (the parent theory), together with the data of O. In particular, knowledge of the tensor branch field theory is bypassed completely. We show that the known anomalies, previously determined from the geometric/atomic construction, are reproduced by analyzing the Nambu-Goldstone modes inside of the moment map associated to the g flavor symmetry of the parent SCFT. This provides further evidence for the physics underlying the labeling of the SCFTs by nilpotent orbits. We remark on some consequences, such as the reinterpretation of the 6D a-theorem for such SCFTs in terms of group theory. Published by the American Physical Society 2024

Inverse Reduction for Hook-Type W-Algebras

Originating in the work of A.M. Semikhatov and D. Adamović, inverse reductions are embeddings involving W-algebras corresponding to the same Lie algebra but different nilpotent orbits. Here, we show that an inverse reduction embedding between the affine sln+1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathfrak {sl}_{n+1}$$\\end{document} vertex operator algebra and the minimal sln+1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathfrak {sl}_{n+1}$$\\end{document} W-algebra exists. This generalises the realisations for n=1,2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$n=1,2$$\\end{document} in Adamović (Commun Math Phys 366:1025–1067, 2019), Adamović (Math Ann 1–44, 2023). A similar argument is then used to show that inverse reduction embeddings exists between all hook-type sln+1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathfrak {sl}_{n+1}$$\\end{document} W-algebras, which includes the principal/regular, subregular, minimal sln+1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathfrak {sl}_{n+1}$$\\end{document} W-algebras, and the affine sln+1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathfrak {sl}_{n+1}$$\\end{document} vertex operator algebra. This generalises the regular-to-subregular inverse reduction of Fehily (Commun Contemp Math 2250049, 2022), and similarly uses free-field realisations and their associated screening operators.

Unipotent Representations, Theta Correspondences, and Quantum Induction

In this paper, we construct unipotent representations for the real orthagonal groups and the metaplectic groups in the sense of Vogan. Our construction is based on quantum induction which involves the compositions of even number of theta correspondences. In particular, our results imply that there are irreducible unitary representations attached to each special nilpotent orbit.

Singular contact varieties

In this note we propose the generalization of the notion of a holomorphic contact structure on a manifold (smooth variety) to varieties with rational singularities and prove basic properties of such objects. Natural examples of singular contact varieties come from the theory of nilpotent orbits: every projectivization of the closure of a nilpotent orbit in a semisimple Lie algebra satisfies our definition after normalization. We show the correspondence between symplectic varieties with the structure of a C∗\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathbb {C}^*$$\\end{document}-bundle and the contact ones along with the existence of stratification à la Kaledin. In the projective case we demonstrate the equivalence between crepant and contact resolutions of singularities, show the uniruledness and give a full classification of projective contact varieties in dimension 3.

Jordan structures of nilpotent matrices in the centralizer of a nilpotent matrix with two Jordan blocks of the same size

In this paper we characterize all nilpotent orbits under the action by conjugation that intersect the nilpotent centralizer of a nilpotent matrix B consisting of two Jordan blocks of the same size. We list all the possible Jordan canonical forms of the nilpotent matrices that commute with B by characterizing the corresponding partitions.

The number of multiplicity-free primitive ideals associated with the rigid nilpotent orbits

The number of multiplicity-free primitive ideals associated with the rigid nilpotent orbits

Singularities of nilpotent Slodowy slices and collapsing levels of W-algebras

Abstract We develop techniques to construct isomorphisms between simple affine W-algebras and affine vertex algebras at admissible levels. We then apply these techniques to obtain many new, and conjecturally all, admissible collapsing levels for affine W-algebras. In short, if a simple affine W-algebra at a given level is equal to its affine vertex subalgebra generated by the centraliser of an ${\mathfrak {sl}}_2$ -triple associated with the underlying nilpotent orbit, then that level is said to be collapsing. Collapsing levels are important both in representation theory and in theoretical physics. Our approach relies on two fundamental invariants of vertex algebras. The first one is the associated variety, which, in the context of admissible level simple affine W-algebras, leads to the Poisson varieties known as nilpotent Slodowy slices. We exploit the singularities of these varieties to detect possible collapsing levels. The second invariant is the asymptotic datum. We prove a general result asserting that, under appropriate hypotheses, equality of asymptotic data implies isomorphism at the level of vertex algebras. Then we use this to give a sufficient criterion, of combinatorial nature, for an admissible level to be collapsing. Our methods also allow us to study isomorphisms between quotients of W-algebras and extensions of simple affine vertex algebras at admissible levels. Based on such examples, we are led to formulate a general conjecture: for any finite extension of vertex algebras, the induced morphism between associated Poisson varieties is dominant.

Minimal set of generators of ideals defining nilpotent orbit closures

Over a field of characteristic 0 0 , we construct a minimal set of generators of the defining ideals of closures of nilpotent conjugacy class in the set of n × n n \times n matrices. This modifies a conjecture of Weyman and provides a complete answer to it.

Homotopy type of the nilpotent orbits in classical Lie algebras

Homotopy type of the nilpotent orbits in classical Lie algebras

The Enhanced Period Map and Equivariant Deformation Quantizations of Nilpotent Orbits

The Enhanced Period Map and Equivariant Deformation Quantizations of Nilpotent Orbits

Limiting mixed Hodge structures on the relative log de Rham cohomology groups of a projective semistable log smooth degeneration

We prove that the relative log de Rham cohomology groups of a projective semistable log smooth degeneration admit a natural limiting mixed Hodge structure. More precisely, we construct a family of increasing filtrations and a family of nilpotent endomorphisms on the relative log de Rham cohomology groups and show that they satisfy a part of good properties of a nilpotent orbit in several variables.

Projections of the minimal nilpotent orbit in a simple Lie algebra and secant varieties

AbstractLet G be a simple algebraic group with ${\mathfrak g}={\textrm{Lie }} G$ and ${\mathcal O}_{\textsf{min}}\subset{\mathfrak g}$ the minimal nilpotent orbit. For a ${\mathbb Z}_2$ -grading ${\mathfrak g}={\mathfrak g}_0\oplus{\mathfrak g}_1$ , let $G_0$ be a connected subgroup of G with ${\textrm{Lie }} G_0={\mathfrak g}_0$ . We study the $G_0$ -equivariant projections $\varphi\,:\,\overline{{\mathcal O}_{\textsf{min}}}\to {\mathfrak g}_0$ and $\psi:\overline{{\mathcal O}_{\textsf{min}}}\to{\mathfrak g}_1$ . It is shown that the properties of $\overline{\varphi({\mathcal O}_{\textsf{min}})}$ and $\overline{\psi({\mathcal O}_{\textsf{min}})}$ essentially depend on whether the intersection ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1$ is empty or not. If ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1\ne\varnothing$ , then both $\overline{\varphi({\mathcal O}_{\textsf{min}})}$ and $\overline{\psi({\mathcal O}_{\textsf{min}})}$ contain a 1-parameter family of closed $G_0$ -orbits, while if ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1=\varnothing$ , then both are $G_0$ -prehomogeneous. We prove that $\overline{G{\cdot}\varphi({\mathcal O}_{\textsf{min}})}=\overline{G{\cdot}\psi({\mathcal O}_{\textsf{min}})}$ . Moreover, if ${\mathcal O}_{\textsf{min}}\cap{\mathfrak g}_1\ne\varnothing$ , then this common variety is the affine cone over the secant variety of ${\mathbb P}({\mathcal O}_{\textsf{min}})\subset{\mathbb P}({\mathfrak g})$ . As a digression, we obtain some invariant-theoretic results on the affine cone over the secant variety of the minimal orbit in an arbitrary simple G-module. In conclusion, we discuss more general projections that are related to either arbitrary reductive subalgebras of ${\mathfrak g}$ in place of ${\mathfrak g}_0$ or spherical nilpotent G-orbits in place of ${\mathcal O}_{\textsf{min}}$ .

On the Notion of Metaplectic Barbasch–Vogan Duality

Abstract In analogy with the Barbasch–Vogan duality for real reductive linear groups, we introduce a duality notion useful for the representation theory of the real metaplectic groups. This is a map on the set of nilpotent orbits in a complex symplectic Lie algebra, whose range consists of the so-called metaplectic special nilpotent orbits. We relate this duality notion with the theory of primitive ideals and extend the notion of special unipotent representations to the real metaplectic groups. We also interpret the duality map in terms of double cells of Weyl group representations.

Local and multilinear noncommutative de Leeuw theorems

Let Γ<G\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma < G$$\\end{document} be a discrete subgroup of a locally compact unimodular group G. Let m∈Cb(G)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$m\\in C_b(G)$$\\end{document} be a p-multiplier on G with 1≤p<∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$1 \\le p < \\infty $$\\end{document} and let Tm:Lp(G^)→Lp(G^)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$T_{m}: L_p({\\widehat{G}}) \\rightarrow L_p({\\widehat{G}})$$\\end{document} be the corresponding Fourier multiplier. Similarly, let Tm|Γ:Lp(Γ^)→Lp(Γ^)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$T_{m \\vert _\\Gamma }: L_p({\\widehat{\\Gamma }}) \\rightarrow L_p({\\widehat{\\Gamma }})$$\\end{document} be the Fourier multiplier associated to the restriction m|Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$m|_{\\Gamma }$$\\end{document} of m to Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma $$\\end{document}. We show that c(supp(m|Γ))‖Tm|Γ:Lp(Γ^)→Lp(Γ^)‖≤‖Tm:Lp(G^)→Lp(G^)‖,\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\begin{aligned} c( {{\\,\ extrm{supp}\\,}}( m|_{\\Gamma } ) ) \\Vert T_{m \\vert _\\Gamma }: L_p({\\widehat{\\Gamma }}) \\rightarrow L_p({\\widehat{\\Gamma }}) \\Vert \\le \\Vert T_{m }: L_p({\\widehat{G}}) \\rightarrow L_p({\\widehat{G}}) \\Vert , \\end{aligned}$$\\end{document}for a specific constant 0≤c(U)≤1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$0 \\le c(U) \\le 1$$\\end{document} that is defined for every U⊆Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$U \\subseteq \\Gamma $$\\end{document}. The function c quantifies the failure of G to admit small almost Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma $$\\end{document}-invariant neighbourhoods and can be determined explicitly in concrete cases. In particular, c(Γ)=1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$c(\\Gamma ) =1$$\\end{document} when G has small almost Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma $$\\end{document}-invariant neighbourhoods. Our result thus extends the de Leeuw restriction theorem from Caspers et al. (Forum Math Sigma 3(e21):59, 2015) as well as de Leeuw’s classical theorem (Ann Math 81(2):364–379, 1965). For real reductive Lie groups G we provide an explicit lower bound for c in terms of the maximal dimension d of a nilpotent orbit in the adjoint representation. We show that c(BρG)≥ρ-d/4\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$c(B_\\rho ^G) \\ge \\rho ^{-d/4}$$\\end{document} where BρG\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$B_\\rho ^G$$\\end{document} is the ball of g∈G\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$g\\in G$$\\end{document} with ‖Adg‖<ρ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Vert {{\\,\ extrm{Ad}\\,}}_g \\Vert < \\rho $$\\end{document}. We further prove several results for multilinear Fourier multipliers. Most significantly, we prove a multilinear de Leeuw restriction theorem for pairs Γ<G\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma <G$$\\end{document} with c(Γ)=1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$c(\\Gamma ) = 1$$\\end{document}. We also obtain multilinear versions of the lattice approximation theorem, the compactification theorem and the periodization theorem. Consequently, we are able to provide the first examples of bilinear multipliers on nonabelian groups.

Admissible representations of simple affine vertex algebras

We provide an explicit combinatorial description of highest weights of simple highest weight modules over the simple affine vertex algebra Lκ(sln+1) with n∈N of admissible level κ. For admissible simple highest weight modules corresponding to the principal, subregular and maximal parabolic nilpotent orbits we give a realization using the Gelfand–Tsetlin theory, which also allows us to obtain a realization of certain classes of simple admissible sl2-induced modules in these orbits. In particular, simple admissible sl2-induced modules are fully classified for the principal nilpotent orbit.

Poisson brackets for some Coulomb branches

We construct Poisson bracket relations between the operators which generate the chiral ring of the Coulomb branch of certain 3d mathcal{N} = 4 quiver gauge theories. In the case where the Coulomb branch is a free space, ADE Klein singularity, or the minimal A2 nilpotent orbit, we explicitly compute the Poisson brackets between the generators using either inherited properties of the abstract Coulomb branch variety, or the expected charges of these operators under the global symmetry (known through use of the monopole formula). We also conjecture Poisson brackets for Higgs branches that originate from 6d theories with tensionless strings or 5d theories with massless instantons for which the HWG is known, based on representation theoretic and operator content constraints known from the study of their magnetic quiver.