Two algorithms for computing the general component of jet scheme and applications
DOI10.1016/j.jsc.2022.02.004zbMath1491.13036OpenAlexW4213142576MaRDI QIDQ2133916
Mario Morán Cañón, Julien Sebag
Publication date: 5 May 2022
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2022.02.004
derivation modulecomputational aspects of algebraic geometryjet and arc schemesingularities in algebraic geometry
Singularities in algebraic geometry (14B05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of higher-dimensional varieties (14Q15) Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Computational aspects of algebraic curves (14Q05) Effectivity, complexity and computational aspects of algebraic geometry (14Q20) Local complex singularities (32S05) Arcs and motivic integration (14E18)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A remark on Berger's conjecture, Kolchin's theorem, and arc schemes
- On logarithmic differential operators and equations in the plane
- Rationality of Poincaré series and motivic zeta functions.
- Normalization of rings
- Symbolic parametrization of curves
- Germs of arcs on singular algebraic varieties and motivic integration
- Motivic integration
- The radical of the differential ideal generated by \(XY\) in the ring of two variable differential polynomials is not differentially finitely generated
- Arcs schemes, derivations and Lipman's theorem
- Kolchin's irreducibility theorem.
- On the nilpotent functions at a non-degenerate arc
- Logarithmic differential operators and logarithmic de rham complexes relative to a free divisor
- Arc Schemes in Geometry and Differential Algebra
- Arc Schemes of Affine Algebraic Plane Curves and Torsion Kähler Differential Forms
- Arc Scheme and Bernstein Operators
- Ideals, Varieties, and Algorithms
- Nilpotency in arc scheme of plane curves
- Jet schemes of locally complete intersection canonical singularities.
