Embedding codimension of the space of arcs

DOI10.1017/FMP.2021.19zbMATH Open1492.14022OpenAlexW4212875160MaRDI 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

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)

• Families of jets of arc type and higher (co)dimensional du val singularities
• The Drinfeld-Grinberg-Kazhdan theorem for formal schemes and singularity theory
• 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)