Table of Contents
Fetching ...

Brauer and Neron-Severi groups of surfaces over finite fields

Thomas H. Geisser

Abstract

We give a version of the Artin-Tate formula for surfaces over finite fields not assuming Tate's conjecture. It gives an equality between terms related to the Brauer group on the one hand and terms related to the Neron-Severi group on the other hand. We give estimates on the terms appearing in the formula and use this to gives sharp estimates on the size of the Brauer group of abelian surfaces depending on the p-rank.

Brauer and Neron-Severi groups of surfaces over finite fields

Abstract

We give a version of the Artin-Tate formula for surfaces over finite fields not assuming Tate's conjecture. It gives an equality between terms related to the Brauer group on the one hand and terms related to the Neron-Severi group on the other hand. We give estimates on the terms appearing in the formula and use this to gives sharp estimates on the size of the Brauer group of abelian surfaces depending on the p-rank.
Paper Structure (13 sections, 26 theorems, 80 equations)

This paper contains 13 sections, 26 theorems, 80 equations.

Key Result

Theorem 1.1

The map $\beta_X$ has finite kernel and cokernel, and $\omega_X\in {\mathbb N}$. We have

Theorems & Definitions (34)

  • Theorem 1.1: \ref{['mainth']}
  • Corollary 1.2: \ref{['maincor']}
  • Proposition 1.3: \ref{['omegaX']}
  • Theorem 1.4: \ref{['mainbr']}
  • Proposition 1.5: \ref{['g=2']}
  • Proposition 1.6: \ref{['c2']}
  • Proposition 1.7: \ref{['ss']}, \ref{['largest']}, \ref{['largest2']}
  • Proposition 1.8: \ref{['ssp']}
  • Lemma 2.1
  • Theorem 2.2
  • ...and 24 more