Reading source record arxiv-v1. View default cited record →
Broe · Tate for abelian fourfolds over finite fields
Source-reported manuscript at this exact revision; independent mathematical review is pending.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
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.
Passage ID: hodge-conjecture:hodge-broe-tate-fourfolds:v1
Source item: Theorem 1.1; introductory deduction of all degrees, PDF pages 1–2
Source record: arxiv-2608.28651@arxiv-v1
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
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
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.
History
A finite-field Tate theorem for abelian fourfolds
Question
Hodge conjecture
Linked manuscripts, code and data. External proof reports, statement correspondence and OpenMath execution are separate checks.
Manuscript / exposition · external
External manuscript. No OpenMath proof execution, formalization or independent mathematical acceptance is inferred.
Resource revision: arxiv-v1
Recorded authorship
Matt Broe
The cited source does not report AI involvement; no absence claim is inferred.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
Broe · Tate for abelian fourfolds over finite fields
Only metadata and original OpenMath paraphrases are published; full text stays upstream.
Source terms ↗