HOME

TheInfoList



OR:

In mathematics, Pieri's formula, named after Mario Pieri, describes the product of a
Schubert cycle In algebraic geometry, a Schubert variety is a certain subvariety of a Grassmannian, usually with singular points. Like a Grassmannian, it is a kind of moduli space, whose points correspond to certain kinds of subspaces ''V'', specified using lin ...
by a special Schubert cycle in the Schubert calculus, or the product of a Schur polynomial by a complete symmetric function. In terms of Schur functions ''s''λ indexed by partitions λ, it states that :\displaystyle s_\mu h_r=\sum_\lambda s_\lambda where ''h''''r'' is a complete homogeneous symmetric polynomial and the sum is over all partitions λ obtained from μ by adding ''r'' elements, no two in the same column. By applying the ω involution on the ring of symmetric functions, one obtains the dual Pieri rule for multiplying an elementary symmetric polynomial with a Schur polynomial: :\displaystyle s_\mu e_r=\sum_\lambda s_\lambda The sum is now taken over all partitions λ obtained from μ by adding ''r'' elements, no two in the same ''row''. Pieri's formula implies
Giambelli's formula In mathematics, Giambelli's formula, named after Giovanni Giambelli, expresses Schubert classes in terms of special Schubert classes, or Schur functions in terms of complete symmetric functions. It states :\displaystyle \sigma_\lambda= \det(\si ...
. The Littlewood–Richardson rule is a generalization of Pieri's formula giving the product of any two Schur functions.
Monk's formula In mathematics, Monk's formula, found by , is an analogue of Pieri's formula that describes the product of a linear Schubert polynomial by a Schubert polynomial. Equivalently, it describes the product of a special Schubert cycle by a Schubert cycle ...
is an analogue of Pieri's formula for flag manifolds.


References

* *{{eom, title=Schubert calculus, first=Frank, last= Sottile Symmetric functions