arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.36509

From $3$-spin to Negative $r$-spin: Limits of Cohomological Field Theories and Tautological Relations

Deniz Genlik·Felix Janda
View original source ↗Read source document ↗Export metadata ↓

Abstract

We prove that the negative $r$-spin tautological relations of Chidambaram--Garcia-Failde--Giacchetto are a consequence of Pixton's $3$-spin relations, for every $r\ge2$, and deduce that they hold in the tautological Chow ring of $\overline{\mathcal{M}}_{g,n}$. In particular, our result for $r=2$ implies that Kazarian--Norbury $K$-relations hold in Chow. The proof factors through two essential parts. The first part shows that the tautological relations arising from Chiodo's class imply the negative $r$-spin relations. This requires an intricate study of limiting behavior of the Givental--Teleman graph contributions. In the second part, we show that the Chiodo relations are a consequence of Pixton's $3$-spin relations as an application of a generalization of Janda's work on tautological relations from CohFTs.

Explore related subjects

math.AGmath-phmath.MP

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Deniz Genlik, Felix Janda. 2026-09-29. From $3$-spin to Negative $r$-spin: Limits of Cohomological Field Theories and Tautological Relations. https://arxiv.org/abs/2609.36509

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

KEEP EXPLORING

Related papers

arXiv2026

Koszul Duality for Coherent Sheaves

We establish a bounded derived Koszul duality for infinite-dimensional Koszul algebras and derive the corresponding singular Koszul duality. We then specialize this framework to two classes of Koszul algebras, namely quadratic monomial algebras and absolutely Koszul algebras satisfying an additional homological condition, for which the resulting dualities admit particularly well-behaved forms. As an application to algebraic geometry, let \(X\subseteq \mathbb{P}_k^n\) be an arbitrary closed projective subscheme. We obtain a Koszul-dual description of the bounded derived category \(\mathsf{D}^{b}\!\bigl(\operatorname{coh}(X)\bigr)\), thereby yielding a BGG-type correspondence for arbitrary closed projective subschemes in projective space. As a second application, in noncommutative projective geometry, we consider generalized Artin--Schelter regular Koszul algebras \(Λ^{!}\) arising as Koszul duals of finite-dimensional self-injective Koszul algebras \(Λ\). We show that \(\mathsf{D}^{b}\!\bigl(\operatorname{qgr}(Λ^{!})\bigr)\) is triangulated equivalent to the bounded derived category of finite-dimensional modules over a finite-dimensional Koszul algebra of finite global dimension. This yields a Beilinson-type description of \(\mathsf{D}^{b}\!\bigl(\operatorname{qgr}(Λ^{!})\bigr)\), extending the classical description of coherent sheaves on projective space to this noncommutative setting.

math.AG↗
arXiv2026

Failure of semipositive metric extension in a smooth projective family

We construct a smooth projective family of rational surfaces, an effective line bundle on its total space, and a prescribed semipositively curved singular Hermitian metric on the central fibre that has no semipositive extension to any neighbourhood of that fibre. It has analytic singularities and is of minimal singularity type. The failure persists even when the restriction is only required to have the same singularity type as the prescribed metric. The family is obtained by blowing up four disjoint sections of a product, with three points becoming collinear on the central fibre. An integrable adjoint section on that fibre cannot extend because the corresponding adjoint systems vanish on every nearby fibre. This gives a negative answer to Păun's metric-extension question, listed as Question 38 by Dinew, Guedj, and Zeriahi.

math.AG↗