We study the quantizations of the algebras of regular functions on nilpotent orbits. We show that such a quantization always exists and is unique if the orbit is birationally rigid. Further we show that, for special birationally rigid orbits, the quantization has integral central character in all cases but four (one orbit in E_7 and three orbits in E_8). We use this to complete the computation of Goldie ranks for primitive ideals with integral central character for all special nilpotent orbits but one (in E_8). Our main ingredient is results on the geometry of normalizations of the closures of nilpotent orbits by Fu and Namikawa.
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…
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.
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.
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}$.
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…
Let g be a semisimple Lie algebra over an algebraically closed field K of characteristic 0 and O be a nilpotent orbit in g. Then Orb is a symplectic algebraic variety and one can ask whether it is possible to quantize $\Orb$ (in an appropriate sense) and, if so, how to classify the quantizations. On the other hand, for the pair (g,O) one can construct an associative algebra W called a (finite) W-algebra. The goal of this paper is to clarify a relationship between quantizations of O (and of its coverings) and 1-dimensional W-modules. In the first approximation, our result is that there is a one…
We construct by geometric methods a noncommutative model E of the algebra of regular functions on the universal (2-fold) cover M of certain nilpotent coadjoint orbits O for a complex simple Lie algebra g. Here O is the dense orbit in the cotangent bundle of the generalized flag variety X associated to a complexified Cartan decomposition g=(p^+)+k+(p^-) where p^+- are Jordan algebras by the TKK construction. We obtain E as the algebra of g-finite differential operators on a smooth Lagrangian subvariety in M where g is given by differential operators twisted according to a critical parameter. Af…
Given a classical semisimple complex algebraic group G and a symmetric pair (G, K) of non-Hermitian type, we study the closures of the spherical nilpotent K-orbits in the isotropy representation of K. For all such orbit closures, we study the normality and we describe the K-module structure of the ring of regular functions of the normalizations.
Given an exceptional simple complex algebraic group G and a symmetric pair (G, K), we study the spherical nilpotent K-orbit closures in the isotropy representation of K. We show that they are all normal except in one case in type G2, and compute the K-module structure of the ring of regular functions on their normalizations.
Given a classical semisimple complex algebraic group G and a symmetric pair (G,K) of Hermitian type, we study the closures of the spherical nilpotent K-orbits in the isotropy representation of K. We show that all such orbit closures are normal and describe the K-module structure of their ring of regular functions.
In this paper I explore the relationship between regular functions associated to local systems on nilpotent orbits and unipotent representations in the complex groups.
Let $\bbk$ be an algebraically closed field of prime characteristic $p$. If $p$ does not divide $n$, irreducible modules over $\frak {sl}_n$ for regular and subregular nilpotent representations have already known(see \cite{Jan2} and \cite{Jan3}). In this article, we investigate the question when $p$ divides $n$, and precisely describe simple modules of $\frak {sl}_n$ for regular and subregular nilpotent representations.
The Springer resolution of the nilpotent cone of a semisimple Lie algebra has played an important role in representation theory. The nilpotent cone is equal to Spec R, where R is the ring of regular functions on the nilpotent cone. This paper constructs and studies an analogue of the Springer resolution for the variety Spec S, where S is the ring of regular functions on the universal cover of the regular nilpotent orbit. The construction makes use of the theory of toric varieties. Using this construction, we provide new proofs of results of Broer and of Graham about Spec S. Finally, we show th…
We study the von Neumann algebra, generated by the unitary representations of infinite-dimensional groups nilpotent group $B_0^{\mathbb N}$. The conditions of the irreducibility of the regular and quasiregular representations of infinite-dimensional groups (associated with some quasi-invariant measures) are given by the so-called Ismagilov conjecture (see [1,2,9-11]). In this case the corresponding von Neumann algebra is type ${\rm I}_\infty$ factor. When the regular representation is reducible we find the sufficient conditions on the measure for the von Neumann algebra to be factor (see [13,1…
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 describe several different representations of nilpotent step two Lie groups in spaces of monogenic Clifford valued functions. We are inspired by the classic representation of the Heisenberg group in the Segal-Bargmann space of holomorphic functions. Connections with quantum mechanics are described. Keywords: Segal-Bargmann space, Heisenberg group, coherent states, wavelet transform, reproducing kernel, nilpotent Lie group, monogenic functions, Dirac operator, Clifford algebra, (second) quantization, quantum field theory.
In the case of complex symplectic and orthogonal groups, we find $(\mathfrak{g}, K)-$modules with the property that their $K-$structure matches the structure of regular functions on the closures of nilpotent orbits. This establishes a version of the Orbit Method of Kirrilov-Kostant-Souriau as proposed by Vogan. In the process we give another proof of the classification of nilpotent orbits with normal closure in the Lie algebra of a classical group first established by Kraft-Procesi.
We study the von Neumann algebra, generated by the regular representations of the infinite-dimensional nilpotent group $B_0^{\mathbb Z}$. In [14] a condition have been found on the measure for the right von Neumann algebra to be the commutant of the left one. In the present article, we prove that, in this case, the von Neumann algebra generated by the regular representations of group $B_0^{\mathbb Z}$ is the type ${\rm III}_1$ hyperfinite factor. We use a technique, developed in [20] where a similar result was proved for the group $B_0^{\mathbb N}$. The crossed product allows us to remove some…
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…
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.
In two 2006 papers, Kostant and Wallach constructed a complexified Gelfand-Zeitlin integrable system for the Lie algebra $\fgl(n+1,\C)$ and introduced the strongly regular elements, which are the points where the Gelfand-Zeitlin flow is Lagrangian. Later Colarusso studied the nilfibre, which consists of strongly regular elements such that each $i\times i$ submatrix in the upper left corner is nilpotent. In this paper, we prove that every Borel subalgebra contains strongly regular elements and determine the Borel subalgebras containing elements of the nilfibre by using the theory of $K_{i}=GL(i…
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 consider a reductive dual pair (G, G') in the stable range with G' the smaller member and of Hermitian symmetric type. We study the theta lifting of nilpotent K'_C-orbits, where K' is a maximal compact subgroup of G' and we describe the precise K_C-module structure of the regular function ring of the closure of the lifted nilpotent orbit of the symmetric pair (G, K). As an application, we prove sphericality and normality of the closure of certain nilpotent K_C-orbits obtained in this way. We also give integral formulas for their degrees.
Let $\g$ be simple Lie algebra. We give a conceptual proof for the fact that the nilpotent orbits of height 3 are spherical. It is shown that if the highest root of $\g$ is fundamental, then $\g$ has a specific nilpotent orbit of height 3. This orbit satisfies several interesting relations. Moreover, it can be used for an intrinsic construction of a $G_2$ grading in $\g$. We also discuss an approach to describing the algebra of covariants on a nilpotent orbit. For the nilpotent orbits of height 2, it is shown that the algebra of regular functions is a free module over the algebra of covariants…
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.
We study the topology of orbits of dynamical systems defined by finite-dimensional representations of nilpotent Lie groups. Thus, the following dichotomy is established: either the interior of the set of regular points is dense in the representation space, or the complement of the set of regular points is dense, and then the interior of that complement is either empty or dense in the representation space. The regular points are by definition the points whose orbits are locally compact in their relative topology. We thus generalize some results from the recent literature on linear actions of ab…
Let $N$ be a simply connected, connected non-commutative nilpotent Lie group with Lie algebra $\mathfrak{n}$ having rational structure constants. We assume that $N=P\rtimes M,$ $M$ is commutative, and for all $λ\in \mathfrak{n}^{\ast}$ in general position the subalgebra $\mathfrak{p}=\log(P)$ is a polarization ideal subordinated to $λ$ ($\mathfrak{p}$ is a maximal ideal satisfying $[\mathfrak{p},\mathfrak{p}]\subseteq\kerλ$ for all $λ$ in general position and $\mathfrak{p}$ is necessarily commutative.) Under these assumptions, we prove that there exists a discrete uniform subgroup $Γ\subset N$…
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 present a quantization of an isomorphism of Mirković and Vybornov which relates the intersection of a Slodowy slice and a nilpotent orbit closure in $\mathfrak{gl}_N$ , to a slice between spherical Schubert varieties in the affine Grassmannian of $PGL_n$ (with weights encoded by the Jordan types of the nilpotent orbits). A quantization of the former variety is provided by a parabolic W-algebra and of the latter by a truncated shifted Yangian. Building on earlier work of Brundan and Kleshchev, we define an explicit isomorphism between these non-commutative algebras, and show that its classic…
We describe two algorithms for finding representatives of the nilpotent orbits of a theta-group. The algorithms have been implemented in the computer algebra system GAP (inside the package SLA). We comment on their performance. We apply the algorithms to study the nilpotent orbits of theta-groups, where theta is an N-regular automorphism of a simple Lie algebra of exceptional type.
In this paper we study the finite W-algebra for the queer Lie superalgebra Q(n) associated with the non-regular even nilpotent coadjoint orbits in the case when the corresponding nilpotent element has Jordan blocks each of size l. We prove that this finite W-algebra is isomorphic to a quotient of the super-Yangian of Q({n/l})
Recently, V.Ginzburg introduced and studied in depth the notion of a principal nilpotent pair in a semisimple Lie algebra \g. Our aim is to contribute to the general theory of nilpotent pairs. Roughly speaking, a nilpotent pair (e_1,e_2) consists of two commuting elements in \g that can independently be contracted to the origin. A principal nilpotent pair is a double counterpart of a regular nilpotent element. Consequently, the theory of nilpotent pairs should stand out as double counterpart of the theory of nilpotent orbits. We show that any nilpotent pair has a characteristic (h_1,h_2), whic…
Let $\mathfrak g$ be a simple Lie algebra over an algebraically closed field $\bf k$ of characteristic zero and $\bf G$ its adjoint group. Let $\mathfrak q$ be a biparabolic subalgebra of $\mathfrak g$. The algebra $Sy(\mathfrak q)$ of semi-invariants on $\mathfrak q^*$ is polynomial in most cases, in particular when $\mathfrak g$ is simple of type $A$ or $C$. On the other hand $\mathfrak q$ admits a canonical truncation $\mathfrak q_Λ$ such that $Sy(\mathfrak q)=Sy(\mathfrak q_Λ)=Y(\mathfrak q_Λ)$ where $Y(\mathfrak q_Λ)$ denotes the algebra of invariant functions on $\mathfrak q_Λ^*$. An ada…
The main result of this paper is a new parameterization of the orbits of a symmetric subgroup on a partial flag variety. The parameterization is in terms of certain Spaltenstein varieties, on one hand, and certain nilpotent orbits, on the other. One of the motivations is related to enumerating special unipotent representations of real reductive groups. Another motivation is understanding (a portion of) the closure order on the set of nilpotent coadjoint orbits.
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 t…
We organize the nilpotent orbits in the exceptional complex Lie algebras into series using the triality model and show that within each series the dimension of the orbit is a linear function of the natural parameter a=1,2,4,8, respectively for f_4,e_6,e_7,e_8. We also obtain explicit representatives in a uniform manner. We observe similar regularities for the centralizers of nilpotent elements in a series and graded components in the associated grading of the ambient Lie algebra. More strikingly, for a greater than one, the degrees of the unipotent characters of the corresponding Chevalley gro…
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 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…
Let G be a real, connected, noncompact, semisimple Lie group, let K be a maximal compact subgroup of G, and let g=k+p be the corresponding Cartan decomposition of the complexified Lie algebra of G. Sequences of strongly orthogonal noncompact weights are constructed and classified for each real noncompact simple Lie group of classical type. We show that for each partial subsequence there is a corresponding family of K_C-orbits, ordered by inclusion and such that the representation of K on the ring of regular functions on the closure of the orbit is multiplicity-free. The K-types of regular func…
For any Hermitian Lie group $G$ of tube type we give a geometric quantization procedure of certain $K_{\mathbb{C}}$-orbits in $\mathfrak{p}_{\mathbb{C}}^*$ to obtain all scalar type highest weight representations. Here $K_{\mathbb{C}}$ is the complexification of a maximal compact subgroup $K\subseteq G$ with corresponding Cartan decomposition $\mathfrak{g}=\mathfrak{k}+\mathfrak{p}$ of the Lie algebra of $G$. We explicitly realize every such representation $π$ on a Fock space consisting of square integrable holomorphic functions on its associated variety $Ass(π)\subseteq\mathfrak{p}_{\mathbb{C…
Let G be a connected linear semisimple Lie group with Lie algebra g and maximal compact subgroup K. Let K_C -> Aut(p_C) be the complexified isotropy representation at the identity coset of the corresponding symmetric space. Suppose that O is a nilpotent K_C-orbit in p_C, and bar(O} is its Zariski closure in p_C. We study the K-type decomposition of the ring of regular functions on bar(O} when O is spherical and ``small''. We also show that this decomposition gives the asymptotic directions of K-types in any irreducible (g_C, K)-module whose associated variety is bar(O).
Using the symplectic geometry of certain manifolds which appear naturally in Lie theory, we define an invariant which assigns a graded abelian group to an oriented link. The relevant manifolds are transverse slices to certain nilpotent orbits inside sl_{2m}, and intersections of those with regular semisimple orbits. The invariant is conjectured to be equal to Khovanov's combinatorially defined homology theory (with the bigrading of that theory collapsed in a certain way).
