English

Cup products on curves over finite fields

Algebraic Geometry 2024-09-17 v2

Abstract

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

Keywords

Cite

@article{arxiv.2101.00329,
  title  = {Cup products on curves over finite fields},
  author = {Frauke M. Bleher and Ted Chinburg},
  journal= {arXiv preprint arXiv:2101.00329},
  year   = {2024}
}

Comments

30 pages; the paper has been rewritten to deal with the general case when the prime $\ell$ is replaced by an arbitrary positive integer $n$ that is relatively prime to the characteristic of the base field $k$ and $k$ does not necessarily contain a primitive $n$-th root of unity

R2 v1 2026-06-23T21:41:41.714Z