Topology on cohomology of local fields
Kestutis Cesnavicius

TL;DR
This paper introduces a new topology on the cohomology groups of local fields using classifying stacks, simplifying the proof of properties needed for arithmetic duality theorems in positive characteristic.
Contribution
It proposes a novel approach to topologize cohomology groups via classifying stacks, replacing ch topologies and establishing their equivalence.
Findings
Classifying stack topologies satisfy expected properties of ch topologies.
The new topology simplifies proofs of arithmetic duality theorems.
The approach confirms the compatibility of topologies for cohomology groups over local fields.
Abstract
Arithmetic duality theorems over a local field are delicate to prove if . In this case, the proofs often exploit topologies carried by the cohomology groups for commutative finite type -group schemes . These "\v{C}ech topologies", defined using \v{C}ech cohomology, are impractical due to the lack of proofs of their basic properties, such as continuity of connecting maps in long exact sequences. We propose another way to topologize : in the key case , identify with the set of isomorphism classes of objects of the groupoid of -points of the classifying stack and invoke Moret-Bailly's general method of topologizing -points of locally of finite type -algebraic stacks. Geometric arguments prove that these "classifying stack topologies" enjoy the properties expected from the \v{C}ech topologies.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic Geometry and Number Theory · Homotopy and Cohomology in Algebraic Topology · Algebraic structures and combinatorial models
