{"schema_version":"source-reader-v1","record":{"source_id":"arxiv-2608.28651","versions":[{"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}],"entries":[{"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}],"problems":[{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15}],"selected_version_id":"arxiv-2608.28651@arxiv-v1","available_versions":[{"id":"arxiv-2608.28651@arxiv-v1","revision":"arxiv-v1","observed_on":"2026-10-10","title":"Broe · Tate for abelian fourfolds over finite fields","publication":"preprint","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-96d28ee1b8fa5d806aa8","entry_id":"hodge-conjecture:hodge-broe-tate-fourfolds:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"assessment","title":"Exact scoped statement in cited source","claim":{"id":"claim-hodge-broe-tate-fourfolds","version":2,"slug":"hodge-broe-tate-fourfolds","title":"Tate is proved for abelian fourfolds over finite fields"},"fragment":"claim-hodge-broe-tate-fourfolds","assessment":{"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},"superseded":false,"formalization":null,"update":null},{"id":"source-use-4ac0c42433eaf49e1743","entry_id":"hodge-conjecture:hodge-broe-tate-fourfolds:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"connection","title":"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.","claim":null,"fragment":"connections","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-f32359951d0b948c837d","entry_id":"hodge-conjecture:hodge-broe-tate-fourfolds:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"milestone","title":"A finite-field Tate theorem for abelian fourfolds","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-2314d909116b2952dab6","entry_id":"hodge-conjecture:hodge-broe-tate-fourfolds:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"question","title":"Hodge conjecture","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-878e28c7f906a8f08229","entry_id":"hodge-conjecture:hodge-broe-tate-fourfolds:v1","problem":{"slug":"hodge-conjecture","title":"Hodge conjecture","publication_version":15},"kind":"statement","title":"Tate is proved for abelian fourfolds over finite fields","claim":{"id":"claim-hodge-broe-tate-fourfolds","version":2,"slug":"hodge-broe-tate-fourfolds","title":"Tate is proved for abelian fourfolds over finite fields"},"fragment":"claim-hodge-broe-tate-fourfolds","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}