Questions tagged [p-adic-hodge-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1
vote
0answers
34 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 ...
2
votes
0answers
176 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?
3
votes
0answers
97 views

$p$-adic Hodge theoretic properties of global Galois representations via $\ell$-Frobenii

Let $G_{\mathbb{Q},S} = \mathrm{Gal}(\mathbb{Q}_S/\mathbb Q)$ where $\mathbb Q_S$ is the largest algebraic extension of $\mathbb Q$ unramified outside a finite set of places $S$. Then the union over $\...
3
votes
0answers
208 views

A question on the Robba ring

Notation is as in the question: https://math.stackexchange.com/questions/4090045/some-questions-about-the-robba-ring. We define a new operator over the Robba ring as follows. Put $$c=\frac{pE(u)}{E(0)}...
6
votes
2answers
749 views

Vector bundles on adic spaces

Let $X = \mathrm{Spa}(A,A^+)$ be an analytic sheafy adic space. Let $\mathcal{E}$ be a locally finite free $\mathcal{O}_X$ sheaf. Does $\mathcal{E}$ correspond to a geometric vector bundle over $X$? ...
2
votes
1answer
161 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 ...
3
votes
1answer
144 views

Restriction of $(\varphi, N)$-modules

For any $p$-dic field $K$, we have an equivalence of categories $$D_{st}:Rep_{\mathbb{Q}_p}^{st}(G_K)\rightarrow MF_K^{ad}(\varphi,N),\quad V\mapsto (B_{st}\otimes_{\mathbb{Q}_p} V)^{G_K}$$ with quasi-...
5
votes
0answers
195 views

Integral refinements of rigid cohomology

Disclaimer: I know absolutely nothing about p-adic cohomology, so it is possible that even the premises of this question are incorrect. But it turns out that I need to apply the theory of rigid ...
6
votes
1answer
433 views

Finite non-empty coproduct in the absolute prismatic site

Let $(R/A)_\Delta$ be the prismatic site over $R$ relative to a prism $(A, I)$, then it is known that $(R/A)_\Delta$ admits finite non-empty coproduct, for instance, by Cor. 5.2 in Bhatt's lecture ...
3
votes
1answer
198 views

To identify $p$-adic Tate module $T_p(G)$ of $p$-divisible group $G$ in the category $\text{Rep}_{\mathbb{Q}_p}(G_{K_\infty})$

Let $k$ be a perfect field of characteristic $p>0$, $W=W(k)$ its ring of Witt vectors, $K_0=W(k)[\frac{1}{p}]$ and, $K/K_0$ be a totally ramified extension. Let $\pi \in K$ be an uniformizer. ...
2
votes
0answers
117 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 ...
20
votes
1answer
1k views

Condensed criterion for sheafiness of adic spaces

Multiple times in talks about condensed mathematics (e.g. the Masterclass talks, Clausen's RAMpAGe talk), it is stated that the derived structure sheaf given by the condensed formalism "fixes&...
6
votes
1answer
680 views

How many untilts?

I read the following passage in Endomorphisms of power series fields and residue fields of Fargues-Fontaine curves by Kedlaya-Temkin: "One can construct many algebraic extensions of $\mathbb{Q}_p$...
1
vote
0answers
185 views

Almost ring theory and derivations

I don't understand the definition of $\boldsymbol{\Omega}_A$ in the context of almost rings. In Gabber and Ramero https://arxiv.org/pdf/math/0409584.pdf it is covered in 9.6.12. How is $\boldsymbol{\...
10
votes
0answers
350 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 ...
4
votes
0answers
155 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{...
3
votes
0answers
193 views

$l$-adic Galois representations factor through a common finite quotient

Let $X$ be a smooth projective geometrically connected variety over $\mathbb{Q}$. Assume that for some $m>0$ we have $h^{i, 2m-i}(X)=0$ unless $i=m$. Does there exist a number field $E$ such that ...
1
vote
0answers
158 views

$p$-adic Galois representation and Étale homology

Let $X$ be a smooth proper scheme over some $p$-adic field $K$. The "usual" way to get a Galois representation out of this is to consider the étale cohomology (either $p$ or $\ell$-adic). ...
6
votes
0answers
205 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 ...
9
votes
1answer
391 views

Hodge numbers rule out good reduction

A theorem of Fontaine says that if a geometrically connected smooth proper variety $X$ over $\mathbb{Q}$ has good reduction everywhere then $h^{i, j}(X)=0$ for $i\neq j$, $i+j\leq 3$. This means that ...
3
votes
0answers
144 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$-...
4
votes
1answer
278 views

Can Hodge symmetry fail if there is a lift to $W_2$ and the crystalline cohomology is torsion-free?

Let $f:X\to \mathrm{Spec}\:\mathbb{F}_p$ be a smooth proper morphism with $p>\mathrm{dim}\:X$. Assume that $H^i_{\mathrm{crys}}(X/\mathbb{Z}_p)$ is torsion-free for all $i\geq 0$ and that there is ...
0
votes
1answer
172 views

Can $h^{1, 0}$ and $h^{1, 1}$ jump for smooth projective surfaces over $\mathbb{Z}[1/N]$?

Let $N$ be a positive integer. Let $f:X\to S=\mathrm{Spec}\:\mathbb{Z}[1/N]$ be a smooth projective morphism of relative dimension 2 such that $R^1f_*\mathcal{O}_X$ and $R^2f_*\mathcal{O}_X$ are both ...
3
votes
0answers
173 views

Explanation for devissage argument

Let $K$ be a local field of characteristic $0$ with the ring of integers $\mathcal{O}_K$ and uniformizer $\pi$. Let $k$ be the residue field of $K$ with $\text{card}(k)=q$. Let $\mathcal{O}_\mathcal{E}...
5
votes
0answers
135 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$? ...
12
votes
1answer
380 views

Can a covering space of the $p$-adic disc split over the circle?

Let $D = {\rm Sp}\, \mathbb{C}_p\langle x\rangle$ be the affinoid unit disc over $\mathbb{C}_p$. Is there an example of a connected finite etale cover of $D$ whose restriction to the "unit circle" ${\...
1
vote
0answers
300 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 ...
1
vote
0answers
101 views

galois deformation ring with type is union of irreducible components

Notation: $K$ finite extension of $\mathbb{Q}_p$, $G_K$ absolute Galois group of $K$, $E$ is finite extension of $\mathbb{Q}_p$ (coefficient field), $O_E$ is ring of integer in $E$. In this paper of ...
5
votes
0answers
238 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)...
3
votes
0answers
189 views

Independence of $p$ of Hodge-Tate weights

Let $X$ be a smooth and proper variety over $\mathbb{Q}$. Then for each prime $p$ we have the representation $R_p=H^i_{et}(X\times \overline{\mathbb{Q}_p}, \mathbb{Q}_p)$ of $\mathrm{Gal}(\overline{\...
4
votes
1answer
207 views

Irreducible local Galois representation with arbitrary Hodge-Tate weights

Let $p$ be a prime and $M$ be a finite multiset of non-negative integers. Does there exist a continuous irreducible de Rham representation $\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)\to GL_n(\...
7
votes
1answer
342 views

Irreducible global Galois representation with weights 0, 1, 3?

Fix a prime number $p$. Can there exist a continuous irreducible representation $\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})\to \mathrm{GL}_3(\mathbb{Q}_p)$ that is unramified at almost all primes, ...
3
votes
1answer
131 views

How does an analytic space correspond to a $p$-adic Banach space

Let $K$ be a finite extension of $\mathbb{Q}_p$, and $V$ be a Banach algebra over $K$, then what is the $K$-analytic space corresponding to $V$? What is the definition of $K$-analytic space? This is ...
4
votes
0answers
307 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 ...
12
votes
2answers
937 views

Is there a version of algebraic de Rham cohomology that can be used to calculate torsion classes?

Much work has gone into the construction of cohomology theories which are defined on algebraic varieties (étale, crystalline, etc.) and comparison isomorphisms between them. Say $X$ is an algebraic ...
2
votes
1answer
126 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. ...
6
votes
1answer
235 views

$B_{\mathrm{dR}}=B_{\mathrm{cris}}+{B_{\mathrm{dR}}^+}$?

$B_{\mathrm{cris}}\subseteq B_{\mathrm{dR}}$ and $B_{\mathrm{dR}}^+$ are well-known period rings in $p$-adic Hodge. I know $B_{\mathrm{dR}}=B_{\mathrm{dR}}^+[\frac{1}{t}]$ and $\frac{1}{t}\in B_{\...
3
votes
1answer
379 views

Would it be a little but good exercise to construct or find out Breuil modules?

My question is about p-adic Hodge-Tate theory and p-adic Galois representation. One of the important semi-linear object in p-adic Galois representation is the $\text{Breuil Module}$. There are ...
9
votes
1answer
539 views

Tamagawa numbers

Let $K$ be a finite extension of $\mathbb{Q}_p$ with absolute Galois group $G_K$. Let $A$ be an abelian variety defined over $K$. The (geometric) Tamagawa number is defined as the order of the ...
10
votes
1answer
515 views

Is the de Rham complex in characteristic $p$ a CDGA?

In the paper by Bhatt and Scholze on prismatic cohomology (https://arxiv.org/pdf/1905.08229.pdf), it is stated that the de Rham comparison theorem for prismatic cohomology can be lifted to an ...
5
votes
1answer
293 views

Motivation behind Fontaine's Theory

I am reading Fontaine's theory of $p$-adic Galois representations. But I am not able find the motivation behind it. Please let me know some good reference where I can study the motivation behind ...
4
votes
2answers
285 views

$p$-adic series bounded if and only if it has finitely many zeros

Let $L\subseteq\mathbb{C}_p$ be a finite extension of $\mathbb{Q}_p$, $r$ be a positive real number, and $f$ be a series $\sum_{n\in \mathbb{Z}} a_nz^n$ convergent in $D= \{x\in \mathbb{C}_p|0<v(x)\...
5
votes
0answers
254 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 ...
5
votes
1answer
279 views

Generalized Hodge-Tate weights of an arbitrary p-adic Galois representation

Let $V$ be a continuous representation of the absolute Galois group of $\mathbb{Q}_p$ with coefficients in $\mathbb{Q}_p$. The theory of Sen attaches to $V$ generalized Hodge-Tate weights which are ...
2
votes
1answer
239 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
1answer
254 views

References for the early history of Fontaine's tilting construction

Scholze attributes the tilting construction for perfectoid rings to Fontaine, who calls it "a classical construction in $p$-adic Hodge theory". Would anyone happen to know an early reference where ...
4
votes
0answers
199 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 ...
15
votes
0answers
429 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 ...
2
votes
1answer
473 views

Topology on $p$-adic period rings in an article by Fontaine, part II

This is a follow-up to this question. See that question for background and relevant notation. In the answer to that question, it is claimed, if I understand the answer correctly, that a basis of ...
1
vote
2answers
400 views

Topology on $p$-adic period ring in an article by Fontaine

Fix a $p$-adic field $K$ with perfect residue field $k.$ Let $\mathcal{C}$ be the completion of the algebraic closure of $K,$ and let $$R = \varprojlim \mathcal{C}/p,$$ where the transition maps in ...