James reduced product schemes and double quasisymmetric functions

DOI10.1016/J.AIM.2024.109737MaRDI QIDQ6433994zbMATH OpenOpenAlexFDO

Authors Oliver Pechenik, Matthew Satriano

Publication date 22 April 2023

Full work available at URL https://doi.org/10.1016/j.aim.2024.109737

Mathematics Subject Classification ID

Symmetric functions and generalizations (05E05) Grassmannians, Schubert varieties, flag manifolds (14M15) Classical problems, Schubert calculus (14N15) Equivariant homology and cohomology in algebraic topology (55N91) Combinatorial aspects of algebraic geometry (05E14)

Abstract: Symmetric function theory is a key ingredient in the Schubert calculus of Grassmannians. Quasisymmetric functions are analogues that are similarly central to algebraic combinatorics, but for which the associated geometry is poorly developed. Baker and Richter (2008) showed that $extrmQSym$ manifests topologically as the cohomology ring of the loop suspension of infinite projective space or equivalently of its combinatorial homotopy model, the James reduced product $JmathbbCmathbb{P}^{i}nfty$. In recent work, we used this viewpoint to develop topologically-motivated bases of $extrmQSym$ and initiate a Schubert calculus for $JmathbbCmathbb{P}^{i}nfty$ in both cohomology and $K$-theory. Here, we study the torus-equivariant cohomology of $JmathbbCmathbb{P}^{i}nfty$. We identify a cellular basis and introduce double monomial quasisymmetric functions as combinatorial representatives, analogous to the factorial Schur functions and double Schubert polynomials of classical Schubert calculus. We also provide a combinatorial Littlewood--Richardson rule for the structure coefficients of this basis. Furthermore, we introduce an algebro-geometric analogue of the James reduced product construction. In particular, we prove that the James reduced product of a complex projective variety also carries the structure of a projective variety.

Recommendations

• Quasisymmetric functions from a topological point of view
• scientific article; zbMATH DE number 6698760
• scientific article; zbMATH DE number 6928797
• A quotient of the ring of symmetric functions generalizing quantum cohomology
• \(k\)-double Schur functions and equivariant (co)homology of the affine Grassmannian

Cited in

(1)

• Forest polynomials and the class of the permutahedral variety

This page was built for publication: James reduced product schemes and double quasisymmetric functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6433994)