![Arxiv:1910.03010V3 [Math.RT] 1 Dec 2020](http://data.docslib.org/img/20cef312fa3c8434b878c8b9086d7a2a-1.webp)
arXiv:1910.03010v3 [math.RT] 1 Dec 2020 ait a eraie safie-on uvreyo yeA type a of subvariety fixed-point Li a and as [HL14] realized Henderson–Licata be of Li19 Work can [Wil18, variety any case. Spri two-row D, D fact, no type type In are the of there treat D. Ger61], fiber type [Wil37, Springer of orbits, two-row nilpotent fibers a Springer two-row to on isomorphic be will focus h reuil opnnsrmisa pnproblem. open g an precise remains components the irreducible of the understanding tha an more q with obtaining the endomorphisms on endomorphisms, nilpotent relations to the generalized if be investigate can Stroppel–Webster L to of interesting (cf. results be the explicit would of becomes translation actually a for matrices) allows of terms in [Fun03]. tions Fung, by work te earlier in an components ( on irreducible goal based a the our [SW12], achieve of containing we description variety We explicit application, variety. Slodowy an an quiver As entire the isomorphism. the of Maffei’s subvariety of Maffei’s a varie points using as Slodowy represent varieties fiber the quiver Springer in of the contained view of naturally of are point fibers the Springer from m A into decompose type and singular are repres fibers of Springer construction general, geometric the In in role crucial a plays proved varietie was quiver conjecture between t This connection to precise slices varieties. a quiver of establishing as resolutions realize realized i.e., be can varieties, be varieties Slodowy flag the partial that weig of highest bundle integrable envelopi cotangent their universal the with the altogether of algebras Lie construction geometric a provide hrfr ensltit h w rpit arXiv:2009.087 preprints two This the into subvarieties. split fixed-point been the therefore using without efficiently 1.1. h eodgoal second The an by give is general in (which isomorphism Maffei’s Moreover, comp irreducible the study to is article this of goal first The object geometric important an varieties, quiver from Aside 1 ewudlk otakDnka i o onigotta h s the that out pointing for Kim Dongkwan thank to like would We REUIL OPNNSO W-O PIGRFBR AND FIBERS SPRINGER TWO-ROW OF COMPONENTS IRREDUCIBLE akrudadsummary. and Background ytkn nainsudravreyatmrhs,w obtai we automorphism, v variety quiver a Nakajima under certain invariants in taking subvarieties By closed as A type in Abstract. eain niorpcflg htdsrb h reuil c irreducible the classi describe of that flags fibers isotropic Springer on two-row relations of components irreducible egv nepii ecito fteirdcbecomponen irreducible the of description explicit an give We 1 fti ril st eeaieterslsi yeAt l cl all to A type in results the generalize to is article this of E EN M HNJ A,ADAI WILBERT ARIK AND LAI, CHUN-JU IM, SEONG MEE AAIAQIE VARIETIES QUIVER NAKAJIMA uvrvreiswr sdb aaiai Nk4 a9]to Nak98] [Nak94, in Nakajima by used were varieties Quiver 1. Introduction 8adarXiv:2011.13138. and 78 1 aucit(o neddfrpbiaini ora)has journal) a in publication for intended (not manuscript omponents. n a varieties. flag and s nain fWy rus(f Sr6 Spr78]). [Spr76, (cf. groups Weyl of entations tmdls twssonb aaiathat Nakajima by shown was It modules. ht eajitobt ntenloetcn,can cone, nilpotent the in orbits adjoint he oteqie ait,sePooiin38 It 3.8. Proposition see variety, quiver the to m fflg bandb Stroppel–Webster, by obtained flags of rms grfieso yeB ec,i seog to enough is it Hence, B. type of fibers nger a ye sacneune ediscover we consequence, a As type. cal reisi em fqie representations. quiver of terms in arieties ie ait fteirdcbecomponents irreducible the of variety uiver gagbafrsmerzbeKac-Moody symmetrizable for algebra ng saqie ait.H loconjectured also He variety. quiver a as d nepii leri ecito fthe of description algebraic explicit an n ma32 nteSooyvrey which variety, Slodowy the on 3.2) emma y tmkssnet ecieteimage the describe to sense makes it ty, yMffi Mf5 hoe ] thereby 8], Theorem [Maf05, Maffei, by oercadcmiaoilsrcueof structure combinatorial and eometric cn olo hspprcnb bandmore obtained be can paper this of goal econd w odnbok.Frteenilpotent these For blocks. Jordan two n noratcei h pigrfie,which fiber, Springer the is article our in ygvntorwSrne brunder fiber Springer two-row given ny n reuil components. irreducible any uvrvreyudrasial variety suitable a under variety quiver e hoe .) u ro eison relies proof Our 3.9). Theorem see ecieqie ersnain which representations quiver describe L1]sosta h yeDSlodowy D type the that shows [Li19] .Mroe,b h lsicto of classification the by Moreover, ]. nnso w-o pigrfiesin fibers Springer two-row of onents mlctslto fasse fequa- of system a of solution implicit w-o pigrfie ftp is C type of fiber Springer two-row smrhs.Mr rcsl,since precisely, More isomorphism. so w-o pigrfibers Springer two-row of ts sia ye.Our types. assical automorphism. These fixed-point subvarieties play an important role in developing the geometric representation theory of symmetric pairs, [Li19]. Our second main result (see Theorems 6.1 and 7.3) is to explicitly compute the fixed points contained in the subvarieties of the quiver variety corresponding to the irreducible components in type A. By sending the result through Maffei’s isomorphism we obtain explicit algebraic relations that describe the irreducible components of the type D two-row Springer fiber in terms of isotropic flags. Finally, we 1 show that these subvarieties are indeed irreducible components using an iterated PC-bundle argument. This generalizes the results by Stroppel–Webster to all other types. Before our manuscript, for two- row Springer fibers of type D, the only explicit algebro-geometric construction of components required an intricate inductive procedure, see [ES16a, §6], based on [Spa82, vL89]. Other than that, only topological models were available, [ES16a, Wil18]. There have been an extensive study of Lagrangian subvarieties in quiver varieties (see e.g., [Lus91, Lus98, Nak94, Nak98, Sai02, KS19]). That is, such subvarieties index crystal bases of certain irre- ducible representations of simple Lie algebras using a conormal bundle approach or torus fixed-point approach. In particular, they can also be identified with Springer fibers via Maffei’s isomorphism. Our results however make preceding constructions explicit.
1.2. Type A: Two-row Springer fibers and quiver varieties. Let µ : be the Springer resolution for nilpotent cone of gl (C). For any element x , one can associateN →N a Slodowy slice N n ∈N x, a Slodowy variety x, and a Springer fiber x with the relations below: e S S B
e −1 −1 x = µ (x) / x = µ ( x) / B S S N µ| e µ. e Sx e x / x / { } S N
It was conjectured by Nakajima in [Nak94] and then proved by Maffei [Maf05, Theorem 8] that there is an isomorphism ϕ : M(d, v) x between the Slodowy variety and a certain Nakajima quiver variety M(d, v), which is realized→ byS a geometric invariant theory (GIT) quotient of a certain space + of (type A) quiver representationse Λe (d, v), which consists of collections ((Ai)i, (Bi)i, (Γi)i, (∆i)i) of linear maps. In particular, it can be realized via certain stability and admissibility conditions. For a nilpotent endomorphism x of Jordan type (n k, k), it is well-known (cf. [Fun03, § 7]) that the a − irreducible components K a of the Springer fiber x are parametrized by the so-called cup diagrams. The purpose of this article{ } is to give an explicit descriptioB n (of the irreducible components) of the Springer fibers via the embedding into the corresponding Nakajima quiver varieties. Their relations are depicted as below:
e + p ϕ Λ (d, v) M(d, v) x ≃ S e −1 ϕ ( x) x. B ≃ B e −1 a a ϕ (K ) ≃ K
a Each irreducible component K consists of pairse (x, F•) for some complete flag F• = (0 ( F1 ( . . . ( n Fn = C ) subject to certain relations imposed from the configurations of cups and rays in a cup diagram. 2 Our first result is to give explicit and new relations on the quiver representation side that correspond to the cup/ray relations in [SW12, Proposition 7] as below:
i j − 1 (j−i+1) Cup relation for Fj = x 2 Fi ∪ ⇔ −1 ker Bi−1Bi B j+i−3 = ker Aj−1Aj−2 A j+i−1 , ⇔ · · · 2 · · · 2 i − 1 (i−ρ(i)) n−k−ρ(i) Ray relation for Fi = x 2 (x Fn) | ⇔ BiAi =0 if c(i) 1, ≥ ⇔ BiBi Bn k Γn k =0 if c(i) = 0, ( +1 · · · − −1 − i−ρ(i) where ρ(i) Z>0 counts the number of rays (including itself) to the left of i , and c(i)= 2 is the total number∈ of cups to the left of i. In other words, we have constructed a subvariety M a M(d, v) inside the quiver variety using the above relations, whose points correspond to exactly one irreducible⊂ component of the Springer fiber, and we prove: Theorem A (Theorem 3.9). For any cup diagram a, the Maffei–Nakajima isomorphism ϕ : M(d, v) a a → x between quiver variety and Slodowy variety restricts to an isomorphism M K between irre- S → ducible components. e e Φ Φ 1.3. Springer fibers of classical type. For any type Φ = B, C or D, let µΦ : be the Springer resolution for the nilpotent cone Φ of the Lie algebra gΦ of type Φ. For eachN →x N Φ , Φ N Φ Φ ∈N ⊂N one associates a Slodowy slice x , a Slodowy variety x , and a Springer fiber x ,e which are related as follows: S S B Φ = µ−1(x) / Φ = µe−1( Φ) / Φ Bx Φ Sx Φ Sx N µ . e e Φ x / Φ / Φ { } Sx N Φ In the following, we would like to study the components of Springer fibers x associated with a nilpotent endomorphism x Φ of Jordan type (n k, k), using a generalized cupB diagram approach. As mentioned in Section∈N 1.1, it suffices to study− the type D Springer fibers of two Jordan blocks. The type D cup diagrams are similar to the type A ones but with two new ingredients – marked cups and marked rays, which arise naturally in the process of folding a centro-symmetric type A cup diagram (see [ES16b, LS13]). For example,
1 2 3 4 5 6 7 8 9101112 1 2 3 4 5 6 ⇒
Here the cups and rays may carry a mark (i.e., ) subject to some conditions. Unlike in type A, no explicit relations describing the flags in a given component were known for marked diagrams. In this paper, we discover explicit relations on the flags described by the cups and rays for a marked diagram. In order to achieve this, we study the process of taking fixed-points under a certain automorphism on the quiver varieties, which naturally corresponds to a folding of a type A cup diagram. 1.4. Involutive quiver varieties. For a Nakajima quiver variety M(d, v) of type A, an automorphism θ on the type A Dynkin diagram induces a variety automorphism Θ which also depends on some non-degenerate bilinear form. These fixed-point subvarieties M(d, v)Θ appeared in [HL14], and were generalized in [Li19] (see [Li19, Section 4] for a more general construction of such subvarieties). It is shown in [HL14] that under the Maffei-Nakajima isomorphism, M(d, v)Θ encodes the type D Slodowy varieties. 3 We can now apply this folding technique to our subvariety M a M(d, v) and then obtain a fixed- point subvariety (M a)Θ M(d, v)Θ associated with a type D cup⊂ diagram. ⊂ Theorem B (Theorem 6.1). For any type A cup diagram a that is centro-symmetric, the Maffei- a Θ a˙ Nakajima isomorphism ϕ restricts to an isomorphism (M ) a˙ K , wherea ˙ runs over all type D cup diagrams which unfold to a in the sense of Definition 4.4.→⊔ Moreover, e M(d, v)Θ Ka˙ . ≃ a [˙ As an application, we obtain the relations on the isotopic flags imposed by marked cups and marked rays:
i j ⌊ i ⌋ ⌊ j+1 ⌋ Marked cup relation for x 2 Fi = x 2 Fj, ∪ ⇔ i e1, . . . , e 1 (i+1), f1, . . . , f 1 (i−1) if n = 2k, Marked ray relation for Fi = h 2 2 i | ⇒ ( e1, . . . , ei−c(i)−1, f1, . . . , fc(i), fc(i)+1 + ei−c(i) if n> 2k. h i Acknowledgment. M.S.I. would like to thank the University of Georgia for organizing the Southeast Lie Theory Workshop X, where our collaborative research group initially came together. The authors also thank the AGANT2 group at the University of Georgia for supporting this project. This project was initiated as a part of the Summer Collaborators Program 2019 at the School of Mathematics at the Institute for Advanced Study (IAS). The authors thank the IAS for providing an excellent working environment. We are grateful for useful discussions with Jieru Zhu during the early stages of this project. We thank Anthony Henderson, Yiqiang Li, and Hiraku Nakajima for helpful clarifications, and Catharina Stroppel for helpful comments on earlier drafts of our manuscript. A.W. was also partially supported by the ARC Discover Grant DP160104912 “Subtle Symmetries and the Refined Monster”.
2. Springer fibers and Nakajima quiver varieties of type A 2.1. Springer fibers and Slodowy varieties. Fix integers n, k such that n 1 and n k k 0. ≥ − ≥ ≥ Let be the variety of nilpotent elements in gln(C). Let G = GLn(C). One may parametrize the G- orbitsN in using partitions of n by associating a nilpotent endomorphism to the list of the dimensions of the JordanN blocks. Denote the complete flag variety in Cn by n = F =(0= F F . . . Fn = C ) dim Fi = i for all 1 i n . (2.1) B { • 0 ⊂ 1 ⊂ ⊂ | ≤ ≤ } We denote the Springer resolution by µ : , (u, F ) u, where N →N • 7→ ∗ = T = (u, F ) u(Fi) Fi for all i . (2.2) N B ∼ { • e∈N×B| ⊆ −1 } We denote the Springer fiber of x by e ∈N −1 x = µ (x). (2.3) B For each nilpotent element x , we denote the Slodowy transversal slice of (the G-orbit of) x by the variety ∈ N x = u [u x, y] = 0 , (2.4) S { ∈ N | − } where (x, y, h) is a sl2-triple in (here (0, 0, 0) is also considered an sl2-triple). We then denote the Slodowy variety associated to xNby −1 x = µ ( x)= (u, F ) [u x, y] = 0, u(Fi) Fi for all i . (2.5) S S { • ∈N×B| − ⊆ −1 } −1 −1 In particular, x x and hence x = µ (x) µ ( x)= x. e ∈ S B ⊂ S S 2Algebraic Geometry, Algebra, and Number Theory. e 4 From now on, let n, k be non-negative integers such that n k k. If x is of Jordan type (n k, k), we write − ≥ − n k k := x, n k k := x, n k k := x. (2.6) B − , B S − , S S − , S 2.2. Irreducible components of Springer fibers of two-rows.e A cupe diagram is a non-intersecting arrangement of cups and rays below a horizontal axis connecting a subset of n vertices on the axis, and we identify any cup diagram a with the collection of sets of endpoints of cups as below: n a it, jt 1, . . . , n 1 t k for some k . (2.7) ≡ {{ } ⊂ { } | ≤ ≤ } ≤ 2 We use a rectangular region that contains all the cups to represent the cupj diagram.k Note that a ray is now a through-strand in this presentation but we still call it a ray. The irreducible components of the Springer fiber n−k,k can be labeled by the set Bn−k,k of all cup diagram on n vertices with k cups and n 2k rays.B For example, when n = 3 we have − 1 2 3 1 2 3 1 2 3 B3,0 = , B2,1 = , . (2.8) ( ) ( ) a We denote by K the irreducible component in n k k associated to the cup diagram a Bn k k. B − , ∈ − , Proposition 2.1. Let x with Jordan type (n k, k). We fix a basis ei, fj 1 i n k, 1 j k of Cn such that on∈N which x acts by − { | ≤ ≤ − ≤ ≤ } fk fk . . . f 0, en k en k . . . e 0. 7→ −1 7→ 7→ 1 7→ − 7→ − −1 7→ 7→ 1 7→ (a) There exists a bijection between the irreducible components of the Springer fiber n k k and B − , the set Bn−k,k of cup diagrams on n vertices with k cups. a (b) The irreducible component K n k k consists of the pairs (x, F ) n k k such that ⊆B − , • ∈B − , (2.9) holds for all (i, j) = (it, jt), 1 t k, ≤ ≤ (2.10) holds for any i it, jt 1 t k . 6∈ { | ≤ ≤ } Here the cup relation is given by − 1 (j−i+1) Fj = x 2 Fi−1, (2.9) where x−1 denotes the preimage of a space under the endomorphism x; while the ray relation is given by
Fi = Fi−1 e 1 (i+ρ(i)) , (2.10) ⊕ h 2 i where ρ(i) Z> be the number of rays to the left of i (including itself). ∈ 0 Proof. See [Spa76] and [Var79] for part (a). For part (b), we refer to [SW12, Proposition 7] (see also [Fun03, Theorem 5.2]).
− 1 (i−ρ(i)) n−k−ρ(i) Remark 2.2. The ray relation (2.10) is equivalent to that Fi = x 2 (x Fn). 2.3. Quiver representations. Now we follow [Maf05] to realize Nakajima’s quiver variety as equiv- alence classes of semistable orbits of a certain quiver representation space, which is equivalent to the usual proj construction in GIT. Let S(d, v) be the quiver representation space of type A (see [Maf05, Defn. 5]) with respect to dimension vectors d = (dim Di)i, v = (dim Vi)i. In this article we do not need the most general S(d, v), and hence we will be focusing on certain special cases which we will elaborate below. For k
dim Di 0 0 1 0 1 0 0 · · · · · · · · · D D kU n−U k Γk ∆k Γn−k ∆n−k
A A Ak An−k An−2 1 * 2 * * , * , * , , V1 V2 Vk j Vk+1 j Vn−k Vn−2 Vn−1 j j · · · j l · · · j l · · · j l B1 B2 Bk Bn−k Bn−2 dim Vi 1 2 ... k k ... k ... 2 1
In other words, Sn−k,k can be identified as the space of quadruples (A, B, Γ, ∆) of collections of linear maps of the following form: n−2 n−2 n−1 n−1 A = (Ai : Vi Vi ) , B = (Bi : Vi Vi) ,Γ=(Γi : Di Vi) ,∆=(∆i : Vi Di) , → +1 i=1 +1 → i=1 → i=1 → i=1 with dimension vectors d = (dim Di)i and v = (dim Vi)i given by i if i k, ≤ 1 if i = k, n k, dim Vi = k if k i n k, dim Di = − ≤ ≤ − (0 otherwise. n i if i n k, − ≥ − For the special case Sk,k when n = 2k, we use instead the quiver representations of the form in Figure 2 below.
Figure 2. Quiver representations in Sk,k and the dimension vectors.
dim Di 0 0 . . . 0 2 0 . . . 0 0
D kU Γk ∆k
A1 A2 Ak A2k−2 * * , * , * - , V1 V2 j Vk−1 Vk j Vk+1 j V2k−2 V2k−1 j j · · · j l l · · · j l B1 B2 Bk B2k−2 dim Vi 1 2 ... k 1 k k 1 . . . 2 1 − −
Following Nakajima, an element (A, B,Γ,∆) S(d, v) is called admissible if the Atiyah-Drinfeld- Hitchin-Manin (ADHM) equations are satisfied.∈ Equivalently, for all 1 i n 1, ≤ ≤ − BiAi = Ai−1Bi−1 +Γi∆i. (2.11)
An admissible element is called stable if, for each collection U = (Ui Vi)i of subspaces satisfying that ⊆ Im Γi Ui, Ai(Ui) Ui , Bi(Ui ) Ui for all i, (2.12) ⊆ ⊆ +1 +1 ⊆ it follows that Ui = Vi for all i. We will use the following equivalent notion of stability due to Maffei: Lemma 2.4 ([Maf05, Lemmas 14, 2)]). An admissible element (A, B,Γ,∆) S(d, v) is stable if and only if, for all 1 i n 1, ∈ ≤ ≤ − Im Ai−1 + Im Γj→i = Vi, (2.13) j≥i X6 where it is understood that A0 = 0, and that Γj→i, for all i, j, is the natural composition from Dj to Vi, i.e., Bi ...Bj−1Γj if j i; Γj→i = ≥ (2.14) Ai ...AjΓj if j i. ( −1 ≤ Denote the subspace (which we call the stable locus) of S(d, v) consisting of elements that are admissible (i.e., the ADHM equations (2.11) are satisfied) and stable by Λ+(d, v)= (A, B,Γ,∆) S(d, v) (2.11), (2.13) , (2.15) { ∈ | } + We denote by Λn−k,k as the set of admissible representations in Sn−k,k, and Λn−k,k as its stable locus.
2.4. Nakajima quiver varieties. Let V = i Vi, D = i Di. Now we define on any quiver repre- sentation (A, B, Γ, ∆) an action of GL(V )= GL(Vi) by Qi Q −1 −1 −1 g (A, B,Γ,∆) = ((gi Aig )i, (giBig )i, (giΓi)i, (∆ig )i), g = (gi)i GL(V ). (2.16) · +1 i iQ+1 i ∈ We denote the Nakajima quiver variety as stable GL(V )-orbits on S(d, v) satisfying pre-projective conditions, i.e., M(d, v) := Λ+(d, v)/GL(V ). (2.17)
Denote also by Mn−k,k the Nakajima quiver variety for Sn−k,k. We also call the projection onto the moduli space of the GL(V )-orbits by + pd v : Λ (d, v) M(d, v). (2.18) , → Denote also by pn−k,k for the projection onto Mn−k,k. It is first proved in [Nak94, Thm. 7.2] that there is an explicit isomorphism M(d, v) x for certain d, v, x using a different stability condition. Here we recall a variant due to Maffei that→ suitsS our need. e Proposition 2.5 ([Maf05, Lemma 15]). If dim Di = 0 for all i unless i = 1, then the assignment below defines an isomorphism ϕ = ϕ(d, v) : M(d, v) x: ≃ S pd,v(A, B,Γ,∆) (∆1Γ1, (0 ker Γ1 ker Γ1→2 . . . ker Γ1→n)), (2.19) e7→ e ⊂ ⊂e ⊂ ⊂ where x =∆1Γ1.
In general, Proposition 2.5 does not apply to all Mn k k for n 3. Our next step is to describe an − , ≥ explicit isomorphism ϕn k k : Mn k k n k k due to Maffei in Proposition 2.8. − , − , ≃ S − , 2.5. Maffei’s isomophism. Following [Maf05], we utilize a modified quiver representation space e e Sn−k,k as in Figure 3 below, for each Sn−k,k:
e Figure 3. Modified quiver representations in Sn−k,k.
e dim Di n 0 . . . 0 0
e D1 e U e Γ1 ∆1 e e e A An−2 1 * * , , V1 j V2 j j Vn−2 l Vn−1 e · · · e B1 Bn−2 e e e e
Here the vector spaces (Di, Vi) are given by ′ ′ D1 = D0, Vi = Vi Di, (2.20) e e 7 ⊕ e e where e1, . . . , en−k−i, f1, . . . , fk−i if i k 1, ′ h i ≤ − D = e , . . . , en k i if k i n k 1, (2.21) i h 1 − − i ≤ ≤ − − 0 if n k i n 1. { } − ≤ ≤ − (h) Note that we utilize the following identification with the spaces Dj in [Maf05]: (i) (i) ei D , fi D if n> 2k, h i≡ n−k h i≡ k (2.22) (i) ei, fi D if n = 2k. h i≡ k Denote by d = (dim Di)i, v = (dim Vi)i the dimension vectors. The advantage of manipulating over such modified quivers is that Proposition 2.5 applies, and hence it produces an isomorphism between the Nakajimae quiver varietye eM(d, v) ande the Slodowy variety (d, v) for the dimension vectors d and v. S Now we identify the linear mapse eAi, Bi, Γi, ∆i as block matricese e ine light of [Maf05, (9)]. For example,e wee have fb ...e e ebe e V Tf,b . . . Te,b V1 fb ... eb 1 0,V 0,V V f,b e,b f,b e,b fa S0,f,a S0,f,a ... S0,f,a fa T0,f,a . . . T0,f,a . . . . Γ1 = , ∆1 = ...... , (2.23) ...... . . . . . . . . V k,b e,b ea S0,e,a S0,e,a ... S0,e,a e f,b e,b e ea T0,e,a . . . T0,e,a
V1 fb eb V2 fb eb f,b e,b f,b e,b V2 A1 T1,V T1,V V1 B1 S1,V S1,V V f,b e,b V f,b e,b A1 = fa T1,f,a T1,f,a T1,f,a , B1 = fa S1,f,a S1,f,a S1,f,a , (2.24) V f,b e,b V f,b e,b ea T1,e,a T1,e,a T1,e,a ea S1,e,a S1,e,a S1,e,a e e with respect to the basis vectors indicated above and to the left of each matrix. In other words, the variables A, B, S, T are certain linear maps with domains and codomains specified as below, for φ, ψ e, f : ∈ { } Ai : Vi Vi , Bi : Vi Vi , → +1 → +1 V φ,a ψ,b Si φ a : Vi+1 φa , S : φa Vi, S : ψb φa , (2.25) , , → h i i,V h i→ i,φ,a h i → h i V φ,a ψ,b T : Vi φa , T : φa Vi , T : ψb φa . i,φ,a → h i i,V h i→ +1 i,φ,a h i → h i A definition of the transversal element can be found in [Maf05, Defn. 16]. In our context it is convenient to rewrite the definition as below: let π ′ be the projection onto D′ (recall (2.21)), let A = Γ , B = Di i 0 1 0 ′ ∆1, and let (xi, yi, [xi, yi]) be the fixed sl2-triple on sl(Di) uniquely determined by e e e eh−1 if 1 < h n k i, h(n k i h)eh+1 if 1 h fh−1 if 1 < h k i, h(k i h)fh+1 if 1 h < k i, xi(fh)= ≤ − yi(fh)= − − ≤ − ( 0 otherwise, ( 0 otherwise. (2.26) An admissible quadruple (A, B, Γ, ∆) in Sn−k,k is called transversal if the following conditions hold, for 0 i n 2: ≤ ≤ − e e e e e π ′ B A x , y = 0, (2.27) Di i i ′ i i Di − 8 e e f,b e,b f,b e,b Ti,f,a = Ti,e,a = 0, if b > a + 1; Si,f,a = Si,e,a = 0, if b > a; f,b e,b f,b e,b Ti,f,a = Ti,e,a = id, if b = a + 1; Si,f,a = Si,e,a = id, if b = a; e,b f,b Ti,f,a = 0, if b a + 1; Ti,e,a = 0, if b a +1+2k n; ≥ ≥ − (2.28) Se,b = 0, if b a; Sf,b = 0, if b a + 2k n; i,f,a ≥ i,e,a ≥ − V j,b Ti,j,a = 0; Si,V = 0; Tj,b = 0, if b = 1; SV =0 if a = j i. i,V 6 i,j,a 6 − Denote the subspace in Sn−k,k consisting of transversal (hence admissible) and stable elements by + T = (A, B, Γ, ∆) Sn k k (2.27), (2.28)(2.30), (2.31) , (2.29) n−ke,k { ∈ − , | } where the relations other than thee e transversale e e ones are (admissibility) BiAi = Ai Bi + Γi∆i for 1 i n 1, (2.30) −1 −1 ≤ ≤ − (stability) Im Ai + Im Γj i = Vi for 1 i n 1, (2.31) e e −1e e e→e ≤ ≤ − j i X≥ e e e where Γj→i is defined similarly as (2.14). Remark 2.6. e The system of equations (2.28) is not the easiest to work with. For example, it implies that the map Γ1 must be of the following form: e e1 e2 ...... en−k f1 ...... fk e,1 f,1 V1 T0,V 0 ...... 0 T0,V ...... 0 e,1 e1 T0,e,1 1 . . . . .. .. 0 0 0 . . . . . ...... . . . . (2.32) Γ1 = . e,• ...... . . f,• T0,e,• e,n−k−1 T en−k−1 T0,e,n−k−1 1 0,e,• 0 e e,1 f,1 f1 T 0 T 1 0,f,1 0,f,1 . . . . . 0 . .. .. 0 .. .. e,• f,• T e,k−1 T f,k−1 fk−1 0,f,• T0,f,k−1 0 0,f,• T0,f,k−1 1 •,• One can then solve for all the unknown variables T0,•,• using stability and admissibility conditions, together with the first transversality condition (2.27). In general the solutions are very involved (see [Maf05, Lemma 18]. We will use the proposition below to show that the solutions are actually very simple in our setup. Proposition 2.7. Let (A, B,Γ,∆) Λn k k. ∈ − , (a) There is a unique element (A, B, Γ, ∆) Tn k k such that ∈ − , f,1 e,1 V V Ai = Ai, Bi = Bi, Γk = Tk−1,Ve, Γene−k e= Tn−k−1,V , ∆k = Sk−1,f,1, ∆n−k = Sn−k−1,e,1. (2.33) + ∼ + (b) The assignment in part (a) restricts to a GL(V )-equivariant isomorphism Φ : Λn−k,k Tn−k,k. ∼ + → (c) The map Φ induces an isomorphism ΦM : Mn k k pn k k(T ). − , → − , n−k,k Proof. This is a special case of [Maf05, Lemmas 18, 19]. 9 ∼ + Now we are in a position to define Maffei’s isomorphism ϕ : Mn−k,k n−k,k. Recall Λ ( , ) → S + − − from (2.15), pd v from (2.18), M( , ) from (2.17), ϕ(d, v) from Proposition 2.5, T from (2.29). , − − n−k,k Finally, ϕn−k,k is defined such that the lower right corner of thee diagram beloew commute: e e e e e e p = pd,ve ϕe = ϕe(d,ve) e Λ+(d, v) M(d, v) (d, v) ∼ S e e e e e e e T+ p(T+ ) ϕ p(T+ ). (2.34) n−k,k n−k,k ∼ ◦ n−k,k Φ ∼ ΦM ∼ e e e e + pn−k,k ϕn−k,k Λ Mn k k n k k n−k,k − , ∼ S − , Proposition 2.8. There map ϕn−k,k : Mn−k,k n−k,k definede above is an isomorphism of algebraic varieties. → S e Proof. This is a special case of [Maf05,e Thm. 8] by setting N = n, r = (1, . . . , 1), and x of Jordan type (n k, k). ∈N − 3. Components of Springer fibers of type A a For each cup a Bn−k,k, our strategy to single out the irreducible component K x n−k,k requires the following∈ ingredients: ⊂ B ⊂ S a + a a e (1) construction of a subset T Tn−k,k such that p(T ) K . a ⊂ + a ≃a a a (2) construction of a subset Λ Λ so that Φ(Λ ) T , which implies ΦM (p(Λ )) p(T ) ⊂ n−k,k ≃ ≃ ≃ Ka. e In light of (2.34), we have e pe ϕe Λ+(d, v) M(d, v) (d, v) ∼ S e e e e e e e a a Prop. 3.1 a (3.1) T p(T ) ∼ K . Prop. 3.8 ∼ ΦM ∼ p e Λa p(Λa) Recall that a cup diagram is uniquely determined by the configuration of its cups; that is, once the placement of the cups has been decided, rays emanate from the rest of the nodes. Hence, for our construction of Ta and Λa, we use only the information about the cups. For completeness we also give a characterization for the ray relation on the quiver representation side. 3.1. Irreducible components via quiver representations. Given a cup diagram a = it, jt t {{ }} ∈ Bn−k,k, we assume that it < jt for all t and then denote the set of all vertices connected to the left (resp. right) endpoint of a cup in a by a a V = it 1 t k , V = jt 1 t k . (3.2) l { | ≤ ≤ } r { | ≤ ≤ } Define the endpoint-swapping map by a a σ : V V , it jt. (3.3) l → r 7→ Given i V a, denote the “size” of the cup i, σ(i) by ∈ l { } 1 δ(i)= (σ(i) i + 1). (3.4) 2 − 10 (i+1)−i+1 For instance, a minimal cup connecting neighboring vertices has size δ(i) = 2 = 1, and a cup containing a single minimal cup nested inside has size 2. For short we set, for 0 p Figure 4. The paths in the kernel condition of (3.6). e e e Aσ(i)−δ(i) Aσ(i)−δ(i)+1 Aσ(i)−1 , , V V * V . σ(i)−δ(i) i+δ(i) · · · σ(i) e e e Vi−1 l Vi i k Vi+δ(i)−1 e e · · · e Bi−1 Bi Bi+δ(i)−2 e e e Note that for a minimal cup connecting neighboring vertices i and i + 1 the relations in (3.6) take the simple form ker ∆1 = ker A1 if i = 1; ker Bi = ker Ai if 2 i n 2; (3.7) e−1 e ≤ ≤ − ker Bn = Vn = C if i = n 1. −2e −1 e − a −1 a Proposition 3.1. For a Bn k k, we have an equality p(T )= ϕ (K ). ∈ − , e e a a Proof. Thanks to Proposition 2.5, it suffices to show that, for any i Vl and (A, B, Γ, ∆) T , the kernel condition e e ∈ ∈ ker Bi+δ(i)−1→i−1 = ker Aσ(i)−δ(i)→σ(i) e e e e (3.8) is equivalent to the Fung/Stroppel–Webster cup relation (see Proposition 2.1 (b)(i)) e −δ(i) e (∆1Γ1) ker Γ1→i−1 = ker Γ1→σ(i). (3.9) Note that the left-hand side of (3.9) can be rewritten as follows: e e e e −δ(i) δ(i) (∆1Γ1) (ker Γ1→i−1) = ker(Γ1→i−1(∆1Γ1) ) = ker(A (B A )δ(i)Γ ) e e e e 1→i−1 e 1e 1 1 = ker(B Γ ), ei+δ(i)−1e→i−e1 1→ei+δ(i)−1 where the second equality follows from applying δ(i) times the admissibility condition B A = Γ ∆ ; e e 1 1 1 1 while the third equality follows from applying the admissibility condition At−1Bt−1 = BtAt repeatedly from t = 2 to t = i + δ(i) 1= σ(i) δ(i). Therefore, the cup relation (3.9) is equivalente e to anothee e r − − kernel condition below e e e e ker Bi+δ(i)−1→i−1Γ1→i+δ(i)−1 = ker Γ1→σ(i). (3.10) In particular, the kernels are equal for the two maps in Figure 5 given by dashed and solid arrows, respectively: e e e Note that (3.8) evidently implies (3.10). By the stability conditions on V1, . . . , Vi+δ(i)−1 we see that the maps Γ1, A1, . . . , Ai+δ(i)−2 are all surjective, and so is its composition Γ1→i+δ(i)−1. Thus, (3.10) implies (3.8), and we are done. e e e e e 11 e Figure 5. The kernel condition that is equivalent to (3.9). Di−1 e e Γ1 Γ1 e e e Ae Ae A1 A2 σ(i)−δ(i) σ(i)−1 * ) . + , V1 4 V2 4 . . . 0 Vσ(i)−δ(i) Vσ(i) e e · · · A1 A2 e e e e Vi−1 l k Vi+δ(i)−1 e · · · e Bi Bi+δ(i)−2 e e 3.2. Springer fibers via quiver representations. For 1 i n 1, we define an isomorphic copy ′ ≤ ≤ − of Di (see (2.21)) with a shift of index by t as ′ ′ ′ D [t]= fi t fi D ei t ei D . (3.11) i h + | ∈ ii ⊕ h + | ∈ ii By a slight abuse of notation, we denote by Γ→i the assignment given by ea Γn k i(e) Vi, fb Γk i(f) Vi. (3.12) 7→ − → ∈ 7→ → ∈ We define the obvious composition by ∆iBi Bj−1 if j i, ∆j→i = · · · ≥ (3.13) ∆iAi Aj if j i, ( −1 · · · ≤ and then define ∆i→ similarly. Lemma 3.2. If (A, B, Γ, ∆) T+ and Φ−1(A, B, Γ, ∆)=(A, B,Γ,∆) Λ+ , then (A, B, Γ, ∆) ∈ n−k,k ∈ n−k,k must be of the form, for 1 i n 2: ≤ ≤ − e e e e ′ ′ ′ e e e e ′ e e e e D0 D1[1] D1[1] V1 D1 \ ′ V1 Γ→1 0 D1 0 In−2 Γ1 = ′ , ∆1 = ′ ′ , (3.14) D 0 In D0 D1 ∆1→ 0 1 −2 \ e e ′ ′ ′ ′ Vi+1 Di+1 Vi Di Di+1[1] Di+1[1] \ Vi Bi 0 Vi+1 Ai Γ→i+1 0 ′ Ai = ′ , Bi = Di+1 0 I . (3.15) D 0 0 I ′ ′ i+1 D D ∆i+1→ 0 ! i \ i+1 e e Moreover, the following equation hold, for 2 i n 1, ≤ ≤ − ∆i→Γ→i = 0. (3.16) + Proof. By Proposition 2.7 we know that (A, B, Γ, ∆) must be the unique element in Tn−k,k that satisfies (2.33), which indeed are satisfied from the construction. What remains to show is that the formulas + above do define an element in Tn−k,k. e e e e From construction, we have ′ ′ ′ V1 D1 D2[1] D2[1] ′ ′ ′ \ D0 D1[1] D1[1] V1 0 Γ→1 0 ′ \ ′ D1 0 I Γ1∆1 = D2 0 0 I , ∆1Γ1 = ′ ′ , (3.17) ′ ′ D D ∆1→Γ→1 0 D D 0 0 0 ! 0 \ 1 1 \ 2 e e e e 12 ′ ′ ′ Vi+1 D D [1] D [1] i+1 \ i+2 i+2 Vi+1 AiBi Γ→i+1 0 ′ AiBi = Di+2 0 0 I , (3.18) ′ ′ D D ∆i+1→ 0 0 ! i+1 \ i+2 e e ′ ′ ′ Vi D D [1] D [1] i \ i+1 i+1 Vi BiAi Γ→i 0 ′ BiAi = Di+1 0 0 I , (3.19) ′ ′ D D ∆i→ ∆i+1→Γ→i+1 0 ! i \ i+1 e e where I represents the identity map of appropriate rank. The admissibility conditions (2.30) follow from comparing the entries in (3.18) – (3.19) together with the original admissibility condition (2.13) and (3.16). By the original stability condition (2.11), the blocks in the first row for Ai has full rank, and hence (2.31) follows. From (3.19) we see that e ′ ′ ′ Di Di+1[1] Di+1[1] ′ \ Di+1 0 0 πD′ BiAi xi = ′ ′ , (3.20) i ′ → → Di − Di Di+1 ∆i+1 Γ i+1 0 \ e e and thus (2.27) holds. Finally, a straightforward verification such as (2.32) shows that (2.28) are satisfied. We can now combine Lemma 3.2 and the Nakajima-Maffei isomorphism to describe the complete flag assigned to each quiver representation. + Corollary 3.3. If (x, F )= ϕn k k(pn k k(A, B,Γ,∆)) for some (A, B,Γ,∆) Λ , then • − , − , ∈ n−k,k D′′ ... D′′ ... D′′ e 0 t−1 i−1 Fi = ker Vi (A1→iΓ→1 ... At→iΓ→t . . . Γ→i ), where D′′ , for 1 t i, is the space (depending on i) described below: t−1 ≤ ≤ et, ft if t k, ′′ ′ ′ h i ≤ D = D [t 1] D [t]= et if k + 1 t n k, (3.21) t−1 t−1 − − t h i ≤ ≤ − 0 otherwise. { } Proof. By Proposition 2.5 we know that the spacesFi are determined by the kernels of the maps Γ1→i. The assertion follows from a direct computation of Γ1→i using Lemma 3.2, which is, D′′ ... D′′ ... D′′ D′[i] e 0 e t−1 i−1 i Vi A1→iΓ→1 ... At→iΓ→t . . . Γ→i 0 Γ1→i = . (3.22) D′ 0 . . . 0 . . . 0 I i e Example 3.4. The quiver representations in S2,2 are described as below: D = e, f (3.23) 2 hU i Γ2 ∆2 A1 A2 - 2 - V1 = C m V2 = C m V3 = C. B1 B2 13 Let ϕ−1(x, F )= p (A, B,Γ,∆) M . By Corollary 3.3, the flag F is described by, 2,2 • 2,2 ∈ 2,2 • f , e e h 1 1i F1 = ker V1 (B1Γ2 ), f , e f , e h 1 1i h 2 2i F2 = ker V2 (A1B1Γ2 Γ2 ), f , e f , e h 1 1i h 2 2i F3 = ker V3 (A2A1B1Γ2 A2Γ2 ). 1 1 0 In particular, if A = = B , A = 0 1 = B ,Γ = , ∆ = 0, then 1 0 2 2 1 2 0 1 01 10 F = ker 0 1 = f , F = ker = f , e f , F = ker 00 01 = f , e , f . 1 h 1i 2 00 01 h 1 1− 2i 3 h 1 1 2i Example 3.5. The quiver representations in S3,1 are described as below: D = f D = e 1 J h i 3 J h i ∆1 Γ1 ∆3 Γ3. A A 1 - 2 - V1 = C m V2 = C m V3 = C B1 B2 If ϕ−1(x, F )= p (A, B,Γ,∆) M , then the flag F can be described by 3,1 • 3,1 ∈ 3,1 • f e e h 1i h 1i F1 = ker V1 (Γ1 B1B2Γ3 ), f e e h 1i h 1i h 2i F2 = ker V2 (A1Γ1 A1B1B2Γ3 B2Γ3 ), f e e e h 1i h 1i h 2i h 3i F3 = ker V3 (A2A1Γ1 A2A1B1B2Γ3 A2B2Γ3 Γ3 ). In particular, if A1 = 1, A2 = 0, B1 = 0, B2 = 1,Γ1 = 1,Γ3 = 1,∆1 =0=∆3, then F = ker 1 0 = e , F = ker 1 0 1 = e , f e , F = ker 000 1 = e , f , e . 1 h 1i 2 h 1 1 − 2i 3 h 1 1 2i Remark 3.6. The previous example demonstrates that Corollary 3.3 provi des an efficient way to compute the corresponding complete flag in the Slodowy variety, while generally it is very implicit to apply Maffei’s isomorphism ϕ. It can also be seen that ker Γ1→i is not necessarily a direct sum of the kernels of the blocks. B e + e Define Λn−k,k to be the subset of Λn−k,k so that B −1 pn k k(Λ )= ϕ ( n k k). (3.24) − , n−k,k B − , In other words, ΛB is the incarnation of the Springer fiber we wish to study via the corresponding n−k,k e Nakajima quiver variety, which is characterized first by Lusztig [Lus91, Prop. 14.2(a)], [Lus98, Lemma 2.22]. Below we demonstrate an elementary proof in the two-row case using Lemma 3.2, which is stated without proof in [Maf05, Rmk. 24]. 14 Corollary 3.7. If x has Jordan type (n k, k), then ∈N − ΛB = (A, B,Γ,∆) Λ+ ∆ = 0 . n−k,k { ∈ n−k,k | } Proof. If (A, B,Γ,∆) ΛB then Φ(A, B,Γ,∆) = (A, B, Γ, ∆) is exactly of the form described in ∈ n−k,k Lemma 3.2, in addition to the fact that ∆1Γ1 = x0 thanks to Proposition 2.5. Hence, we can extend (3.16) by including e e e e e e∆1→Γ→1 = 0. (3.25) We can now show by induction on i that for j k, n k and 0 i j, ∈ { − } ≤ ≤ ∆i→j = 0, (3.26) which implies that ∆ = 0. For the base case i = 0, we use the stability condition (2.13) for V1, which is, ImΓ→1 = V1. Therefore, by (3.25) we have 0=Im∆1→Γ→1 =∆1→(V1). (3.27) For the inductive step, we will deal with two cases: i < k or k i 0=∆i−1→j =∆i→jAi−1. (3.29) By (3.28) we have, for j k, n k , ∈ { − } ∆i→j(Vi)=∆i→j(Im Ai−1 +ImΓk→i +ImΓn−k→i) (3.30) = Im∆i→jAi−1 +Im∆i→jΓn−k→i +Im∆i→jΓk→i = 0, where the last equality follows from (3.29) and (3.16). Thus ∆k = 0. For the second case k i n k we have Im Ai +ImΓn k i = Vi. Similarly, ≤ ≤ − −1 − → ∆i→n−k(Vi)=Im∆i→n−kAi−1 +Im∆i→n−kΓn−k→i = 0, (3.31) which leads to ∆n−k = 0. We are done. 3.3. Maffei’s immersion and components of Springer fibers. Now we can prove the final piece of the main theorem using Lemma 3.2. Given a cup diagram a Bn k k, define ∈ − , Λa = (A, B,Γ,∆) ΛB ker B = ker A for all i V a , (3.32) { ∈ n−k,k | i+δ(i)−1→i−1 σ(i)−δ(i)→σ(i) ∈ l } where the maps Ai→j, Bj→i are defined similarly as their tilde versions in (3.5). a a Proposition 3.8. For a Bn k k, we have an equality Φ(Λ )= T . ∈ − , Proof. Let Φ−1(A, B, Γ, ∆) = (A, B,Γ,∆) Λa. From Corollary 3.7 we see that ∆ must be zero. ∈ The proposition follows as long as we show that ker Bi+δ(i)−1→i−1 = ker Aσ(i)−δ(i)→σ(i) is equivalent to ker B e e=e kere A . For simplicity, let us use the shorthand a = i 1 < b = i+δ(i)−1→i−1 σ(i)−δ(i)→σ(i) − i + δ(i) 1= σ(i) δ(i) < c = σ(i). e e Using− Lemma 3.2,− we obtain that, for a et−b+1, ft−b+1 if t k, ′′ ′ ′ h i ≤ D = D [t b] D [t b +1] = et b if k + 1 t n k, (3.35) t t − \ t+1 − h − +1i ≤ ≤ − 0 otherwise. { } ′ Since Bb→a acts as an identity map on Db, its kernel must lie in Vb. Moreover, ker Bb→a = ker Bb→a. ′ ′ Assume that ker Bb→a = ker Ab→c. It follows that ker Ab→c Vb. In other words, Db Dc−1[c b] e ⊂ e \ − must not lie in the kernel, and hence ker Ab→c = ker Ab→c = ker Bb→a = ker Bb→a. e e e ′ ′ On the other hand, assuming ker Bb→a = ker Ab→c, we need to show that Db Dc−1[c b] ker Ab→c. In other words, for b t c 1, any composition ofe maps of thee following form\ must− be6∈ nonzero: ≤ ≤ − e Dk Dn−k Γk Γn−k Bc→t+1 Bk→c Ù Bc→t+1 Bn−k→c r t r t Ù Vt+1 4 Vc Vk Vt+1 4 Vc Vn−k (3.36) At+1→c At+1→c if t + 1 k, if t + 1 = n k. ≤ 6 − ′′ Note that the spaces Dt are nonzero only when t n k, and hence the maps At+1→cΓ→t+1 in (3.36) only exist when c n k. Therefore, the proposition≤ − is proved for c>n k, and we may assume now c n k. ≤ − − We first prove≤ (3.36)− for the base case t = c 1 by contradiction. Our strategy is to construct − nonzero vectors vi Vi Im A i for 1 i c. If this claim holds, then by admissibility conditions ∈ ∩ 1→ ≤ ≤ from V1 to Vi, we have Bi−1(vi)= Bi−1A1→i(v1)= A1→i−1B1A1(v1) = 0, (3.37) and hence there is a nonzero vector vb ker Bb a. On the other hand, vb ker Ab c since Ab c(vb)= ∈ → 6∈ → → vc = 0, a contradiction. Now we prove the claim. Suppose that Γn k c = 0. 6 − → Γn−k→i = Bc→iΓn−k→c = 0, for all i < c. (3.38) By the stability condition on V1, we have V1 = ImΓk→1 +ImΓn−k→1 =Γk→1(f), (3.39) and hence the vector φi =Γk i(f) Vi are all nonzero for i k. Define vi = A i(φ ) for all i. The → ∈ ≤ 1→ 1 stability condition on V2 now reads V = Im A +ImΓk +ImΓn k = A (φ ) + φ . (3.40) 2 1 →2 − →2 h 1 1 i h 2i Since V2 is 2-dimensional, the vector v2 = A1(φ1) must be nonzero. An easy induction shows that, for 2 i k, the vector vi is nonzero. For k + 1 i c, the stability condition on Vi is then ≤ ≤ ≤ ≤ Vi = Im Ai−1 +ImΓn−k→i = Ai−1(Vi−1). (3.41) Since both dim Vi = dim Vi = k, the map Ai is of full rank, and hence vi = 0 for k + 1 i c. −1 −1 6 ≤ ≤ Therefore, we have seen that the assumption that Γn−k→c = 0 leads to a contradiction, and hence Γn−k→c = 0. A similar argument shows that Γk→c = 0. The base case is proved. Next,6 we are to show that (3.36) holds for b t <6 c 1. We write for short h = c t 1 to denote ≤ − − − the size of the “hook” in the map At+1→cΓn−k→t+1. For example, as shown in the figure below, the 16 maps Γ→c have hook size 0, the maps Ac−1Γ→c−1 have hook size 1, and so on: Dj Dj Dj Γj Γj Γj Bj→c−1 Bj→c−2 t r r Vc Vj Vc−1 4 Vc Vj Vc−2 4 Vc Vj. Ac−1 Ac−1Ac−2 h = 0 h = 1 h = 2 Note that h is strictly less than the size c b of the cup. Our strategy is to construct nonzero vectors − vi Vi Im Ah i for h + 1 i c. If this claim holds, then by admissibility conditions from Vh ∈ ∩ +1→ ≤ ≤ +1 to Vi and an induction on i, we have Bi→i−h−1(vi)= Bi→i−h−1Ai−1(vi−1)= Ai−2Bi−1→i−h−2(vi−1) = 0. (3.42) Note that the initial case holds since Bh (vh ) = 0. Hence, there is a nonzero vector vb +1→0 +1 ∈ ker Bb b h ker Bb a. On the other hand, vb ker Ab c since Ab c(vb)= vc = 0, a contradiction. → − −1 ⊂ → 6∈ → → 6 We can now prove the claim. Suppose first that At+1→cΓn−k→t+1 = 0. By the admissibility conditions from Vt+2 to Vn−k+h−1, we have 0= At+1→cΓn−k→t+1 = Bn−k+h→cAn−k→n−k+hΓn−k, (3.43) which can be visualized from the figure below by equating the two maps Dn−k Vc represented by composing solid arrows and dashed arrows, respectively: → Dn−k Γn−k Γn−k r t Ù - Vt+1 4 Vc j Vn−k l Vn−k+h. For all 1 i t + 1, we will show now any map Dn k Vi with exactly a size h “hook” is zero. ≤ ≤ − → Precisely speaking, the admissibility conditions from Vi+1 to Vn−k+h−1 imply that Ai→i+hΓn−k→i = Bn−k+h→i+hAn−k→n−k+hΓn−k, (3.44) which can be visualized as the figure below: Dn−k Γn−k Γn−k t r Ù - Vi 2 Vi+h l Vn−k l Vn−k+h. It follows that Ai→i+hΓn−k→i = 0 since it is a composition of a zero map in (3.43). Since the hook size h is less than the cup size c b, which is less or equal to the total number k of cups, we have h < k and so − dim Vh = h, dim Vh+1 = h + 1. (3.45) We claim that ImΓk h = 0. (3.46) → +1 6 By the stability condition on V1, we have V1 = ImΓk→1 +ImΓn−k→1. (3.47) For the dimension reason, either Γk or Γn k is nonzero. If Γk = 0 then Γk h = 0, and the →1 − →1 →1 6 → +1 6 claim follows. If Γn k = 0, we define, for 1 i l n k, − →1 6 ≤ ≤ ≤ − (i) (i) ǫi = ǫi =Γn−k→i(e) = 0, ǫl = Ai→l(ǫi). (3.48) 176 (i) An easy induction shows that if ǫ = 0 for some 1 i l h then Γk l = 0, which proves the l ≤ ≤ ≤ → 6 claim. So we we now assume that ǫ(i) = 0 for all 1 i l h. Note that l 6 ≤ ≤ ≤ (1) ǫ1+h = A1→1+hΓn−k→1(e) = 0, (3.49) and hence rank Ah = h 1. Now the stability condition on Vh implies that − +1 dim Vh+1 = rank Ah + rankΓk→h+1 + rankΓn−k→h+1, (3.50) and hence rankΓk h = 1. The claim (3.46) is proved. Moreover, the vectors φi =Γk i(f) Vi are → +1 → ∈ all nonzero for h + 1 i k. Define vi = Ah i(φh ) for all i > h. ≤ ≤ +1→ +1 The stability condition on Vh+2 now reads Im Ah+1 +ImΓk→h+2 +ImΓn−k→h+2 if h + 2 k, Vh+2 = ≤ (3.51) ( Im Ah+1 +ImΓn−k→h+2 if h + 2 > k. In either case, a dimension argument similar to the one given in the base case t = c 1 shows that − the vector vh+2 = Ah+1(φh+1) must be nonzero since (i) ǫ = Ai lΓn k i(e)=0 for l i + h. (3.52) l → − → ≥ For h+2 i c, a dimension argument using (3.51) shows that vi = 0, which leads to a contradiction, ≤ ≤ 6 and hence At+1→cΓn−k→t+1 = 0. A similar argument shows that At+1→cΓk→t+1 = 0. The proposition is proved. 6 6 a Theorem 3.9. Recall Λ from (3.32). For any cup diagram a Bn k k, we have an equality ∈ − , a −1 a pn−k,k(Λ )= ϕ (K ). (3.53) −1 a As a consequence, ϕ ( n−k,k)= a∈B − pn−k,k(Λ ). B n k,k e Proof. We have S e ϕ−1(Ka)= p(Ta) by Proposition 3.1 −1 a = pn−k,k(Φ (T )) by Proposition 2.7(b)(c) (3.54) e e a = pn−k,k(Λ ) by Proposition 3.8. 3.4. The ray condition. For completeness, in this section we characterize the ray condition Fi = − 1 (i−ρ(i)) n−k−ρ(i) x 2 (x Fn), on the quiver representation side. a Proposition 3.10. Let (x, F•) = ϕ(A, B, Γ, 0) K n−k,k. Then the ray condition is equivalent to ∈ ⊂ S BiAi =0 if c(ei) 1, e ≥ (3.55) (Γn−k→i =0 if c(i) = 0, i−ρ(i) where c(i)= 2 is the total number of cups to the left of i. Proof. Write ρ = ρ(i) and c = c(i) for short. By Corollary 3.3, the ray relation is equivalent to that ker(An k ρ nΓ n k ρ . . . An k nΓn k) = ker(Ac iΓ c . . . Γ i). (3.56) − − +1→ → − − +1| | − → − +1→ → +1| | → Note that there are ρ blocks on the left hand side of (3.56) and each block is a zero map; while there are i c = ρ + c ρ blocks on the right hand side. Hence, the defining relations, by an elementary case-by-case− analysis,≥ are Ac ρ iΓn k c ρ = 0, Ac ρ iΓn k c ρ =0 if c 1, + → − → + + +1→ − → + +1 6 ≥ (3.57) ( Ac+ρ→iΓn−k→c+ρ =0 if c = 0. Note that by definition, i = ρ when c = 0. We are done. 18 4. Springer fibers for classical types 4.1. Springer fibers and Slodowy varieties of type D. From now on, let n = 2m be an even positive integer. Let πD be the subset of all partitions of 2m whose even parts occur even times, i.e., D π = λ = (λi)i 2m # i λi = j 2Z for all j 2Z . (4.1) { ⊢ | { | }∈ ∈ } D D It is known ([Wil37]) that π is in bijection with the On(C)-orbits of the type D nilpotent cone . Now we fix λ to be a two-row partition in πD, and hence it is of the following form: N λ = (m, m), or λ = (n k, k) (2Z + 1)2. (4.2) − ∈ For each λ of the form as in (4.2), we define a n-dimensional C-vector space Vλ with (ordered) basis eλ, eλ, . . . , eλ , f λ, f λ, ...f λ , (4.3) { 1 2 n−k 1 2 k } and a non-degenerate symmetric bilinear form βλ : Vλ Vλ C, whose associated matrix, under the ordered basis (4.3), is × → λ λ ei fi λ { }{ } e 0 Jm { i } if n k = k; f λ J t 0 − 1 i m { } 1 M λ = where J = − . (4.4) λ λ i .. ei fi . λ h i h i i−1 − ( 1) ei Jn k 0 if n k > k, h λi − f 0 Jk − h i i Usually we omit the superscripts when there is no ambiguity. Note that in Section 7 we shall see the need to keep the superscripts. ⊥ ⊥ For each subspace W of Vλ we let W = W (βλ) be its orthogonal complement in Vλ with respect ⊥ to βλ. W is called isotropic if W W . Denote the orthogonal Lie algebra corresponding to βλ by ⊆ λ t λ son(C; βλ)= X gl M X = X M . (4.5) { ∈ n | − } D D Let = (βλ) be the flag variety of O m(C) with respect to βλ, namely, B B 2 D ⊥ = F Fi = F for all i . (4.6) B { • ∈ B | n−i } D Remark 4.1. It is intentional to use On(C) rather than the special orthogonal group so that has two connected components. B Let D be the cotangent bundle of D. Explicitly, we have N B D ∗ D D D = T = (u, F ) u(Fi) Fi for all i . (4.7) e N B { • ∈N ×B | ⊆ −1 } The type D Springer resolution µ : D D is given by (u, F ) u. Given x D, the associated e D • Springer fiber of type D is defined asN the→N subvariety 7→ ∈N D e D = F xFi Fi for all i . (4.8) Bx { • ∈B | ⊆ −1 } The type D Springer fiber only depends (up to isomorphism) on the On-orbit containing x. For D x , we denote the type D Slodowy transversal slice of (the On-orbit of) x by the variety ∈N D = u D [u x, y] = 0 , (4.9) Sx { ∈N | − } where (x, y, h) is a sl -triple in D. Let the type D Slodowy variety associated to x be defined as 2 N D −1 D D D = µ ( )= (u, F ) [u x, y] = 0, u(Fi) Fi for all i . (4.10) Sx D Sx { • ∈N ×B | − ⊆ −1 } If x D is of Jordan type (n k, k), we write ∈N e − D D D D D D n−k,k := x , n−k,k := x , n−k,k := x . (4.11) B B S 19 S S S e e 4.2. Irreducible components of type D Springer fibers. In order to describe the irreducible components of D , we define the notion of a marked cup diagram. Bn−k,k Definition 4.2. A marked cup diagram is a cup diagram (see (2.7)) in which each cup or ray may be decorated with a single marker satisfying the following rules: (M1) The vertices on the axis are labeled by 1, 2, . . . , m, (M2) A marker can be connected to the right border of the rectangular region by a path which does not intersect any other cup or ray. D Given a cup diagrama ˙ Bn−k,k, denote the sets of all vertices connected to the left (resp. right) ∈ a˙ a˙ endpoint of a marked cup ina ˙ by Xl (resp. Xr ); while the sets of vertices connected to the left (resp. a˙ a˙ right) endpoint of an unmarked cup ina ˙ are denoted by Vl (resp. Vr ). The endpoint-swapping map σ and the size formula δ naturally extend to Xa˙ V a˙ . l ⊔ l Now we define an auxiliary set Bn k k containing Bn k k such that the cups and rays in any a − , − , ∈ Bn−k,k can be decorated by markers. A marked cup diagram on m vertices is obtained from folding a centro-symmetric cup diagram on ne= 2m vertices in the following sense. e Algorithm 4.3. Given a Bn−k,k that has cups crossing the axis of reflection, in the following we ∈ ′ − demonstrate how to produce two diagrams a , a Bn k k. ∈ − , (1) If a has exactly one cupe connecting that crosses the axis of reflection, set a′ to be the diagram obtained from a by replacing the cup by twoe (unmarked) rays connected to the endpoints of the cup, respectively; while a− is obtained similarly but with markers. i + 1 n − i i + 1 n − i i + 1 n − i ⇒ a a− a′ (2) Otherwise, set a′ to be the diagram obtained from a by replacing the innermost two (nested) cups that cross the axis by two side-by-side cups without markers; while a− is obtained similarly but with markers. i + 1 j + 1 n − j n − i i + 1 j + 1 n − j n − i i + 1 j + 1 n − j n − i ⇒ a a− a′ ′ − Definition 4.4. Let be the partial order on Bn−k,k induced by a a and a a using transitivity ≤ ′ − ≤ ≤ and reflexivity for all a Bn k k and a , a as in Algorithm 4.3. For a marked cup diagrama ˙ , let ∈ − , a¨ Bn k k be the diagram obtained by placinge the mirror image ofa ˙ to the right ofa ˙ . A diagrama ˙ ∈ − , is said to unfold to b Bn ek k ifa ¨ b. ∈ − , ≤ e We write BD to denote the set of all marked cup diagrams on m vertices with exactly k cups. n−k,k ⌊ 2 ⌋ D Example 4.5. Below we describe in below all six marked cup diagramsa ˙ i(1 i 6) in B having ≤ ≤ 3,3 3 = 1 cup: For the centro-symmetric cup a = 1, 2 , 3, 4 , 5, 6 , we have ⌊ 2 ⌋ 135 {{ } { } { }} 123456 123456 012345 ′ − a135 = , a = =a ¨1, a = =a ¨2, 135 135 20 where 1 2 3 1 2 3 a˙ 1 = ,a ˙ 2 = . For a = 1, 6 , 2, 3 , 4, 5 , we have 124 {{ } { } { }} 123456 123456 123456 ′ − a124 = , a = =a ¨3, a = =a ¨4, 124 124 where 1 2 3 1 2 3 a˙ 3 = ,a ˙ 4 = . Finally, for a = 1, 6 , 2, 5 , 3, 4 , we have 123 {{ } { } { }} 123456 123456 ′ − a123 = , a123 = a124, a123 = , 123456 123456 − ′ − − (a ) = =a ¨5, (a ) = =a ¨6, 123 123 where 1 2 3 1 2 3 a˙ 5 = ,a ˙ 6 = . In this case,a ˙ 3 unfolds not only to a124 but also to a123 becausea ¨3 a124 a123. Here we use dashed line as the right border to emphasize that it is≤ the axis≤ of reflection, as well as that the markers must be accessible from the dashed line by a path that does not intersect any other rays or cups. Proposition 4.6. There exists a bijection between the irreducible components of the Springer fiber D and the set BD of marked cup diagrams. Bn−k,k n−k,k Proof. It follows from combining [ES16a, Lemma 5.12], [Spa82, II.9.8] and [vL89, Lemmas 3.2.3, 3.3.3]. Remark 4.7. Note that people only knew there is a bijection. That being said, given an irreducible component K of D , it is unclear whether or not there is the most natural marked cup diagram Bn−k,k a˙ assigned to this irreducible component K. For the rest of the paper, we will construct a subvariety Ka˙ D for each marked cup diagrama ˙ BD (see (6.3)), and prove that they are indeed ⊆ Bn−k,k ∈ n−k,k irreducible components in Section 7. In the examples below we demonstrate a direct computation to determine irreducible components for the base case λ = (1, 1) or (2, 2). 2 Example 4.8. Let n = 2, k = 1. We fix a basis e1, f1 of C so that x = 0. According to { } 21 D Algorithm 4.3, the marked cup diagrams in B1,1 all come from the folding of a = , and hence they are 1 1 a˙ = , b˙ = . 21 a The (type A) irreducible component K is the entire Springer fiber 1,1 F1 = λe1 + µf1 . By ⊥ B ≃ { h i} imposing the isotropy condition F1 = F1 with respect to the symmetric bilinear form β1,1 satisfying that β1,1(e1, f1) = 1, β1,1(e1, e1)= β1,1(f1, f1) = 0, we see that 0= β1,1(λe1 + µf1, λe1 + µf1) = 2λµ. Therefore, it is either λ =0 or µ = 0. Hence, there are only two isotropic flags in D : B1,1 (0 e C2), (0 f C2). ⊂ h 1i⊂ ⊂ h 1i⊂ We shall denote Ka˙ = (0 e C2) since it satisfies the ray relation in type A plus thata ˙ is { ⊂ h 1i ⊂ } a type A ray. We then have no choice but to denote Kb˙ = (0 f C2) . We remark that the { ⊂ h 1i ⊂ } description of F1 here eventually leads to the marked ray relation in Theorem 6.6(iii). 4 Example 4.9. Let n = 4, k = 2. We fix a basis e1, e2, f1, f2 of C so that x is determined by e e 0, f f 0. Define { } 2 7→ 1 7→ 2 7→ 1 7→ 1234 1234 a12 = , a13 = . According to Algorithm 4.3, the corresponding marked cup diagrams are 21 21 a˙ 13 = ,a ˙ 12 = . The (type A) irreducible components in are B2,2 a13 −1 −1 K = F x F = F , x F = F ,dim Fi = i { • | 0 2 2 4 } = (0 F e , f F C4) dim F = 1, dim F = 3 , { ⊂ 1 ⊂ h 1 1i⊂ 3 ⊂ | 1 3 } a12 −2 −1 K = F x F = F , x F = F ,dim Fi = i { • | 0 4 1 3 } −1 = F x F = F ,dim Fi = i . { • | 1 3 } By imposing the isotropy condition with respect to the matrix e1 e2 f1 f2 e1 0 0 01 e2 0 0 1 0 , f 0 1− 0 0 1 − f2 1 0 00 we see that the isotropic flags in D os a disjoint union K K , where B2,2 1 ⊔ 2 4 D K1 = (0 λe1 + µf1 e1, f1 e1, f1, λe2 + µf2 C ) 2,2 { ⊂ h i ⊂ h i ⊂ h i⊂ ∈B } (4.12) = F D xF = 0 , { • ∈B2,2 | 2 } 4 D K2 = (0 λe1 + µf1 λe1 + µf1, λe2 + µf2 e1, f1, λe2 + µf2 C ) 2,2 { ⊂ h i ⊂ h i ⊂ h i⊂ ∈B } (4.13) = F D xF = F . { • ∈B2,2 | 2 1} We assume for now that K1 and K2 are irreducible (a proof will be given in Lemma 7.1). Since the a˙ 13 condition in K1 coincides with the cup relation in type A, we call this irreducible component K becausea ˙ is a type A cup. We then have no choice but to identify K Ka˙ 12 . We remark that the 13 2 ≡ new relation xF2 = F1 here eventually leads to the marked cup relation in Theorem 6.6(ii). 22 5. Fixed point subvarieties of quiver varieties 5.1. Automorphisms on quiver varieties. In the literature the fixed point subvarieties of Naka- jima’s quiver varieties are studied by Henderson–Licata in [HL14] for the type A quivers associated with an explicit involution. For quivers associated with the symmetric pairs (or Satake diagrams), the corresponding fixed-point subvarieties are studied by Li in [Li19]. While it is difficult to compare the two automorphisms in an explicit way, both automorphism restrict to an isomorphism between the fixed-point subvariety and a Slodowy variety of type D which is isomorphic to one of type C. In [HL14], Henderson–Licata consider any diagram automorphism θ which is an admissible auto- morphism in the sense of Lusztig, see [Lus93, §12.1.1]. For type A quiver varieties, such a diagram automorphism defines a variety automorphism Θ = Θ(θ, σk) : Mn k k Mn k k, which also depends − , → − , on the choice of an involution σk : Dk Dk. With a suitable choice of σk, there is an isomorphism → M Θ D D . n−k,k ≃ Sn−k,k ⊔ Sn−k,k On the other hand, Li has constructed in [Li19] a family of automorphisms which works in a more general scenario.e Thee automorphism σ = a Sω τ is composed of a diagram automorphism a, a ◦ ◦ reflection functor Sω for some Weyl group element ω, and an isomorphism τ which deals with the so-called formed spaces which account for the orthogonality in our setup. By choosing a = 1, ω = w◦, which is the longest element, he exhibits an isomorphism M σ o D D . n−k,k ≃ Sn−k,k ≡ Sn−k,k ⊔ Sn−k,k Moreover, in both cases the isomorphisms restrict to isomorphisms between the Springer fibers. In this section we investigate to what extent they preserve the componentse of Springere fibers.e 5.2. Henderson–Licata’s fixed point subvarieties. We use identifications Vi Vn i for all i and ≡ − Di Dn i for all i = k (they are referred to as isomorphisms ϕi and σi in [HL14, §3.2]). For all k, let ≡ − 6 σk be the automorphism on Dk determined by f if k 2Z, σk(e)= e, σk(f)= ∈ f if k 2Z + 1. (− ∈ Define the Θ-action by Γn−i if i = k, Θ(∆i)=∆n−i, Θ(Γi)= −1 6 Γk σ if i = k, (5.1) ( ◦ k Θ(Ai)= Bn−1−i, Θ(Bi)= An−1−i. Remark 5.1. By [HL14, §3.2], for all s Λ+ , Θ sends the orbit containing s to the orbit containing ∈ n−k,k Θ(s), or, Θ(p(s)) = p(Θ(s)), where p is the projection map in (2.18). Therefore, an element [s] = B [(A, B, Γ, 0)] M is fixed under Θ if and only if there exists a g = (gi)i GL(V ) such that ∈ n−k,k ∈ −1 −1 giΓn−i if i = k, Ai = gi+1Bn−1−igi , Bi = giAn−1−igi+1, Γi = 6 (5.2) (gkΓkσk if i = k. Proposition 5.2. Let Θ be defined as in (5.1), and let n, k be such that (n k, k) is a type D partition − (see (4.2)), then there is an isomorphism M Θ D D . n−k,k ≃ Sn−k,k ⊔ Sn−k,k Proof. See [HL14, (5.2), Thm. 5.3]. e e Remark 5.3. In [HL14, Thm. 5.3], it is also given an isomorphism for the type C Slodowy’s variety if the condition [HL14, (5.1)] is satisfied. Here, we only discuss the type D result. 5.3. Two Jordan blocks of equal size. The purpose of this subsection is to obtain a potential marked cup relation by working out a small rank example using fixed point subvarieties. With type B D in mind, we need n = 2k. Furthermore, the action of Θ on the quiver representations in Λk,k can 23 be visualized as: Θ Dk Dk 7→ Γk Γk A Ak−1 Ak A2k−2 B2k−2 Bk Bk−1 B 1 * * * - * * * 1 * V1 Vk jj V2k−1 V2k−1 Vk V1. j · · · j j · · · jj m · · · j j · · · jj B1 Bk−1 Bk B2k−2 A2k−2 Ak Ak−1 A1 Note that by Corollary 3.7 all ∆ maps are zero, and hence omitted in our notation/picture. In this section we demonstrate how we obtained the marked cup relation by working out a few non-trivial examples. Example 5.4. Let n =4=2k. Consider ΛB = (A, B,Γ,∆) Λ+ ∆ = 0 , where the quiver 2,2 { ∈ 2,2 | } representations are described below: D (5.3) 2U Γ2 ∆2=0 A A 1 * 2 * V1 j V2 j V3. B1 B2 Define 1234 1234 21 21 a12 = , a13 = ,a ˙ 12 = ,a ˙ 13 = . By (3.32), we have Λa12 = (A, B, Γ, 0) Λ+ ker B = ker A , (5.4) { ∈ 2,2 | 1 2} Λa13 = (A, B, Γ, 0) Λ+ A = 0, B = 0 . (5.5) { ∈ 2,2 | 1 2 } By Remark 5.1, the fixed-points in (M a12 )Θ and (M a13 )Θare described below: [s] (M a12 )Θ if and only if ∈ + s = (A, B, Γ, 0) Λ , ker B = ker A , there is a g = (gi)i GL(V ) such that ∈ 2,2 1 2 ∈ −1 −1 −1 −1 (5.6) Γ2 = g2Γ2, A1 = g2B2g1 , A2 = g3B1g2 , B1 = g1A2g2 , B2 = g2A1g3 , while [s] (M a13 )Θ if and only if ∈ s Λ+ , A =0= B , there is a g GL(V ) such that ∈ 2,2 1 2 ∈ −1 −1 (5.7) Γ2 = g2Γ2, A2 = g3B1g2 , B1 = g1A2g2 . a˙ 13 a13 Θ Using Proposition 2.5, the component K = ϕ(p((Λ ) )) consists of pairs (x, F•), where Fi = ker Γ1→i, and e 0 01 0 e 0 00 1 x = ∆ Γ = . 1 1 0 00 0 0 00 0 e e From Example 3.4, the isotropic flag F• is described by, F = ker(B Γ ), F = ker(A B Γ Γ ), F = ker(A A B Γ A Γ ). (5.8) 1 1 2 2 1 1 2| 2 3 2 1 1 2| 2 2 Since F1 is a 1-dimensional space which is killed by x, it must be spanned by a nonzero vector of the form λe1 + µf1 for some λ, µ C. For F3, we have ker A2A1B1Γ2 = e, f since the admissibility conditions imply that ∈ h i A2(A1B1)Γ2 = (A2B2)A2Γ2 = 0. (5.9) 24 Since the first block is a zero map, the space ker(0 A2Γ2) is a direct sum e1, f1 ι2(ker A2Γ2), where | h i⊕ −1 ιt is the subscript-decorating linear map sending e, f to et, ft, respectively. Since A2 = g3B1g2 and Γ2 = g2Γ2, we have ker A Γ = ker g B Γ = ker B Γ = λe + µf , (5.10) 2 2 3 1 2 1 2 h i and hence F3 = e1, f1, λe2 + µf2 . h i a13 Θ −1 For F2, there are two cases: A1 = B2 = 0 if p2,2(A, B, Γ, 0) (M ) , or A1 = g2B2g3 = 0 if a12 Θ a13 Θ ∈ 6 p2,2(A, B, Γ, 0) (M ) (M ) . If A1 = 0, then ker A1B1Γ2 = e, f and hence F2 = e1, f1 . If A = 0, then∈ A is injective\ since its domain is one-dimensional,h andi hence h i 1 6 1 ker A B Γ = ker B Γ = ker(g A g−1)g Γ = ker A Γ = λe + µf . (5.11) 1 1 2 1 2 1 2 2 2 2 2 2 h i Moreover, we have ker Γ = ker A B Γ since ker Γ ker A B Γ and dim ker Γ = dim ker A B Γ = 2 1 1 2 2 ⊂ 1 1 2 2 1 1 2 1. Therefore, F2 = λe1 + µf1, λe2 + µf2 . Comparing this exampleh with Examplei 4.9, we see that ϕ((M a13 )Θ)= Ka˙ 13 , ϕ((M a12 )Θ)= Ka˙ 13 Ka˙ 12 . (5.12) ⊔ Here we label Ka˙ 13 by an unmarked cup since it is characterized by e e A = B = 0 ker B = ker A , (5.13) 1 2 ⇔ 2 3 which is the type A cup relation connecting the vertices 2 and 3, while Ka˙ 12 is characterized by the relation A , B = 0 ker B Γ = ker A B Γ . (5.14) 1 2 6 ⇔ 1 2 1 1 2 5.4. Two Jordan blocks of unequal sizes. The purpose of this subsection is to obtain a potential marked ray relation by working out a small rank example using fixed point subvarieties. Thanks to B Corollary 3.7, the quiver representations in Λn−k,k are of the form dim Di 0 0 1 0 1 0 0 · · · · · · · · · Dk Dn−k Γk Γn−k A A Ak An−k An−2 1 * 2 * * , * , * , , V1 V2 Vk j Vk+1 Vn−k Vn−2 Vn−1. j j · · · j j l · · · j l · · · j l B1 B2 Bk Bn−k Bn−2 dim Vi 1 2 ... k k ... k ... 2 1 Below we demonstrate how the leftmost ray is characterized by working out the case (3, 1). Example 5.5. Let n = 4, k = 1. Consider ΛB = (A, B,Γ,∆) Λ+ ∆ = 0 , where the quiver 3,1 { ∈ 3,1 | } representations are described below (with fixed basis elements v1, wi, v3, e, f): f e (5.15) h i h i Γ1 Γ3. A1 A2 ) ) C i C i C B1 B2 Define 1234 1234 1234 a1 = , a2 = , a3 = . By (3.32), we have Λa1 = (A, B, Γ, 0) Λ+ 0= A , (5.16) { ∈ 3,1 | 1} Λa2 = (A, B, Γ, 0) Λ+ ker B = ker A , (5.17) { ∈ 3,1 | 1 2} Λa3 = (A, B, Γ, 0) Λ+ B = 0 . (5.18) { ∈ 3,1 | 2 } 25 By (5.2), the fixed-point subvarieties (M ai )Θ are described below: [s] (M a1 )Θ = (M a3 )Θ if and only if ∈ + s = (A, B, Γ, 0) Λ , A =0= B , there is a g = (gi)i GL(V ) such that ∈ 3,1 1 2 ∈ −1 −1 (5.19) Γ1 = g1Γ3, Γ3 = g3Γ1, A2 = g3B1g2 , B1 = g1A2g2 . a1 Θ a3 Θ Since A1 =0= B2, the stability condition at V2 is never satisfied and hence (M ) = ∅ = (M ) . Meanwhile, [s] (M a2 )Θ if and only if ∈ + s = (A, B, Γ, 0) Λ , ker B = ker A , there is a g = (gi)i GL(V ) such that ∈ 3,1 1 2 ∈ −1 −1 −1 −1 Γ1 = g1Γ3, Γ3 = g3Γ1, A1 = g2B2g1 , A2 = g3B1g2 , B1 = g1A2g2 , B2 = g2A1g3 . (5.20) From Example 3.4, the isotropic flag F• is described by, F = ker(Γ B B Γ ), 1 1| 1 2 3 F = ker(A Γ A B B Γ B Γ ), (5.21) 2 1 1| 1 1 2 3| 2 3 F = ker(A A Γ A A B B Γ A B Γ Γ ). 3 2 1 1| 2 1 1 2 3| 2 2 3| 3 For F1, by the stability condition on V1, we have Γ1 is surjective and so ker Γ1 = 0, while the cup relation ker B1 = ker A2 implies that ker B B Γ = ker A B Γ = ker 0 = e , (5.22) 1 2 3 2 2 3 h i and hence F1 = e1 . For F3, by a similar argument we see that ker A2A1Γ1 = ker B1A1Γ1 = ker 0 = f , ker Γ = 0, andh i hence F = f , e , e . h i 3 3 h 1 1 2i For F2, we have −1 ker A1Γ1 = ker(g2B2g1 )g1Γ3 = ker B2Γ3. (5.23) By the dimension reason, ker A1Γ1 = ker B2Γ3 = 0, while ker(A1Γ1 B2Γ3) is 1-dimensional, and is spanned by the vector f + λe for some λ = 0. | By (5.20), we have 6 Γ1 = g1Γ3 = g1g3Γ1, Γ3 = g3Γ1 = g3g1Γ3, (5.24) and hence g , g C× are inverses to each other. Moreover, 1 3 ∈ −1 −1 −1 2 A1 = g2B2g1 = g2(g2A1g3 )g1 = g2A1, (5.25) and hence g C× is an involution, or g = 1. Then 2 ∈ 2 ± 0= A1Γ1(f)+ λB2Γ3(e)= g2B2Γ3(e)+ λB2Γ3(e). (5.26) a˙ 2 Θ That is, λ is an eigenvalue of g2 and so λ 1 . Therefore, ϕ((M ) ) splits into the following two connected− components: ∈ {± } e 4 (0 e1 e1, f1 + e2 f1, e1, e2 C ) , { ⊂ h i ⊂ h i ⊂ h i⊂ } (5.27) (0 e e , f e f , e , e C4) . { ⊂ h 1i ⊂ h 1 1 − 2i ⊂ h 1 1 2i⊂ } 6. Components of Springer fibers of type D 6.1. The branching rule. Given a type D cup diagrama ˙ BD , if i is the left endpoint of a cup, ∈ n−k,k i.e., i V a˙ Xa˙ , set ∈ l ∪ l m(i)= i + δ(i) 1= i+σ(i) . (6.1) − 2 26 j k a˙ B Let Λ be the subset of Λn−k,k consisting of quadruples (A, B, Γ, 0) satisfying the following relations, if n k = k: − a ker Bm(i)→i−1 = ker Am(i)→σ(i) for all i Vl , ∈ a ker Bm(i)→i−1 = ker Am(i)→σ(i) for all i Xl , 6 ∈ (6.2) A i+1 Γ i+1 = A i+1 Γ i+1 σk if i is connected to a marked ray, 2 →i k→ 2 2 →i k→ 2 A i+1 →iΓk→ i+1 = A i+1 →iΓk→ i+1 σk if i is connected to an unmarked ray, 2 2 − 2 2 while when n k > k, the last two relations in (6.2) are replaced by the following: − A Γk = B Γn k if i is connected to the rightmost ray, and it’s marked, k→k+ρ(i)−1 − n−k→k+ρ(i)−1 − Ak→k+ρ(i)−1Γk = Bn−k→k+ρ(i)−1Γn−k if i is connected to the rightmost ray, and it’s unmarked. (6.3) We further define a˙ a˙ a˙ a˙ M = pn−k,k(Λ ), K = ϕ(M ). (6.4) a˙ Note that M also makes sense fora ˙ Bn−k,k (see Section 4.2). The rest of the section is dedicated to the proof of the following theorem:∈ e e Theorem 6.1. Let a Bn k k be a type A cup diagram. ∈ − , (a) If a is symmetric (with respect to the axis of reflection), then a Θ a˙ (M ) = aM , ⊔ ˙ D wherea ˙ runs over all type D cup diagrams in Bn−k,k which unfold to a in the sense of Defini- tion 4.4. a Θ b Θ (b) If a is not symmetric, then (M ) (M ) for some symmetric b Bn k k. ⊆ ∈ − , As a consequence, Θ a˙ Mn−k,k = M . a˙ ∈BD [n−k,k Lemma 6.2. Let a Bn k k. If there is a marked cup, unmarked cup, or marked ray that does not ∈ − , cross the axis of reflection, then the relation it imposed in (M a)Θ is equivalent to the relation imposed by its mirror image. e Proof. Assume that there is a (unmarked) cup connecting vertices i, j on the left half of the diagram. The cup relation is ker Am(i)→j = ker Bm(i)→i−1. Using Remark 5.1, we obtain ker A = ker Aj Aj A m(i)→j −1 −2 · · · m(i) −1 −1 −1 = ker(gj Bn jg )(gj Bn j g ) (g B g ) − j−1 −1 − −1 j−2 · · · m(i)+1 n−m(i)−1 m(i) (6.5) −1 = ker Bn−m(i)→n−jgm(i). On the other hand, we obtain ker B = ker Bi Bi B m(i)→i−1 −1 · · · m(i)−1 −1 −1 −1 = ker(gi An ig )(giAn i g ) (g A g ) −1 − i − +1 i+1 · · · m(i)−1 n−m(i) m(i) (6.6) −1 = ker An−m(i)→n−i+1gm(i). Hence, this cup relation is equivalent to another cup relation ker An−m(i)→n−i+1 = ker Bn−m(i)→n−j corresponding to the cup connecting vertices n j + 1, n i + 1, which is the mirror image of the original cup. Similarly, a marked cup relation is− equivalent− to the marked cup relation for its mirror image; so is the relation imposed by the leftmost ray. 27 Corollary 6.3. (a) If a Bn k k is symmetric (with respect to the axis of reflection) and has no ∈ − , cups that cross the axis, then (M a)Θ = M a˙ , wherea ˙ BD is the marked cup diagram ∈ n−k,k obtained by cropping thee right half of a. a Θ b Θ (b) If a Bn k k is not symmetric, then (M ) (M ) for some symmetric b Bn k k. ∈ − , ⊆ ∈ − , k Proof. Part (a) follows immediately from Lemma 6.2. For Part (b), pick up to 2 cups it, jt 1 t r so that these cups that lie entirely on one half of a, and they are⌊ not⌋ mirror{{ images} | of≤ each≤ other.} By Lemma 6.2 they impose relations that are equivalent to the ones imposed by the cups n + 1 jt, n + 1 it 1 t r assuming (5.2) holds. Note that the remaining vertices {{ − − } | ≤ ≤ } 1, . . . , n it, jt, n + 1 it, n + 1 jt t show up in pairs. One can then define b Bn−k,k using {on the 2r}cups \ { altogether− with k 2−r symmetric} cups connecting the remaining vertices∈ from center − to outside. Finally, using (5.2), the symmetric cups added impose only relations on gm and hence (M a)Θ (M b)Θ. ⊆ 1234 Example 6.4. Let a = B . Since k = 1, we cannot pick cups it, jt otherwise we have ∈ 3,1 { } 1234 2r > k. Hence, b = B and indeed we have (M a)Θ = ∅ (M b)Θ as in Example 5.5. ∈ 3,1 ⊆ If a = 1, 4 , 2, 3 , 5, 6 B3,3, we can choose r = 1, i1, j1 = 2, 3 with mirror image 4, 5 . Finally{{ we} { add} enough{ }} cups ∈ to make sure b B and{ so b =} 2,{ 3 ,} 4, 5 , 1, 6 . Note { } ∈ 3,3 {{ } { } { }} that b is not unique – one can start with choosing i1, j1 = 5, 6 and the resulting cup diagram is b = 1, 2 , 3, 4 , 5, 6 . { } { } {{ } { } { }} a Θ a′ Θ a− Θ Lemma 6.5. If a Bn k k has cups that cross the axis of reflection, then (M ) = (M ) (M ) . ∈ − , ⊔ a Θ a′ Θ a− Θ Proof. It suffices to showe that (M ) (M ) = (M ) . There are two cases to be done – if a has at least two cups that cross the axis, or\ exactly one such cup. Assume that a has exactly one cup crossing the axis, say the cup represented by i + 1, n i for some i Fi = ker(A iΓ . . . Ai Γ i Γ i). (6.8) 1→ →1| | −1 → −1| → By Algorithm 4.3, it remains to prove that (M a)Θ splits into two exclusive cases described by Γk→ i+1 = Γk→ i+1 σk if n k = k, 2 ± 2 − (6.9) (Ak→k+ρ−1Γk = Bn−k→k+ρ−1Γn−k if n k > k. ± − i−1 For the case n k = k = m, note that in a there is no cups and hence Fi contains et, ft 1 t . − h | ≤ ≤ 2 i It remains to investigate the possible vectors that span the 1-dimensional kernel of A i+1 Γ i+1 . If 2 →i k→ 2 λe + µf ker A i+1 →iΓk→ i+1 , then by Remark 5.1 we have ∈ 2 2 λe + µf ker Ai−1 A i+1 B i+1 Γk = ker giBn−i Bn−1− i+1 An−1− i+1 Γkσk ∈ · · · 2 2 · · · 2 2 · · · (6.10) = ker B i+1 A i+1 Γkσk, n− 2 →n−i k→n− 2 28 and thus, by combining the admissibility conditions and the cup relation, we have λe µf ker Bn− i+1 →n−iAk→n− i+1 Γk = ker Am→n−iA∗→mΓk→∗ − ∈ 2 2 · · · = ker Bm→iA∗→mΓk→∗ = ker Bn−∗→iAk→n−∗Γk (6.11) = ker A i+1 Γ i+1 . 2 →i k→ 2 Therefore, it splits into two cases λ =0or µ = 0, which correspond to whether A i+1 Γ i+1 is equal 2 →i k→ 2 to A i+1 →iΓk→ i+1 . ± 2 2 For the case n k > k, a similar analysis reduces the discussion to investigate the 1-dimensional kernel of the map− k (Ak c Γk Bn k i cΓn k) : fc , ei c Vi = C . (6.12) → +1 | − → − − h +1 − i→ A simpler deduction (due to the lack of the non-trivial involution σk) leads to that Ak→c+1Γk = Bn−k→i−c (cf. Example 5.5). ± Assume now a has more than one symmetric cup. We pick the two innermost nested cups connecting j + 1, n j, and i + 1, n i, respectively, such that i Fi = e1, . . . , e 1 (i−1), f1, . . . , f 1 (i+1) . h 2 2 i (iv) If vertex i is connected to a ray without a marker, then Fi = e1, . . . , e 1 (i+1), f1, . . . , f 1 (i−1) . h 2 2 i Proof. Part (i) is exactly the type A result. For part (ii), combining Algorithm 4.3, (6.2) and part (i), we know that − 1 (j−i+1) −(m+1−j) −(m+1−i) Fj = x 2 Fi , Fn j = x Fj , Fn i = x Fi . (6.13) 6 −1 +1− −1 +1− −1 − 1 (j−i+1) 1 (j−i+1) By elementary linear algebra, Fj = x 2 Fi−1 is equivalent to x 2 Fj + Fi−1 = Fi; while the 6 1 (n−2j) ⊥ latter two relations in (6.13) are equivalent to x 2 Fj = Fj thanks to the fact that the subdiagram of the unfolded diagram a from vertex i to n + 1 i only contains unmarked cups. Parts (iii) and (iv) − follow from that Γk→ i+1 = Γk→ i+1 σk is equivalent to ker Γk→ i+1 = e or f due to our choice of 2 ± 2 2 h i h i σk. Remark 6.7. The readers may notice that the marked cup relation in Theorem 6.6(ii) is a pair of equations instead of a single equation. In an earlier stage of this work, we thought it can be simplified using one single equation, but it turns out that there is no obvious way to do it to our knowledge. 29 Example 6.8. Let (x, F ) Ka˙ ), wherea ˙ BD is the cup diagram below: • ∈ ∈ 5,5 1 2 3 4 5 Since vertices 1, 2 are connected by a cup without a marker, we have F = x−1F = e , f . 2 0 h 1 1i Next, vertex 3 is connected to a marked ray, so F = e , e , f . (6.14) 3 h 1 2 1i Finally, vertices 4, 5 are connected by a marked cup, and thus 5 ⊥ xF + F3 = F4, F5 = F5. (6.15) The most general form for F is F = e , f , f , λe + µf for some (λ, µ) C2 (0, 0). By (6.15), F 4 4 h 1 1 2 2 3i ∈ \ 5 must contains λe3 + µf4 and hence F = e , f , f , λe + µf , λe + µf . 5 h 1 1 2 2 3 3 4i 6.3. Two Jordan blocks of unequal sizes. For this section we assume n k > k. Recall that − i−ρ(i) ρ(i) Z>0 counts the number of rays (including itself) to the left of i , and c(i) = 2 is the total number∈ of cups to the left of i. Theorem 6.9. Let x D be a nilpotent element of Jordan type (n k, k) as in (4.2) anda ˙ BD . ∈N − ∈ n−k,k Then Ka˙ D consists of the pairs (x, F ) which satisfy (i)–(ii) of Theorem 6.6 and the following ⊆Bn−k,k • conditions imposed by the diagrama ˙ : (iv) If vertex i is connected to a marked ray, then Fi = e , . . . , e , f , . . . , f , f + e . h 1 i−c(i)−1 1 c(i) c(i)+1 i−c(i)i (v) If vertex i is connected to the rightmost ray without a marker, then Fi = e , . . . , e , f , . . . , f , f e . h 1 i−c(i)−1 1 c(i) c(i)+1 − i−c(i)i (vi) If vertex i is connected to an unmarked ray that is not the rightmost, then Fi = e , . . . , e , f , . . . , f . h 1 i−c(i) 1 c(i)i Proof. It suffices to prove part (iii) – (iv) regarding the new relations for the rightmost ray. Write i−ρ ρ = ρ(i), c = c(i)= 2 for short. By Corollary 3.3, we have Fi = ker(A1→iΓ→1 . . . Γ→i), and we are to prove that | | ker(Ac+1→iΓk→c+1) = 0 = ker(Ai−c→iΓn−k→i−c), (6.16) ker(Ac iΓk c Ai c iΓn k i c)= C. +1→ → +1| − → − → − The former line follows from the admissibility conditions and (5.2), while the latter line follows from Ac iΓk c = Ai c iΓn k i c, which is a consequence of (6.3). Therefore, the additional basis +1→ → +1 ± − → − → − vector is fc ei c. +1 ± − Example 6.10. Let F Ka˙ , wherea ˙ BD is the cup diagram below: • ∈ ∈ 5,3 1234 Firstly, vertex 1 is connected to a unmarked ray that is not the rightmost, so F = e . 1 h 1i Secondly, although vertex 2 is connected to a ray without a marker, we use a different rule since it is the rightmost ray. Hence, F2 = e1, f1 e2 . h 30 − i Finally, vertices 2, 3 are connected by a cup without a marker, we obtain that F = x−1F = e , e , f . 3 1 h 1 2 1i 7. Irreducibility D In this section we prove the irreducibility of Ka fora ˙ B via an induction on n. ˙ ∈ n−k,k 7.1. The base case. Firstly we prove the case in which n = 2m 4. ≤ D Lemma 7.1. Leta ˙ B for some λ = (n k, k), n 4. Then Ka is irreducible. ∈ λ − ≤ ˙ Proof. The four irreducible components are described explicitly in Examples 4.8–4.9. Following the ˙ notation therein, both Ka˙ , Kb are (geometric) points, and hence it suffices to show that Ka˙ 12 , Ka˙ 13 are irreducible, where 21 21 a˙ 13 = ,a ˙ 12 = . 1 a˙ 1i 1 We prove this by showing that they are PC-bundles, i.e., for i = 2, 3, we are to construct (K , PC, πi, pt ) such that the diagram below commutes: { } φ π−1(P1 ) i P1 pt i C ≃ C × { } πi (7.1) proj1 1 PC Here φi is a homeomorphism, proj1 is the projection onto the first factor. We define the projection map πi by a˙ 1i 1 n πi : K P , (0 F = λe + µf . . . C ) [λ : µ]. (7.2) → C ⊂ 1 h 1 1i⊂ ⊂ 7→ −1 1 a˙ 1i We see from Example 4.9 that πi (PC)= K . Now we define φi by a˙ 1i 1 n φi : K P pt , (0 F = λe + µf . . . C ) ([λ : µ], pt). (7.3) → C × { } ⊂ 1 h 1 1i⊂ ⊂ 7→ −1 It is easy to check that its inverse is given by φi ([λ : µ], pt) = F•, where e1, f1 if i = 3; F1 = λe1 + µf1 , F3 = e1, f1, λe2 + µf2 , F2 = h i (7.4) h i h i λe + µf , λe + µf if i = 2. (h 1 1 2 2i It is routine to check that φi is bicontinuous as well as that (7.1) commutes. We are done. 1 7.2. Iterated PC-bundles. 1 Definition 7.2. A space X is called an iterated PC-bundle of length ℓ if there exists spaces X = 1 1 X , X , . . . , Xℓ, Xℓ = pt and maps πi : Xi P such that (Xi, P , πi, Xi ) is a fiber bundle for 1 2 +1 → C C +1 1 i ℓ. A point is considered an iterated P1 -bundle of length 0. ≤ ≤ C The goal of this section is to prove the following theorem. D a˙ Theorem 7.3. Leta ˙ Bn−k,k be a marked cup diagram with ℓ cups. Then K is an iterated 1 ∈ PC-bundle of length ℓ. As a corollary, Ka˙ a˙ BD forms the complete list of irreducible components of the two-row { | ∈ n−k,k} Springer fiber D of type D. Bn−k,k We have proved the special case n 4 of Theorem 7.3 in Lemma 7.1. Next, we will use an induction on n = 2m. For m 3, below is an exhaustive≤ list of possible ray or cup that connects the first vertex in the marked cup≥ diagrama ˙ BD : ∈ n−k,k 1 1 1 2t 1 2t m a2 , a2 , a1 a2 , a1 a2 (1 t ) (7.5) ≤ ≤ ⌊ 2 ⌋ 31 Here a1 represents the subdiagram ofa ˙ to the right of the ray or cup connected to vertex 1; while a2 represents the subdiagram ofa ˙ enclosed by the cup connected to vertex 1. Our plan is to show that: a˙ b˙ c˙ b˙ c˙ 1 Certain K is the trivial fiber bundle K K , where K and K are both iterated PC-bundles • of shorter lengths. × Any remaining Ka˙ is isomorphic to an irreducible component of a smaller n. • b˙ c˙ 1 It then follows from [Sch12, Lemma 8.11] that K K is also an iterated PC-bundle. For our proof, we have to rearrange (7.5) and split them into three× major cases (with possibly subcases) as below: Case I: Vertex 1 is connected to 2t via an unmarked cup, where 2t Here Am−1 is the zero matrix if m is even; when m = 2r 1 is odd, there only possible nonzero entry is − λ λ λ λ r−1 (Am )r r = βλ(ce + df , ce + df ) = ( 1) 2cd. (7.13) −1 , r r r r − In other words, when m is odd, Q is an isomorphism of formed spaces if either c =0 or d = 0. For part (c), if n k 2 > k, then the matrix of β¯λ is obtained from Mλ by deleting the rows − − λ λ and columns corresponding to e1 and em, and hence one only needs to deal with the sign change of the upper left block. For the other case n k 2= k, note first that k must be odd so that (4.2) is − − satisfied. Next, we consider the ordered basis B = eλ + f λ, . . . , eλ + f λ, eλ f λ, . . . , eλ f λ . { 2 1 k+1 k 2 − 1 k+1 − k } The matrix associated to β¯λ under B is then λ λ λ λ ei+1 + fi ei+1 fi λ λ { }{ − } ei+1 + fi 0 2Jk (7.14) {eλ f λ} 2J t − 0 { i+1 − i } − k We are done after a renormalization. For any µ = (µ1, µ2), let xµ be the nilpotent operator given by eµ eµ . . . eµ 0, f µ . . . f µ 0. (7.15) µ1 7→ µ1−1 7→ 7→ 1 7→ µ2 7→ 7→ 1 7→ Let W be any formed subspace as in Lemma 7.4. Denote byx ¯λ be the induced nilpotent operator determined by e¯λ e¯λ , f¯λ f¯λ , (7.16) i 7→ i−1 i 7→ i−1 For each such W , define an integer 2t if W = ei, fi 1 i t , 2t 7.4. Case I. In this section we assume that n = 2m 6, λ = (n k, k),a ˙ BD, 1= σ(2t) V a˙ , 2t a˙ b˙ c˙ ˙ D We are going to show that K is homeomorphic to the trivial bundle K K for some b Bµ1,µ2 ,c ˙ D × ∈ ∈ Bν1,ν2 such that µ2, ν2 < k so that the inductive hypothesis applies. Note that if 2t = m, the construction in this section will not work and has to be discussed in Section 7.5 ˙ D D Definition 7.6. Assume that (7.19) holds. We define two marked cup diagrams b Bµ ,c ˙ Bν as follows: ∈ ∈ (1) b˙ is obtained by croppinga ˙ on the first 2t vertices. Note that by construction, b˙ consists of only unmarked cups and hence µ = (2t, 2t) 4t. (2)c ˙ is obtained by croppinga ˙ on the last m ⊢2t vertices with a shift on the indices. Note that ν = (n 2t k, k 2t) n 4t by a simple− bookkeeping on the number of vertices and cups. − − − ⊢ − Namely, we have 1 2t 1 2t 1 m − 2t a˙ = a1 a2 b˙ = a1 andc ˙ = a2 ⇒ Lemma 7.7. Leta ˙,c ˙ be defined as in Definition 7.6. Recall Ω from (7.18) using Q = QI from (7.9). Then Ω(Ka˙ ) Kc˙. ⊆ a˙ a˙ Proof. We first the the unmarked cup relations hold in Ω(K ). In other words, for any F• K and any pairs of vertices (i, j) connected by an unmarked cup inc ˙, ∈ −1 2 (j−i+1) c˙ Q(Fℓ j/W )= xν Q(Fℓ i /W ), for all i V . (7.21) + + −1 ∈ l Note that (i ℓ, j ℓ) must be connected by an unmarked cup, and hence − − −1 2 (j−i+1) c˙ Fj ℓ = x Fi ℓ, for all i V . (7.22) − λ − ∈ l Thus, (7.28) follows from combining (7.29) and the former part of Corollary 7.5. A ray connected to vertex i inc ˙ corresponds to the five flag conditions as in Theorem 6.6(iii)–(iv) and Theorem 6.9(iii)–(v). Since b˙ contains exactly t unmarked cups, F2t = e1, . . . , et, f1, . . . , ft and ′′ h i so Fi = Q(Fℓ+i/F2t). A case by case analysis shows that the new ray relations hold. Lemma 7.8. Leta ˙ , b˙ be defined as in Definition 7.6. Then the map below is well-defined: a˙ b˙ ′ πa b : K K , F F , (7.23) , → • 7→ • ′ λ ′ ′ ′ ′ where F = P (Fi) if 1 i 2t, and that F , ...F are uniquely determined by F , . . . , F i µ ≤ ≤ 2t+1 4t−1 1 2t under the isotropy condition with respect to βµ. 34 ′ Proof. . We split the proof into three steps: firstly we show that F• is isotropic under βµ. Secondly, we show that F ′ sits inside the Springer fiber D . Finally, we show that F ′ lies in the irreducible • Bxµ • component Kb˙ . ′ Step 1: It suffices to show that F2t is isotropic. Since the first 2t vertices ina ˙ are all connected λ λ λ λ by unmarked cups, F t = e , . . . , e , f , . . . , f . Hence, 2 h 1 t 1 t i F ′ = eµ, . . . , eµ, f µ, . . . , f µ . (7.24) 2t h 1 t 1 t i ′ ⊥ ′ It then follows directly from (4.4) that (F2t) = F2t. ′ ′ Step 2: It suffices to check that xµFi Fi−1 for all i. Note that a direct computation shows that ⊆ λ λ Pµ xλ = xµPµ . (7.25) Hence, when i 2t, we have ≤ ′ λ λ λ ′ xµF = xµP (Fi)= P xλ(Fi) P (Fi )= F . (7.26) i µ µ ⊆ µ −1 i−1 ′ ′ ′ −1 ′ Next, since now xµF F for i< 2t , we have F x F , and hence i+1 ⊆ i i+1 ⊆ µ i ′ ′ ⊥ −1 ′ ⊥ ′ F = (F ) (x F ) = xµF . (7.27) 4t−i−1 i+1 ⊇ µ i 4t−i Step 3: we need to verify the conditions −1 λ 2 (σ(i)−i+1) λ b˙ P (F )= xµ (P (Fi )), for all i V . (7.28) µ σ(i) µ −1 ∈ l Note that V b˙ V a˙ , hence the unmarked cup relations ina ˙ hold, i.e., l ⊆ l −1 2 (σ(i)−i+1) b˙ F = x Fi , for all i V . (7.29) σ(i) λ −1 ∈ l λ Thus, (7.28) follows from applying Pµ to (7.29), thanks to (7.25). Finally, we are in a position to show that Ka˙ is irreducible. Proposition 7.9. Retain the notations of Lemma 7.7–7.8. The assignment F (πa b(F ), Ω(F )) • 7→ , • • defines a homeomorphism between Ka˙ and the trivial fiber bundle Kb˙ Kc˙. × Proof. It suffices to check that the given assignment is a homeomorphism with its inverse map given by (F ′ , F ′′) F , where • • 7→ • µ ′ Pλ (Fi ) if 1 i 2t; −1 −1 ′′ ≤ ≤ Fi = ψ (Q (F )) if 2t + 1 i m; (7.30) i−2t ≤ ≤ F ⊥ if m + 1 i n. n−i ≤ ≤ a˙ That F• K almost follows from construction, except for that we need to check if F2t F2t+1, which ∈ −1 −1 ′′ ⊂ follows from that ψ (Q (F1 )) is a 2t + 1-dimensional space that contains F2t. 7.5. Case II. In this section we consider one of the following diagrams: 1 m = 2t 1 2t a1 or a1 a2 (2t m) ≤ Note that for the latter subcase the marked cup (1, 2t) has to be accessible from the axis of reflection, and so there is no rays in the subdiagram a2. Moreover, there is no rays in the entire diagrama ˙, and thus λ = (m, m). That is, in this section we are working with the following assumptions: either 1 = σ(m) V a˙ n = 2m 6, λ = (m, m),a ˙ BD, ∈ l (7.31) ≥ ∈ λ or 1= σ(2t) Xa˙ (2t m). ∈ l ≤ We are going to show that Ka˙ is a P1 -bundle with typical fiber Kc˙ for somec ˙ BD such that C ∈ ν1,ν2 ν2 < k so that the inductive hypothesis applies. 35 Definition 7.10. Assume that (7.31) holds. Definec ˙ BD by performing the following actions: ∈ ν (1) Remove the cup connected to vertex 1 together with vertex 1. (2) Connect a marked ray to vertex σ(1). (3) Decrease all indices by one. Note that ν = (m 1, m 1) by a simple bookkeeping on the number of vertices and cups. Namely, we have − − 1 m m − 1 1 2t 2t − 1 a˙ = a1 c˙ = a1 ora ˙ = a1 a2 c˙ = a1 a2 ⇒ ⇒ Define π : Ka˙ P1 by → C F = (0 F = λe + µf . . . Cn) [λ : µ]. (7.32) • ⊂ 1 h 1 1i⊂ ⊂ 7→ a˙ 1 c˙ Now we check (K , PC, π, K ) is a fiber bundle. For the local triviality condition we use the open covering P1 = U U where C 1 ∪ 2 U = [1 : γ] γ C , U = [γ : 1] γ C . (7.33) 1 { | ∈ } 2 { | ∈ } II Lemma 7.11. Leta ˙ ,c ˙ be defined as in Definition 7.10. Recall Ω from (7.18) using Q = Qj , j = 1, 2 from Lemma 7.4(b). Then the maps below are well-defind: −1 c˙ φj : π (Uj) K , F Ω(F ). (7.34) → • 7→ • Proof. The cup relations in subdiagrams a1 and a2 can be verified similarly as in Lemma 7.7. For the marked ray connected to vertex 2t 1 inc ˙, the corresponding relation, according to Theorem 6.6(iii) and Theorem 6.9(iv), is − eν , . . . , eν , f ν, . . . , f ν ; if 2t = m; F ′′ = h 1 t−1 1 t i (7.35) 2t−1 eν , . . . , eν , f ν, . . . , f ν , eν + f ν if 2t −1 (π,φj ) c˙ π (Uj) Uj K ≃ × πi (7.37) proj1 Uj ′′ It is routine to check that (π, φj) is a homeomorphism with its inverse map given by ([a : b], F• ) F•, where 7→ λ λ ae1 + bf1 if i = 1; h −1 II −i1 ′′ Fi = ψ ((Q ) (F )) if 2 i m; (7.38) j i−1 ≤ ≤ F ⊥ if m + 1 i n. n−i ≤ ≤ 36 7.6. Case III. In this section we assume that n = 2m 6, λ = (n k, k),a ˙ BD, 1 V a˙ Xa˙ (7.39) ≥ − ∈ λ 6∈ l ⊔ l That is, vertex 1 is connected to a ray. We will discuss the following subcases: 1 Case III–1:a ˙ = a2 in which a2 contains no rays. 1 Case III–2:a ˙ = a2 in which a2 contains no rays. 1 Case III–3:a ˙ = a2 in which a2 contains exactly one ray. 1 Case III–4:a ˙ = a2 in which a2 contains at least two rays. D Letc ˙ Bν be the marked cup diagram obtained from a2 by decreasing all indices by one. We are going to∈ show that Ka˙ is isomorphic to Kc˙ so that the inductive hypothesis applies since ν n 2 Department of Mathematical Sciences, United States Military Academy, West Point, NY 10996 Email address: [email protected] (Im) Department of Mathematics, University of Georgia, Athens, GA 30602 Email address: [email protected] (Lai) Department of Mathematics, University of Georgia, Athens, GA 30602 Email address: [email protected] (Wilbert) 38