Questions tagged [crystalline-cohomology]
The crystalline-cohomology tag has no usage guidance.
65
questions
1
vote
0
answers
49
views
Syntomic f-cohomology for open varieties
Syntomic cohomology $H^{i+j}_{\mathrm{syn}}(X,n)$ of a proper variety $X$ with good reduction over a $p$-adic field $K$ is computed via a spectral sequence in terms of $H^i_{\mathrm{f}}(G_K;H^j_{\...
3
votes
0
answers
247
views
Modern integral $p$-adic Hodge theory and modularity lifting and Fontaine-Mazur
As a follow-up to a comment on this answer, I'm wondering if there are expected to be applications of the new point of view on integral $p$-adic Hodge theory, à la Bhatt-Morrow-Scholze and others, to ...
4
votes
0
answers
165
views
Étale- or fppf-crystalline sites
I have a straightforward question. Let (say) $X/\mathbb{F}_p$ be a smooth proper scheme. On the big crystalline category over $\mathbb{Z}/p^n$ one can take the Zariski or étale topology, and one can ...
3
votes
1
answer
457
views
F-crystals from crystalline cohomology
In Section 7 of Katz' paper:
https://web.math.princeton.edu/~nmk/old/travdwork.pdf
He asserts "Crystalline cohomology tells us that for each integer $i \geq 0$, the de Rham cohomology $H^i=Rf_*(\...
2
votes
1
answer
240
views
About the filtration of crystalline cohomology
Suppose $K$ is an finite unramified extension of $\mathbb Q_p$ with residue field $k$, and let $Y$ be an proper smooth variety defined over $k$. We know if $Y$ admits a proper smooth lifting $X/W(k)$ ...
1
vote
1
answer
186
views
Crystalline fibre of a morphism of Galois cohomology stacks
Let $K = \mathbb{Q}_p$, $G = G_K$ its absolute Galois group. Let
$$1\longrightarrow A\longrightarrow B\longrightarrow C\longrightarrow 1$$
be a split exact sequence of (not necessarily abelian) group ...
3
votes
2
answers
502
views
(crystalline cohomology version's) Tate's conjecture for K3 surfaces
Let $X$ be a K3 over $\overline{\mathbb{F}_p}$. The (crystalline version's) Tate conjecture predicts:
$c_1: Pic(X)\otimes\mathbb{Q}_p\rightarrow H^2_{crys}(X/W)^{\Phi=p}\otimes\mathbb{Q}_p$
is an ...
2
votes
0
answers
387
views
About an argument in absolute prismatic cohomology
In Bhatt-Lurie Absolute prismatic cohomology, proof of Corollary 4.1.15, it asserts that extension of scalars along the quotient map is conservative and preserves small limits:
I think the ...
7
votes
0
answers
572
views
Is there a cohomology theory wider than crystalline?
We know crystalline cohomology is calculated by taking an inverse limit:
$$H_{cris}^i:=\varprojlim_nH_{cris}^i(X/W_n(k))$$
provided $X$ projective smooth over a perfect field $k$ of char $p$.
I want ...
3
votes
0
answers
251
views
Nygaard filtration on Fontaine's period ring
Let $K$ be a discretely valued extension of $\mathbb{Q}_p$ with perfect residue field $k$, and $\mathcal{C}$ a completed algebraic closure of $K$ with the ring of integers $\mathcal{O}_{\mathcal{C}}$. ...
4
votes
1
answer
208
views
Compute de Rham-Witt sheaves
I am really new to this, but I am having a hard time understanding all the de Rham-Witt construction.
It seems to be really difficult to compute anything with those beasts: like I cannot find any ...
4
votes
1
answer
501
views
Pairing of cotangent and tangent bundles
I am reading the survey paper: "The de-Rham Witt complex and Crystalline cohomology" by Luc Illusie.
In math line (2.1.12), Illusie considers the pairing $\langle-,-\rangle:\Omega_{X/S}^1\...
4
votes
0
answers
268
views
de Rham Witt complex vs. de Rham complex of the Witt ring
I am reading the paper "Revisiting the de Rham-Witt complex" by Bhatt-Lurie-Mathew and I am a bit confused about the difference between $W\Omega_R^*$ and $\hat{\Omega}^*_{W(R)}$.
Let $\...
4
votes
1
answer
606
views
A comparison theorem between crystalline cohomology and étale cohomology
Suppose $X/\mathbb F_q$ is a smooth projective variety. Katz-Messing (eudml) shows that the characteristic polynomial of the Frobenius on $H^i_{et}(\overline{X},\mathbb Q_\ell)$ and $H^i_{crys}(X)$ ...
8
votes
1
answer
530
views
D-modules as ind-coherent sheaves over positive characteristics?
There is an interpretation of D-modules over "sufficiently nice" prestacks $X$ (read: various finiteness conditions apply, perhaps even smoothness) by Gaitsgory and Rozenbylum (see chapter I....