Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2604.08429

Derived jet and arc spaces

Roi Docampo·Lance Edward Miller·C. Eric Overton-Walker
View original source ↗Read source document ↗Export metadata ↓

Abstract

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.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Roi Docampo, Lance Edward Miller, C. Eric Overton-Walker. 2026-05-20. Derived jet and arc spaces. https://arxiv.org/abs/2604.08429

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The Brauer-Manin obstruction for stacky curves

We show that the Brauer-Manin obstruction is the only obstruction to strong approximation for all stacky curves over global fields with finite abelian fundamental groups. This includes all stacky curves of genus $g = \frac{1}{2}$, thus explaining a recent counterexample to the Hasse principle of Bhargava-Poonen. We will furthermore show that the elementary obstruction is the only obstruction to the integral Hasse principle for smooth proper integral models of stacky curves of genus $g < 1$. We then compute the Brauer-Manin obstruction for smooth proper integral models of stacky curves of genus $\frac{1}{2}$.

math.AG↗
arXiv2026

Tropicalization of super Gromov-Witten invariants

We show that genus-0, $n$ Neveu-Schwarz marked, super Gromov-Witten invariants of a convex, toric variety $X$ can be defined and computed using tropical geometry. When $X$ is a point, the tropical, super Gromov-Witten invariants of $X$ are descendant invariants on the moduli space of tropical curves. When $X$ is a general convex, toric variety, we define a procedure that computes the tropical, inverse Euler class of the SUSY normal bundle $\overline{N}_{n, β} \rightarrow \overline{\mathcal{M}}_{0,n}(X, β)$, under the assumption that $\overline{N}_{n, β}$ is in some sense locally tropicalizable. We define the tropical, genus-0, $n$ Neveu-Schwarz marked, super Gromov-Witten invariants of $X$, and show that the definition recovers the tropical, super Gromov-Witten invariants of a point. We compute a tropical, super Gromov-Witten invariant of $\mathbb{P}^1$.

math.AG↗
arXiv2026

Optimal bounds for local volumes of threefold singularities

We establish an optimal upper bound for local volumes of Gorenstein canonical non-hypersurface threefold singularities. Specifically, we show that a klt threefold singularity with local volume at least $9$ is either a hypersurface singularity or a quotient singularity. As applications, we obtain new restrictions on the singularities of members in K-moduli spaces of Fano threefolds, and we establish a sharp inequality between local volumes and minimal log discrepancies for threefold singularities.

math.AG↗