Invitation to higher local fields, Part I, section 4: Cohomological symbol for henselian discrete valuation fields of mixed characteristic

2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/98995This is a sketch of main steps of the proof of Bloch--Kato's theorem which states that the norm residue homomorphism K_q(K)/m\to H^q(K,\Bbb Z/m(q)) is an isomorphism for a henselian discrete valuation field K of characteristic 0 with residue field of positive characteristic.For introduction and notation, see math.NT/0012131 . Published by Geometry and Topology Monographs at http://www.maths.warwick.ac.uk/gt/GTMon3/m3-I-4.abs.htmlNumber TheoryAlgebraic Geometry19D45, 19D99, 12G05Invitation to higher local fields, Part I, section 4: Cohomological symbol for henselian discrete valuation fields of mixed characteristictext