Dans un travail récent avec Bhatt et Morrow, nous avons défini une nouvelle théorie de cohomologie -adique qui interpole entre cohomologie étale et de de Rham. Un aspect surprenant est que, en coordonnées, on peut calculer cette cohomologie par une -déformation de la cohomologie de de Rham. Dans cet article, nous allons essayer d’expliquer ce que nous connaissons de ce phénomène, et ce qu’on peut conjecturer.
In recent work with Bhatt and Morrow, we defined a new integral -adic cohomology theory interpolating between étale and de Rham cohomology. An unexpected feature of this cohomology is that in coordinates, it can be computed by a -deformation of the de Rham complex, which is thus canonical, at least in the derived category. In this short survey, we try to explain what we know about this phenomenon, and what can be conjectured to hold.
Accepté le :
Publié le :
Peter Scholze 1
@article{AFST_2017_6_26_5_1163_0, author = {Peter Scholze}, title = {Canonical $q$-deformations in arithmetic geometry}, journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques}, pages = {1163--1192}, publisher = {Universit\'e Paul Sabatier, Toulouse}, volume = {Ser. 6, 26}, number = {5}, year = {2017}, doi = {10.5802/afst.1563}, language = {en}, url = {https://afst.centre-mersenne.org/articles/10.5802/afst.1563/} }
TY - JOUR AU - Peter Scholze TI - Canonical $q$-deformations in arithmetic geometry JO - Annales de la Faculté des sciences de Toulouse : Mathématiques PY - 2017 SP - 1163 EP - 1192 VL - 26 IS - 5 PB - Université Paul Sabatier, Toulouse UR - https://afst.centre-mersenne.org/articles/10.5802/afst.1563/ DO - 10.5802/afst.1563 LA - en ID - AFST_2017_6_26_5_1163_0 ER -
%0 Journal Article %A Peter Scholze %T Canonical $q$-deformations in arithmetic geometry %J Annales de la Faculté des sciences de Toulouse : Mathématiques %D 2017 %P 1163-1192 %V 26 %N 5 %I Université Paul Sabatier, Toulouse %U https://afst.centre-mersenne.org/articles/10.5802/afst.1563/ %R 10.5802/afst.1563 %G en %F AFST_2017_6_26_5_1163_0
Peter Scholze. Canonical $q$-deformations in arithmetic geometry. Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 26 (2017) no. 5, pp. 1163-1192. doi : 10.5802/afst.1563. https://afst.centre-mersenne.org/articles/10.5802/afst.1563/
[1] Différentielles non commutatives et théorie de Galois différentielle ou aux différences, Ann. Sci. École Norm. Sup., Volume 34 (2001) no. 5, pp. 685-739 | DOI | MR
[2] -analogue of de Rham cohomology associated with Jackson integrals. I, Proc. Japan Acad. Ser. A Math. Sci., Volume 66 (1990) no. 7, pp. 161-164 http://projecteuclid.org/euclid.pja/1195512394 | DOI | MR
[3] Limites de représentations cristallines, Compos. Math., Volume 140 (2004) no. 6, pp. 1473-1498 | DOI | MR
[4] Notes on crystalline cohomology, Mathematical Notes, Princeton University Press; University of Tokyo Press, 1978, vi+243 pages | MR
[5] Integral -adic Hodge theory (2016) (https://arxiv.org/abs/1602.03148)
[6] Groupes -divisibles, groupes finis et modules filtrés, Ann. Math., Volume 152 (2000) no. 2, pp. 489-549 | DOI | MR
[7] Solutions d’équations à coefficients dans un anneau hensélien, Ann. Sci. École Norm. Sup., Volume 6 (1973), p. 553-603 (1974) | DOI | MR
[8] -adic Hodge theory, J. Am. Math. Soc., Volume 1 (1988) no. 1, pp. 255-299 | DOI | MR
[9] Does there exist an arithmetic Kodaira-Spencer class?, Algebraic geometry: Hirzebruch 70 (Warsaw, 1998) (Contemp. Math.), Volume 241, American Mathematical Society, 1999, pp. 141-146 | DOI | MR
[10] Almost étale extensions, Astérisque (2002) no. 279, pp. 185-270 (Cohomologies -adiques et applications arithmétiques, II) | MR
[11] Quelques résultats et conjectures concernant la courbe, Astérisque (2015) no. 369, pp. 325-374 | MR
[12] Complexe de de Rham-Witt et cohomologie cristalline, Ann. Sci. École Norm. Sup., Volume 12 (1979) no. 4, pp. 501-661 | DOI | MR
[13] -Difference Equations, Amer. J. Math., Volume 32 (1910) no. 4, pp. 305-314 | DOI | MR
[14] Rational structures and -modules (2013) (http://kskedlaya.org/papers/phigamma-descent.pdf)
[15] Relative -adic Hodge theory: foundations, Astérisque (2015) no. 371, 239 pages | MR
[16] Crystalline representations and -crystals, Algebraic geometry and number theory (Progr. Math.), Volume 253, Birkhäuser Boston, Boston, MA, 2006, pp. 459-496 | DOI | MR
[17] Periods, Mathematics unlimited—2001 and beyond, Springer, 2001, pp. 771-808 | MR
[18] Higher Algebra (2016) (http://www.math.harvard.edu/~lurie/papers/HA.pdf)
[19] Introduction to quantum groups, Progress in Mathematics, 110, Birkhäuser Boston, Inc., Boston, MA, 1993, xii+341 pages | MR
[20] Perfectoid spaces, Publ. Math. Inst. Hautes Études Sci., Volume 116 (2012), pp. 245-313 | DOI | MR
[21] -adic Hodge theory for rigid-analytic varieties, Forum Math. Pi, Volume 1 (2013), 77 pages | DOI | MR
[22] -adic geometry (Lecture notes from course at UC Berkeley in Fall 2014, available at https://math.berkeley.edu/~jared/Math274/ScholzeLectures.pdf)
[23] Mixed twistor structures (1997) (https://arxiv.org/abs/alg-geom/9705006)
[24] -homotopy theory, Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998) (1998) no. Extra Vol. I, pp. 579-604 (electronic) | MR
[25] Représentations -adiques potentiellement cristallines, Bull. Soc. Math. France, Volume 124 (1996) no. 3, pp. 375-400 | DOI | MR
Cité par Sources :