Pith. sign in

REVIEW 4 major objections 4 minor 15 references

Special components of Noether-Lefschetz loci

T0 review · 4 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 On the Fermat surface of degree 8, a rational pencil of algebraic cycles is conjectured to produce infinitely many special Noether–Lefschetz components, contradicting a 1980s finiteness conjecture.

desk verdict Genuinely new rigorous results on general Noether-Lefschetz pencils, but the special-pencil counterexample to Harris is a well-labeled conjecture resting on finite computational evidence. read the letter →

arxiv 1908.04117 v1 pith:R4UFVUWT submitted 2019-08-12 math.AG math.ATmath.CV

Hossein Movasati This is my paper · ORCID
classification math.AGmath.ATmath.CV MSC 14C3014D0714J70
keywords Noether-LefschetzlocusspecialcomponentsfinitenessconjectureHodgecyclesFermatsurfaceinfinitesimalvariationofstructureperiodintegralsalgebraic
topics The Hodge Conjecture
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

The paper studies a one-parameter family of algebraic cycles on the Fermat surface of degree 8, namely $[C_1]+r[C_2]$ with $r\in\mathbb{Q}$, where $C_1$ is a line and $C_2$ a complete intersection curve of type $(3,3)$ disjoint from it. It argues, on the basis of extensive exact computation, that for all but finitely many $r$ these Noether–Lefschetz loci are distinct $31$-codimensional subvarieties meeting pairwise in a $32$-codimensional subvariety of the parameter space. Since the maximal possible codimension for a Noether–Lefschetz component here is $35$, such a pencil would describe infinitely many reduced special components through a single point, contradicting the conjecture that special components are finite. The rigorous theorems establish surrounding structure: singularity of the loci for most tested $r$ in degrees $4$ through $8$, a fifth-order smoothness statement in the exceptional degree-8 case, and the existence of many general pencils for degrees $4$ through $9$ and none in degrees $10,11$.

What carries the argument

Two computational tools carry the argument. First, the tangent space of a Noether–Lefschetz locus at the Fermat point is identified with the kernel of the period matrix $[p_{i+j}(\delta)]$ coming from infinitesimal variation of Hodge structure, so codimensions of $V_{[C_1]+r[C_2]}$, of its intersections, and inclusions among its tangent spaces can be computed exactly from periods of the two curves. Second, for the exceptional degree-8 case the paper derives an explicit Taylor series (equation (23)) for the integrals of differential forms over the monodromy of a rational curve, expressed through Pochhammer symbols and power sums of roots of unity; this formula lets the computation check, order by order, whether $V^N_{[C_1]+r[C_2]}$ is the $N$-jet of a smooth variety. The chosen 32-dimensional deformation space is constructed so that $T_0V_{[C_1]}\cap T_0V_{[C_2]}=\{0\}$, making transversality of the pencil visible inside that subspace.

What would settle it

Compute the sixth-order infinitesimal Noether–Lefschetz locus $V^6_{[C_1]+r[C_2]}$ in the 32-dimensional deformation space for the exceptional case and a rational $r$ with $r_1>10$ or $|r_2|>10$; if it is not the 6-jet of a smooth variety, or if the tangent space loses transversality to the deformation space for some such $r$, the conjectured special pencil fails. Alternatively, a single $r$ outside the checked range for which $V_{[C_1]+r[C_2]}$ has codimension different from 31 would disprove the pencil claim.

Watch

Extended reading notes

Core claim

The paper's central object is the Noether–Lefschetz locus $V_{[C_1]+r[C_2]}$ attached to the rational cohomology class of the algebraic cycle $C_1+rC_2$ inside a smooth degree-8 surface, with $C_1$ a line and $C_2$ a $(3,3)$ complete intersection curve disjoint from it. The main thesis is that for the Fermat surface of degree 8 and this choice of $C_1,C_2$, and for all but finitely many rational numbers $r$, these loci are distinct, reduced, $31$-codimensional subvarieties of the parameter space of degree-8 surfaces, pairwise intersecting in a $32$-codimensional subvariety. This would be a special pencil in the paper's terminology, and because the maximal codimension of a Noether–Lefschetz component here is $35$, it would yield infinitely many strictly special reduced components through a single point, contradicting the 1980s conjecture that special components are finite. The paper does not prove the full statement; it proves Theorem 2, that in the exceptional case the fifth-order infinitesimal locus $V^5_{[C_1]+r[C_2]}$ is the 5-jet of a smooth variety in a carefully chosen 32-dimensional deformation space, and Theorem 1, that in many other degree $4$–$8$ cases the loci are singular for most $r$ in a finite tested range.

Load-bearing premise

The claim that the exceptional degree-8 case gives a special pencil rests on checking transversality and $N$-jet smoothness only for rational parameters $r=r_2/r_1$ with $1\le r_1\le10$ and $0\le|r_2|\le10$, then extrapolating to all but finitely many rational $r$.

Editorial extensions

If this is right

  • If the exceptional degree-8 case is a special pencil, the Noether–Lefschetz locus of degree-8 surfaces has infinitely many reduced special components passing through the Fermat point, falsifying the 1980s finiteness conjecture.
  • Theorem 1 implies that for degrees 4 through 7, and for many degree-8 families, every rational cycle in the tested range with $3\le r_1$ or $3\le |r_2|$ gives a singular Noether–Lefschetz locus, so no special pencil arises from those families.
  • Theorem 3 gives infinitely many general (maximal-codimension, smooth, reduced) Noether–Lefschetz components through the Fermat point for degrees 4 through 9, while for degrees 10 and 11 none of the tested pencils are general.
  • The explicit period formula provides a finite, checkable criterion for $N$-smoothness of the infinitesimal Noether–Lefschetz locus, so the central conjecture is algorithmically testable at any fixed jet order.

Reading between the lines

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

  • Beyond the paper: the same line-plus-complete-intersection construction could be tried on Fermat hypersurfaces of higher degree and even dimension; Section 7 already indicates where general Hodge loci live, and the special-pencil mechanism should transfer whenever two Hodge cycles have independent tangent spaces.
  • Beyond the paper: if the conjectured pencil is real, the uniform 32-codimensional intersection would impose a strong relation among the period matrices of $C_1$ and $C_2$, possibly making the whole family detectable from a single higher-order jet.
  • Beyond the paper: the finite-range computation could be converted into a proof if the relevant matrix rank is shown to be a polynomial in $r$ with no zeros outside a finite set; Theorem 2 would then become the full special-pencil statement.
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. The paper studies Noether-Lefschetz loci on Fermat surfaces of degrees 4 through 11, concentrating on the pencils of classes [C1] + r[C2], r ∈ Q, where C1 is a line and C2 is a (3,3) complete intersection curve on a smooth degree-8 surface with C1 ∩ C2 = ∅. The main object is the conjecture that, for the exceptional choice (6), these loci form a special pencil: for all but finitely many r, V_[C1]+r[C2] is a smooth, reduced, codimension-31 special component, and distinct members meet in a codimension-32 subvariety, yielding a counterexample to Harris's conjecture. Rigorous results include Proposition 1, a criterion for general pencils; Theorem 3, which produces many general pencils for d ≤ 9 and none for d = 10, 11; Theorem 1, which detects singularities of many loci for r in the finite range (7); and Theorem 2, which shows that in the exceptional d = 8 case the 5th infinitesimal locus in a chosen 32-dimensional deformation space is the 5-jet of a smooth variety. The paper explicitly labels the special-pencil assertion as conjectural, and the evidence for it is finite and computational.

Significance. If the conjectural construction could be completed, it would give infinitely many reduced special components of NL_8 passing through the Fermat point, refuting Harris's conjecture in degree 8; this makes the paper potentially quite significant. The rigorously proved parts are also valuable: Proposition 1 is a clean general-pencil criterion, and Theorem 3 provides many explicit general pencils through the Fermat point, including an infinite supply of general components for degrees ≤ 9. A clear strength is the computational transparency: code1, code2, code3 and the Singular library foliations.lib are referenced and linked, and the paper explains how the data in Table 1 were generated. On the other hand, the central special-pencil claim is not a theorem; it depends on finite computations, on an unverified 6-jet, and on an unproved extrapolation from a finite range of r to all but finitely many r ∈ Q. The honest labeling of the main assertion as a conjecture is appropriate, but the published contribution is a body of computational evidence rather than a proof of the counterexample.

major comments (4)
  1. [§4, §6, Theorem 2] Theorem 2 is proved only for the restriction of the infinitesimal locus to the 32-dimensional deformation space (9), not for the full parameter space T from (14). The transversality discussion in §4 and the implication in §6 are one-way: the paper uses failure of smoothness of the restricted locus to conclude non-smoothness in T. No converse statement is proved. Therefore Theorem 2 by itself does not establish even 5-smoothness, let alone analytic smoothness, of V_[C1]+r[C2] in the full parameter space that appears in Definition 1.
  2. [Definition 1, §6, Table 1 (row d=8)] Even if full 5-smoothness were available, Definition 1 requires the analytic germ to be smooth, and the paper does not prove that 5-smoothness implies analytic smoothness. For the decisive exceptional case (6), Table 1 leaves the N=6 and N≥7 columns as '?', and §6 states explicitly that the author was not able to verify 6-smoothness. This is a load-bearing gap: the missing next jet is exactly the condition on which the special-pencil claim and the potential counterexample to Harris's conjecture depend.
  3. [§6, (7), Remark 3] The exclusion of non-transversal pairs is checked only on the finite range (7), with the statement in Remark 3 that for d=8 'we only need to exclude r1, |r2| = 0,1' being an observation about that finite range. Lower semicontinuity of the rank gives that the codimension of the tangent space is maximal away from a finite set in P^1, but it does not identify that finite set and it says nothing about N-smoothness for N ≥ 2. Without a proven bound, or a certificate for an exhaustive computation, the conclusion 'for all except a finite number of r' in Definition 1 is not justified from the stated evidence.
  4. [§8] The proofs of Theorems 1 and 3 depend on code1, code2, code3 and the Singular library foliations.lib, with data linked on the author's webpage. The availability of code and data is commendable, but the manuscript does not specify versions of Singular and foliations.lib, and it does not provide a verification log or certificate. Since a bug or configuration issue in the external library cannot be distinguished from a genuine mathematical fact on the basis of the printed text, an independent implementation or a machine-checked computation log would substantially strengthen the computational theorems.
minor comments (4)
  1. [Theorem 1] The quantifier in Theorem 1 is implicit; the conclusion should state explicitly that it holds for all pairs (r1, r2) satisfying both (7) and (8).
  2. [Table 1] The entries '1220+113' in the d=8 row and '1314+19' in the d=9 row should be explained; it is not clear whether these denote a partition of the cases or a typographical convention.
  3. [§8 and Remark 6] In §8, the example command 'DeformSapce' is a typo for 'DeformSpace', and in Remark 6 the sentence 'V^2_[C1]+r[C2] the 2-jet of a smooth variety' is missing a verb.
  4. [References] The references [Mov19] and [MV19] should include complete bibliographic information, including the version or expected publication details, since the paper relies on them for several foundational statements.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the conjectural special pencil and finite 5-jet computations are not derived from their own conclusions.

full rationale

The paper's derivation chain is not circular. The period formula (13) is cited to [MV19] and the infinitesimal/ N-smoothness criteria are cited to [Mov19] and [CGGH83], but these are background results with proofs and reproducible code rather than assumptions of the target theorem; they do not already contain the conclusion that V_{[C1]+r[C2]} is a special pencil. The central special-pencil claim is explicitly left as a conjecture: Theorem 2 only establishes that the finite range (7) gives the 5-jet of a smooth variety in the chosen 32-dimensional deformation space (9). The deformation space is selected from first-order transversality (T0V_{[C1]} cap T0V_{[C2]} = {0}), and 5-jet smoothness is not a consequence of that tangent-space choice; it is independently computed via the Taylor-series formula of Section 5. Table 1 and the surrounding text honestly record the limitation that 6-smoothness was not verified for d=8 ('the author was not able to verify the 6-smoothness'), so the paper does not dress a finite computation as a proof for all rational r. The only weaknesses are evidentiary gaps, not circular reductions.

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

The central claim rests on standard Hodge-theoretic background, on two prior period formulas from the author's own work, and on an extensive but only partially documented computer verification. No free numerical parameters are fitted; the choices of d1,d2,s1,s2,m1,m2 and the 32-dimensional deformation space are constructional inputs, not fitted values.

assumptions (5)
  • standard math Standard IVHS framework: the tangent space formula T0V_delta = ker([p_{i+j}(delta)]) and the scheme structure of Noether-Lefschetz loci (equations (15),(16)) are taken from [CGGH83] and [Voi03].
    Invoked throughout Section 2 to define and compute the Noether-Lefschetz locus and its tangent space.
  • domain assumption Period formula (13) from [MV19] and the Taylor series formula (Theorem 4) from [Mov19, Section 18.3] are assumed.
    These formulas are the engine of all period and smoothness computations; they are cited from the author's prior work and not reproved here.
  • standard math The etale map PGL(4,C) x T to T_full and the reduction to the deformation space T are standard.
    Used in Section 2 to justify that statements for T imply statements for the full parameter space.
  • ad hoc to paper The correctness of the Singular library foliations.lib and the reported rank and N-smoothness computations is assumed.
    Theorems 1 and 2 depend on computer algebra outputs that are not independently verified in the paper; the code is referenced externally.
  • ad hoc to paper The transversality of T0V_{[C1]+r[C2]} to the chosen deformation space T_check holds for all r in the tested range and the pattern extends generically.
    Section 6 reduces smoothness in the full space to smoothness in the smaller 32-dimensional space using a finite transversality check; the exhaustion beyond the tested range is assumed.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Special components of Noether-Lefschetz loci." pith.science (2026). https://pith.science/paper/R4UFVUWT

@misc{pith2026190804117,
  author       = {Pith},
  title        = {Pith review of: Special components of Noether-Lefschetz loci},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/R4UFVUWT}},
  note         = {Machine review of arXiv:1908.04117}
}
abstract

We take a sum $C_1+r C_2,\ r\in\mathbb Q$ of a line $C_1$ and a complete intersection curve $C_2$ of type $(3,3)$ inside a smooth surface of degree $8$ and with $C_1\cap C_2=\emptyset$. We gather evidences to the fact that for all except a finite number of $r$, the Noether-Lefschetz loci attached to the cohomology classes of $C_1+ r C_2$ are distinct $31$ codimensional subvarieties intersecting each other in a $32$ codimensional subvariety of the ambient space. The maximum codimension for components of the Noether-Lefschetz locus in this case is $35$, and hence, we provide a conjectural description of a counterexample to a conjecture of J. Harris. The methods used in this paper also produce in a rigorous way an infinite number of general components passing through the point representing the Fermat surface of degree $\leq 9$, and many non-reduced components for such degrees.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Infinitesimal variations of H odge structure

    James Carlson, Mark Green, Phillip Griffiths, and Joe Harris. Infinitesimal variations of H odge structure. I, II,III . Compositio Math. , 50(2-3):109--205, 1983

    work page 1983

  2. [2]

    General components of the N oether- L efschetz locus and their density in the space of all surfaces

    Ciro Ciliberto, Joe Harris, and Rick Miranda. General components of the N oether- L efschetz locus and their density in the space of all surfaces. Math. Ann. , 282(4):667--680, 1988

    work page 1988

  3. [3]

    On the existence of components of the N oether- L efschetz locus with given codimension

    Ciro Ciliberto and Angelo Felice Lopez. On the existence of components of the N oether- L efschetz locus with given codimension. Manuscripta Math. , 73(4):341--357, 1991

    work page 1991

  4. [4]

    On generically non-reduced components of Hilbert schemes of smooth curves

    Ananyo Dan . On generically non-reduced components of Hilbert schemes of smooth curves. Math. Nachr. , 290(17-18):2800--2814, 2017

    work page 2017

  5. [5]

    Greuel, G

    G.-M. Greuel, G. Pfister, and H. Sch\"onemann. Singular 2.0. A Computer Algebra System for Polynomial Computations , Centre for Computer Algebra, University of Kaiserslautern, 2001. http://www.singular.uni-kl.de

    work page 2001

  6. [6]

    Mark L. Green. A new proof of the explicit N oether- L efschetz theorem. J. Differential Geom. , 27(1):155--159, 1988

    work page 1988

  7. [7]

    Mark L. Green. Components of maximal dimension in the N oether- L efschetz locus. J. Differential Geom. , 29(2):295--302, 1989

    work page 1989

  8. [8]

    A second-order invariant of the N oether- L efschetz locus and two applications

    Catriona Maclean. A second-order invariant of the N oether- L efschetz locus and two applications. Asian J. Math. , 9(3):373--399, 2005

    work page 2005

Show all 15 references
  1. [9]

    Movasati

    H. Movasati. A C ourse in H odge T heory: with E mphasis on M ultiple I ntegrals . Available at author's webpage http://w3.impa.br/ hossein/myarticles/hodgetheory.pdf . 2019

    2019

  2. [10]

    Movasati and R

    H. Movasati and R. Villaflor. Periods of linear algebraic cycles. To appear in Pure and Applied Mathematics Quarterly , 2019

    2019

  3. [11]

    Une pr\'ecision concernant le th\'eor\`eme de N oether

    Claire Voisin. Une pr\'ecision concernant le th\'eor\`eme de N oether. Math. Ann. , 280(4):605--611, 1988

    1988

  4. [12]

    Composantes de petite codimension du lieu de N oether- L efschetz

    Claire Voisin. Composantes de petite codimension du lieu de N oether- L efschetz. Comment. Math. Helv. , 64(4):515--526, 1989

    1989

  5. [13]

    Sur le lieu de N oether- L efschetz en degr\'es 6 et 7

    Claire Voisin. Sur le lieu de N oether- L efschetz en degr\'es 6 et 7 . Compositio Math. , 75(1):47--68, 1990

    1990

  6. [14]

    Contrexemple \`a une conjecture de J

    Claire Voisin. Contrexemple \`a une conjecture de J . H arris. C. R. Acad. Sci. Paris S\'er. I Math. , 313(10):685--687, 1991

    1991

  7. [15]

    Hodge theory and complex algebraic geometry

    Claire Voisin. Hodge theory and complex algebraic geometry. II , volume 77 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 2003. Translated from the French by Leila Schneps

    2003

Pith tools

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