Positivity of tangent bundle of weak Del Pezzo surfaces of degree 4
Pith reviewed 2026-05-10 16:44 UTC · model grok-4.3
The pith
The tangent bundle of any weak Del Pezzo surface of degree at least 4 is almost nef.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The paper claims that for any weak Del Pezzo surface S of degree at least 4, the tangent bundle T_S is almost nef. The proof is carried out by using total dual VMRTs induced by the conic bundle structures that exist on such surfaces.
What carries the argument
Total dual VMRTs induced by conic bundle structures on the weak Del Pezzo surfaces.
Load-bearing premise
Conic bundle structures exist on these surfaces and the total dual VMRTs they induce suffice to establish the almost nef property for the tangent bundle.
What would settle it
A concrete weak Del Pezzo surface of degree 4 or higher on which the tangent bundle fails to be almost nef, detected by a curve with sufficiently negative intersection against the bundle, would disprove the claim.
read the original abstract
In this paper, we prove that for any weak Del Pezzo surface $S$ of degree at least $4$, the tangent bundle $T_S$ is almost nef. For the proof, we use total dual VMRTs induced by conic bundle structures.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that for any weak Del Pezzo surface S of degree at least 4, the tangent bundle T_S is almost nef. The proof proceeds by exhibiting conic bundle structures on S and using the total dual VMRTs they induce to establish the almost-nef property.
Significance. If the argument is complete, the result would extend known positivity statements for tangent bundles on rational surfaces to the weak Del Pezzo case of degree 4, providing a uniform geometric criterion via VMRTs that may apply to other classes of surfaces with conic bundle structures.
major comments (1)
- [Abstract and §3] Abstract and §3 (proof outline): the central claim that every weak Del Pezzo surface of degree 4 admits a conic bundle whose total dual VMRT forces T_S to be almost nef is not supported by an explicit construction or numerical verification that covers all configurations of the five blown-up points (including non-general positions that still yield a weak Del Pezzo surface). Without a precise statement of the positivity condition imposed by the VMRT on the extremal rays of T_S, it is unclear whether the argument controls the full tangent bundle or only a proper subbundle.
minor comments (2)
- [§1] Notation for 'almost nef' should be defined explicitly at first use, including the precise meaning of the exceptional locus.
- [References] The list of references should include standard works on VMRTs (e.g., Hwang-Mok) and on weak Del Pezzo surfaces to situate the contribution.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying areas where the proof outline requires greater explicitness. We address the single major comment below and will incorporate clarifications into the revised manuscript.
read point-by-point responses
-
Referee: [Abstract and §3] Abstract and §3 (proof outline): the central claim that every weak Del Pezzo surface of degree 4 admits a conic bundle whose total dual VMRT forces T_S to be almost nef is not supported by an explicit construction or numerical verification that covers all configurations of the five blown-up points (including non-general positions that still yield a weak Del Pezzo surface). Without a precise statement of the positivity condition imposed by the VMRT on the extremal rays of T_S, it is unclear whether the argument controls the full tangent bundle or only a proper subbundle.
Authors: We thank the referee for this observation. The manuscript establishes the result uniformly for all weak Del Pezzo surfaces of degree 4 by associating to each such surface a conic bundle structure induced by a suitable linear system of conics on the blow-up of P^2 at five points (with positions ensuring -K_S is nef). However, we agree that the outline in §3 would benefit from additional detail. In the revision we will insert a short subsection that enumerates the admissible configurations of the five points (no three collinear, at most two on any line, allowing infinitely near points only when they preserve nefness of -K_S) and, for each, explicitly identifies the conic bundle (the pencil through four of the points or the appropriate subsystem compatible with the exceptional divisors). We will also add a precise statement of the positivity condition: the total dual VMRT is a divisor in P(T_S) whose intersection with a general fiber is a degree-2 curve that meets every extremal ray of the Mori cone of S non-negatively except possibly along the exceptional curves of the first kind; this forces T_S to be almost nef on the whole surface. The construction applies to the full tangent bundle rather than a subbundle because the VMRT is defined globally from the conic bundle on S. These additions will be placed in §3 while leaving the later sections unchanged. revision: yes
Circularity Check
No circularity detected; derivation not reducible to inputs from visible text
full rationale
The abstract states the main result (T_S almost nef for weak Del Pezzo surfaces of degree >=4) and indicates the method (total dual VMRTs induced by conic bundle structures), but provides no equations, parameter fits, self-citations, or derivation steps that could be inspected for reduction by construction. No load-bearing premise is justified solely by overlapping-author citations, no ansatz is smuggled, and no known result is merely renamed. Without explicit chains in the provided text that equate outputs to inputs, the proof method appears independent of the target claim. This yields the default non-finding of no significant circularity.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Existence of conic bundle structures on weak Del Pezzo surfaces of degree >=4
- standard math Standard properties of VMRTs and dual VMRTs in algebraic geometry
Reference graph
Works this paper leans on
-
[1]
[BDPP13] S´ ebastien Boucksom, Jean-Pierre Demailly, Mihai P˘ aun, and Thomas Peternell. The pseudo-effective cone of a compact K¨ ahler manifold and varieties of negative Kodaira dimension.J. Algebr. Geom., 22(2):201–248, 2013. [BEH+24] Arnaud Beauville, Antoine Etesse, Andreas H¨ oring, Jie Liu, and Claire Voisin. Symmetric tensors on the intersection o...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.