Floccari–Fu · Weil fourfolds and powers
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.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The publisher records the published Floccari–Fu proof for Weil fourfolds of discriminant 1 and all their powers.
Passage ID: hodge-conjecture:hodge-weil-journal:v1
Source item: Journal metadata: volume 210 (June 2026), article 103876; abstract
Source record: arxiv-2504.13607@journal-2026-103876
Salvatore Floccari · Lie Fu · Acceptance reported
Floccari–Fu · Weil fourfolds and powers
arXiv v2 states final version, to appear in Journal de Mathématiques Pures et Appliquées; acceptance is source-reported.
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.
Passage ID: hodge-conjecture:hodge-weil-fourfold-powers:v1
Source item: Theorem 1.2 and its proof, PDF pages 2 and 16
Source record: arxiv-2504.13607@arxiv-v2
Manuscript / exposition · external
External evidence linked; no OpenMath execution or independent reproduction is asserted.
Resource revision: arXiv:2504.13607v2
Recorded authorship
Salvatore Floccari · Lie Fu
Salvatore Floccari; Lie Fu
The cited work does not report AI involvement; this is not an assertion that no AI was used.
No upstream full text or code is republished by this record.
Source terms ↗Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v15
Source assessment
Proved
All powers of Weil fourfolds with discriminant 1
All codimensions on powers of this specified Weil-type family.
Source date Feb 10, 2026 · Observed Oct 10, 2026
Statement
Source assessment
Proved
Exact scoped statement in cited source
Only the cited assertion with its exact assumptions. This report does not resolve the canonical Problem or establish independent OpenMath mathematical review.
Observed Oct 10, 2026
Connection
The all-abelian-fourfold theorem and the all-powers theorem intersect at a single Weil fourfold with discriminant 1.
History
A published geometric proof for selected powers
Question
Hodge conjecture
Further reading
Read the mathematical argument; inspect its Claim for assessment and scope.
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Manuscript / exposition · external
External evidence linked; no OpenMath execution or independent reproduction is asserted.
Resource revision: arXiv:2504.13607v2
Recorded authorship
Salvatore Floccari · Lie Fu
Salvatore Floccari; Lie Fu
The cited work does not report AI involvement; this is not an assertion that no AI was used.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Floccari–Fu · Weil fourfolds and powers
Floccari–Fu · Weil fourfolds and powers
No upstream full text or code is republished by this record.
Source terms ↗