2014/05/08 by Kęstutis Česnavičius, Cesnavicius, Kestutis · 2 citations
Mathematics · #14A20 #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Number Theory (math.NT) #Primary 11S99 #Secondary 11S25
paper · pdf · doi:10.48550/arxiv.1405.2009
openalex publication_date 2014/05/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Arithmetic duality theorems over a local field k are delicate to prove if char k > 0. In this case, the proofs often exploit topologies carried by the cohomology groups Hn(k, G) for commutative finite type k-group schemes G. These "Čech topologies", defined using Č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 Hn(k, G): in the key case n = 1, identify H1(k, G) with the set of isomorphism classes of objects of the groupoid of k-points of the classifying stack B G and invoke Moret-Bailly's general method of topologizing k-points of locally of finite type k-algebraic stacks. Geometric arguments prove that these "classifying stack topologies" enjoy the properties expected from the Čech topologies. With this as the key input, we prove that the Čech and the classifying stack topologies actually agree. The expected properties of the Čech topologies follow, which streamlines a number of arithmetic duality proofs given elsewhere.