Parshin's conjecture
In mathematics, more specifically in algebraic geometry, Parshin's conjecture (also referred to as the Beilinson–Parshin conjecture) states that for any smooth projective variety X defined over a finite field, the higher algebraic K-groups vanish up to torsion:[1]
- [math]\displaystyle{ K_i(X) \otimes \mathbf Q = 0, \ \, i \gt 0. }[/math]
It is named after Aleksei Nikolaevich Parshin and Alexander Beilinson.
Finite fields
The conjecture holds if [math]\displaystyle{ dim\ X = 0 }[/math] by Quillen's computation of the K-groups of finite fields,[2] showing in particular that they are finite groups.
Curves
The conjecture holds if [math]\displaystyle{ dim\ X = 1 }[/math] by the proof of Corollary 3.2.3 of Harder.[3] Additionally, by Quillen's finite generation result[4] (proving the Bass conjecture for the K-groups in this case) it follows that the K-groups are finite if [math]\displaystyle{ dim\ X = 1 }[/math].
References
- ↑ Conjecture 51 in Kahn, Bruno (2005). "Algebraic K-Theory, Algebraic Cycles and Arithmetic Geometry". Handbook of K-Theory I. Springer. pp. 351–428.
- ↑ Quillen, Daniel (1972). "On the cohomology and K-theory of the general linear groups over a finite field". Ann. of Math. 96: 552–586.
- ↑ Harder, Günter (1977). "Die Kohomologie S-arithmetischer Gruppen über Funktionenkörpern". Invent. Math. 42: 135–175. doi:10.1007/bf01389786.
- ↑ Grayson, Dan (1982). "Finite generation of K-groups of a curve over a finite field (after Daniel Quillen)". Algebraic K-theory, Part I (Oberwolfach, 1980). Lecture Notes in Math.. 966. Berlin, New York: Springer. http://www.math.uiuc.edu/~dan/Papers/FiniteGeneration.pdf.
 |  |
