Skip to main content Accessibility help
×
×
Home

TOPOLOGY ON COHOMOLOGY OF LOCAL FIELDS

  • KĘSTUTIS ČESNAVIČIUS (a1)

Abstract

Arithmetic duality theorems over a local field $k$ are delicate to prove if $\text{char}\,k>0$ . In this case, the proofs often exploit topologies carried by the cohomology groups $H^{n}(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 $H^{n}(k,G)$ : in the key case when $n=1$ , identify $H^{1}(k,G)$ with the set of isomorphism classes of objects of the groupoid of $k$ -points of the classifying stack $\mathbf{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, and these properties streamline a number of arithmetic duality proofs given elsewhere.

    • Send article to Kindle

      To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

      Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

      Find out more about the Kindle Personal Document Service.

      TOPOLOGY ON COHOMOLOGY OF LOCAL FIELDS
      Available formats
      ×

      Send article to Dropbox

      To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

      TOPOLOGY ON COHOMOLOGY OF LOCAL FIELDS
      Available formats
      ×

      Send article to Google Drive

      To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

      TOPOLOGY ON COHOMOLOGY OF LOCAL FIELDS
      Available formats
      ×

Copyright

This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.

References

Hide All
[Art69]Artin, M., ‘Algebraization of formal moduli. I’, inGlobal Analysis (Papers in Honor of K. Kodaira) (University of Tokyo Press, Tokyo, 1969), 21–71; MR 0260746 (41 #5369).
[BLR90]Bosch, S., Lütkebohmert, W. and Raynaud, M., Néron Models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 21 (Springer, Berlin, 1990); MR 1045822 (91i:14034).
[BouA]Bourbaki, N., Éléments de mathématique. Algèbre (chap. I-III, Hermann (1970); chap. IV-VII, Masson (1981); chap. VIII-X, Springer (2007, 2012) (in French)).
[BT14]Bǎć, D. P. and Thǎńg, N. Q., ‘On the topology on group cohomology of algebraic groups over complete valued fields’, J. Algebra 399 (2014), 561580; doi:10.1016/j.jalgebra.2013.08.041; MR 3144603.
[CGP10]Conrad, B., Gabber, O. and Prasad, G., Pseudo-Reductive Groups, New Mathematical Monographs, 17 (Cambridge University Press, Cambridge, 2010); MR 2723571 (2011k:20093).
[CLO12]Conrad, B., Lieblich, M. and Olsson, M., ‘Nagata compactification for algebraic spaces’, J. Inst. Math. Jussieu 11(4) (2012), 747814; doi:10.1017/S1474748011000223; MR 2979821.
[Con07a]Conrad, B., ‘Arithmetic moduli of generalized elliptic curves’, J. Inst. Math. Jussieu 6(2) (2007), 209278; doi:10.1017/S1474748006000089; MR 2311664 (2008e:11073).
[Con07b]Conrad, B., ‘Deligne’s notes on Nagata compactifications’, J. Ramanujan Math. Soc. 22(3) (2007), 205257; MR 2356346 (2009d:14002).
[Con12]Conrad, B., ‘Weil and Grothendieck approaches to adelic points’, Enseign. Math. (2) 58(1–2) (2012), 6197; MR 2985010.
[EGA II]Grothendieck, A. and Dieudonné, J., ‘Éléments de géométrie algébrique. II. Étude globale élémentaire de quelques classes de morphismes’, Publ. Math. Inst. Hautes Études Sci. (8) (1961), 222 (in French); MR 0163909 (29 #1208).
[EGA IV1]Grothendieck, A. and Dieudonné, J., ‘Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. I’, Publ. Math. Inst. Hautes Études Sci. (20) (1964), 259 (in French); MR 0173675 (30 #3885).
[EGA IV2]Grothendieck, A. and Dieudonné, J., ‘Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. II’, Publ. Math. Inst. Hautes Études Sci. (24) (1965), 231 (in French); MR 0199181 (33 #7330).
[EGA IV3]Grothendieck, A. and Dieudonné, J., ‘Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. III’, Publ. Math. Inst. Hautes Études Sci. (28) (1966), 255; MR 0217086 (36 #178).
[EGA IV4]Grothendieck, A. and Dieudonné, J., ‘Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas IV’, Publ. Math. Inst. Hautes Études Sci. (32) (1967), 361 (in French); MR 0238860 (39 #220).
[FC90]Faltings, G. and Chai, C.-L., Degeneration of Abelian Varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 22 (Springer, Berlin, 1990). With an appendix by David Mumford; MR 1083353 (92d:14036).
[Gir71]Giraud, J., Cohomologie non abélienne, Die Grundlehren der mathematischen Wissenschaften, Band 179 (Springer, Berlin, 1971) (in French);MR 0344253 (49 #8992).
[GGMB14]Gabber, O., Gille, P. and Moret-Bailly, L., ‘Fibrés principaux sur les corps valués henséliens’, Algebr. Geom. 1(5) (2014), 573612 (French, with English and French summaries); MR 3296806.
[Gro59]Grothendieck, A., Technique de descente et théorèmes d’existence en géometrie algébrique. I. Généralités. Descente par morphismes fidèlement plats, Séminaire Bourbaki, Exp. No. 190, Vol. 5 (Société Mathématique de France, Paris, 1995), 299327. (in French); MR 1603475.
[Gro68]Grothendieck, A., ‘Le groupe de Brauer. III. Exemples et compléments’, inDix Exposés sur la Cohomologie des Schémas (North-Holland, Amsterdam, 1968), 88–188 (in French); MR 0244271 (39 #5586c).
[IZ15]Illusie, L. and Zheng, W., ‘Quotient stacks and equivariant étale cohomology algebras: Quillen’s theory revisited’, J. Algebraic Geom. to appear, (2015), available at arXiv:abs/1305.0365.
[Knu71]Knutson, D., Algebraic Spaces, Lecture Notes in Mathematics, 203 (Springer, Berlin, 1971); MR 0302647 (46 #1791).
[LMB00]Laumon, G. and Moret-Bailly, L., Champs Algébriques, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], 39 (Springer, Berlin, 2000) (in French);MR 1771927 (2001f:14006).
[MB01]Moret-Bailly, L., ‘Problèmes de Skolem sur les champs algébriques’, Compositio Math. 125(1) (2001), 130 (French, with English summary); MR 1818054 (2002c:11067); doi:10.1023/A:1002686625404.
[MB12]Moret-Bailly, L., ‘Un théorème de l’application ouverte sur les corps valués algébriquement clos’, Math. Scand. 111(2) (2012), 161168 (French, with English and French summaries); MR 3023520.
[Mil06]Milne, J. S., Arithmetic Duality Theorems, 2nd edn (BookSurge, LLC, Charleston, SC, 2006); MR 2261462 (2007e:14029).
[Ols06]Olsson, M. C., ‘Hom -stacks and restriction of scalars’, Duke Math. J. 134(1) (2006), 139164; doi:10.1215/S0012-7094-06-13414-2; MR 2239345 (2007f:14002).
[Ser02]Serre, J.-P., Galois Cohomology, Springer Monographs in Mathematics, Corrected reprint of the 1997 English edition (Springer, Berlin, 2002) Translated from the French by Patrick Ion and revised by the author; MR 1867431 (2002i:12004).
[SGA 3I new]Gille, P. and Polo, P. (Eds.), Schémas en groupes (SGA 3). Tome I. Propriétés générales des schémas en groupes, Documents Mathématiques (Paris) [Mathematical Documents (Paris)], 7 (Société Mathématique de France, Paris, 2011) (in French). Séminaire de Géométrie Algébrique du Bois Marie 1962–64. [Algebraic Geometry Seminar of Bois Marie 1962–64]; A seminar directed by M. Demazure and A. Grothendieck with the collaboration of M. Artin, J.-E. Bertin, P. Gabriel, M. Raynaud and J.-P. Serre; Revised and annotated edition of the 1970 French original; MR 2867621.
[SGA 3III new]Gille, P. and Polo, P. (Eds.), Schémas en groupes (SGA 3). Tome III. Structure des schémas en groupes réductifs, Documents Mathématiques (Paris) [Mathematical Documents (Paris)], 8 (Société Mathématique de France, Paris, 2011) (in French). Séminaire de Géométrie Algébrique du Bois Marie 1962–64. [Algebraic Geometry Seminar of Bois Marie 1962–64]; A seminar directed by M. Demazure and A. Grothendieck with the collaboration of M. Artin, J.-E. Bertin, P. Gabriel, M. Raynaud and J.-P. Serre; Revised and annotated edition of the 1970 French original; MR 2867622.
[SGA 4II]Théorie des topos et cohomologie étale des schémas. Tome 2, Lecture Notes in Mathematics, 270 (Springer, Berlin, 1972) (in French). Séminaire de Géométrie Algébrique du Bois-Marie 1963–1964 (SGA 4); Dirigé par M. Artin, A. Grothendieck et J. L. Verdier. Avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat; MR 0354653 (50 #7131).
[Sha64]Shatz, S. S., ‘Cohomology of artinian group schemes over local fields’, Ann. of Math. (2) 79 (1964), 411449; MR 0193093 (33 #1314).
[Sha72]Shatz, S. S., Profinite Groups, Arithmetic, and Geometry, Annals of Mathematics Studies, 67 (Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1972); MR 0347778 (50 #279).
[SP]de Jong, A. J. et al. , The Stacks Project. http://stacks.math.columbia.edu.
[Toë11]Toën, B., ‘Descente fidèlement plate pour les n-champs d’Artin’, Compos. Math. 147(5) (2011), 13821412 (French, with English and French summaries); doi:10.1112/S0010437X10005245; MR 2834725.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Forum of Mathematics, Sigma
  • ISSN: -
  • EISSN: 2050-5094
  • URL: /core/journals/forum-of-mathematics-sigma
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×
MathJax

MSC classification

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed