×

On the singularity of the irreducible components of a Springer fiber in \({\mathfrak{s}\mathfrak{l}_n}\). (English) Zbl 1209.14037

Consider a nilpotent endomorphism \(u : {\mathbb C}^n \to {\mathbb C}^n\) and the associated Springer fiber \({\mathcal B}_u\) of complete flags of \({\mathbb C}^n\) that are preserved by \(u\). The nilpotent endomorphism \(u\) is determined by the sizes of its Jordan blocks and hence can be associated with a partition \(\lambda\) of \(n\). The irreducible components of \({\mathcal B}_u\) are in one-to-one corresondence with Young tableaux of shape \(\lambda\). The fundamental question of interest here is when the components are nonsingular. The main result is that all components of \({\mathcal B}_u\) are nonsingular for only four types of partitions: \((\lambda_1,1,\dots)\), \((\lambda_1,\lambda_2)\), \((\lambda_1,\lambda_2,1)\), and \((2,2,2)\). In all other cases, \({\mathcal B}_u\) has singular components.
The key step in the classification is a reduction theorem. Given a component of \({\mathcal B}_u\), it corresponds (as above) to a certain Young tableaux. If the “last” box of the tableaux is removed, the resulting tableaux corresponds to the component of the springer fiber for a different nilpotent endomorphism. It is shown that if the resulting component is singular, than the initial one is as well. This allows the authors to partially reduce the problem to known cases. For example, from the previously known existence of singular components for the partition \((2,2,1,1)\), it follows that for all partitions with at least four Jordan blocks and at least two of length at least two, the corresponding Springer fiber has singular components. In this manner, it is shown that in all but the four special cases, singular components exist.
In all but the third case special case, it was known previously that all components are nonsingular. The bulk of the paper is devoted to showing this in the third case. This uses in part the fact that the converse of the above theorem holds when the “last” box is in the last column. That also leads to a simpler proof for the second case.

MSC:

14M15 Grassmannians, Schubert varieties, flag manifolds
05E10 Combinatorial aspects of representation theory
14L30 Group actions on varieties or schemes (quotients)
20G05 Representation theory for linear algebraic groups
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Fresse L.: Betti numbers of Springer fibers in type A. J. Algebra 322, 2566–2579 (2009) · Zbl 1186.14051 · doi:10.1016/j.jalgebra.2009.07.008
[2] Fresse L.: Singular components of Springer fibers in the two-column case. Ann. Inst. Fourier (Grenoble) 59, 2429–2444 (2009) · Zbl 1191.14060
[3] Fung F.Y.C.: On the topology of components of some Springer fibers and their relation to Kazhdan-Lusztig theory. Adv. Math. 178, 244–276 (2003) · Zbl 1035.20004 · doi:10.1016/S0001-8708(02)00072-5
[4] Fulton W.: Young Tableaux, with Applications to Representation Theory and Geometry. Cambridge University Press, London (1997) · Zbl 0878.14034
[5] van Leeuwen M.A.A.: Flag varieties and interpretations of Young tableau algorithms. J. Algebra 224, 397–426 (2000) · Zbl 0979.14025 · doi:10.1006/jabr.1999.8070
[6] Pagnon N.G.J., Ressayre N.: Adjacency of Young tableaux and the Springer fibers. Selecta Math. (N.S) 12, 517–540 (2006) · Zbl 1133.14051 · doi:10.1007/s00029-006-0027-z
[7] Spaltenstein N.: The fixed point set of a unipotent transformation on the flag manifold. Indag. Math. 38, 452–456 (1976) · Zbl 0343.20029
[8] Spaltenstein, N.: Classes unipotentes et sous-groupes de Borel. Lecture Notes in Math., vol. 946. Springer, Berlin, New York (1982) · Zbl 0486.20025
[9] Springer, T.A.: The unipotent variety of a semisimple group. In: Proceedings of the Bombay Colloqu. in Algebraic Geometry, pp. 373–391. Oxford University Press, London (1969) · Zbl 0195.50803
[10] Vargas J.A.: Fixed points under the action of unipotent elements of SL n in the flag variety. Bol. Soc. Mat. Mexicana 24, 1–14 (1979) · Zbl 0458.14019
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.