pith. sign in

arxiv: 2606.27940 · v1 · pith:LYW6ARGZnew · submitted 2026-06-26 · 🧮 math.AG

General position on Severi--Brauer surfaces

Jack Ritschel This is my paper

Pith reviewed 2026-06-29 02:17 UTC · model grok-4.3

classification 🧮 math.AG
keywords Severi-Brauer surfacesdel Pezzo surfacesblow-upsgeneral positionGalois descentalgebraic surfacesintersection theory
0
0 comments X

The pith

Blowing up a Severi-Brauer surface at points in general position produces a del Pezzo surface precisely when the points meet specific arithmetic and geometric conditions.

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

The paper establishes a generalization of the classical result on del Pezzo surfaces obtained from blowing up the projective plane. It shows that the same outcome holds for Severi-Brauer surfaces over arbitrary fields exactly when the blown-up points obey explicit arithmetic and geometric conditions. A sympathetic reader would care because the result supplies a concrete criterion for constructing del Pezzo surfaces in arithmetic settings where the base field is not algebraically closed.

Core claim

The blowing-up of a Severi--Brauer surface at a finite set of points yields a del Pezzo surface if and only if the points satisfy explicit arithmetic and geometric conditions on the centre of the blowing-up. These conditions are obtained using Galois descent, intersection theory and combinatorial arguments.

What carries the argument

Explicit arithmetic and geometric conditions on the blow-up centre, obtained by applying Galois descent to the classical general position requirements.

If this is right

  • The result gives a complete characterization of which blow-ups of Severi-Brauer surfaces are del Pezzo surfaces.
  • The arithmetic conditions incorporate the action of the Galois group on the points and reduce to the usual no-three-collinear condition when the base field is algebraically closed.
  • Del Pezzo surfaces over non-closed fields arise exactly when the chosen points satisfy both the geometric incidence conditions and the Galois-orbit requirements.

Where Pith is reading between the lines

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

  • The conditions may be used to decide when the resulting surface has a rational point by examining the Galois orbits in the exceptional divisors.
  • Similar descent arguments could apply to blow-ups of other Brauer-Severi varieties or to minimal rational surfaces over the same fields.

Load-bearing premise

Galois descent, intersection theory and combinatorial arguments suffice to provide the explicit conditions that characterize when the blow-up is del Pezzo.

What would settle it

Take a concrete Severi-Brauer surface such as one associated to a central simple algebra and a set of points that violate one of the stated arithmetic conditions; check whether the blow-up still has ample anticanonical class.

Figures

Figures reproduced from arXiv: 2606.27940 by Jack Ritschel.

Figure 1
Figure 1. Figure 1: Six points with at least one collinear set of points. To see that this exhausts all possibilities, we use a combinatorial argument. We start by imposing the condition that 3 ≤ n ≤ 6 points lie on an initial line L. (1) If n = 6 or n = 5, there is only one possible configuration for each case. These are configurations A and B. (2) If n = 4, there are two free points. They can either lie on a second line or … view at source ↗
Figure 2
Figure 2. Figure 2: Configuration D with all points connected. By construction, these curves are Galois-stable and hence descend to curves on X of the same degree. Thus, if the number of lines is coprime to 3, the descended curve forces X to be split. Counting lines in each configuration shows that only B and H are not yet ruled out: Configuration A B C D E F G H I Number of lines 1 6 10 8 13 11 11 9 7 Let u : Xksep → X, and … view at source ↗
Figure 3
Figure 3. Figure 3: Configuration H with both triangles drawn. The points in the preimages u −1 (a) = {z1, z2, z3} and u −1 (a ′ ) = {z ′ 1 , z′ 2 , z′ 3} inherit a transitive group action by G = Gal(k sep/k). Any σ ∈ G can act on each triple, respectively, as a transposition, a cyclic permutation, or trivially. The crucial point is that, because of the geometry of the points and lines, there is a G-equivariant bijection betw… view at source ↗
read the original abstract

The blowing-up of the projective plane at a finite set of points yields a del Pezzo surface if and only if the points lie in general position. In this note, we generalize this result to Severi--Brauer surfaces over arbitrary ground fields. Using Galois descent, intersection theory and combinatorial arguments, we provide explicit arithmetic and geometric conditions on the centre of the blowing-up.

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 paper generalizes the classical fact that the blow-up of P^2 at finitely many points is del Pezzo if and only if the points are in general position. It asserts that the analogous statement holds for Severi-Brauer surfaces over arbitrary fields: the blow-up at a finite set of points is del Pezzo precisely when the center satisfies explicit arithmetic and geometric conditions. The proof is said to rely on Galois descent, intersection theory, and combinatorial arguments.

Significance. If the explicit conditions are correctly derived and stated, the result supplies a direct arithmetic analogue of a standard criterion, which is useful for the study of del Pezzo surfaces and rational surfaces over non-closed fields. The methods invoked (Galois descent together with intersection theory) are the standard ones for such descent questions and, when they succeed in producing explicit conditions, constitute a strength of the manuscript.

minor comments (2)
  1. [Abstract / Introduction] The abstract promises 'explicit arithmetic and geometric conditions' on the blow-up center; the main theorems should state these conditions in a self-contained, easily quotable form (e.g., as a list of numerical and Galois-orbit conditions) so that readers can apply them without reconstructing the argument.
  2. A short table or enumerated list comparing the classical general-position conditions over an algebraically closed field with the new arithmetic conditions over a general field would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its significance as an arithmetic analogue of the classical general position criterion, and the recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on standard external tools

full rationale

The paper claims an if-and-only-if generalization of the classical del Pezzo criterion on P^2 to Severi-Brauer surfaces, obtained via Galois descent, intersection theory, and combinatorial arguments. These are independent, standard tools in algebraic geometry over non-closed fields; the abstract and reader's summary give no indication of self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation chain is therefore self-contained against external benchmarks and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard axioms from algebraic geometry and Galois cohomology; no new free parameters or invented entities are introduced based on the abstract.

axioms (1)
  • domain assumption Properties of del Pezzo surfaces and blow-ups transfer via Galois descent from the algebraic closure to the base field.
    Invoked to generalize the result using descent.

pith-pipeline@v0.9.1-grok · 5569 in / 1056 out tokens · 35004 ms · 2026-06-29T02:17:37.453814+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

8 extracted references · 2 canonical work pages

  1. [1]

    Blanc, J

    J. Blanc, J. Schneider, E. Yasinsky: Birational maps of Severi–Brauer surfaces, with applications to Cremona groups of higher rank. arXiv, 2024, arXiv:2211.17123

    work page arXiv 2024

  2. [2]

    Demazure: Surfaces de del Pezzo II - Eclater n points dans P2

    M. Demazure: Surfaces de del Pezzo II - Eclater n points dans P2. Lecture Notes in Mathematics 777 (1980) 23–35

    1980

  3. [3]

    Hartshorne: Algebraic Geometry

    R. Hartshorne: Algebraic Geometry. Springer, 1977

    1977

  4. [4]

    Kollar: Severi–Brauer varieties: a geometric treatment

    J. Kollar: Severi–Brauer varieties: a geometric treatment. arXiv, 2025, arXiv:1606.04368

    work page arXiv 2025

  5. [5]

    Liu: Algebraic Geometry and Arithmetic Curves

    Q. Liu: Algebraic Geometry and Arithmetic Curves. Oxford University Press, 2002

    2002

  6. [6]

    O’Carroll, G

    L. O’Carroll, G. Valla: On the smoothness of blow ups. Communications in Algebra 25(6) (1997) 1861–1872

    1997

  7. [7]

    Weinstein: On birational automorphisms of Severi–Brauer surfaces

    F.V. Weinstein: On birational automorphisms of Severi–Brauer surfaces. Communications in Mathematics 30 (2022) 1–9

    2022

  8. [8]

    Heinrich Heine University Dusseldorf, F aculty of Mathematics and Natural Sci- ences, Mathematical Institute, 40204 Dusseldorf, Germany Email address:jack.ritschel@hhu.de

    The Stacks Project Authors: Stacks Project.https://stacks.math.columbia.edu(2018). Heinrich Heine University Dusseldorf, F aculty of Mathematics and Natural Sci- ences, Mathematical Institute, 40204 Dusseldorf, Germany Email address:jack.ritschel@hhu.de

    2018