The Brauer group of a curve over a strictly local discrete valuation ring (Q677459): Difference between revisions

Let \(K\) be the field of fractions of a curve over \(R\) where \(R\) is the henselization of a regular local ring on an algebraic curve over an algebraically closed field of characteristic zero. In this paper, the classification of division algebras \(D\) of finite dimension over their center \(K\) is addressed, restricting to those fields \(K\) that have the \textit{exponent = degree} property for division algebras. One says that \(K\) has the \textit{exponent = degree} property if for any central \(K\)-division algebra \(D\) the exponent of the class \([D]\) in the Brauer group \(\text{Br}(K)\) is equal to the degree \(\sqrt {(D:K)}\) of the division algebra. -- The main result of this paper is formulated as follows: Let \(k\) be an algebraically closed field of characteristic 0, and let \(X\) be an algebraic curve defined over \(k\). Let \({\mathfrak O}_{p,X}\) be the local ring at a regular point \(p\in X\) with the residue field \(k\), and let \(R= {\mathfrak O}^h_{p,X}\) be the henselization of \({\mathfrak O}_{p,X}\). Let \(C\) be an affine algebraic curve over \(R\) with a structure morphism \( \pi: C\to \text{Spec} (R)\) such that \(\pi\) is flat, of finite type and the fibers of \(\pi\) are algebraic curves, and \(C\) is connected. Then \(\pi\) has 2 fibres: the closed fiber \(\pi: C_0\to x_0\) over the closed point \(x_0\in \text{Spec} (R)\) is an algebraic curve over \(k\), and the open fiber \(\pi: C_\eta \to\eta\) over the open point \(\eta\in \text{Spec} (R)\) is an algebraic curve over the quotient field of \(R\). Assume that \(C_\eta\) is integral with \(K= K(C_\eta)\) the field of fractions. Theorem. Assume that \(K\) has the \textit{exponent = degree} property. Let \(D\) be a central finite dimensional \(K\)-division algebra with exponent\((D)=n\). Then \(D\) is a cyclic algebra of degree \(n\). The proof is along the line of the author's earlier articles [\textit{T. J. Fort}, Pac. J. Math. 147, No. 2, 301-310 (1991; Zbl 0668.16010) and \textit{T. J. Ford} and \textit{D. Saltman}, in: Ring theory 1989, Proc. Symp. Workshop, Jerusalem 1988/89, Isr. Math. Conf. Proc. 1, 320-336 (1989; Zbl 0696.16012)].