Pith. sign in

REVIEW 2 major objections 2 references

The Calculus of Blowups on a Ruled Surface

T0 review · 2 major / 0 minor · reviewed 2026-07-01 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A blowup of a smooth ruled surface remains smooth exactly when log discrepancy and multiplicity parameters of its exceptional divisors form a generalised Farey sequence in the dual graph.

desk verdict The paper gives a numerical iff criterion for smoothness after blowups on ruled surfaces by requiring generalized Farey sequences of log discrepancy and multiplicity parameters in the dual graph, modeled via Berkovich P1 over Puiseux series. read the letter →

arxiv 2605.26598 v1 pith:XJ66GAJB submitted 2026-05-26 math.AG math.DS

Richard A. P. Birkett This is my paper · ORCID
classification math.AGmath.DS
keywords blowupsruledsurfaceslogdiscrepancymultiplicitygeneralisedFareysequencesdualgraphsBerkovichprojectivelinePuiseuxseries
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper gives a numerical test for smoothness after an arbitrary sequence of blowups on a smooth ruled surface. Smoothness holds if and only if the rational numbers built from log discrepancies and multiplicities of the exceptional divisors satisfy the generalised Farey sequence condition inside the dual graph. The argument models that dual graph by the Berkovich projective line over the Puiseux series field, which acts as a universal tree for the divisors. It also tracks how non-Archimedean skew products act on the multiplicity data along the tree. A reader cares because the test replaces geometric resolution with a check on ordered rational parameters.

What carries the argument

The generalised Farey sequence condition on log discrepancy and multiplicity parameters inside the dual graph of exceptional divisors, modeled by the Berkovich projective line over the Puiseux series.

What would settle it

Construct an explicit sequence of blowups on a ruled surface whose log discrepancy and multiplicity parameters form a generalised Farey sequence yet the resulting surface has a singular point, or the converse.

Watch

Extended reading notes

Core claim

The surface obtained by blowups is smooth if and only if the parameters involving log discrepancy and multiplicity of the exceptional divisors form a generalised Farey sequence within the dual graph of divisors, with the Berkovich projective line over the Puiseux series serving as the universal dual graph and with non-Archimedean skew products interacting with the multiplicity structure.

Load-bearing premise

The dual graph of divisors produced by blowups on a ruled surface is faithfully captured by the Berkovich projective line over the Puiseux series, so the Farey sequence condition is necessary and sufficient for smoothness.

Editorial extensions

If this is right

  • Smoothness after blowups reduces to verifying an ordering condition on a finite list of rational numbers attached to the dual graph.
  • The Berkovich projective line supplies a concrete combinatorial model that works for any sequence of blowups on the ruled surface.
  • Non-Archimedean skew products preserve or act compatibly on the multiplicity data along the tree edges.
  • The same parameter list that decides smoothness also encodes the full multiplicity structure of the exceptional tree.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same Farey-sequence test might apply to blowups on other surfaces once an analogous universal dual graph is identified.
  • The ordering condition could be rephrased in terms of continued-fraction expansions or mediant operations, yielding explicit recursive checks.
  • If the model holds, one could compute the minimal number of blowups needed to reach a smooth model by searching for the shortest Farey-compliant path in the tree.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 0 minor

Summary. The paper claims to determine numerically when an arbitrary blowup of a smooth surface is smooth: the surface is smooth if and only if certain rational parameters involving log discrepancy and multiplicity of the exceptional divisors form a generalised Farey sequence within the dual graph of divisors. It also provides an exposition of the Berkovich projective line over the Puiseux series as a universal dual graph for divisors on a ruled surface and explains interactions between non-Archimedean skew products and this multiplicity structure.

Significance. If substantiated, the numerical criterion would supply a concrete, sequence-based test for smoothness of blowups on ruled surfaces, potentially simplifying checks in resolution of singularities and birational geometry. The Berkovich exposition could usefully connect non-Archimedean analytic geometry to classical divisor theory on surfaces, and the skew-product discussion may illuminate dynamical or mapping properties on the dual graph. The three stated purposes are mutually compatible.

major comments (2)
  1. The manuscript supplies only the abstract; no derivations, examples, explicit sequences, or supporting mathematics are present to establish the claimed if-and-only-if numerical criterion for smoothness. This prevents verification of the central equivalence or the necessity of the generalised Farey sequence condition.
  2. The argument is described as routing the equivalence through the identification of the dual graph with the Berkovich projective line over the Puiseux series, but no details of this identification, its faithfulness, or any supporting lemmas are supplied, leaving the weakest assumption unexamined.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their comments. We agree that the current manuscript version consists only of the abstract and lacks the derivations, examples, and technical details needed to substantiate the claims. We will revise accordingly.

read point-by-point responses

  1. Referee: The manuscript supplies only the abstract; no derivations, examples, explicit sequences, or supporting mathematics are present to establish the claimed if-and-only-if numerical criterion for smoothness. This prevents verification of the central equivalence or the necessity of the generalised Farey sequence condition.

    Authors: We agree with the observation. The text provided contains only the abstract. In revision we will add the full derivations of the numerical criterion, concrete examples of generalised Farey sequences in the dual graph, and the complete proof of the if-and-only-if statement relating smoothness to the sequence condition. revision: yes

  2. Referee: The argument is described as routing the equivalence through the identification of the dual graph with the Berkovich projective line over the Puiseux series, but no details of this identification, its faithfulness, or any supporting lemmas are supplied, leaving the weakest assumption unexamined.

    Authors: We acknowledge that the current text supplies no details on the identification of the dual graph with the Berkovich projective line over the Puiseux series, nor on its faithfulness or supporting lemmas. The revised manuscript will include a complete exposition of this identification, the relevant lemmas establishing faithfulness, and the manner in which the identification routes the smoothness equivalence. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper states an if-and-only-if numerical criterion for smoothness of a blowup (parameters involving log discrepancy and multiplicity forming a generalised Farey sequence in the dual graph) and identifies the dual graph with the Berkovich projective line over Puiseux series. No equations, derivations, or self-citations are visible that reduce any load-bearing step to a fitted input, self-definition, or prior author result by construction. The Berkovich identification is presented as an expository tool rather than a derived claim that collapses into the target criterion, and the argument remains independent of any internal fit or renaming. The derivation is therefore self-contained against external benchmarks.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

Abstract only; no free parameters, axioms, or invented entities can be identified from the given text.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Calculus of Blowups on a Ruled Surface." pith.science (2026). https://pith.science/paper/XJ66GAJB

@misc{pith2026260526598,
  author       = {Pith},
  title        = {Pith review of: The Calculus of Blowups on a Ruled Surface},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XJ66GAJB}},
  note         = {Machine review of arXiv:2605.26598}
}
abstract

The purposes of this article are threefold. First, to determine numerically when an arbitrary blowup of a smooth surface is smooth. We show the surface is smooth if and only if certain rational parameters involving log discrepancy and multiplicity of the exceptional divisors form a generalised Farey sequence within the dual graph of divisors. Second, in doing the above we provide an exposition of the Berkovich projective line $\mathbb P^1_{\text{an}}(\mathbb K)$ over the Puiseux series as a universal dual graph for divisors on a ruled surface. Third, to explain how non-Archimedean skew products interact with this multiplicity structure of the tree.

Figures

Figures reproduced from arXiv: 2605.26598 by the authors.

Figure 1
Figure 1. A fibre with multiple components related with its dual graph, sitting inside a universal dual graph. Divisors are interpreted by ΓpXq, the red vertices, and intersections by blue edges. The converse demonstrated by Baker, Payne and Rabinoff [BPR13] states that each finite subset of vertices Γ Ă V in the universal dual graph gives rise to a birational model Y of X such that ΓpY q “ Γ. Note that these model surfaces a… view at source ↗
Figure 5
Figure 5. In other words, ζp0, |x| 5 8 q still gets mapped by ϕ˚ into a Γ1 -domain (with respect to a new larger vertex set Γ1 ) bounded by ζp0, |x| 2 3 q and ζp0, |x| 5 7 q. We conclude this example with a more geometric (but still dynamical) problem: Can we blowup P 1 ˆ P 1 to a surface X, so that the lift of ϕ to X has no indeterminacy? Regularisation, even somewhat locally, is rare. However, in this case the answer is yes… view at source ↗
Figure 2
Figure 2. The orbit of 0 under r ÞÑ 1 ´ r 2 . 0 1 1 4 1 3 2 5 1 2 3 5 2 3 1 0 3 4 1 1 1 0 0 1 1 1 1 2 1 3 2 3 1 4 3 4 1 5 2 5 3 5 4 5 [PITH_FULL_IMAGE:figures/full_fig_p010_2.png] view at source ↗
Figures from the paper (15 more)
Figure 3
Figure 3. Figure 3: Beginning with satellite blowups between 0 1 and 1 1 up to height 5. Accompanied by its dual graph in rζp0, 1q, ζp0, |x|qs [PITH_FULL_IMAGE:figures/full_fig_p010_3.png]
Figure 4
Figure 4. Figure 4: Blowing up resolves the previously contracted E3 4 to E5 8 . 0 1 1 4 1 3 2 5 1 2 3 5 5 8 2 3 1 0 3 4 1 1 5 7 1 0 0 1 1 1 1 2 1 3 2 3 1 4 3 4 1 5 2 5 3 5 4 5 5 8 5 7 [PITH_FULL_IMAGE:figures/full_fig_p011_4.png]
Figure 5
Figure 5. Figure 5: ϕ contracts E5 8 to a point, even after a blowup. This will require three more blowups. P 1 anzDanp0, |x| 1 2 q contains ζp0, 1q. However, one more blowup resolves the indeterminacy because it finds ζp0, |x| 2 q, the preimage of ζp0, 1q. One can check that the lift of …
Figure 6
Figure 6. Figure 6: Finally the image 5 8 ÞÑ 11 16 is resolved after three more blowups on the surface corresponding to Farey addition. 0 1 1 0 1 1 ´ 1 0 0 1 1 0 1 1 2 1 ´ 1 0 0 1 1 0 ´ 1 0 [PITH_FULL_IMAGE:figures/full_fig_p012_6.png]
Figure 7
Figure 7. Figure 7: After only two blowups, the lift of ϕ is continuous. The point p, in green, is fixed point where ϕ is continuous in a lifted neighbourhood of the origin. interval half the length, so necessarily the image of Rzra, bs intersects ra, bs. It follows that for any choice of…
Figure 8
Figure 8. Figure 8: After three blowups to the ‘left’ of 1 1 , 11 34 is in p 1 4 , 1 3 q very close to 1 3 . 1 3 1 4 11 34 2 7 3 10 4 13 5 16 6 19 7 22 8 25 9 28 10 31 [PITH_FULL_IMAGE:figures/full_fig_p014_8.png]
Figure 9
Figure 9. Figure 9: Ten more Farey additions to the ‘right’ and we locate 11 34 , whose asso￾ciated divisor is therefore resolved after blowing up to find the divisors with the Farey parameters above. (iii) Next, consider gpx, yq “ px 34, x21yq. By now, the reader might guess that this ca…
Figure 10
Figure 10. Figure 10: A symmetric pattern of Farey additions locates 21 34 » ? 5´1 2 [PITH_FULL_IMAGE:figures/full_fig_p014_10.png]
Figure 11
Figure 11. Figure 11: Locating ζp0, |x| 5{7 q. Next, we seek the direction containing ζpx 5{7 , |x| 1{1 q, or equivalently x 5{7 ` x ` x 4{3 , or much more simply x 5{7 . This is simply a correct choice of constant c for which cx5{7 lands at the divisor corresponding to ζp0, |x| 5{7 q. Rec…
Figure 12
Figure 12. Figure 12: Dual graph for Example 2.3, approximately to scale. Finally, we remark that including all Galois conjugates of these Type II points would yield a Farey vertex set. Indeed, it would be the (unique) smallest one that includes ζpx 5{7 ` x ` x 4{3 , |x| 3{2 q. Remark 2.2.…
Figure 13
Figure 13. Figure 13: The multiplicity 7 limb of the dual graph, Farey parameters multiplied by 7. 2.5. Algebraic Dynamical Application. The regularisation of a rational map in the last exam￾ple is typically too much to hope for, even “locally” (as above). In the dynamics of rational maps …
Figure 14
Figure 14. Figure 14: A sequence of blowups of P 1 ˆ P 1 . Divisors E a b labelled by their rational parameter a b . The above example shows a very useful property: The ‘abscissa’ of exceptional curves never changed under blowup and proper transform (up to reciprocal). E1 retained x y and …
Figure 16
Figure 16. Figure 16: The complete Farey sequence between 0 and 3 of order 5 [PITH_FULL_IMAGE:figures/full_fig_p031_16.png]
Figure 17
Figure 17. Figure 17: We can find 7 17 by repeated Farey addition between 0 1 and 1 1 . The study of the mediant and Farey sequences is practically ancient, with the above observation apparently being made by Plato in the Parmenides dialogue, mid fourth century BCE. Names of mathematicians…
Figure 18
Figure 18. Figure 18: Blowups by Farey addition, with parameters at infinity for sections. a 1 the highest finite fraction then a 1 ‘ 1 0 “ a`1 1 . In the theorem above we see a ⇝ a ˘ 1 (fixing b) after a free blowup, where 1 0 parametrises a Type I point in an extended dual graph. Of cour…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 2 canonical work pages

  1. [1]

    [Bir23] Richard A. P. Birkett. Skew products on the berkovich projective line. Preprint available on ArXiv https://arxiv.org/abs/2310.17628,

    work page arXiv

  2. [2]

    [Bir24] Richard A. P. Birkett. Algebraic stability for skew products. Preprint available on ArXiv https://arxiv.org/abs/2408.02658,

    work page arXiv

Pith tools

Reviewed July 1, 2026 · model on record in the stance chip above.