Combinatorial Differential Algebra of $x^p$
Algebraic Geometry
2025-05-27 v3 Symbolic Computation
Combinatorics
Abstract
We link -jets of the affine monomial scheme defined by to the stable set polytope of some perfect graph. We prove that, as varies, the dimension of the coordinate ring of a certain subscheme of the scheme of -jets as a -vector space is a polynomial of degree , namely the Ehrhart polynomial of the stable set polytope of that graph. One main ingredient for our proof is a result of Zobnin who determined a differential Gr\"{o}bner basis of the differential ideal generated by . We generalize Zobnin's result to the bivariate case. We study -jets, a higher-dimensional analog of jets, and relate them to regular unimodular triangulations.
Cite
@article{arxiv.2102.03182,
title = {Combinatorial Differential Algebra of $x^p$},
author = {Rida Ait El Manssour and Anna-Laura Sattelberger},
journal= {arXiv preprint arXiv:2102.03182},
year = {2025}
}
Comments
16 pages