{"id":"c27ed35a-05ac-4000-af2e-360d8fff0957","arxiv_id":"2508.08321","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Under a proposed Hypothesis BB, every codimension-2 Hodge class on a smooth projective threefold is a specialization of complete-intersection curves, which would imply the rational Hodge conjecture for such threefolds.","lead":"This paper proposes a geometric hypothesis about Hodge classes on threefolds and shows that if true, it would settle the rational Hodge conjecture for these spaces. It also verifies the needed deformation conditions in some special families, such as lines on quintic threefolds.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main theorem appears to be a definitional restatement of the Hodge conjecture; the substantive deformation-theoretic criteria are unverifiable from the abstract.","rationale":"The reader's verdict is UNVERDICTED because only the abstract was available. I agree that the paper cannot be checked from the abstract, but I identify a more specific structural concern: the main theorem appears to be a direct consequence of the definitions, making the reduction essentially tautological. This is not itself a fatal flaw—the paper could still contribute by proving nontrivial deformation-theoretic criteria—but it shifts the weight entirely onto those criteria, which are not stated with enough precision in the abstract to verify. The reader's weakest_assumption about unproven hypotheses is related, but the nearer issue is the definitional nature of the central implication. Thus my read partially agrees with the reader: I do not change the verdict, but I would sharpen the required verification.","tokens_in":639,"tokens_out":5479,"duration_ms":59571,"concrete_test":"Obtain the full statement of Hypothesis BB. Formalize it as a property P(X, α) and formalize the Hodge conjecture as HC(X, α). Check whether the proof of 'BB ⇒ HC' uses any geometric input beyond 'the specialization of algebraic cycle classes is algebraic.' If it does not, the main theorem is a tautology. Separately, rerun the Macaulay2 scripts in the appendix on a concrete quintic threefold containing a line (e.g., Fermat-type with a known line), compute H^0(L, N_{L/X}), H^1(L, N_{L/X}), and the restriction/surjectivity maps used in the paper, and verify the stated hypotheses. Report whether the line case actually satisfies the vanishing/surjectivity conditions or requires an additional genericity/choice-of-line argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central implication (Hypothesis BB ⇒ Hodge conjecture) is almost certainly formal. If a codimension-2 Hodge class on X arises as the specialization of classes of complete-intersection curves in a family of smooth threefolds, properness of relative cycle spaces gives an algebraic 1-cycle on X whose class is the given Hodge class. No property of complete intersections beyond algebraicity is needed. Thus Hypothesis BB, as described, is merely a restatement of the Hodge conjecture for threefolds, and the reduction has no independent logical content. The paper's actual burden therefore lies entirely in the deformation-theoretic criteria: cohomology-vanishing and surjectivity of restriction maps for normal bundles, the Noether–Lefschetz and unobstructedness hypotheses, and the verification for the line on a general quintic containing it. These are only asserted in the abstract. For example, the normal bundle of a line in a quintic threefold has degree -2 and can have h^0(N)=1 (O⊕O(-2) type), so a literal 'vanishing' hypothesis cannot hold; the precise condition is needed before the quintic claim can be assessed.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a conditional reduction of the rational Hodge conjecture (HC) for smooth projective threefolds to a geometric approximation hypothesis, Hypothesis BB. Under BB, every codimension-2 Hodge class is asserted to be a specialization of classes of families whose general members are complete-intersection curves. The authors then propose deformation-theoretic sufficient criteria (cohomology-vanishing and surjectivity of restriction maps) for BB, claim these criteria hold for the class of a line on a general quintic threefold containing that line, and state generic propositions for Calabi–Yau and Fano families under Noether–Lefschetz and unobstructedness hypotheses. A Macaulay2 appendix is mentioned for checking cohomology and splitting conditions.","tokens_in":933,"tokens_out":2703,"duration_ms":31520,"significance":"If the deformation-theoretic criteria are genuinely checkable and weaker than HC, the paper would offer a concrete route toward HC for threefolds in special families, and the computational appendix could be a useful resource. However, the central implication as stated is formal: because a specialization of classes of algebraic curves is algebraic, Hypothesis BB is essentially a restatement of the rational Hodge conjecture for threefolds rather than a reduction to a strictly weaker condition. The substantive burden therefore lies entirely in the unstated deformation-theoretic verifications, which are not presented in the abstract and cannot be assessed here.","major_comments":[{"comment":"The claimed implication 'BB ⇒ Hodge conjecture' is tautological from the definition given. If every codimension-2 Hodge class is a specialization of classes of complete-intersection curves in a family, then by properness of relative cycle spaces the limit is an algebraic 1-cycle, so the class is algebraic. No property of complete intersections beyond algebraicity is needed. Thus BB is already equivalent to the Hodge conjecture for threefolds. For the reduction to have logical content, BB must be replaced by a substantively weaker condition, e.g., one that is not itself equivalent to the target.","section":"Abstract, Hypothesis BB"},{"comment":"The abstract states that cohomology-vanishing and surjectivity conditions 'hold for the class of a line on a general quintic threefold containing that line,' but it does not state the precise conditions or the normal-bundle type. This matters because lines on special quintics can have normal bundle O⊕O(-2) with h^0(N)=1, so a literal vanishing hypothesis cannot hold in general. The verification must specify exactly which cohomology group vanishes and for which normal-bundle type; without that the quintic claim is uncheckable.","section":"Abstract, deformation-theoretic criteria for the quintic line"},{"comment":"The propositions for Calabi–Yau and Fano families are conditional on 'natural Noether–Lefschetz and unobstructedness hypotheses' and merely reduce BB to 'checkable conditions.' From the abstract there is no evidence that these hypotheses are satisfied for any nontrivial family, nor are the checkable conditions actually checked. As stated, the generic claims do not establish BB for any family; they only reformulate it under assumptions that may be as strong as the conclusion.","section":"Abstract, generic propositions"}],"minor_comments":[{"comment":"The appendix scripts are mentioned but no sample verification or output is described. A listing of the scripts in the abstract is not necessary, but a sentence indicating which families and which hypotheses were machine-checked would help a reader assess the claim.","section":"Abstract, Macaulay2 appendix"}],"recommendation":"reject","confidential_remarks":"The core issue is not the absence of full text but the internal structure of the stated result: Hypothesis BB is a restatement of the Hodge conjecture, so the main theorem supplies no independent logical reduction. The deformation-theoretic criteria could be valuable, but they are only asserted as abstract statements. A resubmission that reformulates BB as a genuinely weaker condition and provides the missing cohomology/surjectivity computations might be reconsidered."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know up front. First, the main theorem—Hypothesis BB implies the rational Hodge conjecture for threefolds—looks like a reformulation rather than a reduction. If BB says every codimension-2 Hodge class is a specialization of complete-intersection curves, properness of relative cycle spaces makes that class algebraic directly; you don't need any property of complete intersections. So unless BB is strengthened somewhere in the paper, the central implication carries no independent weight. Second, the actual meat is the deformation-theoretic criteria and their verification. From the abstract alone I can't tell whether that meat is real.\n\nWhat's potentially useful: the explicit statement of BB as a target, the cohomology-vanishing/surjectivity conditions, the generic Calabi-Yau/Fano propositions, and the Macaulay2 appendix. Those are the parts that a working algebraic geometer could test or adapt. The idea of checking Hypothesis BB by deformation theory is worth taking seriously.\n\nThe soft spots are real. The stress-test note is right that a literal vanishing hypothesis can't hold for a line in a quintic: h^0(N) is typically 1. The paper must mean a more precise vanishing after some twist or restriction; the abstract doesn't say, so the quintic claim is unassessable. The generic propositions lean on Noether-Lefschetz and unobstructedness hypotheses that are stated but not proved in the abstract; that's normal for claims of this sort, but it means the paper's value depends entirely on those proofs. And the headline implication, as stated, is nearly tautological—I'd want the authors to acknowledge that and point to the strengthened form of BB if one exists.\n\nI read only the abstract, so this is a first-pass impression. Who is this for? People attacking the Hodge conjecture via cycles and deformation theory; they might get useful criteria even if the headline reduction is hollow. Should it be refereed? Yes, if the deformation content is substantial—the Macaulay2 scripts and cohomology computations are checkable. But the referee needs to push on whether BB is stronger than HC and whether the criteria apply to any non-trivial class beyond the line in a quintic. If the criteria only recover known cases, it's a minor contribution; if they cover new families, it's a solid one.","headline":"The claimed reduction is likely a restatement of the Hodge conjecture; the only real content is in the deformation-theoretic criteria, which the abstract does not substantiate.","tokens_in":1315,"tokens_out":2723,"would_cite":false,"duration_ms":29645,"reading_group":"maybe","serious_thinker":"unclear","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14C30","14C25","14D15","14J32","14J45"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a geometric 'curve-approximation' hypothesis—every codimension-$2$ Hodge class on a smooth projective threefold is a specialization of complete-intersection curves—implies the rational Hodge conjecture for that threef","keywords":["rational Hodge conjecture","threefolds","Hodge classes","complete intersections","deformation theory","Noether-Lefschetz","Calabi-Yau","Fano threefolds"],"falsifier":"For the quintic case, compute the cohomology groups $H^0(X,N_{L/X})$ and $H^1(X,N_{L/X})$ for a line $L$ on a general quintic threefold $X$ and check whether the restriction map used in the paper is surjective; a nonzero $H^1$ or a non-surjective restriction would refute the claimed verification of Hypothesis BB. More generally, one could search for a smooth projective threefold with a codimension-$2$ Hodge class that fails to be a specialization of complete-intersection curves, which would directly falsify the paper's central reduction.","tokens_in":590,"feed_emoji":"🧩","tokens_out":6985,"duration_ms":56602,"temperature":0.7,"pith_summary":"The paper aims to break the rational Hodge conjecture for threefolds into a question about curves. It introduces Hypothesis BB: every codimension-$2$ Hodge class can be realized as the specialization of a family whose general member is a complete-intersection curve. The main theorem states that Hypothesis BB implies the rational Hodge conjecture for the threefold. The paper then identifies concrete deformation-theoretic conditions—vanishing of normal-bundle cohomology and surjectivity of restriction maps—that imply BB, proves these conditions for a line on a general quintic threefold, and shows that, under Noether–Lefschetz and unobstructedness assumptions, BB holds generically in Calabi–Yau and Fano families. A Macaulay2 appendix provides scripts for checking the required cohomology in examples.","feed_headline":"For threefolds, Hodge conjecture follows from a curve hypothesis","feed_subtitle":"Codimension-2 Hodge classes as curve limits; explicit checks on quintic, Calabi-Yau, and Fano families.","key_machinery":"The load-bearing device is Hypothesis BB, the assertion that every codimension-$2$ Hodge class on a smooth projective threefold is a specialization of a family of complete-intersection curves (curves cut out by hypersurfaces in the ambient variety). The proof uses deformation theory of curves on threefolds: it requires vanishing of the normal-bundle cohomology and surjectivity of restriction maps to ensure the specialization exists, and it uses Noether–Lefschetz and unobstructedness hypotheses to make the argument work generically. The Macaulay2 scripts in the appendix are designed to verify these conditions explicitly.","core_discovery":"The central claim is that the rational Hodge conjecture for smooth projective threefolds reduces to a statement about moving Hodge classes into families of curves: if a codimension-$2$ Hodge class is a specialization of complete-intersection curves, then the class is algebraic, i.e., a rational linear combination of algebraic cycles. The argument captures the Hodge class with a family of curves and shows it is algebraic. This reduction is then made effective: the paper gives sufficient deformation-theoretic criteria (normal-bundle cohomology vanishing and surjectivity of the restriction map) that are shown to hold for the class of a line on a general quintic threefold, and generically for Ca","pith_inferences":["If the reduction is correct, it suggests a strategy for higher-dimensional Hodge conjectures: approximate Hodge classes by families of subvarieties of the same codimension, with normal-bundle conditions playing the key role.","The deformation-theoretic criteria could be tested on other explicit threefolds with more complicated Hodge classes, using the same computational algebraic geometry tools.","The dependence on Noether–Lefschetz hypotheses points to a link between the Hodge conjecture and the behavior of Hodge loci in families; if BB fails anywhere, it would likely reveal a new obstruction tied to exotic Hodge loci.","The paper's conditional theorem could be sharpened: proving or disproving BB for a specific threefold would either establish the Hodge conjecture there or produce a concrete counterexample to the conjecture."],"forward_implications":["If Hypothesis BB is verified for a given threefold, the rational Hodge conjecture for that threefold follows.","The reduction turns a transcendental Hodge-theoretic statement into a finite, likely computable deformation-theoretic check about curves.","The explicit quintic case provides a concrete test where the conditions reduce to the cohomology of the normal bundle of a line.","Under the stated Noether–Lefschetz and unobstructedness hypotheses, generic Calabi–Yau and Fano threefolds satisfy BB, so the rational Hodge conjecture holds for those generic families.","The Macaulay2 scripts make the criteria checkable in explicit examples."],"supporting_citations":[],"fun_headline_variants":["Hodge conjecture for threefolds reduces to curve hypothesis","Curve specialization condition settles Hodge conjecture for threefolds","Threefold Hodge conjecture follows from curve-limit criterion","Deformation-theoretic checks verify Hodge conjecture in key families","Hodge classes on threefolds tamed by curve families"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The argument collapses if Hypothesis BB fails—that is, if some codimension-$2$ Hodge class on a smooth projective threefold cannot be obtained as a specialization of complete-intersection curves—or if the deformation-theoretic hypotheses (Noether–Lefschetz, unobstructedness, normal-bundle cohomology vanishing, surjectivity) used to verify BB in the quintic and generic Calabi–Yau/Fano cases do not actually hold.","fun_headline_variants_meta":{"raw":{"variants":["Hodge conjecture for threefolds reduces to curve hypothesis","Curve specialization condition settles Hodge conjecture for threefolds","Threefold Hodge conjecture follows from curve-limit criterion","Deformation-theoretic checks verify Hodge conjecture in key families","Hodge classes on threefolds tamed by curve families"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000873,"raw_usage":{"total_tokens":3614,"prompt_tokens":740,"completion_tokens":2874,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":484,"completion_tokens_details":{"reasoning_tokens":2800}},"tokens_in":484,"tokens_out":2874,"duration_ms":22333,"temperature":1.0,"reasoning_tokens":2800,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T22:23:17.399971+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For the quintic case, compute the cohomology groups $H^0(X,N_{L/X})$ and $H^1(X,N_{L/X})$ for a line $L$ on a general quintic threefold $X$ and check whether the restriction map used in the paper is surjective; a nonzero $H^1$ or a non-surjective restriction would refute the claimed verification of Hypothesis BB. More generally, one could search for a smooth projective threefold with a codimension-$2$ Hodge class that fails to be a specialization of complete-intersection curves, which would directly falsify the paper's central reduction.","supporting_citations":[],"review_version":1}