CotangentSchubert is a package for calculations in cotangent Schubert calculus. Specifically, it allows to compute motivic Chern and Segre classes (as well as their limits in ordinary Schubert calculus, namely Schubert classes), and to independently compute the expansion of their products using puzzles. Puzzles and their "fugacities" are defined and computed using the results of [1,2,3].
References:
[1] A. Knutson and P. Zinn-Justin, Schubert puzzles and integrability I: invariant trilinear forms, arXiv:1706.10019.
[2] A. Knutson and P. Zinn-Justin, Schubert puzzles and integrability II: multiplying motivic Segre classes, arXiv:2102.00563.
[3] A. Knutson and P. Zinn-Justin, Schubert puzzles and integrability III: separated descents, in preparation.
This documentation describes version 0.63 of CotangentSchubert.
The source code from which this documentation is derived is in the file CotangentSchubert.m2. The auxiliary files accompanying it are in the directory CotangentSchubert/.
The object CotangentSchubert is a package.