arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2605.26598

The Calculus of Blowups on a Ruled Surface

Richard A. P. Birkett
View original source ↗Read source document ↗Export metadata ↓

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.

Explore related subjects

math.AGmath.DS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Richard A. P. Birkett. 2026-05-26. The Calculus of Blowups on a Ruled Surface. https://arxiv.org/abs/2605.26598

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Numerical Elimination: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets

Many hypersurfaces in algebraic geometry, such as discriminants, arise as the projection of another variety. The real complement of such a hypersurface decomposes into connected components. In this paper, we propose a new method for computing these components. Existing methods require the explicit equation of the hypersurface as input. However, computing this equation by elimination can be computationally demanding or even infeasible. Our approach instead derives from univariate interpolation by computing the intersection of the hypersurface with a line. Such an intersection may be computed using so-called pseudo-witness sets without computing a defining equation for the hypersurface. We implement our approach in a forthcoming Julia package and demonstrate, on several examples, that the resulting algorithm accurately recovers all components of the real complement of the hypersurface.

math.AG↗
arXiv2026

On G-birational rigidity of projective spaces

In this paper, we study finite subgroups $G\subset\mathrm{Aut}(\mathbb{P}^n)$ such that $\mathbb{P}^n$ is $G$-birationally rigid. For each $n\geqslant 3$, we prove that $\mathrm{Aut}(\mathbb{P}^n)$ contains at most finitely many such subgroups up to conjugation. For $n=4,5,7$, we prove that $\mathbb{P}^n$ is $G$-birationally superrigid if $G$ is a primitive subgroup isomorphic to $\mathrm{PSp}_{4}(\mathbf{F}_3)$, $\mathrm{PSU}_4(\mathbf{F}_3)\rtimes\boldsymbolμ_2$, $\mathrm{O}_8^+(\mathbf{F}_2)\rtimes \boldsymbolμ_2$, respectively.

math.AG↗
arXiv2026

Topological String Blowup Equations via Stable Pairs

The blowup equations of Huang, Sun and Wang are bilinear relations satisfied by the refined topological string partition function of a local Calabi--Yau 3-fold. We prove the blowup equations for the local Hirzebruch surfaces \(\operatorname{Tot}_{\mathbb F_\ell}K_{\mathbb F_\ell}\), \(0\leq\ell\leq2\), as identities of torus-equivariant symmetrized \(K\)-theoretic stable pair invariants; for \(\ell=2\) the invariants are localized indices. The proof identifies the stable pair vertex sum, after division by the fibre contribution, with the equivariant Euler characteristic of \((\det\mathcal V)^\ell\) on the moduli space of framed rank \(2\) sheaves on \(\mathbb P^2\). The blowup formulas of Nakajima--Yoshioka for framed sheaves then yield the unity and vanishing equations. For local \(\mathbb P^2\) we obtain the blowup equations conditionally on two explicitly stated conjectures. We also state the Huang--Sun--Wang conjecture for general local Calabi--Yau 3-folds in the language of stable pairs, and formulate stable pair conjectures for the local rational elliptic surface involving the \(E_8\) lattice.

math.AG↗