{"schema_version":"claim-reader-v1","record":{"available_versions":[2,1],"current_version":2,"assessment_summary":"consistent","claim":{"statement":"If smooth projective complex varieties X and Y satisfy that Y is motivated by X in Arapura’s sense, and the rational Hodge conjecture holds on every power of X, it holds on every power of Y.","id":"claim-hodge-motivated-transfer","slug":"hodge-motivated-transfer","version":1,"kind":"theorem","title":"Conditional transfer through motivated varieties","assumptions":["X and Y are smooth projective over C.","Y is motivated by X in the category of André motives used in the paper, not merely weakly motivated.","Assume the rational Hodge conjecture for every positive power of X."],"scope":"A proved implication; its Hodge hypothesis must be supplied for the chosen X.","relation":"conditional_result","relationship_note":"Transfers established cases rather than resolving the unrestricted conjecture. Choosing a base with all-powers Hodge algebraicity turns the implication into an unconditional case.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-motivated-transfer:v1"],"report_ids":["hodge-conjecture:hodge-motivated-transfer:v1:report"],"formal_declarations":[],"independent_review":"pending"},"sha256":"0acca01b3edd8d60e4f57b8a14dcb77611d6c99fb2e8fab21ab9e2649474e2e7","contexts":[{"assessment_history":[{"report_id":"hodge-conjecture:hodge-motivated-transfer:v1:report","source_id":"arxiv-math-0501348","source_version_id":"arxiv-math-0501348@arxiv-v3","source_title":"Arapura · motivation for Hodge cycles","source_label":"Conditional transfer through motivated varieties","state":"resolved","scope":"A proved implication; its Hodge hypothesis must be supplied for the chosen X.","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/math/0501348v3","entry_id":"hodge-conjecture:hodge-motivated-transfer:v1","source_date":"2005-12-16"}],"problem_id":"problem-hodge-conjecture","slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":8,"relationship":{"claim":{"id":"claim-hodge-motivated-transfer","version":1},"relation":"conditional_result","relationship_note":"Transfers established cases rather than resolving the unrestricted conjecture. Choosing a base with all-powers Hodge algebraicity turns the implication into an unconditional case.","result":"proved","report_ids":["hodge-conjecture:hodge-motivated-transfer:v1:report"],"independent_review":"pending"},"assessments":[{"report_id":"hodge-conjecture:hodge-motivated-transfer:v1:report","source_id":"arxiv-math-0501348","source_version_id":"arxiv-math-0501348@arxiv-v3","source_title":"Arapura · motivation for Hodge cycles","source_label":"Conditional transfer through motivated varieties","state":"resolved","scope":"A proved implication; its Hodge hypothesis must be supplied for the chosen X.","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/math/0501348v3","entry_id":"hodge-conjecture:hodge-motivated-transfer:v1","source_date":"2005-12-16"}],"connections":[],"related_claims":[{"id":"claim-hodge-weil-fourfold-powers","version":2,"slug":"hodge-weil-fourfold-powers","title":"All powers of Weil fourfolds with discriminant 1"}],"progress":[{"claim_id":"claim-hodge-motivated-transfer","aspect":"Conditional reductions","summary":"Hodge algebraicity transfers from all powers of a motivating variety.","remaining":"The motivating relation and the all-powers hypothesis are not automatically available for an arbitrary variety.","overlaps_with":["claim-hodge-weil-fourfold-powers"],"overlap_note":"Transfers established cases rather than resolving the unrestricted conjecture. Choosing a base with all-powers Hodge algebraicity turns the implication into an unconditional case.","category":"conditional_result"}],"tasks":[],"statements":[{"statement":"If A is a complex abelian fourfold of Weil type with discriminant 1, the rational Hodge conjecture holds for A^m for every positive integer m.","id":"claim-hodge-weil-fourfold-powers","slug":"hodge-weil-fourfold-powers","version":2,"kind":"theorem","title":"All powers of Weil fourfolds with discriminant 1","assumptions":["A is a complex abelian fourfold of Weil type: an imaginary quadratic field acts with signature (2,2).","A has a compatible polarization of discriminant 1, in the paper’s Weil-type convention.","m is any positive integer; coefficients are rational."],"scope":"All codimensions on powers of this specified Weil-type family.","relation":"special_case","relationship_note":"For m=1 this overlaps Markman’s fourfold corollary; m>1 covers selected varieties of dimension 4m. The discriminant-1 hypothesis is retained for the all-powers assertion.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-weil-fourfold-powers:v1","hodge-conjecture:hodge-weil-journal:v1"],"report_ids":["hodge-conjecture:hodge-weil-fourfold-powers:v1:report","hodge-conjecture:hodge-weil-journal:report:v1"],"formal_declarations":[],"independent_review":"pending"},{"statement":"If smooth projective complex varieties X and Y satisfy that Y is motivated by X in Arapura’s sense, and the rational Hodge conjecture holds on every power of X, it holds on every power of Y.","id":"claim-hodge-motivated-transfer","slug":"hodge-motivated-transfer","version":1,"kind":"theorem","title":"Conditional transfer through motivated varieties","assumptions":["X and Y are smooth projective over C.","Y is motivated by X in the category of André motives used in the paper, not merely weakly motivated.","Assume the rational Hodge conjecture for every positive power of X."],"scope":"A proved implication; its Hodge hypothesis must be supplied for the chosen X.","relation":"conditional_result","relationship_note":"Transfers established cases rather than resolving the unrestricted conjecture. Choosing a base with all-powers Hodge algebraicity turns the implication into an unconditional case.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-motivated-transfer:v1"],"report_ids":["hodge-conjecture:hodge-motivated-transfer:v1:report"],"formal_declarations":[],"independent_review":"pending"}],"entries":[{"id":"hodge-conjecture:hodge-weil-fourfold-powers:v1","source_version_id":"arxiv-2504.13607@arxiv-v2","item_id":"Theorem 1.2 and its proof, PDF pages 2 and 16","url":"https://arxiv.org/abs/2504.13607v2","wording":"If A is a complex abelian fourfold of Weil type with discriminant 1, the rational Hodge conjecture holds for A^m for every positive integer m.","wording_kind":"paraphrase","locator":"Theorem 1.2 and its proof, PDF pages 2 and 16","supersedes":null},{"id":"hodge-conjecture:hodge-motivated-transfer:v1","source_version_id":"arxiv-math-0501348@arxiv-v3","item_id":"Lemma 4.2, PDF pages 9–10","url":"https://arxiv.org/abs/math/0501348v3","wording":"If smooth projective complex varieties X and Y satisfy that Y is motivated by X in Arapura’s sense, and the rational Hodge conjecture holds on every power of X, it holds on every power of Y.","wording_kind":"paraphrase","locator":"Lemma 4.2, PDF pages 9–10","supersedes":null},{"id":"hodge-conjecture:hodge-weil-journal:v1","source_version_id":"arxiv-2504.13607@journal-2026-103876","item_id":"Journal metadata: volume 210 (June 2026), article 103876; abstract","url":"https://doi.org/10.1016/j.matpur.2026.103876","wording":"The publisher records the published Floccari–Fu proof for Weil fourfolds of discriminant 1 and all their powers.","wording_kind":"paraphrase","locator":"Journal metadata: volume 210 (June 2026), article 103876; abstract","supersedes":null}],"sources":[{"work":{"authors":["Salvatore Floccari","Lie Fu"],"kind":"research_paper","publication":"accepted","publication_note":"arXiv v2 states final version, to appear in Journal de Mathématiques Pures et Appliquées; acceptance is source-reported.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Proof PDF · v2","url":"https://arxiv.org/pdf/2504.13607v2","version":"arXiv:2504.13607v2","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-2504.13607@arxiv-v2","source_id":"arxiv-2504.13607","title":"Floccari–Fu · Weil fourfolds and powers","owner":"Salvatore Floccari; Lie Fu","url":"https://arxiv.org/abs/2504.13607v2","subject_scope":"Floccari–Fu · Weil fourfolds and powers","revision":"arxiv-v2","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2026-02-10","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2504.13607v2","attribution":"Salvatore Floccari; Lie Fu","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90},{"work":{"authors":["Donu Arapura"],"kind":"research_paper","publication":"published","publication_note":"Published in Advances in Mathematics 207 (2006), 762–781; author version cited.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Author proof PDF · v3","url":"https://arxiv.org/pdf/math/0501348v3","version":"arXiv:math/0501348v3","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-math-0501348@arxiv-v3","source_id":"arxiv-math-0501348","title":"Arapura · motivation for Hodge cycles","owner":"Donu Arapura","url":"https://arxiv.org/abs/math/0501348v3","subject_scope":"Arapura · motivation for Hodge cycles","revision":"arxiv-v3","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2005-12-16","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/math/0501348v3","attribution":"Donu Arapura","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90},{"work":{"authors":["Salvatore Floccari","Lie Fu"],"kind":"research_paper","publication":"published","publication_note":"Published in Journal de Mathématiques Pures et Appliquées 210 (June 2026), article 103876, DOI 10.1016/j.matpur.2026.103876. The author v2 remains separately pinned for theorem text.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Proof PDF · v2","url":"https://arxiv.org/pdf/2504.13607v2","version":"arXiv:2504.13607v2","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}],"published":{"value":"2026-06"}},"id":"arxiv-2504.13607@journal-2026-103876","source_id":"arxiv-2504.13607","title":"Floccari–Fu · Weil fourfolds and powers","owner":"Salvatore Floccari; Lie Fu","url":"https://doi.org/10.1016/j.matpur.2026.103876","subject_scope":"Floccari–Fu · Weil fourfolds and powers","revision":"journal-2026-103876","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2026-02-10","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2504.13607v2","attribution":"Salvatore Floccari; Lie Fu","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90}]}],"assessments":[{"report_id":"hodge-conjecture:hodge-motivated-transfer:v1:report","source_id":"arxiv-math-0501348","source_version_id":"arxiv-math-0501348@arxiv-v3","source_title":"Arapura · motivation for Hodge cycles","source_label":"Conditional transfer through motivated varieties","state":"resolved","scope":"A proved implication; its Hodge hypothesis must be supplied for the chosen X.","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/math/0501348v3","entry_id":"hodge-conjecture:hodge-motivated-transfer:v1","source_date":"2005-12-16"}],"sources":[{"work":{"authors":["Donu Arapura"],"kind":"research_paper","publication":"published","publication_note":"Published in Advances in Mathematics 207 (2006), 762–781; author version cited.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Author proof PDF · v3","url":"https://arxiv.org/pdf/math/0501348v3","version":"arXiv:math/0501348v3","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-math-0501348@arxiv-v3","source_id":"arxiv-math-0501348","title":"Arapura · motivation for Hodge cycles","owner":"Donu Arapura","url":"https://arxiv.org/abs/math/0501348v3","subject_scope":"Arapura · motivation for Hodge cycles","revision":"arxiv-v3","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2005-12-16","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/math/0501348v3","attribution":"Donu Arapura","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90}],"entries":[{"id":"hodge-conjecture:hodge-motivated-transfer:v1","source_version_id":"arxiv-math-0501348@arxiv-v3","item_id":"Lemma 4.2, PDF pages 9–10","url":"https://arxiv.org/abs/math/0501348v3","wording":"If smooth projective complex varieties X and Y satisfy that Y is motivated by X in Arapura’s sense, and the rational Hodge conjecture holds on every power of X, it holds on every power of Y.","wording_kind":"paraphrase","locator":"Lemma 4.2, PDF pages 9–10","supersedes":null}],"formalizations":[],"tasks":[],"assessment_state":"proved","publication":{"version":7,"sha256":"509d05b69e1cecce2a8b2c64e84244cd4d8ee8c673848df12dad5185c4f7696b","published_at":"2026-10-11T03:49:01.173548+00:00","reason":"Publish checked pilot curation with canonical Claims and scoped progress; preserve exact source revisions, assumptions, coverage limits and historical publications. External artifacts and OpenMath execution remain distinct.","withdrawn":false,"draft":{"representations":[{"hash_profile":"rfc8785","schema_version":"visual-representation-v1","id":"visual-hodge-conjecture-overview","version":2,"subject":{"kind":"problem","id":"problem-hodge-conjecture","sha256":"97a2bfe9bfa67ccaa77539d68325b8b4630e938f4621bf7bc9d7833802caf13e"},"purpose":"coverage","title":"Where Hodge is established","caption":"Selected rational Hodge results, organized by family and scope. Select a case to inspect its exact assumptions.","description":"For smooth projective varieties over C, the selected results cover divisor classes and all codimensions in dimension at most three. Additional results cover abelian fourfolds and every positive power of a Weil-type abelian fourfold with discriminant 1. Motivated transfer requires an all-powers hypothesis. These regions overlap; this is a selected cases map, not an exhaustive classification.","assumptions":["Smooth projective varieties over C; rational Hodge classes and rational cycle combinations.","Dimension means complex dimension; codimension refers to algebraic cycles."],"limitation":"The general rational conjecture remains open. Selected abelian families do not cover arbitrary fourfolds. Blank cells indicate no result indexed in this selection; the integral and compact Kähler variants are separate questions.","author":"OpenMath curation","authoring_method":"ai_assisted_curation","authored_on":"2026-10-11","independent_review":"pending","source_entry_ids":["hodge-conjecture:hodge-abelian-fourfolds:v1","hodge-conjecture:hodge-dimension-at-most-three:v2","hodge-conjecture:hodge-divisor-classes:v1","hodge-conjecture:hodge-motivated-transfer:v1","hodge-conjecture:hodge-weil-fourfold-powers:v1","hodge-conjecture:hodge-weil-journal:v1"],"payload":{"kind":"cases_map","rows":[{"id":"general","label":"Smooth projective"},{"id":"abelian","label":"Selected abelian families"},{"id":"transfer","label":"Motivated transfer"}],"columns":[{"id":"divisor","label":"Divisors · codimension 1"},{"id":"low","label":"Dimension ≤ 3 · all codimensions"},{"id":"four","label":"Dimension 4"},{"id":"powers","label":"Powers and transfer"}],"cells":[{"id":"divisors","row":"general","column":"divisor","label":"Divisor classes","claim":{"id":"claim-hodge-divisor-classes","version":1}},{"id":"low-dimension","row":"general","column":"low","label":"All codimensions","claim":{"id":"claim-hodge-dimension-at-most-three","version":2}},{"id":"abelian-fourfolds","row":"abelian","column":"four","label":"Abelian fourfolds","claim":{"id":"claim-hodge-abelian-fourfolds","version":1}},{"id":"weil-powers","row":"abelian","column":"powers","label":"Weil type · discriminant 1","claim":{"id":"claim-hodge-weil-fourfold-powers","version":2}},{"id":"motivated-transfer","row":"transfer","column":"powers","label":"Assuming all powers of X","claim":{"id":"claim-hodge-motivated-transfer","version":1}}],"empty_label":"No result indexed in this selection"}}],"visuals":[{"representation":{"id":"visual-hodge-conjecture-overview","version":2},"section":"research-state"}],"connections":[{"id":"hodge-connection-integral","source":{"id":"claim-hodge-rational-target","version":1},"target":{"id":"claim-integral-hodge-counterexamples","version":1},"relation":"related_to","assertion":null,"explanation":"Integral coefficients ask for a stronger assertion and admit counterexamples, whereas the canonical question permits rational combinations.","limitation":"An integral obstruction can disappear after tensoring with Q and does not refute rational Hodge.","source_entry_ids":["hodge-conjecture:integral-hodge-counterexamples:v1","hodge-conjecture:hodge-rational-target:v1"],"independent_review":"pending"},{"id":"hodge-connection-kahler","source":{"id":"claim-hodge-rational-target","version":1},"target":{"id":"claim-hodge-kahler-extension","version":1},"relation":"related_to","assertion":null,"explanation":"Dropping projectivity changes the class of spaces and yields a false extension.","limitation":"A proof of rational Hodge must use the smooth projective setting; these counterexamples have a different domain.","source_entry_ids":["hodge-conjecture:hodge-kahler-boundary:v1","hodge-conjecture:hodge-rational-target:v1"],"independent_review":"pending"},{"id":"hodge-connection-fourfolds","source":{"id":"claim-hodge-abelian-fourfolds","version":1},"target":{"id":"claim-hodge-weil-fourfold-powers","version":2},"relation":"related_to","assertion":null,"explanation":"The all-abelian-fourfold theorem and the all-powers theorem intersect at a single Weil fourfold with discriminant 1.","limitation":"One covers every abelian fourfold but not all its powers; the other covers all powers of a smaller family.","source_entry_ids":["hodge-conjecture:hodge-abelian-fourfolds:v1","hodge-conjecture:hodge-weil-fourfold-powers:v1"],"independent_review":"pending"},{"id":"hodge-connection-tate","source":{"id":"claim-hodge-abelian-fourfolds","version":1},"target":{"id":"claim-hodge-broe-tate-fourfolds","version":1},"relation":"analogue_of","assertion":null,"explanation":"Hodge asks for Betti Hodge classes over C; Tate asks for Galois-invariant ℓ-adic classes over finite fields. Broe’s proof uses Markman’s geometric input with further specialization arguments.","limitation":"This relationship is not a direct implication from the fourfold corollary alone, or a new case of canonical Hodge.","source_entry_ids":["hodge-conjecture:hodge-abelian-fourfolds:v1","hodge-conjecture:hodge-broe-tate-fourfolds:v1"],"independent_review":"pending"},{"id":"hodge-connection-projectors","source":{"id":"claim-hodge-rational-target","version":1},"target":{"id":"claim-hodge-kunneth-consequence","version":1},"relation":"related_to","assertion":null,"explanation":"Applying the global conjecture to X×X would algebraize its diagonal projectors.","limitation":"The linked Claim proves the implication under Hodge on the product; these projectors are not constructed unconditionally.","source_entry_ids":["hodge-conjecture:hodge-rational-target:v1","hodge-conjecture:hodge-projector-consequence:v1"],"independent_review":"pending"}],"milestones":[{"id":"hodge-milestone-origin","date":{"value":"1952"},"date_basis":"publication","category":"foundation","title":"Hodge’s ICM conjecture and its corrected scope","summary":"The published proceedings introduce the broader cycle-algebraicity question. The modern record uses rational coefficients and smooth projective varieties.","limitation":"1952 is the proceedings publication year, not a precise formulation date or an established theorem.","claims":[{"id":"claim-hodge-rational-target","version":1}],"source_entry_ids":["hodge-conjecture:hodge-origin-history:v1"],"independent_review":"pending"},{"id":"hodge-milestone-divisors","date":{"value":"1953"},"date_basis":"publication","category":"special_case","title":"The divisor-class criterion in the cited exposition","summary":"The Kodaira–Spencer account cited by Deligne records the Lefschetz (1,1) theorem, the codimension-one foundation.","limitation":"This is the cited exposition’s date, not a claim of first discovery. Higher codimension does not follow merely by multiplying divisors.","claims":[{"id":"claim-hodge-divisor-classes","version":1}],"source_entry_ids":["hodge-conjecture:hodge-divisor-history:v1","hodge-conjecture:hodge-divisor-classes:v1"],"independent_review":"pending"},{"id":"hodge-milestone-integral","date":{"value":"1962"},"date_basis":"publication","category":"correction","title":"Integral Hodge counterexamples fix the coefficient boundary","summary":"Atiyah–Hirzebruch’s published counterexamples invalidate the integral extension.","limitation":"They do not invalidate the canonical rational conjecture.","claims":[{"id":"claim-integral-hodge-counterexamples","version":1}],"source_entry_ids":["hodge-conjecture:integral-hodge-counterexamples:v1"],"independent_review":"pending"},{"id":"hodge-milestone-transfer","date":{"value":"2005-12-16"},"date_basis":"preprint","category":"conditional_result","title":"Transfer through motivated varieties","summary":"Arapura’s selected final author revision gives a precise transfer from Hodge on all powers of X to all powers of Y.","limitation":"Y must be motivated by X in the stated sense, and Hodge on all powers of X remains a premise.","claims":[{"id":"claim-hodge-motivated-transfer","version":1}],"source_entry_ids":["hodge-conjecture:hodge-motivated-transfer:v1"],"independent_review":"pending"},{"id":"hodge-milestone-markman","date":{"value":"2025-06-08"},"date_basis":"preprint","category":"special_case","title":"All complex abelian fourfolds","summary":"Markman’s selected v2 constructs Weil classes and obtains rational Hodge for abelian fourfolds, including arbitrary discriminants.","limitation":"General smooth projective fourfolds in codimension two remain outside this result.","claims":[{"id":"claim-hodge-abelian-fourfolds","version":1}],"source_entry_ids":["hodge-conjecture:hodge-abelian-fourfolds:v1"],"independent_review":"pending"},{"id":"hodge-milestone-powers","date":{"value":"2026-06"},"date_basis":"publication","category":"special_case","title":"A published geometric proof for selected powers","summary":"Floccari–Fu’s journal publication proves rational Hodge for every power of a Weil fourfold with discriminant 1; the cited author v2 fixes theorem text.","limitation":"The discriminant and Weil-type hypotheses are essential. This is a publication event, not an assertion that the theorem first appeared in June.","claims":[{"id":"claim-hodge-weil-fourfold-powers","version":2}],"source_entry_ids":["hodge-conjecture:hodge-weil-journal:v1","hodge-conjecture:hodge-weil-fourfold-powers:v1"],"independent_review":"pending"},{"id":"hodge-milestone-tate","date":{"value":"2026-08-19"},"date_basis":"preprint","category":"related_result","title":"A finite-field Tate theorem for abelian fourfolds","summary":"Broe’s preprint proves the ℓ-adic cycle-class surjectivity theorem and deduces Tate in all codimensions for abelian fourfolds.","limitation":"A different-field analogue; it is excluded from direct Hodge progress and does not prove Tate for all dimensions or powers.","claims":[{"id":"claim-hodge-broe-tate-fourfolds","version":1}],"source_entry_ids":["hodge-conjecture:hodge-broe-tate-fourfolds:v1"],"independent_review":"pending"},{"id":"hodge-milestone-openai-cm","date":{"value":"2026-10-06"},"date_basis":"preprint","category":"proposal","title":"OpenAI’s proposed all-dimensional CM case","summary":"The provider manuscript claims rational Hodge for all CM abelian varieties, their finite products and powers.","limitation":"It stays proposed pending independent assessment. Arbitrary non-CM and non-abelian varieties remain outside the claimed scope.","claims":[{"id":"claim-hodge-openai-cm-proposal","version":1}],"source_entry_ids":["hodge-conjecture:hodge-openai-cm:v1"],"independent_review":"pending"},{"id":"hodge-milestone-openai-milne","date":{"value":"2026-10-07"},"date_basis":"preprint","category":"proposal","title":"A proposed rationality theorem after good reduction","summary":"A separate provider manuscript claims rationality and realization independence for specialized Hodge/divisor pairings.","limitation":"The weaker pairing statement is distinct from constructing all complex algebraic cycles and remains unassessed here.","claims":[{"id":"claim-hodge-openai-milne-proposal","version":1}],"source_entry_ids":["hodge-conjecture:hodge-openai-milne:v1"],"independent_review":"pending"},{"id":"hodge-milestone-withdrawal","date":{"value":"2026-10-08"},"date_basis":"assessment","category":"correction","title":"A recent CM-fourfold manuscript is withdrawn","summary":"Ningyi Li’s arXiv v2 records withdrawal after reassessing the contribution of the September manuscript.","limitation":"The withdrawal adds no established theorem, and does not refute the independently cited Markman or Floccari–Fu results.","claims":[],"source_entry_ids":["hodge-conjecture:hodge-withdrawal-2026:v1"],"independent_review":"pending"}],"progress":[{"claim_id":"claim-hodge-divisor-classes","aspect":"Algebraicity by codimension","summary":"All divisor Hodge classes, in any dimension.","remaining":"Higher codimension is not covered by this theorem.","overlaps_with":[],"overlap_note":"This covers the divisor case. It overlaps the low-dimensional theorem and every other indexed family in codimension one.","category":"special_case"},{"claim_id":"claim-hodge-dimension-at-most-three","aspect":"Algebraicity by dimension","summary":"All rational Hodge classes on curves, surfaces and threefolds.","remaining":"General fourfolds and higher-dimensional varieties are not covered.","overlaps_with":["claim-hodge-divisor-classes"],"overlap_note":"Includes the divisor case. For threefolds the curve-class case follows from hard Lefschetz and the divisor case; arbitrary fourfolds are excluded.","category":"special_case"},{"claim_id":"claim-hodge-abelian-fourfolds","aspect":"Algebraicity for families","summary":"Every abelian fourfold, including arbitrary Weil discriminants.","remaining":"Nonabelian fourfolds and arbitrary higher-dimensional abelian varieties remain outside this result.","overlaps_with":["claim-hodge-divisor-classes"],"overlap_note":"Corollary 1.6.1, using algebraicity of Weil classes and prior classification results. This does not prove the conjecture for arbitrary fourfolds or for all powers of every abelian fourfold.","category":"special_case"},{"claim_id":"claim-hodge-weil-fourfold-powers","aspect":"Algebraicity for families","summary":"Every power of a Weil-type fourfold with discriminant 1.","remaining":"Does not assert the all-powers statement for arbitrary discriminants or arbitrary abelian varieties.","overlaps_with":["claim-hodge-divisor-classes","claim-hodge-abelian-fourfolds"],"overlap_note":"For m=1 this overlaps Markman’s fourfold corollary; m>1 covers selected varieties of dimension 4m. The discriminant-1 hypothesis is retained for the all-powers assertion.","category":"special_case"},{"claim_id":"claim-hodge-motivated-transfer","aspect":"Conditional reductions","summary":"Hodge algebraicity transfers from all powers of a motivating variety.","remaining":"The motivating relation and the all-powers hypothesis are not automatically available for an arbitrary variety.","overlaps_with":["claim-hodge-weil-fourfold-powers"],"overlap_note":"Transfers established cases rather than resolving the unrestricted conjecture. Choosing a base with all-powers Hodge algebraicity turns the implication into an unconditional case.","category":"conditional_result"},{"claim_id":"claim-hodge-kunneth-consequence","aspect":"Algebraic correspondences","summary":"Algebraic representatives for the Künneth components of the diagonal, if Hodge holds on X×X.","remaining":"Algebraicity of these particular classes remains open in general; the implication proves no new unconditional case.","overlaps_with":[],"overlap_note":"A consequence under an open premise, not an additional resolved part of that premise.","category":"conditional_implication"},{"claim_id":"claim-hodge-inverse-lefschetz-consequence","aspect":"Standard-conjecture consequences","summary":"Inverse Lefschetz isomorphisms would be induced by cycles, under Hodge on the product.","remaining":"The premise must cover X×X in the specified codimension. General cycle construction is still missing.","overlaps_with":[],"overlap_note":"A consequence under an open premise, not an additional resolved part of that premise.","category":"conditional_implication"}],"activities":[{"id":"hodge-withdrawal-2026","title":"Recent source update · withdrawn preprint","kind":"source_correction","source_entry_ids":["hodge-conjecture:hodge-withdrawal-2026:v1"],"summary":"A September 2026 manuscript claiming results on powers of CM fourfolds was withdrawn by its author on 8 October 2026 after reassessing its contribution.","limitation":"The withdrawal is not a refutation of rational Hodge or of the other cited results. This manuscript contributes no additional proved progress in this record.","related_claim_ids":["claim-hodge-abelian-fourfolds","claim-hodge-weil-fourfold-powers"]},{"id":"hodge-openai-proposals","title":"Company AI proposals: CM algebraicity and specialized rationality","kind":"research_direction","source_entry_ids":["hodge-conjecture:hodge-openai-cm:v1","hodge-conjecture:hodge-openai-milne:v1"],"summary":"The October release proposes two distinct mathematical scopes: CM Hodge classes and rationality of pairings after good reduction.","limitation":"The original manuscripts are pinned and linked. Their dependencies, independent review and any formal correspondence remain unassessed; neither is promoted to established progress.","related_claim_ids":["claim-hodge-openai-cm-proposal","claim-hodge-openai-milne-proposal"]}],"curation":{"checked_on":"2026-10-10","selection":"Selected classical cases, the 2025 abelian-fourfold result, a February 2026 revised proof for selected powers, one conditional transfer theorem and an integral-variant boundary. Includes selected source-dated history, exact Claim connections, interpretations, approaches and grounded conditional impacts.","search_scope":"Clay descriptions; author arXiv revisions and theorem statements; recent Hodge/abelian-fourfold literature; public Google DeepMind, Axiom, Harmonic and mathematical formalization search. Search cutoff: 10 October 2026. This selection is not exhaustive. Rechecked the June 2026 Floccari–Fu journal record, Broe v1 (August 2026), September status/direction literature, and October OpenAI CM-Hodge and Milne manuscripts at a pinned release commit.","formal_status":"No complete Lean proof corresponding to these selected Hodge Claims has been established by this curation. PDF proofs are external mathematical arguments, not OpenMath Verification Results.","ai_status":"October OpenAI CM-Hodge and Milne rationality manuscripts are source-reported AI proposals with exact scopes, not selected proved progress. No independently accepted general Hodge proof or locally executed corresponding Lean proof is established by this curation.","independent_review":"pending"},"schema_version":"research-record-v2","claims":[{"statement":"For a smooth projective complex variety X, every rational class in H²(X,Q) of type (1,1) is a rational combination of divisor classes.","id":"claim-hodge-divisor-classes","slug":"hodge-divisor-classes","version":1,"kind":"theorem","title":"Divisor classes · Lefschetz (1,1)","assumptions":["X is smooth and projective over C.","The class has cohomological degree 2 and Hodge type (1,1)."],"scope":"Codimension one in any dimension; rational coefficients.","relation":"special_case","relationship_note":"This covers the divisor case. It overlaps the low-dimensional theorem and every other indexed family in codimension one.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-divisor-classes:v1"],"report_ids":["hodge-conjecture:hodge-divisor-classes:v1:report"],"formal_declarations":[],"independent_review":"pending"},{"statement":"The rational Hodge conjecture holds for every smooth projective complex variety of complex dimension at most three.","id":"claim-hodge-dimension-at-most-three","slug":"hodge-dimension-at-most-three","version":2,"kind":"theorem","title":"All codimensions in dimension ≤ 3","assumptions":["X is smooth and projective over C.","Complex dimension of X is at most 3.","Hodge classes and cycle combinations have rational coefficients."],"scope":"Every codimension, restricted to complex dimension ≤ 3.","relation":"special_case","relationship_note":"Includes the divisor case. For threefolds the curve-class case follows from hard Lefschetz and the divisor case; arbitrary fourfolds are excluded.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-dimension-at-most-three:v2"],"report_ids":["hodge-conjecture:hodge-dimension-at-most-three:v2:report"],"formal_declarations":[],"independent_review":"pending"},{"statement":"The rational Hodge conjecture holds for every complex abelian variety of dimension four.","id":"claim-hodge-abelian-fourfolds","slug":"hodge-abelian-fourfolds","version":1,"kind":"theorem","title":"Abelian fourfolds · Markman (2025)","assumptions":["A is a complex abelian variety.","Complex dimension of A is 4.","Rational coefficients in cohomology and cycles."],"scope":"All codimensions on abelian fourfolds. No restriction to Weil discriminant 1 is needed for this corollary.","relation":"special_case","relationship_note":"Corollary 1.6.1, using algebraicity of Weil classes and prior classification results. This does not prove the conjecture for arbitrary fourfolds or for all powers of every abelian fourfold.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-abelian-fourfolds:v1"],"report_ids":["hodge-conjecture:hodge-abelian-fourfolds:v1:report"],"formal_declarations":[],"independent_review":"pending"},{"statement":"If A is a complex abelian fourfold of Weil type with discriminant 1, the rational Hodge conjecture holds for A^m for every positive integer m.","id":"claim-hodge-weil-fourfold-powers","slug":"hodge-weil-fourfold-powers","version":2,"kind":"theorem","title":"All powers of Weil fourfolds with discriminant 1","assumptions":["A is a complex abelian fourfold of Weil type: an imaginary quadratic field acts with signature (2,2).","A has a compatible polarization of discriminant 1, in the paper’s Weil-type convention.","m is any positive integer; coefficients are rational."],"scope":"All codimensions on powers of this specified Weil-type family.","relation":"special_case","relationship_note":"For m=1 this overlaps Markman’s fourfold corollary; m>1 covers selected varieties of dimension 4m. The discriminant-1 hypothesis is retained for the all-powers assertion.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-weil-fourfold-powers:v1","hodge-conjecture:hodge-weil-journal:v1"],"report_ids":["hodge-conjecture:hodge-weil-fourfold-powers:v1:report","hodge-conjecture:hodge-weil-journal:report:v1"],"formal_declarations":[],"independent_review":"pending"},{"statement":"If smooth projective complex varieties X and Y satisfy that Y is motivated by X in Arapura’s sense, and the rational Hodge conjecture holds on every power of X, it holds on every power of Y.","id":"claim-hodge-motivated-transfer","slug":"hodge-motivated-transfer","version":1,"kind":"theorem","title":"Conditional transfer through motivated varieties","assumptions":["X and Y are smooth projective over C.","Y is motivated by X in the category of André motives used in the paper, not merely weakly motivated.","Assume the rational Hodge conjecture for every positive power of X."],"scope":"A proved implication; its Hodge hypothesis must be supplied for the chosen X.","relation":"conditional_result","relationship_note":"Transfers established cases rather than resolving the unrestricted conjecture. Choosing a base with all-powers Hodge algebraicity turns the implication into an unconditional case.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-motivated-transfer:v1"],"report_ids":["hodge-conjecture:hodge-motivated-transfer:v1:report"],"formal_declarations":[],"independent_review":"pending"},{"statement":"The integral analogue of the Hodge conjecture is false: there exist integral Hodge classes on smooth projective complex varieties not represented by integral algebraic cycles.","id":"claim-integral-hodge-counterexamples","slug":"integral-hodge-counterexamples","version":1,"kind":"conjecture","title":"Integral Hodge variant · counterexamples","assumptions":["Integral, rather than rational, coefficients.","Smooth projective complex varieties; the assertion is existential."],"scope":"Atiyah–Hirzebruch counterexamples to the integral variant; not a counterexample to rational Hodge.","relation":"related_variant","relationship_note":"Changing the coefficient ring changes the statement. Rational Hodge stays open; this refutation must never label the canonical Problem refuted.","result":"refuted","source_entry_ids":["hodge-conjecture:integral-hodge-counterexamples:v1"],"report_ids":["hodge-conjecture:integral-hodge-counterexamples:v1:report"],"formal_declarations":[],"independent_review":"pending"},{"statement":"For every smooth projective variety X over C and 0 ≤ p ≤ dim X, the rational cycle-class map CH^p(X)⊗Q → H^{2p}(X,Q) ∩ H^{p,p}(X) is surjective.","id":"claim-hodge-rational-target","slug":"hodge-rational-target","version":1,"kind":"conjecture","title":"rational Hodge holds in all codimensions","assumptions":["Smooth, projective and defined over C.","Rational coefficients; the intersection is taken after complexification."],"scope":"All varieties and codimensions. A representative may be a rational combination of cycles, without positivity or uniqueness.","relation":"primary_formulation","relationship_note":"All varieties and codimensions. A representative may be a rational combination of cycles, without positivity or uniqueness.","result":"unproved","source_entry_ids":["hodge-conjecture:hodge-rational-target:v1"],"report_ids":["hodge-conjecture:hodge-rational-target:report:v1"],"formal_declarations":[],"independent_review":"pending"},{"statement":"If the rational Hodge conjecture holds on X×X for a smooth projective complex variety X of dimension d, each rational Künneth component of [Δ_X] in H^{2d}(X×X,Q) is represented by a rational codimension-d algebraic cycle.","id":"claim-hodge-kunneth-consequence","slug":"hodge-kunneth-consequence","version":1,"kind":"theorem","title":"Hodge would make cohomological projectors algebraic","assumptions":["X smooth projective over C.","Hodge conjecture on X×X, in codimension d."],"scope":"A proved conditional implication using the Hodge type of diagonal components, not an unconditional construction of those cycles.","relation":"conditional_implication","relationship_note":"Source-grounded deduction: Deligne §4 identifies these components as Hodge classes; §1 then supplies their algebraicity under the stated premise.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-projector-consequence:v1"],"report_ids":["hodge-conjecture:hodge-kunneth-consequence:report:v1"],"formal_declarations":[],"independent_review":"pending"},{"statement":"For smooth projective X/C of dimension d, an ample hyperplane class η, and 0 ≤ p ≤ d, assume rational Hodge on X×X in codimension d−p. Then the inverse of η^p: H^{d−p}(X,Q) → H^{d+p}(X,Q) is induced by a rational algebraic correspondence of codimension d−p on X×X.","id":"claim-hodge-inverse-lefschetz-consequence","slug":"hodge-inverse-lefschetz-consequence","version":1,"kind":"theorem","title":"Hodge would algebraize inverse Lefschetz maps","assumptions":["X smooth projective over C and η an ample hyperplane class.","Hodge conjecture on X×X in the specified codimension."],"scope":"A proved implication for the Lefschetz standard-conjecture classes in characteristic zero; no assertion in arbitrary positive characteristic follows.","relation":"conditional_implication","relationship_note":"Source-grounded deduction from Deligne §4 Example 2 and the conjecture’s cycle-class surjectivity. Hard Lefschetz itself is already a theorem.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-lefschetz-consequence:v1"],"report_ids":["hodge-conjecture:hodge-inverse-lefschetz-consequence:report:v1"],"formal_declarations":[],"independent_review":"pending"},{"statement":"The assertion that every rational (p,p) class on every compact Kähler manifold is a rational combination of analytic cycle classes is false; complex-torus counterexamples are recorded in the cited description.","id":"claim-hodge-kahler-extension","slug":"hodge-kahler-extension","version":1,"kind":"conjecture","title":"The unrestricted compact Kähler extension is false","assumptions":["Compact Kähler complex manifolds, without the projectivity assumption.","Analytic cycle classes and rational coefficients."],"scope":"A refuted different-domain extension; it is not a counterexample among smooth projective varieties.","relation":"related_variant","relationship_note":"A refuted different-domain extension; it is not a counterexample among smooth projective varieties.","result":"refuted","source_entry_ids":["hodge-conjecture:hodge-kahler-boundary:v1"],"report_ids":["hodge-conjecture:hodge-kahler-extension:report:v1"],"formal_declarations":[],"independent_review":"pending"},{"statement":"For every abelian fourfold A over a finite field k = F_q and prime ℓ ≠ char(k), CH²(A)⊗Q_ℓ → H⁴_et(A_kbar,Q_ℓ(2))^{Gal(kbar/k)} is surjective. Combined with the divisor theorem and hard Lefschetz, Tate holds for A in all codimensions.","id":"claim-hodge-broe-tate-fourfolds","slug":"hodge-broe-tate-fourfolds","version":1,"kind":"theorem","title":"Tate is proved for abelian fourfolds over finite fields","assumptions":["A is an abelian variety of dimension four over a finite field.","ℓ differs from the field characteristic; cycles defined over k; invariants under its absolute Galois group."],"scope":"A cited preprint theorem about ℓ-adic classes over finite fields. No all-powers or all-dimensional statement is included.","relation":"related_variant","relationship_note":"A cited preprint theorem about ℓ-adic classes over finite fields. No all-powers or all-dimensional statement is included.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-broe-tate-fourfolds:v1"],"report_ids":["hodge-conjecture:hodge-broe-tate-fourfolds:report:v1"],"formal_declarations":[],"independent_review":"pending"},{"statement":"For every complex CM abelian variety A and every p ≥ 0, CH^p(A)⊗Q → H^{2p}(A,Q) ∩ H^{p,p}(A) is surjective. The provider includes all finite products and powers of CM abelian varieties.","id":"claim-hodge-openai-cm-proposal","slug":"hodge-openai-cm-proposal","version":1,"kind":"theorem","title":"Proposed Hodge result for all CM abelian varieties","assumptions":["Complex abelian variety of CM type: End(A)⊗Q contains a commutative semisimple Q-algebra of dimension 2 dim A.","Rational cycle classes; every codimension."],"scope":"Provider proposal for a specified family in arbitrary dimension; not rational Hodge for every smooth projective variety.","relation":"special_case","relationship_note":"Provider proposal for a specified family in arbitrary dimension; not rational Hodge for every smooth projective variety.","result":"proposed","source_entry_ids":["hodge-conjecture:hodge-openai-cm:v1"],"report_ids":["hodge-conjecture:hodge-openai-cm-proposal:report:v1"],"formal_declarations":[],"independent_review":"pending"},{"statement":"Let A/Qbar have dimension d and good reduction A₀/Fpbar at a fixed p-adic place, and let γ be a rational Hodge class of degree 2r. For every list of d−r Cartier divisors on A₀, the trace of the specialized γ times their classes is a common q ∈ Q in every ℓ-adic realization (ℓ ≠ p) and in the specified de Rham–crystalline realization.","id":"claim-hodge-openai-milne-proposal","slug":"hodge-openai-milne-proposal","version":1,"kind":"theorem","title":"Proposed rationality of specialized Hodge pairings","assumptions":["A over Qbar, embedded in C, with good reduction after finite descent and extension at the chosen place.","0 ≤ r ≤ d; top-Tate-twist trace normalized to degree of a zero-cycle.","The crystalline comparison and divisor-product conventions of Theorem 1.1."],"scope":"A provider proposal about rationality of pairings at one reduction place. Rationality alone is weaker than producing an algebraic representative for every complex Hodge class.","relation":"related_variant","relationship_note":"A provider proposal about rationality of pairings at one reduction place. Rationality alone is weaker than producing an algebraic representative for every complex Hodge class.","result":"proposed","source_entry_ids":["hodge-conjecture:hodge-openai-milne:v1"],"report_ids":["hodge-conjecture:hodge-openai-milne-proposal:report:v1"],"formal_declarations":[],"independent_review":"pending"}],"problem":{"resolution_scope":{"resolution":"unresolved","extent":"general_case","summary":"Divisors, varieties of dimension at most three, abelian fourfolds and selected powers are covered by cited theorems; conditional transfer results are also indexed.","report_ids":["hodge-conjecture:report:0:v2"],"progress_claim_ids":["claim-hodge-divisor-classes","claim-hodge-dimension-at-most-three","claim-hodge-abelian-fourfolds","claim-hodge-weil-fourfold-powers","claim-hodge-motivated-transfer"],"remaining":"Arbitrary smooth projective varieties remain open, including general fourfolds in codimension two. Abelian fourfolds are a solved family, not all fourfolds."},"statement_kind":"conjecture","problem_id":"problem-hodge-conjecture","slug":"hodge-conjecture","title":"Hodge conjecture","question":"On a smooth complex projective variety, is every rational Hodge class a rational linear combination of classes of algebraic cycles?","scope":"Rational Hodge classes on smooth projective varieties over C, in every codimension. Integral coefficients, nonprojective spaces, the generalized Hodge conjecture and the Tate conjecture are distinct variants.","aliases":["Hodge conjecture"],"fields":["Algebraic geometry"],"msc":["14C30"],"topics":["Scoped progress","Conditional results"],"background":"specialist","scale":"major conjecture","depth":"source-linked","source_entry_ids":["hodge-conjecture:entry:0:v1","hodge-conjecture:entry:0:v2","hodge-conjecture:hodge-divisor-classes:v1","hodge-conjecture:hodge-dimension-at-most-three:v2","hodge-conjecture:hodge-abelian-fourfolds:v1","hodge-conjecture:hodge-weil-fourfold-powers:v1","hodge-conjecture:hodge-motivated-transfer:v1","hodge-conjecture:integral-hodge-counterexamples:v1","hodge-conjecture:hodge-withdrawal-2026:v1","hodge-conjecture:hodge-rational-target:v1","hodge-conjecture:hodge-projector-consequence:v1","hodge-conjecture:hodge-lefschetz-consequence:v1","hodge-conjecture:hodge-kahler-boundary:v1","hodge-conjecture:hodge-broe-tate-fourfolds:v1","hodge-conjecture:hodge-weil-journal:v1","hodge-conjecture:hodge-openai-cm:v1","hodge-conjecture:hodge-openai-milne:v1","hodge-conjecture:hodge-origin-history:v1","hodge-conjecture:hodge-divisor-history:v1","hodge-conjecture:hodge-cycle-obstruction:v1"],"status_report_ids":["hodge-conjecture:report:0:v1","hodge-conjecture:report:0:v2"],"editorial":null,"literature":[{"title":"Clay problem page and official description","url":"https://www.claymath.org/millennium/hodge-conjecture/","note":"Clay reports the general question unsolved, observed 10 October 2026. This current-state observation is separate from the dated theorem and artifact citations below."}],"formalizations":[],"related":[],"tasks":[],"insights":[{"id":"hodge-interpretation-cycles","title":"A class is a cohomological shadow of a cycle","summary":"The conjecture asks whether rational classes satisfying the Hodge condition come from algebraic subvarieties. It concerns equality of cohomology classes, rather than unique cycles or effective positive representatives.","review":"pending","kind":"interpretation","source_entry_ids":["hodge-conjecture:hodge-rational-target:v1"],"claims":[{"id":"claim-hodge-rational-target","version":1}],"limitation":"It neither identifies all cycles up to rational equivalence nor promises an algorithm that finds equations for a representative."},{"id":"hodge-interpretation-scope","title":"Dimension, codimension and powers are different axes","summary":"Divisors are covered in every dimension; all codimensions are covered in dimension ≤3. An abelian fourfold is a special family, and a power of a fourfold usually has larger dimension.","review":"pending","kind":"interpretation","source_entry_ids":["hodge-conjecture:hodge-divisor-classes:v1","hodge-conjecture:hodge-dimension-at-most-three:v2","hodge-conjecture:hodge-abelian-fourfolds:v1"],"claims":[{"id":"claim-hodge-divisor-classes","version":1},{"id":"claim-hodge-dimension-at-most-three","version":2},{"id":"claim-hodge-abelian-fourfolds","version":1}],"limitation":"These scopes overlap and cannot be added as disjoint fractions. Arbitrary fourfolds remain open in codimension two."},{"id":"hodge-approach-geometry","title":"Construct cycles in controlled geometric families","summary":"Markman uses secant sheaves and Weil-type geometry; Floccari–Fu relates selected abelian fourfolds to singular OG6 geometry. These provide actual algebraic representatives within their families.","review":"pending","kind":"approach","source_entry_ids":["hodge-conjecture:hodge-abelian-fourfolds:v1","hodge-conjecture:hodge-weil-fourfold-powers:v1"],"claims":[{"id":"claim-hodge-abelian-fourfolds","version":1},{"id":"claim-hodge-weil-fourfold-powers","version":2}],"limitation":"The constructions have precise family hypotheses. Neither proves the conjecture for every smooth projective variety."},{"id":"hodge-approach-transfer","title":"Reduce to a motivating variety and its powers","summary":"Arapura’s transfer theorem can propagate known cases once a suitable motivated relationship and all-powers base theorem are supplied.","review":"pending","kind":"approach","source_entry_ids":["hodge-conjecture:hodge-motivated-transfer:v1"],"claims":[{"id":"claim-hodge-motivated-transfer","version":1}],"limitation":"Checking one variety X is weaker than Hodge on every X^m. Replacing “motivated” by a weaker relationship changes the theorem."},{"id":"hodge-approach-obstruction","title":"Detecting a Hodge class does not construct its cycle","summary":"Deligne explains the difficulty of passing from cohomological conditions and families to actual algebraic cycles. An intermediate-Jacobian induction needs more than Hodge for hyperplane sections.","review":"pending","kind":"approach","source_entry_ids":["hodge-conjecture:hodge-cycle-obstruction:v1","hodge-conjecture:hodge-kahler-boundary:v1"],"claims":[{"id":"claim-hodge-kahler-extension","version":1}],"limitation":"The historical exposition describes obstructions, not a complete current catalogue of approaches; analytic arguments must retain projectivity."},{"id":"hodge-impact-projectors","title":"Realize cohomological decompositions by correspondences","summary":"Hodge on every product X×X would give algebraic representatives for its diagonal’s Künneth components. These correspondences are key inputs to decomposing cohomological motives.","review":"pending","kind":"impact","source_entry_ids":["hodge-conjecture:hodge-projector-consequence:v1"],"claims":[{"id":"claim-hodge-kunneth-consequence","version":1}],"scenario":{"id":"claim-hodge-rational-target","version":1},"limitation":"The selected implication concerns cohomological classes; it does not assert mutually orthogonal Chow idempotents modulo rational equivalence."},{"id":"hodge-impact-lefschetz","title":"Give the inverse Lefschetz operators geometric representatives","summary":"A general proof would algebraize the inverse hard-Lefschetz maps on smooth projective complex varieties, supplying the indicated Lefschetz standard-conjecture classes.","review":"pending","kind":"impact","source_entry_ids":["hodge-conjecture:hodge-lefschetz-consequence:v1"],"claims":[{"id":"claim-hodge-inverse-lefschetz-consequence","version":1}],"scenario":{"id":"claim-hodge-rational-target","version":1},"limitation":"Hard Lefschetz already proves the cohomological isomorphism. The new consequence is algebraicity of its inverse correspondence, with no positive-characteristic transfer asserted."}],"coverage_gaps":["Selected results, not an exhaustive literature survey or a percentage of the conjecture solved.","Source-attributed theorem statements; independent mathematical and relationship review is pending.","External papers, programs and Lean placeholders have no OpenMath execution or independent reproduction attached.","AI involvement is recorded only where the cited source reports it; absence from this selection does not establish absence of work.","Timeline dates refer to cited research events at their supported precision. Overlapping results and conditional consequences do not define a percentage solved."],"checked_on":"2026-10-10"},"sources":[{"id":"clay-millennium@observed-2026-10-01","source_id":"clay-millennium","title":"Clay · Millennium Problems","owner":"Clay Mathematics Institute","url":"https://www.claymath.org/millennium-problems/","subject_scope":"Seven Millennium Prize Problems; five selected here","revision":"observed-2026-10-01","content_sha256":null,"update_method":"Manual checked import; new observations require staff preview and publication","identifier_policy":"Canonical source URL plus explicit item/declaration locator; no fuzzy identity merge","observed_on":"2026-10-01","source_updated_on":null,"rights":"metadata-link","license":"Not established; links and OpenMath paraphrases only","terms_url":"https://www.claymath.org/millennium-problems/","attribution":"Clay Mathematics Institute","rights_note":"Store metadata and original OpenMath paraphrases; follow the original source for authoritative wording.","check_interval_days":30},{"id":"clay-millennium@observed-2026-10-10","source_id":"clay-millennium","title":"Clay · Millennium Problems","owner":"Clay Mathematics Institute","url":"https://www.claymath.org/millennium-problems/","subject_scope":"Seven Millennium Prize Problems; five selected here","revision":"observed-2026-10-10","content_sha256":null,"update_method":"Manual checked import; new observations require staff preview and publication","identifier_policy":"Canonical source URL plus explicit item/declaration locator; no fuzzy identity merge","observed_on":"2026-10-10","source_updated_on":null,"rights":"metadata-link","license":"Not established; links and OpenMath paraphrases only","terms_url":"https://www.claymath.org/millennium-problems/","attribution":"Clay Mathematics Institute","rights_note":"Store metadata and original OpenMath paraphrases; follow the original source for authoritative wording.","check_interval_days":30},{"work":{"authors":["Pierre Deligne"],"kind":"official_description","publication":"published","publication_note":"Official Clay problem description; historical exposition, not a current literature survey.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Official description PDF","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","version":"official-description","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"clay-deligne-hodge@official-description","source_id":"clay-deligne-hodge","title":"Deligne · official Hodge description","owner":"Pierre Deligne","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","subject_scope":"Deligne · official Hodge description","revision":"official-description","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":null,"rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","attribution":"Pierre Deligne","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90},{"work":{"authors":["Eyal Markman"],"kind":"research_paper","publication":"preprint","publication_note":"Author preprint at the cited revision; journal acceptance has not been established by this curation.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Proof PDF · v2","url":"https://arxiv.org/pdf/2502.03415v2","version":"arXiv:2502.03415v2","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-2502.03415@arxiv-v2","source_id":"arxiv-2502.03415","title":"Markman · cycles from secant sheaves","owner":"Eyal Markman","url":"https://arxiv.org/abs/2502.03415v2","subject_scope":"Markman · cycles from secant sheaves","revision":"arxiv-v2","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2025-06-08","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2502.03415v2","attribution":"Eyal Markman","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90},{"work":{"authors":["Salvatore Floccari","Lie Fu"],"kind":"research_paper","publication":"accepted","publication_note":"arXiv v2 states final version, to appear in Journal de Mathématiques Pures et Appliquées; acceptance is source-reported.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Proof PDF · v2","url":"https://arxiv.org/pdf/2504.13607v2","version":"arXiv:2504.13607v2","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-2504.13607@arxiv-v2","source_id":"arxiv-2504.13607","title":"Floccari–Fu · Weil fourfolds and powers","owner":"Salvatore Floccari; Lie Fu","url":"https://arxiv.org/abs/2504.13607v2","subject_scope":"Floccari–Fu · Weil fourfolds and powers","revision":"arxiv-v2","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2026-02-10","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2504.13607v2","attribution":"Salvatore Floccari; Lie Fu","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90},{"work":{"authors":["Donu Arapura"],"kind":"research_paper","publication":"published","publication_note":"Published in Advances in Mathematics 207 (2006), 762–781; author version cited.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Author proof PDF · v3","url":"https://arxiv.org/pdf/math/0501348v3","version":"arXiv:math/0501348v3","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-math-0501348@arxiv-v3","source_id":"arxiv-math-0501348","title":"Arapura · motivation for Hodge cycles","owner":"Donu Arapura","url":"https://arxiv.org/abs/math/0501348v3","subject_scope":"Arapura · motivation for Hodge cycles","revision":"arxiv-v3","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2005-12-16","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/math/0501348v3","attribution":"Donu Arapura","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90},{"work":{"authors":["Ningyi Li"],"kind":"research_paper","publication":"withdrawn","publication_note":"Author withdrew v2 on 8 October 2026 after reassessing its contribution; no standalone publication planned.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"paper","title":"Withdrawal notice · v2","url":"https://arxiv.org/abs/2609.27916v2","version":"arXiv:2609.27916v2","assessment":"external_report","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-2609.27916@arxiv-v2-withdrawn","source_id":"arxiv-2609.27916","title":"Li · withdrawn CM-fourfold powers preprint","owner":"Ningyi Li","url":"https://arxiv.org/abs/2609.27916v2","subject_scope":"Li · withdrawn CM-fourfold powers preprint","revision":"arxiv-v2-withdrawn","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2026-10-08","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2609.27916v2","attribution":"Ningyi Li","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90},{"work":{"authors":["Matt Broe"],"kind":"research_paper","publication":"preprint","publication_note":"Source-reported manuscript at this exact revision; independent mathematical review is pending.","ai_role":"not_reported","ai_note":"The cited source does not report AI involvement; no absence claim is inferred.","artifacts":[{"kind":"pdf","title":"Broe · Tate for abelian fourfolds over finite fields — manuscript","url":"https://arxiv.org/abs/2608.28651v1","version":"arxiv-v1","assessment":"paper_proof","note":"External manuscript. No OpenMath proof execution, formalization or independent mathematical acceptance is inferred."}],"published":{"value":"2026-08-19"}},"id":"arxiv-2608.28651@arxiv-v1","source_id":"arxiv-2608.28651","title":"Broe · Tate for abelian fourfolds over finite fields","owner":"Matt Broe","url":"https://arxiv.org/abs/2608.28651v1","subject_scope":"Broe · Tate for abelian fourfolds over finite fields","revision":"arxiv-v1","content_sha256":null,"update_method":"Manual primary-source revision check; changes require a new immutable source version.","identifier_policy":"Stable bibliographic identity, explicit revision and exact source-entry locators.","observed_on":"2026-10-10","source_updated_on":null,"rights":"metadata-link","license":"External full-text redistribution rights not asserted","terms_url":"https://arxiv.org/abs/2608.28651v1","attribution":"Matt Broe","rights_note":"Only metadata and original OpenMath paraphrases are published; full text stays upstream.","check_interval_days":30},{"work":{"authors":["Salvatore Floccari","Lie Fu"],"kind":"research_paper","publication":"published","publication_note":"Published in Journal de Mathématiques Pures et Appliquées 210 (June 2026), article 103876, DOI 10.1016/j.matpur.2026.103876. The author v2 remains separately pinned for theorem text.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Proof PDF · v2","url":"https://arxiv.org/pdf/2504.13607v2","version":"arXiv:2504.13607v2","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}],"published":{"value":"2026-06"}},"id":"arxiv-2504.13607@journal-2026-103876","source_id":"arxiv-2504.13607","title":"Floccari–Fu · Weil fourfolds and powers","owner":"Salvatore Floccari; Lie Fu","url":"https://doi.org/10.1016/j.matpur.2026.103876","subject_scope":"Floccari–Fu · Weil fourfolds and powers","revision":"journal-2026-103876","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2026-02-10","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2504.13607v2","attribution":"Salvatore Floccari; Lie Fu","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90},{"work":{"authors":["OpenAI"],"kind":"research_paper","publication":"preprint","publication_note":"Provider preprint in the October 2026 public collection. The selected manuscript is a proposal here; a release announcement is not independent expert acceptance.","ai_role":"self_reported","ai_note":"The provider attributes this manuscript to its internal AI model. Mathematical acceptance, paper-to-formal correspondence and independent reproduction are not established by OpenMath.","artifacts":[{"kind":"pdf","title":"OpenAI · proposed Hodge theorem for CM abelian varieties — manuscript","url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-rational-Hodge-conjecture-for-CM-abelian-varieties-October-6-2026/paper.pdf","version":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","assessment":"not_executed","note":"External manuscript. No OpenMath proof execution, formalization or independent mathematical acceptance is inferred.","sha256":"6e3e66a407773ad5091d4cb48d9b4dc55a69c58fb0948a88daf19f3bb21bf27b"}],"published":{"value":"2026-10-06"}},"id":"openai-hodge-cm@git-fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","source_id":"openai-hodge-cm","title":"OpenAI · proposed Hodge theorem for CM abelian varieties","owner":"OpenAI","url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-rational-Hodge-conjecture-for-CM-abelian-varieties-October-6-2026/paper.pdf","subject_scope":"OpenAI · proposed Hodge theorem for CM abelian varieties","revision":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","content_sha256":"6e3e66a407773ad5091d4cb48d9b4dc55a69c58fb0948a88daf19f3bb21bf27b","update_method":"Manual primary-source revision check; changes require a new immutable source version.","identifier_policy":"Stable bibliographic identity, explicit revision and exact source-entry locators.","observed_on":"2026-10-10","source_updated_on":null,"rights":"metadata-link","license":"External full-text redistribution rights not asserted","terms_url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-rational-Hodge-conjecture-for-CM-abelian-varieties-October-6-2026/paper.pdf","attribution":"OpenAI","rights_note":"Only metadata and original OpenMath paraphrases are published; full text stays upstream.","check_interval_days":30},{"work":{"authors":["OpenAI"],"kind":"research_paper","publication":"preprint","publication_note":"Provider preprint in the October 2026 public collection. The selected manuscript is a proposal here; a release announcement is not independent expert acceptance.","ai_role":"self_reported","ai_note":"The provider attributes this manuscript to its internal AI model. Mathematical acceptance, paper-to-formal correspondence and independent reproduction are not established by OpenMath.","artifacts":[{"kind":"pdf","title":"OpenAI · proposed Milne rationality theorem — manuscript","url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Milnes-rationality-conjecture-for-abelian-varieties-October-7-2026/paper.pdf","version":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","assessment":"not_executed","note":"External manuscript. No OpenMath proof execution, formalization or independent mathematical acceptance is inferred.","sha256":"640701a0ea8d8026d2f019e571e052f2d106cad3f5216cf6f7fca0d643873234"}],"published":{"value":"2026-10-07"}},"id":"openai-milne-rationality@git-fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","source_id":"openai-milne-rationality","title":"OpenAI · proposed Milne rationality theorem","owner":"OpenAI","url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Milnes-rationality-conjecture-for-abelian-varieties-October-7-2026/paper.pdf","subject_scope":"OpenAI · proposed Milne rationality theorem","revision":"fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","content_sha256":"640701a0ea8d8026d2f019e571e052f2d106cad3f5216cf6f7fca0d643873234","update_method":"Manual primary-source revision check; changes require a new immutable source version.","identifier_policy":"Stable bibliographic identity, explicit revision and exact source-entry locators.","observed_on":"2026-10-10","source_updated_on":null,"rights":"metadata-link","license":"External full-text redistribution rights not asserted","terms_url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Milnes-rationality-conjecture-for-abelian-varieties-October-7-2026/paper.pdf","attribution":"OpenAI","rights_note":"Only metadata and original OpenMath paraphrases are published; full text stays upstream.","check_interval_days":30}],"entries":[{"id":"hodge-conjecture:entry:0:v1","source_version_id":"clay-millennium@observed-2026-10-01","item_id":"https://www.claymath.org/millennium/hodge-conjecture/","url":"https://www.claymath.org/millennium/hodge-conjecture/","wording":"On a smooth complex projective variety, is every rational Hodge class a rational linear combination of classes of algebraic cycles?","wording_kind":"paraphrase","locator":"https://www.claymath.org/millennium/hodge-conjecture/","supersedes":null},{"id":"hodge-conjecture:entry:0:v2","source_version_id":"clay-millennium@observed-2026-10-10","item_id":"https://www.claymath.org/millennium/hodge-conjecture/","url":"https://www.claymath.org/millennium/hodge-conjecture/","wording":"On a smooth complex projective variety, is every rational Hodge class a rational linear combination of classes of algebraic cycles?","wording_kind":"paraphrase","locator":"https://www.claymath.org/millennium/hodge-conjecture/","supersedes":"hodge-conjecture:entry:0:v1"},{"id":"hodge-conjecture:hodge-divisor-classes:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"Section 2(iii), PDF page 2","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"For a smooth projective complex variety X, every rational class in H²(X,Q) of type (1,1) is a rational combination of divisor classes.","wording_kind":"paraphrase","locator":"Section 2(iii), PDF page 2","supersedes":null},{"id":"hodge-conjecture:hodge-dimension-at-most-three:v2","source_version_id":"clay-millennium@observed-2026-10-10","item_id":"Clay Hodge page, overview: dimension less than four","url":"https://www.claymath.org/millennium/hodge-conjecture/","wording":"The rational Hodge conjecture holds for every smooth projective complex variety of complex dimension at most three.","wording_kind":"paraphrase","locator":"Clay Hodge page, overview: dimension less than four","supersedes":null},{"id":"hodge-conjecture:hodge-abelian-fourfolds:v1","source_version_id":"arxiv-2502.03415@arxiv-v2","item_id":"Corollary 1.6.1, PDF page 9; Theorem 1.5.1","url":"https://arxiv.org/abs/2502.03415v2","wording":"The rational Hodge conjecture holds for every complex abelian variety of dimension four.","wording_kind":"paraphrase","locator":"Corollary 1.6.1, PDF page 9; Theorem 1.5.1","supersedes":null},{"id":"hodge-conjecture:hodge-weil-fourfold-powers:v1","source_version_id":"arxiv-2504.13607@arxiv-v2","item_id":"Theorem 1.2 and its proof, PDF pages 2 and 16","url":"https://arxiv.org/abs/2504.13607v2","wording":"If A is a complex abelian fourfold of Weil type with discriminant 1, the rational Hodge conjecture holds for A^m for every positive integer m.","wording_kind":"paraphrase","locator":"Theorem 1.2 and its proof, PDF pages 2 and 16","supersedes":null},{"id":"hodge-conjecture:hodge-motivated-transfer:v1","source_version_id":"arxiv-math-0501348@arxiv-v3","item_id":"Lemma 4.2, PDF pages 9–10","url":"https://arxiv.org/abs/math/0501348v3","wording":"If smooth projective complex varieties X and Y satisfy that Y is motivated by X in Arapura’s sense, and the rational Hodge conjecture holds on every power of X, it holds on every power of Y.","wording_kind":"paraphrase","locator":"Lemma 4.2, PDF pages 9–10","supersedes":null},{"id":"hodge-conjecture:integral-hodge-counterexamples:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"Section 2(iv), PDF page 2","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"The integral analogue of the Hodge conjecture is false: there exist integral Hodge classes on smooth projective complex varieties not represented by integral algebraic cycles.","wording_kind":"paraphrase","locator":"Section 2(iv), PDF page 2","supersedes":null},{"id":"hodge-conjecture:hodge-withdrawal-2026:v1","source_version_id":"arxiv-2609.27916@arxiv-v2-withdrawn","item_id":"arXiv v2 comments and submission history","url":"https://arxiv.org/abs/2609.27916v2","wording":"A September 2026 manuscript claiming results on powers of CM fourfolds was withdrawn by its author on 8 October 2026 after reassessing its contribution.","wording_kind":"paraphrase","locator":"arXiv v2 comments and submission history","supersedes":null},{"id":"hodge-conjecture:hodge-rational-target:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§1, PDF page 1: rational cycle-class formulation","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"For every smooth projective complex variety X and every codimension p, CH^p(X)⊗Q maps onto H^{2p}(X,Q) ∩ H^{p,p}(X).","wording_kind":"paraphrase","locator":"§1, PDF page 1: rational cycle-class formulation","supersedes":null},{"id":"hodge-conjecture:hodge-projector-consequence:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§4 Example 1, PDF page 4; implication from §1","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Under rational Hodge on X×X, the rational Künneth components of the diagonal have algebraic representatives.","wording_kind":"paraphrase","locator":"§4 Example 1, PDF page 4; implication from §1","supersedes":null},{"id":"hodge-conjecture:hodge-lefschetz-consequence:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§4 Example 2, PDF page 4; implication from §1","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Under rational Hodge on X×X, the inverse hard-Lefschetz maps are induced by algebraic correspondences.","wording_kind":"paraphrase","locator":"§4 Example 2, PDF page 4; implication from §1","supersedes":null},{"id":"hodge-conjecture:hodge-kahler-boundary:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§2(v), PDF page 3","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Replacing smooth projective varieties by all compact Kähler manifolds makes the cycle-algebraicity assertion false.","wording_kind":"paraphrase","locator":"§2(v), PDF page 3","supersedes":null},{"id":"hodge-conjecture:hodge-broe-tate-fourfolds:v1","source_version_id":"arxiv-2608.28651@arxiv-v1","item_id":"Theorem 1.1; introductory deduction of all degrees, PDF pages 1–2","url":"https://arxiv.org/abs/2608.28651v1","wording":"For an abelian fourfold over F_q and ℓ ≠ char(F_q), the ℓ-adic cycle-class map in codimension two surjects onto Galois-invariant H⁴; other codimensions follow from divisor and Lefschetz results.","wording_kind":"paraphrase","locator":"Theorem 1.1; introductory deduction of all degrees, PDF pages 1–2","supersedes":null},{"id":"hodge-conjecture:hodge-weil-journal:v1","source_version_id":"arxiv-2504.13607@journal-2026-103876","item_id":"Journal metadata: volume 210 (June 2026), article 103876; abstract","url":"https://doi.org/10.1016/j.matpur.2026.103876","wording":"The publisher records the published Floccari–Fu proof for Weil fourfolds of discriminant 1 and all their powers.","wording_kind":"paraphrase","locator":"Journal metadata: volume 210 (June 2026), article 103876; abstract","supersedes":null},{"id":"hodge-conjecture:hodge-openai-cm:v1","source_version_id":"openai-hodge-cm@git-fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","item_id":"Theorem 1.1 and definition of CM type, PDF page 1","url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-rational-Hodge-conjecture-for-CM-abelian-varieties-October-6-2026/paper.pdf","wording":"The provider claims rational Hodge for every complex CM abelian variety in all dimensions and codimensions, including finite products and powers.","wording_kind":"paraphrase","locator":"Theorem 1.1 and definition of CM type, PDF page 1","supersedes":null},{"id":"hodge-conjecture:hodge-openai-milne:v1","source_version_id":"openai-milne-rationality@git-fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb","item_id":"Theorem 1.1, PDF pages 1–2","url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Milnes-rationality-conjecture-for-abelian-varieties-October-7-2026/paper.pdf","wording":"The provider claims that specialized rational Hodge classes pair with complementary products of divisors as one rational number in prime-to-p and crystalline realizations.","wording_kind":"paraphrase","locator":"Theorem 1.1, PDF pages 1–2","supersedes":null},{"id":"hodge-conjecture:hodge-origin-history:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§2(vi) and reference [6], ICM 1950 proceedings published 1952","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Hodge’s broader conjecture appeared in the ICM 1950 proceedings published in 1952; later coefficient and scope corrections are essential.","wording_kind":"paraphrase","locator":"§2(vi) and reference [6], ICM 1950 proceedings published 1952","supersedes":null},{"id":"hodge-conjecture:hodge-divisor-history:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§2(iii) and reference [7], Kodaira–Spencer (1953)","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Deligne cites the 1953 divisor-class account for the Lefschetz (1,1) criterion.","wording_kind":"paraphrase","locator":"§2(iii) and reference [7], Kodaira–Spencer (1953)","supersedes":null},{"id":"hodge-conjecture:hodge-cycle-obstruction:v1","source_version_id":"clay-deligne-hodge@official-description","item_id":"§3–§5, PDF pages 3–4: intermediate Jacobians and detecting Hodge classes","url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","wording":"Hodge classes and their supports can be studied cohomologically, but constructing the required cycles remains the general obstacle.","wording_kind":"paraphrase","locator":"§3–§5, PDF pages 3–4: intermediate Jacobians and detecting Hodge classes","supersedes":null}],"reports":[{"id":"hodge-conjecture:report:0:v1","entry_id":"hodge-conjecture:entry:0:v1","state":"reported_open","source_label":"Unsolved","scope":"The cited source item and version only; this is not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-01","evidence_url":"https://www.claymath.org/millennium/hodge-conjecture/","supersedes":null},{"id":"hodge-conjecture:report:0:v2","entry_id":"hodge-conjecture:entry:0:v2","state":"reported_open","source_label":"Unsolved","scope":"The cited source item and version only; this is not an independent OpenMath assessment.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/millennium/hodge-conjecture/","supersedes":"hodge-conjecture:report:0:v1"},{"id":"hodge-conjecture:hodge-divisor-classes:v1:report","entry_id":"hodge-conjecture:hodge-divisor-classes:v1","state":"resolved","source_label":"Divisor classes · Lefschetz (1,1)","scope":"Codimension one in any dimension; rational coefficients.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},{"id":"hodge-conjecture:hodge-dimension-at-most-three:v2:report","entry_id":"hodge-conjecture:hodge-dimension-at-most-three:v2","state":"resolved","source_label":"All codimensions in dimension ≤ 3","scope":"Every codimension, restricted to complex dimension ≤ 3.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/millennium/hodge-conjecture/","supersedes":null},{"id":"hodge-conjecture:hodge-abelian-fourfolds:v1:report","entry_id":"hodge-conjecture:hodge-abelian-fourfolds:v1","state":"resolved","source_label":"Abelian fourfolds · Markman (2025)","scope":"All codimensions on abelian fourfolds. No restriction to Weil discriminant 1 is needed for this corollary.","source_date":"2025-06-08","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2502.03415v2","supersedes":null},{"id":"hodge-conjecture:hodge-weil-fourfold-powers:v1:report","entry_id":"hodge-conjecture:hodge-weil-fourfold-powers:v1","state":"resolved","source_label":"All powers of Weil fourfolds with discriminant 1","scope":"All codimensions on powers of this specified Weil-type family.","source_date":"2026-02-10","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2504.13607v2","supersedes":null},{"id":"hodge-conjecture:hodge-motivated-transfer:v1:report","entry_id":"hodge-conjecture:hodge-motivated-transfer:v1","state":"resolved","source_label":"Conditional transfer through motivated varieties","scope":"A proved implication; its Hodge hypothesis must be supplied for the chosen X.","source_date":"2005-12-16","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/math/0501348v3","supersedes":null},{"id":"hodge-conjecture:integral-hodge-counterexamples:v1:report","entry_id":"hodge-conjecture:integral-hodge-counterexamples:v1","state":"refuted","source_label":"Integral Hodge variant · counterexamples","scope":"Atiyah–Hirzebruch counterexamples to the integral variant; not a counterexample to rational Hodge.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},{"id":"hodge-conjecture:hodge-rational-target:report:v1","entry_id":"hodge-conjecture:hodge-rational-target:v1","state":"reported_open","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},{"id":"hodge-conjecture:hodge-kunneth-consequence:report:v1","entry_id":"hodge-conjecture:hodge-projector-consequence:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},{"id":"hodge-conjecture:hodge-inverse-lefschetz-consequence:report:v1","entry_id":"hodge-conjecture:hodge-lefschetz-consequence:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},{"id":"hodge-conjecture:hodge-kahler-extension:report:v1","entry_id":"hodge-conjecture:hodge-kahler-boundary:v1","state":"refuted","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf","supersedes":null},{"id":"hodge-conjecture:hodge-broe-tate-fourfolds:report:v1","entry_id":"hodge-conjecture:hodge-broe-tate-fourfolds:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/2608.28651v1","supersedes":null},{"id":"hodge-conjecture:hodge-weil-journal:report:v1","entry_id":"hodge-conjecture:hodge-weil-journal:v1","state":"resolved","source_label":"Exact scoped statement in cited source","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://doi.org/10.1016/j.matpur.2026.103876","supersedes":null},{"id":"hodge-conjecture:hodge-openai-cm-proposal:report:v1","entry_id":"hodge-conjecture:hodge-openai-cm:v1","state":"proposed_solution","source_label":"Proposed source assertion awaiting assessment","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/The-rational-Hodge-conjecture-for-CM-abelian-varieties-October-6-2026/paper.pdf","supersedes":null},{"id":"hodge-conjecture:hodge-openai-milne-proposal:report:v1","entry_id":"hodge-conjecture:hodge-openai-milne:v1","state":"proposed_solution","source_label":"Proposed source assertion awaiting assessment","scope":"Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.","source_date":null,"observed_on":"2026-10-10","evidence_url":"https://github.com/openai/math/blob/fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb/preprints/Milnes-rationality-conjecture-for-abelian-varieties-October-7-2026/paper.pdf","supersedes":null}]},"status":{"state":"open","label":"Open","extent":"general_case","summary":"Divisors, varieties of dimension at most three, abelian fourfolds and selected powers are covered by cited theorems; conditional transfer results are also indexed.","basis":"source","attributed_to":"Clay · Millennium Problems","as_of":"2026-10-10","progress_label":"Special cases & conditional results","progress_claim_ids":["claim-hodge-divisor-classes","claim-hodge-dimension-at-most-three","claim-hodge-abelian-fourfolds","claim-hodge-weil-fourfold-powers","claim-hodge-motivated-transfer"],"remaining":"Arbitrary smooth projective varieties remain open, including general fourfolds in codimension two. Abelian fourfolds are a solved family, not all fourfolds.","views":["open","partial"],"knowledge_categories":["Special cases proved","Conditional results","Conditional implications"]}},"selected_context":{"assessment_history":[{"report_id":"hodge-conjecture:hodge-motivated-transfer:v1:report","source_id":"arxiv-math-0501348","source_version_id":"arxiv-math-0501348@arxiv-v3","source_title":"Arapura · motivation for Hodge cycles","source_label":"Conditional transfer through motivated varieties","state":"resolved","scope":"A proved implication; its Hodge hypothesis must be supplied for the chosen X.","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/math/0501348v3","entry_id":"hodge-conjecture:hodge-motivated-transfer:v1","source_date":"2005-12-16"}],"problem_id":"problem-hodge-conjecture","slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":7,"relationship":{"claim":{"id":"claim-hodge-motivated-transfer","version":1},"relation":"conditional_result","relationship_note":"Transfers established cases rather than resolving the unrestricted conjecture. Choosing a base with all-powers Hodge algebraicity turns the implication into an unconditional case.","result":"proved","report_ids":["hodge-conjecture:hodge-motivated-transfer:v1:report"],"independent_review":"pending"},"assessments":[{"report_id":"hodge-conjecture:hodge-motivated-transfer:v1:report","source_id":"arxiv-math-0501348","source_version_id":"arxiv-math-0501348@arxiv-v3","source_title":"Arapura · motivation for Hodge cycles","source_label":"Conditional transfer through motivated varieties","state":"resolved","scope":"A proved implication; its Hodge hypothesis must be supplied for the chosen X.","observed_on":"2026-10-10","evidence_url":"https://arxiv.org/abs/math/0501348v3","entry_id":"hodge-conjecture:hodge-motivated-transfer:v1","source_date":"2005-12-16"}],"connections":[],"related_claims":[{"id":"claim-hodge-weil-fourfold-powers","version":2,"slug":"hodge-weil-fourfold-powers","title":"All powers of Weil fourfolds with discriminant 1"}],"progress":[{"claim_id":"claim-hodge-motivated-transfer","aspect":"Conditional reductions","summary":"Hodge algebraicity transfers from all powers of a motivating variety.","remaining":"The motivating relation and the all-powers hypothesis are not automatically available for an arbitrary variety.","overlaps_with":["claim-hodge-weil-fourfold-powers"],"overlap_note":"Transfers established cases rather than resolving the unrestricted conjecture. Choosing a base with all-powers Hodge algebraicity turns the implication into an unconditional case.","category":"conditional_result"}],"tasks":[],"statements":[{"statement":"If A is a complex abelian fourfold of Weil type with discriminant 1, the rational Hodge conjecture holds for A^m for every positive integer m.","id":"claim-hodge-weil-fourfold-powers","slug":"hodge-weil-fourfold-powers","version":2,"kind":"theorem","title":"All powers of Weil fourfolds with discriminant 1","assumptions":["A is a complex abelian fourfold of Weil type: an imaginary quadratic field acts with signature (2,2).","A has a compatible polarization of discriminant 1, in the paper’s Weil-type convention.","m is any positive integer; coefficients are rational."],"scope":"All codimensions on powers of this specified Weil-type family.","relation":"special_case","relationship_note":"For m=1 this overlaps Markman’s fourfold corollary; m>1 covers selected varieties of dimension 4m. The discriminant-1 hypothesis is retained for the all-powers assertion.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-weil-fourfold-powers:v1","hodge-conjecture:hodge-weil-journal:v1"],"report_ids":["hodge-conjecture:hodge-weil-fourfold-powers:v1:report","hodge-conjecture:hodge-weil-journal:report:v1"],"formal_declarations":[],"independent_review":"pending"},{"statement":"If smooth projective complex varieties X and Y satisfy that Y is motivated by X in Arapura’s sense, and the rational Hodge conjecture holds on every power of X, it holds on every power of Y.","id":"claim-hodge-motivated-transfer","slug":"hodge-motivated-transfer","version":1,"kind":"theorem","title":"Conditional transfer through motivated varieties","assumptions":["X and Y are smooth projective over C.","Y is motivated by X in the category of André motives used in the paper, not merely weakly motivated.","Assume the rational Hodge conjecture for every positive power of X."],"scope":"A proved implication; its Hodge hypothesis must be supplied for the chosen X.","relation":"conditional_result","relationship_note":"Transfers established cases rather than resolving the unrestricted conjecture. Choosing a base with all-powers Hodge algebraicity turns the implication into an unconditional case.","result":"proved","source_entry_ids":["hodge-conjecture:hodge-motivated-transfer:v1"],"report_ids":["hodge-conjecture:hodge-motivated-transfer:v1:report"],"formal_declarations":[],"independent_review":"pending"}],"entries":[{"id":"hodge-conjecture:hodge-weil-fourfold-powers:v1","source_version_id":"arxiv-2504.13607@arxiv-v2","item_id":"Theorem 1.2 and its proof, PDF pages 2 and 16","url":"https://arxiv.org/abs/2504.13607v2","wording":"If A is a complex abelian fourfold of Weil type with discriminant 1, the rational Hodge conjecture holds for A^m for every positive integer m.","wording_kind":"paraphrase","locator":"Theorem 1.2 and its proof, PDF pages 2 and 16","supersedes":null},{"id":"hodge-conjecture:hodge-motivated-transfer:v1","source_version_id":"arxiv-math-0501348@arxiv-v3","item_id":"Lemma 4.2, PDF pages 9–10","url":"https://arxiv.org/abs/math/0501348v3","wording":"If smooth projective complex varieties X and Y satisfy that Y is motivated by X in Arapura’s sense, and the rational Hodge conjecture holds on every power of X, it holds on every power of Y.","wording_kind":"paraphrase","locator":"Lemma 4.2, PDF pages 9–10","supersedes":null},{"id":"hodge-conjecture:hodge-weil-journal:v1","source_version_id":"arxiv-2504.13607@journal-2026-103876","item_id":"Journal metadata: volume 210 (June 2026), article 103876; abstract","url":"https://doi.org/10.1016/j.matpur.2026.103876","wording":"The publisher records the published Floccari–Fu proof for Weil fourfolds of discriminant 1 and all their powers.","wording_kind":"paraphrase","locator":"Journal metadata: volume 210 (June 2026), article 103876; abstract","supersedes":null}],"sources":[{"work":{"authors":["Salvatore Floccari","Lie Fu"],"kind":"research_paper","publication":"accepted","publication_note":"arXiv v2 states final version, to appear in Journal de Mathématiques Pures et Appliquées; acceptance is source-reported.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Proof PDF · v2","url":"https://arxiv.org/pdf/2504.13607v2","version":"arXiv:2504.13607v2","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-2504.13607@arxiv-v2","source_id":"arxiv-2504.13607","title":"Floccari–Fu · Weil fourfolds and powers","owner":"Salvatore Floccari; Lie Fu","url":"https://arxiv.org/abs/2504.13607v2","subject_scope":"Floccari–Fu · Weil fourfolds and powers","revision":"arxiv-v2","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2026-02-10","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2504.13607v2","attribution":"Salvatore Floccari; Lie Fu","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90},{"work":{"authors":["Donu Arapura"],"kind":"research_paper","publication":"published","publication_note":"Published in Advances in Mathematics 207 (2006), 762–781; author version cited.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Author proof PDF · v3","url":"https://arxiv.org/pdf/math/0501348v3","version":"arXiv:math/0501348v3","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}]},"id":"arxiv-math-0501348@arxiv-v3","source_id":"arxiv-math-0501348","title":"Arapura · motivation for Hodge cycles","owner":"Donu Arapura","url":"https://arxiv.org/abs/math/0501348v3","subject_scope":"Arapura · motivation for Hodge cycles","revision":"arxiv-v3","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2005-12-16","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/math/0501348v3","attribution":"Donu Arapura","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90},{"work":{"authors":["Salvatore Floccari","Lie Fu"],"kind":"research_paper","publication":"published","publication_note":"Published in Journal de Mathématiques Pures et Appliquées 210 (June 2026), article 103876, DOI 10.1016/j.matpur.2026.103876. The author v2 remains separately pinned for theorem text.","ai_role":"not_reported","ai_note":"The cited work does not report AI involvement; this is not an assertion that no AI was used.","artifacts":[{"kind":"pdf","title":"Proof PDF · v2","url":"https://arxiv.org/pdf/2504.13607v2","version":"arXiv:2504.13607v2","assessment":"paper_proof","note":"External evidence linked; no OpenMath execution or independent reproduction is asserted."}],"published":{"value":"2026-06"}},"id":"arxiv-2504.13607@journal-2026-103876","source_id":"arxiv-2504.13607","title":"Floccari–Fu · Weil fourfolds and powers","owner":"Salvatore Floccari; Lie Fu","url":"https://doi.org/10.1016/j.matpur.2026.103876","subject_scope":"Floccari–Fu · Weil fourfolds and powers","revision":"journal-2026-103876","content_sha256":null,"update_method":"Manual source and revision check; recheck upstream before a new publication.","identifier_policy":"Stable bibliographic identifier and explicit revision; theorem locators belong to source entries.","observed_on":"2026-10-10","source_updated_on":"2026-02-10","rights":"metadata-link","license":"Links and original OpenMath paraphrases only; upstream license governs external files.","terms_url":"https://arxiv.org/abs/2504.13607v2","attribution":"Salvatore Floccari; Lie Fu","rights_note":"No upstream full text or code is republished by this record.","check_interval_days":90}]}}}