Embedding codimension of the space of arcs

DOI10.1017/FMP.2021.19zbMATH Open1492.14022arXiv2001.08377OpenAlexW4212875160MaRDI QIDQ3390107FDOQ3390107

Authors: Christopher Chiu, Tommaso de Fernex, Roi Docampo 

Publication date: 24 March 2022

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

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.

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

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

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)

Cites Work

• Algebraic approximation of structures over complete local rings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Commutative coherent rings
• Title not available (Why is that?)
• É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é
• Title not available (Why is that?)
• Germs of arcs on singular algebraic varieties and motivic integration
• On the formal arc space of a reductive monoid
• Stability and Buchberger criterion for standard bases in power series rings
• Title not available (Why is that?)
• Primary ideals with finitely generated radical in a commutative ring
• A curve selection lemma in spaces of arcs and the image of the Nash map
• Title not available (Why is that?)
• Algebraization and Tannaka duality
• Mather discrepancy and the arc spaces
• Primitive arcs on curves
• Inequalities related to certain couples of local rings
• Divisorial valuations via arcs
• Jacobian discrepancies and rational singularities
• Title not available (Why is that?)
• On the notion of Cohen-Macaulayness for non-Noetherian rings
• Generically finite morphisms and formal neighborhoods of arcs
• Versal deformations of formal arcs
• Differentials on the arc space
• Smooth arcs on algebraic varieties
• The Drinfeld-Grinberg-Kazhdan Theorem for formal schemes and singularity theory
• Singularities with respect to Mather-Jacobian discrepancies
• Coordinates at stable points of the space of arcs
• Towards the singular locus of the space of arcs
• Mather discrepancy as an embedding dimension in the space of arcs
• Greenberg approximation and the geometry of arc spaces
• The Grinberg–Kazhdan Formal Arc Theorem and the Newton Groupoids
• Cancellation and regular derivations
• Finite formal model of toric singularities
• Théorèmes de Structure sur les Espaces d’Arcs
• THE DRINFELD–GRINBERG–KAZHDAN THEOREM IS FALSE FOR SINGULAR ARCS
• Arquile Varieties – Varieties Consisting of Power Series in a Single Variable

Cited In (7)

• Families of jets of arc type and higher (co)dimensional du val singularities
• The minimal formal model of a curve singularity is zero-dimensional
• 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
• Title not available (Why is that?)

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)