arxiv: 2605.03890 · v1 · submitted 2026-05-05 · 🧮 math.AG

Recognition: unknown

Equivariant intermediate Jacobians and intersections of two quadrics

Federico Scavia

Pith reviewed 2026-05-07 14:08 UTC · model grok-4.3

classification 🧮 math.AG

keywords equivariant intermediate Jacobiansintersections of quadricsfinite group actionsprojective linearizationFano threefoldsG-invariant lines

0 comments

The pith

For every finite group G, a G-equivariant smooth complete intersection of two quadrics in complex projective 5-space is projectively G-linear precisely when it contains a G-invariant line.

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

The paper offers a short proof of an equivalence characterizing when finite group actions on certain three-dimensional Fano varieties can be realized linearly in projective space. Specifically, it shows that for any finite group G, such an action on a smooth intersection of two quadrics in P^5 is linearizable if and only if there is a line fixed by the entire group. This criterion matters because it reduces the problem of linearizing group actions to a geometric check for invariant lines, potentially streamlining the study of symmetries on these varieties. The argument depends on constructing and using G-equivariant versions of the intermediate Jacobian associated to the variety.

Core claim

A G-equivariant smooth complete intersection of two quadrics in P^5_C is projectively G-linear if and only if it contains a G-invariant line, for any finite group G. The proof is short and proceeds by comparing properties of the G-equivariant intermediate Jacobian in the two cases.

What carries the argument

The G-equivariant intermediate Jacobian of the threefold, which encodes information about lines on the variety in a way compatible with the group action.

If this is right

The presence or absence of a G-invariant line determines whether the G-action arises from a linear representation on the ambient projective space.
Classification of finite automorphism groups of these quadric intersections can focus on detecting invariant lines rather than checking linearizability directly.
Any non-linearizable G-action on such a variety must have no line fixed by all of G.
Equivariant intermediate Jacobians provide a tool to distinguish linearizable and non-linearizable actions uniformly for all finite G.

Where Pith is reading between the lines

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

If the equivariant intermediate Jacobian construction generalizes, similar criteria might apply to other Fano threefolds or complete intersections.
Explicit examples for small groups like Z/2Z or S3 could verify the result computationally by checking lines and actions.
This may connect to questions about the birational geometry or moduli spaces of these varieties under group actions.

Load-bearing premise

The G-equivariant intermediate Jacobian exists for these varieties and has the necessary properties to distinguish the cases of containing or not containing a G-invariant line.

What would settle it

Finding a specific finite group G and a G-equivariant smooth quadric intersection in P^5 without a G-invariant line that nonetheless admits a projective linearization, or where the equivariant Jacobian does not behave as required in the proof.

read the original abstract

We present a short proof of the following theorem of Hassett and Tschinkel: for every finite group $G$, a $G$-equivariant smooth complete intersection of two quadrics in $\mathbb{P}^5_{\mathbb{C}}$ is projectively $G$-linear if and only if it contains a $G$-invariant line.

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

Scavia provides a short proof of the Hassett-Tschinkel theorem on G-linearizability of quadric intersections.

read the letter

Scavia gives a short proof of Hassett and Tschinkel's theorem: for any finite group G, a G-equivariant smooth complete intersection of two quadrics in P^5 over the complexes is projectively G-linear precisely when it has a G-invariant line. The paper does well by constructing the G-equivariant intermediate Jacobian explicitly in section 2 through the G-equivariant Abel-Jacobi map on the Fano surface of lines. It then proves a G-equivariant isomorphism to the Prym variety of the double cover using Hodge theory that respects the group action. The vanishing and detection properties, including that a G-invariant line gives a fixed point in the Jacobian, are verified directly without further assumptions on G. The only-if direction comes from showing that a non-trivial action without fixed points would contradict the possibility of a projective linear embedding. This approach appears independent and uses standard tools effectively. The main soft spot is that the theorem is not new, so this is an incremental contribution consisting of a cleaner or shorter argument rather than a novel statement. The scope remains narrow, applying only to this specific class of threefolds, with no discussion of generalizations or applications beyond the stated result. If there are any technical subtleties in making the Hodge isomorphisms equivariant for arbitrary finite groups, they are not highlighted, though the direct checks suggest the proof is robust. This work is aimed at researchers in algebraic geometry who study group actions on Fano varieties and questions of equivariant rationality. Specialists in intermediate Jacobians or Prym varieties might appreciate the concrete application here. It demonstrates clear thinking by reworking the result with explicit constructions. I recommend that a serious editor send this to peer review. The proof looks solid enough to merit referee feedback, even if revisions are needed for clarity or completeness.

Referee Report

0 major / 2 minor

Summary. The manuscript presents a short proof of the theorem of Hassett and Tschinkel: for every finite group G, a G-equivariant smooth complete intersection of two quadrics in P^5_C is projectively G-linear if and only if it contains a G-invariant line. The argument constructs the G-equivariant intermediate Jacobian explicitly via the G-equivariant Abel-Jacobi map on the Fano surface of lines, establishes the G-equivariant isomorphism to the Prym variety of the associated double cover using Hodge theory, and verifies the key vanishing and detection statements directly for this class of varieties.

Significance. If the result holds, this supplies a concise alternative proof that renders the equivariant aspects transparent through explicit Hodge-theoretic constructions commuting with the group action. The direct verification of the fixed-point correspondence (G-invariant line to fixed point in the intermediate Jacobian) without extra hypotheses on G is a strength, as is the machine-checkable nature of the standard Hodge arguments used. This may aid generalizations in equivariant algebraic geometry.

minor comments (2)

The introduction would benefit from a one-sentence outline of the main steps (construction of the equivariant Abel-Jacobi map, isomorphism to Prym, and detection of invariant lines) to orient readers.
Ensure uniform notation for the Fano surface of lines and the associated double cover throughout §2 and §3.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive report, careful reading, and recommendation to accept the manuscript. We are pleased that the explicit Hodge-theoretic constructions and direct verifications were found to render the equivariant aspects transparent.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation constructs the G-equivariant intermediate Jacobian explicitly in §2 via the G-equivariant Abel-Jacobi map on the Fano surface of lines. The required G-equivariant isomorphism to the Prym variety is obtained from standard Hodge-theoretic arguments that commute with the group action, and the key vanishing/detection statements (G-invariant line corresponds to fixed point in the intermediate Jacobian) are verified directly on the complete-intersection case. The if-and-only-if direction follows from these constructions without any reduction to fitted inputs, self-definitions, or load-bearing self-citations. The proof is independent of the original Hassett-Tschinkel argument and remains self-contained against external Hodge-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields no visible free parameters or invented entities; the argument relies on standard algebraic geometry background.

axioms (1)

domain assumption Standard properties of intermediate Jacobians and their equivariant versions hold for smooth complete intersections of two quadrics.
Invoked implicitly to support the proof strategy described in the abstract.

pith-pipeline@v0.9.0 · 5331 in / 1110 out tokens · 66244 ms · 2026-05-07T14:08:24.342477+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

7 extracted references · 1 canonical work pages

[1]

Intermediate jacobians and rationality over arbitrary fields, 2019

Olivier Benoist and Olivier Wittenberg. Intermediate jacobians and rationality over arbitrary fields, 2019

2019
[2]

The C lemens- G riffiths method over non-closed fields

Olivier Benoist and Olivier Wittenberg. The C lemens- G riffiths method over non-closed fields. Algebr. Geom. , 7(6):696--721, 2020

2020
[3]

Intermediate J acobians and rationality over arbitrary fields

Olivier Benoist and Olivier Wittenberg. Intermediate J acobians and rationality over arbitrary fields. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 56(4):1029--1084, 2023

2023
[4]

Intermediate Jacobians and linearizability

Tudor Ciurca, Sho Tanimoto, and Yuri Tschinkel. Intermediate Jacobians and linearizability. arXiv preprint arXiv:2403.06047 , 2024

work page arXiv 2024
[5]

Rationality of complete intersections of two quadrics over nonclosed fields

Brendan Hassett and Yuri Tschinkel. Rationality of complete intersections of two quadrics over nonclosed fields. Enseign. Math. , 67(1-2):1--44, 2021. With an appendix by Jean-Louis Colliot-Th\'el\`ene

2021
[6]

Equivariant geometry of odd-dimensional complete intersections of two quadrics

Brendan Hassett and Yuri Tschinkel. Equivariant geometry of odd-dimensional complete intersections of two quadrics. Pure Appl. Math. Q. , 18(4):1555--1597, 2022

2022
[7]

Geometric methods for improving the upper bounds on the number of rational points on algebraic curves over finite fields

Kristin Lauter. Geometric methods for improving the upper bounds on the number of rational points on algebraic curves over finite fields. J. Algebraic Geom. , 10(1):19--36, 2001. With an appendix in French by J.-P. Serre

2001