On \(K_1\) of curves over global fields. Appendix by C. Weibel
type: Item
instance of: scholarly article
title: On \(K_1\) of curves over global fields. Appendix by C. Weibel
zbMATH Open document ID: 0708.14004
DOI: 10.1007/BF01444528
author: Wayne Raskind
published in: Mathematische Annalen
publication date: 1990-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/164730
review text: Let \(X\) be a curve over a global field \(k\). In this paper we study conjectures of Bloch and Vaserstein [\textit{L. N. Vaserstein} [in: Quadratic and Hermitian forms, Conf. Hamilton/Ont. 1983, CMS Conf. Proc. 4, 131--140 (1984; Zbl 0577.20033)] and \textit{S. Bloch} [Ann. Math. (2) 114, 229--265 (1981; Zbl 0512.14009)] on the structure of the group \(K_1(X)\). When \(X=\mathrm{Spec}(A)\) is affine (not necessarily regular) Vaserstein's conjecture says that the group \(SK_1(A)=: \operatorname{Ker}[K_1(A)\to A^*]\) is a torsion group. More concretely, this conjecture says that given a \(3\times 3\) matrix \(M\) of determinant 1 with coefficients in \(A\), some power of \(M\) is a product of elementary matrices. Bloch's conjecture predicts that if \(X\) is smooth and projective then the group \(V(X)=: \operatorname{Ker}[SK_1(X)\to k^*]\) is a torsion group. In the appendix to this paper (p. 191--193), \textit{C. Weibel} shows that the conjectures of Bloch and Vaserstein are equivalent. This is proved in the paper when \(A\) is regular. This being the case, we focus on the case of a smooth, projective, geometrically connected curve \(X\) over a global field \(k\). The main result of this paper is that when \(k\) is a number field then \(V(X)\) is an extension of a uniquely divisible group by a torsion group. The uniquely divisible part is the set of Galois invariants \(V(\bar X)^G\), where \(\bar k\) is an algebraic closure of \(k\), \(\bar X=X\times_k\bar k\) and \(G=\mathrm{Gal}(\bar k/k)\). Thus either \(V(\bar X)^G=0\) and Bloch's conjecture is true or the conjecture fails badly. The proof of the main theorem uses Saito's local class field theory of curves [\textit{S. Saito}, J. Number Theory 21, 44--80 (1985; Zbl 0599.14008)] and a theorem of Jannsen on the Galois cohomology of number fields [\textit{U. Jannsen}, in: Galois groups over \(\mathbb{Q}\), Proc. Workshop, Berkeley/CA 1987, Publ., Math. Sci. Res. Inst. 16, 315--359 (1989; Zbl 0703.14010)]. It is surpr…
reviewed by: Wayne Raskind
Mathematics Subject Classification ID: 14C35
Mathematics Subject Classification ID: 14H25
Mathematics Subject Classification ID: 14G25
Mathematics Subject Classification ID: 19E99
zbMATH DE Number: 4163042
zbMATH Keywords: curve over a global field
zbMATH Keywords: \(K_1\)
zbMATH Keywords: local class field theory of curves
zbMATH Keywords: Galois cohomology
zbMATH Keywords: surfaces over finite fields
MaRDI profile type: Publication
cites work: Q5562621
cites work: Algebraic K-theory and classfield theory for arithmetic surfaces
cites work: \(p\)-adic étale cohomology
cites work: Hilbert's theorem 90 for \(K^ 2\), with application to the Chow groups of rational surfaces
cites work: Rational equivalence on singular varieties
cites work: Application d'Abel-Jacobi p-adique et cycles algébriques. (p-adic Abel- Jacobi map and algebraic cycles)
cites work: A Hasse principle for two dimensional global fields.
cites work: Q3039534
cites work: Higher algebraic K-theory: I
cites work: Class field theory for curves over local fields
cites work: Some theorems on the k-theory of coherent sheaves
cites work: Groupes de Chow et K-théorie de variétés sur un corps fini
cites work: Q3699006
OpenAlex ID: W2067995194
Recommended article: Q4941080
Recommended article: \(K\)-theory of curves over number fields
Recommended article: A generalized Abhyankar's conjecture for simple Lie algebras in characteristic \(p>5\)
Recommended article: Q3139578
Recommended article: On the values of equivariant zeta functions of curves over finite fields
Recommended article: Class field theory for curves over local fields
Recommended article: Q3708908
Recommended article: On a local-global principle for the divisibility of a rational point by a positive integer
Recommended article: \(SK_1\) of affine curves over finite fields
Recommended article: Arithmetical birational invariants of linear algebraic groups over two-dimensional geometric fields
description: scientific article; zbMATH DE number 4163042