Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.30675

On the support of double Grothendieck polynomials

Yairon Cid-Ruiz
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that the support of every double Grothendieck polynomial is an $M^\natural$-convex set. Our main new tool is a rigidity result for the $K$-classes of multiprojective varieties with rational singularities.

Explore related subjects

math.AGmath.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Yairon Cid-Ruiz. 2026-09-25. On the support of double Grothendieck polynomials. https://arxiv.org/abs/2609.30675

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Beyond Harnack Rigidity

The boundary of a plane amoeba is always contained in its contour, and equality is a characteristic feature of simple Harnack curves. We show that the converse fails, even under strong smoothness and nondegeneracy assumptions. For every two-dimensional lattice polygon, except unimodular triangles, we construct a smooth Newton-nondegenerate curve with smooth logarithmic critical locus and smooth embedded contour satisfying $\mathcal C(\mathscr A_f)=\partial\mathscr A_f$, although the curve is not Harnack. We also provide explicit primitive and nonprimitive families that are not torus-equivalent to simple Harnack curves. A concrete primitive example is certified by exact elimination and Sturm root counting. These results disprove contour--boundary rigidity and show that the contour as a set does not detect the real structure or the multiplicity of coincident critical sheets, thereby refining the compensation problem proposed by Lang, Shapiro, and Shustin.

math.AG↗
arXiv2026

Special Cohen--Macaulay sheaves on partial resolutions of rational surfaces singularities

We introduce the categories $\CM(X)$ and $\SCM(X)$ of reflexive sheaves on a minimal partial resolution $f\colon X \to \Spec R$ of a rational surface singularity $\Spec R$. The main result of this paper establishes that $\SCM(X)$ possesses a natural Frobenius structure, serving as a geometric counterpart to the algebraic Frobenius structure on special Cohen--Macaulay $R$-modules, introduced by Iyama--Wemyss and Iyama--Kalck--Wemyss--Yang. Utilizing this geometric framework, we establish an exact equivalence between $\SCM(X)$ and the category of special Cohen--Macaulay $R$-modules equipped with a specific exact structure, which induces a triangle equivalence between their stable categories. Consequently, this provides a direct, geometric proof of the Iyama--Kalck--Wemyss--Yang equivalence and yields a Buchweitz-type equivalence $\underline{\SCM}(X) \simeq D_{\sg}(X)$.

math.AG↗