Jump to content

Parshin's conjecture

From Wikipedia, the free encyclopedia

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]

  1. ^ 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.
  2. ^ Quillen, Daniel (1972). "On the cohomology and K-theory of the general linear groups over a finite field". Ann. of Math. 96: 552–586.
  3. ^ Harder, Günter (1977). "Die Kohomologie S-arithmetischer Gruppen über Funktionenkörpern". Invent. Math. 42: 135–175. doi:10.1007/bf01389786.
  4. ^ 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.