Cyclic Length in the Tame Brauer Group of the Function Field of a p-Adic Curve (1307.3345v1)

Abstract: Let $F$ be the function field of a smooth curve over the $p$-adic number field $\Q_p$. We show that for each prime-to-$p$ number $n$ the $n$-torsion subgroup $\H^2(F,\mu_n)={}_n\Br(F)$ is generated by $\Z/n$-cyclic classes; in fact the $\Z/n$-length is equal to two. It follows that the Brauer dimension of $F$ is two (first proved in \cite{Sa97}), and any $F$-division algebra of period $n$ and index $n^2$ is decomposable.