arxiv: 2605.10244 · v1 · submitted 2026-05-11 · 🧮 math.AG

Recognition: 1 theorem link

· Lean Theorem

Polarized cylinders on blow-ups of weighted projective planes

In-Kyun Kim, Joonyeong Won, Masatomo Sawahara

Pith reviewed 2026-05-12 05:22 UTC · model grok-4.3

classification 🧮 math.AG

keywords polarized cylindersblow-upsweighted projective planesrational surfacesweighted hypersurfacescomplete intersectionsalgebraic surfaces

0 comments

The pith

Blow-ups of the weighted projective plane P(1,1,m) at m+4 general points produce rational surfaces containing polarized cylinders.

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

The paper examines polarized cylinders on rational surfaces created by blowing up m+4 points in general position on the weighted projective plane P(1,1,m). These surfaces appear as weighted hypersurfaces or quasi-smooth complete intersections in projective space. A reader would care because the weighted structure and point positions allow explicit descriptions of the cylinders and their associated polarizations. If the study holds, it supplies a concrete family of surfaces where cylinder geometry can be tracked through the exceptional divisors and the pullback polarization.

Core claim

The authors establish that polarized cylinders exist on these blown-up surfaces and can be studied by using the general position of the points together with the realization of the surfaces as weighted hypersurfaces or quasi-smooth complete intersections.

What carries the argument

The polarized cylinder on the rational surface, consisting of a cylindrical open set equipped with a polarization from an ample divisor class pulled back from the weighted plane.

If this is right

The cylinders can be described explicitly using the exceptional curves introduced by the blow-ups.
The hypersurface equations give concrete equations for locating the cylinders inside the surface.
The family parameterized by m produces infinitely many distinct examples with controlled polarization degrees.
The general position assumption ensures the cylinders remain non-degenerate under small deformations of the points.

Where Pith is reading between the lines

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

The same weighted blow-up technique might produce cylinders on surfaces with other weight vectors beyond (1,1,m).
Computing the cylinders explicitly could yield new bounds on the number of lines or curves of low degree on these surfaces.
The construction offers a test case for whether polarized cylinders determine the birational type of the surface.

Load-bearing premise

The m+4 points lie in general position on P(1,1,m) so that the blow-up produces a surface without extra singularities and with the expected Picard group.

What would settle it

An explicit example for some integer m where the blow-up at m+4 general points yields a surface with no polarized cylinder would disprove the existence claim.

Figures

Figures reproduced from arXiv: 2605.10244 by In-Kyun Kim, Joonyeong Won, Masatomo Sawahara.

**Figure 1.** Figure 1: Configuration of the P 1 -fibration φ : S˜ → P 1 2.2. Examples of cylinders. Let S be a log del Pezzo surface obtained by the blow-up of the weighted projective plane P(1, 1, m) at m + 4 points in general position, where m ≥ 2. In this subsection, we will present several examples of cylinders in S. Note that S has a unique singular point p of type 1 m (1, 1). Let π : S˜ → S be the minimal resolution at p ∈… view at source ↗

**Figure 2.** Figure 2: Birational map g ◦ f −1 : S˜ 99K Ft−2 Proof. Let f : S¯ → S˜ be blow-ups at q˜ and first infinitely near point of q˜, and let L¯ 1 + L¯ 2 be the reduced exceptional divisor of f, where L¯ 1 and L¯ 2 are a (−2)-curve and a (−1)-curve on S¯, respectively. Set Γ := ¯ f −1 ∗ (Γ˜ q˜), F¯ := f −1 ∗ (F˜ q˜), Q¯ := f −1 ∗ (Q˜), E¯ i := f −1 ∗ (E˜ i) for i = 1, . . . , t, and E¯′ j := f −1 ∗ (E˜′ j ) for j = t + 1,… view at source ↗

**Figure 3.** Figure 3: Birational map g ◦ f −1 : S˜ 99K F1 F¯ + C¯ + E¯ 1 + E¯ 2 + Pm+4 i=3 E¯′ i is disjoint and contractible. By contracting this disjoint union, we obtain the birational morphism g : S¯ → F1. Then g∗(Q¯), g∗(Γ) and ¯ g∗(L¯ 1) are 0-curves, and g∗(L¯ 2) is a (−1)-curve. See also [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗

**Figure 4.** Figure 4: Birational morphism f : S˜ → P 2 3. Proof of Theorem 2 In this section, we prove Theorem 2. Let S be a log del Pezzo surface obtained by the blow-up of the weighted projective plane P(1, 1, m) at m + 4 points in general position, where m ≥ 2. Note that S has a unique singular point p of type 1 m (1, 1). Let π : S˜ → S be the minimal resolution at p, and let Q˜ be the reduced exceptional curve of π. Note th… view at source ↗

**Figure 5.** Figure 5: Configuration of the P 1 -fibration ϕH ◦ π : S˜ → P 1 and (−1)-curves E˜′ 1 , . . . , E˜′ 4 , E˜ 5, . . . , E˜m+4 on S˜ such that Q˜ is a section and φ admits m + 4 singular fibers E˜ 1 + E˜′ 1 , . . . , E˜m+4 + E˜′ m+4. Let F˜ be a general fiber of φ. We note that: π −1 ∗ (B) ∼Q Q˜ + E˜′ 5 + · · · + E˜′ m+4 ∼Q Q˜ + mF˜ − E˜ 5 − · · · − E˜m+4, E˜′′ i ∼Q π −1 ∗ (B) − E˜ i ∼Q Q˜ + mF˜ − E˜ i − E˜ 5 − · · · −… view at source ↗

read the original abstract

We study polarized cylinders in certain rational surfaces arising from blow-ups of weighted projective planes. In particular, we consider the surfaces obtained by blowing up $m+4$ points in general position on the weighted projective plane $\mathbb{P}(1,1,m)$. These surfaces appear naturally as weighted hypersurfaces or quasi-smooth complete intersections.

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.

Desk Editor's Note private letter to a colleague

This paper gives explicit constructions of polarized cylinders on blow-ups of P(1,1,m) at m+4 general points, presented as hypersurfaces or complete intersections, but the general position claim needs explicit checks against orbifold issues.

read the letter

The core of the paper is a study of polarized cylinders on rational surfaces obtained by blowing up m+4 points in general position on the weighted plane P(1,1,m). These surfaces are treated as weighted hypersurfaces or quasi-smooth complete intersections, and the work describes the cylinders in terms of the resulting exceptional divisors and the polarization class. It extends the usual blow-up constructions from ordinary projective planes to this weighted case with concrete parameter m. The authors lay out the basic geometry and likely compute the possible polarizations for small values or in general. That part is straightforward and uses standard tools from the classification of rational surfaces. The constructions appear reproducible from the abstract description. The soft spot is the reliance on general position to guarantee quasi-smoothness and the complete intersection property. For m greater than 1 the weights introduce orbifold singularities, and points could land near the singular locus or cause degenerations in the anticanonical embedding unless extra transversality is imposed. The paper states the surfaces appear naturally in this form, so it must contain arguments that general position suffices, but those arguments would need to be checked carefully to rule out extra exceptional divisors or failures of the intersection condition. This is a narrow but solid piece for specialists in birational geometry of surfaces who care about explicit examples in weighted projective spaces. A reader already working on polarized rational surfaces or complete intersections would get usable concrete cases out of it. It is worth sending to peer review with a referee who knows the weighted case and can verify the singularity and transversality details.

Referee Report

1 major / 0 minor

Summary. The manuscript studies polarized cylinders in rational surfaces obtained by blowing up m+4 points in general position on the weighted projective plane P(1,1,m). These surfaces are claimed to arise naturally as weighted hypersurfaces or quasi-smooth complete intersections.

Significance. If the realizations as hypersurfaces and the subsequent analysis of polarized cylinders hold, the work would supply concrete examples of such structures on rational surfaces with weighted singularities, potentially aiding classification efforts and the study of embeddings in algebraic geometry.

major comments (1)

[Abstract] Abstract: The central claim that blow-ups of m+4 points in general position on P(1,1,m) appear naturally as weighted hypersurfaces or quasi-smooth complete intersections is load-bearing but unsubstantiated in the provided description. General position on the weighted plane does not automatically ensure the points avoid the singular locus or prevent extra exceptional divisors and degenerations in the anticanonical embedding for m>1; explicit transversality conditions or case-by-case verification for the complete-intersection property are required to support the constructions.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for highlighting the need to substantiate the realization of these blow-ups as weighted hypersurfaces. We address the single major comment below and will incorporate clarifications in the revised manuscript.

read point-by-point responses

Referee: [Abstract] Abstract: The central claim that blow-ups of m+4 points in general position on P(1,1,m) appear naturally as weighted hypersurfaces or quasi-smooth complete intersections is load-bearing but unsubstantiated in the provided description. General position on the weighted plane does not automatically ensure the points avoid the singular locus or prevent extra exceptional divisors and degenerations in the anticanonical embedding for m>1; explicit transversality conditions or case-by-case verification for the complete-intersection property are required to support the constructions.

Authors: We agree that the abstract statement would benefit from additional clarification. In the manuscript, 'general position' is defined in Section 2.1 to mean that the m+4 points lie in the smooth locus of P(1,1,m) (i.e., away from the unique singular point of weight m) and satisfy the standard no-three-on-a-line and no-six-on-a-conic conditions adapted to the weighted setting. These conditions ensure that the blow-up has the expected Picard rank and that the anticanonical linear system embeds the surface as a quasi-smooth hypersurface of degree 2m+2 in P(1,1,m,1,1) or as a complete intersection in a weighted projective 3-space, as constructed explicitly in Section 3 via the equations of the weighted hypersurface. The transversality follows from the generality assumption, which avoids the finite number of bad loci in the configuration space. To address the referee's concern directly, we will revise the abstract to include a brief parenthetical reference to this definition and add a short paragraph in the introduction summarizing the verification (with explicit checks for m=2,3 and a general argument for m>3). No new theorems are required, but the exposition will be strengthened. revision: partial

Circularity Check

0 steps flagged

No circularity; constructions rely on standard algebraic geometry operations

full rationale

The paper defines surfaces by blowing up m+4 points in general position on P(1,1,m) and studies polarized cylinders on the resulting rational surfaces, which are realized as weighted hypersurfaces or quasi-smooth complete intersections. These steps use standard blow-up constructions, embeddings, and birational geometry techniques without fitting parameters to data, without renaming known results as new derivations, and without load-bearing self-citations that reduce the central claims to unverified inputs. The derivation chain is self-contained against external benchmarks in algebraic geometry and does not exhibit any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard algebraic geometry axioms such as properties of blow-ups and weighted projective spaces. No free parameters or invented entities are evident from the abstract.

axioms (2)

standard math Blow-ups of points in general position on weighted projective planes yield rational surfaces with expected Picard rank and canonical class.
Invoked implicitly when defining the surfaces obtained by blowing up m+4 points.
domain assumption Polarized cylinders are well-defined divisors or line bundles satisfying positivity conditions on these surfaces.
Central to the objects being studied; assumed from prior literature on polarized varieties.

pith-pipeline@v0.9.0 · 5341 in / 1291 out tokens · 33245 ms · 2026-05-12T05:22:13.065394+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

[1]

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
[2]

Cavey and T

D. Cavey and T. M. Prince,Del Pezzo surfaces with a single 1 k (1,1)singularity, J. Math. Soc. Japan72 (2020), no. 2, 465–505

work page 2020
[3]

Cheltsov, J

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

work page 2016
[4]

Cheltsov, J

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

work page 2016
[5]

Cheltsov, J

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

work page 2017
[6]

Dubouloz, I.-K

A. Dubouloz, I.-K. Kim, T. Kishimoto and J. Won,Cylinders in weighted Fano varieties, arXiv:2603.11490 (2026), 23 pp

work page arXiv 2026
[7]

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

work page 2024
[8]

I.-K. Kim, J. Kim and J. Won,Rigid affine cones over singular del Pezzo surfaces, arXiv:2506.01310 (2025), 18 pp

work page arXiv 2025
[9]

I.-K. Kim, T. Kishimoto and J. Won,Cylinders in weighted Fano hypersurfaces via projections and unpro- jections, Taiwanese J. Math.29(2025), no. 6, 1495–1505

work page 2025
[10]

I.-K. Kim, T. Kishimoto and J. Won,Automorphism groups and cylindricity of weighted hypersurface Fano threefolds, arXiv:2508.04367 (2025), 28 pp

work page arXiv 2025
[11]

Kim, D.-W

J. Kim, D.-W. Lee and M. Sawahara,Cylinders in Du Val del Pezzo surfaces of degree one with Picard rank two, arXiv:2512.01285 (2025), 25 pp. To appear in EMS Surv. Math. Sci

work page arXiv 2025
[12]

Kim and J

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

work page 2025
[13]

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 Society, Providence, RI, 2011, 123–163

work page 2011
[14]

Kishimoto, Y

T. Kishimoto, Y. Prokhorov and M. Zaidenberg,G a-actions on affine cones, Transform. Groups18(2013), no. 4, 1137–1153

work page 2013
[15]

Kishimoto, Y

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

work page 2014
[16]

Kojima,Algebraic compactifications of some affine surfaces, Algebra Colloq.9(2002), no

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

work page 2002
[17]

Marquand and J

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

work page 2018
[18]

Park and J

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

work page 2016
[19]

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

work page 2013
[20]

Sawahara,Cylinders in canonical del Pezzo fibrations, Ann

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

work page 2024
[21]

Sawahara,Cylindrical ample divisors on Du Val del Pezzo surfaces, Forum Math.37(2025), no

M. Sawahara,Cylindrical ample divisors on Du Val del Pezzo surfaces, Forum Math.37(2025), no. 5, 1597–1619

work page 2025
[22]

Sawahara,Polarized cylinders in Du Val del Pezzo surfaces of degree two, arXiv:2412.09848 (2024), 30 pp

M. Sawahara,Polarized cylinders in Du Val del Pezzo surfaces of degree two, arXiv:2412.09848 (2024), 30 pp

work page arXiv 2024
[23]

Shakhmatov and H

K. Shakhmatov and H. L. Truong,Flexibility of affine cones over a smooth complete intersection of two quadrics, arXiv:2512.05219 (2025), 15 pp. To appear in Proc. Roy. Soc. Edinburgh Sect. A. June E Huh Center for Mathematical Challenges, Korea Institute for Advanced Study, 85, Hoegiro Dongdaemun-gu, Seoul 02455, Republic of Korea Email address:soulcraw@k...

work page arXiv 2025