Codimension 2
From Mathematics
(→Elementary algebraic K-Theory: K_0 and K_1) |
(→Elementary algebraic K-Theory: K_0 and K_1) |
||
Line 123: | Line 123: | ||
* The definition of <math>K_0(R)</math> for a ring <math>R</math> and <math>K_0(X)</math> for a variety <math>X</math>. | * The definition of <math>K_0(R)</math> for a ring <math>R</math> and <math>K_0(X)</math> for a variety <math>X</math>. | ||
+ | * Chern classes are maps from <math>K_0(X)</math> | ||
+ | * Also mention that there is a map | ||
+ | <math>\{\text{codim $n$ cycles}\} \rightarow K_0(X) </math> | ||
+ | which is inverse to the <math>n</math>-th Chern class "up to smaller cycles and some rational factor". | ||
* The Whitehead Lemma, 3.1<ref name="Mil71"/> and the definition of <math>K_1(R)</math> | * The Whitehead Lemma, 3.1<ref name="Mil71"/> and the definition of <math>K_1(R)</math> | ||
* The localization exact sequence, if <math>R</math> is a Dedekind ring, <math>K</math> its quotient field: | * The localization exact sequence, if <math>R</math> is a Dedekind ring, <math>K</math> its quotient field: |