🔢 mathematics

Spherical and Semibrick Classifications

This article surveys techniques for classifying spherical and semibrick objects in triangulated categories, with a primary focus on finite algebraic geometry settings in dimensions two and three and silting discrete algebras, while also covering broader approaches from algebraic geometry, representation theory, and symplectic geometry.

Original authors: Wahei Hara, Michael Wemyss

Published 2026-01-27

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Wahei Hara, Michael Wemyss

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

This paper is a map of a very abstract mathematical landscape. Imagine the authors are explorers trying to find and catalog specific "treasures" hidden inside complex, multi-dimensional structures called triangulated categories.

Here is the breakdown of their journey, using everyday analogies.

The Big Picture: What are they looking for?

The authors are hunting for two types of special objects:

Spherical Objects: Think of these as mathematical "orbs" that behave like a sphere. They have a very specific, simple internal structure (like a sphere has a simple surface).
Semibricks (or Simple-Minded Collections): These are like "building blocks" or "atoms." Just as you can build a house out of bricks, you can build complex mathematical structures out of these simple-minded collections.

The paper's main goal is to answer a simple question: "If I find a weird, complex object in this mathematical universe, how can I prove it's actually just a simple sphere or a building block in disguise?"

The Core Strategy: The "Shrink Ray"

The authors describe a common strategy used by many different mathematicians to solve this problem. Imagine you have a tangled ball of yarn (a complex object) and you want to untangle it to see the simple string inside.

Measure the Tangle: They assign a number (an "invariant") to the object that measures how "spread out" or "complicated" it is. Let's call this the Tangle Score.
The Shrink Ray: They use special mathematical tools (called functors, twists, or mutations) that act like a shrink ray. When you apply these tools, the Tangle Score gets smaller.
Repeat: You keep applying the shrink ray until the Tangle Score hits zero.
The Reveal: Once the score is zero, the object has been shrunk down to its simplest form. The authors prove that if you can shrink it all the way down, it must have been a "simple" object (like a sphere or a brick) all along.

The Different Terrains (Settings)

The paper surveys different "territories" where this treasure hunt happens. Each territory has its own rules and tools.

1. The "Finite" Geometric Setting (The Clean Room)

The Scene: This involves smooth surfaces or 3D shapes with very specific, clean singularities (like a sharp point on a crystal).
The Map: The authors use a Hyperplane Arrangement. Imagine a room filled with invisible walls (planes) that divide the space into different "chambers."
The Method:
- Every chamber represents a slightly different version of the mathematical world.
- Moving from one chamber to another is like walking through a door. This movement is a "mutation."
- The authors prove that no matter where you start, you can always find a path of doors (mutations) that leads you to a "Standard Heart." This is a special, tidy room where all the simple objects live in plain sight.
- Analogy: It's like a maze where every dead end is actually a door to a new room, and if you keep walking through the right doors, you eventually end up in the kitchen where the simple ingredients are stored.

2. The "Silting-Discrete" Setting (The Finite Algebra)

The Scene: This is more about algebra (equations and numbers) than geometry.
The Rule: In these specific algebras, there are only a finite number of ways to arrange the building blocks.
The Method: Because the number of arrangements is finite, the "Shrink Ray" strategy works very efficiently. You can't get lost in an infinite loop. The authors show that any "brick" (a simple building block) can be completed into a full set of building blocks that generates the whole system.

3. The "Symplectic" Setting (The Mirror World)

The Scene: This connects to Mirror Symmetry, a concept where a geometric shape has a "mirror twin" in a different mathematical world (symplectic geometry).
The Twist: In this specific mirror world, the rules are even simpler. The authors found a shortcut. Instead of checking every possible door in the maze, they found that looking at just the top and bottom layers of the object is enough to know exactly which "shrink ray" to use.
The Result: They can classify the objects much faster here than in the geometric settings.

4. The "Affine" Setting (The Infinite Wilderness)

The Scene: This is the hardest territory. It involves infinite structures or shapes that go on forever.
The Challenge: The "Shrink Ray" doesn't always work as cleanly here because the Tangle Score might not behave nicely.
The Breakthroughs:
- Ishii-Uehara: They managed to classify spheres in a specific type of infinite 2D shape (Type A singularities) by looking at how the object sits on the "fiber" (the core of the shape).
- Keating-Smith: For a specific 3D shape (the Atiyah flop), they used a completely different trick. Instead of shrinking the object, they looked at how the object moves the whole universe around it (dynamics). If the movement looks like a known pattern, the object must be a known type.
- Shimpi: He tackled the general 3D case by understanding all the possible "intermediate rooms" (t-structures) the object could pass through. He proved that even in this messy, infinite world, the object eventually collapses into a known simple shape (like a thickened curve or a point).

The "Dream" Connection

The authors mention a concept they call "Iyama dream categories."

The Metaphor: Imagine a "Dream World" where every simple object can magically be completed into a full set of building blocks, and every complex object can be perfectly untangled.
The Reality: The authors don't have a formal definition of this Dream World yet. However, they observe that every single category they studied behaves exactly like it's in this Dream World.
The Conclusion: They suspect there is a deep, unifying rule (a "Dream Axiom") that makes all these different mathematical worlds behave so nicely, but they haven't found the rule yet. They just know the rule exists because the evidence is overwhelming.

Summary

The paper is a comprehensive guidebook. It says: "Whether you are in a clean geometric room, a messy algebraic warehouse, or an infinite mirror world, if you find a 'simple-like' object, you can almost always use a specific set of mathematical tools to shrink it down and prove it is, in fact, a simple sphere or a building block."

They provide the tools, the maps, and the proof that the "Shrink Ray" strategy works across almost all known landscapes of this field.

Technical Summary: Spherical and Semibrick Classifications

1. Problem Statement

The paper addresses the classification of "simple-like" objects within triangulated categories, specifically focusing on spherical objects and bricks (objects $x$ where $\text{Hom}(x, x[i]) = 0$ for $i < 0$ and $\text{Hom}(x, x) \cong \mathbb{C}$ ). While the classification of single simple objects is often trivial or impossible in isolation, the authors investigate settings where these single objects can be completed into simple-minded collections (smc) or semibricks.

The central challenge is that there is currently no single abstract framework unifying the various geometric and algebraic settings where such classifications are possible. The paper surveys techniques across three primary domains:

Algebraic Geometry: Specifically minimal and partial crepant resolutions of Kleinian singularities and threefold flopping contractions.
Representation Theory: Derived categories of silting-discrete algebras and contraction algebras.
Symplectic Geometry: Fukaya categories associated with specific plumbing constructions (e.g., double bubble plumbings).

The goal is to demonstrate that in these "finite" and "affine" settings, any object satisfying the homological conditions of a brick or spherical object can be transformed, via specific autoequivalences (mutations or twists), into a standard generator (e.g., a line bundle on an exceptional curve or a simple module).

2. Methodology: The Common Strategy

The authors identify a unifying algorithmic strategy employed across the diverse settings surveyed. This strategy relies on four key choices:

The Category ( $T$ ): The specific triangulated category under consideration.
The Homological Property: The condition defining the objects (e.g., being a brick, spherical, or presilting).
The Invariant ( $\ell(x)$ ): A numerical measure of the "spread" or complexity of an object $x$ .
The Induction Step: A mechanism to reduce the invariant $\ell(x)$ by applying autoequivalences until the object reaches a "standard" form.

The core logic is that if an object $x$ has a large invariant, there exists a set of autoequivalences $\nabla$ (such as spherical twists or mutation functors) such that applying an element $\Phi \in \nabla$ yields $\ell(\Phi x) < \ell(x)$ . By iterating this process, one eventually reaches an object with minimal invariant (typically $\ell=0$ ), which corresponds to a known standard object.

3. Key Contributions and Results by Section

1.4 Geometric Settings (Finite and Affine)

This section focuses on resolutions of singularities $f: X \to \text{Spec } R$ (minimal resolutions of $C^2/G$ , partial crepant resolutions, and 3-fold flops).

Hyperplane Arrangements: The authors associate a marked Dynkin diagram $(\Delta, J)$ and a finite hyperplane arrangement $\mathcal{H}_J$ to the geometry. Chambers in this arrangement correspond to different derived categories or hearts.
Mutation Functors: Wall-crossing in the hyperplane arrangement corresponds to mutation functors $\Phi_i$ (spherical twists or Bridgeland-Chen flop functors).
Main Classification Theorem (1.4.11): An object $x$ in the null category $\mathcal{C}$ is a brick if and only if it can be mapped to a standard simple object (e.g., $\mathcal{O}_{C_i}(-1)$ ) via a composition of mutation functors.
Induction Mechanism: The invariant $\ell(x)$ is defined as the homological spread (difference between the highest and lowest non-zero cohomology degrees) relative to a standard heart. The proof relies on Proposition 1.4.16, which guarantees that for any object with spread $\ell > 0$ , there exists an "atom" (a specific composition of mutations) that reduces the spread.
$\tau$ -tilting Finiteness: The classification relies on the fact that the associated contraction algebras $\Lambda_{C, \text{con}}$ are $\tau$ -tilting finite, ensuring the existence of algebraic hearts and the finiteness of the necessary mutation sequences.

1.5 Bapat–Deopurkar–Licata (BDL) Approach

This section surveys an alternative approach for minimal resolutions using Bridgeland stability conditions.

Invariant: Instead of homological spread, the invariant is the phase spread $\ell(x) = \phi_+(x) - \phi_-(x)$ derived from the Harder–Narasimhan filtration.
Result: Spherical objects are classified by showing that applying spherical twists along stable factors reduces the phase spread, eventually mapping the object to a standard spherical object.
Distinction: This approach requires the object to be spherical, whereas the geometric approach in 1.4 classifies the broader class of bricks.

1.6 Silting-Discrete Algebras

The authors extend the geometric techniques to the representation-theoretic setting of silting-discrete algebras.

König-Yang Bijection: Utilizes the bijection between silting complexes, simple-minded collections (smc), and bounded t-structures with algebraic hearts.
Main Result (1.6.6): In a silting-discrete algebra, every semibrick can be completed to an smc.
Induction: The proof (Proposition 1.6.11) mirrors the geometric case but uses simple-minded mutations (mutations of smcs) rather than geometric wall-crossing functors to reduce the homological spread. This establishes that any object with vanishing negative self-extensions lies in an algebraic heart.

1.7 Symplectic Setting (Smith–Wemyss)

This section connects the algebraic results to symplectic geometry via mirror symmetry, specifically for double bubble plumbings ( $W_k$ ).

Equivalence: Establishes an equivalence between the null category of a specific 3-fold flop and the Fukaya category of a plumbing of two 3-spheres (over a field of characteristic $p=k$ ).
Direct Classification: Due to specific representation-theoretic quirks of the associated Jacobi algebras, the induction step is more direct. Proposition 1.7.1 shows that if $\text{Hom}(M, N)=0$ , one object is filtered by a unique simple. This allows for a direct reduction of homological spread without testing complex compositions of atoms.
Corollary: This leads to a classification of exact Lagrangian submanifolds in $W_p$ (Corollary 1.7.3).

1.8 & 1.9 Affine Geometric Settings

These sections address the more difficult "affine" case where the support of objects is the entire exceptional locus (compact support), rather than just the null category.

Ishii–Uehara (IU): For Type A Kleinian singularities, the authors use the Kollár length invariant $\ell(x)$ (sum of lengths of coherent cohomology). The induction step relies on spectral sequences and the specific structure of Type A singularities to reduce the length. This approach is noted to be difficult to generalize to non-Type A singularities or higher dimensions.
Keating–Smith (KS): For the Atiyah flop, they employ a dynamical approach. Instead of reducing an invariant, they analyze the growth of Floer cohomology under iterated spherical twists. Using the Nielsen–Thurston theorem, they recognize the spherical twist of an unknown object as a power of a known twist, thereby classifying the object.
Shimpi (S1, S2): For general single-curve 3-fold flops, Shimpi classifies bricks by understanding all intermediate t-structures. The induction step is complicated by the existence of non-algebraic hearts (coherent sheaves and perverse sheaves). However, for single-curve flops, the absence of "mixed hearts" allows the induction to proceed, classifying objects as shifts of specific sheaves ( $O_C, O_{2C}, \dots$ ) or their duals.

4. Significance and Claims

The paper claims that while a unified axiomatic framework for all these categories is currently lacking, the techniques for classification are remarkably transferable. The authors posit that all categories $\mathcal{C}$ considered (the "finite" settings) should be viewed as "Iyama dream categories"—a term used to describe categories where:

Simple objects can be completed to simple-minded collections.
The difference between single simple/spherical objects and generating collections "melts away" due to the existence of sufficient autoequivalences (mutations/twists).

The significance lies in:

Unification: Demonstrating that the classification of spherical objects in diverse geometric and symplectic settings follows a common algorithmic pattern involving invariants and reduction steps.
Completeness: Providing explicit classification results for bricks and spherical objects in settings ranging from Kleinian singularities to 3-fold flops and Fukaya categories.
Structural Insight: Linking the existence of these classifications to deep properties like $\tau$ -tilting finiteness and silting-discreteness, suggesting that these algebraic properties are the underlying reason the geometric phenomena behave "dreamily."

The authors remain modest, noting that the "why" behind the dream-like behavior of these categories remains a mystery, and that generalizations to "affine" settings with multiple curves or non-Type A singularities face significant obstructions (e.g., the existence of non-algebraic hearts or the failure of spectral sequence arguments).