Extended WY Representation

• Extended WY Representation is a combinatorial framework that produces explicit polynomial representatives for orbit closures in type-A symmetric spaces using divided-difference operators.
• It constructs both cohomology and equivariant K-theory classes via seed polynomials and recurrence relations, guaranteeing nonnegative coefficients and stability under group extensions.
• The method unifies orthogonal and symplectic cases by leveraging solid and dashed edge rules, thereby bridging geometric orbit classification with Schubert calculus.

The Extended WY (Wyser–Yong) Representation refers to explicit polynomial representatives for the cohomology and $K$-theory classes of orbit closures in type-A symmetric spaces, specifically for the symmetric pairs $(GL_n, O_n)$ (orthogonal case) and $(GL_{2n}, Sp_{2n})$ (symplectic case). These polynomials, denoted $\Upsilon_\pi$ and their $K$-theoretic analogues $\Upsilon^K_\pi$, extend earlier constructions for $(GL_{p+q}, GL_p \times GL_q)$ and deliver universal, combinatorially rich representatives for orbit closures under symmetry constraints imposed by $O_n$ or $Sp_{2n}$. The representation is dictated by divided-difference operators and specific recurrence relations, with proven combinatorial, stability, and equivariant $K$-theoretic properties (Wyser et al., 2013).

1. Symmetric Pair Setting and Orbit Classification

For type-A symmetric pairs, the Extended WY Representation is formulated on the full flag varieties $(GL_n, O_n)$0 and $(GL_n, O_n)$1, where $(GL_n, O_n)$2 is the Borel subgroup of upper triangular matrices.

• For $(GL_n, O_n)$3, $(GL_n, O_n)$4 orbits in $(GL_n, O_n)$5 are indexed by involutions $(GL_n, O_n)$6 (i.e., $(GL_n, O_n)$7). The closure $(GL_n, O_n)$8 corresponds to the involution $(GL_n, O_n)$9. The unique closed orbit is given by the long involution $(GL_{2n}, Sp_{2n})$0; the open dense orbit corresponds to the identity.
• For $(GL_{2n}, Sp_{2n})$1, $(GL_{2n}, Sp_{2n})$2 orbits in $(GL_{2n}, Sp_{2n})$3 are indexed by fixed-point-free involutions $(GL_{2n}, Sp_{2n})$4 (products of $(GL_{2n}, Sp_{2n})$5 disjoint transpositions). The closure $(GL_{2n}, Sp_{2n})$6 corresponds to $(GL_{2n}, Sp_{2n})$7. The unique closed orbit is associated with $(GL_{2n}, Sp_{2n})$8; the open orbit to $(GL_{2n}, Sp_{2n})$9.

Weak order graphs encode covering relations by transpositions $\Upsilon_\pi$0. In $\Upsilon_\pi$1, each such edge is called "solid" or "dashed" depending on cohomological push-pull relations: solid edges correspond to the classic divided-difference operator $\Upsilon_\pi$2, while dashed edges introduce an additional scaling by $\Upsilon_\pi$3.

2. Construction of WY-Polynomials

The core combinatorial objects are the $\Upsilon_\pi$4 (cohomology) and $\Upsilon_\pi$5 ($\Upsilon_\pi$6-theory) polynomials. Construction begins with explicit "seed" polynomials for closed orbits:

• Orthogonal seed:

$\Upsilon_\pi$7

• Symplectic seed:

$\Upsilon_\pi$8

Given any involution $\Upsilon_\pi$9, $K$0 is constructed by descending from the closed orbit along a saturated path in weak order. At each step, apply $K$1 for a solid edge, and $K$2 for a dashed edge (orthogonal case). Formally, this defines:

$K$3

where $K$4 tracks dashed edges. This construction is independent of path by [(Wyser et al., 2013), Theorem 1.4].

Transition relations are thus:

$K$5

3. Combinatorial and Functorial Properties

WY-polynomials enjoy key structural properties:

• Nonnegativity: $K$6 decomposes as a non-negative integer combination of classical Schubert polynomials $K$7, with coefficients $K$8:

$K$9

Monomial coefficients are thus also nonnegative.

• Stability under $\Upsilon^K_\pi$0: Label-preserving inclusions of involutions induce natural compatibilities between flag variety embeddings; the stable limit of WY-polynomials is well defined: $\Upsilon^K_\pi$1.

4. Equivariant $\Upsilon^K_\pi$2-Theory Analogues

The WY framework extends to equivariant $\Upsilon^K_\pi$3-theory using the Demazure operator:

$\Upsilon^K_\pi$4

For $\Upsilon^K_\pi$5, the $\Upsilon^K_\pi$6-theoretic seed is

$\Upsilon^K_\pi$7

Strings of $\Upsilon^K_\pi$8's along saturated weak-order paths produce well-defined $\Upsilon^K_\pi$9, representing structure-sheaf classes in $(GL_{p+q}, GL_p \times GL_q)$0. These retain the stability property. For $(GL_{p+q}, GL_p \times GL_q)$1, only the seed polynomial $(GL_{p+q}, GL_p \times GL_q)$2 is given in closed form; other cases are computed via explicit multigraded $(GL_{p+q}, GL_p \times GL_q)$3-polynomial methods in small rank [(Wyser et al., 2013), §4].

5. Explicit Examples and Comparison with Classical Settings

• Cohomology, $(GL_{p+q}, GL_p \times GL_q)$4: The involutions in $(GL_{p+q}, GL_p \times GL_q)$5 index ten orbits. The closed orbit class is

$(GL_{p+q}, GL_p \times GL_q)$6

The remaining WY-polynomials are obtained from the seed by divided-difference operators. Full tables for low rank appear in [(Wyser et al., 2013), Table 1].

• Cohomology, $(GL_{p+q}, GL_p \times GL_q)$7: There are 15 fixed-point-free involutions indexing orbit closures. Each is produced via divided-difference steps from the seed.
• Equivariant $(GL_{p+q}, GL_p \times GL_q)$8-theory: For $(GL_{p+q}, GL_p \times GL_q)$9, explicit $O_n$0-polynomials for all 15 orbits are listed.
• Comparison: Unlike the classical $O_n$1 case, the extended WY framework for orthogonal and symplectic cases features a unique closed orbit and "dashed" edges in the orthogonal setting. The polynomial construction principle—seed plus repeated operator action—remains universal.

6. Mathematical and Geometric Significance

Extended WY Representations provide a pathway to explicit, path-independent, and functorial representatives of orbit closure classes in the cohomology and $O_n$2-theory of type-A symmetric flag varieties. They encode rich combinatorics that mirror geometry: nonnegativity connects to positivity in cohomology, stability ensures functorial behavior under group extensions, and explicit operator calculus enables computation in small ranks. The availability of $O_n$3-theoretic analogues in the symplectic setting amplifies the applicability to representation theory, intersection theory, and the study of degeneracy loci.

These constructions generalize and unify previous approaches for arbitrary symmetric pairs in type A, providing concrete links between orbit geometry, Schubert calculus, and equivariant $O_n$4-theory. The formalism is vital for computational applications, enumeration of orbit closures, and further generalizations to other types and equivariant contexts.

---

For a comprehensive and technical treatment of the Extended WY Representation, detailed proofs, explicit low-rank tables, and illustration of all operator identities, see Wyser–Yong, "Polynomials for symmetric orbit closures in the flag variety" (Wyser et al., 2013).