Parshin's conjecture
Appearance
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]
It is named after Aleksei Nikolaevich Parshin and Alexander Beilinson.
Finite fields
[edit]The conjecture holds if by Quillen's computation of the K-groups of finite fields,[2] showing in particular that they are finite groups.
Curves
[edit]The conjecture holds if 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 .
References
[edit]- ^ Conjecture 51 in Kahn, Bruno (2005). "Algebraic K-Theory, Algebraic Cycles and Arithmetic Geometry". In Friedlander, Eric; Grayson, Daniel (eds.). 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) (PDF). Lecture Notes in Math. Vol. 966. Berlin, New York: Springer.