Abstract:We prove some triviality results for reduced Whitehead groups and reduced unitary Whitehead groups for division algebras over a henselian discrete valuation field whose residue field has virtual cohomological dimension or separable dimension $\le 2$. These results are applied to show strong approximation for isotropic absolutely almost simple simply connected groups of type A. In particular, such a group defined over the function field of a nonreal curve $C/k$ satisfies strong approximation if the base field $k$ is a number field, a $p$-adic field, $\mathbb{C}(\!(t)\!)$ or a two-variable function field over $\mathbb{R}$.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on two aspects:
1. **Proving the triviality of some reduced Whitehead groups and reduced unimodular Whitehead groups**: For division algebras over discrete valuation Henselian fields, the virtual or separable cohomological dimension of their residue fields is ≤2. Specifically, the authors hope to prove that under these conditions, the reduced Whitehead groups of specific types of algebraic structures (such as division algebras) are trivial. This helps to understand the internal properties of these algebraic structures and their applications in different mathematical fields.
2. **Applications of the strong approximation property**: Based on the above theoretical results, the author further explores the strong approximation property of absolutely almost simply - connected, isotropic type A groups under certain conditions. In particular, when such groups defined on non - real curve function fields satisfy specific conditions (for example, when the base field is a number field, a p - adic field, C((t)) or a bivariate function field over R), they will exhibit the strong approximation property. This provides new perspectives and tools for studying the arithmetic properties of these groups.
### Specific problem descriptions
- **Triviality of the reduced Whitehead group**: The paper proves that the reduced Whitehead groups of specific algebraic structures (such as division algebras) are trivial under certain conditions by studying them. For example, for a division algebra D over a discrete valuation Henselian field with characteristic not equal to p and rp = 1, if vcd_p(K)≤2, then SK_1(D)=1.
\[
SK_1(D)=\text{Ker}(Nrd_D: K_1(D)\to K^*)
\]
- **Strong approximation property**: The paper also studies the strong approximation property of absolutely almost simply - connected, isotropic type A groups under specific conditions. For example, for such a group G defined on a non - real curve C, if the base field k is a number field, a p - adic field, C((t)) or a bivariate function field over R, then G satisfies the strong approximation property on its function field.
\[
G = SL_n(D),\quad n\geq2
\]
These results not only deepen the understanding of relevant algebraic structures but also provide theoretical support for further studying the arithmetic properties of these groups.