A new arXiv preprint describes two complementary ways to build explicit birational models for degree-two marked elliptic surfaces over the complex numbers. In practical terms, it gives two mathematical descriptions of the same broad geometric problem: one based on a double cover and another based on a relative determinantal construction. The work is theoretical rather than empirical, so its results are conditional mathematical statements and explicit constructions, not measurements from participants, experiments or an external dataset.
The surfaces at the centre of the paper may have double fibres, and the choice of marking is part of the structure being modelled. Here, “birational” means that different-looking equations can describe closely related versions of the underlying surface. The paper’s main contribution is to make those versions explicit enough to study their equations, singularities and special examples within a common framework.
One route starts with the branch data
The first route turns the problem into a double-cover construction. The theorem writes the branch divisor—the data that records where the cover branches—as B0 plus a sum of fibre terms Γi over the relevant points. This separates a remaining branch component from contributions attached to particular fibres, giving the model a form that can be examined both globally and locally.
The local picture also links the branch component to the singularities of the resulting ample model. At the relevant points, the remaining component B0 has a singularity of type A with index n+3, while the construction identifies the corresponding elliptic singularities of the ample model. These are theorem-level relationships under the stated algebraic-geometric assumptions, rather than estimates carrying statistical error bars.
A related construction shows what the branch-divisor setup can produce. It yields a smooth, relatively minimal elliptic fibration with a bisection and multiple fibres of type 2I with index ni over designated points. The result gives an explicit way to prescribe the marked bisection together with the listed multiple-fibre types within a single elliptic-surface construction.
The second route turns the geometry into equations
The second route is relative determinantal: instead of presenting the surface primarily as a cover, it describes the ample model through equations that fit together along the fibration. With at least one double fibre, the paper embeds the ample model in a weighted projective bundle, a family of projective spaces whose coordinates carry prescribed weights. This provides a second global language for the birational geometry, with the double-cover and determinantal descriptions serving complementary purposes.
That global description is conditional rather than universal. Under the theorem’s splitting assumptions, and for sufficiently large m, the paper gives the stated global presentation of the relative section ring, the graded collection of sections used to recover the model. For a splitting fibration over P1, sufficiently general f4 defines the ample model of a relatively minimal elliptic fibration with k double fibres over designated points.
Those qualifications are important to the scope of the result. The global presentation requires a splitting condition, while the projective-line construction is stated for sufficiently general defining sections. The paper therefore supplies explicit models for the cases covered by its hypotheses; it does not establish that the same global determinantal description is available whenever the splitting condition fails.
Halphen and Enriques surfaces put the framework to work
The paper applies the constructions to Halphen surfaces using one natural marking, written O_S(D). For that marking, it gives an explicit global ample-model embedding in a toric variety. A second marking, O_S(D−K_S), also receives an explicit global ample-model embedding. Treating both choices shows how the paper uses different markings to produce distinct, concrete descriptions within the Halphen setting.
Enriques surfaces provide another pair of applications. The paper gives a toric model for non-special Enriques surfaces and a separate explicit toric model for special Enriques surfaces. In the special case, the toric model has an ideal generated by twelve equations. An ideal is the collection of equations that cuts out the model, so this result records the special case in a particularly concrete algebraic form.
The two Enriques descriptions are also connected by a flat deformation from the special model to the non-special model, and the paper concludes deformation equivalence. In this setting, a flat deformation is a mathematical family that relates one algebraic model to another while preserving the structure required by the construction. Some claims in the Enriques deformation argument were checked using Macaulay2, a computer algebra system.
A precise toolkit, with clear boundaries
The study’s evidence is mathematical construction: section-ring and sheaf calculations, birational maps, singularity resolutions, cohomology and explicit equations. It does not report an empirical comparison group, a measured outcome or a quantitative uncertainty estimate. That distinction matters when reading the paper’s claims. The constructions hold under their algebraic-geometric assumptions, and the supplied analysis does not independently verify every algebraic or computational assertion beyond the checks described by the authors.
The paper also does not claim that either model is superior for every moduli problem or every marked elliptic surface. Several constructions require sufficiently general sections or sufficiently large auxiliary parameters, and the examples do not show that all elliptic surfaces with double fibres fall into the Halphen and Enriques cases discussed. The result is best understood as a set of explicit models and examples, not as a classification of every possible surface in the broader class.
The open mathematical questions follow directly from those boundaries: extending the approach to higher-degree relative polarisations, globalising the determinantal description when splitting fails, and determining what broader consequences the two models may have for moduli problems. The supplied document is arXiv version 1, dated 20 August 2026, and no journal venue is reported in the accompanying metadata.
Paper data and sources
Original title: Explicit birational models of marked elliptic surfaces of relative degree two
Authors: Sönke Rollenske, Anna Ulivi, Aline Zanardini
Journal/Repository: arXiv
Status: Preprint, not yet peer-reviewed
First online: 2026-08-20
DOI: Not available
Original paper · Full text