English

Bounding cohomology classes over semiglobal fields

Number Theory 2023-06-21 v3 Algebraic Geometry Rings and Algebras

Abstract

We provide a uniform bound for the index of cohomology classes in Hi(F,μi1)H^i(F, \mu_\ell^{\otimes i-1}) when FF is a semiglobal field (i.e., a one-variable function field over a complete discretely valued field KK). The bound is given in terms of the analogous data for the residue field of KK and its finitely generated extensions of transcendence degree at most one. We also obtain analogous bounds for collections of cohomology classes. Our results provide recursive formulas for function fields over higher rank complete discretely valued fields, and explicit bounds in some cases when the information on the residue field is known. In the process, we prove a splitting result for cohomology classes of degree 3 in the context of surfaces over finite fields.

Keywords

Cite

@article{arxiv.2203.06770,
  title  = {Bounding cohomology classes over semiglobal fields},
  author = {David Harbater and Julia Hartmann and Daniel Krashen},
  journal= {arXiv preprint arXiv:2203.06770},
  year   = {2023}
}

Comments

23 pages. Lemmas 3.1 and 3.3 have been generalized. Lemma 4.2 has been dropped. Section 7 has been reorganized. Sections 7 and 8 now focus on the function field case, and consider the number field case only for the prime 2

R2 v1 2026-06-24T10:11:42.658Z