All Questions
Tagged with ag.algebraic-geometry p-adic-hodge-theory
79 questions
56
votes
2
answers
10k
views
What is prismatic cohomology?
Prismatic cohomology is a new theory developed by Bhatt and Scholze; see, for instance, these course notes. For the sake of the community, it would be great if the following question is discussed in ...
- 2,751
10
votes
1
answer
564
views
Fargues's Theorem for $Spa(C,C^+)$ (rather than $Spa(C,O_C)$
$\DeclareMathOperator\Spa{Spa}$Fargues's Theorem for $\Spa(C,O_C)$ states that the category of (mixed characteristic) shtukas with one paw at $x_C$ is equivalent to the category of Breuil-Kisin-...
- 435
2
votes
0
answers
127
views
Generalizing characterizing crystalline representations of dimension 2 to certain special classes of crystalline representations of higher dimension
Let $A$ be an abelian variety defined over a number field $K$, and let $v$ be a prime of $K$ such that $A$ has good reduction modulo $v$. Let $\rho$ be the representation of $G_K = \text{Gal}(\...
- 27k
8
votes
1
answer
1k
views
Reference Request: Specialization map in Huber's Context
The specialization map $sp:\mathfrak{X}_\eta\to \mathfrak{X}_{red}$ has an important role in rigid analytic geometry. I tried looking in Huber's papers ("Continuous Valuations", "A generalization of ...
- 435
8
votes
0
answers
581
views
On Topological Hochschild Homology
Nowdays, I hear talking about Topological Hochschild Homology more and more often, and I was wondering if someone could point out references to explain why it's important and interesting, and what ...
user125208
5
votes
0
answers
659
views
Comparison for cycle class maps for de Rham and etale cohomology via p-adic Hodge theory
Let $K$ be a p-adic local field, $X$ a smooth projective variety over $Spec(K)$, $CH^k(X)$ the Chow group of pure codimension $k$. Then there are cycle maps
$cl^X_{DR}:CH^k(X)\to H^{2k}_{DR}(X/K)$ ...
- 806
2
votes
1
answer
315
views
Equivalence of vector bundles over $Spec(A_{\inf})$ and the punctured spectrum
I'm trying to understand the Lemma 4.6 of Bhatt-Morrow-Scholze's paper Integral $p$-adic Hodge Theory.
In the proof, for proving the restriction functor is fully faithful, it used a affine open cover $...
- 549
7
votes
0
answers
432
views
Failure of integral comparison between crystalline and de Rham cohomology over a highly ramified base
Let $K$ be a finite extension of $\mathbb{Q}_p$ with the ring of integers $\mathcal{O}_K$ and the residue field $k$.
By a theorem of Berthelot and Ogus(https://link.springer.com/article/10.1007%...
- 7,377
2
votes
0
answers
357
views
Does the pro-étale local system defined over a p-adic period domains interpolate crystalline representations?
There is a Grothendieck-Messing period morphism of rigid-analytic spaces $\pi: \mathcal{M}_\eta^{rig}\to \mathcal{Fl}$ going from the generic fiber of an EL-type Rapoport-Zinks to a flag variety. The ...
- 435
32
votes
1
answer
8k
views
$p$-adic Hodge Theory for rigid spaces, after P. Scholze
I was going over P. Scholze's paper on $p$-adic Hodge Theory for rigid analytic varieties.
This question is around the "Poincaré Lemma" in the paper.
Throughout, let $X$ be a proper smooth rigid ...
user113453
11
votes
3
answers
2k
views
p-adic Poincaré Lemma
suppose $X$ is a proper and smooth rigid analytic variety over $\text{Spa}(k)$, with $k$ a non-archimedean field of characteristic zero.
One has the de Rham complex of analytic differential forms on $...
user113393
10
votes
2
answers
1k
views
periodic cyclic homology and tilting in the sense of Scholze
Suppose $R$ is a perfectoid ring in mixed characteristic, and $R'$ its characteristic-$p$ tilt. Scholze's results on tilting say that the étale theories over $R$ and $R'$ are equivalent in an almost ...
- 7,972
6
votes
0
answers
267
views
Universal property of $A_{\mathrm{cris}}/p^n$
It is well known that the ring $A_{\mathrm{cris}}$ of Fontaine is the universal $p$-adically complete divided power thickening of $\mathcal{O}_{\mathbb{C}_p}$ over $\mathbb{Z}_p$; in fact, this is one ...
- 825
4
votes
1
answer
282
views
Serre tensor construction on finite flat group schemes
Let $K/\mathbb{Q}_p$ be a finite field extension and $\mathcal{O}_K\subseteq K$ be its ring of integral elements. Let also $G/\mathcal{O}_K$ be a finite flat $p$-group scheme that is also an $\mathcal{...
- 443
5
votes
0
answers
677
views
Basic question on p-adic Hodge theory
I am starting to study the rudiments of p-adic Hodge theory and I have the following basic question. Let $\chi$ be the unramified quadratic character of $G_p = \mathrm{Gal}(\bar{\mathbb{Q}}_p/\mathbb{...
- 111
3
votes
0
answers
518
views
Comparison theorem between étale and de Rham cohomology for local system
This question is based on Milne "canonical models of Shimura varieties and automorphic vector bundles"
Let $(G,X)$ be a Shimura datum, $(V,\xi)$ be a rational representation of $G$ (I guess it means ...
- 31
9
votes
0
answers
910
views
Grothendieck's motivation of crystalline cohomology
Here Illusie mentions Grothendieck's observation that using Gauss-Manin connection one can give a non-canonical isomorphism between de Rham cohomology of smooth schemes over $W(k)$ with isomorphic ...
- 7,377
9
votes
1
answer
546
views
Morphisms for good reduction are maps respecting filtration
Please see edits below!
So, let $A,A'/K$ be abelian varieties where $K$ is a $p$-adic local field with residue field $k$. Suppose further that they have good reduction with models $\mathscr{A},\...
- 787
22
votes
2
answers
1k
views
Describing the crystalline extension of $\mathbb{Q}_p$ by $\mathbb{Q}_p$
Let $K$ be a finite extension of $\mathbb{Q_p}$. The group $\ker H^1(G_K, \mathbb{Q}_p) \rightarrow H^1(G_K, B_{crys})$ is one-dimensional, which tells us that among all extensions of Galois modules
...
- 2,809
11
votes
1
answer
1k
views
Relationship between the syntomic cohomology of Kato and of Fontaine-Messing
Fix a prime $p$ and let $X$ be a $\mathbb{Z}_{p}$-scheme. Write $X_{n}:=X\otimes\mathbb{Z}/p^{n}$ and $\phi:X_{1}\rightarrow X_{1}$ for the absolute Frobenius. Let $X\hookrightarrow Z$ be a (suitable) ...
- 1,404
5
votes
1
answer
366
views
notion of $\mathrm{Gal}(\overline{\mathbb{Q}}_p / \mathbb{Q}_p)$ representation with complex multiplication
In usual Hodge theory, there is the notion of Hodge structure $H$ with complex multiplication, that can be defined in several ways, i.e. asking that there exists a CM number field $E$ such that $\dim ...
- 51
2
votes
0
answers
389
views
Are there good properties of the divided power completion map?
Let $Y \to X$ be a closed immersion of smooth schemes over, say, the ${\rm Spec}(\mathbb{Z}_p)$. The completion map $$X_{/Y}\to X$$ is an ind-closed immersion (sometimes called pseudo-closed immersion)...
- 33
5
votes
0
answers
278
views
Tate's conjecture and symmetry of Hodge-Tate weights
I'm reading Bellaiche's notes on the Block-Kato conjecture (Hawaii summer school). Here is the link http://people.brandeis.edu/~jbellaic/BKHawaii5.pdf
At page 10 he claims that an indirect ...
- 231
5
votes
0
answers
585
views
Bloch Kato Exponential as formal lie group exponential
Let $K$ be a $p$-adic field and $V$ a $p$-adic representation. In their paper on tamagawa numbers of motives, Bloch and Kato define an exponential map as the connecting homomorphism
$$DR(V) \...
- 3,555
6
votes
0
answers
590
views
Semistable minimal model of a $K3$-surface and the special fibre
Suppose that $K$ is a $p$-adic field, that is a field of characteristic $0$ whose ring of integers is a complete discrete valuation ring $\mathcal O_K$ and with residue field $k$ (algebraic closed) of ...
1
vote
0
answers
610
views
lefschetz hyperplane theorem in positive characteristic
The proof of the Lefschetz Hyperplane theorem over $\mathbb{C}$ is well-known, and relies on Hodge theory in an important way. Does there exist an analogue of this theorem in positive characteristic, ...
- 3,779
11
votes
0
answers
808
views
Torelli-like theorem for K3 surfaces on terms of its étale cohomology
Is there a proof of a Torelli-like Theorem for a K3-surface over any field (non complex) in terms of its etale or crystalline cohomology?
For example: If $K\ne \mathbb{C} $ and $X\rightarrow \...
19
votes
1
answer
2k
views
Analogue of Tate or Hodge conjecture for varieties over $\mathbb Q_p$
I've been learning about p-adic Hodge theory recently (I'm a beginner), and I've been wondering about the following question the past couple of weeks. Sorry for the long setup, it's mainly background;...
- 317
1
vote
1
answer
459
views
Submodule of a Kisin module
By M. Kisin, let $k$ be an algebraically closed field of characteristic $p$, and $K$ be a totally ramified extension of $B(k)$, the fraction field of the Witt vector ring $W(k)$, the category of ...
- 51