Supersingular elliptic surfaces and Infinitesimal Torelli

Remke Kloosterman

arxiv: 2604.12530 · v1 · submitted 2026-04-14 · 🧮 math.AG

Supersingular elliptic surfaces and Infinitesimal Torelli

Remke Kloosterman This is my paper

Pith reviewed 2026-05-10 14:32 UTC · model grok-4.3

classification 🧮 math.AG MSC 14J27

keywords elliptic surfacessupersingularinfinitesimal TorelliJacobian elliptic surfacesproduct-quotient structureArtin supersingularitybase change

0 comments

The pith

Two classifications of Jacobian elliptic surfaces coincide, allowing one argument to establish both Artin supersingularity and failure of infinitesimal Torelli.

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

Katsura in 1981 classified non-rational Jacobian elliptic surfaces that admit a rational base change. A 2004 classification listed Jacobian regular elliptic surfaces that fail infinitesimal Torelli. These lists turn out to be very similar. The paper exploits the product-quotient structure shared by these examples to simultaneously prove that Katsura's surfaces are Artin supersingular and to give a new proof that the surfaces do not satisfy infinitesimal Torelli. A sympathetic reader would care because this connects the arithmetic property of supersingularity with the deformation-theoretic property of Torelli failure through a common geometric structure.

Core claim

The examples from the two classifications share a product-quotient structure that simultaneously implies Artin supersingularity for Katsura's surfaces and the failure of infinitesimal Torelli for the others.

What carries the argument

The product-quotient structure of these Jacobian elliptic surfaces.

If this is right

Katsura's examples are Artin supersingular.
The surfaces fail infinitesimal Torelli, with a new proof provided.
The two classifications describe essentially the same set of surfaces.

Where Pith is reading between the lines

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

The product-quotient structure may help identify supersingularity in other families of elliptic surfaces beyond these lists.
Similar overlaps between classifications could simplify proofs for related properties like Hodge theory failures in algebraic surfaces.

Load-bearing premise

The two classifications consist of the same or sufficiently overlapping examples that admit a product-quotient structure allowing a single argument to establish both supersingularity and Torelli failure.

What would settle it

An example appearing in one classification but not the other, or a surface in the lists that is not Artin supersingular or does satisfy infinitesimal Torelli, would show the unified argument does not hold.

read the original abstract

In 1981 Katsura presented a classification of non-rational Jacobian elliptic surfaces which admit a base change which is rational. In 2004 we presented a classification of Jacobian regular elliptic surfaces which do not satisfy infinitesimal Torelli. These classifications of quite different properties turn out to be very similar. In this paper we use an argument exploiting the product-quotient structure of these examples to prove simultaneously that Katsura's examples are Artin supersingular, and to give a new proof that our examples do not satisfy infinitesimal Torelli.

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

Kloosterman shows that two classifications of Jacobian elliptic surfaces overlap closely enough to allow a single product-quotient argument proving both supersingularity and Torelli failure.

read the letter

The main thing to know is that this paper identifies a close overlap between Katsura's 1981 list of non-rational Jacobian elliptic surfaces with rational base change and the 2004 list of those failing infinitesimal Torelli, then uses their shared product-quotient structure for a joint proof of Artin supersingularity and Torelli failure. The simultaneous argument is the actual new piece. It takes the decomposition into quotients of products that these surfaces admit and applies it directly to the formal Brauer group and height computations for supersingularity on the Katsura examples, while the same structure controls the infinitesimal deformations enough to show Torelli failure. This replaces what would otherwise be two separate verifications with one calculation that covers both properties. The paper does well by making the link between the lists explicit and by giving a cleaner, structure-based proof for the Torelli side instead of whatever case-by-case work was in the 2004 version. It organizes the known examples without introducing new machinery. The soft spot is whether the overlap is exact and whether the product-quotient form applies without exceptions to every surface in both lists. If even a couple of surfaces sit outside the structure or require extra checks for the cohomology vanishing, the single-argument claim needs patching. The abstract treats the classifications as very similar, but the full text has to exhibit the bijection and confirm the structure controls the relevant invariants in all cases. This is for algebraic geometers who work on elliptic surfaces, moduli of surfaces, or supersingular varieties. Someone already familiar with Katsura's classification or with Torelli questions for surfaces will get the most out of the unified treatment, though the scope stays inside this narrow class of examples. It deserves a serious referee to verify the overlap details and the uniform application of the structure. I recommend sending it for peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript shows that Katsura's 1981 classification of non-rational Jacobian elliptic surfaces admitting a rational base change is very similar to the authors' 2004 classification of Jacobian regular elliptic surfaces failing infinitesimal Torelli. Exploiting the product-quotient structure common to these examples, the paper simultaneously proves that Katsura's surfaces are Artin supersingular and supplies a new proof that the 2004 examples fail infinitesimal Torelli.

Significance. If the argument is complete, the work is significant for unifying two classifications of elliptic surfaces via a structural property rather than case-by-case analysis. The simultaneous treatment of Artin supersingularity (via formal Brauer group or height) and Torelli failure is a strength, as is the avoidance of free parameters or ad-hoc constructions. This could streamline further study of supersingular surfaces and infinitesimal deformations in algebraic geometry.

minor comments (2)

The introduction should include an explicit statement or table listing the correspondence (or overlap) between the two classifications to make the uniform applicability of the product-quotient argument immediately verifiable.
Clarify in the main argument section how the product-quotient decomposition directly controls the relevant cohomology groups or deformation spaces used for both supersingularity and Torelli failure.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and concise assessment of our manuscript. The summary correctly identifies the core contribution: the shared product-quotient structure of the two families allows a simultaneous proof of Artin supersingularity for Katsura's surfaces and a new proof of infinitesimal Torelli failure for our 2004 examples. We appreciate the recognition that this approach avoids case-by-case analysis and ad-hoc constructions. Since the report lists no specific major comments, we have no individual points to rebut or revise at this stage. We will incorporate any minor editorial suggestions in the revised version.

Circularity Check

0 steps flagged

Minor self-citation of 2004 classification; central simultaneous proof is independent

full rationale

The paper cites its own prior 2004 classification of Jacobian regular elliptic surfaces failing infinitesimal Torelli and Katsura's 1981 list, noting that the two classifications 'turn out to be very similar.' It then applies a new argument based on the product-quotient structure of the examples to simultaneously establish Artin supersingularity for Katsura's surfaces and a new proof of Torelli failure for the 2004 examples. No step reduces a claimed prediction or uniqueness result to a fitted parameter, self-definition, or unverified self-citation chain; the structure is used as an external geometric feature to derive both properties. The overlap is presented as an observed similarity enabling a uniform argument rather than assumed by construction. This yields only minor self-citation without load-bearing circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on domain assumptions about the structure of Jacobian elliptic surfaces, base changes, and the existence of product-quotient presentations for the classified examples.

axioms (2)

domain assumption Jacobian elliptic surfaces admit classifications based on rationality after base change and on failure of infinitesimal Torelli
Invoked to assert similarity of the 1981 and 2004 lists.
domain assumption The examples possess a product-quotient structure that can be exploited for simultaneous proofs
Central to the new argument but asserted without detail in the abstract.

pith-pipeline@v0.9.0 · 5370 in / 1313 out tokens · 22551 ms · 2026-05-10T14:32:10.117731+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

[1]

B. Church. Obstructions to unirationality for product-quotient surfaces over Fp. Preprint, available athttps://arxiv.org/abs/2508.14876v1, 2025

work page arXiv 2025
[2]

Dimca.Singularities and topology of hypersurfaces

A. Dimca.Singularities and topology of hypersurfaces. Universitext. Springer-Verlag, New York, 1992

work page 1992
[3]

T. Katsura. Unirational elliptic surfaces in characteristicp.Tohoku Math. J. (2), 33:521–553, 1981

work page 1981
[4]

K.I. Ki˘ ı. The local Torelli theorem for manifolds with a divisible canonical class.Izv. Akad. Nauk SSSR Ser. Mat., 42:56–69, 1978

work page 1978
[5]

Kloosterman

R. Kloosterman. Extremal Elliptic Surfaces and Infinitesimal Torelli.Michigan Math. J., 52:141–161, 2004

work page 2004
[6]

Kloosterman

R. Kloosterman. Infinitesimal Torelli for elliptic surfaces revisited.J. Pure Appl. Algebra, 226:Paper No. 106925, 15, 2022

work page 2022
[7]

Lieberman, R

D. Lieberman, R. Wilsker, and C. Peters. A theorem of local-Torelli type.Math. Ann., 231:39–45, 1977/78

work page 1977
[8]

Nakkajima

Y. Nakkajima. Weight filtration and slope filtration on the rigid cohomology of a variety in characteristicp >0.M´ em. Soc. Math. Fr. (N.S.), (130-131):vi+250, 2012

work page 2012
[9]

C. A. M. Peters and J. H. M. Steenbrink.Mixed Hodge structures, volume 52 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge.Springer-Verlag, Berlin, 2008

work page 2008
[10]

On the infinitesimal Torelli problem of elliptic surfaces.J

M-H Sait¯ o. On the infinitesimal Torelli problem of elliptic surfaces.J. Math. Kyoto Univ., 23:441–460, 1983

work page 1983

[1] [1]

B. Church. Obstructions to unirationality for product-quotient surfaces over Fp. Preprint, available athttps://arxiv.org/abs/2508.14876v1, 2025

work page arXiv 2025

[2] [2]

Dimca.Singularities and topology of hypersurfaces

A. Dimca.Singularities and topology of hypersurfaces. Universitext. Springer-Verlag, New York, 1992

work page 1992

[3] [3]

T. Katsura. Unirational elliptic surfaces in characteristicp.Tohoku Math. J. (2), 33:521–553, 1981

work page 1981

[4] [4]

K.I. Ki˘ ı. The local Torelli theorem for manifolds with a divisible canonical class.Izv. Akad. Nauk SSSR Ser. Mat., 42:56–69, 1978

work page 1978

[5] [5]

Kloosterman

R. Kloosterman. Extremal Elliptic Surfaces and Infinitesimal Torelli.Michigan Math. J., 52:141–161, 2004

work page 2004

[6] [6]

Kloosterman

R. Kloosterman. Infinitesimal Torelli for elliptic surfaces revisited.J. Pure Appl. Algebra, 226:Paper No. 106925, 15, 2022

work page 2022

[7] [7]

Lieberman, R

D. Lieberman, R. Wilsker, and C. Peters. A theorem of local-Torelli type.Math. Ann., 231:39–45, 1977/78

work page 1977

[8] [8]

Nakkajima

Y. Nakkajima. Weight filtration and slope filtration on the rigid cohomology of a variety in characteristicp >0.M´ em. Soc. Math. Fr. (N.S.), (130-131):vi+250, 2012

work page 2012

[9] [9]

C. A. M. Peters and J. H. M. Steenbrink.Mixed Hodge structures, volume 52 ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge.Springer-Verlag, Berlin, 2008

work page 2008

[10] [10]

On the infinitesimal Torelli problem of elliptic surfaces.J

M-H Sait¯ o. On the infinitesimal Torelli problem of elliptic surfaces.J. Math. Kyoto Univ., 23:441–460, 1983

work page 1983