{"id":"f60b77c7-9d55-4577-b9ae-6cb78e9143b7","arxiv_id":"2412.05287","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A generalized λ_g conjecture constraining Hodge integrals on arbitrary smooth projective varieties is proposed and proved in genus 0 and genus 1, and in all genera under Virasoro-type hypotheses.","lead":"This mathematics paper proposes a new set of equations, called the lambda-g conjecture for target varieties, that constrain Hodge integrals in Gromov-Witten theory. The author proves these equations in all genera for varieties whose quantum cohomology is semisimple and for smooth algebraic curves, and in genus zero and genus one for all smooth projective varieties.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main Virasoro reduction is internally coherent, but the genus-one/universal-constraint argument rests on Lemma 5.2, imported from [JW24], whose applicability to the P_g-replaced correlators is not demonstrated here.","rationale":"The reader's weakest assumption names exactly the right spot: Lemma 5.2. However, the significance is narrower than the reader's rationale suggests. Theorem 1.2 and Theorem 1.3, which form the core of the all-genus statement for semisimple varieties and curves, do not use Lemma 5.2; their proof via the fiber-degree-zero Virasoro constraints for X×P1 is self-contained apart from standard Virasoro results. The risky dependency is confined to the universal-constraint theorem (Theorem 1.5) and the genus-one theorem (Theorem 1.6). Since Theorem 1.6 is part of the paper's strongest advertised claims, the lemma remains load-bearing. The manuscript says Lemma 5.2 was proved in [JW24], which is a published reference, so this is an unproved-here but allegedly proved-elsewhere gap. The stress-test should therefore not reject the paper outright, but the conditional verdict is appropriate: the authors should either reproduce the proof of Lemma 5.2 in the context needed, or cite the exact statement from [JW24] and verify that the P_g-replacement follows. A second, independent concern is Theorem 4.1: the tree-only restriction in its graph sum is not justified by the one-line proof, because multiplying Teleman's formula (15) by λ_g and using projection would leave the sum over all stable graphs, not only trees. That theorem is not used in the proofs of Theorems 1.2/1.3/1.6, so it does not affect the central λ_g conjecture, but it does add uncertainty to the advertised Givental-type reconstruction formula.","tokens_in":26368,"tokens_out":59937,"duration_ms":604664,"concrete_test":"Extract the proof of Lemma 5.2 from [JW24] and check it verbatim for the mixed correlator in equation (25), including the case where λ_g is replaced by ξ_Γ^*P_g^Γ(0,...,0) as used in Proposition 5.3. Then recompute equation (33) for X=P^1, g=1, n=1 by evaluating both sides as formal power series in t and u at t=0; if the resulting series differ, Theorem 1.6 needs a repaired argument.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.2 and Theorem 1.3 follow from Theorem 3.7 together with known Virasoro constraints for X and X×P1; that chain of argument is internally consistent and does not depend on the imported lemma. The load-bearing weak point is in the proof of Theorem 1.5 and Theorem 1.6. Proposition 5.3 converts Pixton's boundary-supported expression for λ_g into products of ordinary descendant invariants using Lemma 5.2, which asserts the descendant-ancestor correspondence ⟨⟨\\barτ_{j_1}τ_{i_1}(φ_{α1}),...,\\barτ_{j_n}τ_{i_n}(φ_{αn});λ_g⟩⟩_g = ⟨⟨T^{j_1}(τ_{i_1}(φ_{α1})),...,T^{j_n}(τ_{i_n}(φ_{αn}));λ_g⟩⟩_g. The lemma is stated without proof in this paper and is not a formal consequence of the results developed here. In particular, the sentence that the same identity holds after replacing λ_g by P_g^g(0,...,0) is asserted rather than derived. Since equation (33), and therefore the explicit genus-one computation, relies on translating the loop graph's two extra insertions into genus-zero descendant correlators, a failure or a hidden hypothesis of Lemma 5.2 would invalidate Theorem 1.6. This is a verifiability gap rather than a demonstrated contradiction: the central all-genus results for semisimple varieties and curves, Theorem 1.2 and Theorem 1.3, do not rely on Lemma 5.2.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a generalized lambda_g conjecture for Hodge integrals with arbitrary smooth projective target X (Conjecture 1.1), expressed through explicit constraints Theta_{g,n,m,beta}=0. The main mechanism is a computation, in Section 3, of the fiber-degree-zero Virasoro action for Y=X x P^1, which expresses the constrained potential in terms of lambda_g and lambda_{g-1} Hodge integrals of X. From this the author derives the all-genus lambda_g conjecture for varieties with semisimple quantum cohomology and for smooth algebraic curves (Theorem 1.2), and the genus-zero case for all X (Theorem 1.3). Section 4 states a Givental-type reconstruction formula for the lambda_g-twisted ancestor potential at semisimple points (Theorem 4.1, Corollary 4.2). Section 5 combines Pixton's double-ramification formula for lambda_g with a descendant-ancestor correspondence imported from [JW24] to produce universal constraints for pure descendant invariants (Theorem 1.5) and, as an application, the genus-one lambda_g conjecture for all smooth projective varieties (Theorem 1.6).","tokens_in":26719,"tokens_out":14669,"duration_ms":149294,"significance":"If the proof chain is completed, this is a substantial and natural generalization of the classical lambda_g theorem: it links lambda_g constraints to the Virasoro conjecture and gives concrete vanishing statements for Hodge integrals over moduli spaces of stable maps. The explicit algebra in Section 3 is detailed, and the main all-genus result for semisimple varieties and curves is a strong theorem. The strategy of combining Virasoro constraints with Pixton's formula for lambda_g is attractive and likely to be influential. The significance is partly conditional, however, because the genus-one application and Section 4's reconstruction theorem rest on assertions that are stated without complete proof in this manuscript.","major_comments":[{"comment":"Lemma 5.2 is quoted from [JW24] without proof, and the sentence asserting that the same descendant-ancestor identity holds after replacing lambda_g by P_g^g(0,...,0) is not derived. This lemma is the bridge that converts Pixton's boundary-supported formula into ordinary descendant correlators in Proposition 5.3, and it is used in the essential reduction leading to equation (33) and Theorem 1.6. Since Theorem 1.6 is a headline result, the author should either include a proof of the lemma, or give a complete and precise statement with hypotheses, and should justify the P_g replacement explicitly.","section":"Section 5.2, Lemma 5.2 and the sentence after (27)"},{"comment":"The proof of Theorem 4.1 is a single sentence and does not justify why Teleman's reconstruction formula (15) can be applied to lambda_g * Omega^t, which is not itself a CohFT. The argument needs to show explicitly that loop graphs do not contribute, that the stable tree contribution carries the factor prod_v lambda_{g(v)}, and that the R-matrix, the T-insertions, and the edge data are unchanged from (15). Corollary 4.2 inherits this gap, so the reconstruction theorem is currently unverified.","section":"Section 4, Theorem 4.1 and equation (16)"},{"comment":"The crucial implication 'Virasoro for X implies Virasoro for Y=X x P^1' is attributed to [CGT24] without stating the exact theorem or checking its hypotheses for the two cases claimed in Theorem 1.2. Since this implication is load-bearing for the all-genus result, the author should identify the precise statement in [CGT24] and confirm that it applies to varieties with semisimple quantum cohomology and to smooth algebraic curves.","section":"Section 3.4, proof of Theorem 1.2"}],"minor_comments":[{"comment":"The paper recalls the classical lambda_g theorem for a point but does not verify that the new constraints Theta_{g,n,m,beta}=0 specialize to it when X is a point; this sanity check would justify calling Conjecture 1.1 a generalization.","section":"Section 2.4 and Conjecture 1.1"},{"comment":"The genus-zero statement is essentially the known genus-zero Virasoro statement, since lambda_0=1 and lambda_g=0 for g>0 on M_{0,n}; the text should frame Theorem 1.3 accordingly rather than presenting it as a new genus-zero result.","section":"Section 1.3 and Theorem 1.3"},{"comment":"The operator P |-> <<W_1...W_k;P>>_Gamma is defined only for monomials in psi-classes; the extension by linearity and the summation convention over repeated indices sigma in equation (33) should be stated explicitly.","section":"Section 5.3"},{"comment":"There are several typographical errors, including 'quanum cohomology' and 'invaraints' in Section 3.4, 'desendant' in Section 5, and 'Thereom' in Section 3.3; these should be corrected.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The main risk is the unproved Lemma 5.2, on which the genus-one application depends; I would not recommend acceptance until the author supplies a proof or a fully specified reference, and until Theorem 4.1 is given a real proof. The all-genus result for semisimple varieties and curves appears sound and is the strongest part of the paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things you should know. First, this paper proposes a real generalization: a λ_g conjecture for arbitrary smooth projective targets, proved when Virasoro holds for X, and unconditionally in genus zero and genus one. Second, the all-genus results are coherent in outline, but the genus-one application leans on a lemma imported from the author's own earlier paper, stated without proof here, and that lemma is the load-bearing step converting Pixton's boundary-supported expression for λ_g into descendant invariants.\n\nWhat's new: Conjecture 1.1 is a natural target-space analog of the point λ_g conjecture, and the route through fiber-degree-zero Virasoro constraints on X×P^1 is genuinely different from earlier λ_g work. Theorem 3.7 is a detailed computation expressing the Virasoro action in terms of the Θ and Ψ tensors, and the deductions of Theorems 1.2 and 1.3 from known Virasoro results (Teleman, Okounkov–Pandharipande, Liu–Tian, and the toric-bundle result CGT24) are internally consistent. The genus-zero theorem for all smooth projective varieties is new and clean.\n\nSoft spots, in proportion. Theorem 4.1 has a one-sentence proof; the Hodge bundle gluing properties are standard, but the statement is a non-CohFT twist on Givental–Teleman and needs the R-matrix hypotheses spelled out. Lemma 5.2 is the real concern. It is cited from [JW24] without proof, and the sentence extending it from λ_g to P_g^g(0,...,0) is asserted rather than derived. Since equation (33) uses that extension, Theorem 1.6 is conditional on a lemma the reader cannot verify from this paper. That is a verifiability gap, not a demonstrated contradiction. The stress-test note is accurate on this point. Also missing is an explicit check that the new constraints reduce to the known λ_g conjecture when X is a point; that sanity check is absent. Minor typos and heavy notation don't change the mathematics.\n\nWho is this for: people working on Hodge integrals, Virasoro constraints, and universal equations in Gromov–Witten theory. The paper deserves a serious referee: the main reduction is important and largely checkable, and the gaps are addressable rather than fatal. My recommendation: send it to review, and ask the referee to verify Lemma 5.2 and its P_g extension before accepting the genus-one theorem.","headline":"A genuine target-space λ_g conjecture with a sound Virasoro reduction, but the genus-one application rests on an unproved imported lemma that a referee must verify.","tokens_in":27265,"tokens_out":1776,"would_cite":true,"duration_ms":17309,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D45","14N35"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper generalizes the λ_g conjecture from the moduli space of curves to Gromov-Witten invariants of arbitrary smooth projective varieties, proves it in all genera for semisimple quantum cohomology targets and curves, and establishes…","keywords":["Gromov-Witten invariants","Hodge integrals","λ_g conjecture","Virasoro conjecture","semisimple quantum cohomology","double ramification cycles","moduli of stable maps","descendant invariants"],"falsifier":"Check Lemma 5.2 for the first nontrivial case it is used: for the point target or X = P1, compute the genus-one ancestor-descendant identity ⟨⟨\\barτ_1(φ);λ_1⟩⟩_1 = ⟨⟨T(φ);λ_1⟩⟩_1 explicitly from the definitions; a mismatch would invalidate Theorems 1.5 and 1.6. Independently, test the conjecture itself by computing Θ_{2,0,0,1} for a smooth projective variety with non-semisimple quantum cohomology, where the paper proves no vanishing, and compare with zero.","tokens_in":26145,"feed_emoji":"🧮","tokens_out":7824,"duration_ms":130498,"temperature":0.7,"pith_summary":"This paper proposes a generalization of the λ_g conjecture from the moduli space of stable curves to Gromov-Witten invariants of arbitrary smooth projective varieties. The generalized conjecture asserts that a specific explicit combination Θ_{g,n,m,β} of descendant Hodge integrals involving the λ_g class and elementary symmetric functions vanishes identically. If true, it would provide universal constraints on Hodge integrals over moduli of stable maps, parallel to the Virasoro conjecture for ordinary descendant invariants. The paper proves the conjecture in all genera for targets with semisimple quantum cohomology and for smooth algebraic curves, and unconditionally in genus zero and genus one for every smooth projective variety. It also derives a new family of universal constraints for pure descendant Gromov-Witten invariants by combining the generalized conjecture with Pixton's boundary formula for λ_g.","feed_headline":"λ_g conjecture reaches all smooth projective varieties","feed_subtitle":"All genera for semisimple targets and curves; genus zero and one hold universally, and Pixton's formula gives new constraints.","key_machinery":"The load-bearing identities are the virtual class formula [M_{g,n}(Y,(B,0))]^{vir} = ([M_{g,n}(X,B)]^{vir} × [P1]) ∩ e(E^* ⊠ TP1) and the resulting expansion of the fiber-degree-zero total descendant potential of Y as an exponential of Hodge integrals of X (Proposition 3.5). The second essential ingredient is Pixton's formula λ_g = (-1)^g $2^{{-g}}$ P^g_g(0,...,0), expressing the top Chern class of the Hodge bundle as a boundary-supported double ramification cycle, together with the operator T from [JW24] that converts ancestor correlators into descendant ones. The tree-level graph sum in Theorem 4.1 for λ_g times a semisimple CohFT, with vertex contributions given by λ_{g(v)} integrals over moduli of curves, is the third.","core_discovery":"The central discovery is that the Virasoro constraints for Gromov-Witten invariants of the product Y = X × P1, restricted to fiber degree zero, are exactly equivalent to the generalized λ_g conjecture for X together with a companion family Ψ_{g,n} = 0. The virtual fundamental class of fiber-degree-zero stable maps to Y equals ([M_{g,n}(X,B)]^{vir} × [P1]) ∩ e(E^* ⊠ TP1), which introduces the factor (-1)^g λ_g (and (-1)^{g-1} 2λ_{g-1}) into integrals over X; therefore the Virasoro operators for Y act on the fiber-degree-zero potential as combinations of Hodge integrals with λ_g. This proves Theorem 1.2 whenever Virasoro holds for X, gives Theorem 1.3 because genus-zero Virasoro is known for all targets, and, after translating λ_g into Pixton's boundary class P^g_g(0,...,0), yields the universal constraints Θ^P = 0 for pure descendant invariants and the genus-one proof of Theorem 1.6.","pith_inferences":["The unconditional genus-zero and genus-one results suggest the λ_g conjecture itself may hold for all smooth projective varieties without Virasoro input; the genus-one proof already shows that Pixton's boundary formula plus genus-zero quantum cohomology relations can replace Virasoro at low genus.","The graph-sum formula implies that λ_g-twisted invariants of semisimple targets are determined by the R-matrix and by λ_{g(v)} integrals over moduli of curves, so the essential complexity of Hodge integrals with the full λ_g class is concentrated in the point target.","One could test the proposed conjecture beyond the proven cases by computing Θ_{2,n,m,β} for a non-semisimple target such as a Calabi-Yau threefold; the paper neither predicts nor disproves vanishing there, and a nonzero value would delimit the conjecture's scope.","The replacement of λ_g by the double ramification boundary class suggests the same Θ^P machinery could generate universal constraints for other Hodge classes, such as λ_g λ_{g-1} products, wherever a boundary formula exists."],"forward_implications":["For every smooth projective variety with semisimple quantum cohomology, and for every smooth algebraic curve, the generalized λ_g conjecture Θ_{g,n,m,β}=0 holds in all genera.","For every smooth projective variety, the generalized λ_g conjecture holds in genus zero; it also holds in genus one, proved from the new Θ^P constraints.","The pure descendant Gromov-Witten invariants of semisimple targets and of curves satisfy the new universal family of equations Θ^P_{g,n,m,β}=0.","At a semisimple point, the total ancestor potential of λ_g invariants is reconstructed by an explicit tree-graph sum whose vertex terms are λ_{g(v)} integrals over moduli of stable curves.","Because Virasoro for X implies Virasoro for X×P1 via [CGT24], any future proof of Virasoro for a target automatically supplies the all-genus λ_g conjecture for that target."],"supporting_citations":[{"why":"Proposed the original λ_g conjecture as a consequence of Virasoro constraints for P1 and supplied the base-point formula being generalized.","marker":"[GP98]"},{"why":"Proved the λ_g conjecture via Gromov-Witten theory of P1, giving the model that the paper extends to arbitrary targets.","marker":"[FP03]"},{"why":"Establishes Virasoro constraints for toric bundles, so Virasoro for X implies Virasoro for X×P1 in Theorem 1.2.","marker":"[CGT24]"},{"why":"Classifies semisimple cohomological field theories and provides Virasoro-type reconstruction for semisimple quantum cohomology, one of the main target classes.","marker":"[Tel12]"},{"why":"Proves Virasoro constraints for target curves, the other main target class in Theorem 1.2.","marker":"[OP06]"},{"why":"Proves Pixton's formula DR_g(A)=2^{-g}P^g_g(A), whose special case λ_g=(-1)^g2^{-g}P^g_g(0,...,0) drives Theorems 1.5 and 1.6.","marker":"[JPPZ17]"},{"why":"Supplies Lemma 5.2, the descendant-to-ancestor correspondence via the T operator that converts Pixton's boundary expression into descendant invariants.","marker":"[JW24]"},{"why":"Proves genus-zero Virasoro constraints for any target, used in Theorem 1.3 for Y=X×P1.","marker":"[LT98]"},{"why":"Gives the genus-zero topological recursion relation used in the genus-one computation proving Theorem 1.6.","marker":"[Wit90]"}],"fun_headline_variants":["Virasoro proves λ_g in all genera for semisimple and curves","λ_g conjecture: universal genus 0 and 1, full for semisimple and curves","From Virasoro to λ_g: new constraints for Gromov-Witten invariants","Hodge integrals: λ_g holds for semisimple, curves, and genus 0/1 universally","DR formula yields universal λ_g constraints for descendant invariants"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Theorems 1.5 and 1.6 rest on Lemma 5.2, imported without proof from the author's earlier work [JW24], which says that descendant λ_g correlators can be rewritten as ancestor correlators using powers of the operator T; if that lemma fails, the boundary-formula translation and the genus-one result collapse.","fun_headline_variants_meta":{"raw":{"variants":["Virasoro proves λ_g in all genera for semisimple and curves","λ_g conjecture: universal genus 0 and 1, full for semisimple and curves","From Virasoro to λ_g: new constraints for Gromov-Witten invariants","Hodge integrals: λ_g holds for semisimple, curves, and genus 0/1 universally","DR formula yields universal λ_g constraints for descendant invariants"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000456,"raw_usage":{"total_tokens":2262,"prompt_tokens":889,"completion_tokens":1373,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":505,"completion_tokens_details":{"reasoning_tokens":1263}},"tokens_in":505,"tokens_out":1373,"duration_ms":11737,"temperature":1.0,"reasoning_tokens":1263,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:39:18.275411+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check Lemma 5.2 for the first nontrivial case it is used: for the point target or X = P1, compute the genus-one ancestor-descendant identity ⟨⟨\\barτ_1(φ);λ_1⟩⟩_1 = ⟨⟨T(φ);λ_1⟩⟩_1 explicitly from the definitions; a mismatch would invalidate Theorems 1.5 and 1.6. Independently, test the conjecture itself by computing Θ_{2,0,0,1} for a smooth projective variety with non-semisimple quantum cohomology, where the paper proves no vanishing, and compare with zero.","supporting_citations":[],"review_version":1}