Toward a generalization of strong approximation theorems to a general PF field. (Q1411706)

Let \(R\) be a Dedekind domain with fraction field \(K\), \(D\) a central division \(K\)-algebra of finite dimension, \(\Gamma \) a full \(R\)-order of \(D\), \(S(R)\) the set of nonzero prime ideals of \(R\), and for each \(p \in S(R)\), let \(K _ p\) be the completion of \(K\) with respect to any valuation on \(K\) associated with \(p\), \(R _ p\) the closure of \(R\) in \(K _ p\), \(D _ p = D \otimes _ K K _ p\), and \(\Gamma _ p = \Gamma \otimes _ R R _ p\). By definition, the adele ring \(K _ A\) is the restricted topological product of the fields \(K _ p\): \(p \in S(R)\), with respect to the rings \(R _ p\): \(p \in S(R)\), and the adele ring \(D _ A\) is such a product of the simple \(K _ p\)-algebras \(D _ p\): \(p \in S(R)\), with respect to \(\Gamma _ p\): \(p \in S(R)\). As abstract groups, the idele groups \(K _ A ^ {\ast }\) and \(D _ A ^ {\ast }\) equal the multiplicative groups of \(K _ A\) and \(D _ A\), respectively. Note that \(K _ A\), \(D _ A\), \(K _ A ^ {\ast }\) and \(D _ A ^ {\ast }\) are provided in a natural manner with weak and strong topologies. Throughout the paper under review, \(K\) is assumed to be a PF field, i.e. to admit a product formula. It is known that this occurs if and only if \(K\) is an algebraic number field or an algebraic function field in one variable over some coefficient field [see \textit{E. Artin}, Algebraic numbers and algebraic functions. I. (New York: Princeton University, New York University) (1951; Zbl 0054.02101)]. The paper deals with the problem of whether Eichler's strong approximation theorem [see \textit{M. Eichler}, J. Reine Angew. Math. 179, 227--251 (1938; Zbl 0020.00202)] can be generalized for the commutator subgroup \([D ^{\ast }, D ^{\ast }]\) of \(D ^{\ast }\). The theorem gives, for an algebraic number field \(K\), a necessary and sufficient condition that the kernel SL\(_ 1 (D)\) of the reduced norm mapping of \(D ^ {\ast }\) into \(K ^ {\ast }\), embedded diagonally in the adelic group SL\(_ 1 (D _ A)\), is dense with respect to the strong topology in SL\(_ 1 (D _ A)\). The paper shows that this is no longer true in the function field case and provides an argument supporting the plausibility of the modified problem for \([D ^ {\ast }, D ^ {\ast }]\). Also, it proves the equivalence of four approximation properties related to the problem.