REVIEW 2 major objections 4 minor 22 references
Reider-type theorems on normal surfaces via Bridgeland stability
T0 review · 2 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read Bridgeland stability on normal surfaces proves Reider-type jet separation for adjoint sheaves, recovering sharp bounds 3 and 4 for rational double point singularities.
desk verdict Solid new Reider-type results on normal surfaces, but the main technical theorem has a repairable gap for unbalanced partitions that should be fixed before publication. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is a recent construction of Bridgeland stability conditions on normal surfaces: each stability condition assigns a slope to complexes of sheaves through a central charge, and objects live in an abelian heart with Harder-Narasimhan filtrations. The central charge is modified by the constant $C_X$, which makes a Bogomolov-type inequality hold for slope-semistable sheaves. The paper isolates a class of objects 'of type O' — complexes whose cohomology is $O_X$ in degree $-1$, a zero-dimensional sheaf in degree $0$, and with no nonzero maps from any skyscraper sheaf — which contains both $O_X[1]$ and $\Omega^0_X[1]$. For the stability condition with $s=1/2$ and a suitable $t$, objects of type $O$ and twisted ideal sheaves $L \otimes I_Z$ are shown to be stable, so a nonzero morphism between them is impossible by Schur's lemma. The refinement is that the image of such a morphism, under weaker hypotheses, is a torsion sheaf whose support is an effective divisor $D$ satisfying Reider-type inequalities $D^2 < 1$ and $0 < D \cdot L \leq D^2 + C_X + l'$. Two length-redistribution lemmas move zero-dimensional length between $Z$ and $H^0(F)$ while preserving the total $l_Z + l_T$, which is what produces the optimal constants.
What would settle it
On a concrete normal surface, compute the smallest admissible $C_X$ (for instance, on a cone over a plane curve, where the paper computes $C_X = 19/4$) and check whether there is an ample line bundle $L$ satisfying the theorem's inequalities, $L^2 \geq \max((C_X+2l_2+1)^2, 4(l_1+l_2+C_X)+\varepsilon)$ and $L\cdot C \geq \max(2(2l_1+C_X), C_X+2l_2+1)$ for all effective curves $C$, with $H^1(X, \omega_X \otimes L \otimes I_Z) \neq 0$ for some zero-dimensional subscheme $Z$; any such pair disproves the vanishing claim. Equivalently, a single slope-semistable sheaf violating the stated Bogomolov inequality for the claimed $C_X$ would break the stability argument at its base.
Extended reading notes
Core claim
The central discovery is that the smooth-surface strategy of proving Reider's theorem through Bridgeland stability extends to normal surfaces once the central charge is modified by a term controlled by a Bogomolov-type constant $C_X$. Concretely, Theorem 4.7 states: for any object $F$ of type $O$ (cohomology $O_X$ in degree $-1$, a zero-dimensional sheaf in degree $0$, and no nontrivial maps from skyscraper sheaves), and any decomposition $l_1 + l_2 = l_Z + \mathrm{length}(H^0(F))$, the space $\operatorname{Hom}(L \otimes I_Z, F)$ vanishes whenever $L^2 \geq \max((C_X+2l_2+1)^2, 4(l_1+l_2+C_X)+\varepsilon)$ and $L \cdot C \geq \max(2(2l_1+C_X), C_X+2l_2+1)$ for every effective curve $C$. Taking $F = O_X[1]$ turns this into the vanishing $H^1(X, \omega_X \otimes L \otimes I_Z)=0$ and hence into jet separation; taking $F = \Omega^0_X[1]$ yields the Du Bois variant. The constants are sharp in the sense that for $C_X=0$, the choices $l_1=0, l_2=1$ and $l_1=1, l_2=1$ give respectively the bounds $a \geq 3$ for global generation and $a \geq 4$ for very ampleness.
Load-bearing premise
The proof relies on an external numerical inequality: each surface is assumed to carry a single constant $C_X$ that bounds how negative a certain quadratic expression attached to any slope-semistable sheaf can be; the optimal degrees 3 and 4 follow only when that constant is 0.
Editorial extensions
If this is right
- On any normal surface with $C_X=0$, in particular any complex surface with at most rational double point singularities, $\omega_X \otimes L^a$ separates jets for $a \geq 3$ and is very ample for $a \geq 4$, matching the sharp smooth-surface bounds.
- In positive characteristic the theorem holds with degree bound $a \geq m'(C_X, l_Z)$, where $C_X$ is explicitly known from the birational class; this explains why fixed bounds 3 and 4 cannot hold for all smooth surfaces in that setting.
- The jet-separation statement does not require $K_X + L$ to be Cartier, so it applies when $\omega_X \otimes L$ is a sheaf rather than a line bundle.
- For complex surfaces, replacing $\omega_X$ by $\omega_X^{\mathrm{DB}}$, the derived dual of the zeroth Du Bois complex, yields the same Reider-type vanishing, with the length of $H^1(\Omega^0_X)$ added to the subscheme length in all bounds.
- Under the theorem's hypotheses, a nonzero morphism $L \otimes I_Z \to F$ forces an effective divisor $D$ with $D^2<1$ and $0<D\cdot L \leq D^2+C_X+l'$, which recovers the classical Reider criterion for very ampleness on smooth surfaces when $L^2>9$.
Reading between the lines
- The distribution of zero-dimensional length between $Z$ and $H^0(F)$ affects the bounds only through the total $l_Z+l_T$, suggesting a general principle: for any target complex whose cohomology is a sheaf plus a zero-dimensional piece, jet separation should depend only on the sum of the lengths, not on where the length sits.
- The explicit positive-characteristic formulas for $C_X$ turn a qualitative failure of the fixed 3 and 4 bounds into a quantitative prediction: on a given surface, the smallest $a$ for which $\omega_X \otimes L^a$ separates jets can be computed as $m'(C_X, l_Z)$ once $C_X$ is known from the birational class.
- The Du Bois variant suggests that the obstruction to good adjoint behavior on a singular complex surface has two independent sources, $C_X$ and the length of $H^1(\Omega^0_X)$, so a combined 'singularity cost' $l_Z + l_T$ may be the right invariant in higher-dimensional analogues.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proves Reider-type vanishing and jet-separation theorems on projective normal surfaces over algebraically closed fields, using Langer's Bridgeland stability conditions on normal surfaces. The main technical result (Theorem 4.7) gives the vanishing of Hom(L⊗I_Z,F) for an ample line bundle L, a zero-dimensional subscheme Z, and an object F of type O (with cohomology matching O_X[1] or Ω^0_X[1]), under lower bounds on H²=c1(L)² and on H·C involving a surface-dependent constant C_X. From this the authors deduce H¹(X,ω_X⊗L⊗I_Z)=0, separation of jets, and Fujita-type bounds: for C_X=0 (e.g., complex surfaces with at worst rational double points) ω_X⊗L^a is globally generated for a≥3 and very ample for a≥4, recovering the optimal Fujita constants. In positive characteristic, explicit C_X from Koseki's Bogomolov inequality yield corresponding (weaker) bounds, and for complex surfaces the same Reider machinery is applied to the Du Bois dual ω_DB = RHom(Ω^0_X,ω_X).
Significance. If the technical issues flagged below are repaired, this is a substantial and welcome extension of the Arcara–Bertram/Bridgeland approach to Reider-type theorems, covering normal surfaces, positive characteristic, and a Du Bois variant. The paper makes essential, clearly attributed use of Langer's stability conditions and Bogomolov-type inequalities; the geometric constant C_X is explicit and computed in examples. The optimal Fujita constants 3 and 4 are recovered exactly when C_X=0. The main results are parameter-free in the sense that the only geometric input is C_X, and the paper explicitly identifies where this constant appears. The manuscript is well organized and the strategy of reducing to torsion images is appealing.
major comments (2)
- [§3, Proposition 3.5 and Definition of t] Under the stated formula t² = 1/4 − (2l+C_X)/H², the proof of Proposition 3.5 is inconsistent with the conclusion. With s=1/2, s²−t² = (2l+C_X)/H², and the degree satisfies d_{s,t}(E) = ch2(E) − (1/2)A·H + r(2l+C_X) − (C_X/2)r, so the inequality ν ≤ 0 with r ≤ 0 yields A·H ≤ 2ch2(E) + 4rl + C_X r, not A·H ≤ 2ch2(E) + 2rl. The claimed bound A·H ≤ A²/r + r(C_X+2l) is only consistent with t² = 1/4 − (2l+C_X)/(2H²). This is load-bearing because the constants in the Reider bounds and the realness condition for t are affected. The same typo appears in Propositions 3.7, 3.8, 3.9, 3.10, and Theorem 4.7; the authors should correct the formula in all these statements (and in the proof of Proposition 3.9, whose line '+l_Z' already uses the corrected form).
- [§4, Theorem 4.7] As written, Theorem 4.7 is not proved for partitions with l1 > l2. The proof applies Proposition 3.9 at the stability condition with t1² = 1/4 − (2l1+C_X)/H², which requires H² > 4(2l1+C_X). The theorem's hypothesis only guarantees H² ≥ max((C_X+2l2+1)², 4(l1+l2+C_X)+ε). When l1 > l2, the second term is smaller than 4(2l1+C_X) (for example, l1=2, l2=0, C_X=0 gives a required H² > 16 while the hypothesis gives H² ≥ 8+ε), and the first term may also be smaller, so t1 is not real and Proposition 3.9 cannot be invoked. If the t² formula is corrected to t² = 1/4 − (2l1+C_X)/(2H²), then the hypothesis H² ≥ 4(l1+l2+C_X)+ε implies H² > 4l1+2C_X = 2(2l1+C_X), which makes t1 real and the argument goes through; alternatively the theorem should be restricted to l1 ≤ l2. The stated generality is therefore unsupported unless one of these repairs is made. The Fujita applications are not directly affected because the minimizers in m(C_X,l) have l1≤l2, but the theorem itself is the technical core and its stated generality is not supported.
minor comments (4)
- [§4, Theorem 4.7] The parameter ε appears in the hypothesis without being quantified; the statement should say 'for every ε>0' (or 'for some ε>0') so that the strict inequality H² > 4(l1+l2+C_X) is well-defined.
- [§1, Definition 1.4] In the definition of m′, the condition 'CX = 1' should read 'C_X = 1' for notational consistency.
- [Global text] The text contains numerous typographical artifacts (e.g., 'surf-aces', 'K¨ a hler', 'M a sek') that should be cleaned before the final version.
- [§3, Proposition 3.9 proof] The displayed degree expression in the proof, d_{s,t}(L⊗I_Y) = ... + l_Z ≥ 0, already uses the corrected t² formula; this inconsistency with the statement's t² should be resolved as part of the correction in Major Comment 1.
Circularity Check
No significant circularity: the Reider-type vanishing theorems are derived from external Bogomolov inequalities and Bridgeland stability, with no fitted parameter renamed as a prediction.
full rationale
The main derivation chain is self-contained relative to its stated external inputs. Theorem 4.7 proves Hom(L⊗I_Z,F)=0 by assuming length data l1,l2 with l1+l2=lZ+lT and imposing numerical bounds on H² and H·C. Those bounds are expressed through C_X, which is imported from Langer's Bogomolov-type inequality on normal surfaces [13] (and Koseki's positive-characteristic formulas [10]); C_X is not fitted to any Reider-type conclusion, and the paper does not use the target vanishing to define the stability conditions or the constants. The Bridgeland stability conditions are constructed as in Langer's work, and the stability arguments adapt Arcara–Bertram [1], both prior independent results rather than self-citations by the present authors. Propositions 4.2–4.3 only redistribute the finite lengths between Z and H⁰(F) while preserving lZ+lT; this is a structural reduction, not a concealed restatement of the desired vanishing. The optimal Fujita constants 3 and 4 are obtained by optimizing the explicit functions m(C_X,l) and m'(C_X,l), not by calibrating constants to force the answer. No equation in the paper is defined in terms of the target result, and no fitted input is later renamed as a prediction. The skeptical concern that Theorem 4.7 is not proved for partitions with l1>l2, because the stated H² hypothesis may be too weak to make the stability condition t1 real, is a proof-gap or correctness issue rather than a circularity issue: it does not show that the theorem's conclusion is equivalent to its hypotheses or to a self-citation chain. Under the circularity rubric, this does not raise the score. Accordingly, the paper merits a non-circularity finding of 0.
Assumptions & free parameters
free parameters (1)
- C_X =
surface-dependent, e.g., 0 for smooth/RDP char 0; explicit formulas in Cor 1.9; 19/4 in Ex 2.2
assumptions (4)
- domain assumption Langer's construction of Bridgeland stability conditions on normal surfaces yields a heart and central charge with the stated rank and degree formulas.
- domain assumption Bogomolov-type inequality ∫(ch1(E)^2 - 2ch0(E)ch2(E) + C_X ch0(E)^2) ≥ 0 holds for ω-slope semistable torsion-free sheaves with a constant C_X as described.
- domain assumption For a complex normal surface, Ω^0_X[1] is of type O, including Hom(Op,Ω^0_X[1])=0 and D(Ω^0_X) being a sheaf.
- standard math The Hodge index theorem holds for the Mumford intersection product on A_1(X) (Observation 2.1(3)).
Cite this review
Pith. "Pith review of Reider-type theorems on normal surfaces via Bridgeland stability." pith.science (2026). https://pith.science/paper/2THRD2TD
@misc{pith2026241109107,
author = {Pith},
title = {Pith review of: Reider-type theorems on normal surfaces via Bridgeland stability},
year = {2026},
howpublished = {\url{https://pith.science/paper/2THRD2TD}},
note = {Machine review of arXiv:2411.09107}
}
abstract
Using Langer's construction of Bridgeland stability conditions on normal surfaces, we prove Reider-type theorems generalizing the work done by Arcara-Bertram in the smooth case. Our results still hold in positive characteristic or when $\omega_X \otimes L$ is not necessarily a line bundle. They also hold when the dualizing sheaf is replaced by a variant arising from the theory of Du Bois complexes. For complex surfaces with at most rational double point singularities, we recover the optimal bounds for global generation and very ampleness as predicted by Fujita's conjecture.
Reference graph
Works this paper leans on
-
[13]
Bridgeland stability conditions on normal surfa ces
Adrian Langer. “Bridgeland stability conditions on normal surfa ces”. In: An- nali di Matematica Pura ed Applicata (1923-) (2024), pp. 1–12
work page 2024
-
[1]
Reider’s theorem and Thadd eus pairs revisited
Daniele Arcara and Aaron Bertram. “Reider’s theorem and Thadd eus pairs revisited”. In: Clay Math. Proc. 14 (2011), pp. 51–68
work page 2011
-
[2]
Complexe de de Rham filtr´ e d’une vari´ et´ e singuli` ere
Philippe Du Bois. “Complexe de de Rham filtr´ e d’une vari´ et´ e singuli` ere”. In: Bulletin de la Soci´ et´ e math´ ematique de France109 (1981), pp. 41–81
work page 1981
-
[3]
Global generation of plur icanonical and adjoint linear series on smooth projective threefolds
Lawrence Ein and Robert Lazarsfeld. “Global generation of plur icanonical and adjoint linear series on smooth projective threefolds”. In: Journal of the American Mathematical Society 6.4 (1993), pp. 875–903
work page 1993
-
[4]
Global G eneration Of Linear Series On Terminal Threefolds
Lawrence Ein, Robert Lazarsfeld, and Vladimir Ma¸ sek. “Global G eneration Of Linear Series On Terminal Threefolds”. In: International Journal of Math- ematics 6.01 (1995), pp. 1–18
work page 1995
-
[5]
Contribution to birational geometry of algebraic varieties: open problems
Takao Fujita. “Contribution to birational geometry of algebraic varieties: open problems”. In: the 23rd International Symposium, Division of Mathematics , the Taniguchi Foundation; August 22-27, 1988, Katata . 1988. REFERENCES 24
work page 1988
-
[6]
William Fulton. Intersection theory. Vol. 2. Springer Science & Business Me- dia, 2013
work page 2013
-
[7]
Counterexamples to Fu jita’s con- jecture on surfaces in positive characteristic
Yi Gu, Lei Zhang, and Yongming Zhang. “Counterexamples to Fu jita’s con- jecture on surfaces in positive characteristic”. In: Advances in Mathematics 400 (2022), p. 108271
work page 2022
Show all 22 references
-
[8]
Hyperr´ esolutions cubiques et descente cohomologique
Francisco Guillen et al. Hyperr´ esolutions cubiques et descente cohomologique. Vol. 1335. Springer, 2006
2006
-
[9]
On Fujita’s freeness conjecture for 3-fold s and 4-folds
Yujiro Kawamata. “On Fujita’s freeness conjecture for 3-fold s and 4-folds”. In: arXiv preprint alg-geom/9510004 (1995)
1995 arXiv
-
[10]
On the Bogomolov–Gieseker inequality in positive c haracteris- tic
Naoki Koseki. “On the Bogomolov–Gieseker inequality in positive c haracteris- tic”. In: International Mathematics Research Notices 2023.24 (2023), pp. 20784– 20811
2023
-
[11]
Du Bois singularities deform
S´ andor Kov´ acs and Karl Schwede. “Du Bois singularities deform”. In: Minimal Models and Extremal Rays (Kyoto, 2011) . Math. Soc. Japan. 2016, pp. 49–65
2011
-
[12]
A note on k-jet ampleness on surfaces
Adrian Langer. “A note on k-jet ampleness on surfaces”. In: arXiv preprint math/9802098 (1998)
1998 arXiv
-
[14]
Intersection theory and Chern classes on no rmal varieties
Adrian Langer. “Intersection theory and Chern classes on no rmal varieties”. In: arXiv preprint arXiv:2210.08766 (2022)
2022 arXiv
-
[15]
The Bogomolov-Gieseker-Kosek i inequality on surfaces with canonical singularities in arbitrary characteristic
Howard Nuer and Alan Sorani. “The Bogomolov-Gieseker-Kosek i inequality on surfaces with canonical singularities in arbitrary characteristic ”. In: arXiv preprint arXiv:2308.03307 (2023)
2023 arXiv
-
[16]
Mixed hodge structures
Chris AM Peters and Joseph HM Steenbrink. Mixed hodge structures. Vol. 52. Springer Science & Business Media, 2008
2008
-
[17]
Vector bundles of rank 2 and linear systems on alg ebraic sur- faces
Igor Reider. “Vector bundles of rank 2 and linear systems on alg ebraic sur- faces”. In: Annals of Mathematics 127.2 (1988), pp. 309–316
1988
-
[18]
Mixed Hodge complexes on algebraic varieties
Morihiko Saito. “Mixed Hodge complexes on algebraic varieties”. I n: Mathe- matische Annalen 316 (2000), pp. 283–331
2000
-
[19]
Reider-Serrano’s method on normal surfaces
Fumio Sakai. “Reider-Serrano’s method on normal surfaces”. In: Algebraic Geometry: Proceedings of the International Conference held in L’Aquila, Italy, May 30–June 4, 1988 . Springer. 2006, pp. 301–319
1988
-
[20]
F-injective singularities are Du Bois
Karl Schwede. “F-injective singularities are Du Bois”. In: American journal of mathematics 131.2 (2009), pp. 445–473
2009
-
[21]
On k-Du Bois and k-rational singularities
Wanchun Shen, Sridhar Venkatesh, and Anh Duc Vo. “On k-Du Bois and k-rational singularities”. In: arXiv preprint arXiv:2306.03977 (2023). [Stacks] The Stacks Project Authors. Stacks Project. https://stacks.math.columbia.edu. 2018
2023 arXiv
-
[22]
On Fujita’s freeness conjecture in dime nsion 5
Fei Ye and Zhixian Zhu. “On Fujita’s freeness conjecture in dime nsion 5”. In: Advances in Mathematics 371 (2020), p. 107210. REFERENCES 25 Department of Mathematics, MIT, 77 Massachusetts A venue, C ambridge, MA 02139, USA E-mail address : annelars@mit.edu Department of Mathe...
2020
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.