arxiv: v2 [math.ag] 28 Jun 2009

Transcription

1 ON THE SINGULARITY OF THE IRREDUCIBLE COMPONENTS OF A SPRINGER FIBER IN sl n LUCAS FRESSE AND ANNA MELNIKOV arxiv: v2 [math.ag] 28 Jun 2009 Abstract. Let B u be the Springer fiber over a nilpotent endomorphism u End(C n ). Let J(u) be the Jordan form of u regarded as a partition of n. The irreducible components of B u are all of the same dimension. They are labelled by Young tableaux of shape J(u). We study the question of singularity of the components of B u and show that all the components of B u are nonsingular if and only if J(u) {(λ, 1, 1,...), (λ 1, λ 2 ), (λ 1, λ 2,1), (2, 2, 2)}. 1. Introduction 1.1. The Springer fiber B u. Let V = C n for n 0 and let u : V V be a nilpotent endomorphism. Let B := B n denote the variety of complete flags of V and B u the variety of complete flags preserved by u, that is flags (V 0,..., V n ) such that u(v i ) V i for all i : 0 i n. Both B and B u are algebraic proective varieties. The variety B u is called the Springer fiber over u since it can be regarded as the fiber over u of the Springer resolution of singularities of the cone of nilpotent endomorphisms of V (cf., for example [8]). The variety B u is reducible in general and its irreducible components play a key role in Springer s Weyl group representations, as well as in the study of the primitive ideals in U(sl n (C)). Description of their geometry is both a very important and challenging topic for more than 30 years. There are a lot of open questions and not so many answers in this field. Since u is a nilpotent endomorphism, 0 is its unique eigenvalue and its Jordan form J(u) is completely described by the lengths of the Jordan blocks, which can be written as a partition λ = (λ 1, λ 2,..., λ k ) of n where we order the lengths in non-increasing order, that is λ 1 λ 2... λ k > 0. We put J(u) := λ. Given a partition λ, the corresponding Young diagram Y λ is defined to be an array of k rows of cells starting on the left, with the i-th row containing λ i cells. Put Y (u) := Y λ if J(u) = λ. Obviously B u depends only on J(u) or equivalently on Y (u) so that we can talk about B u for u in a given nilpotent orbit (under the conugation by GL n (C)). Given a Young diagram Y λ, fill in its boxes with numbers 1,...,n in such a way that the entries increase in rows from left to right and in columns from top to bottom. Such an array is called a Young tableau of shape λ. Let us denote by Tab λ the set of Young tableaux of shape λ. By N. Spaltenstein [6], B u is an equidimensional variety and its components are in biection with Tab J(u) Statement of the main result. Up to now the singularity of the irreducible components of B u has been studied only in three cases. J.A. Vargas [9] and N. Spaltenstein [7] described the geometry of the components in the simplest case of J(u) = (λ 1, 1, 1...) (hook case) and in particular showed that all the components are nonsingular in that case. They were also the first to compute an example of a singular component in the case J(u) = (2, 2, 1, 1). Twenty years later Key words and phrases. Flag variety; Springer fibers; Young diagrams and tableaux. 1

2 2 LUCAS FRESSE AND ANNA MELNIKOV F. Fung [3] described the geometry of the components in the case of J(u) = (λ 1, λ 2 ) (two-row case). In this case again, all the components are nonsingular. Finally, the first coauthor [1] gave a combinatorial criterion for a component to be singular in the case of J(u) = (2, 2,...) (two-column case). The aim of this paper is to give a full classification of nilpotent orbits with respect to the singularity of the components of B u. The main result of the paper is Main Theorem. Let u End(C n ) be a nilpotent endomorphism. Then all the irreducible components of B u are nonsingular in the following four cases: (i) J(u) = (λ 1, 1,...) (hook case), (ii) J(u) = (λ 1, λ 2 ) (two-row case), (iii) J(u) = (λ 1, λ 2, 1) (two-row-plus-one-box case), (iv) J(u) = (2, 2, 2) (an exceptional case, due to small n). In all other cases B u admits singular components Construction of the irreducible components of the Springer fiber. Let us explain Spaltenstein s construction in some detail. The full details can be found in [7, II.5]. Given a partition λ = (λ 1,..., λ k ) let λ = (λ 1, λ 2,..., λ λ 1 ) denote the conugate partition, that is the list of the lengths of the columns in Y λ. For a Young tableau T put sh (T) to be its shape, that is the corresponding Young diagram. Given a nilpotent u End(C n ) with J(u) = λ let (V 0,..., V n ) be some flag in B u. Note that for any i : 1 i n Y (u Vi ) differs from Y (u Vi 1 ) by exactly one (corner) box. Thus, each flag (V 0,...,V n ) B u determines the chain of Young diagrams (Y (u V0 ),..., Y (u Vn 1 ), Y (u)). On the other hand for T Tab λ and i : 1 i < n let π 1,i (T) be the tableau obtained from T by deleting the boxes containing the numbers i + 1,...,n. Comparing sh (π 1,i (T)) and sh (π 1,i 1 (T)) one sees that they differ by one (corner) box, containing i. In such a way every Young tableau can be regarded as a chain of Young diagrams. Put Note that F T := {(V 0,..., V n ) B u : Y (u Vi ) = sh (π 1,i (T)), 0 i n}. B u = is a partition of B u. Moreover, by [7, II.5], F T of B u and dim F T = dim B u = T Tab λ F T : T Tab λ are smooth irreducible subvarieties λ 1 i=1 λ i (λ i 1) 2 so that {K T := F T : T Tab λ } are all the irreducible components of B u Outline of the proof of the main theorem. Given T Tab λ, for i : 1 i n 1, the subtableau π 1,i (T) is associated to a component K π1,i(t) B u, for a nilpotent u End(V ) such that Y (u ) = sh(π 1,i (T)). The natural question is what is the connection between singularities of K T and K π1,i(t). The answer is given by Theorem 2.1: Theorem. If the component K π1,n 1(T) is singular then the component K T is singular. Moreover, if n lies in the last column of T, then K T is singular if and only if K π1,n 1(T) is singular. The first part of this theorem, claiming that the existing singularity cannot disappear, is very natural. This part together with the example of a singular component of shape (2, 2, 1, 1) shows that any nilpotent endomorphism u with at least four Jordan blocks and at least two of them of (1)

3 SINGULARITY OF COMPONENTS OF SPRINGER FIBERS 3 length at least 2, that is such that J(u) = (λ 1, λ 2, λ 3, λ 4,...) where λ 2 2, admits a singular component. The only open case left is the case of a nilpotent (non-hook) orbit with three Jordan blocks. As we show in section 2.3 there exists a singular component for the form (3, 2, 2). Thus again by the theorem, any nilpotent non-hook endomorphism with three blocks such that the minimal block is of length at least 2 and the maximal block is of length at least 3 admits a singular component. The second (if and only if) part of the theorem is very useful. The fact that all the components in the two-row case (λ 1, λ 2 ) are nonsingular is obtained in section 3.6 as its easy corollary. This simplifies drastically the original proof of F. Fung. Further in Section 4 we use this part of the theorem to show that all the components in the case (λ 1, λ 2, 1) (which we call two-row-plus-one-box case) are nonsingular. But here the proof is much more involved. We first note that this question is equivalent to the nonsingularity of the components in the case (r, r, 1). Then we partition the components of B (r,r,1) into r classes of equisingular ones. Finally we show that each class admits a nonsingular component of some very special form. The proof of nonsingularity of these special components uses the techniques developed by the first author for computations of the singularities of the components in the two-column case. The proof of nonsingularity of the components in the two-row-plus-one-box case constitutes the most technically involved part of the paper. The body of the paper consists of three parts. In Section 2 we prove the theorem formulated in 1.4 and provide its first corollaries. In Section 3 we develop combinatorial techniques of partitioning B u into classes of equisingular components. We prefer to call them equinonsingular classes in the given context since our aim is to show the nonsingularity of the components. Finally, in Section 4 we show that in the two-row-plus-one-box case all the components are nonsingular. To make the paper as self-contained as possible we formulate all the results we need in the due places. The reader can find an index of the notation at the end of the paper. 2. Inducing the singularity of a component 2.1. Preliminary observation. Let us start with a preliminary observation. Note that, exactly in the same way as we have defined π 1,i (T) in section 1.3, we can define π i, (T) for i to be the tableau with entries i,..., obtained from T by deleting the boxes containing + 1,...,n and removing the boxes 1,...,i 1 by the procedure of eu de taquin (cf. [4]). In particular, sh(π i 1,n (T)) differs from sh (π i,n (T)) by exactly one corner box obtained by removing i 1 by eu de taquin. In such a way one can associate to the tableau T a chain of Young diagrams (sh (π n,n (T)), sh (π n 1,n (T))...,sh(π 1,n (T))) =: (D 1,..., D n ). Put Sch(T) to be the Young tableau obtained from this chain by putting i in the only new box of D i compared to D i 1. The tableau Sch(T) is called the Schützenberger transform of T (cf. [4]). Respectively, since for any F = (V 0,...,V n ) B u and any i : 1 i n we have u(v i ) V i, one can consider the action of u on (V n /V n,...,v n /V 0 ). Respectively put F T = {(V 0,..., V n ) B u : Y (u (Vn/V i)) = sh (π i+1,n (T)), 0 i n}. Note that F T F T. However, exactly as in the case of F T, one has a partition B u = F T. T Tab λ

4 4 LUCAS FRESSE AND ANNA MELNIKOV Moreover, F T : T Tab λ are smooth irreducible subvarieties of B u of the same dimension as F T. Therefore the irreducible components of B u are also obtained as the closures of the subsets F T. By [5, 3.4], we have F T = F T = K T. Fix a non-degenerate symmetric bilinear form b(, ) on V for which u is self-adoint, and write W = {v V : b(v, w) = 0 w W } whenever W V is a subspace. The application B u B u, (V 0,..., V n ) (Vn,..., V 0 ) maps F T onto F Sch(T), providing an isomorphism of algebraic varieties K T = K Sch(T). Note that Sch(π i,n (T)) = π 1,n i+1 (Sch(T)) (where we identify π i,n (T) with the Young tableau of entries 1,...,n i+1 obtained by replacing i+1). In particular, the results connecting singularities of K π1,n 1(T) and K T can be translated into results connecting singularities of K π2,n(t) and K T Inductive criterion of singularity. For T Tab λ set T := π 1,n 1 (T) and Y := sh (T ). Let H u be the variety of u-stable hyperplanes H V and let H u H u be the subset of hyperplanes H H u such that the Jordan form of the restriction u H End(H) corresponds to the Young diagram Y (u H ) = Y. Fix V H u and let u := u V End(V ). Let B u be the variety of u -stable complete flags on V. Let K T B u be the irreducible component corresponding to the tableau T. In these terms we get Theorem 2.1. If the component K T is singular, then the component K T is singular. Moreover, if n lies in the last column of T, then K T is singular if and only if K T is singular. Proof. First, note that a hyperplane H V is u-stable if and only if it contains Imu. Thus, H u corresponds to the variety of hyperplanes of the space W := V/Im u. Denote it by H(W). We introduce some algebraic groups. Put P = {g GL(V ) : g(keru k ) = keru k k 0}. This is a parabolic subgroup of GL(V ). Let ζ : V W be the natural surection. Define Q = {g GL(W) : g(ζ(keru k )) = ζ(ker u k ) k 0}. This is a parabolic subgroup of GL(W). Let k n be the number of the column of T containing n. Note that H u is the set of hyperplanes H V such that H keru kn 1, H keru kn, hence it can be identified with a Q-orbit of H u = H(W). In particular, H u is a locally closed subset in H u, irreducible and nonsingular. Define U = {(V 0,..., V n ) K T : V n 1 H u }. Then this is a locally closed subset of the component K T. Moreover, by definition, U F T. Since K T = F T, it follows that U is actually a nonempty open subset of K T. In addition, if n lies in the last column of T, then keru kn = V. In this case H u = {H H u : H keru kn 1 }, and H u is actually a closed subset of H u so that U = K T. Therefore, to prove the theorem, it is sufficient to show that U is nonsingular if and only if K T is nonsingular. To do this, we consider the map Φ : U H u, (V 0,..., V n ) V n 1, and we show that Φ is an algebraic fiber bundle with fiber isomorphic to K T. Set Z(u) := {h GL(V ) : huh 1 = u} to be the stabilizer of u. This is a connected, closed subgroup of GL(V ), and it acts on B u, thus, leaving invariant each component. Also U is stable by this action. In addition Z(u) naturally acts on H u and H u, and the map Φ is Z(u)-equivariant. We have Z(u) P and a natural morphism of algebraic groups ϕ : Z(u) Q, and the action of Z(u) on H u commutes with the map ϕ and the action of Q. Actually, we can see that there is a morphism of algebraic groups ψ : Q Z(u) such that ϕ ψ = id Q (see for example [2, 3.6]), so that Q can be interpreted as a subgroup of Z(u). In particular, H u is a Z(u)-orbit of H u. First we show that Φ is locally trivial. Let H H u. By Schubert decomposition, there is a Borel subgroup B H Q with a unipotent subgroup U H B H such that the map U H OH H u,

5 SINGULARITY OF COMPONENTS OF SPRINGER FIBERS 5 g gh is an open immersion. Therefore, the map U H Φ 1 (H) Φ 1 (O H ), (g, (V 0,..., V n )) (ψ(g)v 0,...,ψ(g)V n ) is an isomorphism of algebraic varieties, and Φ is trivial over O H. It remains to show that Φ 1 (H) = K T. Since U is irreducible, it follows that Φ 1 (H) is irreducible. Let B u H be the variety of u-stable complete flags on H. The natural inclusion Ψ : B u H B u is a closed immersion. We have Ψ(F T ) F T Φ 1 (H), hence Ψ(K T ) is a closed subset of Φ 1 (H). Let λ k be the length of the k-th column of T. By formula (1) we obtain dim KT = dim K T (λ k n 1). Also, dim W/ζ(keru kn 1 ) = λ k n so that dim H u = λ k n 1. Thus, dimφ 1 (H) = dim U dim H u = dim K T, and we get finally Ψ(K T ) = Φ 1 (H). The proof of the theorem is now complete. As a straightforward corollary of Theorem 2.1 we get Corollary 2.1. If K T is a component such that K πi,(t) is singular for some i, : 1 i < n and (i, ) (1, n) then K T is singular. Proof. If K πi,(t) is singular and (i, ) (1, n) then either i > 1 or < n. If < n then by induction hypothesis K π1,n 1(T) is singular, so that, by Theorem 2.1, K T is singular. If = n then by induction hypothesis K π2,n(t) is singular so that by Theorem 2.1 and subsection 2.1, K T is singular Construction of singular components. The first example of a singular component was obtained by Vargas [9] and Spaltenstein [7] and it is K S B (2,2,1,1) where S = Moreover, by [1] this is the only singular component in the case (2, 2, 1, 1). Let us show Proposition 2.1. The component K T B (3,2,2) associated to the tableau T = is singular. Proof. Fix a Jordan basis (e 1,..., e 7 ) of C 7 such that u acts on the basis by e 7 e 4 e 1 0 e 5 e 2 0 e 6 e 3 0. For i = 0,...,7 let V i = Span{e 1,..., e i }, and consider the flag F 0 = (V 0,...,V 7 ). Let B GL(C, 7) be the subgroup of lower triangular matrices and let U B be the subgroup of unipotent matrices. Let Ω be the B-orbit of F 0 in the variety of complete flags. The map U Ω, g gf 0 is an isomorphism of algebraic varieties. Let X M(C, 7) be the subspace of nilpotent lower triangular matrices. Let E i, M(C, 7) be the standard basic matrix { 1 if (k, l) = (i, ) (E i, ) k,l = 0 otherwise.

6 6 LUCAS FRESSE AND ANNA MELNIKOV The set {(E i, )} 1 <i 7 forms a (standard) basis of X. The map X U, g g + I 7 is an isomorphism of algebraic varieties. Both isomorphisms combined provide an isomorphism ϕ : X Ω, g (g + I 7 )F 0, and ϕ reduces to an isomorphism ϕ 1 (Ω K T ) Ω K T. Consider the map f : C 6 X defined by f : (t 1,..., t 6 ) t t 1 t 2 t 2 + t t 3 t 4 t 5 t 4 t t 1 t 3 t 4 t 5 t 1 t 4 t 5 t t 1 t 2 t 3 t 4 t 5 t 1 t 2 t 4 t 5 t 2 t 4 t 2 + t t 5 t 6 (t 4 t 1 ) t 5 (t 4 t 1 ) 0 A straightforward computation shows that ϕ f(t 1, t 2, t 3, t 4, t 5, t 6 ) Ω F T whenever t 3, t 4, t 5, t 6, t 4 t 1 are all nonzero. Thus, f(c 6 ) ϕ 1 (Ω K T ). In particular 0 = f(0) ϕ 1 (Ω K T ). The tangent space of ϕ 1 (Ω K T ) at 0, denoted by T 0 ϕ 1 (Ω K T ), can be seen as a vector subspace of X. For i = 1,..., 6, let ι i : C C 6, t (t 1,..., t 6 ) be the map defined by t i = t, and t = 0 for i. The curve {f(ι i (t)) : t C} lies in ϕ 1 (Ω K T ). Considering for each i the tangent vector at 0 to this curve, we get: E 2,1, E 3,2, E 5,4, E 6,5 T 0 ϕ 1 (Ω K T ). The curves {f(t, 1, 1, 0, 0, 1) : t C}, {f(0, 1, 1, t, 0, 1) : t C} and {f(0, 0, 0, t, 1, 0) : t C} also pass through 0 for t = 0. Considering the tangent vectors at 0 to these curves, we get: E 2,1 + E 3,1, E 5,4 + E 6,4, E 4,3 + E 5,4 + E 7,6 T 0 ϕ 1 (Ω K T ). We have constructed seven vectors of the tangent space T 0 ϕ 1 (Ω K T ), and we see that all these vectors are linearly independent. It follows On the other hand by (1) dim K T = 6 so that dim T 0 ϕ 1 (Ω K T ) 7. dim ϕ 1 (Ω K T ) = dimω K T = dim K T = 6. It follows that ϕ 1 (Ω K T ) is singular. Thus, Ω K T is singular. This is an open subset of K T. Therefore, the component K T is singular. Remark 2.1. Checking other components of B (3,2,2) one can see that all the other components but K T given above are nonsingular. Note that by (1) dim K S = so that K T is a singular component of a smaller dimension than K S. In fact, since all the components in the hook case are nonsingular as well as the components in the two-row case and as we show also the components in the two-row-plus-one-box case, all the components of dimension smaller than 6 are nonsingular, so that K T is a singular component of the minimal dimension. Also since all the components of (2, 2, 2) are nonsingular there are no singular components of dimension 6 in GL n for n 6. Of course from this example one can obtain a singular component of dimension 6 for any n 7 simply by taking T obtained from T by adding 8, 9,...,n to the first row (one has by (1) that dim K T = dim K T = 6 and by Theorem 2.1 that K T is singular). As a corollary of the above constructions and Corollary 2.1 we get Proposition 2.2. Let B u be a Springer fiber. Let J(u) = λ = (λ 1 λ 2... λ k 1). If λ 2 2 and either k 4 or k = 3 and λ 1 3, λ 3 2 then B u admits a singular component..

7 SINGULARITY OF COMPONENTS OF SPRINGER FIBERS 7 Proof. Indeed, if k 4 then λ 1 2, λ 2 2, λ 3 1, λ 4 1. Taking any T Tab λ such that π 1,6 (T ) = S with S in section 2.3, we get by Corollary 2.1 that K T is singular. If k = 3 then λ 1 3, λ 2, λ 3 2. Taking any T Tab λ such that π 1,7 (T ) = T with T as in Proposition 2.1, we get by Corollary 2.1 that K T is singular. 3. Combinatorics of equinonsingular components 3.1. Definition and notation. Given any standard tableaux T, S we call the components K T, K S equinonsingular if they are either both singular or both nonsingular. For example, let T be a tableau with n in the last column, then, by Theorem 2.1, K T and K π1,n 1(T) are equinonsingular. In a few following subsections we will construct equinonsingular components of the same Springer fiber. But before we need to set combinatorial notation. Let λ be a partition of n and λ = (λ 1,...,λ m ) be its conugate partition. For i, : 1 i m put λ [i,] to be the partition conugate to (λ i,..., λ ). For i : 1 i < m put ς i := i =1 λ. Note that λ [1,i] is a partition of ς i. Let T Tab λ where λ = (λ 1,...,λ m ). Put (T) i, to be the entry in the i-th row and -th column of T. Put T := ((T) 1,,..., (T) λ,) to be the -th column of T. We will write T = (T 1,...,T m ). For i, : 1 i m put T [i,] := (T i,..., T ) to be the subtableau consisting of columns i,...,. We will also write S = (P 1, P 2,...) when S is a concatenation of subtableaux P 1, P 2,... Given a tableau T of shape λ with consecutive entries i + 1,...,n + i we put St(T) Tab λ to be its standardization, that is (St(T)) q,r = (T) q,r i The procedure T C(T). We start with a sort of cyclic procedure using eu de taquin. Let λ = (λ 1,...,λ k ) be such that λ 1 =... = λ and (λ +1 < λ 1 or = k). Let T Tab λ be such that sh (π 2,n (T)) = (λ 1,..., λ 1,...). Let S Tab λ be obtained from St(π 2,n (T)) by adding a box of entry n at the end of the -th row. Set C(T) = S and respectively C 1 (S) = T. For example, take T = Then π 2,11 (T) = , St(π 2,11 (T)) = As a straightforward corollary of Theorem 2.1 we get Lemma 3.1. The components K T and K C(T) are equinonsingular., C(T) = Proof. By section 2.1 and Theorem 2.1, K π2,n(t) is equinonsingular to K T and K C(T) is equinonsingular to K π2,n(t) so that K T and K C(T) are equinonsingular. Remark 3.1. According to section 2.1 and the proof of Theorem 2.1, the components K T and K C(T) are both fiber bundles over the same space with the same fiber isomorphic to K π2,n(t), so that K T and K C(T) are indeed equisingular and also have the same Poincaré polynomial. We prefer the notion of equinonsingularity to equisingularity since all nonsingular components are nonsingular in the same way so that we can speak about equinonsingularity of K T and K πi,(t)..

8 8 LUCAS FRESSE AND ANNA MELNIKOV 3.3. Schützenberger involution. Let us recall in short Schützenberger procedure T Sch(T) (cf. [4] and 2.1). Given T let D i = sh (π n+1 i,n (T)). In such a way we get a correspondence between T and the chain of Young diagrams (D 1,..., D n ). Then Sch(T) is the tableau obtained from the chain (D 1,..., D n ) by putting i in the only new box of D i compared to D i 1. For example, T = ((1), (1, 1), (2, 1), (2, 1, 1), (2, 2, 1), (3, 2, 1)), Sch(T) = By section 2.1 we have K T = K Sch(T). In particular K T and K Sch(T) are equinonsingular. Remark 3.2. Note that the procedure defined in 3.2 is a first step of Schützenberger procedure. We can in general define T C(T) by adding n to the standardization of π 2,n (T) in the empty box obtained by eu de taquin, even if this box does not lie in the last column. However this procedure does not automatically preserve the singularity. As an example of non preserving singularity by the general procedure S T let us consider K S from section 2.3. It is the only singular component in type (2, 2, 1, 1). One has S = however K T is nonsingular., π 2,6 (S) = , so that S T = Partitioning a tableau and partial procedures. Let us further note that in special cases we can partition a tableau T into subtableaux and apply our procedure to the subtableaux. Let λ = (λ 1,...,λ m). Recall that ς i = λ λ i. Consider T Tab λ. Note that (T) 1,i+1 ς i + 1 always and moreover (T) 1,i+1 = ς i + 1 if and only if (T 1,..., T i ) Tab λ[1,i]. Thus, if there exists i : 1 i < m such that (T) 1,i+1 = ς i + 1 we can partition T into T [1,i] and T [i+1,m] where St(T [i+1,m] ) Tab λ[i+1,m] is well-defined. Proposition 3.1. Let λ = (λ 1,..., λ m ) and let T Tab λ be such that there exists i : 1 i < m such that (T) 1,i+1 = ς i + 1. Then K T = K T [1,i] K St(T [i+1,m]). Proof. To prove the proposition we recall the following very simple fact: Let X, Y be algebraic varieties. Let A X and B Y. Then for the Zariski closures: A B = A B. (2) Now, let W 1 = keru i and W 2 = V/W 1. Let u 1 End(W 1 ) and u 2 End(W 2 ) be the nilpotent endomorphisms induced by u. Let B u1 and B u2 be the corresponding Springer fibers. The map Φ : B u1 B u2 B u (V 0,..., V ςi ), (V 0,...,V n ς i ) (V 0,..., V ςi, V 1 + W 1,..., V n ς i + W 1 ) is well-defined and is a closed immersion, of image {(V 0,...,V n ) B u : V ςi = ker u i }. We have F T[1,i] F St(T[i+1,m] ) Φ 1 (F T ) Φ 1 (K T ). By (2) we get K T [1,i] K St(T [i+1,m] ) Φ 1 (K T ). Thus, Φ(K T [1,i] K St(T [i+1,m] ) ) K T. Since dim K T = dim K T [1,i] + dim K St(T [i+1,m] ) = dim Φ(K T [1,i] K St(T [i+1,m] ) ), we obtain the equality Φ(K T [1,i] K St(T [i+1,m] ) ) = K T. Hence K T [1,i] K St(T [i+1,m] ) = K T.

9 SINGULARITY OF COMPONENTS OF SPRINGER FIBERS 9 Let T Tab λ be such that there exist i 0 = 0 < i 1 <... < i s = m where s 2 such that (T) 1,i+1 = ς i +1 for any : 1 < s. Then we can partition T into subtableaux T [i 1+1,i ] for 1 s and try to apply either the cyclic or the Schützenberger procedure to these subtableaux. Indeed if T [i 1+1,i ] is such that S := C(St(T [i 1+1,i ])) is defined, then let Ŝ be obtained from S by (Ŝ) q,r = (S) q,r + ς i 1. Then by Lemma 3.1 and Proposition 3.1, K T is equinonsingular to K P, where P is the concatenation P = (T [1,i 1], Ŝ, T [i +1,m]). We put C [i 1+1,i ](T) := P in this case. Note that C(T) = C [1,m] (T). For example, let T = Then T [1,2] satisfies the condition. One has C(T [1,2] ) = and C [1,2] (T) = Note that in general C [i 1+1,i ](T) C k (T) for any k Z. Indeed, in the case above S := C(T) = , U := C(S) = , T = C(U) = C3 (T) so that C [1,2] (T) cannot be obtained from T by applying our cyclic procedure a few times to any of them. Exactly in the same way let S := Sch(St(T [i 1+1,i ])) and let Ŝ be obtained from S by (Ŝ) q,r = (S) q,r + ς i 1. Then by 3.3 and Proposition 3.1, K T and K P are equinonsingular, where P = (T [1,i 1], Ŝ, T [i +1,m]). We put Sch [i 1+1,i ](T) := P in this case. Again, Sch(T) = Sch [1,m] (T) Definition of Eqs-classes of equinonsingular components. Using the procedures above let us define classes of equinonsingular components in B u and respectively classes of equinonsingular tableaux in Tab J(u). Given T Tab λ set Eqs(T) to be the set of all S Tab λ for which there exists a chain T = T 1,...,T k = S where T l is obtained from T l 1 in one of two ways (a) T l = C k [i,] (T l 1 ) where 1 i < m and k = ±1; (b) T l = Sch [i,] (T l 1 ) where 1 i < m On the two-row case. As a first application we give a simple proof of the fact shown in [3, 5], namely Theorem 3.1. If J(u) = (r, s) then all the components of B u are nonsingular. Moreover, they are iterated bundles of base type (CP 1,..., CP 1 ) with s terms. Proof. Set By Proposition 3.1 P(r, s) := 1 3 2s 1 r + s 2 4 2s K P(r,s) = B 2 B 2... B }{{ 2 } s times B 1... B }{{} 1. r s times. (3) Since all the components in a same Eqs-class are either isomorphic or at least iterated bundles of the same base type (see the remark in 3.2), it remains to show that for T Tab (r,s) one has

10 10 LUCAS FRESSE AND ANNA MELNIKOV P(r, s) Eqs(T). We show this by induction on r + s. For r + s 2 this is trivially true. Assume this is true for r + s n 1 and show for r + s = n. First consider the case r = s. If (T) 2,1 = 2 then T is the concatenation T = ( 1 2, π 3,n(T)) with St(π 3,n (T)) Tab (r 1,r 1) so that all the tableaux with (T) 2,1 = 2 are in the same class by induction hypothesis. Thus, it is enough to show that for any T Tab (r,r) there exists such that (C (T)) 2,1 = 2. Actually, if (T) 2,1 = + 1 where 2 then (C(T)) 2,1 =, so that (C 1 (T)) 2,1 = 2, which completes the proof in the case (r, r). Now assume s < r. If sh (π 2,n (T)) = (r 1, s) then C(T) = (St(π 2,n (T)), (n)) and C(T) [1,r 1] Tab (r 1,s) so that by induction hypothesis P(r 1, s) Eqs(C(T) [1,r 1] ). Thus, P(r, s) = (P(r 1, s), (n)) Eqs(C(T)) = Eqs(T). If sh (π 2,n (T)) = (r, s 1) then there exists i : 1 i s such that (T) 2,i < (T) 1,i+1, hence one has sh (π 1,(T)2,i (T)) = (i, i) so that (T) 2,i = 2i. Then T = (T [1,i], T [i+1,r] ) with T [1,i] Tab (i,i) and St(T [i+1,r] ) Tab (r i,s i). By induction hypothesis P(i, i) Eqs(T [1,i] ) and P(r i, s i) Eqs(St(T [i+1,r] )). Thus, again P(r, s) Eqs(T). 4. On the components of (r, s, 1) type 4.1. Outline. Let us now consider the case (r, s, 1). Again applying Theorem 2.1, it is enough to show that K T is nonsingular for T Tab (r,r,1). Set k + 1 Q(k, k, 1) = 2 k k + 1. k + 2 Let P(s, s) be defined as in formula (3). Put P(0, 0) :=, and let P(s, s t) be the tableau P(s, s) shifted by t, that is (P(s, s t)) i, = (P(s, s)) i, + t for 1 i 2 and 1 s. Recall that (Q(k, k, 1), P(r k, r k 2k + 1)) Tab (r,r,1) is the tableau obtained by concatenating Q(k, k, 1) and P(r k, r k 2k + 1). Using Proposition 3.1, we get K (Q(k,k,1),P(r k,r k 2k+1)) = K Q(k,k,1) B 2... B }{{} 2. r k times Our strategy is to show first that Tab (r,r,1) is partitioned into r classes of equinonsingular components {Eqs((Q(k, k, 1), P(r k, r k 2k + 1))} r k=1 and then to show that the component K Q(k,k,1) is nonsingular Partition into Eqs-classes in the (r, r, 1) case. We start with some combinatorial notes. Consider T Tab λ for a partition λ of n. For 1 i n put r T (i) to be the number of the row i belongs to, that is r T (i) = k if there exists l such that (T) k,l = i. Since the entries increase in the rows from left to right, the positions {r T (i)} n i=1 define T completely. Put τ(t) := {i : r T (i + 1) > r T (i)}. Note that if i τ(t) then for any k, l such that k i and l i + 1 one has i τ(π k,l (T)). In fact τ(π k,l (T)) = τ(t) {k, k + 1,...,l 1}. One also has i τ(t) if and only if π i,i+1 (T) = i+1 i. Since sh (π i, (T)) = sh (π n+1,n+1 i (Sch(T))) we get that i τ(t) if and only if n i τ(sch(t)). Let T Tab λ where λ = (r, s, 1). Then (T) 2,1 1, (T) 3,1 1 τ(t). Put Since (T) (T) 2,1 1, it is well-defined. Put (T) := max{i τ(t) : i < (T) 3,1 1}. dist(t) := (T) 3,1 1 (T).

11 SINGULARITY OF COMPONENTS OF SPRINGER FIBERS 11 We need the following technical Lemma 4.1. Let T Tab (r,s,1). Then (i) One has (Sch(T)) 3,1 = n (T) + 1 so that dist(sch(t)) = dist(t); (ii) If C(T) is defined then (C(T)) 3,1 = (T) 3,1 1 and (C(T)) = (T) 1 (for r > 1), so that dist(c(t)) = dist(t); (iii) For any S Eqs(T) one has dist(s) = dist(t). Proof. (i) Let T Tab (r,s,1). We show (Sch(T)) 3,1 = n (T) + 1 by induction on n = r + s + 1. This is trivially true if n = 3. Assume this is true for n 1 and show for n. (a) If (T) 3,1 = n then (T) = max{i τ(t), i < n 1}. Note that (π (T),n (T)) 2,1 = (T) + 1 and (π (T),n (T)) 3,1 = n. Note also that One has τ(π (T),n (T)) = {(T), n 1}. (4) π (T),n (T) = (T) (T) + 1 n If sh (π (T),n (T)) = (r, s, 1) where s > 1 then (π (T),n (T)) 2,2 exists. But then by properties of Young tableaux (π (T),n (T)) 2,2 > (T) + 2 so that (π (T),n (T)) 2,2 1 τ(π (T),n (T)) in contradiction to (4). Therefore one has sh (π (T),n (T)) = (r, 1, 1) and sh (π (T)+1,n (T)) = (r, 1) so that, by Schützenberger procedure, (Sch(T)) 3,1 = n (T)+1. (b) Assume that (T) 3,1 < n. Then by induction hypothesis (Sch(π 1,n 1 (T))) 3,1 = n (T). Note that up to standardization Sch(π 1,n 1 (T)) = π 2,n (Sch(T)). In particular we get sh (π 2,n (Sch(T))) = (r, s, 1) so that eu de taquin from Sch(T) to π 2,n (Sch(T)) does not touch the third row, that is (Sch(T)) 3,1 = (π 2,n (Sch(T))) 3,1. Hence (Sch(T)) 3,1 = (Sch(π 1,n 1 (T))) 3,1 + 1 = n (T) + 1. Since there are no elements of τ between (T) and (T) 3,1 1 we get that n (T) 3,1 + 1 is the largest element of τ(sch(t)) smaller than n (T), so that (Sch(T)) = n (T) 3,1 + 1 and dist(sch(t)) = n (T) (n (T) 3,1 + 1) = (T) 3,1 1 (T) = dist(t). (ii) is immediate for r = 1. Assume r > 1. If C(T) is defined then (π 2,n (T)) 3,1 = (T) 3,1 so that (C(T)) 3,1 = (T) 3,1 1. Also, in this case either (T) 2,1 > 2 (this is always the case if s < r), or (T) 2,1 = 2 and 4 (T) 2,2 < (T) 3,1 (then (T) 2,2 1 τ(t)), so that in any case (T) > 1 and thus (C(T)) = (T) 1, which provides the result. (iii) follows straightforwardly from (i) and (ii) by definition of Eqs(T). Now, we can prove the following Proposition 4.1. We have Tab (r,r,1) = r Eqs(Q(k, k, 1), P(r k, r k 2k + 1)). k=1 Proof. Note that dist(q(k, k, 1), P(r k, r k 2k + 1)) = k. Thus, by Lemma 4.1, for any T Eqs(Q(k, k, 1), P(r k, r k 2k + 1)) one has dist(t) = k. It remains to show that dist(t) = k implies (Q(k, k, 1), P(r k, r k 2k + 1)) Eqs(T). This is trivially true for r = 1. Assume this is true for r 1 and show for r. First note that for any T Tab (r,r,1) one has either (T) 2,1 = 2 or (C (T)2,1 2 (T)) 2,1 = 2 exactly as in the case (r, r). Thus, there exists S Eqs(T) such that (S) 2,1 = 2..

12 12 LUCAS FRESSE AND ANNA MELNIKOV (a) If (S) 2,2 < (S) 3,1 then U := C 2 (S) is defined. Note that (U) 1,r = n 1 and (U) 2,r = n. Indeed C(S) = 1 (S) 1, (S) 1,r 1 1 (S) 1,r 1 (S) 2,2 1 (S) 2, (S) 2,r 1 n (S) 3,1 1 and respectively, since (C(S)) 1,i = (S) 1,i 1 < (C(S)) 2,i 1 = (S) 2,i 1 one has U = C 2 (S) = (S) 1,2 2 (S) 1, (S) 1,r 2 n 1 (S) 2,2 2 (S) 2, (S) 2,r 2 n (S) 3,1 2 Further, by induction, (Q(k, k, 1), P(r 1 k, r 1 k 2k + 1)) Eqs(π 1,n 2 (U)) for k = dist(u), so that one gets (Q(k, k, 1), P(r k, r k 2k +1)) Eqs(T) by the definition of Eqs(T). (b) If (S) 2,2 > (S) 3,1 then in particular dist(s) = (S) 3,1 1 1 = (S) 3,1 2 and: 3 (S) 3,1 r + 2; (S) 1,i = i + 1 for any i : 2 i (S) 3,1 2; (S) 2,r = n. If (S) 3,1 = 3 then S = (Q(1, 1, 1), π 4,n (S)) and, by the proof of Theorem 3.1, we have P(r 1, r 1) Eqs(St(π 4,n (S))). Thus, (Q(1, 1, 1), P(r 1, r 1 3)) Eqs(T). If (S) 3,1 = r + 2 then S = Q(r, r, 1). Thus, it remains to consider the case 3 < (S) 3,1 < r + 2. Let us show that in this case there exists U Eqs(S) such that (U) 1,r = n 1, (U) 2,r = n. As in (a), this provides by induction hypothesis that (Q(k, k, 1), P(r k, r k 2k + 1)) Eqs(T). Put m := (S) 3,1. Note that 1, m 1 τ(s). As well, since m < r + 2 one has r + 2 (S) 1,r n 1, and in particular (S) 1,r > m 1 on one hand and (S) 1,r is the maximal element of τ(s) on the other hand. Put l := (S) 1,r. One has τ(s) = {1, m 1,...,l}. If l = n 1 we are done. If l < n 1 consider S := Sch(S). One has τ(s ) = {n l,..., n m + 1, n 1}. Thus, S = 1 2 n l n m + 1 n l + 1 n m + 2 n 1 n Set U := C n l+1 (S ). Let us show that one has (U) 1,r = n 1, (U) 2,r = n. Consider first V := C n l 1 (S ). Since the first n l entries of the first row of S are 1, 2,...,n l we get that (V ) 2,1 = n l+1 (n l 1) = 2 and correspondingly (V ) 3,1 = n (n l 1) = l+1. Also, since l r + 2 we get that not more than the last r 2 elements of the second row of V can be l + 2, l + 3,...,n. Thus, (V ) 2,2 < l + 2. Therefore (V ) 2,2 < (V ) 3,1 and C(V ) is defined. Summarizing, we get V = 1 x 2... x r 2 y 2... n l + 1, C(V ) = 1 x x r 1 1 x r 1 y 2 1 y n 1 n l.., The proof is now complete. U = C 2 (V ) = 1 x x r 2 n 1 y 2 2 y n 2 n l 1.

13 SINGULARITY OF COMPONENTS OF SPRINGER FIBERS A set of special flags in the component K Q(k,k,1). It remains to show that K Q(k,k,1) is nonsingular. To show this we use the results of [1, 1.3] which we formulate in short in the beginning of this subsection. Let λ = (λ 1,..., λ k ) be a partition of n and let {e i} n i=1 be a fixed standard (Jordan) basis of V = C n. The basis is enumerated according to some standard tableau T Tab λ T = 1 t 1,2... t 1,k t 2, t λ 1,1 such that u End(V ) of Jordan form J(u) = λ acts on this basis by { eti, 1 if 2; u(e ti, ) = 0 otherwise. For any σ S n put F σ = (V 0,..., V n ) to be the flag such that, for any i : 1 i n, V i = Span{e σ(1),... e σ(i) }. We call such flags Jordan flags. Note that F σ B u if and only if for any i : 1 i n one has u(e σ(i) ) V i 1. Put S u := {σ S n : F σ B u }. Using [1, Lemma 1.3] one has Proposition 4.2. (i) K S {F σ } σ Su for any S Tab λ. (ii) The component K S is nonsingular if and only if any F K S {F σ } σ Su is a nonsingular point of K S. Let us apply Proposition 4.2 to our situation. Put n = 2k + 1. Let {e i } n i=1 be a standard (Jordan) basis of V = C n corresponding to T = 1 3 n n 1 n so that for the fixed nilpotent u End(V ) of Jordan form (k, k, 1) one has { 0 if i = 1, 2, n; u(e i ) = otherwise. e i 2 Let F σ denote a Jordan flag. Note that σ S u if and only if σ 1 is increasing on {1, 3,..., n 2} and {2, 4,..., n 1}, that is σ is a shuffling of the sets {1, 3,..., n 2}, {2, 4,..., n 1} and {n}. Note that keru = Span{e 1, e 2, e n } V k+2 for any flag F = (V 0,..., V n ) F Q(k,k,1). Since K Q(k,k,1) = F Q(k,k,1) we get that keru V k+2 for any F K Q(k,k,1). In particular for F σ K Q(k,k,1) one has σ 1 (n) k + 2. (5) For d {3,...,k + 2} put (d) := (d, n, n 1,...,d + 1) = We have the following ( 1... d 1 d d n 1... d 1 n d... n 1 ) S n. Lemma 4.2. (i) {F (d) } k+2 d=3 KQ(k,k,1). (ii) The component K Q(k,k,1) is nonsingular if and only if every Jordan flag F (d) such that F (d) K Q(k,k,1) is a nonsingular point of K Q(k,k,1).

14 14 LUCAS FRESSE AND ANNA MELNIKOV Proof. Put Z(u) = {g GL(V ) : gug 1 = u} to be the stabilizer of u. Define A (i) t, B () t GL(V ) (for 2) as follows { A (i) es if s < n; t (e s ) = e n + te i if s = n; Note that A (i) t B () t (e s ) = { es if s mod 2 or s {1, n}; e s + te s 1 if s mod 2 and s / {1, n}. Z(u) for i = 1, 2 and B () t Z(u) for < n. By Proposition 4.2, K Q(k,k,1) {F σ } σ Su, and K Q(k,k,1) is nonsingular if and only if any F σ K Q(k,k,1) is a nonsingular point of it. Note that if F Z(u)(F) is a nonsingular point of K T then F is a nonsingular point of K T. Thus, it is sufficient to show that the closure of the Z(u)-orbit of F σ for σ S u contains some flag F (d). Actually, (a) First, note that it is enough to consider only F σ K Q(k,k,1) for σ such that σ 1 (n) > σ 1 (i) for i = 1, 2. Indeed, if F σ K Q(k,k,1) is such that σ 1 (n) < σ 1 (i) for i {1, 2} one has σ := (i, n)σ (satisfying σ 1 (n) > σ 1 (i)) which is obtained as F σ = lim A (i) t (F σ ), thus, t F σ belongs to Z(u)(F σ ). (b) Next, exactly in the same way it is enough to consider only F σ for σ such that σ 1 (i 1) < σ 1 (i) for every 1 < i < n. Indeed, for F σ K Q(k,k,1) such that σ 1 (i 1) > σ 1 (i) for some i : 2 i n 1, there is σ S u satisfying σ 1 (i 1) < σ 1 (i) which is obtained as F σ = lim B (i) t t (F σ ) thus, F σ belongs to Z(u)(F σ ). Note that σ satisfying these two properties is equal to (d) for d = σ 1 (n). One has d k + 2 by (5) and d 3 by (a). Let B := Stab t (F (d) ) = {A GL(V ) : A t (F (d) ) = F (d) } be the transposition of the Borel subgroup fixing the flag F (d). Then Ω (d) := BF (d) is an open subset in the flag variety B. For F = (V 0,..., V n ) Ω (d) there is a unique basis η 1,...,η n such that V i = Span{η 1,..., η i } where n η i = e (d)(i) + φ i, e (d)() =i+1 for some φ i, C. The maps F φ i, are algebraic and the map F (φ i, ) 1 i< n is an isomorphism from Ω (d) to the affine space C n(n 1) 2. To show the nonsingularity of the component K Q(k,k,1) we will construct for every d {3,..., k+ 2} a closed immersion Φ : C k+2 Ω (d) satisfying the two conditions: (A) For (a 1,...,a k+2 ) such that a i 0 for any i one has Φ(a 1,..., a k+2 ) F Q(k,k,1) ; (B) Φ(0,..., 0) = F (d). By (A) we get that Φ : C k+2 K Q(k,k,1) is an isomorphism on a locally closed subset of K Q(k,k,1). Since dim K Q(k,k,1) = k + 2, the image of Φ is an open subset of K Q(k,k,1). Moreover, being isomorphic to C k+2, it is nonsingular. By (B) the flag F (d) belongs to it, hence F (d) is a nonsingular element of K Q(k,k,1). By Lemma 4.2 this provides that K Q(k,k,1) is nonsingular A preliminary construction before proving the nonsingularity of K Q(k,k,1). To construct Φ we need some preliminary construction of right vectors. Let (e 1,...,e n ) be as in 4.3. Let W 1 = Span{e 1, e 2,..., e n 3 } and W 2 = Span{e 3, e 4,..., e n 1 }. Thus, u : W 2 W 1 is an isomorphism. Let w : W 1 W 2 be its inverse, that is w(e i ) = e i+2 for any i : 1 i n 3. We extend the action of w to Span{e 1,..., e n 1 } putting w(e n 2 ) = w(e n 1 ) = 0.

15 SINGULARITY OF COMPONENTS OF SPRINGER FIBERS 15 Given α 3,..., α k+1 C we construct {v i } k+1 i=1 V as follows. Let v 1 = e 1 and v 2 = e 2. For i = 3,...,k + 1 set v i inductively by One has v i := w(v i 2 ) + α i w(v i 1 ). Lemma 4.3. (i) For i : 3 i k + 1 one has u(v i ) = v i 2 + α i v i 1. In particular, V i := Span{v 1,..., v i } is u-stable for every i : 1 i k + 1. (ii) For i : 2 i k+1 one has v i ker u i 1. Moreover, if α 0 for every : 3 k+1, then v i keru i 2. (iii) Set α 1 = α 2 = 0. For i 3, set α i = α i 2 + α i. Then for every i : 1 i k + 1. v i e i α i e i+1 Span{e i+2,...,e n 1 } Proof. (i) follows from the definition. We prove (ii) by induction. It is immediate for i = 2. Case i = 3: by (i) u(v 3 ) = e 1 +α 3 e 2 keru that is v 3 keru 2 and v 3 keru. Assume this is true for i 3 and show for i + 1. By (i), u(v i+1 ) = v i 1 + α i+1 v i. By induction hypothesis v i 1, v i keru i 1 and if α 0 for i + 1 one has v i 1 + α i+1 v i keru i 2. Thus, v i+1 keru i and v i+1 keru i 1. We prove (iii) by induction. This is trivially true for i = 1, 2. Assume it is true for i and show for i + 1. By definition v i+1 = w(v i 1 ) + α i+1 w(v i ) = w(v i 1 ) + ( α i+1 α i 1 )w(v i ). Further by induction v i 1 = e i 1 + α i 1 e i + n 1 β e and v i = e i + α i e i+1 + n 1 γ e. Thus, v i+1 = e i+1 + α i 1 e i+2 + n 3 =i+1 =i+3 =i+1 = e i+1 + α i+1 e i+2 + n 1 λ e. Therefore, v i+1 e i+1 α i+1 e i+2 Span{e i+3,...,e n 1 }. =i+2 β e +2 + ( α i+1 α i 1 )(e i+2 + α i e i+3 + n 3 =i+2 γ e +2 ) To define vectors v k+2,..., v n 1 we need some intermediate construction of vectors r (i) 1,..., r(i) i for i k + 2. Then set v i := r (i) i for i : k + 2 i n 1. First put r (k+1) := v and β (k+1) := α for : 1 k + 1. For i k + 2 we define vectors r (i) Set r (i) 1 := e 1, r (i) 2 := e 2 and β (i) 1 = β (i) r (i) := w(r (i 1) 2 ) and β(i) := β (i 1) 2 Lemma 4.4. Let i {k + 1,..., n 1}. and numbers β (i) for : 1 i by induction procedure. 2 = 0 for any k + 2 i n 1. For : 3 i set. We have the following (i) Note that r (i) = w(r (i) 2 ) + β(i) w(r (i) 1 ) and u(r(i) ) = r(i) 2 + β(i) r (i) 1 for any 1 i. Therefore, the subspace Span{r (i) } is u-stable. Moreover for i k + 2 we have 1,..., r(i) i Span{r (i 1) 1,..., r (i 1) i 1 } Span{r(i) 1,...,r(i) = 0 and r (i) i }. = e for 1 2(i k). Also β (i) (ii) Note that β (i) = α 2(i k 1) for > 2(i k). Moreover for > 2(i k), one has r (i) ker u (i k), and if α 3,..., α k+1 are all nonzero, then r (i) ker u (i k) 1.

16 16 LUCAS FRESSE AND ANNA MELNIKOV (iii) Set (i) (i) β 1 = β 2 = 0. For 3 i, set r (i) e β (i) := β (i) 2 + β(i). Then β (i) e +1 Span{e +2,..., e n 1 } for every : 1 i. (iv) One has Span{r (i) 1,...,r(i) i } = Span{v 1,...,v k+1, v k+2,..., v i }. (v) If α 3 =... = α k+1 = 0 then v i = e i for any 1 i n 1 and r (i) k + 2 i n 1 and 1 i. = e for any Proof. We prove (i) by induction. For i = k + 1 one has r (k+1) = α so that by Lemma 4.3 (i), the claim is true. Assume the claim is true for i k + 1 and show for i + 1. For = 3, 4 one has r (i+1) true. For 5 one has = w(r (i) 2 ) + β(i+1) w(r (i) 1 ) (since β(i+1) = v and β (k+1) = 0) so that the claim is trivially r (i+1) = w(r (i) 2 ) = w(w(r(i) 4 ) + β(i) 2 w(r(i) 3 )) (by induction hypothesis) = w(r (i+1) 2 = w(r (i+1) + β (i+1) 2 ) + β(i+1) r (i+1) 1 ) w(r (i+1) 1 ). Thus, the claim is true. This provides u(r (i) ) = r(i) 2 + β(i) r (i) 1 (by definition) u-stable. To show that Span{r (i 1) 1,...,r (i 1) i 1 } Span{r(i) 1,..., r(i) we have r (i 1) = w(r (i 1) 2 ) + β(i 1) w(r (i 1) 1 ) = r(i) + β (i 1) r (i) +1. To show (ii) first note that r (i) = w(r (i 1) 2 = β (i 1) 2 so that Span{r(i) 1,...,r(i) } is i } note that for 3 i 1 ) and β(i) so that the first three equalities follow by a straightforward induction on i k +1. The proof of the last claim in (ii) is exactly the same as the proof of the last claim in Lemma 4.3 (ii). The proof of (iii) is exactly the same as the proof of Lemma 4.3 (iii). To prove (iv) recall that v i = r (i) i for i k + 2 and note that by (i) Span{v 1,...,v k+1, r (k+2) k+2,...,r(i) i } Span{r (i) 1,..., r(i) i }. Further by Lemma 4.3 (iii) we have v e Span{e +1,...,e n 1 } for any k + 1 and by (iii) we have r () e Span{e +1,..., e n 1 } for any k + 2. Therefore, the family of vectors {v 1,...,v k+1, r (k+2) k+2,...,r(i) i } is linearly independent so that dim Span{v 1,...,v k+1, r (k+2) k+2,...,r(i) i } = i dimspan{r (i) 1,...,r(i) i } which provides the equality. We prove (v) by induction on i. It is trivially true for i = 1, 2. Assume it is true for 2 i k and show for i+1. In that case v i+1 = w(v i 1 ) = w(e i 1 ) = e i+1. Now if it is true for i k+1 then = e for = 1, 2 by definition. For 3 i + 1 we have r (i+1) = w(r (i) 2 ) = w(e 2) = e. r (i+1) In particular, v i = r (i) i = e i for k + 2 i n Nonsingularity of the component K Q(k,k,1). Now we are ready to show Proposition 4.3. Every F (d) : 3 d k + 2 lies in K Q(k,k,1) and is a nonsingular point. In particular, K Q(k,k,1) is nonsingular. Proof. As we have explained in 4.3, it is sufficient to construct a closed immersion Φ : C k+2 Ω (d) satisfying the two conditions: (A) For (a 1,...,a k+2 ) such that a i 0 for any i, one has Φ(a 1,..., a k+2 ) F Q(k,k,1). (B) Φ(0,..., 0) = F (d). i

17 SINGULARITY OF COMPONENTS OF SPRINGER FIBERS 17 We start with the case d = k+2. Consider (α 1, α 3,..., α k+1, γ k, γ k+1 ) C k+2 and let {v i } n 1 i=1 be the vectors associated to {α i } k+1 i=3 constructed in 4.4. Set {γ i} i=1 k 1 inductively by γ i := α i+2 γ i+1 for i 2 and γ 1 = (α 3 α 1 )γ 2. Now we define vectors η 1,...,η n as follows. Set η 1 := e 1 + α 1 e 2 + γ 1 e n, η 2 := e 2 + γ 2 e n and η k+2 := e n. For i : 3 i k + 1 set η i := v i + γ i e n. For i : k + 3 i n set η i := v i 1. For i 1 put U i = Span{η 1,..., η i }. Set Φ(α 1, α 3,..., α k+1, γ k, γ k+1 ) := (U 0,..., U n ). Note that (U 0,...,U n ) Ω (d) for any (α 1, α 3,...,α k+1, γ k, γ k+1 ) C k+2. This is straightforward from Lemma 4.3 (iii) and Lemma 4.4 (iii). Φ(0,..., 0) = F (d) by Lemma 4.4 (v). Φ : C k+2 Ω (d) is a closed immersion. To show this recall from 4.3 that we have η i = e (k+2)(i) + n =i+1 φ i,e (k+2)() Consider the dual morphism of algebras Φ : C[φ i, : 1 i < n] C[α 1, α 3,...,α k+1, γ k, γ k+1 ]. Let us show that Φ is surective. Indeed, α 1, α 3,...,α k+1, γ k, γ k+1 can be expressed in terms of the φ i, s. First we have η 1 = e 1 + α 1 e 2 + γ 1 e n hence α 1 = φ 1,2 ImΦ. For i = 3,...,k + 1 by Lemma 4.3 (iii) one has η i = e i + α i e i+1 + γ i e n + η i where η i Span{e i+2,..., e n 1 }. Hence α i ImΦ. Thus, α i = α i α i 2 ImΦ. Note also that γ k = φ k,k+2 and γ k+1 = φ k+1,k+2 so that γ k, γ k+1 ImΦ. Therefore, Φ is surective so that Φ is a closed immersion. (U 0,...,U n ) B u for any (α 1, α 3,..., α k+1, γ k, γ k+1 ) C k+2. Indeed, by definition of v i and η i we get u(u i ) = 0 for i = 1, 2; also U i = Span{e 1 + α 1 e 2 + γ 1 e n, e 2 + γ 2 e n,..., v k+1 + γ k+1 e n, e n, v k+2,...,v i 1 } = Span{e n, v 1,...,v i 1 } for i k+2 so that it is u-stable by Lemma 4.4 (i) and (iv). Further since γ 1 = (α 3 α 1 )γ 2 we get u(η 3 ) = u(v 3 + γ 3 e n ) = e 1 + α 3 e 2 = (e 1 + α 1 e 2 + γ 1 e n ) + (α 3 α 1 )(e 2 + γ 2 e n ) = η 1 + (α 3 α 1 )η 2. In the same way, taking into account γ i 2 = α i γ i 1 for i 4 we get for i : 4 i k+1: u(η i ) = u(v i + γ i e n ) = v i 2 + α i v i 1 = (v i 2 + γ i 2 e n ) + α i (v i 1 + γ i 1 e n ) = η i 2 + α i η i 1 thus, u(η i ) U i 1 for any 3 i k + 1. Thus, U i is u stable also for any 3 i k + 1. If α 3,..., α k 0 then (U 0,..., U n ) F Q(k,k,1). Indeed, by the definition of η 1, η 2 one has U 2 keru and if α 3,..., α k 0 then by Lemma 4.3 (ii) η i keru i 2 thus J(u Ui ) = (i 1, 1) for any 2 i k + 1. Then since η k+2 = e n we get J(u Uk+2 ) = (k, 1, 1) and since (U 0,..., U n ) B u this provides (U 0,..., U n ) F Q(k,k,1). This completes the proof for d = k + 2. The construction in the case d < k + 2 is very similar. Let (α 1, α 3,..., α d, α d+2,... α k+2, γ d 1, ν) C k+2 and we set α d+1 := νγ d 1. Let {v i } n 1 i=1 be the set of vectors associated to {α i } k+1 i=3 as they are defined in 4.4. Set {γ i} d 2 i=2 by γ i = α i+2 γ i+1 and γ 1 = (α 3 α 1 )γ 2 (exactly as in the previous case). And again as in the previous case we define {η i } n i=1 by η 1 := e 1 +α 1 e 2 +γ 1 e n, η 2 := e 2 +γ 2 e n and for 3 i d 1 set η i := v i +γ i e n. And exactly as in the previous time for i k+3 set η i := v i 1. We change the definition of η i for d i k+2. Put η d := e n + νv d and η k+2 := v k+1. Finally, put η i := v i 1 + α i+1 v i for d + 1 i k + 1. And again put U i := Span{η 1,..., η i } and consider the flag Φ(α 1, α 3,...,α d, α d+2,...α k+2, γ d 1, ν) := (U 0, U 1,...,U n ). Exactly as in the case d = k + 2 one has

18 18 LUCAS FRESSE AND ANNA MELNIKOV (U 0,...,U n ) Ω (d) for any (α 1, α 3,...,α d, α d+2,...α k+2, γ d 1, ν) C k+2. This is a straightforward consequence of Lemma 4.3 (iii) and Lemma 4.4 (iii). Φ(0,..., 0) = F (d) by Lemma 4.4 (v). Φ : C k+2 Ω (d) is a closed immersion. To show this we again consider the dual map Φ : C[φ i, : 1 i < n] C[α 1, α 3,...,α d, α d+2,...,α k+2, γ d 1, ν] and show that it is surective. Again, since η 1 = e 1 +α 1 e 2 +γ 1 e n we get α 1 = φ 1,2 ImΦ. Consider { α i } k+1 i=3 introduced in Lemma 4.3 (iii). Set in addition α k+2 := α k+2 + α k. For 3 i d 1 we get exactly as in case d = k + 2 that α i ImΦ. Note also that γ d 1 = φ d 1,d. Further, η d = e n + νe d + η d where η d Span{e d+1,...,e n 1 } so that ν = φ d,d+1. By our definition α d+1 = νγ d 1 so that α d+1 ImΦ thus, α d+1 = α d 1 + α d+1 ImΦ. For d+2 i k+2 again one has η i 1 = e i 2 +( α i 2 +α i )e i 1 +η i 1 where η i 1 Span{e i+2,..., e n 1 } so that φ i 1,i = α i 2 +α i = α i. Thus, { α i } d 1 i=3 { α i} k+2 i=d+1 ImΦ. It remains to show that α d ImΦ to get that α i = α i α i 2 ImΦ for any 3 i k + 2 which completes the proof. To prove this, set i = 2k + 2 d. Then, since 3 d k + 1, one has k + 2 i + 1 n. Thus, η i+1 = v i = e i + e i+1 + η i+1 where η i+1 Span{e i,...,e n 1 }. Thus, φ i+1,i+2 = i. By Lemma 4.3 (iii) and Lemma 4.4 (i) (ii) (iii) we get β i = α i 2(i k 1) = α d which completes the proof. (U 0,...,U n ) B u for any (α 1, α 3,..., α d, α d+2,... α k+2, γ d 1, ν) C k+2. For i k + 2, as in the case d = k +2, we can see that U i = Span{e n, v 1,..., v i 1 } so that U i is u-stable. Further, U i is u-stable for i d 1 exactly as in the case d = k + 2. Further, since γ d 2 = α d γ d 1 we get exactly as in the case d = k + 2: β (i) u(η d ) = νu(v d ) = ν(v d 2 + α d v d 1 ) = ν(η d 2 + α d η d 1 ). Thus, U d is u-stable. We also note that by the same formula we get u(v d ) U d 1. Since α d+1 = νγ d 1 we get u(v d+1 ) = v d 1 + α d+1 v d = (v d 1 + γ d 1 e n ) γ d 1 (e n + νv d ) = η d 1 γ d 1 η d so that u(v d+1 ) U d. Now for i : d + 2 i k + 1 we get u(v i ) = v i 2 + α i v i 1 = η i 1 so that u(v i ) U i 1. Altogether this provides us that for i : d + 1 i k + 1 one has u(η i ) = u(v i 1 + α i+1 v i ) U i 1 so that U i is u-stable for any d + 1 i k + 1, which completes the proof. Finally, if α 3,...,α d, α d+2,...,α k+2, γ d 1, ν 0 then (U 0,..., U n ) F Q(k,k,1). First, note that γ d 1, ν 0 implies α d+1 0. Since η i is defined exactly as in the case d = k + 2 for i d 1 we get J(u Ui ) = (i 1, 1) for any i d 1. Further, since η d = e n + νv d and η i = v i 1 + α i+1 v i for d + 1 i k + 1 Lemma 4.3 (ii) provides η i keru i 1 and η i keru i 2 so that again J(u Ui ) = (i 1, 1) for any d i k + 1. As we saw in the previous item U k+2 = Span{e n, v 1,..., v k+1 } so that J(u Uk+2 ) = (k, 1, 1) and since (U 0,...,U n ) B u this provides (U 0,...,U n ) F Q(k,k,1). This completes the proof for d < k + 2. Index of the notation 1.1 V, n, u, B, B n, B u, J(u), Y (u), Y λ, Tab λ 1.3 λ, sh(t), π 1,i (T), F T, K T 2.1 π i, (T), Sch(T), F T 3.1 λ [i,], ς i, (T) i,, T, T [i,], St(T) β (i) i