Stably Semiorthogonally Indecomposable Varieties

Basic Information

• Paper ID: 2011.12743
• Title: Stably Semiorthogonally Indecomposable Varieties
• Author: Dmitrii Pirozhkov (Institut de Mathématiques de Jussieu - Paris Rive Gauche)
• Classification: math.AG (Algebraic Geometry)
• Published Journal: Épijournal de Géométrie Algébrique, Volume 7 (2023), Article No. 11
• Paper Link: https://arxiv.org/abs/2011.12743

Abstract

This paper introduces the concept of noncommutative stably semiorthogonally indecomposable (NSSI) varieties. This property implies that every connected closed subscheme has an indecomposable derived category of coherent sheaves, and if Y is NSSI, then for any variety X, all semiorthogonal decompositions of X × Y are induced by decompositions of X. The author proves that any scheme admitting an affine morphism to an abelian variety is NSSI, and that the total space of a fibration with NSSI base and NSSI fibers is also NSSI. Using this indecomposability, the author derives the non-existence of phantom subcategories in certain varieties, including surfaces C × ℙ¹, where C is any smooth proper curve of positive genus.

Research Background and Motivation

Core Problems

The derived category of coherent sheaves on an algebraic variety is an interesting but complex invariant. Sometimes it can be constructed from smaller triangulated categories through the concept of semiorthogonal decompositions. A fundamental question is to identify which smooth proper varieties have indecomposable derived categories, i.e., do not admit non-trivial semiorthogonal decompositions.

Significance of the Problem

1. Geometric Significance: Semiorthogonal decompositions reveal the geometric structure of algebraic varieties, and indecomposability reflects the "rigidity" of varieties
2. Categorical Significance: Understanding the decomposition structure of derived categories is crucial for cross-disciplinary research in homological algebra and algebraic geometry
3. Applied Value: Can be used to study the existence problem of phantom subcategories

Limitations of Existing Methods

Known indecomposable varieties include:

• Calabi-Yau varieties
• Curves of positive genus
• More generally, varieties with globally generated canonical bundles

However, these conditions are quite special, lacking a more general framework for understanding indecomposability.

Research Motivation

The author proposes a stronger notion of indecomposability that considers not only the derived category of the variety itself, but also semiorthogonal decompositions of all categories equipped with an action of Perf(Y). This "stable" indecomposability provides a deeper understanding of the structure.

Core Contributions

1. Introduction of NSSI Concept: Proposes the definition of noncommutative stably semiorthogonally indecomposable (NSSI) varieties, which is a stronger concept than traditional indecomposability
2. Establishment of Basic Theory: Proves that NSSI property implies traditional indecomposability and is a strictly stronger condition
3. Construction of NSSI Variety Families: Proves that any scheme admitting an affine morphism to an abelian variety is NSSI
4. Fibration Theorem: Proves that the total space of a fibration with NSSI base and NSSI fibers is also NSSI
5. Application to Phantom Subcategories: Uses NSSI property to prove the non-existence of phantom subcategories in certain varieties

Detailed Methods

Core Definition

Definition 1.3 (NSSI): Let Y be a scheme over a field k. Y is called noncommutative stably semiorthogonally indecomposable (NSSI) if for any choice of:

1. D: a Perf(Y)-linear category that is proper over Y and has a classical generator
2. A: a left admissible subcategory of D

the subcategory A is closed under the action of Perf(Y) on D.

Technical Framework

Perf(Y)-Linear Structure

For a scheme morphism f: X → Y, Perf(X) is a Perf(Y)-linear category with action:

D · S := D ⊗_k f*S

Admissible Subcategories

A subcategory A ⊂ T is called left admissible if the inclusion functor A ↪ T has a left adjoint functor.

Mapping Objects

For objects E₁, E₂ in a Y-linear category D, the mapping object H ∈ Perf(Y) satisfies:

RHom_Y(-, H) ≅ RHom_D((-) · E₁, E₂)

Main Technical Tools

Rigidity Theorem (Theorem 3.1)

Let D be a proper category over a field k with a classical generator. Let U be a quasi-compact separated scheme over k, and A ⊂ D a left admissible subcategory. For an object F ∈ D_U, there exists a maximal Zariski open subset U' ⊂ U such that the base change of F to D_U' lies in the subcategory A_U'.

Application of Fourier-Mukai Transform

Using the Fourier-Mukai transform with the Poincaré sheaf P on Y × Pic⁰(Y):

Φ_P: Perf(Pic⁰(Y)) → Perf(Y)

Main Theorems

Theorem 1.4 (=Theorem 3.5)

Let Y be a scheme over a field k. If Y admits an affine morphism to an abelian variety over k, then Y is NSSI.

Proof Strategy:

1. First prove that abelian varieties A are NSSI
2. Use the rigidity properties of the Fourier-Mukai transform
3. Transfer the result to Y through properties of affine morphisms

Theorem 1.5 (=Theorem 4.1)

Let π: Y → B be a flat proper morphism of quasi-compact separated schemes over a field k. Assume B is NSSI and for any closed point b ∈ B, the fiber Y_b is an NSSI variety. Then Y is NSSI.

Proof Strategy:

1. Use base change techniques to analyze the structure on fibers
2. Apply compatibility of mapping objects
3. Use lifting arguments from fibers to the total space

Experimental Results and Applications

Examples of Constructed NSSI Varieties

Families of Abelian Varieties

• All abelian varieties are NSSI
• Any variety admitting a finite morphism to an abelian variety is NSSI

Bielliptic Surfaces

Corollary 4.2: Any bielliptic surface over an algebraically closed field k is an NSSI variety.

The proof uses the fact that the Albanese morphism of a bielliptic surface is an elliptic fibration over an elliptic curve.

Non-existence of Phantom Subcategories

Proposition 1.6: Let k be an algebraically closed field of characteristic zero, and Y a smooth projective NSSI variety over k.

1. Let X be the projective line ℙ¹ or a del Pezzo surface. Then there exists no phantom subcategory in the derived category D^b_coh(X×Y)
2. Let π: X → Y be an étale locally trivial fibration with fibers ℙ¹ or ℙ². Then there exists no phantom subcategory in D^b_coh(X)

Stability Results

Lemma 5.3: Let Y be a smooth projective NSSI variety and X any smooth projective variety. For any admissible subcategory A of D^b_coh(X×Y), there exists an admissible subcategory A_X of D^b_coh(X) such that A = A_X ⊠ D^b_coh(Y).

Related Work

Semiorthogonal Decomposition Theory

• Foundational work by Bondal-Kapranov establishing basic theory of semiorthogonal decompositions
• Bridgeland's research on equivalences of triangulated categories
• Kuznetsov's contributions on base change

Indecomposability Research

• Rigidity results by Kawatani-Okawa under canonical bundle conditions
• Okawa's work on derived categories of curves
• Briançon's results on Calabi-Yau varieties

Linear Category Theory

• Perry's work on noncommutative homological projective duality
• Lurie's higher algebra framework
• Applications of stable ∞-categories

Conclusions and Discussion

Main Conclusions

1. The NSSI concept provides a new framework for understanding the rigidity of algebraic varieties
2. Abelian varieties and their affine covers form an important family of NSSI varieties
3. Fibrations preserve NSSI property
4. NSSI property can exclude the existence of phantom subcategories

Limitations

1. Characteristic Restrictions: Some results require characteristic zero assumption
2. Technical Conditions: The definition of NSSI involves complex linear category structures
3. Computational Complexity: Verifying NSSI property for concrete varieties may be difficult

Future Directions

1. Find more examples of NSSI varieties
2. Study relationships between NSSI property and other geometric properties
3. Explore applications in moduli space theory
4. Generalize to more general symmetric monoidal categories

In-Depth Evaluation

Strengths

1. Conceptual Innovation: NSSI concept is an important generalization of traditional indecomposability
2. Theoretical Depth: Combines deep theories from algebraic geometry, homological algebra, and category theory
3. Technical Rigor: Proofs employ modern techniques from stable ∞-categories
4. Applied Value: Resolves the important problem of phantom subcategory existence

Weaknesses

1. High Level of Abstraction: The definition of NSSI is quite technical, potentially limiting its applications
2. Limited Examples: While important construction methods are provided, concrete examples remain limited
3. Computational Difficulty: Verifying NSSI property for a given variety may be difficult

Impact

1. Theoretical Contribution: Provides new research directions for derived category theory
2. Methodological Impact: Demonstrates the power of linear category techniques in algebraic geometry
3. Subsequent Research: May inspire more research on stable indecomposability

Applicable Scenarios

1. Moduli Space Theory: Study geometric properties of moduli spaces
2. Mirror Symmetry: Applications in homological mirror symmetry
3. Noncommutative Geometry: Development of noncommutative algebraic geometry
4. Representation Theory: Connections with algebraic representation theory

References

The paper cites important literature in the field, including:

• Foundational work by Bondal-Kapranov on semiorthogonal decompositions
• Perry's theory on noncommutative linear categories
• Kuznetsov's research on base change
• Mukai's classical results on Fourier-Mukai transforms

Overall Assessment: This is a high-quality theoretical paper in algebraic geometry that introduces an important new concept and establishes a corresponding theoretical framework. Although technically demanding, it provides a new perspective for understanding the derived category structure of algebraic varieties and possesses significant theoretical value and potential applications.