{"id":"15d893bb-3fed-4236-abbe-4a3090d42ffc","arxiv_id":"2607.09622","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Projective hyperkähler manifolds of K3^[n] type with T(X)⊗Q embedding into U³⊗Q admit algebraic correspondences to abelian varieties inducing Hodge isometries of transcendental lattices.","lead":"The paper shows that projective hyperkähler manifolds of K3^[n] type with large Picard number (under a lattice embedding condition) are related by algebraic correspondences to abelian varieties. This extends Morrison’s classical result for K3 surfaces and organizes known higher-dimensional examples under one lattice-theoretic criterion.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The paper’s argument is pure lattice-theoretic and Hodge-theoretic assembly of existing deep theorems; there are no free parameters, no numerical claims, and no hidden analytic assumptions. The only potential soft spot is the external citation of Markman’s algebraicity theorem, which the reader already identified and which is published for exactly the projective K3^[n] setting used. The sketched remarks on OG6/OG10 and generalized Kummer varieties are explicitly outside the main theorem and do not affect it. Consequently the reader’s ACCEPT / HIGH / low-risk assessment stands; no adjustment is warranted.","tokens_in":10648,"tokens_out":478,"duration_ms":4577,"concrete_test":"Verify that the primitive Mukai vector v constructed in the proof of [PRO25, Thm 3.7] (invoked for the birationality X ~ M_v(S)) remains primitive for every even lattice T of signature (2,k) with k ≤ 4 that embeds rationally into U^{3}; if primitivity fails for some such T, re-check whether the subsequent appeal to Markman still produces an algebraic correspondence.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 3.1) is a short, correctly assembled chain of published results: Nikulin embedding of T(X) into the K3 lattice, surjectivity of the period map to produce an algebraic K3 surface S with T(S) Hodge-isometric to T(X), Markman/Piroddi–Ortiz identification of X with a moduli space of sheaves on S (hence birational to S^[n]), the elementary Hilbert–Chow correspondence from S^[n] to S, Morrison’s theorem relating S to an abelian surface A, and Markman’s theorem that rational Hodge isometries of projective K3^[n]-type varieties are algebraic. Each step is standard and applies under the stated hypotheses (projective K3^[n]-type, rank T ≤ 6, rational embedding into U^{3}). The reader’s weakest assumption correctly flags the external dependence on [Mar24], but that theorem is published and covers precisely the projective case used here; no internal gap or regime where the chain fails is visible.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper generalizes Morrison’s solution of the modified Oda conjecture from K3 surfaces to projective hyperkähler manifolds of K3^[n] type. The main result (Theorem 1.3 / 3.1) states that if T(X) ⊗ Q embeds into U^{3} ⊗ Q, then there exists an abelian variety A and an algebraic correspondence inducing a Hodge isometry T(X) ⊗ Q ≅ T(A) ⊗ Q. The proof proceeds by Nikulin’s embedding theorem to produce a K3 surface S with T(S) Hodge-isometric to T(X), Markman/Piroddi–Ortiz realization of X as birational to a moduli space of sheaves on S (hence to S^[n]), the elementary Hilbert–Chow correspondence, Morrison’s correspondence from S to an abelian surface, and Markman’s theorem that rational Hodge isometries of projective K3^[n]-type varieties are algebraic. A short lattice-theoretic lemma and corollary give explicit Picard-number criteria under which the embedding hypothesis holds automatically.","tokens_in":10822,"tokens_out":725,"duration_ms":7670,"significance":"The result cleanly extends a classical theorem of Morrison–Mukai to the most studied higher-dimensional hyperkähler deformation type, and it does so by a transparent composition of already-published tools (Nikulin, Markman, Piroddi–Ortiz, Morrison). The explicit numerical criteria in Corollary 3.4 make the statement immediately usable for concrete examples of high Picard rank. While the argument is short and largely synthetic, the uniform treatment of the correspondence chain and the lattice criteria constitute a useful contribution to the recent literature on hyperkähler manifolds with large Picard number.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction speak of “known examples of hyperkähler manifolds such as pointed Hilbert schemes,” yet the body of the paper proves the statement only for K3^[n] type; the remaining types are relegated to a brief sketch in Remark 3.5. A single clarifying sentence in the abstract would avoid overstatement.","section":null},{"comment":"In the proof of Theorem 3.1 the authors write “primitive vector v” while noting that the cited theorem does not require primitivity; a parenthetical reference to the construction of a primitive vector would remove the slight inconsistency.","section":null},{"comment":"Lemma 3.2 is stated for quadratic spaces over Q of signature (2,k); the parenthetical remark that k=4 is impossible for signature reasons is correct but could be made more precise by recalling that the ambient space U^{3} has signature (3,3).","section":null},{"comment":"Typographical inconsistencies appear throughout: “hyperk¨ahler” vs. “hyperkähler,” “CORREPONDENCES” in the running header, and occasional missing spaces after periods. A light copy-edit would clean these up.","section":null},{"comment":"The appendix collects standard lattice facts; a one-sentence pointer to Nikulin’s original papers or to a modern survey would help readers who are not lattice specialists.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is short and essentially a clean synthesis of recent results of Markman, Piroddi–Ortiz and Prieto-Montanez with Morrison’s classical theorem. It is appropriate for a note-style section of a solid journal; the absence of new technical machinery is not a defect given the clarity of the statement and the usefulness of the numerical criteria. No concerns about novelty disclosure or citation pattern."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This note does exactly what the abstract claims: it extends Morrison's solution of the modified Oda conjecture from K3 surfaces to projective hyperkähler manifolds of K3^[n] type. The main statement (Theorem 3.1 / 1.3) is that a rational embedding T(X) into U^{3} yields an algebraic correspondence with an abelian variety inducing the rational Hodge isometry on transcendental lattices. Corollary 3.4 then spells out the automatic cases for Picard ranks 18–21 via isotropic vectors or planes.\n\nWhat is new is the packaged composition, not the individual steps. The proof is a short, linear chain: Nikulin gives a primitive embedding of T(X) into the K3 lattice; period-map surjectivity produces an algebraic K3 surface S with matching Hodge structure; Markman / Piroddi–Ortiz realize X as birational to a moduli space of sheaves on S (hence to S^[n]); the elementary Hilbert–Chow correspondence goes from S^[n] to S; Morrison supplies the correspondence from S to an abelian surface A; and Markman's 2024 algebraicity theorem for rational Hodge isometries of projective K3^[n]-type varieties closes the chain. Each citation is used correctly under the stated hypotheses (projective, rank T ≤ 6). Lattice criteria in Lemma 3.2 are standard Witt-cancellation arguments and match Morrison's earlier corollaries.\n\nSoft spots are minor and proportional. The primitivity of the Mukai vector is handled only in a footnote; the OG6/OG10 and generalized-Kummer cases are sketched in a remark rather than proved; and the whole argument rests on published external theorems (especially Markman 2024). None of these breaks the central claim for K3^[n]. Circularity is low; self-citation is absent; free parameters and invented entities are zero.\n\nThis is for people already working on hyperkähler Hodge theory or moduli of sheaves who want a clean reference for the abelian-surface correspondence when Picard number is large. It does not invent a new construction or settle a long-open problem, but the statement is correct, the lattice conditions are useful, and the write-up is transparent. I would send it to a serious referee without hesitation; it belongs in a solid journal as a short note.","headline":"Clean, short packaging of Morrison's Oda solution for projective K3^[n]-type manifolds under a transparent lattice condition; expected but useful.","tokens_in":11488,"tokens_out":568,"would_cite":true,"duration_ms":6290,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14J42","14C30","14F05"],"pacs":[],"model":"grok-4.5","headline":"Hyperkähler manifolds of K3^[n] type with large Picard number are related by algebraic correspondence to abelian varieties, generalizing Morrison's theorem for K3 surfaces.","keywords":["hyperkähler manifolds","K3^[n] type","transcendental lattice","Picard number","algebraic correspondences","Morrison's theorem","Oda conjecture","Hodge isometry"],"falsifier":"Exhibit a projective K3^[n]-type manifold whose transcendental lattice embeds rationally into U^{3} yet admits no algebraic correspondence inducing a rational Hodge isometry with the transcendental lattice of any abelian variety.","tokens_in":11500,"feed_emoji":"🔢","tokens_out":604,"duration_ms":8005,"temperature":0.7,"pith_summary":"Morrison proved that every algebraic K3 surface whose transcendental lattice embeds rationally into three hyperbolic planes is related by an algebraic correspondence to an abelian surface. This note extends that statement to projective hyperkähler manifolds of K3^[n] type. Under the same rational embedding condition on the transcendental lattice, such a manifold is shown to be birational to a moduli space of sheaves on a K3 surface that itself satisfies Morrison's hypothesis, and therefore inherits a correspondence with an abelian variety that identifies the rational transcendental Hodge structures. The argument assembles known results on moduli of sheaves, Hilbert schemes, and the algebraicity of rational Hodge isometries for this deformation type, and records the arithmetic conditions on the Picard rank that make the embedding automatic.","feed_headline":"Hyperkähler manifolds with large Picard number match abelian varieties","feed_subtitle":"A Morrison-type correspondence extends from K3 surfaces to Hilbert schemes of points","key_machinery":"The rational embedding T(X)⊗Q \to U^{3}⊗Q, which forces the existence of a K3 surface S with T(S) Hodge-isometric to T(X); X is then birational to a moduli space of sheaves on S, and the known correspondence from S to an abelian surface composes with the algebraicity of rational Hodge isometries of K3^[n] type.","core_discovery":"If X is a projective hyperkähler manifold of K3^[n] type and its transcendental lattice T(X) embeds rationally into U^{3}, then there exists an abelian variety A together with an algebraic correspondence that induces a Hodge isometry T(X)⊗Q ≅ T(A)⊗Q.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["K3^[n] hyperkähler with large Picard match abelian varieties by correspondence","Morrison-type link extends: large-Picard hyperkähler correspond to abelians","Hyperkähler of K3 type with T embedding in U³ relate to abelian varieties","Algebraic correspondences connect large-Picard K3^[n] manifolds to abelians","Projective hyperkähler with rational T in U³ induce Hodge isometries to abelians"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The proof depends on the theorem that every rational Hodge isometry between projective hyperkähler varieties of K3^[n] type is algebraic; if that fails for the lattices that arise, the correspondence chain breaks.","fun_headline_variants_meta":{"raw":{"variants":["K3^[n] hyperkähler with large Picard match abelian varieties by correspondence","Morrison-type link extends: large-Picard hyperkähler correspond to abelians","Hyperkähler of K3 type with T embedding in U³ relate to abelian varieties","Algebraic correspondences connect large-Picard K3^[n] manifolds to abelians","Projective hyperkähler with rational T in U³ induce Hodge isometries to abelians"]},"model":"grok-4.5","effort":"low","cost_usd":0.005986,"raw_usage":{"total_tokens":1465,"prompt_tokens":605,"num_sources_used":0,"completion_tokens":115,"cost_in_usd_ticks":59860000,"prompt_tokens_details":{"text_tokens":605,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":745,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":605,"tokens_out":115,"duration_ms":7091,"temperature":1.0,"reasoning_tokens":745,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-13T01:39:54.113245+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a projective K3^[n]-type manifold whose transcendental lattice embeds rationally into U^{3} yet admits no algebraic correspondence inducing a rational Hodge isometry with the transcendental lattice of any abelian variety.","supporting_citations":[],"review_version":1}