Indecomposable and noncrossed product division algebras over function fields of smooth p-adic curves.

DOI10.1016/J.AIM.2010.12.005MaRDI QIDQ631812zbMATH OpenOpenAlexFDO

Authors Eric Brussel, Kelly McKinnie, E. Tengan

Publication date 14 March 2011

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0907.0670

Brauer groups exponents function fields of smooth curves indecomposable division algebras indices non-crossed product central division algebras noncrossed products periods ramification tensor products of central algebras

Mathematics Subject Classification ID

Skew fields, division rings (12E15) Algebraic functions and function fields in algebraic geometry (14H05) Finite-dimensional division rings (16K20) Brauer groups (algebraic aspects) (16K50)

Abstract: We construct indecomposable and noncrossed product division algebras over function fields of smooth curves X over Z_p. This is done by defining an index preserving morphism s:Br(hat K(X))' -> Br(K(X))' which splits res:Br(K(X)) -> Br(hat K(X)), where hat K(X) is the completion of K(X) at the special fiber, and using it to lift indecomposable and noncrossed product division algebras over hat K(X).

Review text

A division algebra is decomposable if it is the tensor product of central subalgebras, and a crossed product if it has a maximal subfield Galois over the center. This paper presents a new construction of indecomposable and noncrossed product algebras over function fields of smooth curves defined over \(\mathbb Z_p\), thereby generalizing previous constructions over \(\mathbb Q_p(t)\). Let \(K\) be a local field which is the field of fractions of a complete discrete valuation ring \(R\), and let \(p\) be the characteristic of the residue field. Let \(X\) be a smooth integral curve over \(R\). Let \(K(X)\) denote the function field, and \(\widehat{K(X)}\) its completion in the special fiber \(X_0\). Thus, in characteristic zero, \(K(X)\) is a finite extension of \(\mathbb Q_p(t)\) (but not all finite extensions are obtained in this manner). The key ingredient in the construction is an index preserving map \(s\colon\text{Br}(\widehat{K(X)})'\to\text{Br}(K(X))'\) which splits the restriction map (the prime denotes the prime-to-\(p\) part of the groups). Such a map enables one to transfer division algebras over \(\widehat{K(X)}\) to division algebras over \(K(X)\). This is a special case of a more general setup. Namely, the authors construct a map \(s\colon H^a(\widehat{K(X)},\mu_n^{\otimes r})\to H^a(K(X),\mu_n^{\otimes r})\), for arbitrary \(a\geq 0\) and \(r\), which splits the restriction. Let \(A=\mathcal O_{X,\eta_0}\), where \(\eta_0\) is the generic point of \(X_0\); and let \(\widehat A\) be the completion of \(A\). Then \(s\) is defined by taking tame lifts, from \(\widehat A\) to \(K(X)\), of the components of elements in the left-hand side resulting from decomposition via Witt's exact sequence. The main results are as follows. Let \(q\neq p\) be a prime; then there are indecomposable division algebras over \(K(X)\) with index \(q^i\) and period \(q^e\), for every \(1<e\leq i\leq 2e-1\). This should be contrasted with the recent proof of Saltman, Suresh and Brussel-Tengan that all division algebras of index \(q^2\) and exponent \(q\) are decomposable, over any finite \(L/\mathbb Q_p(t)\). Furthermore, there are noncrossed products over \(K(X)\) with the same index and period as the noncrossed products (essentially) constructed by \textit{E. Brussel} over \(\widehat{K(X)}\) [Am. J. Math. 117, No. 2, 377-393 (1995; Zbl 0822.16013)]. As in Amitsur's original construction of noncrossed products, the periods are \(q^2\) for \(q\) odd, and \(8\); but here the index may be larger than the period.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Indecomposable and noncrossed product division algebras over function fields of smooth \(p\)-adic curves.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q631812)