The Brauer group of a curve over a strictly local discrete valuation ring

DOI10.1007/BF02785542MaRDI QIDQ677459zbMATH OpenFDO

Authors Timothy J. Ford

Publication date 2 November 1997

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF02785542

zbMATH Keywords

Brauer group of a curve henselization of a regular local ring

Mathematics Subject Classification ID

Brauer groups of schemes (14F22) Curves in algebraic geometry (14H99) Finite-dimensional division rings (16K20)

Review text

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)].

Recommendations

Cites work

Cited in

(9)

This page was built for publication: The Brauer group of a curve over a strictly local discrete valuation ring

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