The results in this paper provide a comparison between the $K$-structure of unipotent representations and regular sections of bundles on nilpotent orbits. Precisely, let $\widetilde{G_0} =\widetilde{Spin}(a,b)$ with $a+b=2n$, the nonlinear double cover of $Spin(a,b)$, and let $\widetilde{K}=Spin(a, \mathbb C)\times Spin(b, \mathbb C)$ be the complexification of the maximal compact subgroup of $\widetilde{G_0}$. We consider the nilpotent orbit $\mathcal O_c$ parametrized by $[3 \ 2^{2k} \ 1^{2n-4k-3}]$ with $k>0$. We provide a list of unipotent representations that are genuine, and prove that the list is complete using the coherent continuation representation. Separately we compute $\widetilde{K}$-spectra of the regular functions on certain real forms $\mathcal O$ of $\mathcal O_c$ transforming according to appropriate characters $ψ$ under $C_{\widetilde{K}}(\mathcal O)$, and then match them with the $\widetilde{K}$-types of the genuine unipotent representations. The results provide instances for the orbit philosophy.
In this manuscript, we compute explicitly the Lusztig-Vogan bijection for local systems of some classical, special, nilpotent orbits. Using these results, we prove a conjecture of Achar and Sommers on regular functions of some covers of classical nilpotent orbits.
We are interested in Poisson structures transverse to nilpotent adjoint orbits in a complex semi-simple Lie algebra, and we study their polynomial nature, introduced by R.Cushman and M.Roberts. Furthermore, in the case of sl(n), we construct some families of nilpotent orbits with quadratic transverse structures.
In the context of affine complex Kac-Moody algebras, we define the meaning of nilpotent orbits under the adjoint action of the maximal Kac-Moody group. We also give a parameterization of nilpotent orbits of $\mathfrak{sl}_n^{(1)}(\mathbb C)$.
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…
We associate to each nilpotent orbit of a real semisimple Lie algebra $g_o$ a weighted Vogan diagram, that is a Dynkin diagram with an involution of the diagram, a subset of painted nodes and a weight for each node. Every nilpotent element of $g_o$ is noticed in some subalgebra of $g_o$. In this paper we characterize the weighted Vogan diagrams associated to orbits of noticed nilpotent elements.
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 introduce a method to determine the maximum nilpotent orbit which intersects a variety of nilpotent matrices described by a strictly upper triangular matrix over a polynomial ring. We show that the result only depends on the ranks of its submatrices and we introduce conditions on a subvariety so that it intersects the same orbit. Then we describe a maximal nilpotent subalgebra of the centralizer of any nilpotent matrix; the previous method allows us to show that the maximum nilpotent orbit which intersects that centralizer only depends on which entries are identically 0 in that subalgebra. …
The orbits of the group B of upper-triangular matrices acting on 2-nilpotent complex matrices via conjugation are classified via oriented link patterns, generalizing A. Melnikov's classification of the B-orbits on upper-triangular such matrices. The orbit closures as well as the "building blocks" of minimal degenerations of orbits are described. The classification uses the theory of representations of finite-dimensional algebras. Furthermore, we initiate the study of the B-orbits on arbitrary nilpotent matrices.
In this paper, we construct and classify the special unipotent representations of a real reductive group attached to the principal nilpotent orbit. We give formulas for the $\mathbf{K}$-types, associated varieties, and Langlands parameters of all such representations.
We give the number of nilpotent orbits in the Lie algebras of orthogonal groups under the adjoint action of the groups over $\tF_{2^n}$. Let $G$ be an adjoint algebraic group of type $B,C$ or $D$ defined over an algebraically closed field of characteristic 2. We construct the Springer correspondence for the nilpotent variety in the Lie algebra of $G$.
We prove that the local intersection cohomology of nilpotent orbit closures of cyclic quivers is trivial when the two orbits involved correspond to partitions with at most two rows. This gives a geometric proof of a result of Graham and Lehrer, which states that standard modules of the affine Hecke algebra of $GL_d$ corresponding to nilpotents with at most two Jordan blocks are multiplicity-free.
To any pair of commuting n x n nilpotent matrices it is associated a pair of partitions of n. We describe a maximal nilpotent subalgebra of the centralizer of a given nilpotent n x n matrix and prove a conjecture of Polona Oblak which consists in an algorithm for the determination of the maximum partition which forms with a given partition a pair with the previous property.
This paper studies nilpotent orbits in complex simple Lie algebras from the viewpoint of strongly visible actions in the sense of T. Kobayashi. We prove that the action of a maximal compact group consisting of inner automorphisms on a nilpotent orbit is strongly visible if and only if it is spherical, namely, admitting an open orbit of a Borel subgroup. Further, we find a concrete description of a slice in the strongly visible action. As a corollary, we clarify a relationship among different notions of complex nilpotent orbits: actions of Borel subgroups (sphericity); multiplicity-free represe…
We show that the numbers of nilpotent coadjoint orbits in the dual of exceptional Lie algebra $G_2$ in characteristic $3$ and in the dual of exceptional Lie algebra $F_4$ in characteristic $2$ are finite. We determine the closure relation among nilpotent coadjoint orbits in the dual of Lie algebras of type $B,C,F_4$ in characteristic $2$ and in the dual of Lie algebra of type $G_2$ in characteristic $3$. In each case we give an explicit description of the nilpotent pieces in the dual defined in \cite{CP}, which are in general unions of nilpotent coadjoint orbits, coincide with the earlier case…
Let $G$ be the complex exceptional Lie group of type $G_2$. Among the five nilpotent orbits in its Lie algebra $\mathfrak{g}$, only the 8-dimensional orbit $\mathcal{O}_8$ has non-normal orbit closure $\bar{\mathcal{O}_8}$. In this short note, we will give a quantization model of $\bar{\mathcal{O}_8}$, verifying a conjecture of Vogan in 1984.
In this paper, we compute the character formula of the Brylinski model for all classical nilpotent varieties $\overline{\mathcal{O}}$. As a consequence, one can compute the multiplicities of all $K-$types of the ring of regular functions $R(\overline{\mathcal{O}})$ for all classical nilpotent varieties.
Let $G$ be an adjoint algebraic group of type $B$, $C$, or $D$ over an algebraically closed field of characteristic 2. We construct a Springer correspondence for the Lie algebra of $G$. In particular, for orthogonal Lie algebras in characteristic 2, the structure of component groups of nilpotent centralizers is determined and the number of nilpotent orbits over finite fields is obtained.
The main result of this paper is an explicit formula for the Fourier transform of the canonical measure on a nilpotent coadjoint orbit for GL(n,R). This paper also includes some results on limit formulas for reductive Lie groups including new proofs of classical limit formulas of Rao and Harish-Chandra.
We study the ring of regular functions of classical spherical orbits $R(\mathcal{O})$ for $G = Sp(2n,\mathbb{C})$. In particular, treating $G$ as a real Lie group with maximal compact subgroup $K$, we focus on a quantization model of $\mathcal{O}$ when $\mathcal{O}$ is the nilpotent orbit $(2^{2p}1^{2q})$. With this model, we verify a conjecture by McGovern and another conjecture by Achar and Sommers for such orbits. Assuming the results in [Barbasch 2008], we will also verify the Achar-Sommers conjecture for a larger class of nilpotent orbits.
Let $G$ be a semisimple algebraic group with Lie algebra $\mathfrak g$. For a nilpotent $G$-orbit $\mathcal O\subset\mathfrak g$, let $d_\mathcal O$ denote the maximal dimension of a subspace $V\subset \mathfrak g$ that is contained in the closure of $\mathcal O$. In this note, we prove that $d_\mathcal O \le \frac{1}{2}\dim\mathcal O$ and this upper bound is attained if and only if $\mathcal O$ is a Richardson orbit. Furthermore, if $V$ is $B$-stable and $\dim V= \frac{1}{2}\dim\mathcal O$, then $V$ is the nilradical of a polarisation of $\mathcal O$. Every nilpotent orbit closure has a disti…
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…
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 study the Lusztig-Vogan bijection for the case of a local system. We compute the bijection explicitly in type A for a local system and then show that the dominant weights obtained for different local systems on the same orbit are related in a manner made precise in the paper. We also give a conjecture (putatively valid for all groups) detailing how the weighted Dynkin diagram for a nilpotent orbit in the dual Lie algebra should arise under the bijection.
We define a set of "enhanced" nilpotent quiver representations that generalizes the enhanced nilpotent cone. This set admits an action by an associated algebraic group $K$ with finitely many orbits. We define a combinatorial set that parametrizes the set of orbits under this action and we derive a purely combinatorial formula for the dimension of an orbit.
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.
In this note, we point out an error in the proof of Theorem 4.7 of [P. Achar and A.~Henderson, `Orbit closures in the enhanced nilpotent cone', Adv. Math. 219 (2008), 27-62], a statement about the existence of affine pavings for fibres of a certain resolution of singularities of an enhanced nilpotent orbit closure. We also give independent proofs of later results that depend on that statement, so all other results of that paper remain valid.
We study the regular function ring $R(\mathcal{O})$ for all symplectic nilpotent orbits $\mathcal{O}$ with even column sizes. We begin by recalling the quantization model for all such orbits by Barbasch using unipotent representations. With this model, we express the multiplicities of fundamental representations appearing in $R(\mathcal{O})$ by a parabolically induced module. Finally, we will use this formula to give a criterion on the normality of the Zariski closure $\bar{\mathcal{O}}$ of $\mathcal{O}$.
We relate the partition-type parametrization of rational (arithmetic) nilpotent adjoint orbits of the split classical groups $SL_n$ and $Sp_{2n}$ over local non-Archimedean fields with a parametrization, introduced by DeBacker in 2002, which uses the associated Bruhat-Tits building to relate the question to one over the residue field.
It is known that there is a bijection between dominant weights of a complex reductive Lie group $G$ and the set $\mathcal{N}_{\mathcal{O},r}$ whose elements are of the form $(\mathcal{O},ρ)$, where $\mathcal{O}$ is a nilpotent orbit and $ρ$ is an irreducible, algebraic representation of the stabilizer group $G^e$ of an element $e$ in the nilpotent orbit $\mathcal{O}$. We would like to study the above bijection when $G$ is classical and $ρ$ corresponds to a local system of $\mathcal{O}$. In particular, we will prove Conjecture 3.1 in \cite{AS} and Conjecture 7.4' in \cite{Ac2} in the classical …
Let $G$ be a simply connected algebraic group of type $B,C$ or $D$ over an algebraically closed field of characteristic 2. We construct a Springer correspondence for the dual vector space of the Lie algebra of $G$. In particular, we classify the nilpotent orbits in the duals of symplectic and orthogonal Lie algebras over algebraically closed or finite fields of characteristic 2.
Given a nilpotent orbit O of a real, reductive algebraic group, a necessary condition is given for the existence of a tempered representation pi such that O occurs in the wave front cycle of pi. The coefficients of the wave front cycle of a tempered representation are expressed in terms of volumes of precompact submanifolds of an affine space.
This paper provides a comparison between the $K$-structure of unipotent representations and regular sections of bundles on nilpotent orbits for complex groups of type $D$. Precisely, let $ G_ 0 =Spin(2n,\mathbb C)$ be the Spin complex group viewed as a real group, and $K\cong G_0$ be the complexification of the maximal compact subgroup of $G_0$. We compute $K$-spectra of the regular functions on some small nilpotent orbits $\mathcal O$ transforming according to characters $ψ$ of $C_{ K}(\mathcal O)$ trivial on the connected component of the identity $C_{ K}(\mathcal O)^0$. We then match them w…
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.
The orbital varieties are the irreducible components of the intersection between a nilpotent orbit and a Borel subalgebra of the Lie algebra of a reductive group. There is a geometric correspondence between orbital varieties and irreducible components of Springer fibers. In type A, a construction due to Richardson implies that every nilpotent orbit contains at least one smooth orbital variety and every Springer fiber contains at least one smooth component. In this paper, we show that this property is also true for the other classical cases. Our proof uses the interpretation of Springer fibers …
We consider aspects of the relationship between nilpotent orbits in a semisimple real Lie algebra $\mathfrak{g}$ and those in its complexification $\mathfrak{g}_{\mathbb{C}}$. In particular, we prove that two distinct real nilpotent orbits lying in the same complex orbit are incomparable in the closure order. Secondly, we characterize those $\mathfrak{g}$ having non-empty intersections with all nilpotent orbits in $\mathfrak{g}_{\mathbb{C}}$. Finally, for $\mathfrak{g}$ quasi-split, we characterize those complex nilpotent orbits containing real ones.
A linear étale representation of a complex algebraic group $G$ is given by a complex algebraic $G$-module $V$ such that $G$ has a Zariski-open orbit on $V$ and $\dim G=\dim V$. A current line of research investigates which étale representations can occur for reductive algebraic groups. Since a complete classification seems out of reach, it is of interest to find new examples of étale representations for such groups. The aim of this note is to describe two classical constructions of Vinberg and of Bala & Carter for nilpotent orbit classifications in semisimple Lie algebras, and to determine whi…
We show that the definition of unipotent (resp. nilpotent) pieces for classical groups given by Lusztig (resp. Lusztig and the author) coincides with the combinatorial definition using closure relations on unipotent classes (resp. nilpotent orbits). Moreover we give a closed formula for a map from the set of unipotent classes (resp. nilpotent orbits) in characteristic 2 to the set of unipotent classes in characteristic 0 such that the fibers are the unipotent (resp. nilpotent) pieces.
Let $N$ be a connected and simply connected nilpotent Lie group, and let $K$ be a subgroup of the automorphism group of $N$. We say that the pair $(K,N)$ is a nilpotent Gelfand pair if $L^1_K(N)$ is an abelian algebra under convolution. In this document we establish a geometric model for the Gelfand spectra of nilpotent Gelfand pairs $(K,N)$ where the $K$-orbits in the center of $N$ have a one-parameter cross section and satisfy a certain non-degeneracy condition. More specifically, we show that the one-to-one correspondence between the set $Δ(K,N)$ of bounded $K$-spherical functions on $N$ an…
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.
This is a survey article prepared for the submission to "Handbook of moduli". The following topics are discussed: (i) Basic facts and examples of resolutions for nilpotent orbit (ii) Q-factorial terminalizations of nilpotent orbit closures and related birational geometry (iii) Poisson deformations of nilpotent orbit closures.
In this paper I explore the relationship between regular functions associated to local systems on nilpotent orbits and unipotent representations in the complex groups.
We study in this paper the jet schemes of the closure of nilpotent orbits in a finite-dimensional complex reductive Lie algebra. For the nilpotent cone, which is the closure of the regular nilpotent orbit, all the jet schemes are irreducible. This was first observed by Eisenbud and Frenkel, and follows from a strong result of Mustautca (2001). Using induction and restriction of "little" nilpotent orbits in reductive Lie algebras, we show that for a large number of nilpotent orbits, the jet schemes of their closure are reducible. As a consequence, we obtain certain geometrical properties of the…
Let $\FRAK{g}$ be a classical simple Lie superalgebra. To every nilpotent orbit $\cal O$ in $\FRAK{g}_0$ we associate a Clifford algebra over the field of rational functions on $\cal O$. We find the rank, $k(\cal O)$ of the bilinear form defining this Clifford algebra, and deduce a lower bound on the multiplicity of a $U(\FRAK{g})$-module with $\cal O$ or an orbital subvariety of $\cal O$ as associated variety. In some cases we obtain modules where the lower bound on multiplicity is attained using parabolic induction. The invariant $k(\cal O)$ is in many cases, equal to the odd dimension of th…
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 / Γ$.
A short note to show that the elements of the (open) cone underlying a nilpotent orbit on a period domain are pairwise congruent under the symmetry group of the period domain.
This paper is about nilpotent orbits of reductive groups over local non-Archimedean fields. In this paper we will try to identify for which groups there are only finitely many nilpotent orbits, for which groups the nilpotent orbits are separable and for which groups Howe's conjecture holds. For general reductive groups we get some partial results. For split reductive groups we get a classification in terms of the root data and the characteristic of the underlying local field.
For a semisimple Lie algebra over the complex numbers, Dynkin (1952) developed an algorithm to classify the regular semisimple subalgebras, up to conjugacy by the inner automorphism group. For a graded semisimple Lie algebra over the complex numbers, Vinberg (1979) showed that a classification of a certain type of regular subalgebras (called carrier algebras) yields a classification of the nilpotent orbits in a homogeneous component of that Lie algebra. Here we consider these problems for (graded) semisimple Lie algebras over the real numbers. First, we describe an algorithm to classify the re…
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.
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.
The problem of classifying tuples of nilpotent matrices over a field under simultaneous conjugation is considered "hopeless". However, for any given matrix order over a finite field, the number of concerned orbits is always finite. This paper gives a closed formula for the number of absolutely indecomposable orbits using the same methodology as Hua [5]; those orbits are non-splittable over field extensions. As a consequence, those numbers are always polynomials in the cardinality of the base field with integral coefficients. It is conjectured that those coefficients are always non-negative.
In this paper we describe geometry of orbits of upper triangular matrices of nilpotent order 2 under conjugation by the group of upper triangular invertible matrices in terms of link patterns. Further we apply this description to the computations of the closures of orbital varieties of nilpotent order 2 and intersections of components of a Springer fiber of nilpotent order 2. In particular we connect our results to the combinatorics of meanders and Temperley-Lieb algebras.
