Tame division algebras of prime period over function fields of $p$-adic curves

TL;DR

None

Contribution

None

Abstract

Let F be a field of transcendence degree one over a p-adic field, and let l be a prime not equal to p. Results of Merkurjev and Saltman show that H^2(F,\mu_l) is generated by Z/l-cyclic classes. We prove the "Z/l-length" in H^2(F,\mu_l) equals the l-Brauer dimension, which Saltman showed to be two. It follows that all F-division algebras of period l are crossed products, either cyclic (by Saltman's cyclicity result) or tensor products of two cyclic division algebras. Our result was originally proved by Suresh assuming F contains \mu_l.