Wronskians form the inverse system of the arcs of a double point
Abstract: The ideal of the arc scheme of a double point or, equivalently, the differential ideal generated by the ideal of a double point is a primary ideal in an infinite-dimensional polynomial ring supported at the origin. This ideal has a rich combinatorial structure connecting it to singularity theory, partition identities, representation theory, and differential algebra. Macaulay inverse system is a powerful tool for studying the structure of primary ideals which describes an ideal in terms of certain linear differential operators. In the present paper, we show that the inverse system of the ideal of the arc scheme of a double point is precisely a vector space spanned by all the Wronskians of the variables and their formal derivatives. We then apply this characterization to extend our recent result on Poincar\'e-type series for such ideals.
- P. Afsharijoo. Looking for a new version of Gordon’s identities. Annals of Combinatorics, 25:543–571, 2021. URL https://doi.org/10.1007/s00026-021-00530-x.
- P. Afsharijoo and H. Mourtada. Partition identities and application to infinite-dimensional Gröbner basis and vice versa. In Arc Schemes and Singularities, pages 145–161. World Scientific (Europe), Mar. 2020. URL https://doi.org/10.1142/9781786347206_0009.
- New companions to Gordon identities from commutative algebra. Séminaire Lotharingien de Combinatoire, 86B, 2022. URL https://www.mat.univie.ac.at/~slc/wpapers/FPSAC2022/48.html.
- New companions to the Andrews–Gordon identities motivated by commutative algebra. Advances in Mathematics, 417, 2023. URL https://doi.org/10.1016/j.aim.2023.108946.
- R. Ait El Manssour and G. Pogudin. Multiplicity structure of the arc space of a fat point. Algebra & Number Theory, 2024. URL https://msp.org/ant/2024/18-5/p03.xhtml.
- Linear PDE with constant coefficients. Glasgow Mathematical Journal, 65:S2–S27, 2021. URL https://doi.org/10.1017/s0017089521000355.
- The big Mother of all dualities 2: Macaulay bases. Applicable Algebra in Engineering, Communication and Computing, 17(6):409–451, 2006. URL https://doi.org/10.1007/s00200-006-0019-4.
- A question of Joseph Ritt from the point of view of vertex algebras. Journal of Algebra, 588:118–128, 2021. URL https://doi.org/10.1016/j.jalgebra.2021.07.030.
- Quadratic ideals and Rogers-Ramanujan recursions. The Ramanujan Journal, 52:67–89, 2019. URL https://doi.org/10.1007/s11139-018-0127-3.
- Null Lagrangians, weak continuity, and variational problems of arbitrary order. Journal of Functional Analysis, 41:135–174, 1981. URL https://doi.org/10.1016/0022-1236(81)90085-9.
- Arc Schemes and Singularities. World Scientific (Europe), Jan. 2020. URL https://doi.org/10.1142/q0213.
- Arc spaces and the Rogers-Ramanujan identities. The Ramanujan Journal, 30:9–38, 2012. URL https://doi.org/10.1007/s11139-012-9401-y.
- Noetherian operators and primary decomposition. Journal of Symbolic Computation, 110:1–23, 2022. URL https://doi.org/10.1016/j.jsc.2021.09.002.
- Cyclic vectors. In Differential Algebra and Related Topics, pages 191–218. World Scientific, 2002. URL http://dx.doi.org/10.1142/9789812778437_0007.
- Primary ideals and their differential equations. Foundations of Computational Mathematics, 21:1363–1399, 2021. URL https://doi.org/10.1007/s10208-020-09485-6.
- J. Denef and F. Loeser. Geometry on arc spaces of algebraic varieties. In C. Casacuberta, R. M. Miró-Roig, J. Verdera, and S. Xambó-Descamps, editors, European Congress of Mathematics. Birkhäuser Basel, 2001. URL https://doi.org/10.1007/978-3-0348-8268-2.
- D. Eisenbud. On the resiliency of determinantal ideals. In Commutative Algebra and Combinatorics, pages 29–38. Mathematical Society of Japan, 1987. URL http://dx.doi.org/10.2969/aspm/01110029.
- D. Eisenbud. Linear sections of determinantal varieties. American Journal of Mathematics, 110:541–575, 1988. URL http://www.jstor.org/stable/2374622.
- A. Etesse. On the Schmidt–Kolchin conjecture on differentially homogeneous polynomials. applications to (twisted) jet differentials on projective spaces, 2023. URL https://arxiv.org/abs/2302.02634.
- B. Feigin and E. Feigin. Q-characters of the tensor products in sl2subscriptsl2\operatorname{sl}_{2}roman_sl start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT-case. Moscow Mathematical Journal, 2:567–588, 2002. URL http://dx.doi.org/10.17323/1609-4514-2002-2-3-567-588.
- A. Guerrieri and I. Swanson. On the ideal of minors of matrices of linear forms. Contemporary Mathematics, 331:139–152, 2003.
- H. Levi. On the structure of differential polynomials and on their theory of ideals. Transactions of American Mathematical Society, 51:532–568, 1942.
- On multiplicities in polynomial system solving. Transactions of the American Mathematical Society, 348(8):3283–3321, 1996. URL http://www.jstor.org/stable/2155135.
- H. Mourtada. Jet schemes and their applications in singularities, toric resolutions and integer partitions. In J. L. Cisneros-Molina, L. D. Tring, and J. Seade, editors, Handbook of Geometry and Topology of Singularities IV, chapter 4, pages 266–290. Springer, 2023.
- K. B. O’Keefe. A property of the differential ideal ypsuperscript𝑦𝑝y^{p}italic_y start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT. Transactions of American Mathematical Society, 94:483, 1960. URL https://doi.org/10.2307/1993435.
- G. Pogudin. Primary differential nil-algebras do exist. Moscow University Mathematics Bulletin, 69:33–36, 2014. URL https://doi.org/10.3103/s0027132214010069.
- G. M. Reinhart and W. Sit. Differentially homogeneous differential polynomials. In Proceedings of the 1996 international symposium on Symbolic and algebraic computation, ISSAC ’96. ACM Press, 1996. URL http://dx.doi.org/10.1145/236869.237077.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.