Tame division algebras of prime period over function fields of \(p\)-adic curves. (Q466078)

Let \(F\) be a field, \(F_{\mathrm{sep}}\) a separable closure of \(F\), \(n\) a positive integer not divisible by \(\mathrm{char}(F)\), \(\mu_n\) the group of \(n\)-th roots of unity in \(F_{\text{sep}}\), and \(_n\text{Br}(F)=H^2(F,\mu_n)\) the maximal subgroup of the Brauer group \(\mathrm{Br}(F)\) of period dividing \(n\). We say that \(H^2(F,\mu_n)\) is generated by cyclic \(\mathbb Z/n\) classes (i.e. \(_n\text{Br}(F)\) is generated by Brauer equivalence classes of cyclic \(F\)-algebras of degrees dividing \(n\)), if the cup product map \(H^1(F,\mu_n)\otimes H^1(F,\mathbb Z/n)\to H^2(F,\mu_n)\) is surjective. This is the case when \(\mu_n\subset F\), by the Merkurjev-Suslin theorem [see \textit{A. S. Merkur'ev} and \textit{A. A. Suslin}, Math. USSR, Izv. 21, 307-340 (1983); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 46, No. 5, 1011-1046 (1982; Zbl 0525.18008)]; the same holds in general, if \(n=3\) (Wedderburn's theorem) and in case \(n=5\) [\textit{E. Matzri}, Proc. Am. Math. Soc. 136, No. 6, 1925-1931 (2008; Zbl 1145.16008)]. Henceforth, we assume that \(F\) is a finitely-generated extension of transcendence degree one over the field \(\mathbb Q_p\) of \(p\)-adic numbers, and \(l\) is a fixed prime number different from \(p\). Let \(\Delta\) be a central division \(F\)-algebra of exponent \(l\). As shown by \textit{D. J. Saltman}, then the Schur index \(\mathrm{ind}(\Delta)\) divides \(l^2\), and in case \(\mathrm{ind}(\Delta)=l\), \(\Delta\) is a cyclic \(F\)-algebra [see J. Ramanujan Math. Soc. 12, No. 1, 25-47 (1997; Zbl 0902.16021), and J. Algebra 314, No. 2, 817-843 (2007; Zbl 1129.16014), respectively]. The paper under review shows that if \(\mathrm{ind}(\Delta)=l^2\), then \(\Delta\) decomposes into a tensor product of cyclic \(F\)-algebras of index \(l\). When \(F\) contains a primitive \(l\)-th root of unity, the same result has earlier been obtained by \textit{V. Suresh} [Comment. Math. Helv. 85, No. 2, 337-346 (2010; Zbl 1247.12010)].