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}$.
In 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}$.
The paper considers subspaces of the strictly upper triangular matrices, which are stable under Lie bracket with any upper triangular matrix. These subspaces are called ad-nilpotent ideals and there are Catalan number of such subspaces. Each ad-nilpotent ideal meets a unique largest nilpotent orbit in the Lie algebra of all matrices. The main result of the paper is that under an equivalence relation on ad-nilpotent ideals studied by Mizuno and others, the equivalence classes are the ad-nilpotent ideals with the same largest nilpotent orbit. We include two applications of the result, one to the…
It was shown by Cellini and Papi that an ad-nilpotent ideal determines certain element of the affine Weyl group, and that there is a bijection between the ad-nilpotent ideals and the integral points of a simplex with rational vertices. We give a description of the generators of ad-nilpotent ideals in terms of these elements, and show that an ideal has $k$ generators if and only it lies on the face of this simplex of codimension $k$. We also consider two combinatorial statistics on the set of ad-nilpotent ideals: the number of simple roots in the ideal and the number of generators. Considering …
Let $\be$ be a Borel subalgebra of a complex simple Lie algebra $\g$. An ideal of $\be$ is called ad-nilpotent, if it is contained in $[\be,\be]$. We give several descriptions of the normalizer of an ad-nilpotent ideal: using the weight of an ideal, or the affine Weyl group, or a relationship with dominant regions of the Shi arrangement. We also give a description of those ideals whose normalizer is equal to $\be$. For sl(n) and sp(2n), explicit enumerative results are obtained, which demonstrate a connection with some famous integer sequences.
We give formulas for the number of ad-nilpotent ideals of a Borel subalgebra of a Lie algebra of type B or D containing a fixed number of root spaces attached to simple roots. This result solves positively a conjecture of Panyushev (cf. D. Panyushev, ad-nilpotent ideals: generators and duality, J. of Alg., to appear) and affords a complete knowledge of the above statistics for any simple Lie algebra. We also study the restriction of the above statistics to the abelian ideals of a Borel subalgebra, obtaining uniform results for any simple Lie algebra.
We consider ad-nilpotent ideals of a Borel subalgebra of a simple Lie algebra. The goal of this paper is two-fold. First, we study the ad-nilpotent ideals lying inside the Heisenberg ideal. The Heisenberg ideal is the nilpotent radical of the centralizer of the highest root vector. Second, we study the ideals having the property that the corresponding domain of the Shi arrangement consists of a single alcove. Such ideals (and the corresponding elements of the affine Weyl group) are called minimax.
We introduce two polynomials (in $q$) associated with a finite poset $P$ that encode some information on the covering relation in $P$. If $P$ is a distributive lattice, and hence $P$ is isomorphic to the poset of dual order ideals in a poset $L$, then these polynomials coincide and the coefficient of $q$ equals the number of $k$-element antichains in $L$. In general, these two covering polynomials are different, and we introduce a deviation polynomial of $P$, which measures the difference between these two. We then compute all these polynomials in the case, where $P$ is one of the posets assoc…
Using GAP4, we determine the number of ad-nilpotent and abelian ideals of a parabolic subalgebra of a simple Lie algebra of exceptional types E, F or G.
We provide an explicit bijection between the ad-nilpotent ideals of a Borel subalgebra of a simple Lie algebra g and the orbits of \check{Q}/(h+1)\check{Q} under the Weyl group (\check{Q} being the coroot lattice and h the Coxeter number of g). From this result we deduce in a uniform way a counting formula for the ad-nilpotent ideals.
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.
This paper is devoted to a detailed study of certain remarkable posets which form a natural partition of all abelian ideals of a Borel subalgebra. Our main result is a nice uniform formula for the dimension of maximal ideals in these posets. We also obtain results on ad-nilpotent ideals which complete the analysis started in \cite{CP2}, \cite{CP3}.
We extend the results of Cellini-Papi on the characterizations of nilpotent and abelian ideals of a Borel subalgebra to parabolic subalgebras of a simple Lie algebra. These characterizations are given in terms of elements of the affine Weyl group and faces of alcoves. In the case of a parabolic subalgebra of a classical Lie algebra, we give formulas for the number of these ideals.
In this paper, we give upper bounds for the index of the quotient of the Borel subalgebra of a simple Lie algebra or its nilpotent radical by an ad-nilpotent ideal. For the nilpotent radical quotient, our bound is a generalization of the formula for the index given by Panov in the type A case. In general, this bound is not exact. Using results from Panov, we show that the upper bound for the Borel quotient is exact in the type $A$ case, and we conjecture that it is exact in general.
Let $G$ be a nilpotent-by-finite compact $p$-adic analytic group for some $p>2$, and $H = \mathbf{FN}_p(G)$ its finite-by-(nilpotent $p$-valuable) radical. Fix a finite field $k$ of characteristic $p$, and write $kG$ for the completed group ring of $G$ over $k$. We show that almost faithful $G$-stable prime ideals $P$ of $kH$ extend to prime ideals $PkG$ of $kG$.
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 prove that any finite W-algebra U(g,e) admits a one-dimensional representation fixed by the action of the component group of the centraliser of e. As a consequence, for any nilpotent orbit O in g there exists a multiplicity-free (and hence completely prime) primitive ideal of the universal enveloping algebra U(g) whose associated variety coincides with the Zariski closure of O.
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 extend the Shi bijection from the Borel subalgebra case to parabolic subalgebras. In the process, the $I$-deleted Shi arrangement $\texttt{Shi}(I)$ naturally emerges. This arrangement interpolates between the Coxeter arrangement $\texttt{Cox}$ and the Shi arrangement $\texttt{Shi}$, and breaks the symmetry of $\texttt{Shi}$ in a certain symmetrical way. Among other things, we determine the characteristic polynomial $χ(\texttt{Shi}(I), t)$ of $\texttt{Shi}(I)$ explicitly for $A_{n-1}$ and $C_n$. More generally, let $\texttt{Shi}(G)$ be an arbitrary arrangement between $\texttt{Cox}$ and $\te…
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 / Γ$.
We introduce and study a transfer map between ideals of the universal enveloping algebras of two members of a reductive dual pair of Lie algebras. Its definition is motivated by the approach to the real Howe duality through the theory of Capelli identities. We prove that this map provides a lower bound on the annihilators of theta lifts of representations with a fixed annihilator ideal. We also show that in the algebraic stable range, transfer respects the class of quantizations of nilpotent orbit closures. As an application, we explicitly describe quantizations of small nilpotent orbits of ge…
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…
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.
Given a $p$-adic field $K$ and a nilpotent uniform pro-$p$ group $G$, we prove that all primitive ideals in the $K$-rational Iwasawa algebra $KG$ are maximal, and can be reduced to a particular standard form. Setting $\mathcal{L}$ as the associated $\mathbb{Z}_p$-Lie algebra of $G$, our approach is to study the action of $KG$ on a Dixmier module $\widehat{D(λ)}$ over the affinoid envelope $\widehat{U(\mathcal{L})}_K$, and to prove that all primitive ideals can be reduced to annihilators of modules of this form.
Let $\be$ be a Borel subalgebra of a complex simple Lie algebra $\g$. An ideal of $\be$ is called ad-nilpotent, if it is contained in $[\be,\be]$. The generators of an ad-nilpotent ideal give rise to an antichain in the poset of positive roots, and the whole theory can be expressed in a combinatorial fashion, in terms of antichains. The aim of this paper is to present a refinement of the enumerative theory of ad-nilpotent ideals for the case in which $\g$ has roots of different length. An antichain is called short, if it consists of short roots. We obtain, for short antichains, analogues of al…
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 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.
In this article we prove that there exists a Dixmier map for nilpotent super Lie algebras. In other words, if we denote by Prim(U(g)) the set of (graded) primitive ideals of the enveloping algebra U(g) of g and Ad_0 the adjoint group of g_0, we prove that the usual Dixmier map for nilpotent Lie algebras can be naturally extended to the context of nilpotent super Lie algebras, i.e. there exists a bijective map \[ I : g_0^*/Ad_0 \rightarrow Prim(U(g)), \] defined by sending the equivalence class [lambda] of a functional lambda to a primitive ideal I(lambda) of U(g), and which coincides with the …
We determine the space of primary ideals in the group algebra $L^1(G)$ of a connected nilpotent Lie group by identifying for every $π\in\hat G $ the family ${\mathcal I}^π$ of primary ideals with hull $\{π\}$ with the family of invariant polynomials of a certain finite dimensional subspace ${\mathcal P}_Q^π$ of the space of polynomials ${\mathcal P}(G) $ on $G $.
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.
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…
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.
Let $\mathfrak{n}$ be a locally nilpotent infinite-dimensional Lie algebra over $\mathbb{C}$. Let $\mathrm{U}(\mathfrak{n})$ and $\mathrm{S}(\mathfrak{n})$ be its universal enveloping algebra and its symmetric algebra respectively. Consider the Jacobson topology on the primitive spectrum of $\mathrm{U}(\mathfrak{n})$ and the Poisson topology on the primitive Poisson spectrum of $\mathrm{S}(\mathfrak{n})$. We provide a homeomorphism between the corresponding topological spaces (on the level of points, it gives a bijection between the primitive ideals of $\mathrm{U}(\mathfrak{n})$ and $\mathrm{S…
We give a simple description of the closure of the nilpotent orbits appearing as associated varieties of admissible affine vertex algebras in terms of primitive ideals.
In this paper, it is established that quantum nilpotent algebras (also known as CGL extensions) are catenary, i.e., all saturated chains of inclusions of prime ideals between any two given prime ideals $P \subsetneq Q$ have the same length. This is achieved by proving that the prime spectra of these algebras have normal separation, and then establishing the mild homological conditions necessary to apply a result of Lenagan and the first author. The work also recovers the Tauvel height formula for quantum nilpotent algebras, a result that was first obtained by Lenagan and the authors through a …
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…
We study ad-nilpotent ideals of a parabolic subalgebra of a simple Lie algebra. Any such ideal determines an antichain in a set of positive roots of the simple Lie algebra. We give a necessary and sufficient condition for an antichain to determine an ad-nilpotent ideal of the parabolic. We write down all such antichains for the classical simple Lie algebras and in particular recover the results of D. Peterson. In section 2 of the paper we study the unique ideal in a parabolic which is irreducible as a module for the reductive part and give several equivalent statements that are satisfied by th…
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…
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 prove that all finite W-algebras associated with nilpotent elements e in a complex semisimple Lie algebra g have finite-dimensional representations. In order to obtain this result we establish a connection between primitive ideals of U(g) attached to the nilpotent orbit containing e and finite-dimensional representations of the reduced enveloping algebra assiciated with e over an algebraically closed field of finite characteristic.
Let $G$ be a simply connected, nilpotent Lie group with Lie algebra $\gee$. The group $G$ acts on the dual space $\gee^*$ by the coadjoint action. %% which partitions $\gee^*$ into coadjoint orbits. By the orbit method of Kirillov, the simple unitary representations of $G$ are in bijective correspondence with the coadjoint orbits in $\gee^*$, which in turn are in bijective correspondence with the primitive ideals of the universal enveloping algebra of $\gee$. The number of simple $\gee$-modules which have a common eigenvector for a particular subalgebra of $\gee$ and are annihilated by a parti…
The aim of our paper is to construct pseudo $H$-type algebras from the covering free nilpotent two-step Lie algebra as the quotient algebra by an ideal. We propose an explicit algorithm of construction of such an ideal by making use of a non-degenerate scalar product. Moreover, as a bypass result, we recover the existence of a rational structure on pseudo $H$-type algebras, which implies the existence of lattices on the corresponding pseudo $H$-type Lie groups. Our approach substantially uses combinatorics and reveals the interplay of pseudo $H$-type algebras with combinatorial and orthogonal …
We study the quotient Q_i(A) of a free algebra A by the ideal M_i(A) generated by relation that the i-th commutator of any elements is zero. In particular, we completely describe such quotient for i=4 (for i<=3 this was done previously by Feigin and Shoikhet). We also study properties of the ideals M_i(A), e.g. when M_i(A)M_j(A) is contained in M_{i+j-1}(A) (by a result of Gupta and Levin, it is always contained in M_{i+j-2}(A)).
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}} $ (…
Let g be a simple Lie algebra, with fixed Borel subalgebra b and with Weyl group W. Expanding on previous work of Fan and Stembridge in the simply laced case, this note aims to study the fully commutative elements of W, and their connections with the spherical nilpotent orbits in g. If g is not of type G_2, it is shown that an element w in W is fully commutative if and only if the subalgebra of b determined by the inversions of w lies in the closure of a spherical nilpotent orbit. A similar characterization is also given for the ad-nilpotent ideals of b, which are parametrized by suitable elem…
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 …
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 $\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 $…
