Questions tagged [p-adic-hodge-theory]
The p-adic-hodge-theory tag has no usage guidance.
103 questions with no upvoted or accepted answers
59
votes
0
answers
4k
views
Grothendieck's Period Conjecture and the missing p-adic Hodge Theories
Singular cohomology and algebraic de Rham cohomology are both functors from the category of smooth projective algebraic varieties over $\mathbb Q$ to $\mathbb Q$-vectors spaces. They come with the ...
- 149k
15
votes
0
answers
592
views
Failure of local Fontaine Mazur
This question unfortunately has a very similar name to this one, but I what want to ask here is different.
Let $K$ be a finite extension of $\mathbb{Q}_p$. It seems to be well known that the local ...
- 643
14
votes
0
answers
884
views
On mixed $p$-adic Hodge theory
Does mixed $p$-adic Hodge theory exist? Can we extend the scope of comparison theorems using simplicial resolutions a la Deligne? Do we get 3 opposite filtrations as in classical mixed Hodge theory, ...
- 141
11
votes
0
answers
390
views
Is there a period ring B_dif?
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $V$ be a p-adic representation of $\mathrm{Gal}(\overline{\mathbb{Q}}_p/K)$. Write $K_\infty=K(\mu_{p^{\infty}})$ for the cyclotomic extension ...
- 643
11
votes
0
answers
749
views
What is known at $\ell = p$ about realizing Jacquet-Langlands & local Langlands as the cohomology of Lubin-Tate space with level structure?
Background:
(Mostly my paraphrased interpretation of the introduction of Strauch's Deformation spaces of one-dimensional formal
modules and their cohomology, with additional details from Carayol's ...
- 3,539
11
votes
0
answers
807
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 \...
10
votes
0
answers
2k
views
Roadmap for p-adic Hodge theory
I'd like to be able to start studying p-adic Hodge theory and hope that by posing this question, I can be better prepared to work towards it. I ask for a roadmap because I understand that I have a lot ...
- 544
10
votes
0
answers
834
views
Elementary aspects of The Fargues-Fontaine curve
To any pair $(E,F)$, where $E$ is a local field and $F$ is a perfectoid field, one can associate a curve $X^{\text{FF}}_{E,F}$, the so-called Fargues-Fontaine curve, which is unique up to Frobenius ...
- 989
9
votes
0
answers
1k
views
Moduli interpretation of Fargues-Fontaine curve
The Fargues-Fontaine curve is, in his schematic version, a noetherian regular scheme $X$ of dimension 1 associated to a pair $(E,F)$, where $E$ is a local field (i.e. complete w.r.t. a discrete ...
- 1,386
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
8
votes
0
answers
333
views
Triple comparison of cohomology in algebraic geometry
Let $X$ be a smooth proper variety over $\mathbb{Q}$ and $p$ a prime number. For an integer $k$, we have:
a finitely-generated abelian group $H^k(X^{\mathrm{an}}(\mathbb{C});\mathbb{Z})$
a finitely-...
- 15.4k
8
votes
0
answers
433
views
Intuition for de Rham comparison theorem in $p$-adic Hodge theory
The de Rham comparison theorem from $p$-adic Hodge theory compares the etale cohomology of a variety with the de Rham cohomology of that variety. It says the following:
Let $K/\mathbf{Q}_p$ be a ...
- 1,949
8
votes
0
answers
550
views
Foundational Questions on Adic Spaces
There are some foundational questions on adic spaces that I can't find in the literature. It seems that these questions are pretty natural, so I guess that an answer should be known to the experts in ...
- 2,923
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
8
votes
0
answers
259
views
Ramification for subgroups of Lubin-Tate formal group
Let $K/\mathbb{Q}_p$ be a finite field extension and $E/\mathcal{O}_K$ be the local N\'eron model of a CM elliptic curve with CM by $\mathcal{O}_F$ and let $G\subseteq E[p^n]$ be a subgroup over $\...
- 443
8
votes
0
answers
315
views
simple proof of relation between H^1 crystalline and Dieudonne module?
Hi,
Let $k$ be a perfect field of characteristic $p > 0$. Let $A/k$ be an abelian variety. Then the first crystalline cohomology group of $A$ with respect to $W(k)$ (= Witt vectors) is canonically ...
- 2,842
7
votes
0
answers
379
views
Local properties of Galois representations attached to torsion classes
$\DeclareMathOperator{\PGL}{PGL} \DeclareMathOperator{\GL}{GL} \newcommand{\F}{\mathbb{F}} \newcommand{\p}{\mathfrak{p}} \DeclareMathOperator{\Sym}{Sym}$
Let $F$ be a number field, and let $\Gamma$ be ...
- 5,382
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
7
votes
0
answers
570
views
Which de Rham representations are trianguline?
Let $K/\mathbf{Q}_p$ be a finite extension, and let $V$ be an $n$-dimensional $\overline{\mathbf{Q}_p}$-vector space with a continuous action of $G_K$. Suppose $V$ is de Rham, so potentially ...
- 13.1k
7
votes
0
answers
491
views
"Nontrivial" singular points on the eigencurve?
Let $\mathscr{C}$ be the Coleman-Mazur-Buzzard eigencurve of some fixed tame level $N$. Are there any known examples of a singular point $x\in \mathscr{C}$ which lies in a unique irreducible ...
- 13.1k
6
votes
0
answers
312
views
Geometry of syntomic cohomology
Deligne cohomology has a geometric interpretation. For example, $H^{2}_{\mathcal{D}}(X,\mathbb{Z}(1))$ is identified with the group $H^{1}(X,\mathcal{O}_{X}^{\ast})$ of isomorphism classes of line ...
- 1,404
6
votes
0
answers
630
views
On the Erratum to P. Scholze's "$p$-adic Hodge theory for rigid-analytic varieties"
I am trying to understand section (3) of the Erratum to P. Scholze's "$p$-adic Hodge theory for rigid-analytic varieties" in detail. In particular, there is the following sentence on page ...
- 507
6
votes
0
answers
650
views
Are crystalline cohomology obsolete?
I'm interested in $p$-adic cohomology theories now. I have learned that since de Rham cohomology behaves badly in char $p$, people invented crystalline cohomology in smooth cases and later rigid ...
- 375
6
votes
0
answers
516
views
Quasi-syntomic descent and prismatic F-crystals
I am reading Bhatt and Scholze's paper on F-crystals, and they seem to be using the following result in the proof of Theorem 5.6:
let $X \to Y$ be a quasisyntomic cover of formal schemes over $\...
- 461
6
votes
0
answers
231
views
Variety over $\mathbb{F}_p$ that does not embed into flat scheme over $\mathbb{Z}/p^2\mathbb{Z}$
Let $X\to\mathrm{Spec}\:\mathbb{F}_p$ be a smooth proper morphism. Is there a closed immersion $X\to Y$ where $Y$ is flat of finite type over $\mathbb{Z}/p^2\mathbb{Z}$?
As mentioned in the comments ...
user158636
6
votes
0
answers
150
views
$SL_2(\mathbb{Z}_p)$ extension of a local field
Let $G$ be an arbitrary open group of $SL_2(\mathbb{Z}_p)$ and $K$ be a finite extension of $\mathbb{Q}_p$. Can we construct a Galois extension field $E$ of $K$ such that $\text{Gal}(E/K)\cong G$? ...
user141691
6
votes
0
answers
232
views
Complete characteristic p perfect Tate rings are uniform?
In Lemma 7.1.6 of his lecture notes on perfectoid spaces, Bhatt states that every complete characteristic p perfect Tate ring $A$ is uniform. In the proof he uses the Banach open mapping theorem on ...
- 61
6
votes
0
answers
412
views
Two Definitions of Barsotti-Tate Representations
In different articles I have seen different definitions of Barsotti-Tate representations. I am wondering if and how these definitions are equivalent.
In Section 1.1 of Conrad-Diamond-Taylor they say ...
- 161
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
6
votes
0
answers
408
views
Kisin module for CM elliptic curve
Let $E$ be a CM elliptic curve with CM by the field $K$ and assume that $p$ is ramified in $K$ so that $\pi^2 = p \in \mathcal{O}_K$. In particular, then $E$ has supersingular reduction at $p$ and by ...
- 443
6
votes
0
answers
369
views
Conjecture on classification of $p$-divisible over the ring of integers of $\widehat{\bar{\mathbb{Q}}_p}$
I am reading the paper of Fargues Quelques résultats et conjectures concernant la courbe. In the end of this paper, there is a conjecture on the classification of $p$-divisible groups over $\...
- 193
6
votes
0
answers
727
views
$p$-divisible groups and Breuil-Kisin modules with coefficients
Let $K$ be a finite extension of $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_K$ and residue field $k$. Choose a uniformizer $\pi \in \mathcal{O}_K$ and $E(u)$ be the minimal (Eisenstein) ...
- 825
6
votes
0
answers
197
views
classifying reducible 2-dimensional mod-p Galois representations
I want to classify reducible $2$-dimensional mod-$p$ Galois representations of a field $E$ of characteristic $p > 0$ (i.e. representations $G_E = \mathrm{Gal}(E^{sep}/E) \to GL_n(\mathbf{F}_p)$)
$$
...
user19475
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 ...
5
votes
0
answers
194
views
When is the image of $\operatorname{Gal}(\bar K/K)$ open in $\operatorname{Aut}(V)$, where $V$ is the vector space coming from a $p$-adic Tate module?
Let $K$ be a finite extension of $\mathbb{Q}_p$ with ring of integers $A$. Let $F$ be a $p$-divisible group and $T$ be the Tate module. Consider the vector space $V=T \otimes_{\mathbb{Q}_p} C$, where $...
- 195
5
votes
0
answers
556
views
Theorem 7.11 in Scholze's $p$-adic Hodge Theory
I was trying to understand the statement and proof of Theorem 7.11 in Scholze's paper "$p$-adic Hodge Theory for Rigid-Analytic Varieties". I'll reproduce part of the statement below:
Let $...
- 51
5
votes
0
answers
192
views
Image of $\gamma-1$ on etale $(\varphi,\Gamma)$-modules
Let $p\geq 3$ be a prime, $D$ be an etale $(\varphi,\Gamma)$-modules over the classical period ring $A_{\mathbb{Q}_p}=\mathbb{Z}_p[\![T]\!][1/T]^{\widehat{\phantom{xx}}}_p$ and $\gamma$ be a ...
- 549
5
votes
0
answers
387
views
Calculating étale fundamental groups from the usual fundamental group
$\newcommand{Spec}{\operatorname{Spec}}$Let $X$ be a connected affine smooth variety over $\mathbb{Q}$, with a point $x\in X(\Spec(\mathbb{Q})$.
For any algebraically closed field $K$ of ...
- 541
5
votes
0
answers
361
views
Equivalent definitions of the ring $B_{\mathrm{cris}}$
I'm reading Laurie's note about Fargues-Fontaine Curve and I think he uses a different definition of $B_{\mathrm{cris}}$. Usually when $R$ is a perfect ring of characteristic $p$, $A_{\mathrm{cris}}(R)...
- 1,093
5
votes
0
answers
315
views
motivations of classifying $p$-divisible groups
Let $k$ be a perfect field of characteristic $p>0$ and $W:=W(k)$ is the witt ring. Let $K$ be a totally ramified extension of $K_0:=W(\frac{1}{p})$ and $\Lambda:=W[[u]]$ is the formal series ring ...
user141691
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
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
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
4
votes
0
answers
192
views
base change property of Topological Hochschild homology
What is the "base change property" of topological Hochschild homology?
In Proposition 11.10 of Bhatt-Morrow-Scholze's paper "Topological Hochschild homology and integral p-adic Hodge ...
- 91
4
votes
0
answers
205
views
Grothendieck group of admissible $p$-adic representations
Let $K$ be a $p$-adic local field; $G = \mathop{\mathrm{Gal}}(\overline K | K)$; $\tau \in \{\text{HT}, \text{dR}, \text{crys}\}$, $B_\tau$ the corresponding period ring; $\mathop{\mathrm{Rep}}_{\...
- 988
4
votes
0
answers
293
views
Galois representation with infinite image but finite image everywhere locally
Fix a prime $l$. Let $\phi:\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to GL_n(\mathbb{Q}_l)$ be a semisimple continuous representation. Assume $\phi$ has finite image when restricted to $\mathrm{...
user158636
4
votes
0
answers
244
views
Uniqueness of $\delta$-structure on a $p$-torsion ring
I was working through Bhargav's notes on $\delta$-rings and prismatic cohomology, specifically lecture 2, page 2, point 5 where he claims that the ring $\mathbb Z[x]/(px,x^p)$ has a unique $\delta$-...
- 7,746
4
votes
0
answers
419
views
Is the Fargues–Fontaine curve proper?
It is well known that Fontaine's curve $X=\bigoplus_{k\geq0}B_{\text{cris}}^{+,\varphi=p^k}$ is a Noetherian irreducible complete scheme of dimension $1$. And completeness means that the degree ...
user141691
4
votes
0
answers
234
views
Why does $\theta: \mathbb{B}^+_{dr} \rightarrow \mathbb{C}_p$ have no continuous or equivariant section?
Fix a $p$-adic field $K$ with perfect residue field $k.$ Let $\mathbb{C}_K$ be the completion of the algebraic closure of $K,$ and let $$R = \varprojlim \mathbb{C}_K/p,$$ where the transition maps in ...
- 217