In alg geom, have VBs and cycles. This leads to K-theory and motivic cohomology, resp. They are related via the Chern character and Atiyah-Hirzebruch type spectral seqs.
It is often easier and more powerful to work with VBs. E.g. Quillen’s localisation thm is much easier to prove than the localisation thm for higher Chow groups. In short, no moving lemmas needed for VBs. VBs can often be classified by moduli spaces, which underlies finiteness thms like Tate’s thm or the Mordell conjecture, or Quillen’s fin gen proof for K-groups of curves over a finite field. They also have better functoriality than cycles, which has been used for example by Saito to establish functoriality properties for the weight spectra sequences for smooth projective varieties over .
On the other hand, it is “fundamental” to work with mot cohomology. Since there is an spectral sequence from MC to KT (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory) (K-theory), the MC groups contains finer torsion information than K-groups. They also appear naturally as Hom groups in triangulated cats of motives, and they appear naturally, rather than K-groups, in the conjectures of Lichtenbaum on special values of zeta functions.
Some highlights of the chapter: Conjectures of Soulé and Lichtenbaum on on the order of zeroes and special values of zeta functions of schemes of finite type over , and an approach to prove them in characteristic (we don’t touch the much more delicate Beilinson conjectures and their refinements).
Discussion of references.
Note: It is perhaps surprising that the Bloch-Kato conjecture and the Beilinson-Lichtenbaum conjecture seem irrelevant for the conjectures on special values of zeta functions after all.
Outline of singular cohomology and complex K-theory, and how these are related via the Chern character and the Atiyah-H. spectral seq. Also Adams operation, and degeneration of AH after tensoring with rationals.
Some details: Complex K-theory groups may be defined as if is even, and if is odd. If is compact, stably classifies complex VBs on .
We have the AH spectral sequence
where if is even and zero otherwise.
The Chern character has the form
and
These are isomorphisms for finite-dimensional, and can be used to prove that AH above degenerates after tensoring with .
Another proof of this uses the Adams operations . One shows that acts on the spectral sequence and induces multiplication by on . Hence all differentials in AH are torsion, with explicit upper bounds; this yields in particular the formula
up to groups of finite exponent. Here the LHS stands for the common eigenspace of weight for all the Adams operations.
Can prove finite generation of singular cohomology of a finite CW complex, for example by induction on the number fo cells. Finite generation of cohomology implies finite generation of K-theory by AH. Conversely, if we know finite gen of K-theory for a space, we can show that integral cohomology is f.g. up to some small torsion. We do not get finite generation on the nose though, unless has small cohomological dimension.
Quillens def: Let be a noetherian scheme. Consider the abelian cat of coherent sheaves, and the full exact subcat of locally free sheaves. Then
and
where is the classifying space, or nerve, and is Quillen’s Q-construction on an exact cat. There is always a map which is an isomorphism when is regular (Poincaré duality (?)).
Later work of Waldhausen and Thomason-Trobaugh. The latter slightly modifies Quillen’s def as to obtain functoriality missing in Quillen’s def. There is always a map
and this is an iso as soon as has an ample family of VBs, for example if is quasi-projective over an affine base, or is regular.
Milnor introduced Milnor K-theory of a field (details omitted). Because algebraic K-theory has a product structure, there are natural homomorphisms
which are IMs for but not otherwise. Surprisingly, Milnor K-groups are not ad hoc.
Conjecture 1 (Quillen conjecture): Let be a finitely generated regular -algebra of Krull dimension and a prime number. Then there exists a spectral sequence with
for , and zero for odd, and whose abutment is isomorphic to , at least for .
In this conjecture, étale cohomology groups may be defined as inverse limits of étale cohomology groups with finite coeffs; they coincide with the continuous étale cohomology groups of Dwyer-Friedlander and Jannsen, by Deligne’s Theoreme de finitude. Note: When is the ROI in a number field, such a spectral sequence must degenerate for cohomological dimension reasons when is odd or is totally imaginary.
There is a complementary conjecture of Lichtenbaum (Conjecture 46 below) relating algebraic K-theory and the Dedekind zeta function when is the ROI of a number field. These two conjectures has inspired lots of work over the past decades. Here is a brief historical survey:
Refs also to Geisser, Levine and Grayson in same volume.
2 nice pages: incorporate.
Incorporate, including Conjecture 4.
Incorporate under motivic cohomology.
Incorporate: Pure motives, mixed motives, and some other cats of motives (Hodge cycles etc).
Some stable homotopy theory of schemes and functors to other cats.
Incorporate under étale motivic cohomology.
Incorporate this section and next under motivic cohomology and Milnor K-theory.
A uniqueness thm for motivic cohomology; see also footnote.
Create new CT for this.
Incorporate under algebraic K-theory. Also some stuff for and .
Things for motivic cohomology:
For regular (perhaps a -scheme, the map is injective for , and even an iso for , so the first group is finite by Thm de finitude and arithmetic finiteness theorems.
Open question 35: Let be regular of finite type over . Is finite for all ?
Remark: This is false over by an example of Schoen of the form . Kahn now tends to doubt whether it is true even over .
Bass conjecture for K-theory and motivic cohomology. Some stuff on motivic cohomology (incorporate).
Many pages on zeta functions of arithmetic schemes (not touching L-functions of var’s over number fields): incorporate!
Then from page 396, the main theme is the Tate-Beilinson conjecture. Possible page for this: Algebraic cycles, algebraic K-theory, motivic cohomology, Milnor K-theory, Lichtenbaum cohomology, étale motivic cohomology, Voevodsky motives (related to pure numerical motives), Chow groups.
From page 404, some pages on Lichtenbaum cohomology.
More on motivic cohomology (finiteness conjectures).
Results for motivic cohomology, formulated in terms of: Pure rational motives, Kimura finite-dimensional motives.
Lictenbaum cohomology, motivic cohomology, Lichtenbaum K-theory.
Thm: Let be smooth projective of dimension over . Then the map is bijective. (I think this is étale motivic cohomology).
Some stuff on the char zero case: much more complicated. Mention of Lichtenbaum’s theory, which will be for Arakelov varieties. Come back to this section for the Arakelov project.
References: Go through!
nLab page on 6 Memo notes Kahn