Questions tagged [galois-representations]
The term Galois representation is frequently used when the G-module is a vector space over a field or a free module over a ring, but can also be used as a synonym for G-module. The study of Galois modules for extensions of local or global fields is an important tool in number theory.
627 questions
3
votes
2
answers
338
views
Isomorphism between finite algebras over ${\Bbb Z}_p$
Let $\pi \colon R \twoheadrightarrow {\Bbb T}$ be a surjective ring homomorphism between finite algebras over ${\Bbb Z}_p$. Further, we suppose the following three conditions$\colon$
$R$ is a ...
- 331
5
votes
1
answer
276
views
Properties of Mod $\ell^m$ Galois representation associated to modular form
(Sorry for my poor english..)
Let $F(z)\in S_{2k}(SL_2(\mathbb{Z})$) be a newform and $\ell$ be a prime larger than $3$. Let $K$ be a some number field and $v$ be a prime of $K$ over $\ell$. Let $K_v$...
- 10.9k
4
votes
0
answers
418
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 ...
- 11.8k
3
votes
1
answer
675
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 ...
- 41
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.
...
CommunityBot
- 1
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_{\...
- 63.9k
13
votes
1
answer
1k
views
Applications of anabelian geometry to Galois representations?
One aspect of anabelian geometry is the study of the action of the absolute Galois group of a field $K$ on the etale fundamental group $\pi_1(X_\overline K)$, where $X$ is a (anabelian) variety and $...
CommunityBot
- 1
2
votes
0
answers
100
views
On a certain radical of the formal power series ring $K[[X_1,X_2,\ldots,X_{\infty}]]$
Let $K$ be a field of characteristic $p > 2$ and $A_{\infty} \colon= K[[X_1,X_2,\ldots,X_{\infty}]]$ be an infinitely-many-variable formal power series ring over $K$ (the symbol $X_{\infty}$ is to ...
- 563
6
votes
1
answer
321
views
Adjoint Selmer groups and Deformation rings
Let $\rho:\operatorname{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})\rightarrow \operatorname{GL}_2(\bar{\mathbb{Z}}_p)$ be a $p$-adic Galois representation associated to a $p$-ordinary Hecke eigencuspform, let $...
- 37k
6
votes
1
answer
315
views
Proving automorphy of the Galois representations of number fields without considering the residual representation
All the papers proving automorphy of the representations of Galois groups of number fields that I have come across seem to first reduce the representation modulo a prime, prove the automorphy of the ...
- 13k
5
votes
0
answers
192
views
Globalizable Galois representations
Let $\rho$ be a $p$-adic representation of $G=\text{Gal}(\bar{\mathbb{Q}_p}/\mathbb{Q}_p)$.
When does $\rho$ extend to a representation of the global galois group? What can be said about the locus ...
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 ...
- 6,924
4
votes
1
answer
412
views
Motivations of families of modular forms, elliptic curves and Galois representations?
I want to know some reference, why do some number theorists study the families of the elliptic curves, modular forms or Galois representations? As far as I know, I always consider the Galois ...
CommunityBot
- 1
1
vote
1
answer
94
views
Intersection of a certain linear ideals of $K[[X_1,\ldots,X_{np}]]$ for ${\mathrm{ch}}(K) = p > 0$
Suppose ${\mathrm{ch}}(K) = p > 0$ and we consider the formal power series ring $K[[X_1,\ldots,X_{np}]]$ over $K$ in $np$ variables $X_1,\ldots, X_{np}$. Let $\Lambda$ be the set defined as follows$...
- 23.7k
5
votes
0
answers
132
views
Field of definition of compatible system of Galois representations
Let $K,F$ be number fields and suppose that there is a compatible system of Galois representations
$$(\rho_{\lambda} : \text{Gal}(\overline{K}/K) \longrightarrow \text{GL}_n(\overline{F}_\lambda) )$$
...
- 173
4
votes
0
answers
484
views
View Dirichlet character as a character of Galois group
In Jaclyn Lang's article "On the image of the Galois representation associated to non-CM Hida family" section 2, the Dirichlet character $\chi$ module $N$ is also viewed as a character $\chi\colon\...
- 337
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 ...
- 1,024
1
vote
1
answer
224
views
Power series ring $\Theta[[X_1,\ldots,X_d]]$ and prime ideals
Let $\Theta$ be a domain. We shall choose $d$ elements $\theta_1,\ldots,\theta_d \in \Theta$ such that any chosen $j$ elements $\theta_{i_1},\ldots,\theta_{i_j}$ form a prime ideal $(\theta_{i_1},\...
- 563
6
votes
0
answers
337
views
Stacks project for Galois representations and automorphic forms
Is there anything like Stacks project for Galois representations and automorphic forms? I am not asking people to start something like Stacks project, just asking if something like Stacks project ...
4
votes
0
answers
168
views
Derived weight filtration on motivic Galois representations
Thanks to modern techniques (such as the pro-etale site), we can now understand etale (co)homology of varieties and motives as "genuinely" derived (e.g. DG) Galois-equivariant objects. I'm looking for ...
- 7,952
2
votes
1
answer
881
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 ...
CommunityBot
- 1
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 ...
- 5,670
4
votes
1
answer
891
views
Isomorphism of the $\ell$-adic Tate module of an elliptic curve with CM
Let $E$ be an elliptic curve over $K$ (totally real number field) with complex multiplication by the field $L$. Let $\psi$ be the Grössencharacter associated to $E$, assume that $\psi$ of type $(-r,0)$...
- 5,670
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 ...
CommunityBot
- 1
2
votes
0
answers
342
views
Comparison of weight-monodromy filtrations
Setup:
Let $R$ be a finitely generated subring of $\mathbb{C}$. Let $X \rightarrow \mathbb{A}^1_R$ be a proper morphism of $R$-varieties, smooth except over a rational point $s \in \mathbb{A}^1_R$ ...
- 726
0
votes
0
answers
287
views
On the product in the power series ring
Let $A_n \colon= K[[X_1,\ldots,X_n,Y_1,\ldots,Y_n]]$ be a power series ring over a field $K$ in $2n$ variables and ${\frak m}_{A_n}$ be the unique maximal ideal of $A_n$.
Suppose we have two ...
- 563
3
votes
1
answer
235
views
Intrinsicness of Hodge-theoretic properties of Galois representations in a general reductive group
In the paper "The conjectural connections between automorphic representations and Galois representations" by Buzzard and Gee, it is said
"We say that
$\rho$ is crystalline/de Rham/Hodge–Tate if ...
- 148k
3
votes
1
answer
621
views
Lifting Galois representations
Let $G$ be the absolute Galois group of a finite extension of $\mathbb{Q}$ or $\mathbb{Q}_p$. Let $k$ be a perfect field of characteristic $l>0$ (possibly $l=p$).
If we have a homomorphism $G\...
CommunityBot
- 1
1
vote
0
answers
138
views
Hilbert modular form as a representation of Hecke algebra
I am reading some notes by Snowden and I don't understand a sentence.
Clearly, if we have an appropriate $R = T$
theorem then we get a modularity lifting theorem, as $\rho$ defines a homomorphism ...
- 63.9k
0
votes
1
answer
178
views
Ideal in ring of power series
Let $K$ be a field of characteristic $p$ and $A_n \colon= K[[X_1,\ldots,X_n]]$ be a $n$-variable formal power series ring over $K$ such that $n, p \geq 3$.
Consider the ideal $I$ defined by
\begin{...
0
votes
0
answers
214
views
Elliptic curves with the same Galois representation
Fix a prime $p$. If two elliptic curves over $\mathbb{Q}$ have the same p-adic Galois representation, then what relatinships do we know between them? Any references are welcome.
- 806
0
votes
2
answers
244
views
Power series ring and monomials
Let $A_n \colon= K[[X_1,\ldots,X_n]]$ be a formal power series ring over a field $K$ of characterisc $p > 0$ in $n$ variables.
For a given positive number $\epsilon > 0$ we call a monomial $X_{...
-1
votes
1
answer
231
views
Finite extension of $K[[X]]$ and the norm
Let $R \colon= K[[X]]$ be a formal power series ring over a field $K$. We consider a monic polynomial $f(T) \in R[T]$ as follows$\colon$
$$
f(T) = T^e + c_{e-1}T^{e-1} + \ldots + c_1T + c_0.
$$
...
- 563
0
votes
1
answer
149
views
Power series rings and the formal generic fibre
Let $S = K[[S_1,\ldots,S_n]]$ and consider $d$ elements
\begin{equation*}
f_1,\ldots,f_d \in S[[X_1,\ldots,X_d]]
\end{equation*}
and the prime ideal ${\frak P} \colon\!= (f_1,\ldots,f_d)$ generated ...
- 19.6k
1
vote
0
answers
138
views
Power series ring $R[[X_1,\ldots,X_d]]$ over a domain $R$
Let $R$ be a domain and
\begin{align*}
T \,\colon= R[[X_1,\ldots,X_d]].
\end{align*}
Suppose that we have $d$ elements $f_1,\ldots,f_d \in T$ and let us consider an ideal $J$ of $T$ such that $(f_1,\...
- 563
2
votes
1
answer
251
views
Étale fibration for $K[[X_1,...,X_n]]$
Let us consider a formal power series ring $A_n \colon= K[[X_1,\ldots,X_n]]$ with $0 \ll n < \infty$ and we shall consider a prime ideal ${\frak P}$ of $A_n$ such that $1 < {\mathrm{ht}}({\frak ...
6
votes
1
answer
658
views
Connection of Galois representation and arithmetic geometry
There are lots of Galois representations which arise naturally from geometric objects, for example, Galois representations attached to elliptic curves. I know that people are interested in studying ...
- 429
2
votes
0
answers
108
views
Deforming Modular Symbols
This is probably a silly question, as I don't really know a whole lot about modular symbols over arbitrary rings.
How do modular symbols over a finite field square with Katz modular forms? If they ...
CommunityBot
- 1
1
vote
0
answers
310
views
Primes of the power series rings
Let $A_n \colon= K[[X_1,\ldots,X_n]]$ be a $n$-variable formal power series ring. By setting $X_n \mapsto 0$, we obtain a natural surjection
\begin{equation*}
\psi_{n,n-1} \colon A_n \...
- 563
2
votes
1
answer
294
views
About the restriction of a modular representation to a decomposition subgroup
Let $f$ be an eigenform of level $\Gamma_1(N)$ and let $p$ be a prime that does not divide $N$. It is well know that there is a $2$-dimensional representation
$$
\rho_f \colon G_{\mathbb Q} \to \...
- 10.9k
0
votes
0
answers
116
views
Gauss lemma for a complete Noetherian domain
Suppose that $R$ is a Noetherian complete domain over a field $K$.
Suppose that a monic polynomial $f(X) \in R[X]$ (i.e., the highest degree $X^e$ in $f$ has the coefficient $1$), satisfies the ...
- 563
5
votes
0
answers
314
views
Hodge-Tate weights of cohomological cuspidal automorphic representation
Let $\Pi$ be an algebraic cuspidal automorphic representation for $GL_{n}/\mathbb{Q}$ cohomological with respect to a dominant integral weight $\mu \in X^{*}(T)$ ($T \subset GL_{n}$ being the standard ...
- 183
1
vote
0
answers
119
views
On the exponent of a certain matrix $A$ in characteristic $p > 0$
Let $A$ be a square matrix in characteristic $p > 0$ with both column and row having length $(1 + p^0 + p + \cdots + p^i)$, where $i \geq 0$.
Suppose that further the $(m,n)$-component $a_{m,n}$ ...
- 563
5
votes
1
answer
460
views
Nearby cycles and extension by zero
Let $f: X\to \text{Spec}(R)$ be a proper and smooth morphism, with $R$ a strictly henselian dvr. Call $s = \overline{s}$ the closed point and $\eta$ the geometric point of $\text{Spec}(R)$.
Call $i_s ...
- 2,923
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$ ...
- 181
2
votes
0
answers
155
views
Classification of mod p Galois Representations for l not equal to p
Let $l\neq p$ be primes and let $\text{G}_l:=\text{G}_{\mathbb{Q}_l}$. Let $k$ be a finite field of characteristic $p$ and $\bar{\rho}:\text{G}_l\rightarrow \text{GL}_2(k)$ a local Galois ...
CommunityBot
- 1
2
votes
0
answers
132
views
Iwasawa Theoretic Interest in a certain type of result
This question is probably going to sound vague (since it does to me) and I wish I could make it more precise, but here goes. For $p\in \{107, 139, 271,379\}$ Ohtani and Blondeau (in separate papers) ...
- 12.9k
16
votes
1
answer
1k
views
Some basic questions on crystalline cohomology
Let $X_0$ be a smooth projective variety over $\mathbf{F}_q$ and ${X}$ its base change to an algebraic closure $k$ of $\mathbf{F}_q$.
Crystalline cohomology $H^*_{\rm cris}(X) := H^*((X/W(k))_{\rm ...
- 7,377
5
votes
0
answers
174
views
Is there a conjectural analog of Ribet's theorem (Converse to Herbrand's Theorem) for Imaginary Quadratic fields?
For $p$ a prime, let $Cl(\mathbb{Q}(\mu_p))$ denote the class group of the extension of $\mathbb{Q}$ obtained by adjoining a primitive $p$th root of unity. Associated to an eigenform of weight 2 and ...
CommunityBot
- 1
6
votes
1
answer
524
views
How to compute Galois representations from etale cohomology groups of a generalized flag variety?
Let $G$ be a connected reductive group over a number field $K$, $P$ be a parabolic subgroup of $G$ defined over $K$, $X=G/P$ be the generalized flag variety which is a smooth projective variety over $...
- 148k