Questions tagged [automorphic-forms]
An automorphic form is a well-behaved function from a topological group $G$ to the complex numbers (or complex vector space) which is invariant under the action of a discrete subgroup $\Gamma \subset G$ of the topological group. Automorphic forms are a generalization of the idea of periodic functions in Euclidean space to general topological groups.
769
questions
3
votes
0
answers
120
views
The inclusion of Siegel sets of the general linear groups
In some paper, it is written that none of Siegel set of $GL_{n}$ is not contained in any Siegel set of $GL_{n+1}$. I don't understand this because I think it should hold.
To explain my question more ...
4
votes
0
answers
96
views
Question on Iwasawa decomposition of unitary groups over adele ring
Let $E/F$ be a quadratic extension of number fields and $V,\langle,\rangle$ is a hermition vector space over $E$. Let $\mathbb{A}$ be the adele ring of $F$.
Assume that there is a hermitian line $e \...
3
votes
0
answers
112
views
The product of $Z(\mathfrak{g})$-finite functions is also $Z(\mathfrak{g})$-finite?
Let $G$ be a classical group defined over $\mathbb{Q}$.
Let $\mathfrak{g}$ be the Lie algebra of $G(\mathbb{R})$ and $U(\mathfrak{g}_{\mathbb{C}})$ its universal enveloping algebra of $\mathfrak{g}_{\...
2
votes
0
answers
169
views
On Fourier coefficients of Bianchi modular forms, l-ordinary
Let $f\in S_2(\Gamma_1(N))$ be a Hecke eigenform and $\ell$ a prime number does not divide $N$. Let $a_f(\ell)$ be the $\ell$-th Fourier coefficient of $f$. Then $a_f(\ell)$ is is called $\ell$-...
1
vote
0
answers
113
views
Powers of automorphic Eisenstein series
Let $G$ be a reductive group defined over $\mathbb{Q}$. Let $P$ be a standard parabolic subgroup of $G$ with Levi decomposition
$$P = MN.$$
We denote by $R_{disc,M}$ the discrete spectrum of $M$. Let $...
3
votes
0
answers
237
views
Functoriality for compactifications of locally symmetric spaces
Let $X$ be a symmetric space associated to an algebraic group $G$ defined over $\mathbb{Q}$ and $G(\mathbb{R})$ acts on $X$ from the left. Let $\Gamma \subset G(\mathbb{Q})$ be an arithmetic subgroup ...
8
votes
0
answers
386
views
Formal degree of discrete series representations
Let $G$ be a locally compact unimodular group. A continuous irreducible unitary representation $\pi$ of $G$ is said to be a discrete series if its matrix coefficients (defined by $\xi^\pi_{v,w} : g \...
9
votes
1
answer
327
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 ...
5
votes
0
answers
205
views
Truncation and weighted orbital integrals in hyperbolic term of trace formula for $\mathrm{GL}(2)$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\PGL{PGL}$I am looking at Gelbart--Jacquet's article in the first Corvallis volume (the article entitled Forms of $\GL(2)$ from an analytic point of ...
7
votes
1
answer
1k
views
Contemporary introduction to Godement-Jacquet "Zeta functions of simple algebras"
The question is in the title: The book
Godement-Jacquet "Zeta functions of simple algebras"
is from 1971. Has there ever been a textbook introduction to this material, or at least part of it?...
0
votes
0
answers
153
views
Holomorphic automorphic/cusp forms on real Lie groups
An automorphic form on a real Lie group $G$ for a discrete subgroup $\Gamma$ is a function $f:G\to\mathbb{C}$ with some properties (see Borel’s definition in Proceedings of Symposia in PURE ...
7
votes
1
answer
703
views
Statement of classical Ramanujan-Petersson conjecture
I'm preparing for an expository talk on some topics in the representation theory of reductive p-adic groups, including tempered representations and Whittaker models, and as motivation I wanted to ...
1
vote
0
answers
179
views
From Maass forms to automorphic forms of $SL_2(\mathbb{A})$
I'm learning basic stuff about automorphic forms, please, if anything I say is not true, excuse me.
Let $X = \Gamma\setminus \mathcal{H}$ be a modular curve and let $f(\tau)$ be a Maass cusp form. ...
3
votes
2
answers
262
views
Finiteness of the volume of $G(F) \backslash G(\mathbb A)$
Let $G$ be a semisimple algebraic group over a number field $F$ with trivial center. Let $\mathfrak S \subset G(\mathbb A)$ be a Siegel domain (defined in terms of a given maximal split torus and ...
12
votes
1
answer
481
views
Eigenvarieties and functoriality
In Langlands' review of Hida's book "$p$-adic automorphic forms on Shimura varieties", he discusses a nexus of 4 areas of modern number theory: automorphic representations, motives, spaces ...
4
votes
1
answer
387
views
What are the known number-theoretic functions, that are related to "the number of ideals of norm $n$, that belong to the class $[c]$"?
Let $L$ be a number field, $\mathcal{O}_L$ its ring of integers, and $\mathcal{Cl(O}_L)$ its ideal class group. Let's fix an arbitrary class $[c] \in \mathcal{Cl(O}_L)$. By $r(n)=r([c], n)$, I mean ...
11
votes
1
answer
588
views
Modularity of higher genus curves
The modularity conjecture for elliptic curves over number fields is well known, and indeed, is a theorem for all elliptic curves over $\mathbb{Q}$, and at least potentially, over any CM field.
What ...
4
votes
0
answers
82
views
Jacquet-Langlands correspondence for Norm-1-units
Let $M$ be a quaternion algebra over $\mathbb{Q}$, ramified at the set of primes $S$. Let $\pi=\bigotimes_p \pi_p$ be an irreducible, infinite-dimensional subrepresentation of $L^2(M_{\mathbb{A}}^\...
1
vote
1
answer
237
views
What's the motivation for the $3$ appearing in Iwaniec and Kowalski's definition of the analytic conductor?
In their book Analytic Number Theory, Iwaniec and Kowalski, on page 95, define the analytic conductor by the following formula:
$\displaystyle{{\frak{q}}_{\infty}(s)=\prod_{j=1}^{d}\left(\vert s+\...
6
votes
1
answer
510
views
Two definitions of automorphic forms on Lie groups
My question is the about the equivalence of two definitions of automorphic forms on a semisimple Lie group.
The most common definition of automorphic forms on a semisimple Lie group $G$ with respect ...
9
votes
1
answer
688
views
Spectral decomposition of product of modular functions
The eigenfunctions of the Laplacian on $SL(2,\mathbb Z)\backslash \mathbb H$ are known to be given by three types: the constant function, the real analytic Eisenstein series (which come in a ...
14
votes
1
answer
502
views
Bound for $GL(3)$ symmetric square
Let $\pi$ be an automorphic representation of $GL(3)$ over a number field. Let $a_n$ be the coefficients of $L(s, \pi, \mathrm{sym}^2)$. Do we know if
$$\sum_{n>0} \frac{|a_n|}{n^s}$$
and
$$\sum_{n&...
17
votes
0
answers
998
views
Automorphic forms and coherent cohomology
Why is it (and what does it mean) that automorphic forms do not contribute in the coherent cohomology of Siegel modular varieties parametrizing abelian varieties of dimension $d>2$ (see section 7 ...
9
votes
0
answers
250
views
Conway big picture for congruence subgroups of $\mathrm{SL}_3(\mathbb{Z})$
I saw in Conway’s paper "Understanding groups like $\Gamma_0(N)$" that the so-called Big Picture can give simple interpretations for important objects in number theory, such as Hecke ...
5
votes
0
answers
347
views
Why admissible representations?
In the theory of automorphic forms we often right away reduce the study to admissible representations, and I wonder how much everything breaks when not. If I understood well, admissible ...
6
votes
1
answer
697
views
What is the meaning of the $L$-group?
Langlands' functoriality conjecture predicts that to a suitable homomorphism of $L$-groups
$$
\psi : {}^LG \to {}^LH
$$
there should be a transfer of automorphic representations from $G$ to $H$. For ...
6
votes
1
answer
603
views
What is a map for the representation theory of reductive groups?
I have finished learning about linear algebraic groups (minus their representation theory) and the associated algebraic structures (root data, root systems, etc.), and will next attempt to summarize ...
7
votes
0
answers
124
views
Computing explicit matrix coefficients
I would like to understand in a more explicit way the Fell topology on unitary duals, that is to say the convergence of matrix coefficients of local representations.
If I consider a local ...
2
votes
1
answer
204
views
Quotient space by discrete group and $L^2(\Gamma\backslash \mathcal{H})$
I'm reading Daniel Bump's "Automorphic forms and representations"
chapter 2, and in the book they define an integral over $\Gamma\backslash\mathcal{H}$ (here, $\Gamma$ is a discontinuous ...
3
votes
0
answers
193
views
Maass--Selberg for any Eisenstein series on higher rank
Does there exist a Maass--Selberg relation for any Langlands Eisensein series on $\mathrm{GL}(n)$? By any I mean an Eisenstein series which is induced from any standard parabolic with any discrete ...
1
vote
0
answers
134
views
Automorphic representation of weight 3 eigenforms
Let $f$ be a weight 3 eigenform with rational Fourier coefficients. As shown by Elkies and Schutt, $f$ is associated to a singular K3 surface over $\mathbb{Q}$. A construction of Shioda and Inose ...
3
votes
1
answer
1k
views
Are there infinitely many L-rigs?
$\DeclareMathOperator{\Q}{\mathbb{Q}}$Call "L-rig" any class $\mathcal{L}$ of L-functions of automorphic representations of $\operatorname{GL}_{n}(\mathbb{A}_{\Q})$ for some $n$ belonging to ...
3
votes
0
answers
154
views
Relation between automorphic representations and Laplacian eigenvalues
Let $G=SL(2, \mathbb{R})$. I would like to understand how and why automorphic forms correspond to automorphic representations, and how general is this fact (for other groups).
Let $\Gamma$ be a ...
3
votes
0
answers
92
views
Principal series representation of $SL(2,\mathbb{R})$ restricted to principal congruence subgroup
Given a principal congruence subgroup $\Gamma(N)$ of $SL(2,\mathbb{R})$, since $\Gamma(N)$ is free, consider a probability distribution $\mu_1$ of a simple random walk on $\Gamma(N)$ and consider its ...
4
votes
0
answers
384
views
What is a Shimura variety?
It so look like that Shimura variety is a modular space that contains classes of zeros of modular functions that have certain symmetry that have structure of Hodge type.
Is this true?
1
vote
0
answers
76
views
Polyharmonic Maass forms are automorphic forms on $\mathrm{SL}_2(\mathbb{R})$
Let $G=\mathrm{SL}_2(\mathbb{R})$, $K=\mathrm{SO}(2)$, and $f$ be a holomorphic modular form of weight $k$ for $\Gamma$ a Fuchsian group of the first kind. In Borel's book, 'automorphic forms on $\...
6
votes
1
answer
1k
views
How did Gauss characterize the metrical relations in the uniform (4 4 4) tiling of the hyperbolic unit disk?
My purpose is to verify an historical hypothesis I have on Gauss's tesselation of the unit disk as described in John Stilwell "Mathematics and its history". Looking at the relevant pages in ...
8
votes
1
answer
439
views
Characterization of automorphic discrete spectra
I recently learned about automorphic spectral decomposition from the book "Spectral decomposition and Eisenstein series" by Moeglin and Waldspurger. (Let me call it M-W)
I have a question ...
9
votes
1
answer
670
views
The cohomology of modular curves as a module over the Galois group
Consider the modular curve $\pi: X(N) \to X(1)$ where this map has Galois group $G = PSL_2(\mathbb Z/N\mathbb Z)$. In particular, $G$ acts on the singular cohomology $H^1(X(N),\mathbb Z)\otimes \...
11
votes
0
answers
333
views
Representation theory of $\operatorname{GL}_2(\mathbb Z/n\mathbb Z)$
Is there a nice reference for the finite dimensional (characteristic 0) representation theory of $\operatorname{GL}_2(\mathbb Z/n\mathbb Z)$ and $\operatorname{PGL}_2(\mathbb Z/n\mathbb Z)$ for ...
7
votes
0
answers
116
views
Theta Function Associated to Kummer Lattice
This is something which I feel must be out in the literature somewhere, but I have been unable to find anything.
If we let $\text{Km}(A)$ be the Kummer $K3$ surface associated to an abelian surface $A$...
1
vote
0
answers
216
views
Does the standard arithmetic subgroup of a closed $\mathbb{Q}$-algebraic groups have non-trivial $\mathbb{Q}$-characters?
I am trying to understand the Borel-Harish Chandra theorem about arithmetic subgroups being lattices.
Suppose $G$ is an algebraic group inside $GL_n(\mathbb{C})$ such that it is definable as a zero ...
8
votes
2
answers
628
views
A question related to Hilbert modular form
This is a question related to Hilbert modular forms.
Let $\mathbb{K}=\mathbb{Q}(\sqrt D)$ be an imaginary quadratic field with discriminant $D<0$ and $\zeta (\text{mod } m)$ a Hecke character such ...
4
votes
1
answer
197
views
anti-holomorphic Hilbert modular forms as global sections
The classical definition of Hilbert modular cuspforms as given in say, Hida's "On $p$-adic Hecke algebras for $\mathrm{GL}_2$ over totally real fields", defines them as holomorphic functions ...
2
votes
1
answer
260
views
Question on the residual representation
Let $G=SO_n$ and fix a borel subgroup $P_0$ of $G$. Let $P=MN$ be a standard maximal parabolic subgroup $G$ and $\sigma$ a cuspidal representation of $M$
Consider the normalized parabolic induced ...
1
vote
0
answers
140
views
Question on induction of unramified representations
$\def\anonabs{\lvert\cdot\rvert}\DeclareMathOperator\GL{GL}\DeclareMathOperator\Ind{Ind}\DeclareMathOperator\SO{SO}
$Let $F$ be a $p$-adic local field of characteristic zero.
Let $\chi$ be an ...
3
votes
0
answers
148
views
Question on the proper sub-representation of induced representation
$\DeclareMathOperator\Ind{Ind}$Let $G$ be a reductive group over a $p$-adic local field $F$, and $P=MN$ a parabolic subgroup.
Let $\sigma$ be an irreducible representation of $M(F)$ and consider its ...
23
votes
2
answers
832
views
Moments of Plücker coordinates on complex Grassmannian
Consider the Grassmannian $Gr(k,N)\simeq U(N)/(U(k)\times U(N-k))$ which parametrizes $k$-dimensional subspaces of $\mathbb{C}^N$. Let us put on it the $U(N)$-invariant probability measure. Let $\...
7
votes
0
answers
283
views
The Fontaine Mazur conjecture for $\text{GL}_1$ over $\mathbf{Q}$
The Fontaine-Mazur cojectures says that if $\chi : \text{Gal}(\overline{\mathbf{Q}}/\mathbf{Q}) \to \mathbf{Q}_p^\times$ is a character which is unramified almost everywhere and de Rham at $p$ then it ...
3
votes
1
answer
252
views
Level vs. conductor of a supercuspidal representation
What is the relation between level and conductor of a supercuspidal representation of $\operatorname{GL}_2(\mathbb{Q}_p)$ for some prime $p$?
Proposition 3.4 in Loeffler and Weinstein - On the ...