Equivariant rationality of Fano threefolds in the family \textnumero 2.12

Antoine Pinardin; Joseph Malbon; Oliver Li

REVIEW 1 major objections 5 minor 4 references

Equivariant rationality of Fano threefolds in the family \textnumero 2.12

T0 review · 1 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read A faithful group action on X is linearisable if and only if X is not G-Fano.

desk verdict Nice computation of the equivariant intermediate Jacobian, but the final step of the main theorem has a real gap that needs closing. read the letter →

arxiv 2508.19471 v1 pith:ZDQCW6IO submitted 2025-08-26 math.AG

Oliver Li , Joseph Malbon , Antoine Pinardin This is my paper · ORCID

classification math.AG MSC 14E0814J4514L3014K3014H40

keywords Fanothreefoldsfamily2.12equivariantrationalitylinearisablegroupactionsintermediateJacobianplanequarticClemens-GriffithscriterionG-Fano

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

This paper proves a complete dichotomy for faithful group actions on the Fano threefolds in deformation family 2.12, the smooth complete intersections of three divisors of bidegree $(1,1)$ in $\mathbb{P}^3\times\mathbb{P}^3$. For any such threefold $X$ and any faithfully acting group $G$, the action is linearisable — conjugate to a linear action on $\mathbb{P}^3$ — exactly when $X$ is not $G$-Fano, i.e. when $\mathrm{rk}(\mathrm{Pic}^G(X))\neq 1$. The easy half is the blow-down $X\to\mathbb{P}^3$ along the genus-three curve $C$, which is $G$-equivariant precisely outside the $G$-Fano case. The hard half shows that in the $G$-Fano case a $G$-equivariant birational map to $\mathbb{P}^3$ would force an equivariant isomorphism between the intermediate Jacobian of $X$ and the Jacobian of $C$, while a direct character computation makes those two representations differ by the sign character. This gives a genuinely equivariant use of the Clemens\textendash Griffiths intermediate Jacobian obstruction.

What carries the argument

The central mechanism is the comparison of two three-dimensional $G$-representations: $\mathrm{Lie}(IJ_X)=H^2(X,\Omega^1_X)$ and $\mathrm{Lie}(J_C)=H^0(C,K_C)$. Proposition 3.4 computes the first via the conormal sheaf sequence and a Koszul resolution, obtaining a character sum tensored with the sign representation; Proposition 3.3 computes the second directly from the plane quartic model. Together with the Clemens\textendash Griffiths and Torelli identifications identifying $IJ_X$ with $J_C$ for blow-ups of $\mathbb{P}^3$ along curves, this sign twist is the obstruction that kills linearisability in the $G$-Fano case.

What would settle it

The statement would be refuted by exhibiting a smooth $X$ in family 2.12 and a faithful $G$-Fano action for which an explicit $G$-equivariant birational map $X\dashrightarrow\mathbb{P}^3$ exists. Concretely, for the involution $\sigma$ that swaps the two $\mathbb{P}^3$ factors, write the defining equations with $\sigma$-invariant matrices, compute the eigenvalues of $\sigma$ on $H^0(C,K_C)$ and on $H^2(X,\Omega^1_X)$; Proposition 3.4 predicts they differ by the factor $-1$. If an explicit computation on any example produced equal multisets, the non-isomorphism claim would fail, and one should then search for an equivariant map by eliminating variables.

Watch

Extended reading notes

Core claim

Let $X$ be a smooth complete intersection of three divisors of bidegree $(1,1)$ in $\mathbb{P}^3\times\mathbb{P}^3$, and let $G$ act faithfully on $X$. Theorem 1.1 characterises linearisability by the rank of the invariant Picard group: the $G$-action is linearisable if and only if $\mathrm{rk}(\mathrm{Pic}^G(X))\neq 1$. Since the blow-up structure $X\to\mathbb{P}^3$ gives $\mathrm{Pic}(X)=\mathbb{Z}H\oplus\mathbb{Z}E$, the $G$-Fano condition $\mathrm{Pic}^G(X)=\mathbb{Z}[-K_X]$ is equivalent to the existence of an element $\sigma\in G$ that swaps the two hyperplane classes $H$ and $H'$. The core of the proof is a sign computation: writing $C$ for the genus-three plane quartic over which $X$ is the blow-up of $\mathbb{P}^3$, the induced $G$-representation on $\mathrm{Lie}(J_C)=H^0(C,K_C)$ is $\bigoplus_j\chi^{s_j+\sum s_i-\sum r_i}$, while the action on the intermediate Jacobian $\mathrm{Lie}(IJ_X)=H^2(X,\Omega^1_X)$ is the same representation tensored with the sign character (Proposition 3.4). A $G$-equivariant birational map to $\mathbb{P}^3$ would have to factor through a blow-up along a $G$-invariant curve isomorphic to $C$, forcing $\mathrm{Lie}(IJ_X)$ to be equivariantly isomorphic to $\mathrm{Lie}(J_C)$; the two representations differ by a sign, so no such map exists.

Load-bearing premise

The argument rests on the claim that every equivariant birational map from $X$ to $\mathbb{P}^3$ must factor through a blow-up of a $G$-invariant curve whose Jacobian is the same simple Jacobian as $C$; if the Jacobian of $C$ splits into smaller pieces, that step is not automatic and the proof would need a separate argument.

Editorial extensions

If this is right

For every faithful action on $X$, the equivariant birational type is one of two kinds: either the group acts linearly on $\mathbb{P}^3$, or the invariant Picard group is exactly $\mathbb{Z}[-K_X]$; there is no intermediate possibility.
The theorem answers the question recorded in [CLMP24, Remark 6] affirmatively.
Any element of $\mathrm{Aut}(X)$ that swaps the two $\mathbb{P}^3$ factors generates a cyclic non-linearisable action, giving explicit examples of non-linear actions on a rational threefold.
The proof demonstrates that the Clemens\textendash Griffiths intermediate Jacobian obstruction works in an equivariant setting for geometric group actions over an algebraically closed field, not only for Galois actions over non-closed fields.
In the non-$G$-Fano case, the blow-down $X\to\mathbb{P}^3$ is $G$-equivariant, so linearisability is achieved geometrically without changing the model.

Reading between the lines

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

The same sign-twist mechanism should obstruct linearisability for any Fano threefold that is a blow-up of $\mathbb{P}^3$ along a curve whose intermediate Jacobian is the curve's Jacobian, with the sign arising whenever the ambient presentation has two symmetric rulings.
A natural testable extension is to compute the same character for the second projection curve $C'$; since $C'$ is isomorphic to $C$, the same twisted representation should appear, showing that the obstruction is independent of the chosen blow-down.
If the Jacobian of $C$ decomposes into simple factors, the Torelli-based identification of the blow-up centre would need a more refined treatment, but the representation-theoretic obstruction given by Proposition 3.4 is independent of that decomposition and would still have to be matched by any successful linearisation.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

Short version: the main computation is good, but the last step of Theorem 1.1 has a real gap. The sign calculation in Proposition 3.4 is the genuinely new part and I believe it is correct. The paper answers an explicit open question and the writing is mostly clear.

The problem is the justification that any equivariant factorization X → P3 must pass through a blow-up of a curve isomorphic to C. The paper argues from Picard rank two, Torelli, and uniqueness of simple components. That does not work as written. A factorization with total Picard change +1 may contain several blow-ups and blow-downs. The intermediate Jacobian of the final model is then an alternating sum of the Jacobians of the contracted curves. If J(C) is not simple, there is no reason any single curve in that sum has Jacobian isomorphic to J(C). The Fermat quartic is an example where J(C) is isogenous to E^3, and the paper neither excludes such curves nor proves a simplicity statement. So the claim that one φ_i is a blow-up of a curve isomorphic to C is unsupported.

There is a second, smaller issue in the same paragraph. Even if such a curve is found, the G-action α1 transported via the factorization is not automatically the same as the natural action α2 induced on C by the embedding in P3×P3. The sentence 'α1 and α2 must be the same group action' does not follow from the fact that the action on a plane quartic is determined by the action on its canonical space; that fact only goes in one direction. So the contradiction at the end of the proof is not yet established.

If the authors can justify the factorization step—say, by showing that the total character forces exactly one factor, or by decomposing the representation and using the G-equivariant isogeny structure—the theorem would be sound. As written, the proof is incomplete. The computational core (Propositions 3.3 and 3.4) is careful and I see no issue there. The background from [CLMP24] is appropriate and not circular.

This paper deserves a serious referee. The result is likely true, and the main computation is a real contribution. But the current version needs a substantial argument added in the final paragraph, and a few typos corrected.

Who should read it: people working on equivariant birational geometry and Cremona groups. I would not cite it until the gap is fixed.

Referee Report

1 major / 5 minor

Summary. The paper studies smooth complete intersections X of three divisors of bidegree (1,1) in P^3 × P^3, i.e. Fano threefolds in deformation family №2.12. The main theorem (Theorem 1.1) claims that a faithful action of a group G on X is linearisable if and only if X is not G-Fano, equivalently rk(Pic^G(X)) ≠ 1. The easy direction uses the projection to P^3 when no automorphism swaps the two hyperplane classes. The hard direction assumes X is G-Fano, reduces to the cyclic group generated by an element σ swapping the two classes, and constructs an induced G-action on the plane quartic C over which X is the blow-up of P^3. The paper computes the characters of G on H^0(C,K_C) (Proposition 3.3) and on H^2(X,Ω^1_X) (Proposition 3.4), obtaining representations that differ by a sign. It then seeks a contradiction by assuming a G-equivariant birational map X ⇢ P^3 and using functorial factorization and Torelli's theorem to force an equivariant identification with C.

Significance. If the proof were completed, the result would answer a question of Cheltsov–Li–Ma'u–Pinardin and give a clean linearizability criterion for this family of Fano threefolds, extending the equivariant Clemens–Griffiths technique. The paper contains substantial and mostly careful computations: the geometric description of the family (Proposition 2.1), the cohomological machinery behind Proposition 3.4 (Lemmas 3.5 and 3.7), and the explicit character calculations are valuable and appear reproducible. The main weaknesses are concentrated in the final step of Theorem 1.1, where the Torelli argument is not rigorous, and in a duality/convention issue in the identification of the Lie algebra of the Jacobian. These issues affect the central claim, so the paper needs revision before the theorem can be accepted.

major comments (1)

[§3, proof of Theorem 1.1, final paragraph] The paper relies on [CLMP24, §1] for the exact sequence describing Aut(X), a preprint by overlapping authors. Please provide either a proof of this fact or a published reference, since it is used in the first paragraph of the proof of Theorem 1.1.

minor comments (5)

[§3.1, proof of Proposition 3.3] In the displayed computation of the action on two-forms, the determinant in the denominator is missing from the second and third forms, and 'det(M1+uM2+vM2)' should read 'det(M1+uM2+vM3)'.
[§1.2 and §3.1] The same symbols x,y,z denote the coordinates of the two copies of P^3 in equation (1) and the parameters of the linear system in §3.1. This makes the formulas in Proposition 3.3 hard to follow; consider using λ1,λ2,λ3 for the parameters.
[§3.1, proof of Proposition 3.3] The statement that σ acts on det(xM1+yM2+zM3) with eigenvalue ϖ^{Σ r_i} is correct, but it would be helpful to derive it directly from equation (4); currently the reader must fill in a short matrix computation.
[§3.2, Proposition 3.4] The 'sign' representation is defined by σ ↦ −1; this is a homomorphism only when the order of σ is even. The paper should note explicitly that any lift of the nontrivial element of μ2 in the exact sequence for Aut(X) has even order.
[General] The proof of Proposition 2.1 contains a minor local computation with signs ('y2 = a0 y0 − a1 y1') that is easy to misread; a brief clarification of the sign convention would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main contradiction is a self-contained character computation; the cited self-work is background only.

full rationale

The nontrivial direction of Theorem 1.1 does not reduce to its inputs. The hard part assumes a G-equivariant birational map to P^3 and derives a contradiction from an explicit character computation of the induced representations on Lie(IJ_X) and Lie(J_C) in Propositions 3.3 and 3.4. These computations are carried out directly from the defining equations and the equivariant Koszul resolution; no parameter is fitted and the non-linearizability conclusion is not assumed in the setup. The only use of the authors' own prior work [CLMP24] is the background exact sequence for Aut(X), invoked in the easy non-G-Fano direction to obtain a G-equivariant blow-down to P^3. That cited fact does not carry the central argument and is independent of the theorem being proved. The final-paragraph inference from Picard rank two, Torelli, and uniqueness of ppav decomposition to the existence of a factorization step blowing up a G-invariant curve isomorphic to C is terse and may be a substantive mathematical gap, especially when J(C) is not simple, but it is an unproved geometric inference rather than a circular one: it does not identify the desired conclusion with an input assumption, a fitted value, or a self-citation chain. Therefore no circular step is exhibited, and the circularity score is 0.

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

No free parameters or invented entities are introduced. The proof rests on standard theorems (Torelli, equivariant factorization, intermediate Jacobian of blowups) and on background results from the authors' prior paper [CLMP24]. The potentially load-bearing inference about the C-factor in the factorization of phi is not derived in detail.

assumptions (6)

domain assumption The functorial factorization of G-equivariant birational maps into blow-ups/downs of smooth G-invariant centres (Abramovich-Temkin, [AT19, Theorem 1.3.3]).
Used at the start of the proof of Theorem 1.1 to factor a hypothetical G-equivariant birational map X -> P^3. This is an external theorem from birational geometry.
standard math The intermediate Jacobian of the blowup of P^3 along a smooth curve C is isomorphic to the Jacobian J(C) ([PS99, Lemma 8.1.2]).
Identifies IJ_X with J(C) in the proof of Theorem 1.1, allowing the comparison of G-representations on Lie algebras.
standard math Torelli theorem for non-hyperelliptic curves and the uniqueness of the decomposition of a principally polarized abelian variety into simple components.
Used in the proof of Theorem 1.1 to infer that a curve with Jacobian isomorphic to J(C) must be isomorphic to C, and that the decomposition forces a C-factor in the factorization of phi.
domain assumption The automorphism group of X sits in an exact sequence 1 -> Aut(P^3,C) -> Aut(X) -> mu_2, with the last map surjective iff Aut(X) contains an element swapping E and E' ([CLMP24, §1]).
Used in the proof of Theorem 1.1 for the easy direction (if X is not G-Fano) to conclude G is contained in Aut(P^3,C). Relies on a prior paper by the same group.
domain assumption The curve C is a smooth non-hyperelliptic plane quartic, so its canonical model is C itself and its automorphism group embeds into PGL(H^0(C,K_C)).
Used in the final contradiction of Theorem 1.1: since C is a plane quartic, a G-action on C is determined by the action on P(H^0(C,K_C)).
standard math The linear system of (1,1)-divisors containing X is two-dimensional, and C is identified with the plane quartic det(xM1+yM2+zM3)=0.
Defines the induced G-action on C in Section 3.1, from the invariant divisors chosen in Lemma 3.2.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Equivariant rationality of Fano threefolds in the family \textnumero 2.12." pith.science (2026). https://pith.science/paper/ZDQCW6IO

@misc{pith2026250819471,
  author       = {Pith},
  title        = {Pith review of: Equivariant rationality of Fano threefolds in the family \textnumero 2.12},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZDQCW6IO}},
  note         = {Machine review of arXiv:2508.19471}
}

abstract

We prove that a faithful group action on the smooth complete intersection $X$ of three divisors of bidegree $(1,1)$ in $\p^3\times\p^3$ is linearisable if and only if $\rk(\pic^G(X))\ne1$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

4 extracted references · 2 canonical work pages

[1]

Abramovich and M

[AT19] D. Abramovich and M. Temkin, Functorial factorization of birational maps for qe schemes in characteristic 0 , Algebra & Number Theory 13 (2019), no. 2, 379–424. [BW19] O. Benoist and O. Wittenberg, The Clemens-Griffiths method over non-closed fields , arXiv preprint arXiv:1903.08015 (2019). [CG72] C H. Clemens and P. A Griffiths, The intermediate J...

arXiv 2019
[1999]

[Sta24] Stacks Project Authors, Stacks Project, 2024

work page 2024
[2012]

Equivariant geometry of odd-dimensional complete intersections of two quadrics

[Hom80] M. Homma, On projective normality and defining equations of a projective curve of genus three embedded by a complete linear system , Tsukuba Journal of Mathematics 4 (1980). [HT21] B. Hassett and Y. Tschinkel, Equivariant geometry of odd-dimensional complete intersections of two quadrics , arXiv preprint arXiv:2107.14319 (2021). [KP19] A. Kuznetso...

work page Pith review arXiv 1980
[2024]

Ciurca, S

[CTT24] T. Ciurca, S. Tanimoto, and Y. Tschinkel, Intermediate jacobians and linearizability , arXiv preprint arXiv:2403.06047 (2024). [CTZ25] I. Cheltsov, Y. Tschinkel, and Z. Zhang, Equivariant geometry of singular cubic threefolds ,

arXiv 2024

Pith tools

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

[1] [1]

Abramovich and M

[AT19] D. Abramovich and M. Temkin, Functorial factorization of birational maps for qe schemes in characteristic 0 , Algebra & Number Theory 13 (2019), no. 2, 379–424. [BW19] O. Benoist and O. Wittenberg, The Clemens-Griffiths method over non-closed fields , arXiv preprint arXiv:1903.08015 (2019). [CG72] C H. Clemens and P. A Griffiths, The intermediate J...

arXiv 2019

[2] [1999]

[Sta24] Stacks Project Authors, Stacks Project, 2024

work page 2024

[3] [2012]

Equivariant geometry of odd-dimensional complete intersections of two quadrics

[Hom80] M. Homma, On projective normality and defining equations of a projective curve of genus three embedded by a complete linear system , Tsukuba Journal of Mathematics 4 (1980). [HT21] B. Hassett and Y. Tschinkel, Equivariant geometry of odd-dimensional complete intersections of two quadrics , arXiv preprint arXiv:2107.14319 (2021). [KP19] A. Kuznetso...

work page Pith review arXiv 1980

[4] [2024]

Ciurca, S

[CTT24] T. Ciurca, S. Tanimoto, and Y. Tschinkel, Intermediate jacobians and linearizability , arXiv preprint arXiv:2403.06047 (2024). [CTZ25] I. Cheltsov, Y. Tschinkel, and Z. Zhang, Equivariant geometry of singular cubic threefolds ,

arXiv 2024