General position on Severi--Brauer surfaces

Jack Ritschel

REVIEW 3 major objections 4 minor 8 references

General position on Severi--Brauer surfaces

T0 review · 3 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

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

Pith's one-line read Blowing up a non-split Severi–Brauer surface at a finite centre yields a del Pezzo surface exactly when the centre is a degree-3 or degree-6 point, or two degree-3 points whose residue fields and nodal curves satisfy explicit conditions.

desk verdict A plausible classification of del Pezzo blow-ups of non-split Severi-Brauer surfaces whose genuinely new part (the two-point case) rests on two unproved combinatorial claims. read the letter →

arxiv 2606.27940 v2 pith:LYW6ARGZ submitted 2026-06-26 math.AG

Jack Ritschel This is my paper · ORCID

classification math.AG MSC 14J2614F22

keywords Severi–BrauersurfacesdelPezzogeneralpositionblowing-upGaloisdescentnodalcurvesintersectiontheorygeometric

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 asks when the blowing-up of a non-split Severi–Brauer surface along a finite set of closed points is again a del Pezzo surface. It proves a complete answer: the centre can only be a single point of degree 3 or degree 6, or two points of degree 3; a single point always works, and two points work under conditions on their residue fields and on the nodal curve each point determines. These conditions are the precise arithmetic replacement for the classical 'points in general position' test on the base-changed projective plane. If the theorem is right, it settles a natural problem in the arithmetic geometry of surfaces over arbitrary fields.

What carries the argument

The argument runs on Galois descent and the classical numerical criterion for del Pezzo surfaces. The central object is the nodal curve C_a associated to a degree-3 point a: it is the descent of the triangle of lines joining the three preimages of a in the split surface, a geometrically reduced genus-1 curve with unique node a, whose degree-3 closed points all have residue field isomorphic to κ(a). C_a encodes the 'line through two points' obstruction after descent. The other load-bearing device is the combinatorial classification of the nine possible six-point configurations with a line (Figure 1); only configurations B and H survive initial descent arguments, and the G-equivariant bijectio

What would settle it

Find a non-split Severi–Brauer surface over a field of characteristic p>0 with a purely inseparable degree-3 point whose blowing-up is smooth, or exhibit two degree-3 points with non-isomorphic residue fields whose six preimages form configuration H; either would refute Theorem 2.6. Independently, testing the combinatorial enumeration by writing down all six-point line configurations over the separable closure would settle whether the nine diagrams are exhaustive.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2.6. For a non-split Severi–Brauer surface X over k, Bl_Z(X) is a del Pezzo surface if and only if the residue field of every point of Z is separable and one of three cases holds: Z is a single degree-3 or degree-6 point; Z is two degree-3 points with non-isomorphic residue fields; or Z is two degree-3 points with isomorphic residue fields and neither point lies on the nodal curve associated with the other. The proof passes to the separable closure, where the surface splits as P^2, and checks the classical general-position conditions on the six preimage points. The only delicate obstruction is the configuration of two triangles (configuration H); descent forces a

Load-bearing premise

The load-bearing premise is the informal claim that the only six-point configurations violating general position are the nine diagrams A–I, and that configuration H forces a G-equivariant bijection between the two triples; if the enumeration is incomplete, or if H can occur with non-isomorphic residue fields, the necessity half of Theorem 2.6 for two degree-3 points fails.

Editorial extensions

If this is right

A non-split Severi–Brauer surface cannot be blown up at a rational point to obtain a del Pezzo surface; the only single-point centres that work are degree-3 and degree-6 points, and they always work.
Two degree-3 points with non-isomorphic residue fields always yield a del Pezzo surface.
Two degree-3 points with isomorphic residue fields yield a del Pezzo surface exactly when neither point lies on the nodal curve attached to the other.
The total degree of the centre is bounded by 8 and every point degree is a multiple of 3, so the three cases in Theorem 2.6 exhaust all possible centres.

Reading between the lines

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

If the theorem is correct, the incidence 'a lies on C_a'' is the arithmetic analogue of collinearity in the classical theorem; one could test this in examples by intersecting the two genus-1 curves.
The G-equivariant bijection claim in configuration H suggests a stronger cohomological statement linking configuration H to the isomorphism class of the étale algebra κ(a); proving that H cannot occur for non-isomorphic residue fields via étale cohomology would remove the informal enumeration step.
The same descent-plus-combinatorics strategy could be tried for higher-dimensional Severi–Brauer varieties, though the number of point configurations grows quickly; the divisibility of degrees may force similar arithmetic restrictions.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Jack, here's my read.

The paper states a complete 'if and only if' for when blowing up a non-split Severi-Brauer surface at reduced closed points yields a del Pezzo surface. The genuinely new part is the two-point case, Theorem 2.6(ii)-(iii), including the residue-field dichotomy and the nodal curve criterion. That extends the classical general position theorem to twisted forms in a way I have not seen in earlier literature, and it is a useful result for people working on arithmetic geometry.

The proof strategy is the right one: check general position after base change to the separable closure, then descend. The treatment of the one-point cases is clean, and the geometric idea of descending the triangle of lines to a nodal curve is a good way to encode the Galois action.

The soft spots are exactly the ones the stress test flags, and they are real. The enumeration of nine configurations of six points with a collinear triple (Figure 1) is presented as a short case analysis, but it does not rigorously rule out, say, configurations with a four-point line together with two three-point lines. If such a configuration exists and its line count is divisible by 3, the descent argument misses an obstruction. I doubt that is the case, but 'doubt' is not proof.

The second gap is more serious. In the two-point case, the assertion that configuration H forces a G-equivariant bijection between u^{-1}(a) and u^{-1}(a') — hence isomorphic residue fields — is the load-bearing step for the 'only if' direction of Theorem 2.6(ii)-(iii). It is stated in one sentence after Figure 3 and is not obvious from the figure. Without a proof of that bijection, the necessity direction is unsupported.

There is also a smaller issue in Proposition 1.5: the proof leans on [6, Thm 2.1], which is stated in characteristic zero, and says it extends 'ad verbatim' without spelling out the inseparable case. That may be fine, but it deserves a sentence or two.

None of this makes me think the theorem is false. The strategy is standard, the ingredients are credible, and the result is likely correct. But it is not yet demonstrated.

Who this paper is for: specialists in del Pezzo surfaces over non-algebraically closed fields and people who use Severi-Brauer varieties. It deserves a serious referee, and with the gaps fixed it would be a solid contribution.

Referee Report

3 major / 4 minor

Summary. The paper gives a classification of when blowing up a non-split Severi–Brauer surface X over a field k at a reduced collection of closed points Z yields a del Pezzo surface. The main result (Theorem 2.6) states that, after imposing separability of residue fields, the possible centres are exactly: (i) a single point of degree 3 or 6; (ii) two degree-3 points with non-isomorphic residue fields; or (iii) two degree-3 points with isomorphic residue fields, each avoiding the nodal curve associated with the other. The proof combines flat base change to the separable closure, intersection-theoretic degree restrictions, the classical general-position criterion on the projective plane, and descent arguments. The paper is concise and clearly written, but several load-bearing combinatorial and Galois-descent assertions are stated without full proof.

Significance. If the main theorem holds, it is a genuine and useful extension of the classical del Pezzo blow-up criterion to twisted forms of the projective plane. The result introduces an arithmetic flavour — residue-field isomorphism and nodal curves attached to degree-3 points — that is absent in the split case and is likely to be of interest to arithmetic geometers. The paper also gives a clean reduction to the classical Theorem 1.1 and makes good use of standard facts about Severi–Brauer varieties and flat base change. However, as noted below, the necessity direction of the main theorem currently rests on two unproved combinatorial/group-theoretic assertions, and one characteristic-p argument is passed over too quickly. These gaps are local but load-bearing, so the paper is not yet ready for acceptance.

major comments (3)

[§2, Figure 1 and the following paragraph] The classification of six-point configurations with a collinear triple is load-bearing: the descent argument uses the table of line counts to rule out all configurations except B and H. The given case analysis is not exhaustive. In particular, for n=3 the text jumps from 'one additional line' to configurations F and G, but does not rule out configurations with a 4-point line together with two 3-point lines, or with three 3-point lines whose incidence graph is not the triangle in H. If a missing configuration has a line count divisible by 3, the descent contradiction would not apply and the 'only if' direction of Theorem 2.6 would fail. A complete, verifiable enumeration (or a formal case split) is required.
[§2, paragraph after Figure 3] The assertion that in configuration H there is a G-equivariant bijection between u^{-1}(a) and u^{-1}(a') is the key step converting a geometric incidence pattern into the arithmetic condition that the two residue fields are isomorphic. This is not proved and is not obvious from the figure: one must show that the Galois action on the six intersection points of the two triangles restricts to isomorphic actions on the two triples. Without a rigorous proof, Proposition 2.3 and the necessity of the residue-field isomorphism in Theorem 2.6(ii) are unsupported. Please supply a detailed argument, for example by analyzing the stabilizers of the vertices and midpoints of the configuration.
[§1, Proposition 1.5] The proof that non-separable residue fields make the blow-up non-smooth relies on [6, Theorem 2.1], whose authors assume characteristic zero, and states that the proof extends 'ad verbatim'. Since Theorem 2.6 asserts separability of residue fields as necessary in all characteristics, this extension must be checked. In particular, the use of the quotient L ⊗_k L and its nilpotents should be spelled out, or a reference covering positive characteristic should be given.

minor comments (4)

[§2, proof of Proposition 2.1] The phrase 'there would be a fixed point' in ruling out configuration B for two degree-3 points is terse; it would help to state explicitly that a Galois-stable point outside the line would descend to a k-rational point, impossible on a non-split Severi–Brauer surface.
[§2, Proposition 2.5(i)] The text says the intersection scheme 'geometrically consists of 6 points' when computing mult_a(C). This is ambiguous: the intersection scheme has length 6, not necessarily six distinct geometric points. Please clarify.
[§2, Proposition 2.5] The notation 'mult_p(C)' is used in the proof, but p is already the characteristic of k; this should be 'mult_a(C)' or a different letter for the point.
[General] The name 'Ekeldahl' in the sentence about [7] appears to be a typo; please check the spelling and the attribution.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; the derivation is self-contained apart from unproved combinatorial assertions, which are gaps in rigor rather than circular reasoning.

full rationale

The paper's chain of reasoning is not circular. It reduces the Severi-Brauer question to the classical del Pezzo criterion via external, independently checkable facts: blowing-up commutes with flat base change ([8, 0805]), ampleness can be checked after base change ([8, 0D2P]), and the Chow-group restrictions on non-split Severi-Brauer surfaces are quoted from Kollar's external treatment [4]. The degree restrictions (multiples of 3, total degree at most 8) follow from these external inputs and from the Nakai-Moishezon criterion, not from the conclusion of Theorem 2.6. The sufficiency arguments for degree 3 and 6 points use descent and intersection theory, with no fitted parameters. The necessity direction for two degree-3 points hinges on two asserted but unproved claims: that the only six-point configurations with collinear triples are Figures A-I, and that in configuration H the two triples are G-equivariantly bijective so that their residue fields coincide. If these assertions fail, the theorem's necessity direction would be unsupported, but this would be a mathematical gap or error, not circularity. No step defines its input in terms of its output, renames a known result as a prediction, or uses a self-citation as load-bearing evidence. The citation [7] is to another author's earlier work and is not used to force the central dichotomy. Therefore the circularity score is 0.

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

The central theorem rests on standard prior results (classical general position, Chow groups of Severi–Brauer surfaces, base-change properties, and a blow-up smoothness criterion). No free parameters or invented entities are introduced. The main unproved input beyond cited theorems is the positive-characteristic extension of [6, Thm 2.1] and the internal combinatorial classification, which are captured in the axioms and red flags.

assumptions (5)

standard math Classical general-position criterion for blow-ups of P^2 (Theorem 1.1).
External benchmark; cited as [2, Proposition 2] and used in every reduction to the split case.
standard math For a non-split Severi–Brauer surface X, CH^1(X)=(-K_S)Z and CH^0(X)=Z a_0 with deg(a_0)=3; hence every curve and point has degree divisible by 3 (Prop. 1.2).
Taken from [4, p.24]; drives the restriction on possible centres.
standard math Blowing up commutes with flat base change (Lemma 1.3) and ampleness is preserved by field extension (Lemma 1.4).
Stacks Project tags 0805 and 0D2P; permits the reduction to k^sep.
domain assumption Smoothness of blow-up along a nonseparable residue extension fails; the char-0 result [6, Thm 2.1] extends to positive characteristic.
Paper asserts the extension ad verbatim in Prop. 1.5; no proof of the extension is given.
standard math Transitivity result [1, Lemma 2.3.2] for Aut_k(X) on degree-3 points and associated nodal curves.
Used in Prop. 2.5(iii) to show the nodal curves form a single orbit.

how reviews work

0 comments

Cite this review

Pith. "Pith review of General position on Severi--Brauer surfaces." pith.science (2026). https://pith.science/paper/LYW6ARGZ

@misc{pith2026260627940,
  author       = {Pith},
  title        = {Pith review of: General position on Severi--Brauer surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LYW6ARGZ}},
  note         = {Machine review of arXiv:2606.27940}
}

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.

Figures

Figures reproduced from arXiv: 2606.27940 by the authors.

**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 not. These… view at source ↗

**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 let u −1 (… view at source ↗

**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 between u −1 (… view at source ↗

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

8 extracted references · 2 linked inside Pith

[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

arXiv 2024
[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]

Hartshorne: Algebraic Geometry

R. Hartshorne: Algebraic Geometry. Springer, 1977

1977
[4]

Kollar: Severi–Brauer varieties: a geometric treatment

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

arXiv 2025
[5]

Liu: Algebraic Geometry and Arithmetic Curves

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

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

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]

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

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.

[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

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

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