Table of Contents
Fetching ...

On the Beilinson-Bloch conjecture over function fields

Matt Broe

TL;DR

The paper extends the Beilinson–Bloch conjecture to global function fields, providing a practical criterion (via the Leray filtration and Frobenius weight arguments) to verify the conjecture in codimension $i$ for a fibration $X\to Y$ whose generic fiber satisfies suitable conditions. It then applies these methods to powers of CM elliptic curves, establishing the Tate conjecture for $E^g\times C$ over finitely generated fields and deriving Beilinson–Bloch conclusions for such products over function fields. The work also develops a detailed CM-endomorphism decomposition of the motive of $E^g$, proves a strong form of Tate for these motives, and computes transcendental motives for $E^2$ and $E^3$, relating Chow groups to Griffiths groups and algebraic equivalence in this CM setting. Overall, the results yield new cases of Beilinson–Bloch over function fields, illuminate the motive-theoretic structure of powers of CM elliptic curves, and address questions about Chow groups in positive characteristic.

Abstract

Let $k$ be a field and $X$ a smooth projective variety over $k$. When $k$ is a number field, the Beilinson-Bloch conjecture relates the ranks of the Chow groups of $X$ to the order of vanishing of certain $L$-functions. We consider the same conjecture when $k$ is a global function field, and give a criterion for the conjecture to hold for $X$, extending an earlier result of Jannsen. As an application, we provide a new proof of a theorem of Geisser connecting the Tate conjecture over finite fields and the Birch and Swinnerton-Dyer conjecture over function fields. We then prove the Tate conjecture for a product of a smooth projective curve with a power of a CM elliptic curve over any finitely generated field, and thus deduce special cases of the Beilinson--Bloch conjecture. In the process we obtain a conditional answer to a question of Moonen on the Chow groups of powers of ordinary CM elliptic curves over arbitrary fields.

On the Beilinson-Bloch conjecture over function fields

TL;DR

The paper extends the Beilinson–Bloch conjecture to global function fields, providing a practical criterion (via the Leray filtration and Frobenius weight arguments) to verify the conjecture in codimension for a fibration whose generic fiber satisfies suitable conditions. It then applies these methods to powers of CM elliptic curves, establishing the Tate conjecture for over finitely generated fields and deriving Beilinson–Bloch conclusions for such products over function fields. The work also develops a detailed CM-endomorphism decomposition of the motive of , proves a strong form of Tate for these motives, and computes transcendental motives for and , relating Chow groups to Griffiths groups and algebraic equivalence in this CM setting. Overall, the results yield new cases of Beilinson–Bloch over function fields, illuminate the motive-theoretic structure of powers of CM elliptic curves, and address questions about Chow groups in positive characteristic.

Abstract

Let be a field and a smooth projective variety over . When is a number field, the Beilinson-Bloch conjecture relates the ranks of the Chow groups of to the order of vanishing of certain -functions. We consider the same conjecture when is a global function field, and give a criterion for the conjecture to hold for , extending an earlier result of Jannsen. As an application, we provide a new proof of a theorem of Geisser connecting the Tate conjecture over finite fields and the Birch and Swinnerton-Dyer conjecture over function fields. We then prove the Tate conjecture for a product of a smooth projective curve with a power of a CM elliptic curve over any finitely generated field, and thus deduce special cases of the Beilinson--Bloch conjecture. In the process we obtain a conditional answer to a question of Moonen on the Chow groups of powers of ordinary CM elliptic curves over arbitrary fields.
Paper Structure (20 sections, 57 theorems, 104 equations)

This paper contains 20 sections, 57 theorems, 104 equations.

Key Result

Theorem 1.1

Let $f: X \to C$ be a flat, finite-type, separated morphism, with generic fiber $X_K$. If there exists a dense affine open subscheme $U \subset C$ such that then the Beilinson--Bloch conjecture holds in codimension $i$ for $X_K$.

Theorems & Definitions (116)

  • Theorem 1.1: Corollary \ref{['corBBCriterion']}
  • Remark 1.2
  • Theorem 1.3: Theorem \ref{['thmATGeneralization']}
  • Theorem 1.4: Corollary \ref{['corTateForEg']}
  • Theorem 1.5: Theorem \ref{['thmChVanishOverFuncField']}
  • Remark 1.6
  • Lemma 2.1
  • Lemma 2.2
  • proof
  • Lemma 2.3
  • ...and 106 more