Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
125 views

Semisimplicity of induced representation of a irreducible representation

This question occurs when I read this one. Suppose $k$ is a field of char $0$ (not necessarily complex numbers, in my case it's $\mathbb Q_p$), and $G$ is a profinite group (in my case, $\operatorname{...
Richard's user avatar
  • 775
2 votes
0 answers
147 views

Prime splitting in the division field of an elliptic curve

Let $E/\mathbb{Q}$ be an elliptic curve with good reduction at two distinct primes $p, \ell$. Suppose the mod $\ell$ Galois representation associated to $E$ is surjective. Let $K=\mathbb{Q}(E[\ell])$ ...
Jeff H's user avatar
  • 1,422
17 votes
2 answers
1k views

Understanding absolute Galois group from its representations

Background. A major theme of modern number theory is to study the absolute Galois group $\text{Gal}(\overline{\mathbb Q} / \mathbb Q)$. Galois representation theory attempts to understand $\text{Gal}(\...
Uzu Lim's user avatar
  • 903
4 votes
0 answers
154 views

A variant of the inverse Galois problem

In Theorem I of Construction of maximal unramified p-extensions with prescribed Galois groups, it's proved that for any prime $p$ and any given finite $p$-group $G$, there exists a number field $F$ ...
stupid boy's user avatar
37 votes
1 answer
1k views

What is the smallest group not known to be a Galois group over $\mathbb{Q}$?

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PSL{PSL}$What is the smallest group not known to be a Galois group over $\mathbb{Q}$? Variants have been asked here before (e.g. Which small finite ...
Joachim König's user avatar
6 votes
0 answers
375 views

How to construct this non-geometric mod $p$ Galois representation?

Let $ K $ be a totally real cubic field. I am concerned with the following kind of Inverse Galois Problem: Is there a prime $ p>5 $ and a continuous representation $ \bar{\rho}:G_{K}\to {\rm GL}_{...
Nobody's user avatar
  • 863
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 ...
user avatar
2 votes
0 answers
138 views

Local polynomials of Frobenius-semisimple Weil representations which are tensor products of an Artin representation and an unramified character

Let $K$ be a local field and $\rho: W_K \to \operatorname{GL}(V)$ be a Weil representation. The for any finite extension $F/K$, we define the local polynomial $$ P(\rho|_F,T) = \det{(1 - \operatorname{...
Diglett's user avatar
  • 103
5 votes
1 answer
360 views

Is the following variant of Shafarevich's theorem known?

Let $Q$ be a finite simple group which may be realized as the Galois group of some extension of $\mathbb{Q}$ (like for instance $PSL_2(\mathbb{F}_p)$ for $p\geq 5$, or the monster group) and let $G$ ...
user avatar
1 vote
0 answers
105 views

Local factors determine Weil representations - proof of the Artin representation case

This post can be seen as a continuation of this post I created on MathOverflow. I want to understand the proof of the following Theorem from "Euler Factors determine Weil Representations" by Tim and ...
Diglett's user avatar
  • 103
2 votes
1 answer
317 views

Local factors determine Weil representations - proof of the cyclic case

I already created this post on Math Stack Exchange but I was not so sure if this question fits better here. If it is not, I want to apologize in advance and feel free to delete my post. I want to ...
Diglett's user avatar
  • 103
1 vote
0 answers
199 views

Class number of the cyclotomic tower

Let ${\Bbb Q}(\zeta_{\infty})$ be the field obtained by adjoining all roots of unity. We define Cl(${\Bbb Q}(\zeta_{\infty})$)$\colon= \underset{m > 1}{\varinjlim}~{\mathrm{Cl}}({\Bbb Z}[\zeta_m])...
Pierre MATSUMI's user avatar
13 votes
1 answer
771 views

Abelian $\ell$-adic representations in $\widehat{\mathrm{SL}(2,\mathbb{Z})}$

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\Gal{Gal}\newcommand{\Z}{\mathbb{Z}}$In Grothendieck's Esquisse he claims that the action of $$\Gal(\mathbb Q)\to\text{Out}(\pi_1(M_{1,1})=\text{Out}(\...
Tian An's user avatar
  • 3,799
4 votes
1 answer
1k views

Cyclotomic character in class field theory

Let $K$ be an extension of $\mathbb{Q}_p$. By local class field theory, the $p$-adic cyclotomic character $\mathrm{Gal}_K \rightarrow \mathbb{Z}_p^\times$ corresponds to a character $\chi : K^\times \...
user10676's user avatar
  • 527
4 votes
2 answers
332 views

Generalization of Kummer isomorphism?

This is a question I asked on math.stackexchange without success. Let $p$ be a prime number and denote by $\mathbb{F}_p(1)$ the one dimensional vector space over $\mathbb{F}_p$ endowed with an action ...
user33624's user avatar
  • 477
31 votes
2 answers
4k views

Number theory textbook based on the absolute Galois group?

I've just finished reading Ash and Gross's Fearless Symmetry, a wonderful little pop mathematics book on, among other things, Galois representations. The book made clear a very interesting ...