Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
This work synthesizes higher-dimensional local class field theory for smooth projective schemes over local fields, bridging classical 1D abelian ramification with higher-dimensional geometric settings. The authors supply a simplified, direct proof of the $\ell$-part of the reciprocity map (bypassing technical bottlenecks in Jannsen–Saito and Forré) and formulate a concrete conjecture to resolve the remaining open cases with $p$-coefficients. Resolving these $p$-torsion obstacles provides the missing structural link needed to fully determine the abelianized Galois groups of arithmetic schemes over local fields.
Decades of technical overhead in higher-dimensional class field theory are stripped away with a simplified proof of the $\ell$-part, establishing a clear conjectural roadmap to finally crack the elusive $p$-coefficient case.
In this largely expository article we give an introduction to higher dimensional local class field theory, more precisely class field theory for smooth projective schemes over local fields. We begin with a quick summary of some of the main results of classical local class field theory. Then we explain the main definitions and statements in the higher dimensional setting. We give a new and simple proof of the $\ell$-part, which is originally due to Jannsen--Saito and Forré. Inspired by this proof, we propose a conjecture which would imply the remaining open cases with $p$-coefficients and which improves our understanding of the $p$-part. A particular goal of the exposition is to outline analogies between the classical and the higher dimensional theory and on how the unit filtration and ramification, i.e. the $p$- and the $\ell$-part, can be interpreted in the higher dimensional setting.