C. Eric Overton-Walker

arXiv2026

Derived jet and arc spaces

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.

math.AG↗

arXiv2026

An explicit derived McKay correspondence for some complex reflection groups of rank two

In this paper, we explore the derived McKay correspondence for several reflection groups, namely reflection groups of rank two generated by reflections of order two. We prove that for each of the reflection groups $G=G(2m,m,2)$, $G_{12}$, $G_{13}$, or $G_{22}$, there is a semiorthogonal decomposition of the following form, where $B_1,\ldots,B_r$ are the normalizations of the irreducible components of the branch divisor $\mathbb{C}^2\to \mathbb{C}^2/G$ and $E_1,\ldots,E_n$ are exceptional objects: $$D^G(\mathbb{C}^2)\cong \langle E_1,\ldots,E_n,D(B_1),\ldots, D(B_r), D(\mathbb{C}^2/G)\rangle.$$ We verify that the pieces of this decomposition correspond to the irreducible representations of $G$, verifying the Orbifold Semiorthogonal Decomposition Conjecture of Polishchuk and Van den Bergh. Due to work of Potter on the group $G(m,m,2)$, this conjecture is now proven for all finite groups $G\leq \mathrm{GL}(2,\mathbb{C})$ that are generated by order $2$ reflections. Each of these groups contains, as a subgroup of index $2$, a distinct finite group $H\leq \mathrm{SL}(2,\mathbb{C})$. A key part of our work is an explicit computation of the action of $G/H$ on the $H$-Hilbert scheme $\textrm{$H$-Hilb}(\mathbb{C}^2)$.

math.AG↗