Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
91 views

Reference request: étale local system on $\Gamma\backslash\mathcal H$ for $\Gamma$ non-congruence

Suppose $\mathcal H$ is the upper half plane, and $\Gamma\subset \operatorname{PSL}_2(\mathbb Z)$ is a finite index subgroup. Then by Belyi's theorem we know that $\Gamma\backslash\mathcal H$ is an ...
Richard's user avatar
  • 785
3 votes
1 answer
369 views

Local Tate duality for F-vector space

A version of local Tate duality stated: Let $K$ be a finite extension of $\mathbb Q_p$, $A$ be a finite $G_K=Gal(\overline K/K)$ module. Then for $0\le i\le 2$, the cup product induces a perfect ...
user14411's user avatar
  • 183
9 votes
1 answer
322 views

A question about mod $p$ local Langlands for $\mathrm{GL}_{2}(\mathbb{Q}_{p})$

In the mod $p$ local Langlands correspondence for $\mathrm{GL}_{2}(\mathbb{Q}_{p})$, the irreducible supercuspidal representation $\left(\mathrm{ind}^{\mathrm{GL}_{2}(\mathbb{Q}_{p})}_{\mathrm{GL}_{2}(...
Mihir Sheth's user avatar
8 votes
1 answer
552 views

Artin reciprocity via Shimura varieties

The point of Shimura varieties, as far as I've understood it, is that for a given Shimura datum $(G,D)$, there exist models, by which I mean that for congruence subgroups $\Gamma$ there exists a ...
curious math guy's user avatar
1 vote
0 answers
2k views

Necessary and sufficient condition for a prime to be represented by an arbitrary positive definite binary quadratic form $ax^2+bxy+cy^2$

Given an arbitrary (but fixed) positive definite primitive integral binary quadratic form $g(x, y)=ax^2+bxy+cy^2$, and let $m$ be an arbitrary integer. We will denote the discriminant of $g$ by $D=D_g=...
Davood Khajehpour's user avatar
8 votes
1 answer
253 views

Does Ribet's construction of class fields give us eigenspaces of rank 1?

Ribet's paper on the Herbrand-Ribet theorem constructs a representation $\rho: Gal(\overline{\Bbb Q}/\Bbb Q) \to GL_2(\mathbb F_q)$ where $q = p^r$ of the specific form: $ \begin{bmatrix} 1 & *\\ ...
Asvin's user avatar
  • 7,746
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
5 votes
1 answer
625 views

What is the relation of the absolute Galois group and classical profinite groups?

Consider the absolute Galois group $G = \mathrm{Gal}(\overline{\mathbb{Q}}: \mathbb{Q})$ and $G_p = \mathrm{Gal}(\overline{\mathbb{Q}_p}: \mathbb{Q}_p)$. Abelian class field theory gives us for the ...
Marc Palm's user avatar
  • 11.2k
2 votes
2 answers
1k views

Decomposition of Artin L functions

The Dedekind zeta function of an abelian extension $E$ of $\mathbb{Q}$ factors as a product of Artin L function $L(s, \chi)$, where the product runs over all irreducible representations $\chi$ of $Gal(...
Marc Palm's user avatar
  • 11.2k
31 votes
2 answers
3k views

Elementary Aspects of Galois Deformation

Galois deformations are an important tool in Wiles' arsenal for proving FLT. Are there any more elementary aspects (I'm thinking of 1-dimensional Galois representations attached to number fields) ...
Franz Lemmermeyer's user avatar