Strong approximation theorem for division algebras over \(\mathbb{R}(X)\) (Q1389875)

Let \(R\) be a Dedekind domain with the quotient field \(K\), \(D\) be a central simple \(K\)-algebra. The strong approximation property of \((D,R)\) means that the commutator subgroup \([D^\times,D^\times]\) of \(D^\times\) is dense in its adelization. In this paper, when \(K\) is the rational function field \(\mathbb{R}(X)\) of one variable over the reals, the following SAT is proved. SAT: \((D,R)\) has the strong approximation property if and only if \(D\otimes_KK_v\) is not a division algebra for some non-prime place \(v\) (i.e. the place \(v\) which does not come from any prime ideal of \(R\)). If \(K\) is a global field, the result SAT of the above type is well known as SAT (Strong Approximation Theorem) of Eichler. The result in this paper gives a first example of nontrivial SAT other than the global field. In \S 1, 2, the structure of the Brauer group \(Br(K)\) is described for the algebraic function field \(K=\mathbb{R}(X,y)\) of one variable. In \S 3, the strong approximation property is formulated. In \S 4, SAT is proved for \(R=\mathbb{R}[X]\), and in \S 5, the only if part of SAT for \(K=\mathbb{R}(X,y)\) and the if part of SAT for any \(R\) in \(K=\mathbb{R}(X)\) are proved.