Kayue Daniel Wong
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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 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…
This short note is a supplement to the previous article with the same title. Here we treat a conical symplectic variety obtained as a finite covering of a (not necessarily normal) nilpotent orbit closure of a complex semisimple Lie algebra.
We continue the study of the closures of $GL(V)$-orbits in the enhanced nilpotent cone $V\times\cN$ begun by the first two authors. We prove that each closure is an invariant-theoretic quotient of a suitably-defined enhanced quiver variety. We conjecture, and prove in special cases, that these enhanced quiver varieties are normal complete intersections, implying that the enhanced nilpotent orbit closures are also normal.
We develop an algorithm for computing the closure of a given nilpotent $G_0$-orbit in $\g_1$, where $\g_1$ and $G_0$ are coming from a $\Z$ or a $\Z/m\Z$-grading $\g= \bigoplus \g_i$ of a simple complex Lie algebra $\g$.
On enhanced reductive groups (II): Finiteness of nilpotent orbits under enhanced group action and their closures
本文研究增强群作用下nilpotent轨道的有限性及闭包几何，通过分类有限nilpotent轨道并构造增强旗流形来描述其闭包。
We prove that a conical symplectic variety with maximal weight 1 is isomorphic to one of the following: (i) an affine space with the standard symplectic form (ii) a nilpotent orbit closure of a complex semisimple Lie algebra with the Kirillov-Kostant form.
Cotangent Models of Nilpotent Orbit Closures
针对复单李代数的幂零轨道闭包，本文对经典型中具有仿射余切丛结构的轨道闭包分类，证明G₂、F₄、E₈型中不存在此类轨道闭包。
We prove that for a simply laced group, the closure of the Borel conjugacy class of any nilpotent element of height $2$ in its conjugacy class is normal and admits a rational resolution. We extend this, using Frobenius splitting techniques, to the closure in the whole Lie algebra if either the group has type $A$ or the element has rank $2$.
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.
A nilpotent orbit $O$ of a complex semisimple Lie algebra $\mathfrak{g}$ has finite fundamental group. Associated with an etale cover of $O$, we have a finite cover of the closure $\bar{O}$ of $O$. In this article we consider the finite cover X associated with the universal cover of a nilpotent orbit $O$ of a classical simple Lie algebra $\mathfrak{g}$. We construct explicitly a Q-factorial terminalization of X in a group theoretic way.
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 study the orbits of $G=\mathrm{GL}(V)$ in the enhanced nilpotent cone $V\times\mathcal{N}$, where $\mathcal{N}$ is the variety of nilpotent endomorphisms of $V$. These orbits are parametrized by bipartitions of $n=\dim V$, and we prove that the closure ordering corresponds to a natural partial order on bipartitions. Moreover, we prove that the local intersection cohomology of the orbit closures is given by certain bipartition analogues of Kostka polynomials, defined by Shoji. Finally, we make a connection with Kato's exotic nilpotent cone in type C, proving that the closure ordering is the …
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 present two methods for computing the rational singular locus of the closure of a nilpotent orbit in a complex semisimple Lie algebra and give a number of interesting examples.
This is an expository article on the singularities of nilpotent orbit closures in simple Lie algebras over the complex numbers. It is slanted towards aspects that are relevant for representation theory, including Maffei's theorem relating Slodowy slices to Nakajima quiver varieties in type A. There is one new observation: the results of Juteau and Mautner, combined with Maffei's theorem, give a geometric proof of a result on decomposition numbers of Schur algebras due to Fang, Henke and Koenig.
This paper deals with singularities of closures of $2$-nilpotent Borel conjugacy classes in either a $\text{GL}_n$-conjugacy class or in the nilpotent cone of $\text{GL}_n$. In the latter case we construct a resolution of singularities, in the former we show that singularities are rational by applying a result of M. Brion. We reason why this generalizes the result of N. Perrin and E. Smirnov on the rationality of singularities of Springer fiber components in the two-column case. In the case of Borel orbit closures being contained in orbital varieties, we give an alternative version of L. Fress…
Quantization of nilpotent coadjoint $GL_N$-orbit closures in positive characteristics
本文研究了GL_N在正特征下的nilpotent coadjoint轨道闭包的filtered Hamiltonian量子化，通过构造原始商的量子化方法实现。
We consider two partial orders on standard Young tableaux. The first one is induced from the weak right Bruhat order on symmetric group by Robinson-Schensted algorithm. The second one is induced from the order on Young diagrams by considering a Young tableau as a chain of Young diagrams. We show that these two orders of completely different nature coincide on the subset of Young tableaux with 2 columns or with 2 rows. This fact has very interesting geometric implications for orbital varieties of nilpotent order 2 in sl(n).
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 …
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.
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…
The Affine Closure of T^*(SL_n/U)
本文证明T^*(SL_n/U)的仿射闭包具有辛奇点，并在n=3时揭示其与so(8,C)中极小幂零伴随轨道闭包的同构关系及Weyl群作用的等同性。
We study closures of conjugacy classes in the symmetric matrices of the orthogonal group and we determine which one are normal varieties. In contrast to the result for the symplectic group where all classes have normal closure, there is only a relatively small portion of classes with normal closure. We perform a combinatorial computation on top of the same methods used by Kraft-Procesi and Ohta.
Let $O$ be a nilpotent orbit of a complex semisimple Lie algebra $\mathfrak{g}$ and let $π: X \to \bar{O}$ be the finite covering associated with the universal covering of $O$. In the previous article we have explicitly constructed a $\mathbf{Q}$-factorial terminalization $\tilde{X}$ of $X$ when $\mathfrak{g}$ is classical. In the present article, we count how many different $\mathbf{Q}$-factorial terminalizations $X$ has. We construct the universal Poisson deformation of $\tilde{X}$ over $H^2(\tilde{X}, \mathbf{C})$ and look at the action of the Weyl group $W(X)$ on $H^2(\tilde{X}, \mathbf{C}…
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…
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.
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…
For the classical groups, Kraft and Procesi have resolved the question of which nilpotent orbits have closures which are normal and which are not, with the exception of the very even orbits in $D_{2l}$ which have partition of the form $(a^{2k}, b^2)$ for $a, b$ distinct even natural numbers with $a k + b = 2 l$. In this article, we show that these orbits do have normal closure.
Motivated by geometric Langlands, we initiate a program to study the mirror symmetry between nilpotent orbit closures of a semisimple Lie algebra and those of its Langlands dual. The most interesting case is $B_n$ via $C_n$. Classically, there is a famous Springer duality between special orbits. Therefore, it is natural to speculate that the mirror symmetry we seek may coincide with Springer duality in the context of special orbits. Unfortunately, such a naive statement fails. To remedy the situation, we propose a conjecture which asserts the mirror symmetry for certain parabolic/induced cover…
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.
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 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 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 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.
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.
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.
We attach a Dixmier algebra B to the closure of any nilpotent orbit of G where G is GL(n,C), O(n,C) or Sp(2n,C). This algebra B is a noncommutative analog of the coordinate ring R of the orbit closure, in the sense that B has a G-invariant algebra filtration and gr B=R. We obtain B by making a noncommutative analog of the Kraft-Procesi construction which modeled the orbit closure as the algebraic symplectic reduction of a finite-dimensional symplectic vector space L. Indeed B is a subquotient of the Weyl algebra for L.
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.
We determine which nilpotent orbits in $E_6$ have normal closure and which do not. We also verify a conjecture about small representations in rings of functions on nilpotent orbit covers for type $E_6$.
Minimal special degenerations and duality
本文分类单李代数中相邻特殊幂零轨道间 Slodowy 切片的奇点，揭示其在 Lusztig–Spaltenstein 对偶下的互换规律，并解决 Lusztig 关于切片相交上同调的猜想。
Minimal Nilpotent Orbits of type D and E
本文证明了 D_n 和 E_6 型最小幂零伴随轨道闭包分别同构于 T^*(SL_{n-1}/[P,P]) 和 T^*(SL_4/P^u) 的仿射化，并为 E_7 型提出类似结果。
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…
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 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.
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 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…
Crepant partial resolutions of the nilpotent cone via Hamiltonian reduction
本文通过哈密顿约化方法，构造了单连通半单代数群幂零锥的收缩射影部分解，并实现了其通用泊松形变的基变换。
Quantization of the minimal nilpotent orbits and the quantum Hikita conjecture
本文通过证明ADE奇点最小消解的等变量子上同调环的专用量子D-模与最小幂零轨道上的分次迹D-模同构，验证了量子Hikita猜想，并推广至BCFG型奇点。
Let n_n(C) be the algebra of strictly upper-triangular n x n matrices over the field of complex numbers and X_2 the subset of matrices of nilpotent order 2. Let B_n(C) be the group of invertible upper-triangular matrices acting on n_n(C) by conjugation. Let B(u) be the orbit of u in X_2 with respect to this action. Let S_n^2 be the subset of involutions in the symmetric group S_n. We define a new partial order on S_n^2 which gives the combinatorial description of the closure of B(u). We also construct an ideal I(B(u)) in symmetric algebra S(n_n(C)^* whose variety V(I(B(u))) equals the closure …
Let $G$ be a quasi-simple algebraic group defined over an algebraically closed field $k$ and $B$ a Borel subgroup of $G$ acting on the nilradical $\mathfrak{n}$ of its Lie algebra $\mathfrak{b}$ via the Adjoint representation. It is known that $B$ has only finitely many orbits in only five cases: when $G$ is of type $A_{n}$ for $n \leq 4$, and when $G$ is type $B_{2}$. In this paper, we elaborate on this work in the case when $G =SL_{n +1}(k)$ (type $A_{n})$, for $n \leq 4$, by finding the polynomial defining equations of each orbit. Consequences of these equations include the dimension of the…
We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of GL_n(C) on the variety of x-nilpotent complex matrices. 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. Concerning the action on the nilpotent cone, we obtain a generic normal form of the orbits which yields a U-normal form as well…
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.
In general, a nilpotent orbit closure in a complex simple Lie algebra \g, does not have a crepant resolution. But, it always has a Q-factorial terminalization by the minimal model program. According to B. Fu, a nilpotent orbit closure has a crepant resolution only when it is a Richardson orbit, and the resolution is obtained as a Springer map for it. In this paper, we shall generalize this result to Q-factorial terminalizations when \g$ is classical. Here, the induced orbits play an important role instead of Richardson orbits.
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.
The intersection cohomologies of closures of nilpotent orbits of linear (respectively, cyclic) quivers are known to be described by Kazhdan-Lusztig polynomials for the symmetric group (respectively, the affine symmetric group). We explain how to simplify this description using a combinatorial cancellation procedure, and derive some consequences for representation theory.
Orbit closures in flag varieties for the centralizer of an order-two nilpotent element : normality and resolutions for types A, B, D
本文研究 A、B、D 型约化群中二阶幂零元中心化子在旗簇内的轨道闭包，证明其正规性、特定条件下的 Cohen–Macaulay 性与有理奇点，并构造涉及 Schubert 簇的双有理有理消解。
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…
A connection between minimal nilpotent orbits of types A and D via Hamiltonian reduction
本文通过哈密顿约简建立了sl_n中的最小Nilpotent轨道O_n与so_{2n+2}中的最小Nilpotent轨道闭包O_n的联系，提供了量子结果Levasseur和Stafford的拟经典类比。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。