Table of Contents
Fetching ...

Categorical absorption of a non-isolated singularity

Aporva Varshney

TL;DR

The paper addresses a non-isolated compound singularity on a projective threefold and its derived category, introducing a semiorthogonal decomposition that isolates a categorical absorption generated by a compound $P^{\infty}$ object. This absorption mirrors the nodal cases studied by Kuznetsov–Shinder and is shown to arise from a geometric resolution, with the remainder components equivalent to derived categories of smooth varieties; the work also analyzes how the absorption behaves under smoothing through deformation absorption. A detailed analysis on a resolution yields a categorical resolution $\widetilde{D}$ with an explicit exceptional collection, and pushforwards map to the $cP^{\infty}$ object, clarifying the algebra structure and morphisms. Overall, the results extend categorical absorption to a non-isolated setting and demonstrate a robust interaction between resolution, deformation, and absorbing components in the derived category.

Abstract

We study an example of a projective threefold with a non-isolated singularity and its derived category. The singular locus can be locally described as a line of surface nodes compounded with a threefold node at the origin. We construct a semiorthogonal decomposition where one component absorbs the singularity in the sense of Kuznetsov--Shinder, and the other components are equivalent to the derived categories of smooth projective varieties. The absorbing category is seen to be closely related to the absorbing category constructed for nodal varieties by Kuznetsov--Shinder, reflecting the geometry of the singularity. We further show that the semiorthogonal decomposition is induced by one on a geometric resolution, and briefly consider the properties of the absorbing category under smoothing.

Categorical absorption of a non-isolated singularity

TL;DR

The paper addresses a non-isolated compound singularity on a projective threefold and its derived category, introducing a semiorthogonal decomposition that isolates a categorical absorption generated by a compound object. This absorption mirrors the nodal cases studied by Kuznetsov–Shinder and is shown to arise from a geometric resolution, with the remainder components equivalent to derived categories of smooth varieties; the work also analyzes how the absorption behaves under smoothing through deformation absorption. A detailed analysis on a resolution yields a categorical resolution with an explicit exceptional collection, and pushforwards map to the object, clarifying the algebra structure and morphisms. Overall, the results extend categorical absorption to a non-isolated setting and demonstrate a robust interaction between resolution, deformation, and absorbing components in the derived category.

Abstract

We study an example of a projective threefold with a non-isolated singularity and its derived category. The singular locus can be locally described as a line of surface nodes compounded with a threefold node at the origin. We construct a semiorthogonal decomposition where one component absorbs the singularity in the sense of Kuznetsov--Shinder, and the other components are equivalent to the derived categories of smooth projective varieties. The absorbing category is seen to be closely related to the absorbing category constructed for nodal varieties by Kuznetsov--Shinder, reflecting the geometry of the singularity. We further show that the semiorthogonal decomposition is induced by one on a geometric resolution, and briefly consider the properties of the absorbing category under smoothing.
Paper Structure (15 sections, 12 theorems, 59 equations)

This paper contains 15 sections, 12 theorems, 59 equations.

Key Result

Theorem 1.1.1

The curve $\mathfrak{C}$ and threefold $X$ admit a categorical absorption, where the absorbing category is generated by an object $P$ with the property where $\deg \epsilon = 1$ and $\deg \theta = 2$.

Theorems & Definitions (19)

  • Theorem 1.1.1: =\ref{['thm:curveabsorption']}
  • Proposition 1.1.2: =\ref{['prop:altres']}
  • Theorem 1.1.3: =\ref{['thm:resolution']}
  • Theorem 1.1.4: =\ref{['thm:resolutionmorphisms']}
  • Proposition 1.1.5: =\ref{['prop:algebrastructure']}
  • Proposition 1.1.6: =\ref{['prop:defabs']}
  • Lemma 2.1.1
  • Lemma 2.1.2
  • Conjecture 2.1.3
  • Definition 2.3.1
  • ...and 9 more