arXiv++ Combinatorics

In 1992, Pukhlikov and Khovanskii provided a description of the cohomology ring of toric variety as a quotient of the ring of differential operators on spaces of virtual polytopes. Later Kaveh generalized this construction to the case of cohomology rings for full flag varieties. In this paper we extend Pukhlikov-Khovanskii type presentation to the case of K-theory of toric and flag varieties. First, we study the Frobenius algebras obtained as quotients of the group algebra of free abelian group (possibly of infinite rank). Then we apply this construction to define a K-ring associated to a linear family of (virtual) polytopes. We study in detail two examples of such families: the family of integer (virtual) polytopes with a fixed normal fan and the family of (virtual) Gelfand-Zetlin polytopes. We show that the K-theory of toric and flag varieties can be realized as K-rings of the above families and use this to get natural set of relations in the above K-rings. Further, we describe the classes of structure sheaves of toric orbit closures and Schubert varieties in type A flag varieties. Finally, we show that our results also hold true in T-equivariant setting.

The aim of this work is to explicitly compute the K-theory of the category of matroids with respect to the covering family of Tutte coverings. In particular, we show that this is equivalent to the K-theory spectrum of the category of graphic matroids on looped forests, with the covering family generated by isomorphisms. Further, we show that this yields an equivalence of $C_2$-spectra.

We study the quantum K-theory ring $QK(X)$ of a Grassmannian $X$ and prove a manifestly positive formula for the product of an arbitrary class by a hook class. This generalizes the quantum K-theoretic Pieri rule, a prior result of Buch and Mihalcea. We also present a combinatorial interpretation of this result.

Kirillov and Naruse have constructed double Grothendieck polynomials to represent the equivariant K-theory classes of Schubert varieties in the complete flag manifolds of types B, C, and D. We derive a recursive formula for these polynomials, extending certain K-theoretic transition equations known in type A to all classical types. As an application, we obtain an identity that expands the K-Stanley symmetric functions in types B, C, and D into positive linear combinations of K-theoretic Schur P- and Q-functions. We also resolve several positivity conjectures related to the skew generalizations of the latter functions.

We consider quantum difference equation (QDE) for equivariant quantum K-theory of the Grassmannian. In this paper we obtain a solution to the QDE and use the solution to asymptotically derive the Bethe ansatz equations. In the limit, we obtain similar results for the cohomological analogue. For both cases, we describe the nonequivariant solutions as well. As an application, we identify the quantum K-theory ring of $\mathrm{Gr}(k,n)$ with a quantum 5 vertex XXZ integrable spin chain.

We provide explicit formulas for computing the motivic Chern and Hirzebruch classes of degeneracy loci, especially those coming from the symplectic and odd orthogonal Grassmannians. The Chern--Schwartz--MacPherson classes, K-theory classes, and Cappell--Shaneson L-classes arise as specializations of the motivic Chern and Hirzebruch classes. Our result is the analogue of the result of Anderson--Chen--Tarasca for the degeneracy loci from the ordinary Grassmannians. As applications, we obtain the motivic Chern and Hirzebruch classes of orthogonal and symplectic orbit closures in flag varieties.

Whereas exceptional sequences have a long history with many well-known connections to combinatorics, signed exceptional sequences are relatively recent. The authors introduced this concept in 2017 [19], although it was retroactively realized that the category of noncrossing partitions [24] is a special case of this construction. Buan and Marsh [4] have introduced the concept of $τ$-exceptional sequences to generalize the definitions and theorems to all finite dimensional algebras. This short paper is the story of the original concept of signed exceptional sequences for hereditary algebras and how it developed out of the two authors' study of algebraic K-theory, link invariants, and cluster combinatorics.

Lascoux and Schützenberger introduced Schubert and Grothendieck polynomials to study the cohomology and K-theory of the complete flag variety. We present explicit combinatorial rules for expressing Grothendieck polynomials in the basis of Schubert polynomials, and vice versa, using the bumpless pipe dreams (BPDs) of Lam, Lee, and Shimozono. A key advantage of BPDs is that they are naturally back stable, which allows us to give a combinatorial formula for expanding back stable Grothendieck polynomials in terms of back stable Schubert polynomials. We also provide pipe dream interpretations for the rules originally given by Lenart (Grothendieck to Schubert) and Lascoux (Schubert to Grothendieck), which were previously formulated in terms of binary triangular arrays. We give new proofs of these results, relying on Knutson's co-transition recurrences. As a consequence, we obtain a formula for expanding Grothendieck polynomials into Schubert polynomials using chains in Bruhat order. The key connection between the pipe dream and BPD change of basis formulas is the canonical bijection of Gao and Huang. We show that co-permutations are preserved by this map.

In an earlier paper, two of the authors defined a $5$-vertex Yang-Baxter algebra (a Hopf algebra) which acts on the sum of the equivariant quantum K-rings of Grassmannians $\mathrm{Gr}(k;n)$, where $k$ varies from $0$ to $n$. We construct geometrically defined operators on quantum K-rings describing this action. In particular, the $R$-matrix defining the Yang-Baxter algebra corresponds to the left Weyl group action. Most importantly, we use the `quantum=classical' statement for the quantum K-theory of Grassmannians to prove an explicit geometric interpretation of the action of generators of the Yang-Baxter algebra. The diagonal entries of the monodromy matrix are given by quantum K-multiplications by explicitly defined classes, and the off-diagonal entries by certain push-pull convolutions. We use this to find a quantization of the classes of fixed points in the quantum K-rings, corresponding to the Bethe vectors of the Yang-Baxter algebra. On each of the quantum K-rings, we prove that the two Frobenius structures (one from geometry, and the other from the integrable system construction) coincide. We discuss several applications, including an action of the extended affine Weyl group on the quantum K-theory ring (extending the Seidel action), a quantum version of the localization map (which is a ring homomorphism with respect to the quantum K-product), and a graphical calculus to multiply by Hirzebruch $λ_y$ classes of the dual of the tautological quotient bundle. In an Appendix we illustrate our results in the case when $n=2$.

A GL$(n)$ quantum integrable system generalizing the asymmetric five vertex spin chain is shown to encode the ring relations of the equivariant quantum cohomology and equivariant quantum K-theory ring of flag varieties. We also show that the Bethe ansatz states of this system generate the double $β$-Grothendieck polynomials.

The modified Macdonald functions $\widetilde{H}_μ$ are fundamental objects in modern algebraic combinatorics. Haiman showed that there is a correspondence between the $(\mathbb{C}^{*})^2$-fixed points $I_μ$ of the Hilbert schemes $\mathrm{Hilb}_{n}(\mathbb{C}^2)$ and the functions $\widetilde{H}_μ$ realizing a derived equivalence between $(\mathbb{C}^{*})^2$-equivariant coherent sheaves on $\mathrm{Hilb}_{n}(\mathbb{C}^2)$ and $(\mathfrak{S}_n \times (\mathbb{C}^{*})^2)$-equivariant coherent sheaves on $(\mathbb{C}^2)^n.$ Carlsson--Gorsky--Mellit introduced a larger family of smooth projective varieties $\mathrm{PFH}_{n,n-k}$ called the parabolic flag Hilbert schemes. They showed that an algebra $\mathbb{B}_{q,t}$, directly related to the double Dyck path algebra $\mathbb{A}_{q,t}$ employed in Carlsson--Mellit's proof of the Shuffle Theorem, acts naturally on the $(\mathbb{C}^{*})^2$-equivariant K-theory $U_{\bullet}$ of these spaces and, moreover, there is a $\mathbb{B}_{q,t}$-isomorphism $Φ: U_{\bullet} \rightarrow V_{\bullet}$ where $V_{\bullet}$ is the polynomial representation. The isomorphism $Φ: U_{\bullet} \rightarrow V_{\bullet}$ is known to extend Haiman's correspondence. In this paper, we explicitly compute the images $Φ(H_{μ,w})$ of the normalized $(\mathbb{C}^{*})^2$-fixed point classes $H_{μ,w}$ of the spaces $\mathrm{PFH}_{n,n-k}$ and show they agree with the modified partially symmetric Macdonald polynomials $\widetilde{H}_{(λ|γ)}$ introduced by Goodberry-Orr, confirming their prior conjecture. We use this result to give an explicit formula for the action of the involution $\mathcal{N}$ on $V_{\bullet}.$

We unify problems about the equivariant geometry of symmetric quiver representation varieties, in the finite type setting, with the corresponding problems for symmetric varieties $GL(n)/K$ where $K$ is an orthogonal or symplectic group. In particular, we translate results about singularities of orbit closures; combinatorics of orbit closure containment; and torus equivariant cohomology and K-theory between these classes of varieties. We obtain these results by constructing explicit embeddings with nice properties of homogeneous fiber bundles over type $A$ symmetric quiver representation varieties into symmetric varieties.

We compute the equivariant K-theory of torus fixed points of Cherkis bow varieties of affine type A. We deduce formulas for the generating series of the Euler numbers of these varieties and observe their modularity in certain cases. We also obtain refined formulas on the motivic level for a class of bow varieties strictly containing Nakajima quiver varieties. These series hence generalise results of Nakajima-Yoshioka. As a special case, we obtain formulas for certain Zastava spaces. We define a parabolic analogue of Nekrasov's partition function and find an equation relating it to the classical partition function.

We study random permutations arising from reduced pipe dreams. Our main model is motivated by Grothendieck polynomials with parameter $β=1$ arising in K-theory of the flag variety. The probability weight of a permutation is proportional to the principal specialization (setting all variables to 1) of the corresponding Grothendieck polynomial. By mapping this random permutation to a version of TASEP (Totally Asymmetric Simple Exclusion Process), we describe the limiting permuton and fluctuations around it as the order $n$ of the permutation grows to infinity. The fluctuations are of order $n^{\frac13}$ and have the Tracy-Widom GUE distribution, which places this algebraic (K-theoretic) model into the Kardar-Parisi-Zhang universality class. We also investigate non-reduced pipe dreams and make progress on a recent open problem on the asymptotic number of inversions of the resulting permutation. Inspired by Stanley's question for the maximal value of principal specializations of Schubert polynomials, we resolve the analogous question for $β=1$ Grothendieck polynomials, and provide bounds for general $β$.

We show that the triply-graded Khovanov-Rozansky homology of the $(m,n)$ torus knot can be recovered from the finite-dimensional representation $\mathrm{L}_{m/n}$ of the rational Cherednik algebra at slope $m/n$, endowed with the Hodge filtration coming from the cuspidal character D-module. Our approach involves expressing the associated graded of the cuspidal character D-module in terms of a dg module closely related to the action of the shuffle algebra on the equivariant K-theory of the Hilbert scheme of points on the plane, thereby proving the rational master conjecture. As a corollary, we identify the Hodge filtration with the inductive and algebraic filtrations on $\mathrm{L}_{m/n}$.

We prove a Pieri formula for motivic Chern classes of Schubert cells in the equivariant K-theory of Grassmannians, which is described in terms of ribbon operators on partitions. Our approach is to transform the Schubert calculus over Grassmannians to the calculation in a certain affine Hecke algebra. As a consequence, we derive a Pieri formula for Segre motivic classes of Schubert cells in Grassmannians. We apply the Pieri formulas to establish a relation between motivic Chern classes and Segre motivic classes, extending a well-known relation between the classes of structure sheaves and ideal sheaves. As another application, we find a symmetric power series representative for the class of the dualizing sheaf of a Schubert variety.

We prove a Chevalley formula to multiply the motivic Chern classes of Schubert cells in a generalized flag manifold $G/P$ by the class of any line bundle $\mathcal{L}_λ$. Our formula is given in terms of the $λ$-chains of Lenart and Postnikov. Its proof relies on a change of basis formula in the affine Hecke algebra due to Ram, and on the Hecke algebra action on torus-equivariant K-theory of the complete flag manifold $G/B$ via left Demazure--Lusztig operators. We revisit some wall-crossing formulae for the stable envelopes in $T^*(G/B)$. We use our Chevalley formula, and the equivalence between motivic Chern classes of Schubert cells and K-theoretic stable envelopes in $T^*(G/B)$, to give formulae for the change of polarization, and for the change of slope for stable envelopes. We prove several additional applications, including Serre, star, and Dynkin, dualities of the Chevalley coefficients, new formulae for the Whittaker functions, and for the Hall--Littlewood polynomials. We also discuss positivity properties of Chevalley coefficients, and properties of the coefficients arising from multiplication by minuscule weights.

The double Dyck path algebra $\mathbb{A}_{q,t}$ and its polynomial representation first arose as a key figure in the proof of the celebrated Shuffle Theorem of Carlsson and Mellit. A geometric formulation for an equivalent algebra $\mathbb{B}_{q,t}$ was then given by the second author and Carlsson and Mellit using the K-theory of parabolic flag Hilbert schemes. In this article, we initiate the systematic study of the representation theory of the double Dyck path algebra $\mathbb{B}_{q,t}$. We define a natural extension of this algebra and study its calibrated representations. We show that the polynomial representation is calibrated, and place it into a large family of calibrated representations constructed from posets satisfying certain conditions. We also define tensor products and duals of these representations, thus proving (under suitable conditions) the category of calibrated representations is generically monoidal. As an application, we prove that tensor powers of the polynomial representation can be constructed from the equivariant K-theory of parabolic Gieseker moduli spaces.

Delta-matroids are "type B" generalizations of matroids in the same way that maximal orthogonal Grassmannians are generalizations of Grassmannians. A delta-matroid analogue of the Tutte polynomial of a matroid is the interlace polynomial. We give a geometric interpretation for the interlace polynomial via the K-theory of maximal orthogonal Grassmannians. To do so, we develop a new Hirzebruch-Riemann-Roch-type formula for the type B permutohedral variety.

We study probability measures on partitions based on symmetric Grothendieck polynomials. These deformations of Schur polynomials introduced in the K-theory of Grassmannians share many common properties. Our Grothendieck measures are analogs of the Schur measures on partitions introduced by Okounkov (arXiv:math/9907127 [math.RT]). Despite the similarity of determinantal formulas for the probability weights of Schur and Grothendieck measures, we demonstrate that Grothendieck measures are \emph{not} determinantal point processes. This question is related to the principal minor assignment problem in algebraic geometry, and we employ a determinantal test first obtained by Nanson in 1897 for the $4\times4$ problem. We also propose a procedure for getting Nanson-like determinantal tests for matrices of any size $n\ge4$ which appear new for $n\ge 5$. By placing the Grothendieck measures into a new framework of tilted biorthogonal ensembles generalizing a rich class of determinantal processes introduced by Borodin (arXiv:math/9804027 [math.CA]), we identify Grothendieck random partitions as a cross-section of a Schur process, a determinantal process in two dimensions. This identification expresses the correlation functions of Grothendieck measures through sums of Fredholm determinants, which are not immediately suitable for asymptotic analysis. A more direct approach allows us to obtain a limit shape result for the Grothendieck random partitions. The limit shape curve is not particularly explicit as it arises as a cross-section of the limit shape surface for the Schur process. The gradient of this surface is expressed through the argument of a complex root of a cubic equation.