Let $\frak g$ be a simple finite-dimensional Lie algebra over an algebraically closed field $\mathbb F$ of characteristic 0. We denote by $\operatorname{U}(\frak g)$ the universal enveloping algebra of $\frak g$. To any nilpotent element $e\in \frak g$ one can attach an associative (and noncommutative as a general rule) algebra $\operatorname{U}({\frak g},~e)$ which is in a proper sense a "tensor factor" of $\operatorname{U}(\frak g)$. In this article we consider the case in which $\frak g$ is simple and $e$ belongs of the minimal nonzero nilpotent orbit of $\frak g$. Under these assumptions $\operatorname{U}({\frak g}, e)$ was described explicitly in terms of generators and relations. One can expect that the representation theory of $\operatorname{U}({\frak g}, e)$ would be very similar to the representation theory of $\operatorname{U}(\frak g)$. For example one can guess that the category of finite-dimensional $\operatorname{U}({\frak g}, e)$-modules is semisimple.
The goal of this article is to show that this is the case if $\frak g$ is not simply-laced. We also show that, if $\frak g$ is simply-laced and is not of type $A_n$, then the regular block of finite-dimensional $\operatorname{U}({\frak g}, e)$-modules is equivalent to the category of finite-dimensional modules of a zigzag algebra.
The main goal of this paper is to compute $μ(\g)$ and $μ_{nil}(\g)$ for each nilpotent Lie algebra $\g$ of dimension 6 over a field of characteristic zero $\k$. Here $μ(\g)$ and $μ_{nil}(\g)$ is the minimal dimension of a faithful representation of $\g$ and the minimal dimension of a faithful nilrepresentation of $\g$, respectively. We also give a minimal faithful representation and nilrepresentation for each nilpotent Lie algebra of dimension $\leq 6$.
We show that the dimension of the minimal nilpotent coadjoint orbit for a complex simple Lie algebra is equal to twice the dual Coxeter number minus two.
We describe Springer fibers corresponding to the minimal and minimal special nilpotent orbits of simple Lie algebras. As a result, we give an answer to the conjecture of Humphreys regarding some graphs attached to Springer fibers.
We check that the statement of Hikita conjecture holds for the case of the minimal nilpotent orbit of a simple Lie algebra $\mathfrak{g}$ of type ADE and $\mathbb{C} ^2 / Γ$.
Given a finite dimensional Lie algebra $\mathfrak{g}$, let $\mathfrak{z}(\mathfrak{g})$ denote the center of $\mathfrak{g}$ and let $μ(\mathfrak{g})$ be the minimal possible dimension for a faithful representation of $\mathfrak{g}$. In this paper we obtain $μ(\mathcal{L}_{r,2})$, where $\mathcal{L}_{r,k}$ is the free $k$-step nilpotent Lie algebra of rank $r$. In particular we prove that $μ(\mathcal{L}_{r,2})= \left\lceil \sqrt{2r(r-1)} \right\rceil + 2$ for $r \geq 4$. It turns out that $μ(\mathcal{L}_{r,2}) \simμ\big(\mathfrak{z}(\mathcal{L}_{r,2})\big) \sim 2\sqrt{\dim\mathcal{L}_{r,2}} $ (…
We classify completely prime primitive ideals whose associated varieties are the closure of the minimal nilpotent orbit of $\mathfrak{g}=\mathfrak{sl}(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.
We explicitly construct, in terms of Gelfand--Tsetlin tableaux, a new family of simple positive energy representations for the simple affine vertex algebra V_k(sl_{n+1}) in the minimal nilpotent orbit of sl_{n+1}. These representations are quotients of induced modules over the affine Kac-Moody algebra of sl_n+1 and include in particular all admissible simple highest weight modules and all simple modules induced from sl_2. Any such simple module in the minimal nilpotent orbit has bounded weight multiplicities.
We show that the Hilbert series of the projective variety $X=P(O_{min}),$ corresponding to the minimal nilpotent orbit $\mathcal O_{min},$ is universal in the sense of Vogel: it is written uniformly for all simple Lie algebras in terms of Vogel's parameters $α,β,γ$ and represents a special case of the generalized hypergeometric function ${}_{4}F_{3}.$ A universal formula for the degree of $X$ is then deduced.
n this paper we study ad-nilpotent ideals of a complex simple Lie algebra $\ccg$ and their connections with affine Weyl groups and nilpotent orbits. We define a left equivalence relation for ad-nilpotent ideals based on their normalizer and generators, and prove that the equivalence relation is compatible with the left cell structure of affine Weyl group of $\ccg$ and Lusztig's star operator for type $\tilde A_{n-1}$.
We compute the integral cohomology of the minimal non-trivial nilpotent orbit in a complex simple (or quasi-simple) Lie algebra. We find by a uniform approach that the middle cohomology group is isomorphic to the fundamental group of the sub-root system generated by the long simple roots. The modulo $\ell$ reduction of the Springer correspondent representation involves the sign representation exactly when $\ell$ divides the order of this cohomology group. The primes dividing the torsion of the rest of the cohomology are bad primes.
We derive explicit formulas for lambda-brackets of the affine classical W-algebras attached to the minimal and short nilpotent elements of any simple Lie algebra g. This is used to compute explicitly the first non-trivial PDE of the corresponding intgerable generalized Drinfeld-Sokolov hierarchies. It turns out that a reduction of the equation corresponding to a short nilpotent is Svinolupov's equation attached to a simple Jordan algebra, while a reduction of the equation corresponding to a minimal nilpotent is an integrable Hamiltonian equation on 2h-3 functions, where h is the dual Coxeter n…
In this paper, we begin a quantization program for nilpotent orbits of a real semisimple Lie group. These orbits and their covers generalize the symplectic vector space. A complex structure polarizing the orbit and invariant under a maximal compact subgroup is provided by the Kronheimer-Vergne Kaehler structure. We outline a geometric program for quantizing the orbit with respect to this polarization. We work out this program in detail for minimal nilpotent orbits in the non-Hermitian case. The Hilbert space of quantization consists of holomorphic half-forms on the orbit. We construct the repr…
We study general properties of quantisations of Slodowy slices and discuss in detail the case of the minimal nilpotent orbit. Associated varieties of related primitive ideals of U(g) are determined, in the general case, and the de Vos-van Driel conjecture on Verma modules for finite W-algebras is proved in the minimal nilpotent case.
For a connected, simply-connected complex simple algebraic group $G$, we examine a class of Hessenberg varieties associated with the minimal nilpotent orbit. In particular, we compute the Poincaré polynomials and irreducible components of these varieties in Lie type $A$. Furthermore, we show these Hessenberg varieties to be GKM with respect to the action of a maximal torus $T\subseteq G$. The corresponding GKM graphs are then explicitly determined. Finally, we present the ordinary and $T$-equivariant cohomology rings of our varieties as quotients of those of the flag variety.
A connection between minimal nilpotent orbits of types A and D via Hamiltonian reduction
State Key Laboratory of Mathematical Sciences, Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）；Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
Let us fix a complex simple Lie algebra and its non-compact real form. This paper focuses on non-zero adjoint nilpotent orbits in the complex simple Lie algebra meeting the real form. We show that the poset consisting of such nilpotent orbits equipped with the closure ordering has the minimum. Furthermore, we determine such the minimum orbit in terms of the Dynkin--Kostant classification even in the cases where the orbit does not coincide with the minimal nilpotent orbit in the complex simple Lie algebra. We also prove that the intersection of the orbit and the real form is the union of all mi…
In this note we investigate the normality of closures of orthogonal and symplectic nilpotent orbits in positive characteristic. We prove that the closure of such a nilpotent orbit is normal provided that neither type d nor type e minimal irreducible degeneration occurs in the closure, and conversely if the closure is normal, then any type e minimal irreducible degeneration does not occur in it. Here, the minimal irreducible degenerations of a nilpotent orbit are introduced by W. Hesselink in [6] (or see [11] from which we take Table 1 for the complete list of all minimal irreducible degenerati…
In this article, we construct a non-commutative crepant resolution (=NCCR) of a minimal nilpotent orbit closure $\overline{B(1)}$ of type A, and study relations between an NCCR and crepant resolutions $Y$ and $Y^+$ of $\overline{B(1)}$. More precisely, we show that the NCCR is isomorphic to the path algebra of the double Beilinson quiver with certain relations and we reconstruct the crepant resolutions $Y$ and $Y^+$ of $\overline{B(1)}$ as moduli spaces of representations of the quiver. We also study the Kawamata-Namikawa's derived equivalence between crepant resolutions $Y$ and $Y^+$ of $\ove…
We prove a refinement of Ado's theorem for Lie algebras over an algebraically-closed field of characteristic zero. We first define what it means for a Lie algebra $L$ to be approximated with a nilpotent ideal, and we then use such an approximation to construct a faithful representation of $L$. The better the approximation, the smaller the degree of the representation will be. We obtain, in particular, explicit and combinatorial upper bounds for the minimal degree of a faithful $L$-representation. The proofs use the universal enveloping algebra of Poincaré-Birkhoff-Witt and the almost-algebraic…
The algebra of GL_n-invariants of d-tuple of n x n nilpotent matrices with respect to the action by simultaneous conjugation is generated by the traces of products of nilpotent generic matrices in the case of an algebraically closed field of characteristic zero. We described a minimal separating set for this algebra in case n=d=3.
In the late 1980s, Premet conjectured that the nilpotent variety of any finite dimensional restricted Lie algebra over an algebraically closed field of characteristic $p>0$ is irreducible. This conjecture remains open, but it is known to hold for a large class of simple restricted Lie algebras, e.g. for Lie algebras of connected reductive algebraic groups, and for Cartan series $W, S$ and $H$. In this paper, with the assumption that $p>3$, we confirm this conjecture for the minimal $p$-envelope $W(1;n)_p$ of the Zassenhaus algebra $W(1;n)$ for all $n\geq 2$.
According to a well-known theorem of Brieskorn and Slodowy, the intersection of the nilpotent cone of a simple Lie algebra with a transverse slice to the subregular nilpotent orbit is a simple surface singularity. At the opposite extremity of the nilpotent cone, the closure of the minimal nilpotent orbit is also an isolated symplectic singularity, called a minimal singularity. For classical Lie algebras, Kraft and Procesi showed that these two types of singularities suffice to describe all generic singularities of nilpotent orbit closures: specifically, any such singularity is either a simple …
The paper presents a new method of geometric solution of a Schrodinger equation by a construction of an equivalent first-order partial differential equation with a bigger number of variables. The equivalent equation shall be restricted to a specific subspace with auxiliary conditions which are obtained from a coherent state transform. The method is applied to the fundamental case of the harmonic oscillator and coherent state transform generated by the minimal nilpotent step three Lie group---the shear group (also known as quartic group in literature). We obtain a geometric solution for an arbi…
We consider aspects of the geometry and topology of nilpotent orbits in finite-dimensional complex simple Lie algebras. In particular, we give the equivariant cohomologies of the regular and minimal nilpotent orbits with respect to the action of a maximal compact torus of the overall group in question.
We propose a systematic and topological study of limits $\lim_{ν\to 0^+}G_\mathbb{R}\cdot(νx)$ of continuous families of adjoint orbits for non-compact simple Lie groups. This limit is always a finite union of nilpotent orbits. We describe explicitly these nilpotent orbits in terms of Richardson orbits in the case of hyperbolic semisimple elements. We also show that one can approximate minimal nilpotent orbits or even nilpotent orbits by elliptic semisimple orbits. The special cases of $\mathrm{SL}_n(\mathbb{R})$ and $\mathrm{SU}(p,q)$ are computed in detail.
Consider the maximal nilpotent subalgebra $n_+(A_1^{(1)})$ of the simplest affine algebra $A_1^{(1)}$ which is one of the $\mathbb{N}$-graded Lie algebras with minimal number of generators. We show truncated versions of this algebra in positive characteristic admit the structure of a family of restricted Lie algebras. We compute the ordinary and restricted 1- and 2-cohomology spaces with trivial coefficients by giving bases. With these we explicitly describe the restricted 1-dimensional central extensions.
Let $G$ be a simple algebraic group with $\mathfrak g=\mathsf{Lie} G$ and $\mathcal O_{\sf 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 $\mathsf{Lie} G_0=\mathfrak g_0$. We study the $G_0$-equivariant projections $φ:\overline{\mathcal O_{\sf min}}\to \mathfrak g_0$ and $ψ:\overline{\mathcal O_{\sf min}}\to\mathfrak g_1$. It is shown that the properties of $\overline{φ(\mathcal O_{\sf min})}$ and $\overline{ψ(\mathcal O_{\sf min})}$ essentially depend on whether the …
We construct a unique G-equivariant graded star product on the algebra $S(g)/I$ of polynomial functions on the minimal nilpotent coadjoint orbit $\Omin$ of G where G is a complex simple Lie group and $g\neq\sl_2(C)$. This strengthens the result of Arnal, Benamor, and Cahen. Our main result is to compute, for G classical, the star product of a momentum function $μ_x$ with any function f. We find $μ_x\star f=μ_xf+\half\{μ_x,f\}t+Λ^x(f)t^2$. For $\g$ different from $sp_n(\C)$, $Λ^x$ is not a differential operator. Instead $\Lamda^x$ is the left quotient of an explicit order 4 algebraic differenti…
In a recent paper we found conditions for a nilpotent Lie group $N$ to have a filtration by normal subgroups whose successive quotients have square integrable representations, and such that these square integrable representations fit together nicely to give an explicit construction of Plancherel almost all representations of $N$. That resulted in explicit character formulae, Plancherel formulae and multiplicity formulae. We also showed that nilradicals $N$ of minimal parabolic subgroups $P = MAN$ enjoy that "stepwise square integrable" property. Here we extend those results to direct limits of…
In this paper we present a lower bound for the minimal dimension $μ(\mathfrak{n})$ of a faithful representation of a finite dimensional $p$-step nilpotent Lie algebra $\mathfrak{n}$ over a field of characteristic zero. Our bound is given as the minimum of a quadratically constrained linear optimization problem, it works for arbitrary $p$ and takes into account a given filtration of $\mathfrak{n}$. We present some estimates of this minimum which leads to a very explicit lower bound for $μ(\mathfrak{n})$ that involves the dimensions of $\mathfrak{n}$ and its center. This bound allows us to obtai…
We consider a lifting of Joseph ideals for the minimal nilpotent orbit closure to the setting of affine Kac-Moody algebras and find new examples of affine vertex algebras whose associated varieties are minimal nilpotent orbit closures. As an application we obtain a new family of lisse ($C_2$-cofinite) W-algebras that are not coming from admissible representations of affine Kac-Moody algebras.
Let $G$ be a real simple Lie group, $\got g$ its Lie algebra. Given a nilpotent adjoint $G$-orbit $O$, the question is to determine the irreducible unitary representations of $G$ that we can associate to $O$, according to the orbit method. P.Torasso, in [22], gave a method to solve this problem if $O$ is minimal. In this paper, we study the case where $O$ is any spherical nilpotent orbit of $sl_n({\mathbb R})$, we construct, from $O$, a family of representations of the two-sheeted covering of $SL_n({\mathbb R})$ with Torasso's method and, finally, we show that all these representations are ass…
Let $\mathfrak{g}=\mathfrak{g}_{\bar 0}+\mathfrak{g}_{\bar 1}$ be a basic Lie superalgebra over $\mathbb{C}$, and $e$ a minimal nilpotent element in $\mathfrak{g}_{\bar 0}$. Set $W_χ'$ to be the refined $W$-superalgebra associated with the pair $(\mathfrak{g},e)$, which is called a minimal $W$-superalgebra. In this paper we present a set of explicit generators of minimal $W$-superalgebras and the commutators between them. In virtue of this, we show that over an algebraically closed field $\mathds{k}$ of characteristic $p\gg0$, the lower bounds of dimensions in the modular representations of ba…
A left invariant metric on a nilpotent Lie group is called minimal, if it minimizes the norm of the Ricci tensor among all left invariant metrics with the same scalar curvature. Such metrics are unique up to isometry and scaling and the groups admitting a minimal metric are precisely the nilradicals of (standard) Einstein solvmanifolds. If $N$ is endowed with an invariant symplectic, complex or hypercomplex structure, then minimal compatible metrics are also unique up to isometry and scaling. The aim of this paper is to give more evidence of the existence of minimal metrics, by presenting seve…
We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of ${\rm GL}_n(\mathbf{C})$ on the variety of $x$-nilpotent complex matrices and translate it to a representation-theoretic context. We obtain a criterion as to whether the action admits a finite number of orbits and specify a system of representatives for the orbits in the finite case of $2$-nilpotent matrices. Furthermore, we give a set-theoretic description of their closures and specify the minimal degenerations in detail for the action of the Borel subgroup. We show that in all non-finite cases, the correspon…
We prove the rationality of all the minimal series principal W-algebras discovered by Frenkel, Kac and Wakimoto in 1992, thereby giving a new family of rational and C_2-cofinite vertex operator algebras. A key ingredient in our proof is the study of Zhu's algebra of simple W-algebras via the quantized Drinfeld-Sokolov reduction. We show that the functor of taking Zhu's algebra commutes with the reduction functor. Using this general fact we determine the maximal spectrums of the associated graded of Zhu's algebra of all the admissible affine vertex algebras as well.
We investigate the automorphism group of the quantised enveloping algebra U of the positive nilpotent part of certain simple complex Lie algebras g in the case where the deformation parameter q \in \mathbb{C}^* is not a root of unity. Studying its action on the set of minimal primitive ideals of U we compute this group in the cases where g=sl_3 and g=so_5 confirming a Conjecture of Andruskiewitsch and Dumas regarding the automorphism group of U. In the case where g=sl_3, we retrieve the description of the automorphism group of the quantum Heisenberg algebra that was obtained independently by A…
We use affine W-algebras to quantize Mishchenko-Fomenko subalgebras for centralizers of nilpotent elements in simple Lie algebras under certain assumptions that are satisfied for all cases in type A and all minimal nilpotent cases outside type $E_8$.
Let $\mathcal{O}$ be a Richardson nilpotent orbit in a simple Lie algebra $\mathfrak{g}$ over $\mathbb C$, induced from a Levi subalgebra whose simple roots are orthogonal short roots. The main result of the paper is a description of a minimal set of generators of the ideal defining $\overline{ \mathcal{O}}$ in $S \mathfrak{g}^*$. In such cases, the ideal is generated by bases of at most two copies of the representation whose highest weight is the dominant short root, along with some fundamental invariants. This extends Broer's result for the subregular nilpotent orbit. Along the way we give a…
We study the minimally supported representations of quantizations of Gieseker moduli spaces. We relate them to $\operatorname{SL}_n$-equivariant D-modules on the nilpotent cone of $\mathfrak{sl}_n$ and to minimally supported representations of type A rational Cherednik algebras. Our main result is character formulas for minimally supported representations of quantized Gieseker moduli spaces.
We study the conditions for a nilpotent Lie group to be foliated into subgroups that have square integrable (relative discrete series) unitary representations, that fit together to form a filtration by normal subgroups. Then we use that filtration to construct a class of "stepwise square integrable" representations on which Plancherel measure is concentrated. Further, we work out the character formulae for those stepwise square integrable representations, and we give an explicit Plancherel formula. Next, we use some structure theory to check that all these constructions and results apply to ni…
The index of a complex Lie algebra is the minimal codimension of its coadjoint orbits. Let us suppose $\g$ semisimple, then its index, ${\rm ind} \g$, is equal to its rank, ${\rm rk \g}$. The goal of this paper is to establish a simple general formula for the index of $\n(\g^ξ)$, for $ξ$ nilpotent, where $\n(\g^ξ)$ is the normaliser in $\g$ of the centraliser $\g^ξ$ of $ξ$. More precisely, we have to show the following result, conjectured by D. Panyushev \cite{Panyushev} : $${\rm ind} \n(\g^ξ) = {\rm rk \g}-\dim \z(\g^ξ),$$ where $\z(\g^ξ)$ is the center of $\g^ξ$. D. Panyushev obtained in \ci…
