Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 $...
Learner's user avatar
  • 195
4 votes
1 answer
153 views

Semistability of the $\ell$-adic representation of variety with semistable reduction

The question is in the title, but here's some quick background. It's easy to show (assuming smooth-proper base change) that the $\ell$-adic cohomology of a variety over the fraction field of a DVR ...
Nico's user avatar
  • 141
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 ...
user474's user avatar
  • 123
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 ...
Richard's user avatar
  • 785
0 votes
0 answers
111 views

Prime to $p$ monodromy of local system on rigid variety

Suppose $F$ is a finite extension of $\mathbb Q_p$, and $X$ is a rigid variety over $F$. I saw in proposition 3.7 of Oswal, Shankar, Zhu, and Patel - A $p$-adic analogue of Borel's theorem: "Let $...
Richard's user avatar
  • 785
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$-...
Richard's user avatar
  • 785
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 ...
Richard's user avatar
  • 785
3 votes
1 answer
329 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 ...
Richard's user avatar
  • 785
1 vote
0 answers
125 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)$. ...
Richard's user avatar
  • 785
1 vote
0 answers
103 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 ...
Richard's user avatar
  • 785
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 ...
user avatar
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 ...
Yijun Yuan's user avatar
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. ...
Desunkid's user avatar
  • 247
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 $...
Konstantin's user avatar
3 votes
0 answers
301 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 ...
Desunkid's user avatar
  • 247
4 votes
1 answer
394 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 ...
babu_babu's user avatar
  • 241
8 votes
2 answers
631 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 ...
User0829's user avatar
  • 1,428
3 votes
0 answers
148 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 $\...
Ashwin Iyengar's user avatar
3 votes
0 answers
336 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)}...
lzhao's user avatar
  • 166
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 ...
curious math guy's user avatar
3 votes
1 answer
184 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-...
curious math guy's user avatar
3 votes
1 answer
475 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. ...
MAS's user avatar
  • 930
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{...
user avatar
3 votes
0 answers
232 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 ...
user avatar
1 vote
0 answers
272 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). ...
curious math guy's user avatar
1 vote
0 answers
125 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 ...
quasi-mathematician's user avatar
3 votes
0 answers
230 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{\...
user avatar
4 votes
1 answer
278 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(\...
user avatar
7 votes
1 answer
402 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, ...
user avatar
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 ...
user avatar
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. ...
user avatar
6 votes
1 answer
297 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_{\...
user avatar
3 votes
1 answer
676 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 ...
MAS's user avatar
  • 930
5 votes
1 answer
486 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 ...
xlord's user avatar
  • 643
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 ...
xlord's user avatar
  • 643
6 votes
2 answers
1k 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 ...
DCM's user avatar
  • 217
4 votes
1 answer
888 views

Fontaine-Fargues curve and period rings and untilt

When I read the paper "THE FARGUES–FONTAINE CURVE AND DIAMONDS" of Matthew Morrow, I have a question on page 11. Question: The arthur said that the de Rham and crystalline period rings implicitly ...
user avatar
2 votes
1 answer
882 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 ...
user avatar
7 votes
2 answers
1k views

Classify 2-dim p-adic galois representations

Recently I have known how to classify 1-dim p adic Galois representations $\phi$. The p-adic Galois representations mean that a representation $G_K$ on a p-adic field $E$, where $K$ is also a p-adic ...
user avatar
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$ ...
Ari's user avatar
  • 181
3 votes
0 answers
518 views

Condition on a Fontaine Laffaille module which prescribes the image of the associated Galois representation

The Setup: Let $m\geq 1$ be an integer, $\mathbb{F}$ be a finite field of characteristic $p$ and $W(\mathbb{F})$ the ring of Witt-vectors with residue field $\mathbb{F}$ and $\sigma:W(\mathbb{F})\...
user avatar
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 ...
Shawn's user avatar
  • 453
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 ...
Aurel's user avatar
  • 5,382
11 votes
1 answer
1k views

Reference request: Newton above Hodge

Let $K$ be a p-adic field, and let $\mathcal{O}$ be the ring of integers inside $K$ with residue field $k$. Let $\mathcal{X}$ be a smooth proper formal scheme over $\mathcal{O}$ (with topology given ...
S. Li's user avatar
  • 619
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 ...
Misja's user avatar
  • 161
4 votes
1 answer
200 views

Smooth intertwining operators

Let $V$ be a crystalline irreducible representation of the absolute Galois group of $\mathbb{Q}_p$ with distinct Hodge Tate weights $(0,k-1), k \in \mathbb{Z}_{\geq 2}$. Then $V$ is uniquely ...
MathStudent's user avatar
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(...
MathStudent's user avatar
7 votes
1 answer
368 views

How large is Dcris of certain twists of modular forms?

I want to determine $\mathrm D_{\mathrm{cris}}$ of certain twists of the Galois representations attached to modular forms. For one particular twist it is not clear to me how $\mathrm D_{\mathrm{cris}}$...
Michael Fütterer's user avatar
3 votes
1 answer
412 views

Reference on a result on local Galois representation associated to classic modular form in p-adic Hodge theory

At the end of Fontaine’s rings and p-adic L-functions, P. Colmez states a Theorem 8.4.8 (click here) of Faltings-Tusji-Saito without references. So I am wondering is there any references for this ...
Bonbon's user avatar
  • 806
4 votes
1 answer
302 views

A definition of a (amalgamated) direct sum

I am wondering about a definition of a direct sum in page $31$ of this paper by R. Liu. I am following the notations in page $31$ of the above paper. Let $V$ be a crystalline irreducible ...
MathStudent's user avatar