Pith. sign in

REVIEW 4 major objections 4 minor 2 cited by

Rationality of singular cubic threefolds over $\mathbb R$

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

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

Pith's one-line read This paper gives a nearly complete rationality classification for real singular cubic threefolds, ruled by a cohomological obstruction and by the presence of real lines, planes, and cubic scrolls.

desk verdict Real-form classification of singular cubic threefolds: solid and useful, but two load-bearing statements need fixing before acceptance. read the letter →

arxiv 2411.14379 v1 pith:E3DY3AL4 submitted 2024-11-21 math.AG

Ivan Cheltsov , Yuri Tschinkel , Zhijia Zhang This is my paper · ORCID
classification math.AG MSC 14E0814J3014P05
keywords rationalitystablecubicthreefoldsingularthreefoldsrealalgebraicgeometrycohomologicalobstructionquadricsurfacebundlescroll
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

Over the complex numbers, a singular cubic threefold in projective four-space is rational unless it is a cone over a smooth cubic curve. Over the real numbers the question is more delicate, and this paper gives a classification of rationality and stable rationality for real singular cubic threefolds that is complete except for two explicitly marked open cases, under the standing assumptions that the threefold is not a cone and has no real singular points. The primary tool is a cohomological obstruction: the Galois group of complex conjugation acts on the Picard group of the minimal resolution, and when the first cohomology group of this action is nonzero the threefold is not stably rational over the reals. The paper shows the obstruction vanishes except for four exceptional singularity configurations, and that in the remaining cases rationality is governed by the presence of real lines disjoint from planes, real planes, or real normal cubic scrolls. The two open cases are cubics with certain $2D_4$ singularities and connected real locus, and cubics whose singular locus is a conic.

What carries the argument

The load-bearing object is the first cohomology group $H^1(\Gamma, \operatorname{Pic}(\widetilde{X}_{\mathbb{C}}))$ of the Galois group $\Gamma=\operatorname{Gal}(\mathbb{C}/\mathbb{R})$ acting on the Picard group of the minimal resolution $\widetilde{X}$ of $X$; nonvanishing is the $(H^1)$-obstruction and implies that $X$ is not stably rational over $\mathbb{R}$. The complementary birational machinery consists of projection from a real line together with a disjoint real plane (giving a birational map to $\mathbb{P}^2 \times \mathbb{P}^1$), unprojection from a real plane (reducing rationality to the existence of real lines on smooth intersections of two quadrics), and the quadric-surface-bundle structures obtained by projecting from real planes. For the six-node case the crucial subvariety is a normal rational cubic scroll, a degree-3 rational surface in $\mathbb{P}^4$ defined over $\mathbb{R}$, because a real scroll makes $X$ birational to a $\mathbb{P}^1$-bundle over $\mathbb{P}^2$, which is rational over $\mathbb{R}$ once it has a section.

What would settle it

Compute $H^1(\Gamma, \operatorname{Pic}(\widetilde{X}_{\mathbb{C}}))$ for the connected $2D_4$ example displayed after Lemma 3.9 in Section 3; a nonzero value would contradict Proposition 2.1, which places that case outside the list of configurations with nontrivial obstruction.

Watch

Extended reading notes

Core claim

The central claim is that stable rationality of a real singular cubic threefold $X \subset \mathbb{P}^4$, when $X$ is not a cone and has no real singular points, is governed by the action of complex conjugation on the Picard group of the minimal resolution. Proposition 2.1 asserts that $H^1(\Gamma, \operatorname{Pic}(\widetilde{X}_{\mathbb{C}})) \neq 0$ holds exactly for four types: $2A_5$; $2D_4+2A_1$ with only one real plane; $6A_1$ in linearly general position with no real normal cubic scroll; and $8A_1$ with only one real plane. In each of these cases the threefold is not stably rational over $\mathbb{R}$, and in all other cases the obstruction vanishes. The paper then proves rationality by explicit birational constructions whenever the relevant real object exists, a real line disjoint from a plane, a real plane, or a real normal cubic scroll, yielding criteria such as: $4A_1$ with a plane is rational exactly when it contains a real line disjoint from the plane; $6A_1$ with no plane is rational exactly when it contains a real cubic scroll; and $8A_1$ is rational exactly when it contains three real planes.

Load-bearing premise

The proof leans on the completeness of the classification of singularity configurations and Galois actions imported from the two earlier papers; if that classification omits a configuration, the asserted equivalence in Proposition 2.1, and with it several non-rationality conclusions, would fail.

Editorial extensions

If this is right

  • A real singular cubic threefold with two $A_5$ singularities and no real singular points is not stably rational over $\mathbb{R}$, even though its real locus is connected.
  • For a cubic with six $A_1$ singularities in general position, rationality over $\mathbb{R}$ is equivalent to containing a real normal rational cubic scroll; without one, the $(H^1)$-obstruction is nonzero.
  • For eight $A_1$ singularities, rationality over $\mathbb{R}$ is equivalent to containing three real planes; the case with a single real plane is not stably rational.
  • For several configurations, rationality reduces to the existence of a real line disjoint from a real plane, via birational equivalence to a smooth intersection of two quadrics in $\mathbb{P}^5$.
  • For cubics whose complex singular locus is non-isolated, the paper shows all real forms are rational over $\mathbb{R}$ unless the singular locus is a conic; for the conic case it gives criteria for connectedness and disconnectedness of $X(\mathbb{R})$ and leaves rationality open.

Reading between the lines

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

  • The four configurations with nonzero $H^1$ share a pattern: complex conjugation swaps pairs of divisor classes on the minimal resolution, and the same cohomological test could be applied to other real Fano threefolds with an equivariant Picard group of this form, though the paper does not make that comparison.
  • The paper's specialization diagram runs only in one direction over $\mathbb{R}$; a natural extension is to construct real families with rational general fiber and non-stably-rational special fiber and test whether the obstruction jumps, since the paper notes specialization arguments do work over $\mathbb{R}(t)$.
  • For the two open rationality cases, the paper's connectedness criteria come from fibers of quadric-surface bundles, which suggests a testable next step: check whether rationality in those cases is equivalent to some real fiber containing a real line, though the paper does not claim this.
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.

Referee Report

4 major / 4 minor

Summary. This paper studies the (stable) rationality of real singular cubic threefolds X ⊂ P^4 that are not cones and have no real singular points. Working over R with Γ = Gal(C/R), the authors combine the equivariant classification of [CTZ24] and [CMTZ24] with two standard obstructions: disconnectedness of X(R) and non-vanishing of H^1(Γ, Pic(X~_C)). The main output is a classification, summarized in the introduction: for each possible geometric singularity type of X_C (2, 4, 6, 8 isolated singularities, plus non-isolated cases), the paper gives criteria for rationality and stable rationality in terms of real linear-algebraic data such as existence of real lines disjoint from certain planes, real planes, or real normal cubic scrolls. The paper also provides explicit normal forms and examples realizing connected and disconnected real loci, and leaves open the rationality of cubics singular along a conic with connected real locus.

Significance. If correct, the classification would provide a complete rationality picture for a natural class of rationally connected threefolds over R, complementing recent results on intersections of two quadrics. The paper contains a number of explicit, checkable normal forms and concrete examples (e.g., Examples 2.2–2.5, Remark 5.2, Section 7), and it sharply contrasts the real Galois action with the equivariant setting, which is a useful conceptual contribution. However, the central classification relies at several load-bearing points on unproved assertions (the P1-bundle section in Proposition 5.1, the disjointness of a line and a plane in the 2D4+2A1 case) and on an internally inconsistent statement in Proposition 6.1. The dependence on the preprints [CTZ24] and [CMTZ24] for the completeness of the H1-obstruction should also be made explicit. These issues are local and repairable, so the manuscript is promising but not yet ready.

major comments (4)
  1. [§5, Proposition 5.1] The proof asserts that the P1-bundle over P2 obtained from the linear system |O_X(2)-S| 'admits a section over R and is therefore rational', with no justification. Over R, a P1-bundle over P2 is a conic bundle whose Brauer class is a quaternion algebra over R(P2); a section exists exactly when that algebra is split. The existence of a real normal cubic scroll S does not by itself guarantee such a section. This step is load-bearing for the 'if' direction of the 6A1 rationality criterion, so it must be proved or replaced by a reference that handles the real case.
  2. [§6, Proposition 6.1] The statement 'X is (stably) rational over R if and only if it satisfies (H1) if and only if X contains three planes over R' is internally inconsistent: by (1.1), satisfying (H1) means H^1(Γ, Pic(X~_C)) ≠ 0, which obstructs stable rationality and therefore cannot be equivalent to rationality. The proof's three cases show that rationality occurs exactly in the cases with three real planes, while non-stable-rationality occurs in the case with only one real plane; the proposition should be restated accordingly. This error is cited in Proposition 2.1(4) and must be corrected.
  3. [§4, paragraph before Proposition 4.5 and Proposition 4.5] The claim that 'the line passing through p3 and p4 is disjoint from Π3 and Π5' is false in the normal form (4.5): the line L = {x1 = x2 = x5 = 0} intersects Π3 = {x3 = x5 = 0} at [0:0:0:1:0], and it also meets Π4 and Π5. Since the rationality argument for the three-plane case of 2D4+2A1 in Proposition 4.5 depends on the existence of a real line disjoint from a real plane, the proof as written is invalid. The authors should either correct this geometric assertion or supply an alternative rationality argument.
  4. [§2, Proposition 2.1] The 'only if' direction of Proposition 2.1 is not proved in the paper; it is delegated to [CTZ24] and [CMTZ24] by the sentence 'In all other cases, the (H1)-obstruction is trivial, as shown in...'. Since these cited works are preprints by overlapping authors and since the completeness of the equivariant classification is exactly what is needed for the equivalence, the classification as presented is conditional on those preprints. The authors should state this dependence explicitly in the introduction and, ideally, include a proof or a more detailed case-by-case verification of the vanishing of H1 in the configurations not listed.
minor comments (4)
  1. [§4, after (4.2)] The condition for 4A2 singularities appears misprinted: 'b1 = b2 = b3 = b4 − (t1−t2)^2/8' should presumably read 'b1 = b2 = b3 = b4 = −(t1−t2)^2/8'.
  2. [Remark 5.2] The phrase 'where the Galois action fails (H1)' is ambiguous; it seems to mean that the (H1)-obstruction is nonzero, so the cubic is not stably rational. Please rephrase for clarity.
  3. [Example 2.2] The description of the image π(X(R)) uses a square root inside an inequality; indicating the affine chart and whether the region is bounded would improve readability.
  4. [Proposition 3.1] The proof mentions a 'trivial double cover' without defining it; a brief explanation would help the reader understand the application of [BW20] or [KP24a, Theorem 6.10].

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the central derivation is independent of its inputs, with two non-circular correctness gaps in Propositions 5.1 and 6.1.

full rationale

The paper's derivation chain is not circular. The main dichotomy is: a nonzero H^1(Gamma, Pic(~X_C)) is used as an obstruction to stable rationality, and rationality is then established by explicit birational constructions (projection from planes and lines, unprojection from planes, quadric-bundle or P^1-bundle presentations, scrolls), not by fitting the obstruction to the conclusions. The normal forms in Sections 3-6 are derived with parameters, and the connectivity statements are proved from discriminant inequalities. The quoted equalities such as H^1 = Z/2 in Propositions 3.5, 4.5, 5.1 and 6.1, and in Examples 2.2-2.5, are taken from [CTZ24] and [CMTZ24]; these are overlapping-author preprints, but the cited computations are parameter-free cohomological statements made under the same singularity-configuration hypotheses, not the rationality classifications of this paper. Thus the self-citations are load-bearing but they are not reductions of the present conclusions to the present inputs. The 'only if' direction of Proposition 2.1, stated as 'In all other cases, the (H1)-obstruction is trivial, as shown in [CTZ24], [CMTZ24]', is an imported classification rather than an assumption equivalent to the conclusion. Two genuine weaknesses are correctness gaps, not circularity: Proposition 5.1 asserts without proof that the P^1-bundle over P^2 'admits a section and is therefore rational', which is not automatic over R and could fail for Brauer-class reasons; and Proposition 6.1's wording 'rational ... if and only if it satisfies (H1)' is inconsistent with (1.1), since satisfying (H1) means H^1 is nonzero, obstructing stable rationality. Neither gap makes a predicted statement equal by construction to its input, so the circularity score is 0.

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

The paper's results rest on standard theorems from real topology and birational geometry, and on the classification and cohomology computations of the authors' previous preprints [CTZ24] and [CMTZ24]. There are no fitted numerical parameters or invented entities; the coefficients in the normal forms are family variables, not ad hoc constants, and the geometric objects used, such as planes, lines, conics, and cubic scrolls, are standard.

assumptions (5)
  • domain assumption If X(R) is disconnected then X is not stably rational over R.
    Used throughout the paper as a topology obstruction, stated in the introduction without proof. Standard in real birational geometry, but load-bearing for several non-stable-rationality conclusions.
  • domain assumption If H^1(Gamma, Pic(Xtilde_C)) is nonzero then X is not stably rational over R.
    Introduced in Section 1 as the (H1)-obstruction and used as the main non-rationality tool. The paper treats the underlying theorem as established in [CTZ24] and [CMTZ24].
  • domain assumption The classification of all possible singularity configurations of real singular cubic threefolds with no real singular points, and the assertion that the (H1)-obstruction vanishes in all configurations not listed in Proposition 2.1, is correct as stated in [CTZ24] and [CMTZ24].
    Proposition 2.1 explicitly delegates the 'all other cases' part to [CTZ24] and [CMTZ24]. These are preprints with overlapping authors, so this is a load-bearing external premise.
  • domain assumption Rationality of smooth real intersections of two quadrics in P^5 is equivalent to the existence of a real line.
    Used in Proposition 4.1 and in the 2A3-with-plane case to translate rationality into the existence of a real line disjoint from a plane, citing [HT21].
  • domain assumption Cubic threefolds with non-isolated singularities over C are classified into the plane, line, conic, and twisted quartic cases.
    Section 7 relies on [Yok02] and [All03] for the possible non-isolated singular loci, and the rationality analysis follows that classification.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Rationality of singular cubic threefolds over $\mathbb R$." pith.science (2026). https://pith.science/paper/E3DY3AL4

@misc{pith2026241114379,
  author       = {Pith},
  title        = {Pith review of: Rationality of singular cubic threefolds over $\mathbb R$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/E3DY3AL4}},
  note         = {Machine review of arXiv:2411.14379}
}
read the original abstract

We study rationality properties of real singular cubic threefolds.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Vari\'et\'es r\'eelles connexes non stablement rationnelles

    math.AG 2025-05 accept novelty 8.0 of 10

    The first smooth intersections of two quadrics in P^5 and cubic threefolds in P^4 over the real Puiseux series field are semi-algebraically connected but not stably rational.

  2. A rationality criterion for real Fano threefolds

    math.AG 2025-07 conditional novelty 7.0 of 10

    For smooth geometrically rational real Fano threefolds with nonempty real locus, the absence of any deformation-equivalent real form with disconnected real locus forces R-rationality.

Reference graph

Works this paper leans on

24 extracted references · 21 canonical work pages · cited by 2 Pith papers

  1. [1]

    Addington, Br

    N. Addington, Br. Hassett, Yu. Tschinkel, and A. V \'a rilly-Alvarado. Cubic fourfolds fibered in sextic del Pezzo surfaces. Am. J. Math. , 141(6):1479--1500, 2019

    work page 2019

  2. [2]

    D. Allcock. The moduli space of cubic threefolds. J. Algebraic Geom. , 12(2):201--223, 2003

    work page 2003

  3. [3]

    A. A. Avilov. On the forms of the S egre cubic. Mat. Zametki , 107(1):3--10, 2020

    work page 2020

  4. [4]

    Beauville, J.-L

    A. Beauville, J.-L. Colliot-Th\' e l \`e ne, J.-J. Sansuc, and P. Swinnerton-Dyer. Vari\' e t\' e s stablement rationnelles non rationnelles. Ann. of Math. (2) , 121(2):283--318, 1985

    work page 1985

  5. [5]

    Benoist and O

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

    work page 2020

  6. [6]

    C. H. Clemens and P. A. Griffiths. The intermediate Jacobian of the cubic threefold. Ann. Math. (2) , 95:281--356, 1972

    work page 1972

  7. [7]

    I. A. Cheltsov. Birationally rigid F ano varieties. Uspekhi Mat. Nauk , 60(5(365)):71--160, 2005

    work page 2005

  8. [8]

    Cheltsov, L

    I. Cheltsov, L. Marquand, Yu. Tschinkel, and Zh. Zhang. Equivariant geometry of singular cubic threefolds I I , 2024. arXiv:2405.02744

    arXiv 2024

Show all 24 references
  1. [9]

    Colliot-Th\' e l\`ene

    J.-L. Colliot-Th\' e l\`ene. Birational invariants, purity and the G ersten conjecture. In K -theory and algebraic geometry: connections with quadratic forms and division algebras ( S anta B arbara, CA , 1992) , volume 58, Part 1 of Proc. Sympos. Pure Math. , pages 1--64. Amer...

    1992

  2. [10]

    Colliot-Th\' e l\`ene

    J.-L. Colliot-Th\' e l\`ene. Non rationalit\' e stable sur les corps quelconques. In Birational geometry of hypersurfaces , volume 26 of Lect. Notes Unione Mat. Ital. , pages 73--110. Springer, Cham, [2019] 2019

    2019

  3. [11]

    Colliot-Th\' e l\`ene and A

    J.-L. Colliot-Th\' e l\`ene and A. Pirutka. Certaines fibrations en surfaces quadriques r \'e elles, 2024. arXiv:2406.00463

    2024

  4. [12]

    Cheltsov, Yu

    I. Cheltsov, Yu. Tschinkel, and Zh. Zhang. Equivariant geometry of singular cubic threefolds, 2024. arXiv:2401.10974

    2024 arXiv

  5. [13]

    Hassett, J

    B. Hassett, J. Koll \'a r, and Yu. Tschinkel. Rationality of even-dimensional intersections of two real quadrics. Comment. Math. Helv. , 97(1):183--207, 2022

    2022

  6. [14]

    Hassett and Yu

    B. Hassett and Yu. 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\' e l\`ene

    2021

  7. [15]

    Ji and M

    L. Ji and M. Ji. Rationality of real conic bundles with quartic discriminant curve. International Mathematics Research Notices , 2024(1):115–151, February 2023

    2024

  8. [16]

    Kuznetsov and Yu

    A. Kuznetsov and Yu. Prokhorov. Rationality over nonclosed fields of F ano threefolds with higher geometric P icard rank. J. Inst. Math. Jussieu , 23(1):207--247, 2024

    2024

  9. [17]

    Rationality over nonclosed fields of F ano threefolds with higher geometric P icard rank

    Alexander Kuznetsov and Yuri Prokhorov. Rationality over nonclosed fields of F ano threefolds with higher geometric P icard rank. J. Inst. Math. Jussieu , 23(1):207--247, 2024

    2024

  10. [18]

    Yu. I. Manin and M. A. Tsfasman. Rational varieties: Algebra , geometry and arithmetic. Russ. Math. Surv. , 41(2):51--116, 1986

    1986

  11. [19]

    A. Pirutka. Varieties that are not stably rational, zero-cycles and unramified cohomology. In Algebraic geometry: S alt L ake C ity 2015 , volume 97.2 of Proc. Sympos. Pure Math. , pages 459--483. Amer. Math. Soc., Providence, RI, 2018

    2015

  12. [20]

    Yu. G. Prokhorov. The rationality problem for conic bundles. Uspekhi Mat. Nauk , 73(3(441)):3--88, 2018

    2018

  13. [21]

    Singular value decomposition in M inkowski space

    Michael Renardy. Singular value decomposition in M inkowski space. Linear Algebra Appl. , 236:53--58, 1996

    1996

  14. [22]

    Schreieder

    S. Schreieder. Unramified cohomology, algebraic cycles and rationality. In Rationality of varieties , volume 342 of Progr. Math. , pages 345--388. Birkh\" a user/Springer, Cham, [2021] 2021

    2021

  15. [23]

    Cl. Voisin. Birational invariants and decomposition of the diagonal. In Birational geometry of hypersurfaces , volume 26 of Lect. Notes Unione Mat. Ital. , pages 3--71. Springer, Cham, [2019] 2019

    2019

  16. [24]

    Yokoyama

    M. Yokoyama. Stability of cubic 3-folds. Tokyo J. Math. , 25(1):85--105, 2002

    2002

Pith tools

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