Derived jet and arc spaces

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Docampo, Roi, Miller, Lance Edward, Overton-Walker, C. Eric
Formato: Preprint
Publicado: 2026
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866914584255791104
author Docampo, Roi
Miller, Lance Edward
Overton-Walker, C. Eric
author_facet Docampo, Roi
Miller, Lance Edward
Overton-Walker, C. Eric
contents We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the derived jet and arc spaces. We show that the derived constructions agree with the classical versions when the base scheme is smooth, or more generally for local complete intersection log canonical singularities, giving a derived interpretation to a theorem of Mustaţă. For more singular spaces we get new singularity invariants in the form of higher homotopy groups. We also study cotangent complexes for derived jet and arc spaces, generalizing previous formulas for sheaves of differentials of classical jet and arc spaces. Several applications are obtained. Specifically, we revisit recent results on the local structure of arc spaces from the lens of cotangent complexes, giving more unified proofs and removing unnecessary hypotheses. In particular, we extend a version of Reguera's curve selection lemma for arc spaces to the case of non-perfect base fields.
format Preprint
id arxiv_https___arxiv_org_abs_2604_08429
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Derived jet and arc spaces
Docampo, Roi
Miller, Lance Edward
Overton-Walker, C. Eric
Algebraic Geometry
14E18 (Primary), 14A30, 13D03, 14B05 (Secondary)
We study jet schemes and arc spaces in the context of derived algebraic geometry. Explicitly, we consider the jet and arc functors in the category of schemes and study their animations to the category of derived schemes -- what we call the derived jet and arc spaces. We show that the derived constructions agree with the classical versions when the base scheme is smooth, or more generally for local complete intersection log canonical singularities, giving a derived interpretation to a theorem of Mustaţă. For more singular spaces we get new singularity invariants in the form of higher homotopy groups. We also study cotangent complexes for derived jet and arc spaces, generalizing previous formulas for sheaves of differentials of classical jet and arc spaces. Several applications are obtained. Specifically, we revisit recent results on the local structure of arc spaces from the lens of cotangent complexes, giving more unified proofs and removing unnecessary hypotheses. In particular, we extend a version of Reguera's curve selection lemma for arc spaces to the case of non-perfect base fields.
title Derived jet and arc spaces
topic Algebraic Geometry
14E18 (Primary), 14A30, 13D03, 14B05 (Secondary)
url https://arxiv.org/abs/2604.08429