**Winter 2002**

**Course meets:** TTh 11:30-1, 2866 East Hall.

**Instructor:**
Sergey Fomin, 2858 East Hall, 764-6297,
fomin@math.lsa.umich.edu

**Course homepage:** http://www.math.lsa.umich.edu/~fomin/665.html

**Level:** introductory graduate.

**Prerequisites:** none (for graduate students).

**Student work expected:** several problem sets.

Hermann Cäsar Hannibal Schubert (1848-1911)

** Synopsis**

This course will provide an elementary introduction to the
__combinatorial aspects of Schubert calculus__, the part of
enumerative geometry dealing with such classical varieties as
Grassmannians and flag manifolds.

A classical example of a Schubert calculus question is the following:
Given *mp* subspaces of dimension *p* in general
position in a complex vector space of dimension *m+p*,
how many subspaces of dimension *m* intersect all these
*mp* subspaces nontrivially?

To be able to answer such questions, one needs to gain a concrete
understanding of the structure of the cohomology ring of the
corresponding variety (in the example above, it will be the
Grassmannian Gr*(m,m+p)*).
Computing the intersection numbers like the one defined above
requires development of an extensive combinatorial machinery involving
Young tableaux, Bruhat orders of finite Coxeter groups, and related aspects
of the theory of symmetric functions and Schubert polynomials.

More advanced topics will include (time-permitting): intersection-theoretic computations in (partial) flag manifolds related to classical semisimple Lie groups; quantum cohomology rings and calculation of Gromov-Witten invariants; K-theoretic analogues; and real Schubert calculus.

The presentation will be essentially self-contained and elementary, and will require no special background in combinatorics, topology, algebraic geometry, commutative algebra, or Lie theory.

** Course Outline**

I. Schubert calculus on Grassmannian manifolds.

II. Schubert calculus on flag manifolds.
Schubert polynomials.

III. Variations on the theme of Schubert.

** Texts.**
The course will not strictly follow a particular text.
Principal sources:

[F] W.Fulton, * Young tableaux *, Cambridge University Press,
1997.

[H] J.E.Humphreys, * Reflection groups and Coxeter groups*,
Cambridge University Press, 1994.

[M] L.Manivel,
*
Symmetric Functions, Schubert Polynomials and Degeneracy Loci,
*
AMS, 2001.

** Part I: Grassmannians**

** Lecture 1.** Course overview. Grassmannians. Plücker
embedding.
[M.3.1]

** Lecture 2.** Grassmann-Plücker relations. Schubert cells and
varieties in a Grassmannian.
[M.3.1-3.2.1]

** Lecture 3.** Schubert cells and varieties in a Grassmannian (cont.).
[M.3.2.1]

** Lecture 4.** Cohomology of algebraic varieties. [F.A2] [M.A]

** Lecture 5.** Duality theorem for Grassmannians. [F.9.4]

** Lecture 6.** Pieri's formula. Geometric applications. [F.9.4] [M.3.2.2]

** Lecture 7.** Degree of a Grassmannian. Schur polynomials.

** Lecture 8.** Combinatorial formula for the Schur polynomials.
The ring of symmetric functions.

** Lecture 9.** Jacobi-Trudi identity.

** Lecture 10.**
Giambelli's formula. Cohomology ring of a Grassmannian.

** Lecture 11.**
Littlewood-Richardson rule.

** Lecture 12.**
K-theory of Grassmannians (guest lecture by Anders Buch).

** Lecture 13.**
Jeu de taquin. Berenstein-Zelevinsky triangles.

- Prove Muir's "law of extensible minors".
- Prove that all Plücker coordinates are uniquely determined
via the Grassmann-Plücker relations from those labelled by the subsets of the form
{1,...,
*r*}-{*p*}+{*q*}, where*p<=r< q*, assuming that*P*_{{1,...,r}}does not vanish. - Prove that any Schubert variety is the closure of the corresponding Schubert cell.
- Prove that a Schubert variety labelled by µ is smooth if
and only if µ
^{v}is a rectangle. -
Let
*V*be a subspace of*E*, and let*F*and*F'*be opposite flags in*E*. Assume that the intersections of*V*with*F*and_{k}*F'*_{dim(E)-k }have dimensions adding up to dim(*V*), for any*k*. Then*V*is a span of a subset of the standard basis. - Prove that a Schubert variety of codimension 1 (with respect to an arbitrary flag) is the intersection of the Grassmannian with a hyperplane in the Plücker embedding.
- Prove that the degree of a Schubert variety labelled by µ
is equal to the
number of standard Young tableaux of shape µ
^{v}. - [F], Exercise 18, page 152.
- (Same as the "second" Jacobi-Trudi formula below.) [F], Exercise 19, page 152.
- [F], Exercise 20, page 152.
- [F], Exercise 21(a), page 152.
- [F], Exercise 21(b), page 152.
- Prove the "second" Pieri formula for the product of a Schur function by an elementary symmetric function.
- Prove the "second" Jacobi-Trudi formula, expressing a Schur function in terms of the elementary symmetric functions.
- Prove that the power sum symmetric functions
*p*_{µ}form a basis of the ring of symmetric functions over the rational numbers. - Prove that the cohomology ring of the Grassmannian of
*r*-dimensional subspaces in an*(r+n)*-dimensional space is canonically isomorphic to the quotient of the polynomial ring**Z**[*e*_{1},...,*e*_{r},*h*_{1},...,*h*_{n}] by the ideal generated by the coefficients of the polynomial (1+*e*_{1}*t*+*e*_{2}*t*^{2}+...+*e*_{r}*t*^{r}) (1-*h*_{1}*t*+*h*_{2}*t*^{2}-...+ (-1)^{n}*h*_{n}*t*^{n})-1. - Prove the equivalence of the classical version of the
Littlewood-Richardson rule to the following one:
the Littlewood-Richardson coefficient
*c*_{ab}^{p}is equal to the number of semistandard Young tableaux*T*of shape*b*such that*a*+weight(*T*)=*p*, and furthermore*a*+weight(*T*) is a partition for all_{ >j}*j*. (Here*T*denotes the tableau formed by the columns_{ >j}*>j*of*T*.) - Prove that the Littlewood-Richardson coefficient
*c*_{ab}^{p}is equal to the number of semistandard Young tableaux of shape*a*x*b*and weight*p*whose reverse reading word is a ballot sequence. Here*a*x*b*denotes the skew shape obtained by placing*a*southwest of*b*. - Compute the K-theoretic structure constant
*c*_{ab}^{p}for*a*=*b*=(2,1) and*p*=(3,3,1). - Prove that the stable Grothendieck polynomial, defined as a generating function for semistandard set-valued tableaux, is a symmetric power series.
- Prove that the Grothendieck ring of a Grassmannian is isomorphic to its cohomology ring as an abstract ring.
- Prove the fundamental theorem of jeu de taquin (the uniqueness of rectification).
- Prove the jeu de taquin version of the Littlewood-Richardson rule.
- Prove the Littlewood-Richardson rule formulated in terms of Berenstein-Zelevinsky triangles.

** Part II: Flag manifolds**

** Lecture 14.**
Flag manifolds and their Schubert cells.

** Lecture 15.** Schubert varieties in flag manifolds. The Bruhat
order.

** Lecture 16.** Duality theorem for flag manifolds. The
Monk-Chevalley formula.

** Lecture 17.** Reduced words. Divided differences.

** Lecture 18.** Symmetrization operators. Coinvariant algebra.

** Lecture 19.** Schubert polynomials.

** Lecture 20.** Combinatorial formula for the Schubert polynomials.

** Lecture 21.** Schubert polynomials as a basis in the polynomial ring.

** Lecture 22.** Algebraic proof of the Monk-Chevalley formula.
Borel's theorem.

** Lecture 23.** The Bernstein-Gelfand-Gelfand-Demazure theorem.
Double Schubert polynomials.

** Lecture 24.** The Cauchy formula for Schubert polynomials. Interpolation.

** Lecture 25.** Macdonald's identity.
Stable Schubert polynomials.

** Lecture 26.** 321-avoiding permutations.
Flagged Schur functions.

** Lecture 27.** Enumeration of reduced words. Stanley's formula.

- Prove that a matrix
*r*=(*r*) defines a rank diagram for some pair of complete flags in_{pq}**C**^{n}if and only if there exists a permutation*w*in*S*such that each_{n}*r*equals the number of pairs (_{pq}*i,j*) with*i<=p*,*j<=q*, and*j=w(i)*. - Prove that if the intersection of a Schubert cell labelled by
*u*and a dual Schubert cell labelled by*v*is non-empty, then*u>=v*in the Bruhat order. - Prove the geometric version of the Monk-Chevalley formula.
- Prove the Tits lemma for the symmetric group.
- For any finite reflection group, the corresponding
divided difference operators satify the braid relations of appropriate
type. Verify this statement for the hyperoctahedral group (types
*B*and*C*). - Identify the leading monomial of a Schubert polynomial in terms of the code of the corresponding permutation. (State accurately and prove.)
*(Counts as 2 problems.)*Let*I*be the ideal in the polynomial ring_{n}**Z**[*x*] generated by the symmetric polynomials without constant term. Prove that the complete homogeneous polynomials_{1},...,x_{n}*h*(_{n}*x*),_{1}*h*(_{n-1}*x*),...,_{1},x_{2}*h*(_{1}*x*) belong to_{1},...,x_{n}*I*, generate_{n}*I*, and form a Gröbner basis of_{n}*I*with respect to a suitable monomial order. Prove that the span of Schubert polynomials corresponding to the permutations in_{n}*S*is the space of normal forms with respect to this Gröbner basis._{n}- [M], Exercise 2.5.13, page 83. (Newton's interpolation formula.)
- Prove the
*q*-analog of Macdonald's identity (for*w*)._{o} - Let
*u*be a permutation in*S*, and let_{n}*v*be a permutation that fixes 1,...,*n*. Then the (double) Schubert polynomial for*uv*is the product of the (double) Schubert polynomials for*u*and*v*, respectively. - Prove that any stable Schubert polynomial
*G*is Schur-positive. [Difficult]_{w} -
Prove that a permutation
*w*is 321-avoiding if and only if any two reduced words for*w*are related via 2-moves. -
Let
*w*be a 321-avoiding permutation. Prove that*G*is a skew Schur function for a shape obtained by permuting rows and columns in the diagram of_{w}*w*. - Prove that the number of reduced words for a Grassmannian permutation is equal to the number of standard Young tableaux of the corresponding shape.