Lemma 45.14.1. Assume given (D0), (D1), and (D2') satisfying axioms (A1), (A2), (A3), and (A4). There is a unique rule which assigns to every smooth projective $X$ over $k$ a ring homomorphism

compatible with pullbacks such that $ch^ H(\mathcal{L}) = \exp (c_1^ H(\mathcal{L}))$ for any invertible $\mathcal{O}_ X$-module $\mathcal{L}$.

## Comments (0)