Embedding codimension of the space of arcs

DOI10.1017/FMP.2021.19MaRDI QIDQ3390107zbMATHOpenAlexFDO

Authors Christopher Chiu, Tommaso de Fernex, Roi Docampo

Publication date 24 March 2022

Published in Forum of Mathematics, Pi (Search for Journal in Brave)

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

zbMATH Keywords

arc spaceembedding codimensionDGK decompositionideal of finite definitionminimal formal model

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Formal power series rings (13F25) Arcs and motivic integration (14E18) Formal neighborhoods in algebraic geometry (14B20) Completion of commutative rings (13B35) Infinitesimal methods in algebraic geometry (14B10)

Abstract: We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties, and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure of singularities, our main result can be interpreted as saying that the singularities of the arc space are maximal at the arcs that are fully embedded in the singular locus of the underlying scheme, and progressively improve as we move away from said locus. As an application, we complement a theorem of Drinfeld, Grinberg, and Kazhdan on formal neighborhoods in arc spaces by providing a converse to their theorem, an optimal bound for the embedding codimension of the formal model appearing in the statement, a precise formula for the embedding dimension of the model constructed in Drinfeld's proof, and a geometric meaningful way of realizing the decomposition stated in the theorem.

Recommendations

• Differentials on the arc space
• Towards the singular locus of the space of arcs
• Mather discrepancy as an embedding dimension in the space of arcs
• The Local Structure of Arc Schemes
• Primitive arcs on curves

Cites work

• scientific article; zbMATH DE number 3889893 (Why is no real title available?)
• scientific article; zbMATH DE number 43569 (Why is no real title available?)
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 3440338 (Why is no real title available?)
• scientific article; zbMATH DE number 3211562 (Why is no real title available?)
• scientific article; zbMATH DE number 5263295 (Why is no real title available?)
• scientific article; zbMATH DE number 3279238 (Why is no real title available?)
• scientific article; zbMATH DE number 3394444 (Why is no real title available?)
• A curve selection lemma in spaces of arcs and the image of the Nash map
• Algebraic approximation of structures over complete local rings
• Algebraization and Tannaka duality
• Arquile Varieties – Varieties Consisting of Power Series in a Single Variable
• Cancellation and regular derivations
• Commutative coherent rings
• Coordinates at stable points of the space of arcs
• Differentials on the arc space
• Divisorial valuations via arcs
• Finite formal model of toric singularities
• Generically finite morphisms and formal neighborhoods of arcs
• Germs of arcs on singular algebraic varieties and motivic integration
• Greenberg approximation and the geometry of arc spaces
• Inequalities related to certain couples of local rings
• Mather discrepancy and the arc spaces
• Mather discrepancy as an embedding dimension in the space of arcs
• On the formal arc space of a reductive monoid
• On the notion of Cohen-Macaulayness for non-Noetherian rings
• Primary ideals with finitely generated radical in a commutative ring
• Primitive arcs on curves
• Singularities with respect to Mather-Jacobian discrepancies
• Smooth arcs on algebraic varieties
• Stability and Buchberger criterion for standard bases in power series rings
• The Drinfeld-Grinberg-Kazhdan theorem for formal schemes and singularity theory
• The Drinfeld-Grinberg-Kazhdan theorem is false for singular arcs
• The Grinberg–Kazhdan Formal Arc Theorem and the Newton Groupoids
• Théorèmes de Structure sur les Espaces d’Arcs
• Towards the singular locus of the space of arcs
• Versal deformations of formal arcs
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Première partie). Rédigé avec la colloboration de J. Dieudonné

Cited in

(8)

• The Drinfeld-Grinberg-Kazhdan theorem for formal schemes and singularity theory
• Families of jets of arc type and higher (co)dimensional du val singularities
• Jet schemes and their applications in singularities, toric resolutions and integer partitions
• Deformations of arcs and comparison of formal neighborhoods for a curve singularity
• Mather discrepancy as an embedding dimension in the space of arcs
• Arc criterion of normal embedding
• The minimal formal model of a curve singularity is zero-dimensional
• scientific article; zbMATH DE number 4119207 (Why is no real title available?)

This page was built for publication: Embedding codimension of the space of arcs

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