Categorical absorption of a non-isolated singularity

Aporva Varshney
2024-02-29
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.
Algebraic Geometry
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the classification problem of the derived category of three - dimensional algebraic varieties (threefold) with non - isolated singularities. Specifically, the author studied a projective three - dimensional algebraic variety with non - isolated singularities and its derived category, and explored how to absorb these singularities through semiorthogonal decomposition. ### Core of the problem 1. **Description of singularities**: - The singularities in the paper can be locally described as a line of surface nodes, compounded with a threefold node at the origin. Such singularities are non - isolated, that is, they are not isolated points but a continuous geometric structure. 2. **Objective of semiorthogonal decomposition**: - The author hopes to construct a semiorthogonal decomposition such that one component can "absorb" the singularities (categorical absorption), while the other components are equivalent to the derived categories of smooth projective varieties. - Absorbing singularities means that this component captures the main geometric information of the singularities, so that the remaining part is as close as possible to the smooth situation. 3. **Properties of the absorption category**: - The author showed that the absorption category is closely related to the absorption category constructed by Kuznetsov - Shinder for nodal varieties, reflecting the geometric characteristics of the singularities. - Further, the author proved that this semiorthogonal decomposition is induced by the geometric resolution of singularities, and briefly considered the properties of the absorption category in the smoothing process. ### Explanation of formulas and terms - **Semiorthogonal decomposition**: Let \( \mathcal{D} \) be a triangulated category, and \( A_1, A_2,\ldots, A_n \) be its full triangulated subcategories. Then \( \mathcal{D}=\langle A_1, A_2,\ldots, A_n\rangle \) is called a semiorthogonal decomposition of \( \mathcal{D} \), if for any \( B\in A_j \) and \( A\in A_i \) (where \( j > i \)), we have \( \text{Hom}(B, A) = 0 \). - **Absorption category**: Let \( X \) be a variety with singularities, and \( D^b(X) \) be its bounded derived category. If there exists a semiorthogonal decomposition \( D^b(X)=\langle A, B\rangle \), where \( B\subset D^{\text{perf}}(X) \), then \( A \) provides a categorical absorption of singularities. - **cP∞ object**: A special object \( P \) is defined in the paper, whose extension group \( \text{Ext}^\bullet(P, P)\cong\mathbb{C}[\epsilon, \theta] \), where \( \deg\epsilon = 1 \) and \( \deg\theta = 2 \). Such an object is called a compound P∞ object (cP∞ object). ### Summary The core problem of this paper is to explore how to deal with the derived category of three - dimensional algebraic varieties with non - isolated singularities through semiorthogonal decomposition, and show how this decomposition can effectively "absorb" the singularities, thus providing a new perspective to understand the intrinsic properties of such complex geometric structures.