Questions tagged [p-adic-hodge-theory]
The p-adic-hodge-theory tag has no usage guidance.
204
questions
3
votes
0
answers
67
views
Algebraic properties of Witt vectors $W(K^{\flat\circ})$, $K$ a characteristic 0 perfectoid field
Let $K$ be as in the title with tilt $K^\flat$. $W = W(K^{\circ\flat})$ satisfies a universal property: it is the unique $p$-adically complete $p$-torsion free $\mathbb{Z}_p$-algebra $A$ with $A / pA \...
1
vote
0
answers
146
views
Deformations over $A_{\inf}$
Setup:
Let $K$ be a perfectoid field of characteristic $0$ with tilt $K^{\flat}$.
Let $A_{\inf}=W(\mathcal{O}_{K^{\flat}})$ be the infinitesimal period ring.
Let $\mathcal{X}$ be a flat, projective $\...
0
votes
0
answers
131
views
Kato's explicit reciprocity law paper
Does anyone have a copy of Kato's article Generalized explicit reciprocity laws in Advanced Studies in Contemp. Math which is used heavily in his paper constructing his eponymous Euler system? I used ...
4
votes
0
answers
223
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 ...
2
votes
0
answers
159
views
Calculate $D_{\mathrm{cris}}(V)$ for a crystalline representation
$\newcommand{\cris}{\mathrm{cris}}$In my setting, $K/\mathbb Q_p$ is finite and unramified, and $V$ is a $2$-dimensional crystalline representation of $G_K$. Then we have $D_{\cris}(V)$, which is $2$-...
1
vote
0
answers
114
views
Calculation of de Rham cohomology of abelian varieties/ jacobian varieties
It's known that for a elliptic curve like $E:y^2=x(x-1)(x-t)$ we have a basis $\frac{dx}{y}, \frac{xdx}{y}$ for $H_{dR}^1(E)$. But find such a basis is not an easy thing. I wonder for a general ...
1
vote
0
answers
111
views
Centralizer of Frobenius on filtered $\phi$ module
Suppose $K$ is an unramified extension of $\mathbb Q_p$ of degree $m$, and $\sigma$ is the $p$ power frobenius on $K$. Suppose $V$ is a $2$ dimensional admissible filtered $\phi$ module over $K$.
I ...
2
votes
1
answer
178
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)$ ...
2
votes
1
answer
254
views
Irreducibility of Tate module (as a Galois representation) of elliptic curves with good reduction
This question is following the previous question.
Definitions:
Suppose $F$ is an unramified finite extension of $\mathbb Q_p$ and $E$ is an elliptic curve defined over $F$ with good reduction. Denote ...
3
votes
1
answer
199
views
Calculation of Frobenius on de Rham cohomology of elliptic curves with good reduction
I'm reading "An introduction to the theory of $p$-adic representations" by Laurent Berger. In the page 14 it says:
Suppose $F$ is an unramified finite extension of $\mathbb Q_p$ and $E$ is ...
3
votes
1
answer
229
views
Adic generic fiber of a small formal scheme in the sense of Faltings
$\DeclareMathOperator{\Spf}{Spf}\DeclareMathOperator{\Spa}{Spa}$In the Definition 8.5 of the paper "integral $p$ adic Hodge theory" by Bhatt-Morrow-Scholze, they define the adic generic ...
1
vote
0
answers
118
views
Is the Frobenius semisimple on the de-Rham cohomology?
Suppose $K$ is a unramified finite extension of $\mathbb Q_p$, and $X$ is a projective smooth curve defined over $K$. By $p$-adic Hodge theory we know $D_{cris}(H_{et}^i(X,\mathbb Q_p))=H_{dR}^i(X)$. ...
1
vote
0
answers
102
views
Is there a bound on the number of $p$-adic semisimple representations?
Faltings proved the following:
Fix integers $w, d \geqslant 0$, and fix a number field $K$ and a finite set $S$ of primes of $\mathcal{O}_K$. There are, up to conjugation, only finitely many ...
2
votes
0
answers
68
views
Reference request: learning Fontaine-Messing theory
I am interested in learning about Fontaine-Messing theory. Besides the original papers, though, I don't know any good expository literature on this topic (crystalline representations, etc.). Can ...
2
votes
1
answer
226
views
$\pi$-adic Galois representations of attached to newforms at $p \nmid N$ are crystalline
Is [Scholl, Motives for modular forms, Theorem 1.2.4 (ii)] proven for any $p$ independent of the weight?
Concretely, let $f$ be a normalized eigenform of weight $w$. Let $p$ be a prime not dividing ...
5
votes
0
answers
178
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 ...
1
vote
0
answers
199
views
$p$-adic étale cohomology group of open smooth varieties
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $X$ be a smooth variety over $K$.
Dr. Yamashita announced that he had proved the Galois representation of $p$-adic étale cohomology group $H^*_{\...
5
votes
0
answers
281
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 ...
3
votes
1
answer
407
views
p-adic period map in Lawrence and Venkatesh
In Lawrence and Venkatesh's paper on the Mordell conjecture, they prove that there are finitely many $K$-rational points on a hyperbolic curve $X$, where $K$ is a number field, by showing that there ...
3
votes
0
answers
200
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}}$. ...
6
votes
0
answers
543
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 ...
11
votes
2
answers
1k
views
What is the Perrin-Riou logarithm (or regulator)?
Recently I've been rewatching some recordings of old talks on L-functions and explicit reciprocity laws (in particular, the series of talks by Loeffler and Zerbes given at this workshop at the CRM in ...
4
votes
0
answers
142
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 ...
3
votes
1
answer
278
views
Why is Fontaine's infinitesimal period ring $A_{\text{inf}}$ complete?
Fix a perfectoid field $K$ in mixed characteristic with ring of integers $\mathcal{O}$ and pseudo-uniformizer $\varpi$. Its tilt is the fraction field of $\mathcal{O}^{\flat}=\varprojlim_{x\mapsto x^{...
8
votes
0
answers
368
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 ...
8
votes
1
answer
631
views
$p$-adic comparison of cohomology with coefficients in $\mathbb{Z}_{p}$ and $\mathbb{B}_{\textrm{dR}}$ on general smooth algebraic varieties
This is something which I'm sure is well known to experts which I would appreciate some information about. In his paper [1], Scholze proves (e.g. Theorem 8.4, Theorem 8.8) that on a proper adic space $...
1
vote
1
answer
150
views
$p$-adic étale cohomology groups are not $\mathbb{C}_p$-admissible
It is stated in Caruso - An introduction to $p$-adic period rings (the remarks following equation (2)) that the $p$-adic étale cohomology groups of an algebraic variety $X$ over a finite extension $K$ ...
2
votes
1
answer
337
views
Crystalline when restricted to inertial subgroup
$\newcommand{\ur}{\mathrm{ur}}\newcommand{\cris}{\mathrm{cris}}$Let $K$ be a finite extension of $\mathbb{Q}_p$, $G_K=\operatorname{Gal}(\overline{K}/K)$ and $I_K \subset G_K$ its inertial subgroup. ...
1
vote
1
answer
165
views
Trianguline representation
I have a problem in understanding the concept of trianguline representation. Maybe someone can enlighten me.
Let $K$ be a finite extension of $\mathbb{Q}_p$ and $V$ be a $p$-adic representation of $...
2
votes
1
answer
305
views
Rank of $\mathbb{Z}_{p}$-module $H_{et}^{i}(X,\mathbb{Z}_{p}(r))$
I want to ask the following question.
Let $X$ be a smooth projective variety of dimension $d$ over $p$-adic field $k$ ( i.e. finite extension of $\mathbb{Q}_{p}$). Is it true that etale cohomology $H_{...
9
votes
0
answers
1k
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 ...
6
votes
0
answers
491
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 ...
8
votes
1
answer
1k
views
Some questions from the paper by Scholze-Weinstein
The following is from the paper by Scholze-Weinstein on moduli of $p$ divisible groups.
My question is from a part of Lemma 4.1.7: If $R$ is a semiperfect ring, then the canonical map $W(R^{\flat}) \...
8
votes
1
answer
407
views
What is $TP(\mathbb{Z}_p)$?
Let $TP$ be periodic topological cyclic homology. What is $\pi_* TP(\mathbb{Z}_p)$?
(i) I know that $\pi_* TP(\mathbb{F}_p) \cong \mathbb{Z}_p[v^{\pm 1}]$ with $v$ in degree $-2$ by IV.4.8 of Nikolaus-...
3
votes
0
answers
251
views
Galois invariant of Tate module
Let $K$ be a finite extension of $\mathbb{Q}_p$. Let $V$ be a de Rham representation of $G_K=\operatorname{Gal}(\overline{K}/K)$. By Corollary 3.8.4 of Bloch and Kato - L-functions and Tamagawa ...
4
votes
1
answer
331
views
Reductive subgroups of $\mathrm{GL}_2$ over an algebraically closed field of characteristic zero
I am reading a very nice paper of Newton and Thorne, Symmetric power functoriality for holomorphic modular forms, and there is an argument concerning the (Zariski-closure of) image of certain $p$-adic ...
5
votes
0
answers
376
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 $\...
2
votes
0
answers
177
views
$G_K$-fixed points of sections of affinoids on the Fargues-Fontaine curve
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $G_K=\mathrm{Gal}(\overline{K}/K)$ be its absolute Galois group. There are the Fargues-Fontaine analytic curves $Y_{FF}$ and $X_{FF}$ associated ...
10
votes
0
answers
642
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 ...
1
vote
1
answer
282
views
Exact sequence, de Rham representation
Let $k$ be a $p$-adic field and $G_k$ its absolute Galois group. Let $B_\text{dR}$ be the de Rham period ring with the usual filtration given by powers of $t$. For $i < j$ integers we have an exact ...
1
vote
1
answer
119
views
Triangularizability of induced $(\phi, \Gamma)$-modules
Let $K$ be a finite extension of $\mathbb{Q}_p$ and $L/K$ a finite unramified extension.
Let $M$ be a $(\phi, \Gamma_L)$-module over the Robba ring of $L$ (with coefficients in some other $p$-adic ...
3
votes
0
answers
156
views
Smooth proper varieties over the integers that are not toric
Does there exist a smooth proper variety $X$ over $\operatorname{Spec} \mathbb Z$ that is not toric?
By Fontaine, we know that there is no Abelian scheme over $\operatorname{Spec} \mathbb Z$. Also by ...
12
votes
3
answers
2k
views
Witt vectors, the cotangent complex, and a solid construction of $B_{dR}^+$
In a remarkable lecture delivered on October 29th: New Foundations for functional analysis, Dustin Clausen suggests at the 40 minute mark a remarkable new construction interpretation of Fontaine's ...
4
votes
0
answers
198
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}}_{\...
2
votes
0
answers
125
views
Base change of Hodge-Witt cohomology
Let $k$ be a perfect field of characteristic $p$, and $L$ be a finite extension of $k$.
For a smooth projective variety $X$ defined over $k$, we denote the base change $X \times_k L$ by $X_L$. In this ...
2
votes
0
answers
181
views
Does the map $\theta[1/p]: A_{\mathrm{inf}} \otimes \mathbb Q_p \to \mathbb C_p$ split?
This question might be very elementary to someone who knows p-adic hodge theory/perfectoid stuff etc.
Recall that $\mathbb C_p = \hat{\overline{\mathbb Q_p}}$ and $\mathbb C_p^\flat$ is it's tilt. We ...
8
votes
2
answers
483
views
Motivation of the construction of $p$-adic period rings
Let $B$ be either $B_{\text{dR}}$ or $B_{\text{crys}}$. For a $\mathbb{Q}_p$-representation $V$ of the absolute Galois group $\mathrm{Gal}(\overline{K}/K)$ of a $p$-adic field $K$ (a finite extension ...
3
votes
1
answer
346
views
The kernel from $A_\mathrm{inf}$ to $\mathcal{O}_{\mathbb{C}_K}$
I tried to understand this paper on page 31.
Let $K$ be an finite extension of $\mathbb Q_p$ and $\overline{K}$ be its algebraic closure; $\mathcal{O}_{\overline{K}}$ is the ring of integers of $\...
3
votes
1
answer
381
views
Why does $\mathbb C_p$ not contain the periods?
I am reading the following article of Berger, p8 and I don't understand the idea:
$C_p:=\widehat{\overline{\mathbb Q_p}}$ does not contain the periods
The text seem to reason as follows
(under some ...
4
votes
1
answer
311
views
A Tate-Sen theorem mod $p$
Let $p$ be a prime number, $G=\textrm{Gal}(\overline{\mathbb{Q}}_p/\mathbb{Q}_p)$, and $\chi:G\rightarrow\mathbb{Z}_p^\times$ the cyclotomic character. Let $\mathbb{C}_p$ denote the completion of the ...