Search arXivSearch

arXiv · 2508.21596

Completions of complexes of differential modules on singular schemes

Abstract

Spencer cohomology theory studies the cohomology of chain complexes of modules over the ring of differential operators $\mathscr{D}$ of a smooth analytic space. In this paper we give a generalisation of Spencer cohomology suitable for singular schemes of finite type over a field. Our motivation was a conjecture of Vinogradov concerning the homological properties of differential operators on singular affine varieties; namely, that complexes of certain such operators are acyclic if and only if the variety is smooth. We will provide a negative answer to Vinogradov's conjecture as stated. In principle Vinogradov's conjecture can also be posed for the Spencer complex of a general $\mathscr{D}$-module -- however the answer is trivial, since singularities prohibit a definition of Spencer cohomology with any good properties. Our main result will be the construction of a Spencer complex on a large class of singular schemes which is suitable as a cohomology theory for the space. Following this we are able to ask the same question as Vinogradov in this case, where we give a more positive answer. Our main technique draws from Hartshorne's construction of de Rham cohomology by formal completion.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bruno Borić, Dalton A R Sakthivadivel. 2025-09-04. Completions of complexes of differential modules on singular schemes. https://arxiv.org/abs/2508.21596

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

KEEP EXPLORING

Related papers

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

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

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