# 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 ...