Computing with jets

DOI10.2140/JSAG.2022.12.43MaRDI QIDQ6103182zbMATH OpenOpenAlexFDO

Authors Federico Galetto, Nicholas Iammarino

Publication date 26 June 2023

Published in The Journal of Software for Algebra and Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2108.06350

zbMATH Keywords

arc schemesjet schemesMacaulay2

Mathematics Subject Classification ID

Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Software, source code, etc. for problems pertaining to commutative algebra (13-04) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Arcs and motivic integration (14E18) Determinantal varieties (14M12)

Abstract: We introduce a Macaulay2 package for working with jet schemes. The main method constructs jets of ideals, polynomial rings and their quotients, ring homomorphisms, affine varieties, and (hyper)graphs. The package also includes additional methods to compute principal components and radicals of jets of monomial ideals.

Review text

This paper describes a package for the commutative algebra software system Macaulay2 for computation of the jet schemes of an affine algebraic variety. The explicit description of jet schemes is useful for the computation of invariants of singularities in algebraic geometry and commutative algebra, but such computations are often difficult to do by hand. This paper describes the implementation of the construction of jet schemes, as well as several more specific methods. These methods include the computation of the reduced jet schemes of varieties defined by monomial ideals, as well as their minimal primes and multiplities. This also includes algorithms for the jet schemes of a squarefree quadratric ideal associated to a (hyper)graph, and the corresponding graph of this jet scheme. Finally, the paper describes the computation of the defining equations for the principal component of the \(m\)-jet scheme (i.e., the irreducible component of the \(m\)-jet scheme of an irreducible variety obtained as the closure of the \(m\)-jets lying over smooth points). Example computations of the jet schemes of determinal varieties are given.

Recommendations

• Two algorithms for computing the general component of jet scheme and applications
• The ReesAlgebra package in Macaulay2
• Products of ideals and jet schemes
• The TestIdeals package for Macaulay2
• Numerical implicitization: a Macaulay2 package

Cites work

• A Beginner’s Guide to Edge and Cover Ideals
• A Gröbner basis for the 2 2 determinantal ideal mod t^2
• Arc structure of singularities
• Arcs on determinantal varieties
• Determinantal varieties over truncated polynomial rings
• EdgeIdeals: a package for (hyper)graphs
• Hilbert series of certain jet schemes of determinantal varieties
• scientific article; zbMATH DE number 16165 (Why is no real title available?)
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 1944722 (Why is no real title available?)
• Jet graphs
• Jet schemes and singularities
• Jet schemes of determinantal varieties
• Jet schemes of locally complete intersection canonical singularities.
• Minimal log discrepancies of determinantal varieties via jet schemes
• Singularities of pairs via jet schemes
• The Jet Scheme of a Monomial Scheme
• The Multiplicity of Jet Schemes of a Simple Normal Crossing Divisor

Cited in

(7)

• Combinatorial differential algebra of \(x^p\)
• Jet graphs
• Jets based on Shurygin's schemes
• Vector fields and a family of linear type modules related to free divisors
• Jet schemes of local complete intersection morphisms
• Jets and principal components of monomial ideals and very well-covered graphs
• Jordan type stratification of spaces of commuting nilpotent matrices

This page was built for publication: Computing with jets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6103182)