Constant cycle surfaces on Fano varieties of cubic fourfolds

Jiexiang Huang

Constant cycle surfaces on Fano varieties of cubic fourfolds

T0 review · 1 major / 0 minor · reviewed 2026-07-01 · grok-4.3

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

Pith's one-line read There are at most finitely many constant cycle surfaces of the form F(Y) of any fixed order on F(X).

desk verdict The paper states a finiteness result for constant cycle surfaces F(Y) on F(X) by direct analogy to Huybrechts on K3 surfaces, but the abstract supplies no proof or definitions. read the letter →

arxiv 2606.18253 v1 pith:VMQU7ZP5 submitted 2026-04-27 math.AG

Jiexiang Huang This is my paper · ORCID

classification math.AG

keywords constantcyclesurfacesFanovarietyoflinescubicfourfoldshyperplanesectionsvarieties

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

Huybrechts proved that constant cycle curves of fixed order are finite in number inside any linear system on a K3 surface. This paper examines the higher-dimensional analogues on the Fano variety of lines F(X) of a smooth cubic fourfold X, specifically the surfaces F(Y) obtained from hyperplane sections Y of X. It establishes that only finitely many such surfaces can be constant cycle surfaces of any given fixed order. A sympathetic reader would care because the result indicates that the constant cycle condition continues to impose finiteness when the ambient dimension increases from K3 surfaces to cubic fourfolds.

What carries the argument

The Fano surface F(Y) inside F(X) coming from a hyperplane section Y of the cubic fourfold X, subject to the constant cycle condition of fixed order.

What would settle it

The existence of infinitely many distinct hyperplane sections Y of a fixed X such that each F(Y) is a constant cycle surface of the same fixed order.

Watch

Extended reading notes

Core claim

We prove that there are at most finitely many constant cycle surfaces of the form F(Y) of any fixed order on F(X).

Load-bearing premise

Fano surfaces F(Y) of hyperplane sections Y inherit the finiteness behavior of constant cycle curves on K3 surfaces because they are higher-dimensional analogues.

Editorial extensions

If this is right

The number of constant cycle surfaces F(Y) of each fixed order is finite.
The finiteness statement holds for the Fano variety F(X) of every smooth cubic fourfold X.
The analogy between curves on K3 surfaces and these surfaces on Fano varieties of cubic fourfolds is valid under the constant cycle condition.

Reading between the lines

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

Finiteness may hold for other families of surfaces on F(X) that are not necessarily of the form F(Y).
The result could be used to bound the number of special cycles in the moduli space of cubic fourfolds.
One could investigate whether the same finiteness applies to constant cycle subvarieties in related hyperkähler fourfolds.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The core claim is that there are only finitely many constant cycle surfaces of the form F(Y) of any fixed order on the Fano variety F(X) of a smooth cubic fourfold X. This is presented as an extension of Huybrechts' finiteness theorem for constant cycle curves on K3 surfaces.

What is new is the specific statement for these Fano surfaces coming from hyperplane sections Y of X. The paper correctly notes that F(Y) sits inside F(X) in a way that mirrors how curves sit in a K3, and it isolates the constant-cycle condition as the key restriction. That identification is the actual contribution.

The work is limited in scope but internally consistent on its own terms. It engages the existing literature without circularity or invented objects. The analogy is reasonable to explore, and if the details hold it would be a modest but clean addition to results on constant cycle loci in hyperkähler geometry.

The main limitation is that the abstract gives no proof steps, no definition of constant cycle order in this setting, and no indication of how the argument adapts from curves to surfaces. Without those, it is impossible to check whether the higher-dimensional geometry introduces obstructions that the K3 case avoids. The claim that F(Y) simply inherits the finiteness behavior is asserted rather than demonstrated here.

This is for specialists working on cubic fourfolds, Fano varieties of lines, or constant cycle subvarieties. A reader already familiar with Huybrechts' paper will see the target immediately. It is worth sending to a referee who knows the K3 literature, because the statement is precise enough to be checked and the analogy is worth testing even if the proof needs substantial work.

Referee Report

1 major / 0 minor

Summary. The paper extends Huybrechts' finiteness theorem for constant-cycle curves of fixed order on K3 surfaces to the Fano variety F(X) of lines on a smooth cubic fourfold X. It claims to prove that there are at most finitely many constant-cycle surfaces of the form F(Y), where Y is a hyperplane section of X, of any fixed order on F(X).

Significance. If the central claim holds with a complete proof, the result would supply a higher-dimensional analogue of the K3 finiteness statement and could inform the study of constant-cycle subvarieties on hyperkähler fourfolds arising from cubic fourfolds. The manuscript as presented, however, supplies only the abstract statement with no visible definitions, proof outline, or verification of the constant-cycle order, so the significance cannot be assessed from the given material.

major comments (1)

[Abstract] Abstract: the claim that F(Y) surfaces inherit the same finiteness behavior as curves on K3 surfaces under the constant-cycle condition is presented as the content of the proof, yet no reduction, definition of order, or key step is supplied; this is load-bearing for the central assertion.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. We address the single major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: the claim that F(Y) surfaces inherit the same finiteness behavior as curves on K3 surfaces under the constant-cycle condition is presented as the content of the proof, yet no reduction, definition of order, or key step is supplied; this is load-bearing for the central assertion.

Authors: We agree that the submitted manuscript consists only of the concise statement of the result and does not contain definitions of constant-cycle order, the reduction steps, or any proof outline. In the revised version we will add these elements explicitly, including the definition of order following Huybrechts, the reduction via hyperplane sections, and the main argument using the hyperkähler geometry of F(X). revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity; derivation extends external Huybrechts result without reduction to self-inputs

full rationale

The paper cites Huybrechts' finiteness theorem for constant-cycle curves on K3 surfaces as an external precedent, then states that Fano surfaces F(Y) are higher-dimensional analogues and proves finiteness for fixed-order constant-cycle surfaces on F(X). No self-citation appears, no parameter is fitted and renamed as a prediction, no ansatz is smuggled via prior work by the same authors, and no equation reduces to its own definition by construction. The central claim is presented as the content of an independent proof rather than an inherited or tautological statement.

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

Abstract supplies no information on free parameters, axioms, or invented entities.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Constant cycle surfaces on Fano varieties of cubic fourfolds." pith.science (2026). https://pith.science/paper/VMQU7ZP5

@misc{pith2026260618253,
  author       = {Pith},
  title        = {Pith review of: Constant cycle surfaces on Fano varieties of cubic fourfolds},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VMQU7ZP5}},
  note         = {Machine review of arXiv:2606.18253}
}

abstract

Huybrechts proved the finiteness of constant cycle curves of fixed order in any linear system $|L|$ on a K3 surface. In this paper, we study constant cycle surfaces on the Fano variety of lines $F(X)$ of a smooth cubic fourfold $X$. Fano surfaces $F(Y) \subset F(X)$ of hyperplane sections $Y \subset X$ are higher-dimensional analogues of curves on K3 surfaces. We prove that there are at most finitely many constant cycle surfaces of the form $F(Y)$ of any fixed order on $F(X)$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages

[1]

Foundations of the theory of Fano schemes

A. B. Altman and S. L. Kleiman. “Foundations of the theory of Fano schemes”.Compositio Mathematica34.1 (1977), 3–47

work page 1977
[2]

La vari´ et´ e des droites d’une hypersurface cubique de dimension 4

A. Beauville and R. Donagi. “La vari´ et´ e des droites d’une hypersurface cubique de dimension 4”.C.R. Acad. Sc. Paris, S´ erie I301 (1985), 703–706

work page 1985
[3]

On the Chow ring of a K3 surface

A. Beauville and C. Voisin. “On the Chow ring of a K3 surface”.Journal of Algebraic Geometry13.3 (2004), 417–426

work page 2004
[4]

Bloch.Lectures on Algebraic Cycles

S. Bloch.Lectures on Algebraic Cycles. 2nd ed. New Mathematical Monographs. Cambridge University Press, 2010

work page 2010
[5]

Remarks on correspondences and algebraic cycles

S. Bloch and V. Srinivas. “Remarks on correspondences and algebraic cycles”.American Journal of Mathematics105.5 (1983), 1235–1253

work page 1983
[6]

Classification of automorphisms on a deformation family of hyperk¨ ahler fourfolds byp-elementary lattices

S. Boissi` ere, C. Camere, and A. Sarti. “Classification of automorphisms on a deformation family of hyperk¨ ahler fourfolds byp-elementary lattices”.Kyoto Journal of Mathematics 56.3 (2016), 465–499. REFERENCES 27

work page 2016
[7]

On the algebraicity of the zero locus of an admissible normal function

P. Brosnan and G. Pearlstein. “On the algebraicity of the zero locus of an admissible normal function”.Compositio Mathematica149.11 (2013), 1913–1962

work page 2013
[8]

The moduli space of cubic threefolds via degenerations of the intermediate Jacobian

S. Casalaina-Martin and R. Laza. “The moduli space of cubic threefolds via degenerations of the intermediate Jacobian”.Journal f¨ ur die reine und angewandte Mathematik2009.633 (2009), 29–65

work page 2009

Show all 40 references

[9]

The intermediate Jacobian of the cubic threefold

C. H. Clemens and P. A. Griffiths. “The intermediate Jacobian of the cubic threefold”. Annals of Mathematics95.2 (1972), 281–356

1972
[10]

Star points on smooth hypersurfaces

F. Cools and M. Coppens. “Star points on smooth hypersurfaces”.Journal of Algebra 323.1 (2010), 261–286

2010
[11]

Rational curves on smooth cubic hypersurfaces

I. Coskun and J. Starr. “Rational curves on smooth cubic hypersurfaces”.International Mathematics Research Notices2009.24 (2009), 4626–4641

2009
[12]

Fulton.Intersection Theory

W. Fulton.Intersection Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete. Springer New York, 1998

1998
[13]

Automorphisms of prime order of smooth cubic n-folds

V. Gonz´ alez-Aguilera and A. Liendo. “Automorphisms of prime order of smooth cubic n-folds”.Archiv der Mathematik97.1 (2011), 25–37

2011
[14]

Elliptic constant cycle curves on Kummer surfaces

J. Huang. “Elliptic constant cycle curves on Kummer surfaces”.arXiv:2506.06260(2025)

2025
[15]

Curves and cycles on K3 surfaces

D. Huybrechts. “Curves and cycles on K3 surfaces”.Algebraic Geometry1.1 (2014), 69–106. With an appendix by Claire Voisin

2014
[16]

Huybrechts.The geometry of cubic hypersurfaces

D. Huybrechts.The geometry of cubic hypersurfaces. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2023

2023
[17]

Algebraic cycles on certain hyperk¨ ahler fourfolds with an order 3 non- symplectic automorphism II

R. Laterveer. “Algebraic cycles on certain hyperk¨ ahler fourfolds with an order 3 non- symplectic automorphism II”.Communications in Algebra46.10 (2018), 4530–4554

2018
[18]

On the moduli space of pairs consisting of a cubic threefold and a hyperplane

R. Laza, G. Pearlstein, and Z. Zhang. “On the moduli space of pairs consisting of a cubic threefold and a hyperplane”.Advances in Mathematics340 (2018), 684–722

2018
[19]

A hyper-K¨ ahler compactification of the intermediate Jacobian fibration associated with a cubic 4-fold

R. Laza, G. Sacc` a, and C. Voisin. “A hyper-K¨ ahler compactification of the intermediate Jacobian fibration associated with a cubic 4-fold”.Acta Mathematica218.1 (2017), 55–135

2017
[20]

Bloch’s conjecture for (anti-)autoequivalences on K3 surfaces

Z. Li, X. Yu, and R. Zhang. “Bloch’s conjecture for (anti-)autoequivalences on K3 surfaces”. arXiv:2305.10078(2023)

2023
[21]

Rational equivalence of 0-cycles on surfaces

D. Mumford. “Rational equivalence of 0-cycles on surfaces”.Journal of Mathematics of Kyoto University9.2 (1969), 195–204

1969
[22]

Applications of algebraic K-theory to the theory of algebraic cycles

J. P. Murre. “Applications of algebraic K-theory to the theory of algebraic cycles”. Algebraic Geometry Sitges (Barcelona) 1983. Vol. 1124. Lecture Notes in Mathematics. Berlin, Heidelberg: Springer, 1985, 216–261

1983
[23]

On Γ-equivalence of zero-dimensional cycles

A. A. Rojtman. “On Γ-equivalence of zero-dimensional cycles”.Mathematics of the USSR- Sbornik15.4 (1971), 555–567

1971
[24]

The torsion of the group of 0-cycles modulo rational equivalence

A. A. Rojtman. “The torsion of the group of 0-cycles modulo rational equivalence”.Annals of Mathematics111.3 (1980), 553–569. 28 REFERENCES

1980
[25]

Admissible normal functions

M. Saito. “Admissible normal functions”.Journal of Algebraic Geometry5.2 (1996), 235–276

1996
[26]

Complex analytic N´ eron models for arbitrary families of intermediate Jaco- bians

C. Schnell. “Complex analytic N´ eron models for arbitrary families of intermediate Jaco- bians”.Inventiones mathematicae188.1 (2012), 1–81

2012
[27]

K3 categories, one-cycles on cubic fourfolds, and the Beauville–Voisin filtration

J. Shen and Q. Yin. “K3 categories, one-cycles on cubic fourfolds, and the Beauville–Voisin filtration”.Journal of the Institute of Mathematics of Jussieu19.5 (2020), 1601–1627

2020
[28]

Derived categories of K3 surfaces, O’Grady’s filtration, and zero-cycles on holomorphic symplectic varieties

J. Shen, Q. Yin, and X. Zhao. “Derived categories of K3 surfaces, O’Grady’s filtration, and zero-cycles on holomorphic symplectic varieties”.Compositio Mathematica156.1 (2020), 179–197

2020
[29]

The Fourier transform for certain hyperk¨ ahler fourfolds

M. Shen and C. Vial. “The Fourier transform for certain hyperk¨ ahler fourfolds”.Memoirs of the American Mathematical Society240 (2013)

2013
[30]

Resolution simultanee, I - Familles de courbes

B. Teissier. “Resolution simultanee, I - Familles de courbes”.S´ eminaire sur les Singularit´ es des Surfaces. Berlin, Heidelberg: Springer Berlin Heidelberg, 1980, 71–81

1980
[31]

Coniveau 2 complete intersections and effective cones

C. Voisin. “Coniveau 2 complete intersections and effective cones”.Geometric and Func- tional Analysis19.5 (2010), 1494–1513

2010
[32]

Voisin.Hodge Theory and Complex Algebraic Geometry I

C. Voisin.Hodge Theory and Complex Algebraic Geometry I. Trans. by L. Schneps. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2002

2002
[33]

Voisin.Hodge Theory and Complex Algebraic Geometry II

C. Voisin.Hodge Theory and Complex Algebraic Geometry II. Trans. by L. Schneps. Cambridge Studies in Advanced Mathematics. Cambridge University Press, 2003

2003
[34]

K-correspondences and intrinsic pseudovolume forms

C. Voisin. “K-correspondences and intrinsic pseudovolume forms”.Fano Conference (Conference organized to commemorate the 50th anniversary of the death of Gino Fano). Torino, Italy, 2002

2002
[35]

On the Chow ring of certain algebraic hyperk¨ ahler manifolds

C. Voisin. “On the Chow ring of certain algebraic hyperk¨ ahler manifolds”.Pure and Applied Mathematics Quarterly4.3 (2008), 613–650

2008
[36]

Rational equivalence of 0-cycles on K3 surfaces and conjectures of Huybrechts and O’Grady

C. Voisin. “Rational equivalence of 0-cycles on K3 surfaces and conjectures of Huybrechts and O’Grady”.Recent Advances in Algebraic Geometry: A Volume in Honor of Rob Lazarsfeld’s 60th Birthday. London Mathematical Society Lecture Note Series. Cambridge University Press, 2015, 422–436

2015
[37]

Remarks and questions on coisotropic subvarieties and 0-cycles of hyper-K¨ ahler varieties

C. Voisin. “Remarks and questions on coisotropic subvarieties and 0-cycles of hyper-K¨ ahler varieties”.K3 Surfaces and Their Moduli. Cham: Springer International Publishing, 2016, 365–399

2016
[38]

Some aspects of the Hodge conjecture

C. Voisin. “Some aspects of the Hodge conjecture”.Japanese Journal of Mathematics2.2 (2007), 261–296

2007
[39]

Sur la stabilit´ e des sous-vari´ et´ es lagrangiennes des vari´ et´ es symplectiques holomorphes

C. Voisin. “Sur la stabilit´ e des sous-vari´ et´ es lagrangiennes des vari´ et´ es symplectiques holomorphes”.Complex Projective Geometry: Selected Papers. London Mathematical Society Lecture Note Series. Cambridge University Press, 1992, 294–303. REFERENCES 29

1992
[40]

Unirational threefolds with no universal codimension 2 cycle

C. Voisin. “Unirational threefolds with no universal codimension 2 cycle”.Inventiones mathematicae201.1 (2015), 207–237. Mathematisches Institut, Universit ¨at Bonn, Endenicher Allee 60, 53115 Bonn, Germany. E-mail address: jxhuang@math.uni-bonn.de

2015

Pith tools

Reviewed July 1, 2026 · model on record in the stance chip above.

[1] [1]

Foundations of the theory of Fano schemes

A. B. Altman and S. L. Kleiman. “Foundations of the theory of Fano schemes”.Compositio Mathematica34.1 (1977), 3–47

work page 1977

[2] [2]

La vari´ et´ e des droites d’une hypersurface cubique de dimension 4

A. Beauville and R. Donagi. “La vari´ et´ e des droites d’une hypersurface cubique de dimension 4”.C.R. Acad. Sc. Paris, S´ erie I301 (1985), 703–706

work page 1985

[3] [3]

On the Chow ring of a K3 surface

A. Beauville and C. Voisin. “On the Chow ring of a K3 surface”.Journal of Algebraic Geometry13.3 (2004), 417–426

work page 2004

[4] [4]

Bloch.Lectures on Algebraic Cycles

S. Bloch.Lectures on Algebraic Cycles. 2nd ed. New Mathematical Monographs. Cambridge University Press, 2010

work page 2010

[5] [5]

Remarks on correspondences and algebraic cycles

S. Bloch and V. Srinivas. “Remarks on correspondences and algebraic cycles”.American Journal of Mathematics105.5 (1983), 1235–1253

work page 1983

[6] [6]

Classification of automorphisms on a deformation family of hyperk¨ ahler fourfolds byp-elementary lattices

S. Boissi` ere, C. Camere, and A. Sarti. “Classification of automorphisms on a deformation family of hyperk¨ ahler fourfolds byp-elementary lattices”.Kyoto Journal of Mathematics 56.3 (2016), 465–499. REFERENCES 27

work page 2016

[7] [7]

On the algebraicity of the zero locus of an admissible normal function

P. Brosnan and G. Pearlstein. “On the algebraicity of the zero locus of an admissible normal function”.Compositio Mathematica149.11 (2013), 1913–1962

work page 2013

[8] [8]

The moduli space of cubic threefolds via degenerations of the intermediate Jacobian

S. Casalaina-Martin and R. Laza. “The moduli space of cubic threefolds via degenerations of the intermediate Jacobian”.Journal f¨ ur die reine und angewandte Mathematik2009.633 (2009), 29–65

work page 2009