English

Combinatorial Differential Algebra of $x^p$

Algebraic Geometry 2025-05-27 v3 Symbolic Computation Combinatorics

Abstract

We link nn-jets of the affine monomial scheme defined by xpx^p to the stable set polytope of some perfect graph. We prove that, as pp varies, the dimension of the coordinate ring of a certain subscheme of the scheme of nn-jets as a C\mathbb{C}-vector space is a polynomial of degree n+1n+1, 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 xpx^p. We generalize Zobnin's result to the bivariate case. We study (m,n)(m,n)-jets, a higher-dimensional analog of jets, and relate them to regular unimodular triangulations.

Keywords

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

R2 v1 2026-06-23T22:52:26.917Z