Journal of Algebraic Geometry

Journal of Algebraic Geometry

Online ISSN 1534-7486; Print ISSN 1056-3911

   
 
 

 

Triangulations et cohomologie étale sur une courbe analytique $ p$-adique


Author: Antoine Ducros
Journal: J. Algebraic Geom. 17 (2008), 503-575
DOI: https://doi.org/10.1090/S1056-3911-07-00464-X
Published electronically: December 18, 2007
MathSciNet review: 2395137
Full-text PDF

Abstract | References | Additional Information

Abstract: Let $ k$ be a non-Archimedean complete field and let $ X$ be a $ k$-analytic curve as defined by Berkovich. Let $ \pi$ be the natural map between the étale site and the underlying topological space of $ X$. This text is devoted to the study of the cohomology of sheaves of the kind R$ ^{q}\pi_{*}\mathscr F$. First of all, we define what a triangulation of a curve is and we prove, using the semi-stable reduction theorem, that any curve whose singular locus is nowhere dense has a triangulation. For given $ q$ and $ \mymathcal F$ we associate to any triangulation on $ X$ a two-term complex whose cohomology groups are shown to be precisely those of R$ ^{q} \pi_{*}\mathscr F$.

This allows us to prove a comparison theorem between our groups and their scheme-theoretic counterparts when $ X$ is the analytification of a smooth algebraic $ k$-curve. After that we assume that $ k$ comes with a dualizing module (e.g., $ k={\mathbb{C}} ((t))$ or $ k={\mathbb{Q}}_{p}).$ Then we build some pairings between suitable cohomology groups and show that their non-degeneratedness is equivalent to some arithmetic properties of some one-dimensional function fields over $ \widetilde{k}$ which are attached to certain points of $ X;$ thanks to this equivalence we can prove that we actually have perfect pairings in some cases.

Putting those results all together we recover as corollaries some previous theorems of the author concerning unramified H$ ^{3}$ with coefficients $ \mu_{n}^{\otimes 2}$ over a $ p$-adic curve, and also Lichtenbaum's duality between the Picard group and the Brauer group of such a curve.


References [Enhancements On Off] (What's this?)

  • 1. V. BERKOVICH, Spectral theory and analytic geometry over non-Archimedean fields, Mathematical Surveys and Monographs 33, AMS, Providence, RI, 1990. MR 1070709 (91k:32038)
  • 2. V. BERKOVICH, Étale cohomology for non-Archimedean analytic spaces, Inst. Hautes Études Sci. Publ. Math. 78 (1993) 5-161. MR 1259429 (95c:14017)
  • 3. V. BERKOVICH, Vanishing cycles for formal schemes, Invent. Math. 115 (1994), no. 3, 539-571. MR 1262943 (95f:14034)
  • 4. V. BERKOVICH, On the comparison theorem for étale cohomology of non-Archimedean analytic spaces, Israel J. Math. 92 (1995), no. 1-3, 45-59. MR 1357745 (96i:32034)
  • 5. V. BERKOVICH, Smooth p-adic analytic spaces are locally contractible, Invent. Math. 137 (1999), no. 1, 1-84. MR 1702143 (2000i:14028)
  • 6. V. BERKOVICH, Integration of one-forms on $ p$-adic analytic spaces, Annals of Mathematics Studies, vol. 162, Princeton Univ. Press, Princeton, NJ, 2007. MR 2263704.
  • 7. S. BLOCH AND A. OGUS, Gersten's conjecture and the homology of schemes, Ann. Sci. École Norm. Sup. (4) 7 (1974), 181-201. MR 0412191 (54:318)
  • 8. J.-L. COLLIOT-THÉLÈNE, On the reciprocity sequence in the higher class field theory of function fields, in Algebraic $ K$-theory and algebraic topology, 35-55, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 407, Kluwer Acad. Publ., Dordrecht, 1993. MR 1367291 (97k:14019)
  • 9. J.-L. COLLIOT-THÉLÈNE, Birational invariants, purity and the Gersten conjecture, in $ K$-theory and algebraic geometry: Connections with quadratic forms and division algebras, Proc. Sympos. Pure Math. 58, Part 1, Amer. Math. Soc., Providence, RI, 1995, 1-64. MR 1327280 (96c:14016)
  • 10. J.-L. COLLIOT-THÉLÈNE, R. T. HOOBLER AND B. KAHN, The Bloch-Ogus-Gabber theorem, Fields Inst. Commun. 16, Amer. Math. Soc., Providence, RI, (1997), 31-94. MR 1466971 (98j:14021)
  • 11. J.-L. COLLIOT-THÉLÈNE ET M. OJANGUREN, Variétés unirationnelles non rationnelles: au-delà de l'exemple d'Artin-Mumford, Inventiones Math. 97 (1989), 141-158. MR 999316 (90m:14012)
  • 12. J.-L. COLLIOT-THÉLÈNE AND R. PARIMALA, Real components of algebraic varieties and étale cohomology, Invent. Math. 101 (1990), no. 1, 81-99. MR 1055712 (91j:14015)
  • 13. A. DUCROS, Cohomologie non ramifiée sur une courbe $ p$-adique lisse, Compositio Math. 130 (2002), 89-117. MR 1883693 (2002k:14025)
  • 14. A. DUCROS, Parties semi-algébriques d'une variété algébrique $ p$-adique, Manuscripta Math. 111 (2003), 513-528. MR 2002825 (2004m:14122)
  • 15. A. DUCROS, Étude de certaines propriétés locales et globales des espaces de Berkovich, prépublication de l'IRMAR 03-41, 2003, disponible sur la page http://math.unice.fr/$ \sim$ducros/prepub.html
  • 16. K. KATO, A Hasse principle for two-dimensional global fields, with an appendix by Jean-Louis Colliot-Thélène, J. Reine Angew. Math. 366 (1986), 142-183. MR 833016 (88b:11036)
  • 17. S. LICHTENBAUM, Duality theorems for curves over $ p$-adic fields, Invent. Math. 7 (1969), 120-136. MR 0242831 (39:4158)
  • 18. A. S. MERKUREV AND A. A. SUSLIN, $ K$-cohomology of Severi-Brauer varieties and the norm residue homomorphism, Math. USSR-Izv. 21 (1983), no. 2, 307-340. MR 659762 (84h:14025)
  • 19. J. S. MILNE, Étale cohomology, Princeton Mathematical Series 33, Princeton University Press, Princeton, N.J., 1980. MR 559531 (81j:14002)
  • 20. A. P. OGG, Cohomology of abelian varieties over function fields, Ann. of Math. 76 (1962), 185-212. MR 0155824 (27:5758)
  • 21. S. SAITO, Global duality theorem for varieties over global fields, in Algebraic $ K$-theory: Connections with geometry and topology, NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 279, Kluwer Acad. Publ., Dordrecht, 1989, 425-444. MR 1045856 (91b:14017)
  • 22. C. SCHEIDERER, Real and étale cohomology, Lecture Notes in Mathematics 1588, Springer-Verlag, Berlin, 1994. MR 1321819 (96c:14018)
  • 23. J.-P. SERRE, Cohomologie galoisienne, cinquième édition. Lecture Notes in Mathematics 5, Springer-Verlag, Berlin, 1994. MR 1324577 (96b:12010)
  • 24. E. WITT, Zerlegung reeller algebraischer Funktionen in Quadrate. Schiefkörper über reellem Funktionenkörper, J. reine angew Math. 171 (1934), 4-11.


Additional Information

Antoine Ducros
Affiliation: Laboratoire J.-A. Dieudonné, Université de Nice - Sophia Antipolis, Parc Valrose, 06108 Nice Cedex 02, France
Email: ducros@unice.fr

DOI: https://doi.org/10.1090/S1056-3911-07-00464-X
Received by editor(s): May 26, 2006
Received by editor(s) in revised form: October 18, 2006
Published electronically: December 18, 2007

American Mathematical Society