Inom algebraisk K-teori, en del av matematiken, är Blochs formel, introducerad av Spencer Bloch för , en formel som säger att Chowgruppen av en slät varietet X över en kropp är isomorfisk till kohomologin av X med koefficienter i K-teorin av strukturkärven ; i andra ord,
där högra membrum är kärvekohomologin; är kärven associerad till prekärven där U är Zariski-öppna delmängder av X. Det allmänna fallet bevisades av Quillen.[1] För q = 1 följer .
Fallet med blandad karakteristik är fortfarande olöst.
Källor
- Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Bloch's formula, 26 oktober 2014.
- ^ For a sketch of the proof, besides the original paper, see http://www-bcf.usc.edu/~ericmf/lectures/zurich/zlec5.pdf Arkiverad 15 december 2013 hämtat från the Wayback Machine.
- Daniel Quillen: Higher algebraic K-theory: I. In: H. Bass (ed.): Higher K-Theories. Lecture Notes in Mathematics, vol. 341. Springer-Verlag, Berlin 1973. ISBN 3-540-06434-6