$p$-adic Cohomology and Arithmetic Applications (17w5118)
Ambrus Pal (Imperial College London)
Christopher Lazda (University of Padova)
Kiran Kedlaya (University of California, San Diego)
Tomoyuki Abe (Kavli Institute for the Physics and Mathematics of the Universe)
Foundations and theory over non-perfect fieldsTraditionally, $p$-adic cohomology theories have been expressed for varieties over perfect ground fields of characteristic $p$. While much of the theory still works over non-perfect fields, arithmetic considerations (in particular the general phenomenon of semistable reduction, as well as analogies with the $\ell$-adic theory) lead one to expect certain refinements of existing $p$-adic cohomologies (such as rigid cohomology) when working over such non-perfect fields. As a first step in this direction, the basics of this picture have been recently worked out over the simplest of non-perfect fields, namely Laurent series field in one variable, which has paved the way for a whole host of applications, such as a $p$-adic version of the weight monodromy conjecture and good reduction criteria for curves. This approach appears to be a rich source of new arithmetic results on varieties in characteristic $p$, although there is still much more foundational work to be done, both in the case of Laurent series fields and in terms of moving towards other examples such as global fields or higher dimensional local fields. On there other hand the groundbreaking work of Caro in the last decade has culminated in the proof of the existence of a 6 operations formalism in $p$-adic cohomology, including a full theory of weights . We expect to see interactions between these two strides of research, and the workshop will provide the perfect environment to achieve this.
The Langlands program and links with representation theoryOne of the importance of the original theory of algebraic $D$-modules, which is over a field of characteristic zero, is that it has various application to representation theory. Beilinson--Bernstein correspondence is one of the most famous such examples. About 20 years ago Berthelot proposed a framework to establish a 6 functor formalism for schemes over fields of positive characteristics by pursuing an analogy with algebraic $D$-modules, and named it arithmetic $D$-module theory. With the above mentioned work of Caro, the foundations of the theory are essentially in place, and attention is turning to a new stage. As in the classical situation, it is hoped that the theory will prove a powerful tool for representation theory, including the $p$-adic Langlands program. A similar such application of $D$-module theory over rigid analytic spaces over $p$-adic fields has been already found by Ardakov--Wadsley , who used their theory to answer some representation theoretical problems which arose in the new $p$-adic local Langlands program.
There is a closely related work of Huyghe, Patel, Schmidt and Strauch on localisation theorems in the setting of arithmetic $\mathcal D$-modules of Berthelot (see ) which proves that there is an equivalence of categories between the category of locally analytic admissible representations of some split reductive group over a finite extension of $\mathbb Q_p$, and the category of coadmissible arithmetic $\mathcal D$-modules over the rigid analytic space attached to the flag variety of the group. Similarly, the 6 operations formalism has been used by Abe  to prove a $p$-adic Langlands correspondence in the function field setting, and thus prove Deligne's ``petits camarades cristallins" conjecture on the existence of $p$-adic companions to compatible systems of $\ell$-adic Galois representations (at least over curves). Finally let us mention the work of Christian Johannsson, who studied the classicality for small slope overconvergent automorphic forms on certain higher dimensional Shimura varieties (see ), a work whose primary innovation is to use a robust formalism of $p$-adic cohomology. These works all represent different aspects of the $p$-adic Langlands program, both over number fields and function fields, and all rely heavily on the methods of $p$-adic cohomology. Promoting co-operation between the experts of this subject and the leaders of the foundational theory of $p$-adic cohomology will therefore be essential in progressing this exciting new direction of research.
The de Rham--Witt complex and Iwasawa theoryOne of the original motivations of Grothendieck and Berthelot for inventing crystalline cohomology as a $p$-adic companion to the family of $\ell$-adic cohomologies produced by the étale theory was to explain $p$-torsion phenomenon. While integral crystalline cohomology achieves this for smooth and proper varieties, the extension to a `good' cohomology theory for arbitrary varieties, which reached its zenith in the proof of the 6 operations formalism by Caro, has been achieved only for rational coefficients, i.e. after tensoring with $Q$. This therefore still leaves open the question of what an integral $p$-adic theory should look like for open or singular varieties, which has been the subject of much recent work in the field, in particular the study of the overconvergent de Rham--Witt complex by Davis, Langer and Zink . This now seems to provide a good candidate for smooth (but possibly open) varieties, although there are still many important open questions still to answer, including comparisons with other candidates such as integral Monsky--Washnitzer cohomology.
This is very closely related to the study of $p$-adic properties of $L$-functions in characteristic $p$ where most of the work recently has been done on $1$-dimensional families of abelian varieties, for example ,  and  which look at the refined Birch--Swinnerton-Dyer conjecture, the integrality of $p$-adic $L$-functions and the equivariant Tamagawa number conjecture, respectively. What is common in these works is the crucial use of integral $p$-adic cohomology theories predating the construction in , typically log crystalline cohomology. Therefore they are forced either to reduce the general case to the semi-stable one, or worse, restrict to the situation when the abelian scheme is semi-stable and the considered Galois covers of the base are tame. This demonstrate the limitations of these methods, but with sufficient progress on the finiteness properties of the the overconvergent de Rham--Witt complex we expect that this area would start to develop very rapidly.
Relations with function field arithmeticWe already mentioned the deep analogy and the cross-fertilisation which occurred between $p$-adic Hodge theory and its function field analogue at a crucial point of their development. However there are other areas of $p$-adic cohomology and function field arithmetic which are closely analogous and more intimate interaction would benefit both. For example a central object of study in function field arithmetic is Goss $L$-functions of function field motives (see for example ). These motives have a cohomological theory with a trace formula (see ), but the theory does not admit 6 operations. It would greatly benefit the topic if the methods of $p$-adic cohomology were successfully transported into it. On there hand the transcendence theory of special values of Goss $L$-functions is highly developed, but uses cohomological, Tannakian and analytic methods which would be very familiar to experts of $p$-adic cohomology (such as Dwork's trick) if they knew them. We hope that workshop could bring the birth of a brand new transcendence theory of $p$-adic periods in characteristic $p$.
Other topicsLet us mention a few more topics which were intensively studied recently and which all have deep connections to the main topic of the proposed workshop, but which we could not describe in much detail for the lack of space: $p$-adic differential equations, crystalline fundamental groups and $p$-adic Simpson correspondence, $p$-adic Hodge theory and $p$-adic representations. We just remark in passing that $p$-adic differential equations play a fundamental role in the foundations of the theory, the study of crystalline fundamental groups is necessary for removing some of the thorny problems encountered in the Langlands program over function fields, and some form of a $p$-adic Simpson correspondence might be the way to overcome these, while $p$-adic Hodge theory remains perhaps the single most important application of $p$-adic cohomology via the theory of $p$-adic representations. So we expect that they will remain in the focus of research, and by inviting experts in these fields we will not only spread knowledge of some of the powerful new methods available in $p$-adic cohomology, but also to inspire those working in the field with potential new applications of their research.
- T. Abe, Langlands correspondence for isocrystals and existence of crystalline companion for curves, arXiv:1310.0528, (2013).
- T. Abe and D. Caro, Theory of weights in $p$-adic cohomology, arXiv:1303.0662v3, (2014).
- K. Ardakov and S. Wadsley, On irreducible representations of compact $p$-adic analytic groups, Ann. of Math., 178 (2013), 453--557.
- F. Baldassarri, Continuity of the radius of convergence of differential equations on $p$-adic analytic curves, Invent. Math. 182 (2010), 513--584.
- P. Berthelot, Cohomologie cristalline des schémas de characteristic $p>0$, Lecture Notes in Mathematics 407, Springer-Verlag, Berlin-New York, 1974.
- P. Berthelot, Finitude et pureté cohomologique en cohomologie rigide, Invent. Math. 128 (1997), 329--377.
- A. Besser, A generalization of Coleman's $p$-adic integration theory, Invent. Math. 142 (2000), 397--434.
- A. Besser, Coleman integration using the Tannakian formalism, Math. Ann. 322 (2002), 19--48.
- G. Böckle and R. Pink, Cohomological theory of crystals over function fields, Tracts in Mathematics 5, European Mathematical Society, (2009).
- C. Davis, A. Langer, and T. Zink, Overconvergent de Rham-Witt cohomology, Ann. Sci. \Éc. Norm. Supér. 44 (2011), 197--262.
- B. Dwork, On the rationality of the zeta function of an algebraic variety, Amer. J. Math. 82 (1960), 631--648.
- M. Gros, Régulateurs syntomiques et valeurs de fonctions $L$ $p$-adiques I, with an appendix by Masato Kurihara, Invent. Math. 99 (1990), 293--320.
- M. Gros, Régulateurs syntomiques et valeurs de fonctions $L$ $p$-adiques II, Invent. Math. 115 (1994), 61--79.
- A. Grothendieck, Crystals and the de Rham cohomology of schemes, in Dix exposés sur la cohomologie des schémas, North-Holland, Amsterdam--Paris, 1968, pp. 306--358.
- U. Hartl, Period spaces for Hodge structures in equal characteristic, Ann. of Math. 173 (2011), 1241--1358.
- C. Huyghe, D. Patel, T. Schmidt, and M. Strauch, $\mathcal D^\dagger$-affinity of formal models of flag varieties, arXiv:1501.05837, (2015).
- O. Hyodo and K. Kato, Semi-stable reduction and crystalline cohomology with logarithmic poles, Astérisque 223, 1994, pp. 221--268.
- C. Johannsson, Classicality for small slope overconvergent automorphic forms on some compact PEL Shimura varieties of type C, Math. Ann. 357 (2013), 51--88.
- K. Kato and F. Trihan, On the conjectures of Birch and Swinnerton-Dyer in characteristic p>0, Invent. Math. 153 (2003), 537--592.
- K. Kedlaya, Computing zeta functions via $p$-adic cohomology, in Algorithmic number theory, Lecture Notes in Comput. Sci. 3076, Springer-Verlag, Berlin-New York, 2004, pp. 1--17.
- K. Kedlaya, Convergence polygons for connections on nonarchimedean curves, arXiv:1505.01890v2, to appear in the proceedings of the Simons Symposium on non-archimedean and tropical geometry, (2015).
- K. Kedlaya and R. Liu, Relative p-adic Hodge theory: foundations, Ast\'erisque, to appear, 210 pages.
- M. Kim, The unipotent Albanese map and Selmer varieties for curves, Publ. RIMS, Kyoto Univ. 45 (2009), 89--133.
- A. Lauder, A recursive method for computing zeta functions of varieties, LMS J. Comput. Math. 9 (2006), 222--269.
- C. Lazda and A. Pál, Rigid cohomology over Laurent series fields, Algebra and Applications, Springer--Verlag, London, to appear, 191 pages.
- W. Messing, The crystals associated to Barsotti-Tate groups: with applications to abelian schemes, Lecture Notes in Mathematics 264, Springer-Verlag, Berlin-New York, 1972.
- P. Monsky and G. Washnitzer, Formal cohomology. I, Ann. of Math. 88 (1968), 181--217.
- M. Morrow, A Variational Tate conjecture in crystalline cohomology, preprint, (2015).
- A. Pál, The Manin constant of elliptic curves over function fields, Algebra Number Theory 4 (2010), 509--545.
- J. Poineau and A. Pulita, The convergence Newton polygon of a p-adic differential equation IV: local and global index theorems, arXiv:1309.3940v1 (2013).
- L. Taelman, Special L-values of Drinfeld modules, Ann. of Math. 175 (2012), 369--391.
- F. Trihan and D. Vauclair, A comparison theorem for semi-abelian schemes over a smooth curve, arXiv:1505.02942, (2015).