Syu Kato
Let G = Sp (2n) be the symplectic group over Z. We present a certain kind of deformation of the nilpotent cone of G with G-action. This enables us to make direct links between the Springer correspondence of sp_{2n} over C, that over characteristic two, and our exotic Springer correspondence. As a by-product, we obtain a complete description of our exotic Springer correspondence.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
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 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…
The Springer resolution of the nilpotent cone is used to give a geometric construction of the irreducible representations of Weyl groups. Borho and MacPherson obtain the Springer correspondence by applying the decomposition theorem to the Springer resolution, establishing an injective map from the set of irreducible Weyl group representations to simple equivariant perverse sheaves on the nilpotent cone. In this manuscript, we consider a generalization of the Springer resolution using a variety defined by the first author. Our main result shows that in the type A case, applying the decompositio…
Recall that the Springer correspondence relates representations of the Weyl group to perverse sheaves on the nilpotent cone. We explain how to extend this to an equivalence between the triangulated category generated by the Springer perverse sheaves and the derived category of differential graded modules over a dg-ring related to the Weyl group.
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$.
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.
In this note, we consider perverse sheaves on the nilpotent cone. We prove orthogonality relations for the equivariant category of sheaves on the nilpotent cone in a method similar to Lusztig's for character sheaves. We also consider cleanness for cuspidal perverse sheaves and the generalized Lusztig--Shoji algorithm.
In 1976, Springer defined a correspondence making a link between the irreducible ordinary (characteristic zero) representations of a Weyl group and the geometry of the associated nilpotent variety. In this thesis, we define a modular Springer correspondence (in positive characteristic), and we show that the decomposition numbers of a Weyl group (for example the symmetric group) are particular cases of decomposition numbers for equivariant perverse sheaves on the nilpotent variety. We calculate explicitly the decomposition numbers associated to the regular and subregular classes, and to the min…
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.
Let G be a semisimple algebraic group over a field K whose characteristic is very good for G, and let sigma be any G-equivariant isomorphism from the nilpotent variety to the unipotent variety; the map sigma is known as a Springer isomorphism. Let y in G(K), let Y in Lie(G)(K), and write C_y = C_G(y) and C_Y= C_G(Y) for the centralizers. We show that the center of C_y and the center of C_Y are smooth group schemes over K. The existence of a Springer isomorphism is used to treat the crucial cases where y is unipotent and where Y is nilpotent. Now suppose G to be quasisplit, and write C for the …
We prove an explicit formula for the Poincaré polynomials of parabolic character varieties of Riemann surfaces with semisimple local monodromies, which was conjectured by Hausel, Letellier and Rodriguez-Villegas. Using an approach of Mozgovoy and Schiffmann the problem is reduced to counting pairs of a parabolic vector bundles and a nilpotent endomorphism of prescribed generic type. The generating function counting these pairs is shown to be a product of Macdonald polynomials and the function counting pairs without parabolic structure. The modified Macdonald polynomial $\tilde H_λ[X;q,t]$ is i…
In this paper, we study the affine Springer fiber $\mathcal{F} l_N$ in type $A$ for rectangular type semisimple nil-element $N$ and calculate the relative position between irreducible components. In particular, we use the affine matrix ball construction to show the relative position map is compatible with the Kazhdan-Lusztig cell structure, generalizing the work of Steinberg and van Leeuwen.
Kato introduced the exotic nilpotent cone to be a substitute for the ordinary nilpotent cone of type C with cleaner properties. Here we describe the irreducible components of exotic Springer fibres (the fibres of the resolution of the exotic nilpotent cone), and prove that they are naturally in bijection with standard bitableaux. As a result, we deduce the existence of an exotic Robinson-Schensted bijection, which is a variant of the type C Robinson-Schensted bijection between pairs of same-shape standard bitableaux and elements of the Weyl group; this bijection is described explicitly in the …
We consider generalizations of the Springer resolution of the nilpotent cone of a simple Lie algebra by replacing the cotangent bundle with certain other vector bundles over the flag variety. We show that the analogue of the Springer sheaf has as direct summands only intersection cohomology sheaves that arise in the Springer correspondence. The fibers of these general maps are nilpotent Hessenberg varieties, and we build on techniques established by De Concini, Lusztig, and Procesi to study their geometry. For example, we show that these fibers have vanishing cohomology in odd degrees. This le…
A classical and beautiful story in geometric representation theory is the construction by Springer of an action of the Weyl group on the cohomology of the fibres of the Springer resolution of the nilpotent cone. We establish a natural extension of Springer's theory to arbitrary symplectic resolutions of conical symplectic singularities. We analyse features of the action in the case of affine quiver varieties, constructing Weyl group actions on the cohomology of $ADE$ quiver varieties, and also consider "symplectically dual" examples arising from slices in the affine Grassmannian. Along the way…
The Springer correspondence makes a link between the characters of a Weyl group and the geometry of the nilpotent cone of the corresponding semisimple Lie algebra. In this article, we consider a modular version of the theory, and show that the decomposition numbers of a Weyl group are particular cases of decomposition numbers for equivariant perverse sheaves on the nilpotent cone. We give some decomposition numbers which can be obtained geometrically. In the case of the symmetric group, we show that James' row and column removal rule for the symmetric group can be derived from a smooth equival…
Kato's exotic nilpotent cone was introduced as a substitute for the ordinary nilpotent cone of type C with cleaner properties. The geometric Robinson-Schensted correspondence is obtained by parametrizing the irreducible components of the Steinberg variety (the conormal variety for the action of a semisimple group on two copies of its flag variety); in type A the bijection coincides with the classical Robinson-Schensted algorithm for the symmetric group. Here we give a combinatorial description of the bijection obtained by using the exotic nilpotent cone instead of ordinary type C nilpotent con…
The flag variety of a complex reductive linear algebraic group G is by definition the quotient G/B by a Borel subgroup. It can be regarded as the set of Borel subalgebras of Lie(G). Given a nilpotent element e in Lie(G), one calls Springer fiber the subvariety formed by the Borel subalgebras which contain e. Springer fibers have in general a complicated structure (not irreducible, singular). Nevertheless, a theorem by C. De Concini, G. Lusztig, and C. Procesi asserts that, when G is classical, a Springer fiber can always be paved by finitely many subvarieties isomorphic to affine spaces. In th…
Let $\mathbf{G}$ be a connected split reductive group over a field of characteristic zero or sufficiently large characteristic, $γ_0\in(\operatorname{Lie}\mathbf{G})((t))$ be any topologically nilpotent regular semisimple element, and $γ=tγ_0$. Using methods from $p$-adic orbital integrals, we show that the number of components of the Iwahori affine Springer fiber over $γ$ modulo $Z_{\mathbf{G}((t))}(γ)$ is equal to the order of the Weyl group.
Let $π:\widetilde{\mathcal N}\to\mathcal N$ be the Springer resolution of the nilpotent cone for a semisimple connected algebraic group $G$ over $\mathbb C$ and $k$ be an arbitrary field. What happens to $π_*k[\dim\mathcal N]$ if the decomposition theorem fails for it? We show that in this case, some additional (with respect to the case ${\rm char}\;k=0$) composition factors of this direct image in the (abelian) category of perverse sheaves may emerge. These factors emerge from the $Z_G(x)/Z_G(x)^0$-composition factors of the radicals of certain intersection forms and from that of the top como…
Consider a complex classical semi-simple Lie group along with the set of its nilpotent coadjoint orbits. When the group is of type A, the set of orbital varieties contained in a given nilpotent orbit is described a set of standard Young tableaux. We parameterize both, the orbital varieties and the irreducible components of unipotent varieties in the other classical groups by sets of standard domino tableaux. The main tools are Spaltenstein's results on signed domino tableaux together with Garfinkle's operations on standard domino tableaux.
In \cite{CVX3}, we have established a Springer theory for the symmetric pair $(\operatorname{SL}(N),\operatorname{SO}(N))$. In this setting we obtain representations of (the Tits extension) of the braid group rather than just Weyl group representations. These representations arise from cohomology of families of certain (Hessenberg) varieties. In this paper we determine the Springer correspondence explicitly for IC sheaves supported on order 2 nilpotent orbits. In this process we encounter universal families of hyperelliptic curves. As an application we calculate the cohomolgy of Fano varieties…
In recent work, Graham has constructed a variety with a map to the nilpotent cone which is similar in some ways to the Springer resolution. One aspect in which Graham's map differs is that it is not in general an isomorphism over the principal orbit, but rather the universal covering map. This map gives rise to a certain semisimple perverse sheaf on the nilpotent cone, and we discuss here the problem of describing the summands of this perverse sheaf. For type $A_n$, a key tool is a known combinatorial description of an affine paving of Springer fibers.
The global nilpotent cone N is a singular stack associated to the choice of an algebraic group G, a smooth projective curve X, and a line bundle L on X, which is of fundamental importance to the Geometric Langlands Program, and which is of emerging importance to the Classical Langlands Program. In analogy with the ordinary Springer resolution, we construct and study a resolution of singularities of N in the special case where G=SL_2. As an immediate application, we prove that N is equidimensional and also provide an enumeration of its irreducible components. We hope this is the first step in c…
In this paper we discuss some of Springer's work on unipotent elements in a reductive groups and on representations of Weyl groups. Among the topics considered are Springer's bijection from the unipotent variety to the nilpotent variety, Springer's example of nonrationality of certain representations of the Hecke algebras associated to a Weyl group and the Springer representation of the Weyl group associated to a unipotent element.
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.
We construct affine pavings of Springer-type fibers over the enhanced nilpotent cone. This resolves a question of Achar-Henderson and implies the existence of perverse parity sheaves on the enhanced nilpotent cone.
We define and study an exotic t-structure on the bounded derived category of equivariant coherent sheaves on partial resolutions of the nilpotent cone.
Consider a nilpotent element e in a simple complex Lie algebra. The Springer fibre corresponding to e admits a discretization (discrete analogue) introduced by the author in 1999. In this paper we propose a conjectural description of that discretization which is more amenable to computation. We also propose a conjectural PBW analogue of that discretization. This version differs substantially from the previous one.
The $\mathrm{GL}(V)$-orbits in the enhanced nilpotent cone $V\times\mathcal{N}(V)$ are (essentially) in bijection with the orbits of a certain parabolic $P\subseteq\mathrm{GL}(V)$ (the mirabolic subgroup) in the nilpotent cone $\mathcal{N}(V)$. We give a new parameterization of the orbits in the enhanced nilpotent cone, in terms of representations of the underlying quiver. This parameterization generalizes naturally to the enhanced cyclic nilpotent cone. Our parameterizations are different to the previous ones that have appeared in the literature. Explicit translations between the different pa…
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 give an apriori description of a set of irreducible representations of a Weyl group which parametrize the nilpotent orbits in the Lie algebra of a connected reductive group in arbitrary characteristic. We also answer a question of Serre concerning the conjugacy class of a power of a unipotent element in a connected reductive group.
This paper is a sequel to math.RT/0601155. Let G be a complex symplectic group. In math.RT/0601155, we constructed a certain G-variety N = N_1, which we call the (1-) exotic nilpotent cone. In this paper, we study the set of G-orbits of the variety N. It turns out that the variety N gives a variant of the Springer correspondence for the Weyl group of type C, but shares a similar flavor with that of type A case. (I.e. there appears no non-trivial local system and the correspondence is bijective.) As an application, we present one sufficient condition for the bijectivity of our exotic Deligne-La…
We prove a derived equivalence between each block of the derived category of sheaves on the nilpotent cone and the category of differential graded modules over a degeneration of Lusztig's graded Hecke algebra. Along the way, we construct and study a mixed version of the geometric category. This work can be viewed as giving a derived version of the generalized Springer correspondence.
In characteristic zero, Bezrukavnikov has shown that the category of perverse coherent sheaves on the nilpotent cone of a simply connected semisimple algebraic group is quasi-hereditary, and that it is derived-equivalent to the category of (ordinary) coherent sheaves. We prove that graded versions of these results also hold in good positive characteristic.
Littlewood-Richardson Coefficient, Springer Fibers and the Annihilator Varieties of Induced Representations
本文利用几何Sakate等价证明了$GL(n,\mathbb{C})$中幂零轨道的包含关系与Littlewood-Richardson系数非零的等价性，并描述了用于研究Whittaker支撑和零化簇的空间$\mathcal{O}\cap\mathfrak{p}$的几何性质。
The contents of this paper is merged into math.RT/0601155. To avoid possible confusion, I withdraw this paper.
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 study some aspects of modular generalized Springer theory for a complex reductive group $G$ with coefficients in a field $\mathbb k$ under the assumption that the characteristic $\ell$ of $\mathbb k$ is rather good for $G$, i.e., $\ell$ is good and does not divide the order of the component group of the centre of $G$. We prove a comparison theorem relating the characteristic-$\ell$ generalized Springer correspondence to the characteristic-$0$ version. We also consider Mautner's characteristic-$\ell$ `cleanness conjecture'; we prove it in some cases; and we deduce several consequences, inclu…
We study the exotic t-structure on the derived category of coherent sheaves on two-block Springer fibre (i.e. for a nilpotent matrix of type (m+n,n) in type A). The exotic t-structure has been defined by Bezrukavnikov and Mirkovic for Springer theoretic varieties in order to study representations of Lie algebras in positive characteristic. Using work of Cautis and Kamnitzer, we construct functors indexed by affine tangles, between categories of coherent sheaves on different two-block Springer fibres (i.e. for different values of n). After checking some exactness properties of these functors, w…
Non-reduced components of global nilpotent cones
本文研究了全局nilpotent锥的非约分分量，通过群方案作用、GIT分层和变形到正常锥等方法，证明了在特定条件下，关联曲线的全局nilpotent锥、K3/阿贝尔/del Pezzo表面的模空间以及Beauville-Mukai系统纤维的homology类性质。
In math.RT/0201073 we constructed an equivalence between the derived category of equivariant coherent sheaves on the cotangent bundle to the flag variety of a simple algebraic group and a (quotient of) the category of constructible sheaves on the affine flag variety of the Langlands dual group. Below we prove certain properties of this equivalence; provide a similar ``Langlands dual'' description for the category of equivariant coherent sheaves on the nilpotent cone; and deduce some conjectures by Lusztig and Ostrik.
A Langlands dual realization of coherent sheaves on the nilpotent cone
本文证明了幂零锥形式邻域上的等变拟凝聚层与环路群上的Steinberg-Whittaker D-模之间的幺半群等价，并推广至仿射Hecke范畴的谱与自守实现，证实了Bezrukavnikov的猜想。
In this paper we construct and study an action of the affine braid group associated to a semi-simple algebraic group on derived categories of coherent sheaves on various varieties related to the Springer resolution of the nilpotent cone. In particular, we describe explicitly the action of the Artin braid group. This action is a "categorical version" of Kazhdan--Lusztig--Ginzburg's construction of the affine Hecke algebra, and is used in particular by the first author and Ivan Mirkovic in the course of the proof of Lusztig's conjectures on equivariant K-theory of Springer fibers.
Crepant partial resolutions of the nilpotent cone via Hamiltonian reduction
本文通过哈密顿约化方法，构造了单连通半单代数群幂零锥的收缩射影部分解，并实现了其通用泊松形变的基变换。
In math.AG/0005152 a certain $t$-structure on the derived category of equivariant coherent sheaves on the nil-cone of a simple complex algebraic group was introduced (the so-called perverse $t$-structure corresponding to the middle perversity). In the present note we show that the same $t$-structure can be obtained from a natural quasi-exceptional set generating this derived category. As a consequence we obtain a bijection between the sets of dominant weights and pairs consisting of a nilpotent orbit, and an irreducible representation of the centralizer of this element, conjectured by Lusztig …
We describe two approaches to classifying the possible monodromy cones C arising from nilpotent orbits in Hodge theory. The first is based upon the observation that C is contained in the open orbit of any interior point N in C under an associated Levi subgroup determined by the limit mixed Hodge structure. The possible relations between the interior of C its faces are described in terms of signed Young diagrams. The second approach is to understand the Tannakian category of nilpotent orbits via a category D introduced by Deligne in a letter to Cattani and Kaplan. In analogy with Hodge theory, …
We define a generalized Springer correspondence for the group GL(n) over any field. We also determine the cuspidal pairs, and compute the correspondence explicitly. Finally we define a stratification of the category of equivariant perverse sheaves on the nilpotent cone of GL(n) satisfying the `recollement' properties, and with subquotients equivalent to categories of representations of a product of symmetric groups.
We consider the conjugation-action of an arbitrary upper-block parabolic subgroup of ${\rm GL}_n(\mathbf{C})$, especially of the Borel subgroup $B$ and of the standard unipotent subgroup $U$ of the latter on the nilpotent cone of complex nilpotent matrices. We obtain generic normal forms of the orbits and describe generating (semi-) invariants for the Borel semi-invariant ring as well as for the $U$-invariant ring. The latter is described in more detail in terms of algebraic quotients by a special toric variety closely related. The study of a GIT-quotient for the Borel-action is initiated.
For a simply-connected simple algebraic group $G$ over $\C$, we exhibit a subvariety of its affine Grassmannian that is closely related to the nilpotent cone of $G$, generalizing a well-known fact about $GL_n$. Using this variety, we construct a sheaf-theoretic functor that, when combined with the geometric Satake equivalence and the Springer correspondence, leads to a geometric explanation for a number of known facts (mostly due to Broer and Reeder) about small representations of the dual group.
We prove most of Lusztig's conjectures from the paper "Bases in equivariant K-theory II", including the existence of a canonical basis in the Grothendieck group of a Springer fiber. The conjectures also predict that this basis controls numerics of representations of the Lie algebra of a semi-simple algebraic group over an algebraically closed field of positive characteristic. We check this for almost all characteristics. To this end we construct a non-commutative resolution of the nilpotent cone which is derived equivalent to the Springer resolution. On the one hand, this noncommutative resolu…
Functions on Nilpotent Orbit Covers and Birational Geometry
本文利用Springer分解的类似物构造簇$\tilde{\mcM}$，通过双有理几何证明其有理奇点，从而将幂零轨道万有覆盖上的函数环描述为Levi子群的诱导表示，并给出其分次$G$-模结构。
Generalized Springer Theory for D-modules on a Reductive Lie Algebra
本文建立了约化李代数上等变 D-模范畴的广义 Springer 理论，将其正交分解为以尖点数据为指标的分块，并证明每个分块等价于中心上相对 Weyl 群等变 D-模范畴，核心方法是发展抛物诱导与限制函子及相应单子理论。
We use the G-invariant non-degenerate form on the Steinberg module to Frobenius split the cotangent bundle of a flag variety in good prime characteristics. This was previously only known for the general linear group. Applications are a vanishing theorem for pull back of line bundles to the cotangent bundle (proved for the classical groups and G_2 by Andersen and Jantzen and in characteristic zero by B. Broer (for all groups)), normality and rational singularities for the subregular nilpotent variety and good filtrations of the global sections of pull backs of line bundles to the cotangent bund…
We prove a conjecture which expresses the bigraded Poisson-de Rham homology of the nilpotent cone of a semisimple Lie algebra in terms of the generalized (one-variable) Kostka polynomials, via a formula suggested by Lusztig. This allows us to construct a canonical family of filtrations on the flag variety cohomology, and hence on irreducible representations of the Weyl group, whose Hilbert series are given by the generalized Kostka polynomials. We deduce consequences for the cohomology of all Springer fibers. In particular, this computes the grading on the zeroth Poisson homology of all classi…
Exotic Spaltenstein varieties
本文定义奇异Spaltenstein簇以推广经典Spaltenstein簇，证明二阶自伴幂零自同态情形下最高维不可约分量与半标准Young双表一一对应，并给出最高维数的组合公式。
Let $u\in\mathrm{End}(\mathbb{C}^n)$ be nilpotent. The variety of $u$-stable complete flags is called the Springer fiber over $u$. Its irreducible components are parameterized by a set of standard Young tableaux. The Richardson (resp. Bala-Carter) components of Springer fibers correspond to the Richardson (resp. Bala-Carter) elements of the symmetric group, through Robinson-Schensted correspondence. Every Richardson component is isomorphic to a product of standard flag varieties. On the contrary, the Bala-Carter components are very susceptible to be singular. First, we characterize the singula…
Graded Hecke algebras and equivariant constructible sheaves on the nilpotent cone
本文证明几何分次 Hecke 代数可实现为幂零锥上等变半单纯层复形的自同态代数，并将相应等变可构造层导出范畴等价描述为分次 Hecke 代数直和上的 DG 模导出范畴，从而给出其范畴化。
Given the nilpotent cone of a complex reductive Lie algebra, we consider its equivariant constructible derived category of sheaves with coefficients in an arbitrary field. This category and its subcategory of perverse sheaves play an important role in Springer theory and the theory of character sheaves. We show that the composition of the Fourier--Sato transform on the Lie algebra followed by restriction to the nilpotent cone restricts to an autoequivalence of the derived category of the nilpotent cone. In the case of $GL_n$, we show that this autoequivalence can be regarded as a geometric ver…
For a split reductive group scheme $G$ over a commutative ring $k$ with Weyl group $W$, there is an important functor $Rep(G,k) \to Rep(W,k)$ defined by taking the zero weight space. We prove that the restriction of this functor to the subcategory of small representations has an alternative geometric description, in terms of the affine Grassmannian and the nilpotent cone of the Langlands dual group to $G$. The translation from representation theory to geometry is via the Satake equivalence and the Springer correspondence. This generalizes the result for the $k=\mathbb{C}$ case proved by the fi…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。