Explicit class field theory : one dimensional and higher dimensional

• Main Author: Yoon, Seok Ho
• Published: University of Nottingham 2018
• Subjects: QA150 Algebra
• Online Access: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.748371

This thesis investigates class field theory for one dimensional fields and higher dimensional fields. For one dimensional fields we cover the cases of local fields and global fields of positive characteristic. For higher dimensional fields we study the case of higher local fields of positive characteristic. The main content of the thesis is divided into two parts. The first part solves several problems directly related to Neukirch's axiomatic class field theory method. We first prove the famous Hilbert 90 Theorem in the case of tamely ramified extensions of local fields in an explicit way. This approach can be of use in understanding the role of the ring structure as opposed to the role of multiplication only in local class field theory. Next, we prove that for every local field, its `class field theory' is unique. Lastly, we establish the Neukirch axiom for global fields of positive characteristic, which leads to a new approach to class field theory for such fields, an approach that has not appeared in the previous literature. There are two main successful directions in higher local class field theory, one by Kato and another by Fesenko. While Kato used a technical cohomological method, Fesenko generalised the Neukirch method and gave the first proof of the existence theorem. In the second part of the thesis we deal with the third method in class field theory that works in positive characteristic only, the Kawada-Satake method. We generalise the classical Kawada-Satake method to higher local fields of positive characteristic. We correct substantial mistakes in a paper of Parshin on such class field theory. We develop the first complete presentation of the theory based on the generalised Kawada-Satake method using advanced properties of topological Milnor K-groups. These advanced properties include Fesenko's theorem about relations of topological and algebraic properties of Milnor K-groups.