Cup products on curves over finite fields

Abstract

Suppose $k$ is a finite field, that $C$ is a smooth projective geometrically irreducible curve over $k$, and that $n$ is a positive integer not divisible by the characteristic of $k$. In this paper we compute cup products of elements of the étale cohomology groups $\mathrm{H}^1(C,\mathbb{Z}/n)$ and $\mathrm{H}^1(C,μ_n)$. Over the algebraic closure $\overline{k}$ of $k$, such cup products are connected to values of the Weil pairing on the $n$-torsion of the Jacobian of $\overline{C} = \overline{k} \otimes_k C$ by using a fixed isomorphism between $\mathbb{Z}/n$ and $μ_n$ over $\overline{C}$. Over $k$, such cup products are more subtle due to the fact that they take values in the group $\mathrm{H}^2(C,μ_n)=\mathrm{Pic}(C)/n\cdot \mathrm{Pic}(C)$ rather than in the group $\mathrm{H}^2(\overline{C},μ_n) = \mathbb{Z}/n$.

Theorems & Definitions (56)

• Theorem 1.1
• Theorem 1.3
• Theorem 1.4
• Lemma 2.1
• Lemma 2.2
• Lemma 2.3
• proof
• Lemma 2.4
• proof
• Definition 3.1