pith. sign in

arxiv: 2604.09300 · v1 · submitted 2026-04-10 · 🧮 math.AG

Positivity of tangent bundle of weak Del Pezzo surfaces of degree 4

Pith reviewed 2026-05-10 16:44 UTC · model grok-4.3

classification 🧮 math.AG
keywords weak Del Pezzo surfacestangent bundlesalmost nefconic bundlesVMRTsalgebraic surfacespositivity
0
0 comments X

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.

The paper proves that the tangent bundle of every weak Del Pezzo surface of degree 4 or higher is almost nef. This form of positivity controls how the bundle behaves along curves and rational families on the surface. The argument examines the conic bundle structures that these surfaces admit. Those structures generate total dual VMRTs that certify the almost nef property for the tangent bundle.

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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

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)
  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. [§1] Notation for 'almost nef' should be defined explicitly at first use, including the precise meaning of the exceptional locus.
  2. [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

1 responses · 0 unresolved

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
  1. 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

0 steps flagged

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

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete and contains only the most generic domain assumptions visible from the text.

axioms (2)
  • domain assumption Existence of conic bundle structures on weak Del Pezzo surfaces of degree >=4
    Invoked implicitly as the source of the total dual VMRTs used in the proof.
  • standard math Standard properties of VMRTs and dual VMRTs in algebraic geometry
    The method relies on these as background tools.

pith-pipeline@v0.9.0 · 5320 in / 1267 out tokens · 66693 ms · 2026-05-10T16:44:54.173351+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages

  1. [1]

    The pseudo-effective cone of a compact K¨ ahler manifold and varieties of negative Kodaira dimension.J

    [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...