Skip to main content

All Questions

Filter by
Sorted by
Tagged with
51 votes
2 answers
4k views

Which philosophy for reductive groups?

I am just beginning to look further into trace formulas and automorphic forms in a quite general setting. For long I have noticed that the natural assumption on the group $G$ we work on is to be ...
Desiderius Severus's user avatar
13 votes
0 answers
523 views

Euler Subgroups and Automorphic L-functions

Recently, I have read about the Whittaker expansion for $\mathrm{GL}_n$ and was struck by the utility of the mirabolic subgroup, $\mathrm{P}_n\subset \mathrm{GL}_n$ of matrices with bottom row $(0\; 0 ...
Spencer Leslie's user avatar
4 votes
1 answer
700 views

Total sum of characters of the symmetric group $\frak{S}_n$

Let $\chi_{\mu}^{\lambda}$ denote a value of an irreducible character of the symmetric group $\frak{S}_n$, where $\mu, \lambda\vdash n$. When $\mu=(n)$, then it's known that $$\sum_{\lambda\vdash n}\...
T. Amdeberhan's user avatar
63 votes
1 answer
4k views

Feit-Thompson conjecture

The Feit-Thompson conjecture states: If $p<q$ are primes, then $\frac{q^p-1}{q-1}$ does not divide $\frac{p^q-1}{p-1}$. On page xiii of these proceedings of a conference at the University of ...
Mare's user avatar
  • 26.5k
46 votes
1 answer
3k views

What is the status of Arthur's book?

Arthur's long-awaited book project is now published (The endoscopic classification of representations: orthogonal and symplectic groups). However, in the book he takes some things for granted: The ...
Kimball's user avatar
  • 6,039
42 votes
2 answers
8k views

Current Status on Langlands Program

The Langlands Program was launched almost fifty years ago, and progress has been made gradually, much of it hard earned. Langlands himself wrote a survey on the functoriality conjecture in 1997, Where ...
Tian An's user avatar
  • 3,799
29 votes
0 answers
1k views

Linking formulas by Euler, Pólya, Nekrasov-Okounkov

Consider the formal product $$F(t,x,z):=\prod_{j=0}^{\infty}(1-tx^j)^{z-1}.$$ (a) If $z=2$ then on the one hand we get Euler's $$F(t,x,2)=\sum_{n\geq0}\frac{(-1)^nx^{\binom{n}2}}{(x;x)_n}t^n,$$ on the ...
T. Amdeberhan's user avatar
28 votes
2 answers
5k views

Status of (global) Langlands conjecture for $\mathrm{GL}_2$ over $\mathbb{Q}$

$\DeclareMathOperator\GL{GL}$Apologies if this question has already been dealt with on MO. I am wondering about the status of the global Langlands conjectures for $\GL_2$ over the rational numbers. ...
Masoud's user avatar
  • 283
28 votes
2 answers
5k views

Which p-adic numbers are also algebraic?

What is $\mathbb{Q}_p \cap \overline{\mathbb{Q}}$ ? For instance, we know that $\mathbb{Q}_p$ contains the $p-1$st roots of unity, so we might say that $\mathbb{Q}(\zeta) \subset \mathbb{Q}_p \cap \...
Jon Yard's user avatar
  • 1,951
27 votes
1 answer
3k views

Reconciling Lusztig's results with the Langlands philosophy

Let $\boldsymbol{G}$ be a reductive group over a finite field $\mathbb{F}_q$, $G = \boldsymbol{G}(\mathbb{F}_q)$, $W = \mathrm{W}(\mathbb{F}_q)$ the Witt vectors over $\mathbb{F}_q$, and $K = \mathrm{...
Will's user avatar
  • 805
23 votes
1 answer
1k views

On an asymptotic formula of Keating and Snaith involving the Riemann zeta function

Keating and Snaith have a famous conjecture on the asymptotics of the integral $\int_0^T |\zeta(\frac 12+it)|^{2k}\, dt$, where $\zeta$ denotes the Riemann zeta function. See page 510 of the book ...
Richard Stanley's user avatar
16 votes
2 answers
1k views

Etymology of cuspidal representations

In the literature on representation theory of $GL_2(\Bbb F_p)$ and $GL_2(\Bbb Q_p)$, the irreducible representations with trivial Jacquet module are often called "cuspidal" or "supercuspidal". Why are ...
Dylan Yott's user avatar
15 votes
3 answers
2k views

What is the intuition behind the definition of cuspidal representations?

Let $\mathbb{G}$ be a reductive group defined over a number field $K$, let $Z$ be its center, and let $\mathbb{A}:=\mathbb{A}_K$ be the ring of adeles of $K$. Reasonably, we care about the $\mathbb{G}(...
Jonas Aherne's user avatar
14 votes
1 answer
1k views

Zeroes of Maass forms

By a Maass form I just mean--maybe a bit loosely--any real analytic $\Bbb C$-valued function $f$ on the upper halfplane $\cal{H}$ which is automorphic of weight $k\in\Bbb Z$ with respect to a discrete ...
Andrea Mori's user avatar
14 votes
2 answers
1k views

Class groups in dihedral extensions - some sort of Spiegelungssatz?

Let $p$ be an odd prime and let $F/\mathbb{Q}$ be a Galois extension with Galois group $D_{2p}$, let $K$ be the intermediate quadratic extension of $\mathbb{Q}$, and $L$ an intermediate degree $p$ ...
Alex B.'s user avatar
  • 13k
12 votes
2 answers
876 views

Wedderburn's theorem for $\mathbb{Q}G$

Let $G$ be a finite group and let $\mathbb{Q}G=M_{n_1}(D_1)\times\cdots\times M_{n_k}(D_k)$ be the decomposition of $\mathbb{Q}G$ as a product of rings of matrices over divisions rings. Let $Z_i$ be ...
Diego Sulca's user avatar
12 votes
0 answers
967 views

What is miraculous about the mirabolic subgroup?

I recently asked this question about Euler subgroups and generalizing the automorphic theory of $\mathrm{GL}_n$ to a more general setting. My question here is more specific. As mentioned there, the ...
Spencer Leslie's user avatar
11 votes
2 answers
3k views

Why are $S$-arithmetic groups interesting?

Let $K$ be a number field and $S$ a finite set of valuations of $K$, including $\infty$. Define the $S$-numbers $K_S$ to be the direct product $\prod_{s \in S} K_s$ where $K_s$ denotes the completion ...
user14211's user avatar
  • 349
9 votes
2 answers
425 views

Matrix of cosecants appearing in equivariant index computations

In a computation of characters of certain representations of finite cyclic groups which appear as equivariant indices of Dirac operators (using the Atiyah-Bott fixed point formula, cf. [1, Theorem 8....
Rudolf Zeidler's user avatar
9 votes
2 answers
1k views

modularity of algebraic varieties

Hello, Are there any examples of varieties which are not Shimura varieties or abelian varieties and whose L-functions have been shown to be a product of automorphic L-functions? Thanks. N
Nicolás's user avatar
  • 2,842
9 votes
1 answer
395 views

Relation between $\xi$-cohomological and discrete series

Sometimes, results on automorphic representations are available only under local assumptions. Typically, one could require the representation to be a $\xi$-cohomological cuspidal representation, and I ...
Desiderius Severus's user avatar
9 votes
1 answer
501 views

Atkin–Lehner operator for GL(3)?

Let $f$ be an automorphic form for $\Gamma_0(N)\subset SL(3,\mathbb{Z})$. $\Gamma_0(N)=(a,b,c;d,e,f;g,h,i)\in SL(3,\mathbb{Z})|g=h=0(mod N)$ Is there any Atkin-Lehner operator for $\Gamma_0(N)$ ...
Jeep Wrangler's user avatar
7 votes
0 answers
266 views

Closed formula for some dimension

This question has a background from representation theory/homological algebra, but I state everything in elementary terms here: Call an n-CNak an n-tupel $[c_0,c_1,...,c_{n-1}]$ where $c_0=c_1=...=c_{...
Mare's user avatar
  • 26.5k
7 votes
5 answers
1k views

Is a unitary representation always semisimple?

I have been reading the online lecture notes by Fiona Murnaghan http://www.math.toronto.edu/murnaghan/courses/mat1197/notes.pdf The first lemma in p.35 says that every unitary representation of ...
Windi's user avatar
  • 833
7 votes
1 answer
870 views

local to global Galois representation

Let $\rho_p : \mbox{Gal}(\overline{\mathbb{Q}}_p / {\mathbb{Q}_p}) \to \mbox{GL}_n(\mathbb{Q}_p)$ be a de Rham $p$-adic representation. Can one find a representation $\rho : \mbox{Gal}(\overline{\...
A M's user avatar
  • 657
6 votes
1 answer
588 views

Generalizations/applications of a formula for the Dedekind zeta function?

I saw the following nice formula in an unpublished paper of H. Cohen. Let $L$ be a quartic field, whose Galois closure $\widetilde{L}$ has Galois group $S_4$. Denote the cubic resolvent field of $L$ ...
Frank Thorne's user avatar
  • 7,347
6 votes
2 answers
1k views

Does anyone have an electronic copy of Waldspurger's "Sur les coefficients de Fourier des formes modulaires de poids demi-entier"?

Is there an electronic copy of Waldspurger's paper "Sur les coefficients de Fourier des formes modulaires de poids demi-entier" floating around the internet somewhere? This appeared in J. Pures Math. ...
David Hansen's user avatar
  • 13.1k
5 votes
1 answer
461 views

To what extent does the $(\mathfrak{g},K_{\infty})$ module determines the automorphic representation?

In this question, we will follow the notations and definitions from the book "Automorphic Representations and L-Functions for the General Linear Group" by Goldfeld and Hundley. For simplicity, let's ...
Wenzhe's user avatar
  • 2,971
5 votes
1 answer
337 views

partitions into odd parts vs hooks and symplectic contents

Given a partition $\lambda=(\lambda_1\geq\lambda_2\geq\dots)$, denote the conjugate partition by $\lambda'=(\lambda_1'\geq\lambda_2'\geq\dots)$. For example, if $\lambda=(4,2,2)$ then $\lambda'=(3,3,1,...
T. Amdeberhan's user avatar
5 votes
1 answer
716 views

Relation between Hecke operators and coefficient of L-functions

This question has its seed in this one by Gory, which found an enlightening answer but one of the comments kept me wondering. I am beginning to discover Hecke operators, and there appears to be an ...
Desiderius Severus's user avatar
4 votes
2 answers
367 views

An infinite profinite group such that any $p$-adic representation has finite image

Fix a prime $ p $. We call an infinite profinite group $ G $ a Fontaine-Mazur group (with respect to $ p $) if every continuous homomorphism $ G\to {\rm GL}_n(\overline{\mathbb{Q}}_p) $ has finite ...
Nobody's user avatar
  • 863
3 votes
1 answer
787 views

Rankin-Selberg convolution and product of degrees

As I'm kinda obsessed with the Selberg class and because of the general converse conjecture, I'm still trying to get a rough idea of what automorphic representations and their L-functions as well as ...
Sylvain JULIEN's user avatar
2 votes
0 answers
169 views

$\mathrm{Ext}^i(\pi_1, \pi_2)\neq0$ implies same central character

If $\pi_1$ and $\pi_2$ are two smooth admissible representations of $\operatorname{GL}_2(\mathbb{Q}_p)$ over $\overline{\mathbb{F}}_p$ with central characters. I want to prove that if $\pi_1$ has ...
user avatar
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
2 votes
0 answers
168 views

Does Langlands use the geometric Frobenius or the classical Frobenius in his papers?

In several of Langlands' papers: Representations of Abelian Algebraic Groups, On Artin's L-functions, On the Functional Equation of Artin's L-functions, Langlands takes a finite Galois extension $K/F$ ...
D_S's user avatar
  • 6,180
1 vote
1 answer
285 views

centralizer of a n-cyclic permutation matrix over F_2 in GL(n,2)

This is a continuation of this question, where I talked about the case $n=2^k$. Let $C$ be the $n\times n$-permutation matrix over $\mathbb{F}_2$ of the $n$-cycle. We needed to know the explicit ...
Dima Pasechnik's user avatar
1 vote
0 answers
79 views

Dimension sum "rules" in Lie algebras [closed]

tr;dr intro: I came up with this question when I couldn't remember how many terms are in an $E_7$-ish (representing $\bigotimes$ adjoint) clebsch. Tried it on $G_2$, $7 \bigotimes 14=7+...$ argh, is ...
Hauke Reddmann's user avatar