current status of crystalline cohomology? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T17:58:59Z http://mathoverflow.net/feeds/question/11648 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/11648/current-status-of-crystalline-cohomology current status of crystalline cohomology? Thomas Riepe 2010-01-13T11:42:50Z 2013-04-16T08:28:54Z <p>The great references given on <a href="http://mathoverflow.net/questions/10860/why-no-abelian-varieties-over-z" rel="nofollow"><I>Ilya's question</I></a> make me wonder about the current status of the many conjectures and open questions in <a href="http://www.ams.org/mathscinet-getitem?mr=1265522" rel="nofollow"><I>Illusie's survey</I></a> from 1994 on <a href="http://en.wikipedia.org/wiki/Crystalline_cohomology" rel="nofollow"><I>crystalline cohomology</I></a>. Obviously (just compare Illusie's survey from 1975 with that above or with <a href="http://perso.univ-rennes1.fr/antoine.chambert-loir/publications/papers/cristal.ps.gz" rel="nofollow"><I>Chambert-Loir's survey</I></a> from 1998), there is very intense work on that and the connections between the various cohomology theories attacking the case "l=p". Some more recent surveys only on Fontaine's p-adic Hodge theory are already linked to in the answers to Ilya's question, <a href="http://www.maa.org/maa%20reviews/RC.html" rel="nofollow"><I>Le Stum's book</I></a> (<a href="http://perso.univ-rennes1.fr/bernard.le-stum/Documents/RC-Errata.pdf" rel="nofollow"><I>Errata</I></a>) covers rigid chohomology. Among the open issues mentioned in Illusie's survey are finiteness theorems, crystalline coefficients, geometric semistability, the identity of characteristic polynomials of the Frobenius of different theories,... What is the current status of these? Which new theories have been created the past decade, how fit they together and which new questions emerged? </p> <p>Edit: U. Jannsen talked <a href="http://www.math.uvsq.fr/galois2010/resumsemaineFont/Jannsen.html" rel="nofollow"><I>recently</I></a> on "a refinement of crystalline cohomology by using the theory of so-called gauges as introduced earlier by Mazur and Kato and certain syntomic sheaves." Unfortunately I found no preprint on that. <strong>Edit:</strong> Jannsen on (<a href="http://www.mathematik.uni-regensburg.de/Jannsen/p-torsion.new.pdf" rel="nofollow"><I>slides</I></a>) "a cohomology theory in characteristic p which reﬁnes the crystalline cohomology – and works well for torsion" and "a sheaf theory which generalizes the Dieudonné theory – and works well for torsion."</p> <p>Edit: Go Yamashita talked about <a href="http://www.institut.math.jussieu.fr/projets/tn/STN/11/yamashita-11.pdf" rel="nofollow" title="pdf">"La Theorie de Hodge p-adique pour varietes ouverts"</a> avoiding Falting's almost etale extensions. Unfortunately I found no text where one can read that.</p> <p>Edit: A <a href="http://arxiv.org/abs/1110.5001" rel="nofollow" title="arxiv">short note</a> by Bhargav Bhatt and Aise Johan de Jong on a shortened proof of the comparison theorem between crystalline and de Rham cohomology.</p> <p>Edit: A <a href="http://arxiv.org/abs/1111.3316" rel="nofollow" title="arxiv">new proof</a> of the semistability conjecture by Beilinson and a definition of <a href="http://arxiv.org/abs/1111.2087" rel="nofollow" title="arxiv">derived</a> crystals by Gaitsgory and Rozenblyum.</p> <p>Edit: A <a href="http://de.arxiv.org/abs/1204.6560" rel="nofollow" title="arxiv">p-adic derived de Rham cohomology</a> by Bhargav Bhatt, giving "derived de Rham descriptions of the usual period rings and related maps in p-adic Hodge theory" and "a new proof of Fontaine's crystalline conjecture and Fontaine-Jannsen's semistable conjecture".</p> <p>Edit: A <a href="http://de.arxiv.org/abs/1304.3740" rel="nofollow" title="arxiv"> "a new cohomology theory in characteristic p>0, the so called F-gauge cohomology, a cohomology with values in the category of so-called F-gauges, which refines the cristalline cohomology"</a> by Fontaine, Jannsen.</p> http://mathoverflow.net/questions/11648/current-status-of-crystalline-cohomology/11658#11658 Answer by Chandan Singh Dalawat for current status of crystalline cohomology? Chandan Singh Dalawat 2010-01-13T13:52:34Z 2010-01-14T06:08:54Z <p>This is a "big-picture" question, but allow me to illustrate some recent progress by taking a small example close to my heart.</p> <p>Let us adjoin to the field <code>$\mathbb{Q}_p$</code> a primitive $l$-th root of $1$, where $p$ and $l$ are primes, to get the extension <code>$K|\mathbb{Q}_p$</code>. We notice that this extension is unramified if $l\neq p$ but ramified if $l=p$. When we adjoin all the $l$-power roots of $1$, we get the $l$-adic cyclotomic character <code>$\chi_l:\operatorname{Gal}(\bar{\mathbb{Q}}_p|\mathbb{Q}_p)\to\mathbb{Q}_l^\times$</code> which is unramified if $l\neq p$ but ramified if $l=p$. But we cannot just say that <code>$\chi_p$</code> is ramified and be done with it. We have to somehow express the fact that <code>$\chi_p$</code> is a natural and a "nice" character, not an arbitrary character <code>$\operatorname{Gal}(\bar{\mathbb{Q}}_p|\mathbb{Q}_p)\to\mathbb{Q}_p^\times$</code>, of which there are very many because the topologies on the groups <code>$\operatorname{Gal}(\bar{\mathbb{Q}}_p|\mathbb{Q}_p)$</code>, <code>$\mathbb{Q}_p^\times$</code> are somehow "compatible".</p> <p>The fact that <code>$\chi_p$</code> is a "nice" character is expressed by saying that it is <em>crystalline.</em> In general, we can talk of crystalline representions of <code>$\operatorname{Gal}(\bar{\mathbb{Q}}_p|\mathbb{Q}_p)$</code> on finite-dimensional spaces over <code>$\mathbb{Q}_p$</code>; the actual definition is in terms of a certain ring <code>$\mathbf{B}_{\text{cris}}$</code>, constructed by Fontaine, which can be understood in terms of crystalline cohomology.</p> <p>My illustrative example is about the $l$-adic criterion for an abelian variety $A$ over <code>$\mathbb{Q}_p$</code> to have good reduction. For $l\neq p$, this can be found in a paper by Serre and Tate in the Annals, and it is called the Néron-Ogg-Shafarevich criterion. It says that $A$ has good reduction if and only if the representation of <code>$\operatorname{Gal}(\bar{\mathbb{Q}}_p|\mathbb{Q}_p)$</code> on the $l$-adic Tate module <code>$V_l(A)$</code> is unramified. </p> <p>What happens when $l=p$ ? It is too much to expect that <code>$V_p(A)$</code> be an unramified representation when $A$ has good reduction; we have seen that even <code>$\chi_p$</code> is not unramified. What Fontaine proved is that the $p$-adic representation <code>$V_p(A)$</code> is crystalline (if $A$ has good reduction). To complete the analogy with the case $l\neq p$, Coleman and Iovita proved in a paper in Duke that, conversely, if the representation <code>$V_p(A)$</code> is crystalline, then the abelian variety $A$ has good reduction.</p> <p>I hope you find this enticing.</p> http://mathoverflow.net/questions/11648/current-status-of-crystalline-cohomology/11771#11771 Answer by S. Carnahan for current status of crystalline cohomology? S. Carnahan 2010-01-14T18:56:59Z 2010-01-14T18:56:59Z <p>Kedlaya gave a <a href="http://math.mit.edu/~kedlaya/papers/talks.shtml" rel="nofollow">talk in August</a> in which he mentioned some work of Daniel Caro on finiteness for rigid cohomology with coefficients (some of which is <a href="http://arxiv.org/find/math/1/au:+Caro%5FD/0/1/0/all/0/1" rel="nofollow">on the ArXiv</a>). On the same page, you can find notes from his talks on semistable reduction.</p>