This blog post is inspired by my near-total inability to remember what precisely each of these names refer to in the context of the cohomology of $G/P$. I'll give a short (and very incomplete) overview of these results (without precise formulas or anything), as a cheat sheet for those like me, including anyone who might be confused by the inconsistent naming conventions in the literature.
The goal of all the results named in the title is to provide information on the Chow ring (or cohomology ring) of $G/P$ (which are isomorphic as graded rings, after multiplying the degrees in the Chow ring by two). Here $G/P$ is a homogeneous variety, where $G$ is a reductive algebraic group and $P$ is a parabolic subgroup. Unlike for Grassmannian.info we do not assume $P$ to be a maximal parabolic subgroup.
Two facts are important to get started:
- there is an additive basis, in terms of Schubert classes
- there is a multiplicative basis, in terms of special Schubert classes, and a subset of these correspond to classes of divisors (i.e. multiplicative generators
There exist convenient descriptions of these Schubert classes in terms of the Weyl group $W$ of $G$, but I will avoid any notation in this blog post.
Multiplication: Chevalley–Monk and Pieri formulas
The first pair of names is that of Chevalley and Monk. They describe how to multiply
- a divisor class (so a multiplicative generator of degree 1)
- with a Schubert class
So for every choice of divisor class and Schubert class, the Chevalley–Monk formula expresses their product as a sum of Schubert classes.
The more general rule (a priori) is the Pieri rule. It describes how to multiply
- a special Schubert class
- with a Schubert class
So for every choice of special Schubert class and Schubert class, the Pieri formula expresses their product as a sum of Schubert classes. This only applies to the classical types A, B, C and D (because we know how to do it in type A and the other types are closed subvarieties expressing isotropy conditions), in the exceptional types there is no clear definition of special Schubert classes.
Observe that for $G/B$ (i.e. when $P=B$ is a Borel subgroup), the special Schubert classes are in fact all of degree 1, but for $B\nsubseteq P$ it applies to more classes.
I have seen Chevalley–Pieri being written, in which case it refers to what I would just call the Pieri formula. I think in A positive Monk formula in the $S^1$-equivariant cohomology of type A Peterson varieties Harada–Tymoczko describe the naming convention I've given here as the Iowa convention, which proposes to say Pieri and (Chevalley–)Monk and avoid any other versions.
One interesting observation is that because of functoriality relating the Chow rings of $G/B$ and $G/P$ for $B\subseteq P$ a parabolic subgroup, one can use the Chevalley–Monk formulas for $G/B$ to prove the Pieri formulas for $G/P$.
Relating the bases: Giambelli formulas
These formulas are very useful, but don't tell us the entire story, as we still need to express every element of the additive basis in terms of a product of elements in the multiplicative basis. These are the Giambelli formulas; which can be proved using the Pieri formulas. For Grassmannians they take on a famous form in terms of determinants.
So to multiply two arbitrary Schubert classes, one would express one in terms of the corresponding Giambelli formula, and then iteratively apply the Pieri formulas for the generators which appear in the expression.
Structure coefficients: Littlewood–Richardson rules
Alternatively, instead of the algorithmic and inductive nature of the Giambelli formulas, the Littlewood–Richardson rules determine the structure constants for the multiplication of two Schubert classes. These structure constants are meant to be counts of some combinatorial objects.
I hope I have not interpreted the literature incorrectly in this overview. Please let me know if I have misrepresented anything! Also, no reference or actual formulas are given here, nor is the quantum version discussed. Let me just point out Giambelli and degeneracy locus formulas for classical $G/P$ spaces by Tamvakis, which contains a wealth of information, although I have written this post before having come across it.