Trisecant Flops, their associated K3 surfaces and the rationality of some Fano fourfolds

Francesco Russo; Giovanni Staglian\`o

REVIEW 3 major objections 4 minor 42 references

Trisecant Flops, their associated K3 surfaces and the rationality of some Fano fourfolds

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

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

Pith's one-line read Every cubic fourfold in $C_{42}$ is rational, realized through a trisecant flop with a K3 surface as base locus of the inverse map.

desk verdict A serious, near-miss paper: the rationality of C42 is plausibly proved via a genuinely new trisecant-flop construction, but the key 'expected trisecant behaviour' for the singular S42 is asserted, not derived, and several numerical inputs rest on Macaulay2 checks. read the letter →

arxiv 1909.01263 v4 pith:ZP6IKWOT submitted 2019-09-03 math.AG

Francesco Russo , Giovanni Staglianò This is my paper · ORCID

classification math.AG MSC 14E0814M2014M0714N0514J2814J70

keywords cubicfourfoldsrationalitytrisecantflopsK3surfacesminimalmodelprogramcongruencesofmultisecantcurvesFanomodulispecial

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 establishes that every cubic fourfold in the divisor $C_{42}$ of the moduli space of cubic fourfolds (those of discriminant 42) is rational, settling the first open case of the long-standing conjecture that rationality is governed by an associated K3 surface. The proof shows that a general cubic in $C_{42}$ contains a rational surface $S_{42}$ of degree 9 and sectional genus 2 with five nodes, and that the linear system of cubics through $S_{42}$ induces a birational map whose indeterminacy is resolved by a 'trisecant flop' along trisecant lines. After the flop, a congruence of 8-secant twisted cubics contracts a divisor to a smooth fourfold $W$ that is a linear section of the Grassmannian $G(1,4)$, and the inverse map is given by hypersurfaces of degree 8 having multiplicity 3 along a smooth non-minimal K3 surface $U$ of degree 21 and genus 18. The same trisecant-flop mechanism also accounts for rationality in the earlier admissible families $C_{14}$, $C_{26}$, and $C_{38}$.

What carries the argument

The trisecant flop: a small contraction on the blow-up of a cubic fourfold along a surface $S$, whose exceptional locus is a surface ruled by trisecant lines to $S$, resolved by constructing an explicit flop from the splitting of the normal bundle of a general trisecant line. The key formula is the splitting $N_{T'/X'}|_{L'} \simeq O(-1) \oplus O(-1)$ along a general trisecant line $L'$, which makes the exceptional surface floppable and produces a new smooth fourfold. A congruence of $(3e-1)$-secant rational curves of degree $e$ then supplies an extremal ray, contracting a divisor onto the associated K3 surface $U$; the inverse birational map is the linear system of hypersurfaces of degree $i(W)e-1$ (where $i(W)$ is the index of $W$) with multiplicity $e$ along $U$.

What would settle it

Take the explicit $S_{42}$ and compute the Hilbert scheme $Al^3(S_{42})$ of length-3 aligned subschemes: if any component has dimension greater than two or fails to be generically reduced, the expected trisecant behaviour fails and the flop construction is not justified. Alternatively, for a general cubic fourfold $X$ through $S_{42}$, check whether the splitting $N_{T'/X'}|_{L'} \simeq O(-1)\oplus O(-1)$ holds for a general trisecant line $L'$; a splitting with an $O$ summand would indicate a non-reduced or higher-dimensional family of trisecants.

Watch

Extended reading notes

Core claim

The central discovery is that the birational maps used to prove rationality of special cubic fourfolds are not ad hoc: they are small contractions in the minimal model program, and their base loci can be flopped. For a surface $S \subset P^5$ whose ideal is generated by cubics and which has the expected trisecant behaviour, the map defined by cubics through $S$ restricts to a birational contraction on the blow-up $X'$ of a general cubic fourfold $X$ along $S$, with exceptional locus ruled by trisecant lines. Because the canonical class of $X'$ vanishes on these lines, the contraction is a flop; the paper constructs the flopped fourfold $W'$ explicitly from the normal-bundle splitting of a trisecant line. When $S$ carries a congruence of $(3e-1)$-secant curves of degree $e$, those curves generate an extremal ray on $W'$, producing a divisorial contraction to a Fano fourfold $W$ with Picard number one. In the $d=42$ case, $S_{42}$ admits a congruence of 8-secant twisted cubics, the target is a linear section of $G(1,4)$, and the inverse map is the linear system of degree-8 hypersurfaces with multiplicity 3 along a smooth non-minimal K3 surface $U$ of degree 21 and genus 18. The consequence is rationality of every cubic fourfold in $C_{42}$.

Load-bearing premise

The proof that a general surface $S_{42}$ has the expected trisecant behaviour—that its trisecant lines form a generically reduced two-dimensional family—is asserted without a full derivation; if this failed on an open set, the normal-bundle splitting driving the flop would break down and the birational map to $W$ would not be guaranteed.

Editorial extensions

If this is right

Every cubic fourfold in $C_{42}$, not just a general one, is rational, because the constructed birational map on a general member specializes to all members of the divisor.
The rationality of the first four admissible families $C_{14}$, $C_{26}$, $C_{38}$, and $C_{42}$ is now explained by one mechanism: a trisecant flop followed by contraction of a congruence of multisecant curves.
For each of these families the inverse birational map is explicitly described by a linear system with assigned multiplicity along a (possibly non-minimal) K3 surface birational to the associated K3 surface of the cubic fourfold.
The construction gives explicit equations and a rational parametrization of the family of surfaces $S_{42}$, hence a new proof that the moduli space of cubics in $C_{42}$ is covered by rational curves.
The associated K3 surfaces appear as base loci of the inverse maps, giving a concrete geometric incarnation of the Hodge-theoretic or categorical association between special cubic fourfolds and K3 surfaces.

Reading between the lines

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

If the pattern persists, the same trisecant-flop construction should yield explicit rational fourfolds $W$ and non-minimal K3 models $U$ for the next admissible discriminants $d=62,74,78$, before the dimensional count that makes the moduli space non-uniruled takes over; the paper's dimensional analysis suggests this but does not prove it.
The explicit inverse linear system gives a concrete test of whether the Hodge-theoretically associated K3 surface of a cubic in $C_{42}$ is literally birational to the surface $U$ appearing in the equations, which would connect two independent notions of 'associated K3'.
If expected trisecant behaviour is verified for the whole family rather than only for general members, the method would become an effective algorithm to produce rational parametrizations of every cubic in $C_{42}$, not just the general one.

Share X Bluesky LinkedIn Reddit HN

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

Send it to a serious referee. The main theorem — every cubic fourfold in C42 is rational — is a real advance, and the trisecant-flop mechanism is genuinely new. If correct, it settles the first open case of Kuznetsov's conjecture for d=42 and gives explicit birational models, not just existence.

What's new: the construction of the 48-dimensional family of nodal surfaces S42, the congruence of 8-secant twisted cubics, the birational map to W = G(1,4) ∩ P7, and the inverse map cut out by degree-8 hypersurfaces with multiplicity 3 along a smooth non-minimal K3 surface U of degree 21 and genus 18. The paper ships a Macaulay2 package with equations; that's concrete and reproducible. The d=42 case was open; earlier work by Lai and Farkas–Verra only gave unirationality of C42.

The soft spot is exactly what the stress-test flags. Theorem 4.5 asserts 'The surfaces S42 ⊂ P5 have the expected trisecant behaviour, as one easily verifies' — no derivation. That property is load-bearing: it produces the normal-bundle splitting (2.2) that makes the trisecant flop go. S42 has five nodes and is not a K3, so the standard route via condition K3 and Corollary 2.7 doesn't apply, as the paper's own Table 1 note concedes. The nodes could create extra components of Al3(S42) or failure of generic reducedness, and no argument is given that the contracted curves are only proper trisecant lines. This is a genuine gap, not cosmetic.

Beyond that, several numerical inputs are Macaulay2 checks on a general example: h0(NS42/P5)=48, existence of smooth cubics through S42, h0(NS42/X)=2, the '17 lines' fiber count, and the invariants of U. In projective geometry, verifying an open condition on one example often persuades, but it is short of proof unless openness is stated. The authors should either write the openness argument or clearly mark these as computational evidence.

The main line is coherent and the gaps are specific and addressable. I don't think the result is wrong; I think the paper is incomplete as written. The unproved trisecant behaviour is the one to fix; the rest is routine-to-moderate.

This paper is for birational geometers working on rationality, moduli of cubic fourfolds, and K3 surfaces. It deserves a serious referee. Send it to peer review, and ask for a proof or precise justification of expected trisecant behaviour, plus written openness arguments for the computational assertions.

Referee Report

3 major / 4 minor

Summary. The paper develops a Mori-theoretic framework for birational maps on cubic fourfolds obtained from linear systems of cubics through a surface S⊂P5. It introduces a trisecant flop (Theorem 2.6) that flops a surface ruled by trisecant lines, and an extremal congruence contraction (Theorem 2.10) that converts a congruence of (3e−1)-secant curves into a divisorial contraction to a Fano fourfold W whose base locus contains a K3 surface U. The main application is Theorem 4.5: a general cubic fourfold X in the divisor C42 contains a rational surface S42 of degree 9 and genus 2 with five nodes admitting a congruence of 8-secant twisted cubics; the map defined by |H^0(I^3_{S42}(8))| induces a birational map X⇢W, where W=G(1,4)∩P7⊂P7, and the inverse is given by degree-8 hypersurfaces with multiplicity 3 along a smooth non-minimal K3 surface of degree 21 and genus 18. By the specialization result [20], the authors conclude that every cubic fourfold in C42 is rational, resolving the first open case of Kuznetsov's conjecture.

Significance. If the proof is completed, Theorem 4.5 is a substantial result: it gives the first proof of rationality for all cubics in the divisor C42 and provides an explicit birational incarnation of the associated K3 surface inside W. The paper also gives a coherent geometric explanation for the known cases d=14,26,38 in the same trisecant-flop language, together with a Macaulay2 package and explicit equations that make the constructions reproducible. The general theorems on trisecant flops and extremal congruence contractions are of independent interest and are illustrated by a rich table of examples.

major comments (3)

[§4.2, proof of Theorem 4.5] The assertion that the five-nodal surfaces S42 'have the expected trisecant behaviour, as one easily verifies' is unproved. This condition is exactly the input to Lemma 2.3 that yields the normal-bundle splitting (2.2), and it cannot be supplied by Remark 1.6 and Corollary 2.7 because S42 is singular and does not satisfy condition K3 (see Table 1, row (0)). Since the trisecant flop of Theorem 2.6 is the mechanism that constructs W′ and hence the birational map X⇢W, the central claim of Theorem 4.5 rests on an unverified hypothesis. A proof that Al3(S42) is pure of dimension two and generically reduced for a general member of the 48-dimensional family, or a complete Macaulay2 verification with an explicit openness argument, is needed.
[§4.1, Theorem 4.1 and its proof] The numerical inputs h0(NS42/P5)=48, h0(NS42/X)=2, and the existence of a smooth cubic fourfold through a general S42 are stated as Macaulay2 verifications on a single example. These numbers are used to prove that the Hilbert component is generically smooth of dimension 48 and that the general cubic in C42 contains such a surface. Drawing these conclusions requires semicontinuity or an explicit deformation argument; as written, the computations show the numerical statements only for one surface over Q. Since Theorem 4.1 is the basis for identifying C42 with the closure of the surface locus, this gap should be closed.
[§4.2, proof of Theorem 4.5] The smoothness of U and its invariants (degree 21, genus 18, ideal generated by five quadrics and eight cubics) are asserted by 'one verifies' and 'we verified also computationally'. The description of U is part of the theorem's statement, and the assertion that μ−1 is given by the stated linear system is also left as a computational check. Because a verificication on one example does not automatically extend to the general member of the family, the proof should either supply a derivation from the construction of S42 and the flop diagram, or specify precisely which commands in the ancillary file establish the asserted properties and how they imply the general statement.

minor comments (4)

[Theorem 2.10] The statement contains the typo 'trisecant tlop'; it should read 'trisecant flop'.
[Lemma 2.3] The proof says that the strict transform of a general trisecant line represents a smooth point of the family 'by hypothesis', but expected trisecant behaviour only gives generic reducedness of Al3S; the implication to smoothness of the transformed family would benefit from one sentence of explanation.
[§4.1] The sentence 'we have verified this via Macaulay2 in a general example' would be clearer if it specified how the example was chosen and which file/command establishes the verification.
[Remark 4.6] The statement that the linear system of hyperplane sections with a triple point, a double point and eight simple base points 'imposes only six conditions' is not expanded; a short justification or a reference would help the reader check the dimension count.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; the d=42 proof is self-contained modulo unproved genericity checks, which are rigor gaps rather than circular reductions.

full rationale

The paper's central d=42 theorem is not derived from its conclusion. The surface S42 is constructed explicitly as the image of a linear system on P2 followed by explicit Cremona/projection maps, and its congruence of 8-secant twisted cubics is obtained from the birational map defined by the cubics through S42. The trisecant flop and extremal contraction used in Theorem 4.5 are proved in Theorems 2.6 and 2.10 from the normal-bundle splitting of trisecant lines, not assumed as the rationality conclusion. Citations to the authors' earlier work [31,32] for d=14,26,38 are independent published results and are not used as assumptions equivalent to the new d=42 claim. No fitted parameter is introduced, and no quantity called a prediction is defined in terms of the output. The main weaknesses are verification gaps: the statement that S42 has 'the expected trisecant behaviour, as one easily verifies' is load-bearing for the splitting condition (2.2), and several numerical checks (h^0(N_{S42/P5})=48, h^0(N_{S42/X})=2, existence of smooth cubics through S42, the degree and genus of U) are reported as Macaulay2 verifications rather than fully written openness arguments. These are correctness and rigor risks, not circularity: they do not make the theorem's conclusion an input to the derivation. Accordingly no circular step is listed and the score is 0.

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

The central construction has no fitted numerical parameters. The main substantive assumptions are geometric: expected trisecant behaviour for the surfaces S, plus computational verification in one general example. The flop and contraction theorems are imported from standard MMP literature. No new abstract entities are postulated; the surface U is a K3 surface from classical theory presented in a non-minimal model.

assumptions (5)

domain assumption The surfaces S42 have expected trisecant behaviour.
Theorem 4.5 proof says 'as one easily verifies'; this condition controls the normal bundle splitting in (2.2) and is required for the trisecant flop to exist.
domain assumption The relevant surfaces in the applied examples satisfy condition K3 where stated.
Used to ensure the fibers of the rational map are linear spaces via Proposition 1.5. The table notes that row (0), the d=42 case, does not rely on K3, so it is not assumed uniformly.
standard math Standard MMP existence theorems for flops and extremal contractions.
Theorem 2.6 and Theorem 2.10 rely on [24], [2], [25], [10], and [14] for the existence of the flop and of the divisorial contraction.
domain assumption Macaulay2 computations on one general example extend to the full family.
The paper verifies h^0(N_{S42/P5})=48 and h^0(N_{S42/X})=2 on a general example; it does not spell out all semicontinuity and openness arguments.
standard math Kontsevich-Tschinkel specialization theorem applies to the family over C42.
Used in Section 4.2 to pass from a general cubic in C42 to every cubic in C42.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Trisecant Flops, their associated K3 surfaces and the rationality of some Fano fourfolds." pith.science (2026). https://pith.science/paper/ZP6IKWOT

@misc{pith2026190901263,
  author       = {Pith},
  title        = {Pith review of: Trisecant Flops, their associated K3 surfaces and the rationality of some Fano fourfolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZP6IKWOT}},
  note         = {Machine review of arXiv:1909.01263}
}

abstract

We provide a new construction of rationality for cubic fourfolds via Mori's theory and the minimal model program. As an application, we present the solution of the Kuznetsov's conjecture for $d=42$ (the first open case). Our methods also show an explicit connection between the rationality of cubic fourfolds belonging to the first four admissible families $\mathcal C_d$, with $d=14,26,38$, and $42$ and some birational models of minimal K3 surfaces of degree $d$ contained in well known rational Fano fourfolds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

[20]

Kontsevich and Y

M. Kontsevich and Y. Tschinkel, Specialization of birational types , Invent. Math. 217 (2019), no. 2, 415–432

work page 2019
[1]

Alzati and F

A. Alzati and F. Russo, Some elementary extremal contractions between smooth vari eties arising from projective geometry, Proc. Lond. Math. Soc. 89 (2004), 25–53

work page 2004
[2]

Artin, Algebraization of formal moduli: II

M. Artin, Algebraization of formal moduli: II. Existence of modiﬁcat ions, Ann. of Math. 91 (1970), no. 1, 88–135

work page 1970
[3]

Bauer, The classiﬁcation of surfaces in P5 having few trisecant lines , Rend

I. Bauer, The classiﬁcation of surfaces in P5 having few trisecant lines , Rend. Sem. Mat. Univ. Pol. Torino 56 (1998), 1–20

work page 1998
[4]

Bolognesi, F

M. Bolognesi, F. Russo, and G. Staglian` o, Some loci of rational cubic fourfolds , Math. Ann. 373 (2019), no. 1, 165–190

work page 2019
[5]

Chiantini and C

L. Chiantini and C. Ciliberto, A few remarks on the lifting problem , Ast´ erisque218 (1993), 95–109

work page 1993
[6]

Decker, L

W. Decker, L. Ein, and F.-O. Schreyer, Construction of surfaces in P4, J. Algebraic Geom. 2 (1993), no. 2, 185–237

work page 1993
[7]

Fano, Sulle forme cubiche dello spazio a cinque dimensioni conten enti rigate razionali del 4◦ ordine, Comment

G. Fano, Sulle forme cubiche dello spazio a cinque dimensioni conten enti rigate razionali del 4◦ ordine, Comment. Math. Helv. 15 (1943), no. 1, 71–80

work page 1943

Show all 42 references

[8]

Farkas and A

G. Farkas and A. Verra, The unirationality of the moduli space of K3 surfaces of degr ee 42 , preprint: https://arxiv.org/abs/1910.10123, 2019

1910 arXiv
[9]

Fontanari and E

C. Fontanari and E. Sernesi, Non-surjective Gaussian maps for singular curves on K3 surf aces, Collect. Math. 70 (2019), no. 1, 107–115

2019
[10]

on the inverse of monoidal transformation

A. Fujiki and S. Nakano, Supplement to “on the inverse of monoidal transformation ” , Publ. RIMS Kyoto Univ. 7 (1971), 637–644

1971
[11]

Fulton, Intersection theory, Ergeb

W. Fulton, Intersection theory, Ergeb. Math. Grenzgeb. (3), no. 2, Springer-Verlag, 1984

1984
[12]

D. R. Grayson and M. E. Stillman, Macaulay2 — A software system for research in algebraic geometry (version 1.14) , home page: http://www.math.uiuc.edu/Macaulay2/, 2019

2019
[13]

Gruson and C

L. Gruson and C. Peskine, On the smooth locus of aligned Hilbert schemes, the k-secant lemma and the general projection theorem, Duke Math. J. 162 (2013), no. 3, 553–578

2013
[14]

C. D. Hacon and J. Mc Kernan, The Sarkisov program , J. Algebraic Geom. 22 (2013), 389–405

2013
[15]

Hassett, Cubic fourfolds, K3 surfaces, and rationality questions , Rationality Problems in Algebraic Geometry: Levico Terme, Italy 2015 (R

B. Hassett, Cubic fourfolds, K3 surfaces, and rationality questions , Rationality Problems in Algebraic Geometry: Levico Terme, Italy 2015 (R. Pardini and G. P. Piro la, eds.), Springer International Publishing, Cham, 2016, pp. 29–66

2015
[16]

Hassett, A

B. Hassett, A. Pirutka, and Y. Tschinkel, Stable rationality of quadric surface bundles over surface s, Acta Math. 220 (2018), no. 2, 341–365

2018
[17]

Hoﬀ and G

M. Hoﬀ and G. Staglian` o, New examples of rational Gushel-Mukai fourfolds , Math. Z. (2020), doi: https://doi.org/10.1007/s00209-020-02498-5

2020 doi
[18]

Hulek, S

K. Hulek, S. Katz, and F.-O. Schreyer, Cremona transformations and syzygies , Math. Z. 209 (1992), no. 1, 419–443

1992
[19]

Koll´ ar, Algebraic hypersurfaces, Bull

J. Koll´ ar, Algebraic hypersurfaces, Bull. Amer. Math. Soc. 56 (2019), 543–568

2019
[21]

Kuznetsov, Derived categories view on rationality problems , Rationality Problems in Algebraic Geom- etry: Levico Terme, Italy 2015 (R

A. Kuznetsov, Derived categories view on rationality problems , Rationality Problems in Algebraic Geom- etry: Levico Terme, Italy 2015 (R. Pardini and G. P. Pirola, e ds.), Springer International Publishing, Cham, 2016, pp. 67–104. TRISECANT FLOPS AND RATIONALITY 23 d e S ⊂X ⊂...

2015
[22]

Lai, New cubic fourfolds with odd-degree unirational parametri zations, Algebra & Number Theory 11 (2017), 1597–1626

K. Lai, New cubic fourfolds with odd-degree unirational parametri zations, Algebra & Number Theory 11 (2017), 1597–1626

2017
[23]

Lee, H.-W

Y.-P. Lee, H.-W. Lin, and C.-L. Wang, Flops, motives, and invariance of quantum rings , Ann. of Math. 172 (2010), no. 1, 243–290

2010
[24]

Mori, Threefolds whose canonical bundles are not numerically eﬀec tive, Ann

S. Mori, Threefolds whose canonical bundles are not numerically eﬀec tive, Ann. of Math. 116 (1982), no. 1, 133–176

1982
[25]

Nakano, On the inverse of monoidal transformation , Publ

S. Nakano, On the inverse of monoidal transformation , Publ. RIMS Kyoto Univ. 6 (1971), no. 3, 483–502

1971
[26]

Nicaise and J

J. Nicaise and J. C. Ottem, Tropical degenerations and stable rationality , preprint: https://arxiv.org/abs/1911.06138, 2019

1911 arXiv
[27]

Nuer, Unirationality of moduli spaces of special cubic fourfolds and K3 surfaces , Algebr

H. Nuer, Unirationality of moduli spaces of special cubic fourfolds and K3 surfaces , Algebr. Geom. 4 (2015), 281–289

2015
[28]

Ran, Unobstructedness of ﬁlling secants and the Gruson–Peskine general projection theorem , Duke Math

Z. Ran, Unobstructedness of ﬁlling secants and the Gruson–Peskine general projection theorem , Duke Math. J. 164 (2015), no. 4, 697–722

2015
[29]

Rogora, On projective varieties for which a family of multisecant li nes has dimension larger than expected, preprint n

E. Rogora, On projective varieties for which a family of multisecant li nes has dimension larger than expected, preprint n. 28/96, Dip. di Matematica, Universit` a degli S tudi di Roma La Sapienza , available at http://www1.mat.uniroma1.it/people/rogora/pdf/28.pdf
[30]

Russo, On a theorem of Severi , Math

F. Russo, On a theorem of Severi , Math. Ann. 316 (2000), no. 1, 1–17

2000
[31]

Russo and G

F. Russo and G. Staglian` o, Explicit rationality of some cubic fourfolds , available at https://arxiv.org/abs/1811.03502, 2018

2018 arXiv
[32]

, Congruences of 5-secant conics and the rationality of some admissible cubic fourfolds, Duke Math. J. 168 (2019), no. 5, 849–865

2019
[33]

, Trisecant Flops, their associated K3 surfaces and the ratio nality of some Fano fourfolds (second and expanded arXiv version of the present paper) , https://arxiv.org/abs/1909.01263v2, 2019

1909 arXiv
[34]

Schreieder, Stably irrational hypersurfaces of small slopes , J

S. Schreieder, Stably irrational hypersurfaces of small slopes , J. Amer. Math. Soc. 32 (2019), no. 4, 1171–1199

2019
[35]

J. G. Semple, On representations of the Sk’s of Sn and of the Grassmann manifolds G(k, n), Proc. Lond. Math. Soc. s2-32 (1931), no. 1, 200–221

1931
[36]

J. G. Semple and J. A. Tyrrell, The T2,4 of S6 deﬁned by a rational surface 3F 8, Proc. Lond. Math. Soc. s3-20 (1970), 205–221

1970
[37]

Staglian` o, Special cubic Cremona transformations of P6 and P7, Adv

G. Staglian` o, Special cubic Cremona transformations of P6 and P7, Adv. Geom. 19 (2018), no. 2, 191–204

2018
[38]

, Special cubic birational transformations of projective sp aces, Collect. Math. 71 (2020), 123–150

2020
[39]

Tanimoto and A

S. Tanimoto and A. V´ arilly-Alvarado, Kodaira dimension of moduli of special cubic fourfolds , J. Reine Angew. Math. 752 (2019), 265–300. TRISECANT FLOPS AND RATIONALITY 25

2019
[40]

Totaro, Hypersurfaces that are not stably rational , J

B. Totaro, Hypersurfaces that are not stably rational , J. Amer. Math. Soc. 29 (2015), no. 3, 883–891

2015
[41]

Vermeire, Some results on secant varieties leading to a geometric ﬂip c onstruction, Compos

P. Vermeire, Some results on secant varieties leading to a geometric ﬂip c onstruction, Compos. Math. 125 (2001), no. 3, 263–282

2001
[42]

Voisin, Segre classes of tautological bundles on Hilbert schemes of surfaces, Algebr

C. Voisin, Segre classes of tautological bundles on Hilbert schemes of surfaces, Algebr. Geom. 6 (2019), no. 2, 186–195. Dipartimento di Matematica e Informatica, Universit `a degli Studi di Catania, Viale A. Doria 5, 95125 Catania, Italy E-mail address : frusso@dmi.unict.it g...

2019

Pith tools

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

[1] [20]

Kontsevich and Y

M. Kontsevich and Y. Tschinkel, Specialization of birational types , Invent. Math. 217 (2019), no. 2, 415–432

work page 2019

[2] [1]

Alzati and F

A. Alzati and F. Russo, Some elementary extremal contractions between smooth vari eties arising from projective geometry, Proc. Lond. Math. Soc. 89 (2004), 25–53

work page 2004

[3] [2]

Artin, Algebraization of formal moduli: II

M. Artin, Algebraization of formal moduli: II. Existence of modiﬁcat ions, Ann. of Math. 91 (1970), no. 1, 88–135

work page 1970

[4] [3]

Bauer, The classiﬁcation of surfaces in P5 having few trisecant lines , Rend

I. Bauer, The classiﬁcation of surfaces in P5 having few trisecant lines , Rend. Sem. Mat. Univ. Pol. Torino 56 (1998), 1–20

work page 1998

[5] [4]

Bolognesi, F

M. Bolognesi, F. Russo, and G. Staglian` o, Some loci of rational cubic fourfolds , Math. Ann. 373 (2019), no. 1, 165–190

work page 2019

[6] [5]

Chiantini and C

L. Chiantini and C. Ciliberto, A few remarks on the lifting problem , Ast´ erisque218 (1993), 95–109

work page 1993

[7] [6]

Decker, L

W. Decker, L. Ein, and F.-O. Schreyer, Construction of surfaces in P4, J. Algebraic Geom. 2 (1993), no. 2, 185–237

work page 1993

[8] [7]

Fano, Sulle forme cubiche dello spazio a cinque dimensioni conten enti rigate razionali del 4◦ ordine, Comment

G. Fano, Sulle forme cubiche dello spazio a cinque dimensioni conten enti rigate razionali del 4◦ ordine, Comment. Math. Helv. 15 (1943), no. 1, 71–80

work page 1943