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
:
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:
:
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