All Quiet on the Exceptional Locus
Pith reviewed 2026-05-10 07:05 UTC · model grok-4.3
The pith
Every admissible subcategory supported on the exceptional locus of a birational morphism between smooth projective surfaces is generated by a finite exceptional collection.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We study admissible subcategories of the bounded derived category of a smooth projective surface that are supported on the exceptional locus of a birational morphism. We prove that if f:X→Y is a birational morphism of smooth projective surfaces, then every admissible subcategory of D^b(X) supported on Exc(f) is generated by a finite exceptional collection. Moreover, if K_Y is nef, then the same conclusion holds for every admissible subcategory of D^b(X) supported on a proper closed subset of X. As a consequence, no nonzero phantom or quasi-phantom subcategory on such a surface can have proper support. The proof combines a splitting lemma for admissible subcategories inside a semiorthogonal分解
What carries the argument
Splitting lemma for admissible subcategories inside a semiorthogonal decomposition with a single exceptional block, combined with Orlov's blow-up formula and Pirozhkov's support theorem.
If this is right
- No nonzero phantom or quasi-phantom subcategory can have proper support on such a surface.
- When K_Y is nef, admissible subcategories supported on any proper closed subset are generated by finite exceptional collections.
- The derived category admits no admissible subcategories with proper support that lack finite exceptional generators.
Where Pith is reading between the lines
- The result implies that any phantom subcategory on these surfaces, if it exists, must be supported on the entire surface rather than a proper subset.
- The techniques may connect to broader questions about the structure of semiorthogonal decompositions in derived categories of surfaces.
- One could test the claim by constructing explicit examples on blow-ups of the projective plane and checking the generators of supported subcategories.
Load-bearing premise
The surfaces are smooth and projective, the birational morphism admits Orlov's blow-up formula, and Pirozhkov's support theorem applies to the admissible subcategories in question.
What would settle it
An admissible subcategory of D^b(X) supported on Exc(f) for a birational morphism f:X to Y of smooth projective surfaces that cannot be generated by any finite exceptional collection would serve as a counterexample.
read the original abstract
We study admissible subcategories of the bounded derived category of a smooth projective surface that are supported on the exceptional locus of a birational morphism. We prove that if $f:X\to Y$ is a birational morphism of smooth projective surfaces, then every admissible subcategory of $D^b(X)$ supported on $\operatorname{Exc}(f)$ is generated by a finite exceptional collection. Moreover, if $K_Y$ is nef, then the same conclusion holds for every admissible subcategory of $D^b(X)$ supported on a proper closed subset of $X$. As a consequence, no nonzero phantom or quasi-phantom subcategory on such a surface can have proper support. The proof combines a splitting lemma for admissible subcategories inside a semiorthogonal decomposition with a single exceptional block, Orlov's blow-up formula, and Pirozhkov's support theorem.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for any birational morphism f: X → Y of smooth projective surfaces, every admissible subcategory of D^b(X) supported on Exc(f) is generated by a finite exceptional collection. When K_Y is nef, the same holds for admissible subcategories supported on any proper closed subset of X. As a consequence, no nonzero phantom or quasi-phantom subcategory on such an X can have proper support. The argument combines a splitting lemma for admissible subcategories inside a semiorthogonal decomposition containing a single exceptional block, Orlov's blow-up formula, and Pirozhkov's support theorem.
Significance. If the central claim holds, the result supplies a precise structural description of supported admissible subcategories on surfaces in terms of exceptional collections, thereby excluding phantoms and quasi-phantoms with proper support under the stated hypotheses. This strengthens the toolkit for classifying semiorthogonal decompositions in the derived category of surfaces and connects birational geometry directly to the existence of exceptional collections. The reliance on Orlov's formula and Pirozhkov's theorem is a strength, as it reduces the new content to a controlled combination of established results.
Simulated Author's Rebuttal
We are grateful to the referee for summarizing our main results and for recognizing the significance of the work in connecting birational geometry with the structure of admissible subcategories in derived categories of surfaces. Since no major comments are provided in the report, we have no specific points to address at this time. We would welcome any additional feedback or clarification regarding the 'uncertain' recommendation.
Circularity Check
No significant circularity detected
full rationale
The abstract outlines a proof that combines a splitting lemma for admissible subcategories inside a semiorthogonal decomposition with one exceptional block, Orlov's blow-up formula, and Pirozhkov's support theorem. These are presented as external standard results applied to smooth projective surfaces under the given hypotheses, with no self-citations, fitted parameters renamed as predictions, or reductions of the central claim to its own inputs by definition. The derivation chain is therefore self-contained against external benchmarks, and no load-bearing step reduces circularly.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption X and Y are smooth projective surfaces over an algebraically closed field
- standard math Orlov's blow-up formula holds for the morphism f
- standard math Pirozhkov's support theorem applies to admissible subcategories
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.