Questions tagged [p-adic-hodge-theory]
The p-adic-hodge-theory tag has no usage guidance.
218 questions
3
votes
0
answers
370
views
The Breuil-Mezard Conjecture and Generalizations (Survey)
What's the current state of the Breuil-Mezard conjecture? Has the original version (from the 2002 paper) been solved in its entirety? What are some of the new directions being explored?
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 ...
3
votes
0
answers
204
views
Hodge filtration over $\mathbb Z_p$
Let $p$ be a prime number.
Let $X\to\operatorname{Spec}\mathbb Z_p$ be smooth and proper. Is it true that
the map $H^i(X,\Omega^{\bullet\geq j}_{X/\mathbb Z_p})\to H^i(X,\Omega^\bullet_{X/\mathbb Z_p})...
2
votes
1
answer
906
views
Hodge-Tate representations
I know that the p-adic representaions from geometries are de Rham representations and hence they are Hodge-Tate
representations. Then, are there (more than 2-dimensional) Hodge-Tate representations ...
2
votes
1
answer
401
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. ...
2
votes
1
answer
435
views
Explicit semi-stable theorem for elliptic curves over $p$-adic fields
In this paper of Maja Volkov, the authur metions a number called "défaut de semi-stabilité" on page 9. It is defined as $\text{dst}(E)=\frac{12}{\text{pgcd} (12,v_p(\Delta_E))}$ where $E$ is ...
2
votes
1
answer
367
views
p-adic representations of $GL_2(\mathbb{Q}_p)$
Let $L$ be a finite extension of $\mathbb{Q}_p$. Colmez defines here
the trainguline representations which are extensions of Robba rings of dimension $1$. Then, in this paper he contructs the ...
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 $...
2
votes
2
answers
642
views
Examples of p-adic representations
When reading the books or papers on p-adic Hodge theory, non trivial example of p-adic representation seems to be only the example of Tate curves. To be sure, I had read the very readable introduction ...
2
votes
1
answer
281
views
An example that a $p$ adic Galois representation is crystalline but not $B_e$ admissible
$B_e=B_{\text{cris}}^{\phi=1}$, so if a $p$-adic Galois representation $V$ is $B_e$ admissible, then it is crystalline, so I want to know an example that $V$ is crystalline but not $B_e$ admissible.
...
2
votes
1
answer
243
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 ...
2
votes
1
answer
232
views
Local to global for semistable $G_{\mathbb{Q}_p}$-representations
Let $\rho_p:G_{\mathbb{Q}_p} \to \text{Gl}_n(\mathbb{Q}_p)$ be semistable representation. In local to global Galois representation, it was asked if one can find a geometric global Galois ...
2
votes
1
answer
282
views
Uniqueness of finite flat models over bases of low ramification via Breuil-Kisin modules
Let $R$ be a complete DVR of mixed characteristic $(0, p)$, let $K$ be its fraction field, and assume that the absolute ramification index $e$ of $R$ satisfies $e < p - 1$ and that the residue ...
2
votes
1
answer
278
views
extension of the universal cyclotomic character
Let $p$ be a prime number, $\psi:G_\mathbb{Q} \rightarrow \bar{\mathbb{Q}}_p$ be an odd character of conductor $N$ prime to $p$, with finite image and such that $\psi(p)=1$. Let $\mathcal{W}$ be the ...
2
votes
1
answer
466
views
Minimal semistable model for K3-surfaces.
I wonder if a semistalbe K3 surface over a $p$-adic field has a minimal semistable model. I guess yes but I do not find any reference.
Also, if we have a semistable K3 surface with a log structure, ...
2
votes
1
answer
290
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
324
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_{...
2
votes
1
answer
883
views
How to prove the p-adic Galois representations atteched to the Tate module of an abelian variety is de Rham directly?
Recently I read a thesis p-adic Galois representations and elliptic curves. Using Tate's curve, the author proved the p-adic Galois representations atteched to the Tate module of an elliptic curve is ...
2
votes
1
answer
188
views
Semistability of local Siegel Galois rep:
When are the $l$-local $p$-adic Galois representations of Siegel modular forms semistable? By this I mean $\rho_{f}: G_{\mathbb{Q}}\to \operatorname{GSpin}_{2n+1}(\overline{\mathbb{Q}}_p)$ restricted ...
2
votes
1
answer
163
views
Locally analytic vectors of a quotient space
My question here is in connection with one of my previous question
"A definition of a (amalgamated) direct sum"
Following the notations there, my question is:
Why the locally analytic vectors of $B(...
2
votes
0
answers
107
views
Question about trianguline representations
Following the notation in https://arxiv.org/abs/1011.3447 a representation $V$ is split trianguline iff $D(V)$ has a basis in which the matrices of $\varphi$ and of all the elements of $\Gamma$ are ...
2
votes
0
answers
124
views
Vector bundles on pro-etale topology over a field
Suppose $K$ is a finite extension of $\mathbb Q_p$. Consider the one-point adic space $X=\operatorname{Spa}K$, and let $C=\hat {\bar K}$, $G=\operatorname{Gal}(\bar K/K)$. I heard that the category of ...
2
votes
0
answers
161
views
What is the Galois representation structure of $B_{\text{cris}}^+/(t)$?
In $p$-adic Hodge theory, there is a nice exact sequence for quotients of $B_{\text{dr}}^+$. Denote by $t$ the typical uniformizer of $B_{\text{dr}}^+$ (the cyclotomic character), then there is a $G_{\...
2
votes
0
answers
194
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$-...
2
votes
1
answer
402
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 ...
2
votes
0
answers
103
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
0
answers
187
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 ...
2
votes
0
answers
131
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
187
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 ...
2
votes
0
answers
209
views
Is there a smooth proper family whose fibers are not Mazur-Ogus?
Set $K$ to be a number field, denote by $\mathcal{O}_K$ the integer ring of $K$. My question is the following:
Is there a smooth proper family $X \to \mathcal{O}_K$ whose fibers are not Mazur-Ogus?
2
votes
0
answers
138
views
Local deformation ring of representations with equal generalized Hodge-Tate weights
Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $\overline{\rho}:\mathrm{Gal}(\overline{K}/K)\rightarrow \mathrm{GL}_2(\mathbb{F})$ be a characteristic $p$ representation. According to a ...
2
votes
0
answers
670
views
Čech-Alexander complex in computing (crystalline/prismatic) cohomology
I have a naive question about Čech-Alexander complexes in prismatic cohomology (although I suspect that the situation is similar for crystalline cohomology).
They seemed to be introduced as a method ...
2
votes
1
answer
131
views
2-dimensional absolutely irreducible $p$-adic Galois reps
Here the following is stated:
It's a basic fact in $p$-adic Hodge theory that any 2-dim. absolutely
irreducible $G_{\mathbb Q_p}$-representation with distinct Hodge-Tate weights is uniquely ...
2
votes
0
answers
232
views
Berthelot’s comparison theorem and functoriality
Let $A$ be a noetherian $p$-adically complete ring with an ideal $I$ equipped with a PD structure and such that $p$ is nilpotent on $A/I$.
Let $S = \text{Spec}(A)$, $S_0 = \text{Spec}(A/I)$, $Y\to S$ ...
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}(\...
2
votes
0
answers
141
views
Hodge-Tate weights of etale cohomology groups
Given a smooth algebraic variety $X$ over a number field $F$, its $p$-adic cohomology groups $H^i(X \times_F \bar F, \mathbb Q_p)$ carries an action of $\mathrm{Gal}(\bar F/F)$, which gives a ...
2
votes
0
answers
180
views
Is there a Hodge structure for smooth proper varieties over $\mathbb{C_p}$? [duplicate]
For smooth proper varieties over $\mathbb{Q_p}$, we have several comparison theorems in p-adic Hodge theory, in particular a p-adic Hodge structure.
Now for $\mathbb{C_p}$, is there any such results ...
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 ...
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)...
1
vote
1
answer
242
views
Can a p-adic ball cover a p-adic ball?
Are there a polynomials $f_1,...f_n \in \mathbb{Z}_p[x_1,...x_n]$ with there coeficients $p$-adic integers s.t.
A map $F:\mathbb{Z}_p^n\rightarrow \mathbb{Z}_p^n$ defined by $f_1,...f_n$
satisfy the ...
1
vote
1
answer
156
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$ ...
1
vote
1
answer
300
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
243
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 $...
1
vote
1
answer
147
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 ...
1
vote
1
answer
170
views
Is the completion of the field generated by torsion points of a 1-dimensional formal group perfectoid?
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $G$ be a 1-dimensional formal group defined over $\mathcal{O}_K$. Consider the field $K_\infty$ obtained by adjoining to $K$ all the solutions ...
1
vote
1
answer
176
views
An archimedean analogue of the non-canonicity of Hodge--Tate decomposition
For smooth proper schemes over $\mathbb{C}_p$, there is no canonical Hodge--Tate decomposition (but there is something close). Is there an analogue of this on the archimedean side? I thought about ...
1
vote
1
answer
314
views
A question about Kato's explicit reciprocity law
In the paper Iwasawa Theory and F-analytic Lubin-tate $(\phi,\Gamma)$-modules
Prop 3.4.2 says that for any $x\in{S}$, there exists (not uniuqely) $f(T)\in{B_{rig,F}^+}$ such that
$f(u_n)=\log_{LT}(...
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 ...
1
vote
0
answers
138
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_{\...
1
vote
0
answers
80
views
The bound for zeros of the composition of polynomials and analytic functions
Suppose $K$ is a number field, and $A\in M_n(K)$. $v$ is a place of $K$, and $f_1,\cdots,f_n$ are analytic functions (one variable) on $m_v\mathcal O_{K,v}$, satisfying: $\frac{\mathrm d \bf {f}}{\...