Abstract:Involution words are variations of reduced words for involutions in Coxeter groups, first studied under the name of "admissible sequences" by Richardson and Springer. They are maximal chains in Richardson and Springer's weak order on involutions. This article is the first in a series of papers on involution words, and focuses on their enumerative properties. We define involution analogues of several objects associated to permutations, including Rothe diagrams, the essential set, Schubert polynomials, and Stanley symmetric functions. These definitions have geometric interpretations for certain intervals in the weak order on involutions. In particular, our definition of "involution Schubert polynomials" can be viewed as a Billey-Jockusch-Stanley type formula for cohomology class representatives of $\mathrm{O}_n$- and $\mathrm{Sp}_{2n}$-orbit closures in the flag variety, defined inductively in recent work of Wyser and Yong. As a special case of a more general theorem, we show that the involution Stanley symmetric function for the longest element of a finite symmetric group is a product of staircase-shaped Schur functions. This implies that the number of involution words for the longest element of a finite symmetric group is equal to the dimension of a certain irreducible representation of a Weyl group of type $B$.

Varieties of Involution [math]-Trivial Monoids with Continuum Many Subvarieties

Small monoids generating varieties with uncountably many subvarieties

Minimal monoids generating varieties with complex subvariety lattices

On Language Varieties Without Boolean Operations

Varieties of monoids with a distributive subvariety lattice

Minimal affine varieties of superalgebras with superinvolution: A characterization

Involution words: counting problems and connections to Schubert calculus for symmetric orbit closures

Varieties of quantitative algebras as categories

On retract varieties of algebras

Varieties with Vanishing Holomorphic Euler Characteristic

A new example of limit variety of aperiodic monoids

Varieties of MV-monoids and positive MV-algebras

On varieties with trivial tangent bundle

A categorical view of varieties and equations

Singularities of Generalized Richardson Varieties

Characterizing subadjoint varieties among Legendrian varieties

Small and countable inclusive varieties of semigroups

Infinitely many not locally soluble $SI^*$-groups

Constant cycle subvarieties in the Mukai system of rank two and genus two

Iterations of the functor of naive $\mathbb A^1$-connected components of varieties

Involution surface bundles over surfaces