pith. sign in

arxiv: 2412.09848 · v3 · pith:OUQ2DXSJnew · submitted 2024-12-13 · 🧮 math.AG

Polarized cylinders in Du Val del Pezzo surfaces of degree two

Masatomo Sawahara This is my paper

Pith reviewed 2026-05-23 07:45 UTC · model grok-4.3

classification 🧮 math.AG
keywords del Pezzo surfaceDu Val singularitypolar cylinderdegree twoample divisoralgebraic surfaceQ-divisor
0
0 comments X

The pith

On Du Val del Pezzo surfaces of degree two that admit an anticanonical polar cylinder, every ample rational divisor also admits a polar cylinder.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that for a del Pezzo surface with at worst Du Val singularities of degree two, the existence of one anticanonical polar cylinder allows explicit construction of polar cylinders for every ample rational divisor on the surface. A sympathetic reader would care because this links a single special polarization to the full set of ample classes, showing uniformity once the anticanonical case holds. The argument proceeds by using the given anticanonical cylinder as the base object from which the others are derived. This applies precisely under the stated singularity and degree conditions.

Core claim

Let S be a del Pezzo surface with at worst Du Val singularities of degree 2 such that S admits an (-K_S)-polar cylinder. Then for any ample Q-divisor H on S there exists an H-polar cylinder.

What carries the argument

The given (-K_S)-polar cylinder on S, which serves as the starting object from which H-polar cylinders are constructed for arbitrary ample H.

If this is right

  • Every ample Q-divisor on such an S admits its own polar cylinder.
  • The result holds uniformly for all ample classes once the anticanonical case is given.
  • The construction preserves the Du Val singularity type and degree-two condition.
  • Polar cylinders exist for the full cone of ample classes under the hypothesis.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The anticanonical case may control the existence question for all polarizations in this family of surfaces.
  • The result could be tested for extension to del Pezzo surfaces of other degrees or with different singularity types.
  • Further study of how these cylinders interact with birational maps on the surface would be a natural next step.

Load-bearing premise

The surface already admits an anticanonical polar cylinder.

What would settle it

A single counterexample consisting of a degree-two Du Val del Pezzo surface that admits an (-K_S)-polar cylinder but has some ample Q-divisor H with no H-polar cylinder.

Figures

Figures reproduced from arXiv: 2412.09848 by Masatomo Sawahara.

Figure 1
Figure 1. Figure 1: The weighted dual graphs in Proposition 3.1 (A3 + A1) ′ , then there exists a (−1)-curve on Se meeting the central component of De. On the other hand, if Se is of type (A5 + A1) ′′ or (A5) ′′, then there exist two (−1)-curves on Se such that they meet distinct two (−2)-curves on De, which meet the central component of De, respectively. Moreover, if Se is of type (A3 + 2A1) ′′ or (A3 + A1) ′′, then there ex… view at source ↗
Figure 2
Figure 2. Figure 2: The configuration of Ce in Lemma 4.3 Proof. Let ∆ be the same as in Lemma 4.3. In this proof, we will use the form e ula (−KSe) 2 = 8 − (α + β + β ′ + γ) = 4 − m0. In (1) and (2), we then obtain dim |∆e| ≥ 3β ′ + 2γ − 10 ≥ 0 by Lemma 4.3 (1) combined with −(α+ β) = −m0 − 4 + β ′ + γ. Here, we note that γ ≥ 2 provided γ > 0. Hence, |∆e| 6= ∅, so that we can take a general member Ce of |∆e|. Notice f∗(Ce) ∼Q… view at source ↗
Figure 3
Figure 3. Figure 3: The configuration of g : Se → P 1 k in Subsection 4.3. Proof. We take the effective Q-divisor: D :=Xr i=1 (−bi)E ′ i + sX′ j=1 (−cj )E ′ r+j + Xs j ′=s ′+1 cj ′Er+j ′ + dr,s′ r + s + t + 1 ( F + Xr+s k=1 (Ek + E ′ k ) +X t ℓ=1 2Er+s+ℓ ) on S. Then we know D ∼Q H and S\Supp(D) = U. Thus, U is an H-polar cylinder. Proposition 4.2 follows from Lemmas 4.5 and 4.6. 4.3. Type D5 case. In this subsection, we keep… view at source ↗
Figure 4
Figure 4. Figure 4: The configuration of g : Se → P 1 k in Subsection 4.4. In what follows, we shall prove the above result. Let H ∈ Amp(S). Since Amp(S) is contained in Cl(S)Q = Lr i=1 Q[Ei ], we can write: H ∼Q Xr i=1 aiEi for some rational numbers a1, . . . , ar. Without loss of generality, we may assume a1 α1 ≤ a2 α2 ≤ · · · ≤ ar αr . Since α + 1 = m0 + m∞ and m∞ ≥ 2, we have α1 + · · · + αr > m0. We set r ′ := min{i ∈ {1… view at source ↗
Figure 5
Figure 5. Figure 5: The configuration of g : Se → P 1 k in Subsection 4.5. 4.5. Type (A3 + A1) ′ case. In this subsection, we keep the notation from §§4.1 and assume further that g satisfies (∗∗), (s, t) = (0, 1) and γ = 2. Namely, −m∞ = m0 − α. Note that the configuration of the P 1 -fibration g : Se → P 1 k is given as in [PITH_FULL_IMAGE:figures/full_fig_p018_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The configuration of g : Se → P 1 k in Subsection 4.6. 4.6. Type An (n ≥ 3) case. In this subsection, we keep the notation from §§4.1 and assume further that g satisfies (∗∗), (s, t) = (1, 0) and β ′ = 1. Namely, −m∞ = m0 − α − (β − 1). Note that the configuration of the P 1 -fibration g : Se → P 1 k is given as in [PITH_FULL_IMAGE:figures/full_fig_p020_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: The configuration of g : Se → P 1 k in Subsection 4.7. we take the effective Q-divisor: D := (−2a1 + ε)E ′ 1 + Xr i=2 αi  a1 + ai αi − ε  Ei + {(β − 1)a1 + b − (β − 2)ε}Er+1 + εE′ r+1 on S. Then we know H ∼Q D and: S\Supp(D) ≃ Se\Supp De0 + De∞ + Ee′ 1 + Xr i=2 (Fei − Ee′ i ) + Fer+1! ≃ A 1 k × A 1 ∗,k by Lemma 2.1 (2). Thus, H ∈ Ampcyl(S). Lemma 4.17 is thus verified. Proposition 4.13 follows from Lemma… view at source ↗
Figure 8
Figure 8. Figure 8: Lemma 5.1; A dotted line (resp. a solid line) stands for a (−1)-curve (resp. a (−2)-curve); A line with ∗ means a non-fiber component of the P 1 - fibrations from Se. Hence, in every case, we obtain Amp(S) = Ampcyl(S) by Proposition 4.2. Lemma 5.2. If S has a singular point of type D5, then Ampcyl(S) = Amp(S). Proof. By assumption and ρ(S) ≥ 2, Dyn(S) = D5 or D5 + A1. Indeed, it can be seen from the classi… view at source ↗
Figure 9
Figure 9. Figure 9: Lemmas 5.2, 5.3, 5.4, 5.5 and 5.6; Configurations of some sections and fiber components of g; A line with ∗ means a non-fiber component of g. Lemma 5.3. If S is of type (A5) ′ or (A5 + A1) ′ , then Ampcyl(S) = Amp(S). Proof. By assumption, S has a singular point P of type A5. Let De1 + · · · + De5 be the connected component of De corresponding to P such that the weighted dual graph of De1 +· · ·+ De5 is gi… view at source ↗
read the original abstract

Let $S$ be a del Pezzo surface with at worst Du Val singularities of degree $2$ such that $S$ admits an $(-K_S)$-polar cylinder. In this article, we construct an $H$-polar cylinder for any ample $\mathbb{Q}$-divisor $H$ on $S$.

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

0 major / 2 minor

Summary. The manuscript claims that if a del Pezzo surface S of degree 2 with at worst Du Val singularities admits an (-K_S)-polar cylinder, then for every ample Q-divisor H on S there exists an H-polar cylinder; the proof consists of an explicit construction that starts from the given (-K_S)-cylinder and produces the desired H-cylinder.

Significance. If the construction is valid, the result reduces the existence question for arbitrary ample polarizations to the single anticanonical case on these surfaces. This supplies a useful technical tool for studying cylinders on singular del Pezzo surfaces and may connect to questions in affine algebraic geometry and the minimal model program.

minor comments (2)
  1. [§1] §1 (Introduction): the definition of an H-polar cylinder should be recalled explicitly, even if it appears in the cited literature, to make the paper self-contained.
  2. [Main theorem statement] The statement of the main theorem (presumably Theorem 1.1 or equivalent) should include a brief indication of the key steps in the construction rather than leaving the reader to infer them from the abstract alone.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our main result and for recommending minor revision. The report accurately describes the statement and the explicit-construction approach in the manuscript.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states a conditional theorem: existence of an (-K_S)-polar cylinder on a degree-2 Du Val del Pezzo surface implies existence of an H-polar cylinder for every ample Q-divisor H, via direct construction. No equations, parameters, or derivations are provided in the abstract or claim that reduce by definition, fit, or self-citation to the input hypothesis. The precondition is isolated explicitly as the sole trigger, with the result presented as a construction rather than a renaming, ansatz, or uniqueness theorem. This is a standard implication proof with no load-bearing circular steps.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be identified.

pith-pipeline@v0.9.0 · 5561 in / 993 out tokens · 48521 ms · 2026-05-23T07:45:23.158736+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Polarized cylinders on blow-ups of weighted projective planes

    math.AG 2026-05 unverdicted novelty 4.0

    Polarized cylinders are studied on blow-ups of P(1,1,m) at m+4 general points, connecting to weighted hypersurfaces.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · cited by 1 Pith paper

  1. [1]

    Belousov, Cylinders in del Pezzo surfaces with du Val singularities , Bull

    G. Belousov, Cylinders in del Pezzo surfaces with du Val singularities , Bull. Korean Math. Soc. 54 (2017), 1655–1667. 30 MASATOMO SA W AHARA

    work page 2017

  2. [2]

    Belousov, Cylinders in del Pezzo surfaces of degree two , In: Birational Geometry, K¨ ahler-Einstein Metrics and Degenerations, Springer Proc

    G. Belousov, Cylinders in del Pezzo surfaces of degree two , In: Birational Geometry, K¨ ahler-Einstein Metrics and Degenerations, Springer Proc. Math. Stat., Vol. 409, Springer, Cham, 2023 , 17–70

    work page 2023

  3. [3]

    J. W. Bruce and C. T. C. Wall, On the classification of cubic surfaces , J. Lond. Math. Soc. 19 (1979), 245–256

    work page 1979

  4. [4]

    Cheltsov, Cylinders in rational surfaces , Sb

    I. Cheltsov, Cylinders in rational surfaces , Sb. Math. 212 (2021), 399–415

    work page 2021

  5. [5]

    Cheltsov, A

    I. Cheltsov, A. Dubouloz and J. Park, Super-rigid affine Fano varieties , Compos. Math. 154 (2018), 2462– 2484

    work page 2018

  6. [6]

    Cheltsov, J

    I. Cheltsov, J. Park, Y. Prokhorov and M. Zaidenberg, Cylinders in Fano varieties , EMS Surv. Math. Sci. 8 (2021), 39–105

    work page 2021

  7. [7]

    Cheltsov, J

    I. Cheltsov, J. Park and J. Won, Affine cones over smooth cubic surfaces , J. Eur. Math. Soc. 18 (2016), 1537–1564

    work page 2016

  8. [8]

    Cheltsov, J

    I. Cheltsov, J. Park and J. Won, Cylinders in singular del Pezzo surfaces , Compos. Math. 152 (2016), 1198–1224

    work page 2016

  9. [9]

    Cheltsov, J

    I. Cheltsov, J. Park and J. Won, Cylinders in del Pezzo surfaces , Int. Math. Res. Not. 2017 (2017), 1179–1230

    work page 2017

  10. [10]

    D. F. Coray and M. A. Tsfasman, Arithmetic on singular Del Pezzo surfaces , Proc. Lond. Math. Soc. (3) 57 (1988), 25–87

    work page 1988

  11. [11]

    A. H. Durfee, Fifteen characterizations of rational double points and si mple critical points , Enseign. Math. 25 (1979), 131–163

    work page 1979

  12. [12]

    I. V. Dolgachev, Classical Algebraic Geometry: a modern view , Cambridge Univ. Press, Cambridge, 2012

    work page 2012

  13. [13]

    I.-K. Kim, J. Kim and J. Won, K-unstable singular del Pezzo surfaces without anticanonic al polar cylinder , Int. Math. Res. Not. 2024 (2024), 12599–12619

    work page 2024

  14. [14]

    Kim and J

    J. Kim and J. Park, Generic flexibility of affine cones over del Pezzo surfaces of d egree 2, Int. J. Math. 32 (2021), Article ID 2150104, 18pp

    work page 2021

  15. [15]

    Kim and J

    J. Kim and J. Won, Cylinders in smooth del Pezzo surfaces of degree 2, Adv. Geom. 25 (2025), 71–91

    work page 2025

  16. [16]

    Kishimoto, Y

    T. Kishimoto, Y. Prokhorov and M. Zaidenberg, Group actions on affine cones , In: Affine Algebraic Geom- etry, CRM Proc. Lecture Notes, Vol. 54, American Mathematical So ciety, Providence, RI, 2011, 123–163

    work page 2011

  17. [17]

    Kishimoto, Y

    T. Kishimoto, Y. Prokhorov and M. Zaidenberg, Unipotent group actions on del Pezzo cones , Algebr. Geom. 1 (2014), 46–56

    work page 2014

  18. [18]

    Kojima, Algebraic compactifications of some affine surfaces , Algebra Colloq

    H. Kojima, Algebraic compactifications of some affine surfaces , Algebra Colloq. 9 (2002), 417–425

    work page 2002

  19. [19]

    Marquand and J

    L. Marquand and J. Won, Cylinders in rational surfaces , Eur. J. Math. 4 (2018), 1161–1196

    work page 2018

  20. [20]

    Park, Ga-actions on the complements of hypersurfaces , Transform

    J. Park, Ga-actions on the complements of hypersurfaces , Transform. Groups 27 (2022), 651–657

    work page 2022

  21. [21]

    Park and J

    J. Park and J. Won, Log canonical thresholds on del Pezzo surfaces of degree ≥ 2, Nagoya Math. J. 200 (2010), 1–26

    work page 2010

  22. [22]

    Park and J

    J. Park and J. Won, Flexible affine cones over del Pezzo surfaces of degree 4, Eur. J. Math. 2 (2016), 304–318

    work page 2016

  23. [23]

    A. Y. Perepechko, Flexibility of affine cones over del Pezzo surfaces of degree 4 and 5 , Funct. Anal. Appl. 47 (2013), 284–289

    work page 2013

  24. [24]

    Sawahara, Cylinders in canonical del Pezzo fibrations , Ann

    M. Sawahara, Cylinders in canonical del Pezzo fibrations , Ann. Inst. Fourier 74 (2024), 1–69

    work page 2024

  25. [25]

    Sawahara, Cylindrical ample divisors on Du Val del Pezzo surfaces , Forum Math

    M. Sawahara, Cylindrical ample divisors on Du Val del Pezzo surfaces , Forum Math. (Online first), 23pp. DOI: 10.1515/forum-2024-0279

    work page doi:10.1515/forum-2024-0279 2024

  26. [26]

    Urabe, On singularities on degenerate del Pezzo surfaces of degree 1, 2 , In: Singularities, Part 2 (Arcata, Calif., 1981) , Proc

    T. Urabe, On singularities on degenerate del Pezzo surfaces of degree 1, 2 , In: Singularities, Part 2 (Arcata, Calif., 1981) , Proc. Sympos. Pure Math., Vol. 40, American Mathematical S ociety, Providence, RI, 1983, 587–591

    work page 1981

  27. [27]

    Zhang, Logarithmic del Pezzo surfaces of rank one with contractibl e boundaries , Osaka J

    D.-Q. Zhang, Logarithmic del Pezzo surfaces of rank one with contractibl e boundaries , Osaka J. Math. 25 (1988) 461–497. F aculty of Education, Hirosaki University, Bunkyocho 1, Hi rosaki-shi, Aomori 036-8560, JAP AN Email address : sawahara.masatomo@gmail.com

    work page 1988