arxiv: v1 [math.rt] 19 Nov 2018

Transcription

1 RESTRICTING SCHUBERT CLASSES TO SYMPLECTIC GRASSMANNIANS USING SELF-DUAL PUZZLES IVA HALACHEVA, ALLEN KNUTSON, AND PAUL ZINN-JUSTIN arxiv:8.758v [math.rt] 9 Nov 28 Abstract. Given a Schubert class on Gr(k,V) where V is a symplectic vector space of dimension 2n, we consider its restriction to the symplectic Grassmannian SpGr(k, V) of isotropic subspaces. Pragacz gave tableaux formulæ for positively computing the expansion of these H (Gr(k,V)) classes into Schubert classes of the target when k n, which corresponds to expanding Schur polynomials into Q-Schur polynomials. Coşkun described an algorithm for their expansion when k n. We give a puzzle-based formula for these expansions, while extending them to equivariant cohomology. We make use of a new observation that usual Grassmannian puzzle pieces are already enough to do some 2-step Schubert calculus.. Introduction.. Grassmannian duality of puzzles. The Littlewood-Richardson coefficients c ν µ, where, µ, ν are (for now) partitions, satisfy a number of symmetries, one of which is c ν µ cνt µ T. One origin of L-R coefficients is as structure constants in the product in T H (Gr(k,V)) of Schubert classes on the Grassmannian of k-planes in V. In that formulation, the Grassmannian duality homeomorphism Gr(k,V) Gr((dimV) k,v ), (U V) (U V ) induces an isomorphism of cohomology rings and a correspondence of Schubert bases, giving the symmetry above. This symmetry is not at all manifest in tableaux-based computations of the {c ν µ }, but it is in the puzzle rule of [], which is based on the puzzle pieces, their rotations, and the equivariant piece Specifically, the dual of a puzzle is constructed by flipping it left-right and simultaneously exchanging all (in particular, -labels again become s). The duals of the puzzles counted by c ν µ are exactly those counted by cνt µ T. T This prompts the question: what do self-dual puzzles count? One might expect it is something related to an isomorphism V V e.g. a bilinear form, and indeed our main theorems A, B, and C interpret self-dual puzzles as computing the restrictions of Schubert classes on Gr(k, 2n) to the symplectic Grassmannian SpGr(k, 2n). (We will address elsewhere the minimal modifications necessary to handle the orthogonal case.) For k n, there was already a tableaux-based formula for these restrictions in [2] which is less simple. Date: November 2, 28. PZJ was supported by ARC grant FT5232. In particular, [2] provides a cohomological interpretation of algebraic results of Stembridge [3] about expanding Schur functions into Schur P- and Q-functions.

2 2 IVA HALACHEVA, ALLEN KNUTSON, AND PAUL ZINN-JUSTIN to state than Theorem A. This is perhaps another effect of tableaux being less suited to Grassmannian duality than puzzles are..2. Restriction from Gr(n,2n). Let V be a vector space over C equipped with a symplectic form, so the Grassmannian Gr(k, V) of k-planes contains the subscheme SpGr(k,V) : {L V : diml k, L L } where means perpendicular with respect to the symplectic form. Then the inclusion ι : SpGr(k,V) Gr(k,V) induces a pullback ι : H (Gr(k,V)) H (SpGr(k,V)) in cohomology. As both cohomology rings possess bases consisting of Schubert classes {S }, one can ask about expanding ι (S ) in the basis of SpGr(k,V) s Schubert classes {S ν }. Let dimv 2n (necessarily even, since V is symplectic), and for the simplest version of the theorem assume k n. Then the Schubert classes on Gr(n,V) are indexed by the ( ) 2n n binary strings with n s and n s, whereas the Schubert classes on SpGr(n,V) are indexed by the 2 n binary strings of length n (with more detail on this indexing in 2). Theorem A. Let S be a Schubert class on Gr(n,2n), indexed by a string with content in n n, and S ν a Schubert class on SpGr(n,2n), indexed by a length n binary string. Then the coefficient of S ν in ι (S ) is the number of self-dual puzzles with on the Northwest side, ν on the left half of the South side (both and ν read left to right), and equivariant pieces only allowed along the axis of reflection. Example. For, a self-dual puzzle with on the Northwest side has to be of the form for some µ µ. So, it will appear in the usual calculation of S 2 H T (Gr(2,4)), which involves three puzzles. Only one of these puzzles is self-dual, and its only equivariant piece is on the centerline. From this we compute ι (S ) S in H (SpGr(2,4)). A surprising aspect of Theorem A is that equivariant pieces appear in this nonequivariant calculation, albeit only down the centerline. 2 If we allow them elsewhere (self-dually occurring in pairs), the puzzles compute the generalization of Theorem A to equivariant cohomology. We leave this statement until Theorem C in 5 because it requires some precision about the locations of the symplectic Schubert varieties..3. Interlude: puzzles with s on the South side. To generalize Theorem A to SpGr(k,2n), we need strings that index its ( n k) 2 k many Schubert classes. We do this using the third edge label, : consider strings ν of length n with (n k) s, the rest a mix of s and s. Before considering self-dual puzzles with Southside s, we mention a heretofore unobserved capacity of the puzzle pieces from [], available once we allow for Southside s. It turns out they are already sufficient to compute certain products 3 in the cohomology of 2 The number of equivariant pieces down the centerline is in fact fixed and equal to the number of s in ν, by a weight conservation argument. 3 Note that the general 2-step problem has received a puzzle formula [4], but using many more puzzle pieces than we use here. The problem of multiplying classes from different Grassmannians was studied already in [5].

3 RESTRICTING SCHUBERT CLASSES TO SYMPLECTIC GRASSMANNIANS USING PUZZLES 3 2-step flag manifolds! The only necessary new idea is to allow the previously internal label to appear on the South side. Theorem 2. Let j k n, and let, µ be,-strings with content j n j, k n k respectively, defining equivariant Schubert classes S,S µ on Gr(j,C n ), Gr(k,C n ) respectively. Let π j,π k be the respective projections of the 2-step flag manifold Fl(j,k; C n ) to those Grassmannians. Let ν be a string in the ordered alphabet,, with content j () k j n k, defining a Schubert class S ν in H T (Fl(j,k; Cn )). We emphasize that the alphabet order is,,! Then the coefficient of S ν in the product π i (S )π j (S µ) H T (Fl(j,k; Cn )) is the usual sum from [] over puzzles P with boundary labels, µ, ν, made from the puzzle pieces in., of fug(p) the usual product over the equivariant pieces. Example 3. If, µ, then their pullbacks give π (S ) S,,, π 2 (S ) S,,, with product (y y 2 )S,, + S,, (note: to compare strings to permutations requires inversion, as in Proposition 9)..4. Restriction from Gr(k, 2n), k < n. Theorem B. Let be a string with content k 2n k, whereas ν is of length n with (n k) s, the rest a mix of s and s. Consider the puzzles from Theorem 2, where we allow labels to appear on the South side. Then as before, in H (SpGr(k,2n)), the coefficient of S ν in ι (S ) is the number of selfdual puzzles with on the Northwest side, ν on the left half of the South side (both and ν read left to right), and equivariant pieces only allowed along the axis of reflection. Example 4. In the remainder of the paper we work with the left halves of self-dual puzzles, since the centerline and right half can be inferred. The half-puzzles pictured here (really for equivariant Theorem C to come) show ι (S ) (y 2 y 3 )S,, +S,, +S,,. In this extended abstract we only include the proof of Theorem B (containing Theorem A) in ordinary and equivariant cohomology (see Theorem C); the K-version will appear elsewhere. The proof is based on the quantum integrability of R-matrices, and closely follows that of [6]; the principal new feature is the appearance of K-matrices. The reflection equation RKRK KRKR (more precisely, equation (4) in Lemma 7) is standard; however since the approach of [6] requires not just R-matrices but the trivalent U-matrix we needed here the possibly novel K-fusion equation (5) in Lemma The groups, flag manifolds, and cohomology rings While all symplectic structures on C 2n are GL 2n -equivalent, in order to compute in T n - equivariant cohomology we need to be more specific about our choice of form: we take the Gram matrix to be antidiagonal. This is so that if B ± are the upper/lower triangular Borel subgroups of GL 2n, then B ± Sp 2n will again be opposite Borel subgroups.

4 4 IVA HALACHEVA, ALLEN KNUTSON, AND PAUL ZINN-JUSTIN Consider Gr(k,2n) { V C 2n dimv k} GL 2n /P where k n and P is the parabolic subgroup of block type (k,2n k) containing B B +. Then P Sp2n P Sp 2n is a parabolic for the Lie subgroup Sp 2n and the symplectic Grassmannian is SpGr(k,2n) { V < C 2n dimv n,v V } Sp 2n /P Sp2n. Let T 2n : B + B be the diagonal matrices in GL 2n, and T n : Sp 2n T 2n. Note that (GL 2n /P) Tn (GL 2n /P) T2n since there exist x T n with no repeated eigenvalues. The following diagram of spaces commutes. {ν : a s.t. content(ν) a () n k k a } (SpGr(k,2n)) Tn SpGr(k,2n) ι ι coord { : content() k 2n k } (Gr(k,2n)) Tn Gr(k,2n) Throughout the paper we freely interchange between strings, ν and left cosets W P \W to index (G/P) T. The map ι takes a sequence ν first to its double νν where ν is ν reflected and its s and s are switched; after that, all s in νν are turned into s, e.g.,,,,,,,,,,,,,,,,,,,,,, The bijective map coord takes a,-sequence to the coordinate k-plane that uses the coordinatesinthepositionsof(so,,4,8intheaboveexample). Notethatcoord ι() SpGr(k, 2n) by the antidiagonality we required of the Gram matrix. The right-hand square, and the inclusion T n T 2n, induce the ring homomorphisms f f 2 ι H T 2n (Gr(k,2n)) H T n(gr(k,2n)) H T n(spgr(k,2n)) g g 2 g 3 h h 2 H T 2n (Gr(k,2n) T2n ) H T n(gr(k,2n)tn ) H T n(spgr(k,2n)tn ) and since each g i is injective (see e.g. [7]), we can compute along the bottom row, the proof technique used in [6] and 5. On each of our flag manifolds, we define our Schubert classes as associated to the closures of orbits of B or B Sp 2n. 3. Scattering diagrams and their tensor calculus In the statement and proof of Theorem B, we work with half-puzzles, i.e., labeled halftriangles 2n of size 2n, tiled with the triangle and rhombus puzzle pieces described in., as well as half-rhombus puzzle pieces obtained by cutting the existing self-dual ones vertically in half. As discussed earlier, a half-puzzle can be considered as half of a self-dual puzzle with all three sides of length 2n. In our notation, a rhombus can also be made of a and a triangle glued together. To linearize the puzzle pictures and relate them back to the restriction of cohomology classes, we consider the puzzle labels {,,} as indexing bases for three spaces C 3 G,C3 R,C3 B (Green, Red, Blue). In our scattering diagrams below, each coloured edge will carry its corresponding vector space. () Take an unlabeled size 2n half-puzzle triangle 2n tiled by rhombi, half-rhombi (on the East) and triangles (on the South) as before, with assigned spectral parameters y,...,y n, y n,..., y on the Northwest side.

5 RESTRICTING SCHUBERT CLASSES TO SYMPLECTIC GRASSMANNIANS USING PUZZLES 5 (2) Consider the dual graph picture of strands, oriented downwards. Each rhombus corresponds to a crossing of two strands, each half-rhombus to a bounce off the East wall and negates the spectral parameter, and each triangle to a trivalent vertex with all parameters equal. We also colour the Southeast-pointing strands green, Southwest-pointing red, and South-pointing blue. (3) We let a and b denote two spectral parameters from Step. We assign the following linear maps y y 2 y 3 y 4 y 4 y 3 y 2 y y y 2 y 3 y 4 to each crossing of two strands with left and right parameters a and b, and colours C and D, a linear map R CD (a b) : C 3 C C3 D C3 D C3 C ; to each wall-bounce of a colour C strand with parameter a, a map K C (a) : C 3 C 3 ; to each trivalent vertex with incoming green and red strand parameters both a, a map U(a) : C 3 G C3 R C3 B. Connecting two strands corresponds to composing the corresponding maps, so the whole 2n corresponds to a linear map Φ : (C 3 G ) 2n (C 3 B ) n. Definition 5 (The R-, K-, and U-matrices). In terms of the bases of C 3 G,C3 R,C3 B indexed by {,,}, the above sparse matrices can be written compactly as follows (where a labeled diagram corresponds to the coefficient of the map in those basis elements): R CC (a b) : i k j l { if (i,j) (k,l), a b if (i,j,k,l) {(,,,),(,,,),(,,,)} where C {R,G,B} and the two strands are any identical colour R GR (a b) : i k j l { b a if (i,j,k,l) (,,,), if (i,j,k,l) I GR I GR { 4, 4, 2 (),() 2,() 2, 2, 2 (),() 2,() 2 ()} i j U GR (a) : K G (a) : i j k if (i,j,k) {(,,),(,,),(,,),(,,),(,,)} if (i,j) {(,),(,)} K B (a) : i j { if i j, 2a if (i,j) (,) The subscripts R,G,B on the maps indicate the colours of the incoming edges (listed clockwise). For each map, the matrix entries which are not listed are zero.

6 6 IVA HALACHEVA, ALLEN KNUTSON, AND PAUL ZINN-JUSTIN Note that if we take the corresponding bases with lexicographic ordering, with alphabet ordered as {,,}, then the matrices for R CC and K B are upper-triangular. See [8] for these R-matrices and [6, 3] for their representation-theoretic origins. Definition 6. With the above notation, let P be a half-puzzle with boundary labels ν where k 2n k and ν () n k {,} k. The fugacity of P is, fug(p) : the (ν,) matrix entry of Φ. Lemma 7. The matrices defined in 3 satisfy the following identities: i) The Yang-Baxter equation. u u u u () u u u u u u u u (2) u u u u For example, the linear map form of the Northwest equation is (R RR ( ) Id) (Id R GR (u )) (R GR (u ) Id) (Id R GR (u )) (R GR (u ) Id) (Id R RR ( )) ii) Swapping of two trivalent vertices. u u u u (3) u u R BB (u ) (U(u ) U( )) (Id R GR ( u ) Id) (U( ) U(u )) (Id R GR (u ) Id) (R GG (u ) R RR (u )) iii) The reflection equation. u u u u (4) u u u u In linear map terms, the left equation says R RR (u ) (Id K G (u )) R GR (u + ) (Id K G ( )) (Id K G ( )) R GR (u + ) (Id K G (u )) R GG (u )

7 RESTRICTING SCHUBERT CLASSES TO SYMPLECTIC GRASSMANNIANS USING PUZZLES 7 iv) K-fusion. u u u u (5) u u u K B (u ) U GR (u ) (Id K G ( u )) U GR ( u ) (Id K G (u )) R GG (2u ) u u 4. AJS/Billey formulæ as scattering diagrams We first discuss the general AJS/Billey formula for restricting an equivariant Schubert class to a torus-fixed point, and then consider the special cases of types A and C. Let G be an algebraic group and fix a pinning G B T, with W G N(T)/T. Let B denote the opposite Borel and P B a parabolic, with Weyl group W P. Since we need to index classes using strings, or permutations with ambiguous values in W P \W, their inverses in W/W P are permutations with ambiguous positions which is the more usual way to index G/P Schubert classes. As such, to compare to the standard result below we need to invert our permutations when indexing Schubert classes. [ ] Proposition 8. () ([9, ]) For the Schubert class S π : B π B/B H T (G/B), π,σ W, and Q (q,...,q k ) a reduced word in simple reflections with Q σ, the AJS/Billey formula tells us that k [q (6) S π σ ( α i R] qi q i ) β i H T (pt) R Q R π i R Q R π where β i : q q 2...q i α qi and the summation is over reduced subwords R of Q. (2) To compute a point restriction S µ on G/P, where,µ W P \W, we use lifts, µ W such that is the shortest length representative of, and observe that S µ S µ. Below we give a diagrammatic description of the formula from Proposition 8 in the cases when (G,W G ) is (GL 2n,S 2n ) or (Sp 2n,S n (Z/2Z) n ) using the tensor calculus setting of 3. We first introduce some notation. Consider σ in W G (generated by simple reflections {s G i }) and a reduced word for σ, Q σ (q,...,q k ) (where q i s pi for some p i ). We can associate to it a wiring diagram D(Q σ ) by assigning to a simple reflection s G i, i m G, for (m GL2n,m Sp2n ) (2n,n), and to the generators {s Sp 2n n } the diagrams below. Then, a word in simple reflections corresponds to a concatenation of such diagrams. i i+ m G n s G i i R, for i m G and s Sp 2n n Each wire in a wiring diagram is also assigned a spectral parameter. For G GL 2n, they are given by y,...,y 2n (which we need to later specialize to y,...,y n, y n,..., y as in the maps f,h in 2), and for G Sp 2n by y,...,y n. Inthecontextofthetensorcalculusfrom 3,thewiringdiagramD(Q σ )canbeinterpreted as a scattering diagram, i.e., giving a map (C 3 C ) m G (C 3 C ) m G ; we replace each crossing with R RR for G GL 2n (and C R) or with R BB for Sp 2n (and C B), and replace each...

8 8 IVA HALACHEVA, ALLEN KNUTSON, AND PAUL ZINN-JUSTIN bounce with K B which also negates the spectral parameter. For instance, take G Sp 6 and Q σ s 2 s 3 s, then D(Q σ ) y y 2 y 3 (R BB (y y 3 ) Id) (Id 2 K B (y 2 )) (Id R BB (y 2 y 3 )) : C 3 B C3 B y 3 y y 2 Proposition 9. Let,µ be strings in,, as in 2, which we identify with cosets W P \W where W is of type C and P is maximal, or of type A and P is maximal or submaximal. Let ω Gr k 2n k for G/P Gr(k,C 2n ), ω SpGr k () n k for G/P SpGr(k,C 2n ), or ω Fl j () k j 2n k for G/P Fl(j,k; C 2n ). Make a wiring diagram as just explained, using a reduced word for the shortest lift µ ; interpret it as a scattering diagram map, using the R BB ( R RR ) matrix for crossings and (in type C) K B for bounces. Then S µ is the (ω G/P,) matrix entry of the resulting product. The essentially routine rewriting of Proposition 8 to give Proposition 9 will appear elsewhere. The principal thing one checks is that R BB is the correct R-matrix for three labels. In view of Proposition 9, for,µ,ν W P \W as above, we denote µ : ν the (ν,) matrix entry for the scattering diagram map coming from a reduced word for µ. By the proposition, when ν ω G/P this gives S µ. 5. Proof of Theorem B The proof of Theorem 2 is very much as in [6, 3] and will appear elsewhere. Theorem A is the k n special case of Theorem B. In fact, we give a more general puzzle rule for equivariant cohomology in Theorem C, which in particular implies Theorem B. Theorem C. For every S H T n(gr(k,2n)), where k 2n k, and ι as in 2 ( ) ι (S ) {fug(p) P is a puzzle with boundary } S ν ν ν () n k {,} k P As explained in 2, it suffices to check Theorem C s equality at each T n -fixed point σ () n k {,} k of SpGr(k,2n). To do so, we first prove several preliminary results in the language of 3. Proposition. Given σ () n k {,} k, fixing the Northwest and South boundaries to be strings of length 2n and n respectively, one has σ ι(σ)

9 RESTRICTING SCHUBERT CLASSES TO SYMPLECTIC GRASSMANNIANS USING PUZZLES 9 Proof. If suffices to consider σ a simple reflection. For the purposes of illustration, we set n 4 and demonstate the equality in the case of an s i where i < n, as well as for s n. u u (3) u u () u u (4) u u () u u u u u u u u u u (5) () u u u u u u Lemma. For ω ω SpGr as in Proposition 9 and k 2n k, we have ω δ,ωω. Proof. This is a straightforward consequence of Definition 5, when considering the (ω, ) matrix entry of the product of R-, K-, and U-matrices making up the half-puzzle. Alternatively, note that this is half of a classical triangular self-dual puzzle with NW, NE, S boundaries labelled by,,ωω, and so the result follows from [6, Proposition 4]. Lemma 2. a) [6, Proposition 4] Type A. Let σ k 2n k and be a string of length 2n: If σ for ω Gr as in Proposition 9, then consists only of s and s (no ω Gr s). b) Type C. Let σ () n k {,} k and be a string of length n: If σ ω SpGr ω SpGr as in Proposition 9, then has the same number of s as ω SpGr. for Proof. To prove part b), recall that σ ω SpGr is the (ω SpGr,) matrix entry for the composition of R BB and K B maps. From Definition 5, we see that both of these maps preserve the number of s in a string, hence so will compositions of these maps.

10 IVA HALACHEVA, ALLEN KNUTSON, AND PAUL ZINN-JUSTIN Proof of Theorem C. In H T (pt), we have the following equality ι(σ) ωgr ι(σ) µ (L) µ ω SpGr (L2a) ι(σ) ω SpGr (P) ω σ SpGr (L2b) ν ν ω σ SpGr The left side corresponds to ι (S ) σ by Proposition 9. In the second and fourth equality, the strings µ and ν have content k 2n k and () n k {,} k respectively, and all other terms of the sum vanish. Acknowledgements. We thank İzzet Coşkun and Alex Yong for references, and Michael Wheeler for discussions about P- and Q-Schur functions. References [] A. Knutson and T. Tao. Puzzles and (equivariant) cohomology of Grassmannians. In: Duke Math. J. 9.2 (23), pp [2] P. Pragacz. Addendum: A generalization of the Macdonald-You formula [J. Algebra 24 (998), no. 2, ; MR624487(99g:58)]. In: J. Algebra 226.(2), pp [3] J. R. Stembridge. Shifted tableaux and the projective representations of symmetric groups. In: Adv. Math. 74. (989), pp [4] A. S. Buch et al. The puzzle conjecture for the cohomology of two-step flag manifolds. In: J. Algebraic Combin (26), pp [5] K. Purbhoo and F. Sottile. A Littlewood-Richardson rule for Grassmannian permutations. In: Proc. Amer. Math. Soc (29), pp [6] A. Knutson and P. Zinn-Justin. Schubert puzzles and integrability I: invariant trilinear forms. 27. [7] F. C. Kirwan. Cohomology of quotients in symplectic and algebraic geometry. Vol. 3. Mathematical Notes. Princeton University Press, Princeton, NJ, 984, pp. i+2. [8] P. Zinn-Justin. Littlewood Richardson coefficients and integrable tilings. In: Electron. J. Combin. 6 (29), Research Paper 2. [9] H. H. Andersen, J. C. Jantzen, and W. Soergel. Representations of quantum groups at a pth root of unity and of semisimple groups in characteristic p: independence of p. In: Astérisque 22 (994), p. 32. [] S. C. Billey. Kostant polynomials and the cohomology ring for G/B. In: Duke Math. J. 96. (999), pp Iva Halacheva, Paul Zinn-Justin, School of Mathematics and Statistics, The University of Melbourne, Victoria 3, Australia address: iva.halacheva@unimelb.edu.au address: pzinn@unimelb.edu.au Allen Knutson, Cornell University, Ithaca, New York address: allenk@math.cornell.edu