On Coble surfaces and their automorphisms

Federico Pieroni

arxiv: 2604.18315 · v1 · submitted 2026-04-20 · 🧮 math.AG

On Coble surfaces and their automorphisms

Federico Pieroni This is my paper

Pith reviewed 2026-05-10 03:42 UTC · model grok-4.3

classification 🧮 math.AG

keywords Coble surfacesautomorphismsmoduli spacenodal surfacesboundary curvealgebraic geometry

0 comments

The pith

There exist two families of Coble surfaces for which the automorphism T fixes the irreducible boundary pointwise.

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

This paper studies a specific automorphism T on complex Coble surfaces X that have an irreducible boundary curve C. It proves the existence of two families of such surfaces where T restricts to the identity on C. For surfaces in the first family, X is nodal and T is the identity on the entire surface X. The second family is small and has codimension three inside the moduli space of all Coble surfaces. A reader would care because this classifies the cases in which the automorphism fixes the boundary, highlighting special geometric properties of these surfaces.

Core claim

We show that there are two families of Coble surfaces satisfying the condition T restricted to C equals the identity on C. Every Coble surface in the first family is nodal, and the stronger equality T equals the identity on X holds. The second family is small since it has codimension three in the moduli space of Coble surfaces.

What carries the argument

The automorphism T on a Coble surface X with irreducible boundary C, whose restriction to C being the identity selects the two families in the moduli space.

If this is right

Every surface in the first family is nodal.
The automorphism T equals the identity on all of X for the first family.
The second family occupies a locus of codimension three in the moduli space of Coble surfaces.

Where Pith is reading between the lines

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

The condition that T fixes C pointwise defines a special locus in the moduli space that decomposes into these two components.
Generic Coble surfaces do not have their automorphism T fixing the boundary.

Load-bearing premise

The automorphism T is well-defined and constructed on every complex Coble surface with an irreducible boundary C, and the moduli space has the standard structure.

What would settle it

A Coble surface not belonging to either of the two families but still satisfying T restricted to C equals the identity on C would falsify the classification.

read the original abstract

Given a complex Coble surface $X$ with irreducible boundary $C$, we consider a specific automorphism $T : X \to X$, initially defined by Pompilj. We show that there are two families of Coble surfaces satisfying the condition $T|_C = \mathbb{1}_C$. Every Coble surface $X$ in the first family in nodal, and moreover the stronger equality $T = \mathbb{1}_X$ holds. Meanwhile, the second family is ''small'', since it has codimension $3$ in the moduli space of Coble surfaces.

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.

Desk Editor's Note private letter to a colleague

The paper carves out two families of Coble surfaces where Pompilj's T fixes the boundary pointwise, with one family nodal and T the global identity and the other a codim-3 locus, but the claims rest entirely on that prior construction holding without exceptions.

read the letter

The paper shows there are two families of complex Coble surfaces with irreducible boundary C such that the automorphism T from Pompilj satisfies T restricted to C is the identity. In the first family every surface is nodal and T is actually the identity on the whole X. The second family sits in codimension 3 inside the moduli space of Coble surfaces. That is the concrete new statement. It organizes a special locus inside an already narrow class of rational surfaces and gives an explicit split into nodal and non-nodal cases. If the proofs are written out cleanly and the moduli-space dimension is handled without hidden assumptions, this supplies a usable reference point for anyone who needs to know when T acts trivially on the boundary. The main soft spot is the dependence on Pompilj's construction. The argument requires that T is well-defined and an automorphism for every such X, with no exceptions in the open set where C is irreducible. If that prior step has any gaps or if the moduli space of Coble surfaces has unexpected components or singularities that affect the codimension count, the partition into precisely these two families does not go through. The abstract itself gives no derivations, so the paper's value hinges on whether the full text supplies the missing steps without circularity. This is narrow algebraic geometry aimed at people already working on rational surfaces, moduli of Coble surfaces, or surface automorphisms. A reader outside that circle will not get much from it. It is the sort of incremental classification that can still be worth referee time if the technical details check out, because it fills a specific gap rather than repeating known results. I would send it to peer review rather than desk-reject.

Referee Report

2 major / 2 minor

Summary. The paper considers complex Coble surfaces X with irreducible boundary C and the automorphism T initially constructed by Pompilj. It claims to identify two families of such surfaces satisfying T restricted to C equals the identity on C. The first family consists of nodal surfaces on which the stronger equality T equals the identity on all of X holds. The second family is of codimension 3 inside the moduli space of Coble surfaces.

Significance. If the proofs are complete and the dependence on the Pompilj construction is rigorously justified, the result would classify the fixed behavior of this automorphism on the boundary and provide explicit families with nodal or low-codimension properties. This would contribute concrete information on the automorphism groups and the geometry of the moduli space of Coble surfaces, which are of interest in the study of K3-like surfaces and their degenerations.

major comments (2)

[Setup and §2 (construction of T)] The central claims (existence of the two families, the nodal property with T = 1_X, and the codimension-3 statement) rest on the well-definedness and uniqueness properties of the automorphism T constructed by Pompilj for every complex Coble surface with irreducible boundary C. The manuscript must explicitly recall or prove in the setup section that T is an automorphism under precisely these hypotheses; without this, the partition into the two families cannot be verified.
[Moduli space analysis (likely §4 or §5)] The codimension-3 claim for the second family requires an explicit computation of the dimension of the moduli space of Coble surfaces and a demonstration that the family is cut out by three independent conditions. This calculation is load-bearing for the 'small' characterization and must appear with a clear reference to the tangent space or deformation theory used.

minor comments (2)

[Abstract] Notation for the identity map alternates between 1_C and 1_X in the abstract; standardize to a single symbol (e.g., id_C) throughout for clarity.
[Introduction] The abstract states the results but the full text should include a short table or list summarizing the two families, their defining equations or properties, and the dimension of the ambient moduli space.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive major comments. We agree that additional explicit recall of the Pompilj construction and a detailed moduli-space calculation are needed to make the arguments fully self-contained. We will incorporate both in the revised version.

read point-by-point responses

Referee: [Setup and §2 (construction of T)] The central claims (existence of the two families, the nodal property with T = 1_X, and the codimension-3 statement) rest on the well-definedness and uniqueness properties of the automorphism T constructed by Pompilj for every complex Coble surface with irreducible boundary C. The manuscript must explicitly recall or prove in the setup section that T is an automorphism under precisely these hypotheses; without this, the partition into the two families cannot be verified.

Authors: We agree that the paper should be self-contained on this point. In the revised manuscript we will insert a new subsection at the beginning of §2 that (i) recalls Pompilj’s construction of T verbatim, (ii) states the precise hypotheses (complex Coble surface with irreducible boundary C) under which the construction yields an automorphism, and (iii) cites the relevant theorems from Pompilj’s work that guarantee T is an automorphism. This will make the well-definedness explicit and allow the reader to verify the subsequent partition into the two families. We do not claim uniqueness of T beyond what Pompilj establishes; the paper only uses existence and the listed properties. revision: yes
Referee: [Moduli space analysis (likely §4 or §5)] The codimension-3 claim for the second family requires an explicit computation of the dimension of the moduli space of Coble surfaces and a demonstration that the family is cut out by three independent conditions. This calculation is load-bearing for the 'small' characterization and must appear with a clear reference to the tangent space or deformation theory used.

Authors: We acknowledge that the codimension-3 statement, while asserted in the abstract and introduction, lacks the supporting calculation in the current text. In the revised version we will add, in the moduli-space section (currently §4), an explicit computation of the dimension of the moduli space of Coble surfaces with irreducible boundary using the tangent space to the deformation functor at a general point. We will then exhibit three independent conditions defining the second family and verify that they cut out a locus of codimension exactly three. The argument will reference the standard deformation theory of Coble surfaces (including the identification of the tangent space with H^1(T_X(-C)) or its appropriate analogue) and will include the necessary dimension counts. revision: yes

Circularity Check

0 steps flagged

No significant circularity; results build on external prior construction

full rationale

The abstract states that T is initially defined by Pompilj and then proceeds to classify Coble surfaces satisfying T|_C = 1_C into two families, with one nodal and satisfying the stronger T = 1_X, and the other of codimension 3 in the moduli space. No equations, definitions, or steps in the provided text reduce these claims to self-referential inputs, fitted parameters renamed as predictions, or load-bearing self-citations. The derivation relies on the external well-definedness of T and standard moduli space structure, which are independent benchmarks rather than internal loops. This is a standard non-circular use of prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the prior definition of the automorphism T by Pompilj and the standard definition of Coble surfaces over the complex numbers with irreducible boundary; no free parameters, new entities, or ad-hoc axioms are visible in the abstract.

axioms (2)

domain assumption Coble surfaces are complex algebraic surfaces equipped with an irreducible boundary curve C, and the moduli space of such surfaces is well-defined.
This is the setup stated in the abstract for the families under consideration.
domain assumption The automorphism T is well-defined on these surfaces as previously constructed by Pompilj.
The abstract invokes this construction without re-deriving it.

pith-pipeline@v0.9.0 · 5377 in / 1458 out tokens · 34400 ms · 2026-05-10T03:42:42.031105+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

Birational involutions ofP 2.Asian J

Lionel Bayle and Arnaud Beauville. Birational involutions ofP 2.Asian J. Math., 4(1):11–17, 2000

work page 2000
[2]

A. B. Coble. Cremona transformations with an invariant rational sextic.Bull. Am. Math. Soc., 45:285–288, 1939

work page 1939
[3]

Arthur B. Coble. The Ten Nodes of the Rational Sextic and of the Cayley Symmetroid.Amer. J. Math., 41(4):243–265, 1919

work page 1919
[4]

Dolgachev

I. Dolgachev. Invariant sextic (after A. Coble).Unpublished Notes, 2019

work page 2019
[5]

Singapore: Springer, 2025

Igor Dolgachev and Shigeyuki Kond o.Enriques surfaces II. Singapore: Springer, 2025. 28

work page 2025
[6]

Dolgachev and De-Qi Zhang

Igor V. Dolgachev and De-Qi Zhang. Coble rational surfaces.Am. J. Math., 123(1):79–114, 2001

work page 2001
[7]

A note on the Hodge index theorem.Manuscr

Tie Luo. A note on the Hodge index theorem.Manuscr. Math., 67(1):17–20, 1990

work page 1990
[8]

Coble surfaces: projective models and automorphisms with related topics

Federico Pieroni. Coble surfaces: projective models and automorphisms with related topics. PhD Thesis, University Roma Tre, 2025.arXiv: 2603.26338

work page arXiv 2025
[9]

Sulle transformazioni Cremoniane che posseggono per curva di punti uniti una sestica con dieci punti doppi.Bull

Giuseppe Pompilj. Sulle transformazioni Cremoniane che posseggono per curva di punti uniti una sestica con dieci punti doppi.Bull. Amer. Math. Soc., 46:684–686, 1940

work page 1940
[10]

Shafarevich.Basic algebraic geometry 1

Igor R. Shafarevich.Basic algebraic geometry 1. Varieties in projective space. Translated from the Russian by Miles Reid. Berlin: Springer, 3rd ed. edition, 2013. 29

work page 2013

[1] [1]

Birational involutions ofP 2.Asian J

Lionel Bayle and Arnaud Beauville. Birational involutions ofP 2.Asian J. Math., 4(1):11–17, 2000

work page 2000

[2] [2]

A. B. Coble. Cremona transformations with an invariant rational sextic.Bull. Am. Math. Soc., 45:285–288, 1939

work page 1939

[3] [3]

Arthur B. Coble. The Ten Nodes of the Rational Sextic and of the Cayley Symmetroid.Amer. J. Math., 41(4):243–265, 1919

work page 1919

[4] [4]

Dolgachev

I. Dolgachev. Invariant sextic (after A. Coble).Unpublished Notes, 2019

work page 2019

[5] [5]

Singapore: Springer, 2025

Igor Dolgachev and Shigeyuki Kond o.Enriques surfaces II. Singapore: Springer, 2025. 28

work page 2025

[6] [6]

Dolgachev and De-Qi Zhang

Igor V. Dolgachev and De-Qi Zhang. Coble rational surfaces.Am. J. Math., 123(1):79–114, 2001

work page 2001

[7] [7]

A note on the Hodge index theorem.Manuscr

Tie Luo. A note on the Hodge index theorem.Manuscr. Math., 67(1):17–20, 1990

work page 1990

[8] [8]

Coble surfaces: projective models and automorphisms with related topics

Federico Pieroni. Coble surfaces: projective models and automorphisms with related topics. PhD Thesis, University Roma Tre, 2025.arXiv: 2603.26338

work page arXiv 2025

[9] [9]

Sulle transformazioni Cremoniane che posseggono per curva di punti uniti una sestica con dieci punti doppi.Bull

Giuseppe Pompilj. Sulle transformazioni Cremoniane che posseggono per curva di punti uniti una sestica con dieci punti doppi.Bull. Amer. Math. Soc., 46:684–686, 1940

work page 1940

[10] [10]

Shafarevich.Basic algebraic geometry 1

Igor R. Shafarevich.Basic algebraic geometry 1. Varieties in projective space. Translated from the Russian by Miles Reid. Berlin: Springer, 3rd ed. edition, 2013. 29

work page 2013