English

Multiplicity structure of the arc space of a fat point

Algebraic Geometry 2024-04-17 v4 Symbolic Computation Commutative Algebra Combinatorics

Abstract

The equation xm=0x^m = 0 defines a fat point on a line. The algebra of regular functions on the arc space of this scheme is the quotient of k[x,x,x(2),]k[x, x', x^{(2)}, \ldots] by all differential consequences of xm=0x^m = 0. This infinite-dimensional algebra admits a natural filtration by finite dimensional algebras corresponding to the truncations of arcs. We show that the generating series for their dimensions equals m1mt\frac{m}{1 - mt}. We also determine the lexicographic initial ideal of the defining ideal of the arc space. These results are motivated by nonreduced version of the geometric motivic Poincar\'e series, multiplicities in differential algebra, and connections between arc spaces and the Rogers-Ramanujan identities. We also prove a recent conjecture put forth by Afsharijoo in the latter context.

Keywords

Cite

@article{arxiv.2111.10446,
  title  = {Multiplicity structure of the arc space of a fat point},
  author = {Rida Ait El Manssour and Gleb Pogudin},
  journal= {arXiv preprint arXiv:2111.10446},
  year   = {2024}
}