Combinatorial Differential Algebra of x^p
From MaRDI portal
Combinatorial Differential Algebra of $x^p$
Combinatorial aspects of commutative algebra (05E40) Differential algebra (12H05) Derivations and commutative rings (13N15) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry) (52B20)
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.
This page was built for publication: Combinatorial Differential Algebra of $x^p$
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6359947)