Autoequivalences and stability conditions on a degenerate K3 surface

Basic Information

• Paper ID: 2510.13526
• Title: Autoequivalences and stability conditions on a degenerate K3 surface
• Author: Hayato Arai (Graduate School of Mathematical Sciences, The University of Tokyo)
• Classification: math.AG (Algebraic Geometry)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2510.13526

Abstract

This paper investigates autoequivalences and stability conditions on the derived category of coherent sheaves on a singular surface $X$, where $X$ is an open subset of a Type III Kulikov degeneration of a K3 surface. The surface $X$ consists of four irreducible components, one of which is $\mathbb{P}^2$ and the others are non-compact rational surfaces. By comparison with the degenerate total space, the author proves that the connected component $\mathrm{Stab}^\dagger(D^b_{\mathbb{P}^2}(X))$ of the space of stability conditions on the supported derived category $D^b_{\mathbb{P}^2}(X)$ containing geometric stability conditions is simply connected, and describes its chamber structure via semi-spherical twists. As a result, the author determines the subgroup of the autoequivalence group $\mathrm{Aut}(D^b(X))$ preserving this component; it is isomorphic to $\mathbb{Z} \times \Gamma_1(3) \times \mathrm{Aut}(X)$, where $\Gamma_1(3) \subset \mathrm{SL}(2,\mathbb{Z})$ is the congruence subgroup of level 3.

Research Background and Motivation

Problem Background

1. Bridgeland Stability Conditions Theory: Bridgeland introduced in 2007 the concept of stability conditions on triangulated categories as a mathematical formalization of Douglas's Π-stability in string theory, opening new avenues for studying autoequivalences via stability conditions.
2. Stability Conditions on Singular Varieties: While stability conditions on derived categories of smooth projective varieties have been extensively studied, recent attention has increasingly focused on the singular case. Existing work includes:
   • Complete description by Burban and Kreußler for irreducible genus one elliptic curves
   • Karube's study of other types of Kodaira fibers
   • Research on certain irreducible singular surfaces
3. Motivation for Studying K3 Surface Degenerations: Inspired by these works, it is natural to turn to the study of K3 surface degenerations. However, constructing stability conditions on projective varieties is typically difficult, and the presence of multiple compact components makes the analysis of autoequivalences more challenging.

Research Significance

1. Filling theoretical gaps: Providing new examples and methods for the theory of stability conditions on singular surfaces
2. Connecting different fields: Linking derived category theory in algebraic geometry with homological mirror symmetry
3. Technical innovation: Introducing the concept of semi-spherical twists to handle singular cases

Core Contributions

1. Complete description of the space of stability conditions on singular surfaces: Through comparison with smooth threefolds, the author provides a complete description of the geometric chamber $U(X)$ of $\mathrm{Stab}(D^b_{\mathbb{P}^2}(X))$.
2. Proof of simple connectivity of the connected component: $\mathrm{Stab}^\dagger(D_0)$ is simply connected (Theorem 1.2).
3. Description of the chamber structure: The boundary structure is completely characterized via semi-spherical twists, proving that $\partial U(X) = \bigcup_E (W_E^+ \sqcup W_E^-)$.
4. Determination of the structure of the autoequivalence group: The main result (Theorem 1.3) provides an isomorphism of the autoequivalence group preserving the connected component: $\mathrm{Aut}^\dagger(D) \cong \mathbb{Z} \times \Gamma_1(3) \times \mathrm{Aut}(X)$
5. Introduction of semi-spherical twist theory: A generalization of spherical twists to the "restriction to fiber" version, providing new tools for handling singular cases.

Detailed Methods

Geometric Setup

Consider the action of $\mu_3$ on $A^3$: $\omega \cdot (x_1, x_2, x_3) = (\omega x_1, \omega x_2, \omega x_3)$, where $\omega^3 = 1$.

Let $X = \mathrm{Tot}(K_{\mathbb{P}^2}) \to A^3/\mu_3$ be the resolution of the quotient singularity, with the composite map giving: $\pi: X \to A^1$

The central fiber $i: X = \pi^{-1}(0) \hookrightarrow X$ consists of four components: $X = Z_0 \cup Z_1 \cup Z_2 \cup Z_3$ where $Z_0 = \mathbb{P}^2$ and $Z_i = \mathrm{Bl}_0 A^2$ ($i = 1,2,3$).

Decomposition of Derived Categories

Proposition 4.2: Let $D' \subset D_c$ be the full subcategory of complexes supported on $X \setminus Z_0$, then: $D_c = D_0 \oplus D'$

This decomposition is crucial for understanding the action of autoequivalences.

Comparison Theory of Stability Conditions

By constructing a comparison map $\theta: \mathrm{Stab}(D^b_{Z_0}(X)) \to \mathrm{Stab}(D_0)$:

Theorem 5.4: The map $\theta$ is continuous and induces an isomorphism on connected components.

Semi-spherical Twists

Definition 2.9: An object $E \in D^b(X)$ is called semi-spherical (relative to $i$) if $i_*E \in D^b(X)$ is spherical.

For a semi-spherical object $E$, define the semi-spherical twist $H_E: D^b(X) \to D^b(X)$, which satisfies: $i_* \circ H_E = T_{i_*E} \circ i_*$

Characterization of Chamber Structure

Theorem 5.14: For each exceptional bundle $E$ on $Z_0$, there exist two codimension-1 walls $W_E^+$ and $W_E^-$ such that:

1. $W_E^+ = U(X) \cap H_E(U(X))$
2. $W_E^- = U(X) \cap H_E^{-1}(U(X))$
3. $\partial U(X) = \bigcup_E (W_E^+ \sqcup W_E^-)$

Main Results

Theorem 1.1 (Covering Theorem)

$\mathrm{Stab}^\dagger(D_0) = \bigcup_\Phi \Phi(U(X))$ where $\Phi$ ranges over the subgroup of $\mathrm{Aut}(D)$ generated by all $H_E$ corresponding to exceptional bundles $E$.

Theorem 1.2 (Topological Properties)

The space $\mathrm{Stab}^\dagger(D_0)$ is simply connected.

Theorem 1.3 (Main Result)

$\mathrm{Aut}^\dagger(D) \cong \mathbb{Z} \times \Gamma_1(3) \times \mathrm{Aut}(X)$ where:

1. $\mathbb{Z}$ is generated by translation functors
2. $\Gamma_1(3) \subset \mathrm{SL}(2,\mathbb{Z})$ is the congruence subgroup of level 3, generated by $\alpha = H_{O_{Z_0}}$ and $\beta = -\otimes O_X(1)$, satisfying the relation $(\alpha\beta)^3 = 1$
3. $\mathrm{Aut}(X) \cong S_3 \ltimes (C^*)^3$ is the automorphism group of $X$

Technical Innovations

1. Semi-spherical Twist Theory

This is an important generalization of classical spherical twists. In the smooth case, the spherical twist $T_E$ is available, but it no longer applies in the singular surface case. The semi-spherical twist $H_E$ provides a new tool for handling this situation.

2. Comparison Isomorphism Method

By comparing the singular surface $X$ with its smoothing $X$, the author uses known results on $X$ to understand stability conditions on $X$. This method has broad applicability prospects in degeneration geometry.

3. Decomposition Techniques for Derived Categories

The derived category is decomposed into a direct sum using support conditions, which simplifies the analysis of the autoequivalence group.

Connection with Homological Mirror Symmetry

Mirror Symmetry Background

The paper points out important connections with homological mirror symmetry:

• The mirror partner is given by $M = (C^*)^2$ with divisor $D = \{z_1 + z_2 + c/(z_1z_2) + 1 = 0\}$
• Semi-spherical twists are expected to correspond to the action of the symplectic mapping class group
• This provides a new perspective for studying higher-dimensional symplectic mapping class groups

Future Directions

1. Complete degeneration case: Handling the case where the central fiber $X$ itself is a Type III degeneration of a K3 surface
2. Stability conditions over base: Providing examples of singular fibers for the theory of stability conditions on flat families $X \to S$
3. Higher-dimensional generalizations: Extending the methods to higher-dimensional cases

In-Depth Evaluation

Strengths

1. Theoretical completeness: Provides a complete theory of stability conditions on singular surfaces, including topological properties and algebraic structures
2. Methodological innovation: The introduction of semi-spherical twists provides powerful tools for handling singular cases
3. Technical depth: Combines profound results from algebraic geometry, derived category theory, and stability conditions
4. Application prospects: The connection with homological mirror symmetry provides rich directions for future research

Technical Challenges

1. Computational complexity: Concrete calculations of semi-spherical twists involve complex homological algebra
2. Generality limitations: The methods are primarily applicable to specific types of singular surfaces
3. Completeness conjecture: The paper proposes but does not prove the conjecture that $\mathrm{Aut}^\dagger(D) = \mathrm{Aut}(D)$

Academic Significance

1. Filling gaps: Provides important examples for the theory of stability conditions on singular varieties
2. Methodological contributions: The methods of comparison isomorphisms and semi-spherical twists have broad applicability
3. Cross-disciplinary impact: Connects algebraic geometry with symplectic geometry, advancing the development of homological mirror symmetry

Conclusion and Outlook

By studying stability conditions and autoequivalences on an open subset of a K3 surface degeneration, this paper not only solves specific geometric problems but, more importantly, develops new theoretical tools for handling singular cases. The introduction of semi-spherical twists and the application of comparison isomorphism methods open new directions for derived category theory in singular algebraic geometry.

The results of the paper are not only significant within algebraic geometry itself; their connection with homological mirror symmetry also provides new perspectives for understanding higher-dimensional symplectic geometry. Future research may generalize these methods to more general singular varieties and discover deeper connections within the framework of mirror symmetry.