How Geometric Torsion at Sub-Planck Lengths Prevents the Existence of Special Classes of Residual D-Branes

1. Polynomials drawing pictures

Algebraic geometry studies geometric shapes that arise as solution sets of polynomial equations. The simplest example is the most familiar:

$$x^2 + y^2 - 1 = 0.$$

The set of pairs $(x, y) \in \RR^2$ satisfying this equation is a circle of radius one. We have written down a polynomial; it has carved out a curve. That move — from a single algebraic equation to the geometric object it defines — is the seed of the entire subject.

Generalization goes in two directions. More variables and more equations: the equation $x^2 + y^2 + z^2 - 1 = 0$ in three variables defines a sphere, and a pair of equations in three variables generically cuts out a one-dimensional curve, since each equation imposes one constraint and a generic pair imposes two. The second direction is to change the coefficient field. The rest of this article works over the complex numbers, because $\CC$ is algebraically closed — every nonconstant polynomial has as many roots as its degree, and the cohomological machinery we eventually need (Serre duality, derived categories of coherent sheaves, Bridgeland stability) is built on top of that fact. The pictures will continue to be drawn over $\RR$, but the theorems live over $\CC$.

A solution set of polynomial equations carved out inside $\CC^n$ — or, slightly more carefully, inside affine $n$-space $\AA^n_\CC$ — is called an affine algebraic variety. The circle, the sphere, any cubic curve $y^2 = x^3 + ax + b$: all are affine varieties, each cut out as the zero locus of a single polynomial in its ambient space. Crucially, an affine variety is not a topological manifold patched from charts. It is a single algebraic object, defined by a single ideal in a polynomial ring, with a single coordinate ring $\CC[x_1, \dots, x_n] / I$. No gluing is required to define a sphere algebraically; the equation does all the work.

The leap to the modern subject is forced by varieties that genuinely cannot be presented as a single affine piece. The canonical example is projective space $\PP^n_\CC$: the space of one-dimensional linear subspaces of $\CC^{n+1}$, parametrizing all "directions" through the origin. Projective space is proper — the algebraic-geometry analogue of compactness — and a basic theorem says that every global regular function on a connected proper variety is a constant. A closed subvariety of an affine space $\AA^N$ inherits the coordinate functions $x_1, \dots, x_N$ as global regular functions, and these are not all constant unless the subvariety is a single point. So $\PP^n$ for $n \geq 1$ cannot be a closed subvariety of any $\AA^N$: it has too few regular functions to fit. To work with it, you must build it from pieces — $\PP^n$ is glued from $n+1$ copies of affine $n$-space along their overlaps, with explicit transition maps relating the homogeneous coordinates. Elliptic curves are projective varieties for the same reason; their group law and cryptographic structure depend on the point at infinity that affine charts on their own cannot see. Once you have one example that demands gluing, you give up trying to embed every variety in some $\AA^N$ and accept that varieties are objects built by patching affine pieces along common overlaps. The result is the notion of a scheme — a geometric object locally describable by polynomial coordinates, with global topology determined by the gluing data. A scheme is an instruction for gluing affine schemes; the affine ones are the building blocks, projective space is the reason you ever need to build.

Once you have schemes, questions multiply: how do you classify them, when are two equivalent, what objects can live on them. Most of this article concerns objects that live on a particular kind of scheme — a smooth projective surface — and how the structure of such objects can become rich enough to ask categorical questions whose answers tell you something deep about the underlying geometry.

2. Enriques surfaces and a nineteenth-century counterexample

The Italian school — Castelnuovo, Enriques, Severi, and others working in Rome and Bologna in the late nineteenth and early twentieth centuries — set the program of classifying algebraic surfaces. A surface here means a complex algebraic variety of complex dimension two, or equivalently a four-real-dimensional space. The classification problem asked two questions: given two surfaces, can you tell whether one can be transformed into the other by birational maps (rational changes of coordinates invertible on a dense open subset)? And which surfaces are rational, meaning birational to projective space $\PP^2$?

Castelnuovo gave a clean criterion: a smooth projective surface $X$ is rational if and only if two cohomological invariants vanish:

Aside · A first encounter with cohomology

Throughout this article, expressions like $H^i(X, \cF)$ appear as vector-space invariants of a variety $X$ and a sheaf $\cF$ on it. The reader who has not seen cohomology before can hold onto a single picture, accurate enough to navigate the rest of the article.

Cohomology is the operation you perform when you have a sequence of vector spaces and linear maps $V^0 \xrightarrow{\;d^0\;} V^1 \xrightarrow{\;d^1\;} V^2 \xrightarrow{\;d^2\;} \cdots$ satisfying $d^{i+1} \circ d^i = 0$ — every composition of two consecutive maps is the zero map. The $i$-th cohomology is then $H^i \;=\; \ker(d^i) \,/\, \operatorname{im}(d^{i-1}),$ the quotient of "things killed by the next map" by "things produced by the previous map." This single move — kernel of a square-zero operator modulo its image — is the universal pattern of cohomology, and it is pure linear algebra at heart.

For a variety $X$ and a sheaf $\cF$, the groups $H^i(X, \cF)$ apply this construction to a complex built from local sections of $\cF$ over an open cover. $H^0(X, \cF)$ is the vector space of global sections — pieces of $\cF$ that exist consistently everywhere on $X$. Higher $H^i$ measure obstructions: $H^1$ counts local-to-global glitches (data defined locally that cannot be glued into one global thing); $H^2$ measures obstructions of obstructions.

The reader who has seen vector calculus already knows a special case. A divergence-free vector field on a punctured plane that is not the gradient of any function — circulating around the puncture — represents a nonzero class in $H^1$ of the punctured plane: closed (killed by the next operator) but not exact (not produced by the previous one). Every flavor of cohomology in this article — sheaf cohomology here, the Ext groups in section 3, derived-category cohomology in section 4, and the BRST $Q$-cohomology of physics in section 5 — is a variation on this single theme.

$$p_g(X) \;=\; \dim H^0(X, \omega_X) \;=\; 0, \qquad q(X) \;=\; \dim H^1(X, \cO_X) \;=\; 0.$$

Here $\omega_X$ is the canonical line bundle (the bundle of top-degree differential forms) and $\cO_X$ is the structure sheaf, both finite-dimensional complex vector spaces once you take their cohomology. Concretely, $H^0(X, \omega_X)$ is the space of holomorphic top-forms on $X$; $H^1(X, \cO_X)$ measures local-to-global obstructions for holomorphic functions and is harder to describe elementarily, but the Aside above gives the universal picture. The number $p_g$ is the geometric genus; $q$ is the irregularity. Castelnuovo's criterion says that vanishing of these two numbers is necessary and sufficient for $X$ to be rational, provided you also know the surface is regular — which in this situation turns out to be implied.

Enriques produced a counterexample. He constructed a smooth projective surface — now called an Enriques surface — for which $p_g = q = 0$ holds but the surface is not rational. His original construction was a sextic surface in $\PP^3$ passing with multiplicity two through the six edges of the coordinate tetrahedron; the smooth model of that singular surface gave the new example. Vanishing of $p_g$ and $q$ does not in itself force rationality — the Enriques surface filled the loophole that Castelnuovo's criterion left open, and it was the first hint that the classification of surfaces was finer than the classification of curves.

The modern definition is cleaner. Over $\CC$ — and more generally over any algebraically closed field of characteristic different from $2$ — a smooth projective surface $X$ is an Enriques surface if it is minimal (no $(-1)$-curves to blow down), satisfies $p_g(X) = q(X) = 0$, and has canonical bundle $\omega_X$ that is two-torsion:

$$\omega_X \;\not\cong\; \cO_X, \qquad \omega_X^{\otimes 2} \;\cong\; \cO_X.$$

The non-triviality of $\omega_X$ is what saves Enriques surfaces from being rational; the two-torsion is what makes them distinctive among all surfaces with vanishing $p_g$ and $q$. Everything in this article runs over $\CC$, so this is the working definition from here on.

Aside · The characteristic-free definition, and why characteristic 2 is special

The condition $\omega_X^{\otimes 2} \cong \cO_X$ with $\omega_X \not\cong \cO_X$ implicitly assumes that the order-two element of $\mathrm{Pic}(X)$ corresponding to $\omega_X$ is carried by the constant group scheme $\ZZ/2\ZZ$. Over a field of characteristic $\neq 2$ this is automatic — there is nothing else for it to be. In characteristic $2$, the same order-two class can be carried by an infinitesimal group scheme — $\mu_2$ or $\alpha_2$ — and when it is, the canonical bundle becomes trivial, $\omega_X \cong \cO_X$, with $p_g = q = 1$ rather than $0$. These are the singular and supersingular Enriques surfaces; they are bona fide members of the family by every modern test, but our definition above silently excludes them.

The robust formulation, due to Bombieri and Mumford, replaces "$\omega_X$ two-torsion" with the numerical condition that $K_X$ is numerically trivial, together with $b_2(X) = 10$ and $\chi(\cO_X) = 1$. In characteristic $\neq 2$ this recovers exactly the definition above; in characteristic $2$ it also catches the two extra families. None of the arguments in this article touch characteristic $2$, so the cleaner complex-analytic formulation is what we use.

The two-torsion has a concrete geometric consequence. Whenever a line bundle on a smooth variety squares to the trivial bundle, you can build an unramified double cover of the variety. For an Enriques surface this cover is itself smooth, and it turns out to be a K3 surface — a simply connected surface with trivial canonical bundle and nonzero $p_g$. An Enriques surface is therefore a K3 surface modulo a fixed-point-free involution; the K3 cover carries strictly more cohomology than the quotient.

An Enriques surface can, but need not, contain rational curves. A smooth rational curve on a surface has self-intersection $-2$, because it is a smooth $\PP^1$ embedded with normal bundle $\cO(-2)$; such curves are called $(-2)$-curves. A generic Enriques surface contains none at all — these are called unnodal or generic, and they are the cleanest representatives of the family.

3. Vector bundles and coherent sheaves

To do anything with a variety beyond classifying it up to isomorphism, you put stuff on it. The most basic stuff is a vector bundle: a continuous (in our case, holomorphic and algebraic) family of vector spaces parametrized by the points of the variety. The tangent bundle of a smooth variety $X$ assigns to each point the tangent space there; the canonical bundle assigns to each point the one-dimensional space of top-degree differential forms. A line bundle is a vector bundle whose fibers are one-dimensional.

The algebraic way to package a vector bundle is as a locally free sheaf: a sheaf $\cE$ on $X$ such that on each small open subset $U$, the sections $\cE(U)$ form a free module over the ring of regular functions $\cO_X(U)$. "Locally free" expresses the bundle's local triviality; the global structure is captured by how the local trivializations glue.

This is enough for many purposes, but the category of vector bundles has a fundamental defect: it is not abelian. A morphism of vector bundles is a fiberwise linear map, and the kernel and cokernel can fail to be vector bundles — because the rank of the map can jump at certain points. Take a map $\cO_X \to \cO_X$ given by multiplication by a section vanishing along a curve; the cokernel is supported on that curve, where it is one-dimensional, and zero everywhere else. A "vector space that vanishes outside a subvariety" is not a vector bundle.

To fix this we generalize. The right object is a coherent sheaf — and on the schemes we care about, the working description is that a coherent sheaf is, locally, the cokernel of a map between two free $\cO_X$-modules of finite rank. This local-cokernel condition is what is technically called finitely presented; it agrees with coherence on a Noetherian scheme, and every variety considered in this article is Noetherian. Coherent sheaves form an abelian category: kernels and cokernels stay coherent, and exact sequences make perfect sense. Vector bundles sit inside the coherent sheaves as the locally free sheaves of finite rank, but they are no longer the only objects.

A skyscraper sheaf $\cO_p$ supported at a point $p \in X$ assigns the field $\CC$ to any open set containing $p$ and zero to any open set not containing $p$. It is coherent — locally it is the cokernel of the inclusion of the maximal ideal — but not locally free, because its rank jumps from one to zero as you move off the point. An ideal sheaf $\cI_Z$ of a subvariety $Z \subset X$ consists of regular functions vanishing along $Z$; it is the kernel of the surjection $\cO_X \twoheadrightarrow \cO_Z$, and it is coherent and torsion-free, but not locally free unless $Z$ is a divisor (a codimension-one subvariety—like a curve on a surface—that is locally defined by a single function).

These are exactly the sheaves that physicists call $0$-branes (skyscrapers) and $6$-branes wrapping cycles (ideal sheaves), as we will see in section 5. The fact that $\mathrm{Coh}(X)$ contains them all on equal footing is what makes it the right setting for both algebraic geometry and string-theoretic D-brane computations.

4. Complexes and the derived category

Coherent sheaves are abelian, but still not enough. For deeper invariants — cohomology, derived functors, the homological invariants that appear in moduli problems — you need to consider not just individual sheaves but complexes of sheaves.

A complex of coherent sheaves is a sequence

$$\cdots \;\to\; \cE^{-1} \;\xrightarrow{\;d^{-1}\;}\; \cE^0 \;\xrightarrow{\;d^0\;}\; \cE^1 \;\xrightarrow{\;d^1\;}\; \cE^2 \;\to\; \cdots$$

where the morphisms compose to zero, $d^{i+1} \circ d^i = 0$. This is the same square-zero condition we just met in the cohomology Aside of section 2, now applied to bundle-like objects rather than abstract vector spaces; the differential $d^i$ is a morphism of sheaves, but the formula behind every flavor of cohomology in this article is the same. The cohomology of the complex at degree $i$ is $H^i(\cE^\bullet) = \ker d^i / \im d^{i-1}$, again a coherent sheaf. A complex is bounded if only finitely many of the $\cE^i$ are nonzero. The whole machinery of homological algebra rests on the recognition that the complex carries more information than its cohomology, but the appropriate equivalence relation makes complexes indistinguishable when they have the same cohomology.

That equivalence relation is quasi-isomorphism: a morphism of complexes inducing an isomorphism on every cohomology group. The bounded derived category of coherent sheaves, $D^b(X)$, is the category of bounded complexes with quasi-isomorphisms formally inverted. An object of $D^b(X)$ is a bounded complex; a morphism is a "roof" $\cE^\bullet \xleftarrow{\sim} \cF^\bullet \to \cG^\bullet$ where the left arrow is a quasi-isomorphism. Coherent sheaves embed into $D^b(X)$ as complexes concentrated in a single degree.

The derived category has two structural features distinguishing it from an abelian category. First, the shift functor $[1]$ translates a complex one position to the left:

$$\cE^\bullet[1]^i \;=\; \cE^{i+1}, \qquad d_{\cE[1]} \;=\; -d_\cE.$$

It is invertible, with inverse $[-1]$, and applying $[1]$ repeatedly gives an action of $\ZZ$ on $D^b(X)$. Second, short exact sequences of complexes get replaced by distinguished triangles:

$$\cE^\bullet \;\to\; \cF^\bullet \;\to\; \cG^\bullet \;\to\; \cE^\bullet[1].$$

A distinguished triangle is the derived-category analogue of a short exact sequence. Long exact sequences in cohomology come out of distinguished triangles, and most structure theorems of algebraic geometry translate naturally into this language. The derived category equipped with its shift and its distinguished triangles is the prototypical example of a triangulated category, the abstract setting for the rest of this article.

The Serre functor is the categorical incarnation of Serre duality — and it is the operator whose interaction with stability conditions will produce our final contradiction. For an Enriques surface, $\dim X = 2$ and $\omega_X$ is two-torsion, so

$$\mathsf{S}_X^{\,2}(\cE^\bullet) \;=\; \cE^\bullet \otimes \omega_X^{\otimes 2}[4] \;=\; \cE^\bullet[4].$$

The Serre functor squares to the homological shift by four. On a K3 surface the Serre functor is just $[2]$ (because $\omega_X = \cO_X$), so it commutes with everything; on an Enriques surface it carries genuine torsion information — which is why the Enriques case is rigid in a way the K3 case is not.

Two bookkeeping consequences for $K_0(\mathrm{Coh}(X))$ — the abstract Grothendieck group whose elements are formal $\ZZ$-linear combinations of coherent sheaves modulo short exact sequences — will be used repeatedly. First, a distinguished triangle $A \to B \to C$ gives the additivity relation $[B] = [A] + [C]$ in $K_0$. Second, the class of a bounded complex equals the alternating sum of the classes of its cohomology sheaves:

$$[\mathcal{F}^\bullet] \;=\; \sum_{k \in \ZZ} (-1)^k \bigl[\mathcal{H}^k(\mathcal{F}^\bullet)\bigr] \;\in\; K_0(\mathrm{Coh}(X)).$$

This recipe is what converts the cohomology-sheaf description of a complex into a numerical class; together with additivity on triangles, it is how every class in sections 6 and 8 is computed.

Why does any of this matter? The mathematician's answer is the homological algebra of varieties. The physicist's answer is more striking — and it is what convinced algebraic geometers they were studying the right object.

5. B-branes, the topological string, and Q-cohomology

There is a question that mathematicians of the 1990s could not have answered cleanly without help from physics: why is the derived category of coherent sheaves the right invariant of an algebraic variety, rather than just the abelian category of coherent sheaves? Coherent sheaves are abelian, geometrically natural, and sufficient for many purposes. What forces us to enlarge them to a triangulated category?

The answer came from a class of two-dimensional quantum field theories called topological string theories. The story begins with the type II superstring on a Calabi-Yau target, but you can read what follows as a structural argument that any reasonable notion of "what lives on $X$" forces you to the derived category — even without committing to string theory.

Aside · $Q$-cohomology: cohomology in physics

Before diving into topological strings, a physical analogy worth pinning to the cohomology Aside in section 2.

In quantum field theories with a fermionic gauge symmetry, one frequently has a square-zero operator $Q$ acting on the Hilbert space of states: $Q^2 = 0$. Physical states are taken to be elements of $\ker(Q)$ — states "$Q$-closed" in the sense of being annihilated by $Q$ — modulo elements of $\operatorname{im}(Q)$, which are deemed gauge-equivalent to zero. The space of physical states is therefore $\mathcal{H}_{\text{phys}} \;=\; \ker(Q) \,/\, \operatorname{im}(Q).$ This is exactly the cohomology construction we have been using. The operator $Q$ plays the role of the differential $d$; the condition $Q^2 = 0$ is the same as $d^{i+1} \circ d^i = 0$; "physical states modulo gauge" is "kernel modulo image."

The classic prototype is electromagnetism. The gauge transformation $A_\mu \mapsto A_\mu + \partial_\mu \chi$ is the image of an exterior derivative, the physical field strengths $F = dA$ are the closed forms, and the gauge group of $A$-fields modulo gradients is, on a topologically nontrivial spacetime, exactly the de Rham cohomology of that spacetime. The BRST formalism systematizes this: any time you have a gauge symmetry, you can construct a $Q$ such that $Q^2 = 0$ and physical states are $Q$-cohomology classes.

In the topological string below, $Q$ is one of the worldsheet supercharges, promoted to a scalar by the topological twist. Open-string states between two D-branes will turn out to be $Q$-cohomology groups, and we will see that mathematically these are the Ext groups $\Ext^i(E, F)$ — yet another flavor of the same kernel-mod-image construction, now applied to coherent sheaves. The thread "cohomology equals kernel mod image of a square-zero operator" runs through every formal object in this article.

A Calabi-Yau threefold $X$ supports a sigma model with $\mathcal{N} = (2,2)$ supersymmetry on the worldsheet. Witten's topological twist of this theory comes in two flavors, the A-twist and the B-twist, distinguished by which combination of worldsheet supercharges you promote to a worldsheet scalar. The B-twist is consistent precisely when $c_1(X) = 0$, the Calabi-Yau condition. After twisting, one supercharge becomes a worldsheet scalar nilpotent operator $Q$, the BRST operator, satisfying

$$Q^2 \;=\; 0.$$

Physical observables are $Q$-cohomology classes — equivalence classes of states $\psi$ satisfying $Q\psi = 0$ ("$Q$-closed") modulo states of the form $\psi = Q\chi$ ("$Q$-exact"). This is the same kernel-mod-image computation as in section 4; the BRST operator is the $d$, and physical states are the cohomology in the linear-algebra sense above. Correlation functions in the B-model depend only on the complex structure of $X$ and not on its Kähler structure. The closed-string state space is the Dolbeault cohomology $\bigoplus_{p,q} H^q(X, \wedge^p T_X)$, packaged more invariantly as the Hochschild cohomology of $D^b(X)$.

The question sharpens when you allow worldsheets with boundary — which physicists must, because that is what describes open strings ending on extended objects called D-branes.

A worldsheet with boundary needs boundary conditions to make the variational problem well-posed. Witten's analysis of B-model boundary conditions shows that they amount to a choice of complex submanifold of $X$ together with a holomorphic vector bundle on it. The conclusion: a B-brane is a holomorphic vector bundle $E$ on $X$, and the open-string spectrum between two B-branes $E$ and $F$ is

$$\mathcal{H}_{\text{open}}(E,F) \;=\; \bigoplus_q \Ext^q(E, F).$$

The right-hand side is a finite-dimensional complex vector space — the Ext groups of $E$ and $F$. For $q = 0$, $\Ext^0(E, F) = \Hom(E, F)$ is just the linear bundle maps from $E$ to $F$; for higher $q$, $\Ext^q$ measures "$q$-step extensions" of $F$ by $E$ and is itself an instance of the kernel-mod-image construction we have been tracking. The cohomology groups $H^i(X, \cF)$ from section 2 are the special case $\Ext^i(\cO_X, \cF)$ — Ext is a generalization of cohomology, with the structure sheaf $\cO_X$ in the first slot replaced by an arbitrary sheaf. The open-string ghost number matches the homological degree, and the worldsheet $Q$-cohomology of operators between branes lands exactly on this $\bigoplus_q \Ext^q$.

That would be satisfying if it were complete, but three physical phenomena push the formalism further. Singular branes: a D-brane wrapped on a point (a "$0$-brane") is a skyscraper sheaf, not a bundle, and a brane consisting of an ideal sheaf of a subvariety is a coherent sheaf that is not locally free. Anti-branes: a brane and its anti-brane have opposite orientations, so you need formal additive inverses. Tachyon condensation: a brane $E$ and antibrane $F$ with an open-string tachyon $T : F \to E$ can decay to a bound state, and Sen's tachyon condensation analysis identifies that bound state with the mapping cone $\mathrm{Cone}(T)$ — a complex of branes, not a single brane. Multi-step bound states give complexes of arbitrary length.

Coherent sheaves handle the first phenomenon. Triangulated structure — shifts, cones, quasi-isomorphism as gauge equivalence — handles the second and third. The natural closure of "holomorphic bundle" under these physical operations is exactly $D^b(\mathrm{Coh}(X))$.

Douglas's 2001 proposal is that the category of B-type D-branes on a Calabi-Yau is the bounded derived category of coherent sheaves. This sits inside Kontsevich's 1994 Homological Mirror Symmetry conjecture, which predicts an equivalence

$$D^b(\mathrm{Coh}(X)) \;\simeq\; D^\pi \mathrm{Fuk}(X^\vee)$$

between the B-side category on $X$ and the Fukaya category on the mirror $X^\vee$, trading complex geometry for symplectic geometry. For mathematicians, the conjecture was the first strong hint that the derived category was the structurally correct object on the algebraic side.

The key dictionary entry for our purposes:

$$\text{open-string states between branes } E, F \;\longleftrightarrow\; \Ext^q(E, F) \;\longleftrightarrow\; Q\text{-cohomology}.$$

Once you accept that the right object is $D^b(X)$, you can ask physical questions about which branes are stable — which actually exist as BPS states at a given point of moduli space. Douglas formalized this as $\Pi$-stability, with branes carrying a phase determined by the period of the holomorphic three-form. Bridgeland, in 2007, gave a clean mathematical version: a stability condition on any triangulated category. The Enriques surfaces we care about are not Calabi-Yau, but the formalism extends, and what started as a physics motivation for $D^b(X)$ becomes an algebraic-geometric tool for studying Kuznetsov components.

6. Exceptional collections and the Kuznetsov component

Let $X$ be a generic (unnodal) complex Enriques surface with derived category $D^b(X)$. The goal here is to carve $D^b(X)$ into pieces, isolating the component on which the final argument will run.

The cleanest pieces of any derived category are those generated by exceptional objects.

A short calculation shows that on an Enriques surface, every line bundle is exceptional. Given a line bundle $L$, the self-Ext groups are

$$\Ext^i(L, L) \;=\; H^i(X, L \otimes L^{-1}) \;=\; H^i(X, \cO_X).$$

The first equality uses that $\Ext^i(L, L)$ on a smooth variety equals the cohomology of the bundle $L \otimes L^{-1}$, which is the trivial bundle $\cO_X$. The second equality just rewrites the trivial bundle as $\cO_X$. The right-hand side is now exactly the cohomology Castelnuovo's criterion was about: $\CC$ for $i = 0$ (global constants on a connected variety), zero for $i = 1$ (since $q = 0$), and zero for $i = 2$ (since $p_g = 0$). Every line bundle is exceptional.

What is special to the unnodal case is that one can find a particularly clean exceptional collection.

The construction is lattice-theoretic. The Picard lattice of a generic Enriques surface is the rank-$10$ Enriques lattice $E_{10} = U \oplus E_8(-1)$, and one finds ten isotropic divisor classes $f_1, \dots, f_{10}$ with intersection numbers $f_i \cdot f_j = 1 - \delta_{ij}$; the line bundles built from these classes give the orthogonal collection. The vanishings $H^*(X, L_i \otimes L_j^{-1}) = 0$ for $i \neq j$ rest on Riemann–Roch and vanishing arguments that fail in the presence of $(-2)$-curves — this is exactly where the unnodal hypothesis enters.

The next piece of categorical scaffolding is the semiorthogonal decomposition.

With ten orthogonal exceptional line bundles, we get

$$D^b(X) \;=\; \langle \mathrm{Ku}(X), L_1, L_2, \dots, L_{10} \rangle,$$

where $\mathrm{Ku}(X)$ is everything left over.

Concretely, $\mathrm{Ku}(X)$ consists of complexes whose hypercohomology against every $L_i$ vanishes in every degree — the part of $D^b(X)$ that does not see any of the ten chosen line bundles.

Aside · The numerical Grothendieck group $K_{\mathrm{num}}$

For a triangulated category $\mathcal{C}$, the numerical Grothendieck group $K_{\mathrm{num}}(\mathcal{C})$ is the quotient of the abstract Grothendieck group $K_0(\mathcal{C})$ by the kernel of the Euler pairing $\chi(E, F) \;=\; \sum_{i \in \ZZ} (-1)^i \dim_\CC \mathrm{Ext}^i(E, F).$ The quotient is always torsion-free: the map $x \mapsto \chi(x, -)$ embeds it in $\mathrm{Hom}(K_0(\mathcal{C}), \ZZ)$. For $\mathrm{Ku}(X)$ it has rank $2$. The semiorthogonal decomposition splits the rank-$12$ lattice $K_{\mathrm{num}}(D^b(X)) \cong H^*_{\mathrm{alg}}(X, \ZZ)$ as the direct sum of the rank-$10$ sublattice spanned by $[L_1], \dots, [L_{10}]$ and its orthogonal complement $K_{\mathrm{num}}(\mathrm{Ku}(X))$ — orthogonal in both directions, because the Euler form of an Enriques surface is symmetric (Lemma 7.4). Under the Mukai pairing $-\chi$ the ambient lattice has signature $(2, 10)$, and the ten classes $[L_i]$ span a negative-definite sublattice ($\chi(L_i, L_j) = \delta_{ij}$), so $-\chi$ is positive definite on the rank-$2$ complement: a class $v \in K_{\mathrm{num}}(\mathrm{Ku}(X))$ with $\chi(v, v) = 0$ is zero. Lemma 6.8 uses this definiteness once, as a cross-check, and does not use torsion-freeness at all.

The rank of $K_{\mathrm{num}}(\mathrm{Ku}(X))$ is therefore $2$, sitting as the orthogonal complement of the rank-$10$ sublattice spanned by $[L_1], \ldots, [L_{10}]$ inside the rank-$12$ ambient lattice.

Because each $\langle L_i \rangle$ is admissible, the inclusion $\iota : \mathrm{Ku}(X) \hookrightarrow D^b(X)$ has both a left adjoint $\iota^*$ and a right adjoint $\iota^!$. Both are projections onto $\mathrm{Ku}(X)$ and both restrict to the identity there, but their values on ambient objects can differ. The triangles below identify which projection is being used. Erratum 9.1 records the correction to the adjoint conventions.

The left adjoint is the left mutation through the collection. For $F \in D^b(X)$ there is a distinguished triangle

$$\bigoplus_{i=1}^{10} \mathbf{R}\Hom(L_i, F) \otimes L_i \;\xrightarrow{\;\mathrm{ev}\;}\; F \;\longrightarrow\; \iota^*(F),$$

whose first arrow is evaluation. The cone lies in $\mathrm{Ku}(X)$: applying $\mathbf{R}\Hom(L_j, -)$ to the triangle, complete orthogonality makes the first arrow an isomorphism, so the third term is killed. It is the left adjoint because applying $\Hom(-, G)$ for $G \in \mathrm{Ku}(X)$ kills the first term (as $G \in \langle L_\bullet\rangle^\perp$) and leaves $\Hom(\iota^*F, G) \cong \Hom(F, G)$. In the standard notation for mutations, $\iota^* = \mathsf{L}_{\langle L_\bullet\rangle}$.

The right adjoint $\iota^!$ is also a mutation, but through the twisted collection. Serre duality on $X$ gives $\Hom(F, L_i \otimes \omega_X[p]) \cong \Hom(L_i, F[2-p])^\vee$, so the same subcategory has two descriptions,

$$\mathrm{Ku}(X) \;=\; \langle L_\bullet\rangle^\perp \;=\; {}^\perp\langle L_\bullet \otimes \omega_X\rangle, \qquad D^b(X) \;=\; \langle L_\bullet \otimes \omega_X,\; \mathrm{Ku}(X)\rangle,$$

and the projection onto the left orthogonal of $\langle L_\bullet \otimes \omega_X\rangle$ is the right mutation

$$\iota^!(F) \;\longrightarrow\; F \;\longrightarrow\; \bigoplus_{i=1}^{10} \mathbf{R}\Hom(F, L_i \otimes \omega_X)^\vee \otimes (L_i \otimes \omega_X).$$

Applying $\Hom(G, -)$ for $G \in \mathrm{Ku}(X)$ kills the third term and gives $\Hom(G, \iota^!F) \cong \Hom(G, F)$, the right-adjoint property. In mutation notation, $\iota\,\iota^! = \mathsf{R}_{\langle L_\bullet \otimes \omega_X\rangle}$, the right mutation through the twisted collection regarded as an endofunctor of $D^b(X)$.

We will frequently abbreviate $\langle L_1, L_2, \dots, L_{10}\rangle$ as $\langle L_\bullet\rangle$ when the indexing is clear from context.

The two adjoints differ on exactly the objects that matter below. The left adjoint kills the collection, $\iota^*(L_i) = 0$, while $\iota^!(L_i)$ is the 3-spherical object of Theorem 6.7. The right adjoint kills the twisted collection, $\iota^!(L_i \otimes \omega_X) = 0$ (because $L_i \otimes \omega_X \in \mathrm{Ku}(X)^\perp$ by the Serre duality above), while $\iota^*(L_i \otimes \omega_X)$ is a shift of that same spherical object.

The proof is one line: for $A, B \in \mathcal{K}$, $\Hom_{\mathcal{K}}(A, \iota^!\mathsf{S}_{\mathcal{D}}\iota B) = \Hom_{\mathcal{D}}(\iota A, \mathsf{S}_{\mathcal{D}}\iota B) = \Hom_{\mathcal{D}}(\iota B, \iota A)^\vee = \Hom_{\mathcal{K}}(B, A)^\vee$. The formula for the inverse is the same computation with the other adjoint. Bondal–Kapranov's 1989 paper on Representable functors, Serre functors, and mutations is the source; Li–Stellari–Zhao (arXiv:2104.13610, Remark 1.1) state exactly this form.

For the Enriques component, with $\mathsf{S}_X = -\otimes\omega_X[2]$ and $\omega_X^{-1} \cong \omega_X$,

$$\mathsf{S}_{\mathrm{Ku}}(F) \;=\; \iota^!\bigl(F \otimes \omega_X\bigr)[2], \qquad \mathsf{S}_{\mathrm{Ku}}^{-1}(F) \;=\; \iota^*\bigl(F \otimes \omega_X\bigr)[-2].$$

The two formulas look alike and are easy to confuse: the evaluation-cone functor $F \mapsto \iota^*(F \otimes \omega_X)[2]$ computes the inverse Serre functor up to the shift $[4]$, not the Serre functor. On the spherical objects below the difference is a shift by two — the Serre functor gives $S_i[3]$, the evaluation-cone functor gives $S_i[1]$.

Squaring in the ambient $D^b(X)$ kills the torsion in $\omega_X$, giving $\mathsf{S}_X^{\,2} \cong [4]$; in the terminology of Li–Nuer–Stellari–Zhao, $D^b(X)$ is a $2$-Enriques category. The component is not. Writing $\iota\iota^! = \mathsf{R}_{\langle L_\bullet\otimes\omega_X\rangle}$ and conjugating the inner mutation by $-\otimes\omega_X$,

$$\mathsf{S}_{\mathrm{Ku}}^{\,2} \;\cong\; \mathsf{R}_{\langle L_\bullet \otimes \omega_X\rangle} \circ \mathsf{R}_{\langle L_\bullet\rangle} \circ [4] \quad\text{on } \mathrm{Ku}(X),$$

a shift only up to a mutation autoequivalence, and on the spherical objects below $\mathsf{S}_{\mathrm{Ku}}^{\,2}$ acts as $[6]$, not $[4]$. The Serre functor of $\mathrm{Ku}(X)$ is not a shift: a shift would have to be $[3]$ by Theorem 6.7, and Lemma 8.1 below would then force $[F] = -[F]$ for every class in the rank-two lattice $K_{\mathrm{num}}(\mathrm{Ku}(X))$. Whether $\mathsf{S}_{\mathrm{Ku}}^{\,2}$ is a shift is a different question, which the argument below does not need. That is the algebraic remnant of the two-torsion of $\omega_X$, and it is what generates the obstruction in section 8.

One more object is needed. There is a recipe that produces 3-spherical objects in $\mathrm{Ku}(X)$ from the line bundles of the collection. The notion of an $n$-spherical object is due to Seidel and Thomas, and it requires two conditions — a Calabi-Yau-$n$ condition on the Serre functor, and a constraint on the endomorphism algebra that identifies it (as a graded vector space) with the singular cohomology of the $n$-sphere.

The parts that the rest of the article uses are short enough to prove here.

$S_i$ lies in $\mathrm{Ku}(X)$. Apply $\mathbf{R}\Hom(L_j, -)$ to the defining triangle. For $j \neq i$, both $\mathbf{R}\Hom(L_j, L_i)$ and $\mathbf{R}\Hom(L_j, \mathsf{S}_X L_i) \cong \mathbf{R}\Hom(L_i, L_j)^\vee$ vanish, by complete orthogonality and Serre duality — this is the "twisted vanishing" $\Ext^k(L_j, L_i \otimes \omega_X) = 0$ for $j \neq i$, and it needs no separate lemma. For $j = i$, any nonzero map $L_i \to \mathsf{S}_X L_i$ induces an isomorphism $\mathbf{R}\Hom(L_i, L_i) \to \mathbf{R}\Hom(L_i, \mathsf{S}_X L_i)$, because both sides are one-dimensional and concentrated in degree $0$. Either way $\mathbf{R}\Hom(L_j, S_i) = 0$.

$S_i \cong \iota^!(L_i)$. In the right-mutation triangle for $L_i$, the coefficient $\mathbf{R}\Hom(L_i, L_j \otimes \omega_X) \cong \mathbf{R}\Hom(L_j, L_i)^\vee[-2]$ is $\CC[-2]$ for $j = i$ and zero otherwise, so the triangle reads $\iota^!(L_i) \to L_i \to L_i \otimes \omega_X[2]$. Its second arrow is nonzero — were it zero, $\iota^!(L_i)$ would contain $L_i$ as a direct summand and could not lie in $\mathrm{Ku}(X)$ — and since $\Hom(L_i, L_i \otimes \omega_X[2]) \cong \CC$, every nonzero arrow has the same cocone up to isomorphism: the defining triangle of $S_i$.

$\mathsf{S}_{\mathrm{Ku}}(S_i) \cong S_i[3]$. Apply $\mathsf{S}_X$ to the defining triangle to get $\mathsf{S}_X S_i \to \mathsf{S}_X L_i \to \mathsf{S}_X^{\,2} L_i = L_i[4]$, then apply $\iota^!$. The middle term dies, $\iota^!(\mathsf{S}_X L_i) = 0$, because $\mathsf{S}_X L_i \in \mathrm{Ku}(X)^\perp$; the last term becomes $\iota^!(L_i)[4] = S_i[4]$. So $\mathsf{S}_{\mathrm{Ku}}(S_i) = \iota^!\mathsf{S}_X S_i \cong S_i[3]$.

The $\Ext$ computation and the orthogonality are Lemma 4.8 of arXiv:1912.04332; the identification $S_i = \iota^!(L_i)$ is their Remark 4.9(ii), and $S_i = \iota^*(\mathsf{S}_X L_i)[-1]$ is their equation (4.2) (they write $\kappa$ for our $\iota$). See Erratum 9.4 for the bibliographic corrections.

This lemma is the pivot of section 8. A nonzero semistable object always has nonzero central charge, so a numerically trivial object can never be semistable: under any numerical stability condition on $\mathrm{Ku}(X)$, Serre-invariant or not, each $S_i$ is unstable and has a Harder–Narasimhan filtration with at least two pieces.

Aside · The algebraic Mukai lattice and $\mathrm{ch}(\omega_X) = 1$

The Mukai vector is the Chern character multiplied by the square root of the Todd class:

$$\begin{aligned} v(F)&=\mathrm{ch}(F)\sqrt{\mathrm{td}(X)}\\ &=(r,c,t). \end{aligned}$$

Here $r=\mathrm{rk}(F)$, $c=c_1(F)\bmod\mathrm{tors}$, and $t=r/2+\mathrm{ch}_2(F)$. Degree-four classes are written as their degree, with the point class as generator. Inside $\ZZ\oplus\mathrm{Num}(X)\oplus\tfrac12\ZZ$, the image of this map is the algebraic Mukai lattice:

$$H^*_{\mathrm{alg}}(X,\ZZ) :=\left\{(r,c,t):t-\tfrac r2\in\ZZ\right\}.$$

The last coordinate is tied to the rank: $t$ is integral when $r$ is even and half-integral when $r$ is odd. Indeed, the Enriques divisor lattice is even, so $\mathrm{ch}_2(F)=c_1(F)^2/2-c_2(F)$ has integral degree; additivity extends this statement from bundles to complexes. For example, $v(\cO_X)=(1,0,\tfrac12)$ and $v(\cO_p)=(0,0,1)$, whereas $(0,0,\tfrac12)$ is not an allowed class. See Nuer, arXiv:1406.0908, section 3, for the Mukai-vector convention; Erratum 9.3 explains the necessary parity constraint in the integral lattice.

In these coordinates the Mukai pairing is

$$\begin{aligned} \langle(r,c,t),(r',c',t')\rangle &=c\cdot c'-rt'-r't\\ &=-\chi(F,G). \end{aligned}$$

It is integral on the displayed lattice: writing $t=r/2+n$ and $t'=r'/2+n'$ makes $rt'+r't=rr'+rn'+r'n$ an integer. The variable $t$ is a Mukai coordinate; the Riemann–Roch computation in Lemma 7.4 instead uses $s=\mathrm{ch}_2$, so $t=s+r/2$.

Because $\omega_X$ is two-torsion, $c_1(\omega_X)=0$ in rational cohomology, and $\mathrm{ch}(\omega_X)=1\quad\text{in }H^{\mathrm{even}}(X,\QQ).$ Thus $v(F\otimes\omega_X)=v(F)$, and tensoring by $\omega_X$ acts as the identity on $K_{\mathrm{num}}(D^b(X))$. This equality of numerical classes does not identify the objects $F\otimes\omega_X$ and $F$. In particular, it does not identify the ambient Serre functor with the intrinsic Serre functor of the Kuznetsov component.

7. Bridgeland stability conditions

The reason this notion exists in the first place is physics. Section 5 explained why D-branes on a Calabi–Yau live in $D^b(X)$; the next question, the one that drove the subject in the late 1990s, was: which of those objects actually exist as physical states? Not all of them. A D-brane wrapping a cycle has a mass; for the brane to be a stable particle in the four-dimensional effective theory, that mass has to be locked in place by the supersymmetry algebra, not just by dynamics. The objects for which this happens are the BPS states, and the algebra of stability conditions is the language that catches them.

In type II string theory compactified on a Calabi–Yau threefold, the resulting four-dimensional theory has $\mathcal{N}=2$ supersymmetry — eight supercharges, with a complex central charge $Z(\gamma) \in \CC$ extending the algebra and depending on the charge $\gamma$ of the state. On the IIB side $Z(\gamma) = \int_\gamma \Omega$ is the period of the holomorphic three-form over a 3-cycle; on the IIA side $Z$ is built from the complexified Kähler class together with the brane charge. Either way, a representation-theoretic calculation gives the BPS bound

$$M \;\geq\; |Z(\gamma)|,$$

with equality on short multiplets. The states that saturate this bound — annihilated by half of the supercharges — are the BPS states. They cannot decay into lighter states of the same total charge because the bound forbids it; their stability is built into the algebra rather than the dynamics.

Bound states obey a triangle inequality. If a BPS state $E$ of charge $\gamma = \gamma_1 + \gamma_2$ is composed of constituents $A_1, A_2$ of charges $\gamma_i$, the central charge is additive but the mass is sub-additive:

$$|Z(\gamma_1 + \gamma_2)| \;\leq\; |Z(\gamma_1)| + |Z(\gamma_2)|,$$

with equality precisely when the two phases align. The deficit between the two sides is the binding energy. As the moduli of $X$ vary — Kähler class on the IIA side, complex structure on IIB — the central charges $Z(\gamma_i)$ rotate in $\CC$, and across real-codimension-one walls of marginal stability their phases align. On one side of the wall the bound state is BPS; on the other it has decayed into its constituents. The natural angular variable to track is the BPS phase $\phi(\gamma) = \tfrac{1}{\pi}\arg Z(\gamma)$, and the discontinuous reorganization of the spectrum across walls is the phenomenon called wall-crossing.

Michael Douglas, in a sequence of papers culminating in his ICM 2002 lecture, translated this picture into the language of triangulated categories. A distinguished triangle $A \to E \to B$ in $D^b(X)$ describes $E$ as a tachyon condensation bound state of $A$ and $B$. The state $E$ is $\Pi$-stable (the $\Pi$ stands for period) when, for every such triangle with $A, B$ nonzero, the BPS phases satisfy

$$\phi(A) \;<\; \phi(E) \;<\; \phi(B).$$

This single inequality re-encodes the mass-deficit picture entirely: a sub-brane of smaller phase contributes mass that locks into the sum constructively, leaving binding energy on the table; if the phases ever cross, the bond breaks. $\Pi$-stability varies continuously across the Kähler moduli space, the spectrum jumps at walls, and the worldvolume gauge theory on $E$ undergoes a corresponding change of quiver and superpotential.

Bridgeland's 2007 axiomatization is the rigorous mathematical version. The dictionary is exact: the heart of a bounded t-structure is the categorical incarnation of "which objects count as particles versus antiparticles" at a given point of moduli space; the central charge is a linear function on the Grothendieck group, realized for Calabi–Yau examples by the same period integrals that appear in the physics; the phase is the BPS phase; the Harder–Narasimhan filtration is the unique decomposition of any object into elementary semistable factors of strictly decreasing phase, mathematically formalizing the existence of a well-defined BPS spectrum; and the support property is what makes the moduli space of stability conditions — denoted $\mathrm{Stab}(D^b(X))$ — a complex manifold rather than a wild set, so that one can deform $\sigma$ continuously in the way the physical Kähler moduli demand. Conjecturally, a connected component of the space $\mathrm{Stab}(D^b(X))$ is the universal cover of the stringy Kähler moduli space of $X$ — the moduli that string theory says is the true parameter space for the B-model. Donaldson–Thomas invariants count $\sigma$-semistable objects and recover BPS state counts; the Kontsevich–Soibelman wall-crossing formula matches the physical spectrum jumps to the categorical operations of tilting a heart at a torsion pair.

With the physical picture as backdrop, we now state the axioms for a triangulated category $\mathcal{D}$ — applied throughout to $\mathcal{D} = \mathrm{Ku}(X)$, but everything generalizes.

For nonzero $E \in \mathcal{A}$, the phase is

$$\phi(E) \;=\; \frac{1}{\pi} \arg Z(E) \;\in\; (0, 1].$$

The phase is the angular position of $Z(E)$ in the upper half-plane, normalized so that the negative real axis sits at $\phi = 1$. An object $E$ is $\sigma$-semistable if $\phi(F) \leq \phi(E)$ for every proper subobject $0 \neq F \subsetneq E$ in $\mathcal{A}$.

The Harder–Narasimhan filtration extends the phase to objects of the full triangulated category $\mathrm{Ku}(X)$, not just the heart. For any nonzero $E \in \mathrm{Ku}(X)$, there is a uniquely determined filtration whose factors are semistable with strictly decreasing phases; the largest phase appearing is $\phi^+(E)$ and the smallest is $\phi^-(E)$ — and it is $\phi^+$ that will eventually produce a contradiction.

There is an equivalent reformulation in terms of slicings. A slicing $\mathcal{P}$ assigns to each real number $\phi$ the abelian subcategory $\mathcal{P}(\phi)$ of semistable objects of phase $\phi$, satisfying $\mathcal{P}(\phi + 1) = \mathcal{P}(\phi)[1]$ and $\Hom(\mathcal{P}(\phi_1), \mathcal{P}(\phi_2)) = 0$ for $\phi_1 > \phi_2$. The slicing and heart formulations are equivalent, with the heart recovered as $\mathcal{A} = \mathcal{P}\bigl((0, 1]\bigr)$.

The support property — a quadratic-form condition due to Kontsevich and Soibelman, equivalent to the bound $\|v(E)\| \leq C |Z(E)|$ for all semistable $E$ — upgrades local injectivity to local biholomorphism. Bridgeland's original theorem is stated for locally finite stability conditions, with a local homeomorphism onto a linear subspace of $\mathrm{Hom}(K(\mathcal{D}), \CC)$; the lattice-and-support-property form above is the reformulation of Kontsevich–Soibelman and Bayer–Macrì–Stellari that the literature now uses. We treat the support property as part of the definition of a stability condition; the same data without it is a pre-stability condition, which is all that section 8 will need. The attribution is documented in Erratum 9.5.

The space $\mathrm{Stab}(\mathrm{Ku}(X))$ carries a right action of $\widetilde{\mathrm{GL}}^+(2,\RR)$, the universal cover of the orientation-preserving general linear group on $\RR^2$. An element of $\widetilde{\mathrm{GL}}^+(2,\RR)$ is a pair $(T, f)$ where $T \in \mathrm{GL}^+(2,\RR)$ is a real $2 \times 2$ matrix with positive determinant, and $f : \RR \to \RR$ is a strictly increasing function with $f(\phi + 1) = f(\phi) + 1$, compatible with the action of $T$ on the unit circle. The action on a stability condition is

$$\sigma \cdot (T, f) \;=\; (\mathcal{P}', Z'), \qquad Z' \;=\; T^{-1} \circ Z, \qquad \mathcal{P}'(\phi) \;=\; \mathcal{P}(f(\phi)).$$

So $T$ shears the central charge as a real-linear map and $f$ relabels phases. The shift functor $[1]$ takes the slicing to $\mathcal{P}'(\phi) = \mathcal{P}(\phi + 1)$ and multiplies $Z$ by $-1$ (since $[1]_* = -1$ on $K$), corresponding to the universal-cover element $(T, f) = (-I, \phi \mapsto \phi + 1)$.

There is also a left action of $\mathrm{Aut}(\mathrm{Ku}(X))$. For an autoequivalence $\Phi$,

$$\Phi \cdot \sigma \;=\; \bigl(\Phi(\mathcal{A}), Z \circ \Phi_*^{-1}\bigr).$$

The Serre functor is one such autoequivalence. The two actions commute, and the natural compatibility one can ask between $\mathsf{S}_{\mathrm{Ku}}$ and $\sigma$ is that the left action of $\mathsf{S}_{\mathrm{Ku}}$ lies in the same $\widetilde{\mathrm{GL}}^+(2,\RR)$-orbit as $\sigma$.

Unwinding the two actions, Serre invariance says two things at once. On central charges, the left action replaces $Z$ by $Z \circ \mathsf{S}_{\mathrm{Ku}*}^{-1}$ and the right action replaces it by $T^{-1} \circ Z$; equating them gives

$$Z \circ \mathsf{S}_{\mathrm{Ku}*} \;=\; T \circ Z \quad \text{on } K(\mathcal{A}).$$

On slicings, $\mathsf{S}_{\mathrm{Ku}}(\mathcal{P}(\phi)) = \mathcal{P}(f(\phi))$ for every $\phi \in \RR$: the Serre functor carries semistable objects of phase $\phi$ to semistable objects of phase $f(\phi)$, and $f$ is strictly increasing. The second identity is the one the proof in section 8 leans on.

Serre-invariant stability conditions exist on many Kuznetsov components — cubic threefolds, cubic fourfolds, Gushel–Mukai threefolds and fourfolds — and where they exist they are essentially unique up to the $\widetilde{\mathrm{GL}}^+(2,\RR)$-action; this near-uniqueness is what makes them so powerful for moduli theory. The question is whether any exist on $\mathrm{Ku}(X)$ for $X$ a generic Enriques surface.

Definition 7.1 lets the central charge be any homomorphism on $K(\mathcal{A})$. On the Enriques component this is no extra generality: every central charge is numerical.

The lemma has a practical consequence: in section 8 we may treat $Z$ as a map $K_{\mathrm{num}}(\mathrm{Ku}(X)) \to \CC$ without loss of generality. The support property of Theorem 7.2 will play no role at all, so everything below applies equally to pre-stability conditions — the data of Definition 7.1 with no support property imposed.

8. The contradiction

Suppose $\sigma = (\mathcal{A}, Z)$ is a Serre-invariant Bridgeland stability condition on $\mathrm{Ku}(X)$, with cover element $(T, f) \in \widetilde{\mathrm{GL}}^+(2,\RR)$:

$$\mathsf{S}_{\mathrm{Ku}} \cdot \sigma \;=\; \sigma \cdot (T, f).$$

By Lemma 7.4 the central charge is numerical, $Z : K_{\mathrm{num}}(\mathrm{Ku}(X)) \to \CC$. The plan has three moves. First, the Serre functor of $\mathrm{Ku}(X)$ is invisible to $K_{\mathrm{num}}$: it fixes every numerical class. Second, the spherical object $S_1$ is numerically zero, so it is never semistable — but Serre invariance transports its Harder–Narasimhan filtration, and the top semistable piece $A$ inherits the odd shift $\mathsf{S}_{\mathrm{Ku}}(A) \cong A[3]$. Third, on that piece the two faces of the Serre functor collide: $Z(A) = Z(\mathsf{S}_{\mathrm{Ku}}A) = Z(A[3]) = -Z(A)$, so $Z(A) = 0$ for a nonzero semistable object. That is the contradiction.

8.1. The Serre functor is numerically invisible

We now have $Z(\mathsf S_{\mathrm{Ku}}F)=Z(F)$ for every object. To obtain a contradiction, we need a nonzero semistable object on which the intrinsic Serre functor acts by an odd shift. Its construction below uses Harder–Narasimhan factors and requires no injectivity assumption on $Z$. Erratum 9.2 explains why the support property would not supply that assumption.

8.2. Why the Harder–Narasimhan filtration of a spherical object

We want to feed $\mathsf{S}_{\mathrm{Ku}}(S_1) \cong S_1[3]$ to the central charge. Doing so directly gives $Z(S_1) = Z(\mathsf{S}_{\mathrm{Ku}}S_1) = Z(S_1[3]) = -Z(S_1)$, hence $Z(S_1) = 0$ — which is no contradiction, because Lemma 6.8 already told us $[S_1] = 0$. It does tell us something concrete: $S_1$ is not $\sigma$-semistable, since a nonzero semistable object has central charge of positive length. So $S_1$ has a Harder–Narasimhan filtration with at least two pieces,

$$0 = Q_0 \to Q_1 \to \cdots \to Q_n = S_1, \qquad A_j := \mathrm{Cone}(Q_{j-1} \to Q_j) \in \mathcal{P}(\phi_j), \qquad \phi_1 > \cdots > \phi_n,$$

whose classes sum to zero in $K_{\mathrm{num}}(\mathrm{Ku}(X))$. The obstruction, if there is one, must live on these pieces, and we need a way to move the identity $\mathsf{S}_{\mathrm{Ku}}(S_1) \cong S_1[3]$ from $S_1$ down to them. Serre invariance is exactly that tool.

Apply this to $Q = S_1$ and compare with the shift. Since $\mathcal{P}(\phi + 1) = \mathcal{P}(\phi)[1]$, the shifted filtration $Q_\bullet[3]$ is the Harder–Narasimhan filtration of $S_1[3]$, with factors $A_j[3] \in \mathcal{P}(\phi_j + 3)$. But $\mathsf{S}_{\mathrm{Ku}}(S_1) \cong S_1[3]$, and Harder–Narasimhan filtrations are unique, so the two filtrations match term by term:

$$\mathsf{S}_{\mathrm{Ku}}(A_j) \;\cong\; A_j[3], \qquad f(\phi_j) \;=\; \phi_j + 3 \qquad \text{for every } j.$$

In particular the top piece $A := A_1$ is a nonzero $\sigma$-semistable object carrying the same odd Serre shift as $S_1$. Its semistability guarantees $Z(A)\ne0$, which is the condition needed for the final contradiction.

8.3. The odd-shift obstruction

Everything so far assembles into a statement with no Enriques geometry left in it.

The hypotheses are worth reading twice for what is absent. No support property, no rank hypothesis on the lattice, no injectivity of $Z$, no classification of the matrix $T$, and no assumption about whether $Q$ is semistable: if it happens to be, then $A = Q$ and nothing changes. Torsion-freeness of $K_{\mathrm{num}}$ is not used either — the cancellation $2Z(A) = 0$ happens in $\CC$.

8.4. The theorem

8.5. Every Enriques surface

The unnodal hypothesis was used only to have the cleanest possible exceptional collection. It can be dropped.

8.6. Scope of the obstruction

Two remarks. First, the obstruction is Serre-invariance specifically, not the existence of stability conditions outright. Lemma 6.8 says that every numerical stability condition on $\mathrm{Ku}(X)$ makes the ten spherical objects unstable, which is a constraint but not a contradiction; whether $\mathrm{Stab}(\mathrm{Ku}(X))$ is empty remains open. On the ambient $D^b(X)$, Bridgeland's tilt construction on surfaces gives stability conditions, and the geometric ones are even Serre-invariant — tensoring by the numerically trivial $\omega_X$ preserves both the tilted heart and the central charge — which is consistent with Theorem 8.3, because $D^b(X)$ has no object with an odd Serre shift: $\mathsf{S}_X Q \cong Q[d]$ would make the cohomology sheaves of $Q$ periodic under a nonzero shift, forcing $Q = 0$.

Second, the mechanism is the two faces of the two-torsion of $\omega_X$. Numerically the Serre functor of $\mathrm{Ku}(X)$ is invisible, because $\mathrm{ch}(\omega_X) = 1$; categorically it is very visible, shifting ten spherical objects by three. A Serre-invariant stability condition would have to reconcile the two faces on a semistable object, where the central charge sees the numerical face ($Z(\mathsf{S}A) = Z(A)$) and the slicing sees the categorical one ($\mathsf{S}A \cong A[3]$, so $Z(\mathsf{S}A) = -Z(A)$). An odd shift is precisely what neither face can absorb. The same algebraic feature that separates Enriques surfaces from K3 surfaces in the Kodaira classification reaches into the categorical structure of $\mathrm{Ku}(X)$ and forbids any stability condition that treats Serre duality symmetrically.

---

9. Errata

The entries below record corrections to earlier versions. The proofs in sections 6–8 state the current argument; each erratum links back to the relevant statement. The September 6, 2026 revision also separates ambient and intrinsic pairings explicitly in Lemma 7.4 and Lemma 8.1.

9.1. Adjoints and Serre functors

9.2. The support property and the central-charge action

9.3. The integral Mukai lattice

9.4. References

9.5. Field of definition and the stability-space theorem