Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

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 ...

5
votes
0answers
35 views

Bound for orbital integrals

Let $F$ be a number field, and $G$ be the group of units of a quaternion algebra $D$ over $F$. At a certain ramified place $v$, for $\gamma_v \in G(F_v)$, could we bound the orbital integral $$\...
4
votes
0answers
97 views

Hecke operators that lower level

I am working with weakly holomorphic modular functions (weight $=0$) $f \in M_0(\Gamma(N), \chi)$ of level $N$ with some character $\chi$ (We can ignore the character for now). Let $f \in M_0(\Gamma(N)...
2
votes
0answers
72 views

Function equation over general number fields

Let $\chi$ be a Hecke character on a number field $k$, where could I find a precise reference for the function equation of the $GL(1)$ L-functions $$L(s, \chi)?$$ I only find references for the case ...
1
vote
0answers
39 views

Central character of automorphic representations of $Sp_{2n}$

Let $F$ be a CM field. Given a regular algebraic self-dual cuspidal automorphic representation $\Pi$ of $GL_n(\mathbb A_F)$ and a prime $l$, there is a continuous Galois representation $r_{\Pi}: \...
1
vote
0answers
76 views

Probability distribution from equidistribution - II

Pick a random pair $(a,b)\in\mathbb Z_n^2\backslash\{0,0\}$ and denote $N(a,b)$ to be minimum $\ell_2$ norm of vector $(x,y)$ as $(x,y)$ ranges over all non-zero integral solutions to $(x,y)\equiv t(a,...
3
votes
0answers
107 views

Probability distribution from equidistribution - I

Pick a random pair $(a,b)\in\mathbb Z_n^2\backslash\{0,0\}$. Denote $N_r(a,b)$ to be minimum $\ell_r$ norm of vector $(x,y)$ as $(x,y)$ ranges over all non-zero integral solutions to $(x,y)\equiv t(a,...
2
votes
1answer
83 views

Probability density from standard domain

Pick $x+iy$ at random with respect to hyperbolic measure from $\{z:|z|\geq1,|\mathcal R(z)|\leq\frac12\}$. What does the probability distribution function of $\frac1{\sqrt y}$ look like?
3
votes
0answers
88 views

$p$-adic spectral problem?

Warning: this is a very very naive question. Spectral problem is one of the important subjects in the theory of automorphic forms (as I believe). If $\Gamma$ is a discrete subgroup of $\mathrm{SL}_{2}...
8
votes
1answer
120 views

Finite multiplicities

Let $G$ be a locally compact group and $\Gamma$ a lattice in $G$. Is it known whether the space $$ \mathrm{Hom}_G\left(\pi,L^2(\Gamma\backslash G)\right) $$ is finite dimensional for $\pi\in\widehat ...
0
votes
0answers
65 views

Is a tempered representation globally generic?

I know there is an general belief that globally generic representation is tempered. I am wondering whether the converse is known, that is tempered representation is generic? If it is not known, is ...
1
vote
0answers
50 views

Does Hom functor preserve restricted tensor product?

Let $\pi$ is an automorphic representation of reductive group $G$. Then we can decompose $\pi = \otimes \pi_v$ as restricted tensor product by Flath theorem. I am wondering whether $\text{Hom}_G(\pi,...
1
vote
0answers
34 views

Mean value estimates for general number fields

Results are known in many different cases to bound powers of L-functions on average over a wide enough family. I am interested in results for general number fields, not only for the rationals, for ...
7
votes
1answer
284 views

Relation between Fourier coefficients and Satake parameters

Let $L(s)$ be an automorphic L-function (attached to a self contragredient automorphic representation on $GL(3)$), according to the following notations for $s$ of sufficiently large real part: $$L(s) =...
5
votes
2answers
183 views

Definition of unitary representation of $\mathbf G(\mathbb A_k)$

Let $k$ be a global field, and let $G = \mathbf G(\mathbb A_k)$ for a connected, reductive group $\mathbf G$ over $k$. In these notes by Jayce Getz and Heekyoung Hahn, a unitary representation of $G$ ...
7
votes
4answers
346 views

Fourier expansion at inequivalent cusps

Let $\Gamma\subset SL(2,\mathbb{R})$ be a Fuchsian group of the first kind. Let $c_1, c_2$ be inequivalent cusps of $\Gamma.$ Consider $f\in M_k(\Gamma)$ a weight $k$ holomorphic automorphic form, ...
3
votes
1answer
143 views

Eisenstein series for discrete subgroups of SL(2,C)?

I am looking for a reference for Eisenstein series for discrete subgroups of $SL(2,\mathbb C)$, in particular, finite index subgroups of $SL(2,\mathcal O_K)$ where $K$ is an imaginary quadratic field. ...
2
votes
1answer
103 views

$L^2(X) \cong L^2(X',\xi)$

Recently, I read a notes about Sakellaridis and Venkatesh conjecture. It mentions a technique called "unfolding" and gives an example: Let X=A\G, X'=N\G, where G=PGL(2), A={ $\left[\begin{array}{...
3
votes
1answer
119 views

Hecke algebra $\mathcal H(\operatorname{GL}_2(\mathbb Q_p)/\operatorname{GL}_2(\mathbb Z_p))$ and Hecke operators

I was reading James Cogdell's notes here on automorphic representations and came to the following claim about the spherical Hecke algebra $\mathcal H(\operatorname{GL}_2(\mathbb Q_p), \operatorname{GL}...
2
votes
0answers
81 views

Definition of Base Change of representation

Recently, I read the paper on Ichino-Ikeda conjecture for unitary groups by Raphaël Beuzart-Plessis (https://arxiv.org/pdf/1602.06538.pdf). In the introduction, it says that Let $BC(\Pi)$ be the ...
4
votes
1answer
162 views

Local L-function $L(s,\pi_p\times \chi_p)=1$

Let $\pi_p$ be a ramified representation of $GL(n,\mathbb{Q}_p)$. Let $\chi_p$ be a ramified representation of $GL(1,\mathbb{Q}_p)$. Is it generally known that $L(s,\pi_p\times \chi_p)=1$ if $\...
13
votes
0answers
322 views

Lifting automorphic Galois representations to arithmetic fundamental groups and their quotients

Suppose $V$ is an algebraic variety over a number field $K$. The absolute Galois group $G_K$ of $K$ acts by outer automorphisms on the étale fundamental group $\pi_1(V_{\bar{K}})$ where $\bar{K}$ is ...
5
votes
0answers
99 views

Integrals of modular forms

Setup: Write $G = \text{SL}_2(\mathbf{R})$ and $\Gamma = \text{SL}_2(\mathbf{Z})$. Let $f$ be a modular form on $\mathbf{H}$ of weight $2k$, so that $$f(gz) = f(z) (cz + d)^{2k} \qquad \text{for} \...
3
votes
0answers
171 views

Fricke involution on GL(3)

Define $\Gamma_0(N)=\{\begin{pmatrix} a&b&c\\ d&e&f\\ g&h&i \end{pmatrix} \in SL(3,\mathbb{Z})|g\equiv h\equiv 0(\mod N)\}$ be the $N$-level congruence subgroup on GL(3). ...
1
vote
0answers
96 views

Some simple question of the base change of the unitary group to general linear group

Let $E/F$ be a quadratic extension of number fields and $\chi$ is a unitary automorphic character of $E^{\times}$. Let $\pi$ be an automorphic representation of $U(n)(F)$ associated to $E/F$, which ...
8
votes
0answers
156 views

Surjectivity of reduction for Hilbert modular forms

Fix a totally real field $K$, a level $\mathfrak{n}$, a (parallel) weight $k\geq 2$ and a primitive ray class character $\chi$ modulo $\mathfrak{n}$. Then one can form the space $S_k(\mathfrak{n},\...
2
votes
0answers
127 views

Two basic question on parabolic induction

I want to ask some basic two questions on the parabolic induction. Let $F$ be a local fields. Let $\chi_1,\chi_2$ be two characters of $GL_1(F)$ and $GL_1 \times GL_1$ be the Levi part of the ...
3
votes
0answers
102 views

Some basic question on the parabolic induction

I would like to ask some basic question about parabolic induction. Let $F$ be a local field and $G=GL_n(F)$ and $P=MN$ its parabolic subgroup whose Levis subgroup $M=GL_{n_1}(F) \times GL_{n_2}(F)$ ...
9
votes
0answers
186 views

Some question on the induced representation of tensor product

I would like to some question concering the induced representation of tensor product. Let $F$ be a local fields of charateristic 0 and $0<a<m$ are two positive integers. For $1 \le i \le m$, ...
9
votes
2answers
642 views

Kuznetsov trace formula, orthogonality of Bessel functions

Sorry if this is a vague question. I remember from my younger days that before proving his trace formula, Kuznetsov had a pretty result on orthogonality of Bessel functions. The formulas that I am ...
9
votes
0answers
222 views

The trace formula over function fields

There are many examples in number theory where an "arithmetic" problem (i.e. for number fields) has an easier analogue for function fields over finite fields. This is also true for questions ...
3
votes
0answers
66 views

Archimedean components of base changed automorphic representations

Let $\pi$ be an automorphic (cuspidal) representation of ${\rm GL}(n)_{/\Bbb Q}$. Let $K\supset\Bbb Q$ a numberfield. The existence of the base change lift $\pi_K$ is known in a number of cases. ...
1
vote
0answers
54 views

The Geometry of Jacobi Forms and their Asymptotic Expansions

A Jacobi form of weight $k$ and index $m$ is a meromorphic function $\varphi: \mathbb{H} \times \mathbb{C} \to \mathbb{C}$ satisfying $$\varphi\bigg(\frac{a \tau + b}{c \tau + d}, \frac{z}{c \tau + d}...
8
votes
1answer
279 views

Definitions of $\pi_1 \times \pi_2, \pi_1 \boxplus \pi_2, \pi_1 \boxtimes \pi_2$

Let $\pi_i$ be a smooth, admissible (possibly irreducible) representation of $\operatorname{GL}_{n_i}(k)$ for $k$ a $p$-adic field. I have seen the following representations defined in terms of $\...
14
votes
2answers
759 views

What is the archimedean Hecke algebra?

Let $\mathbf G$ be a connected, reductive group over $\mathbb Q$. For each nonarchimedean place $v$, let $K_v$ be a maximal compact subgroup of $\mathbf G(\mathbb Q_v)$. The space $\mathscr H(\mathbf ...
0
votes
0answers
53 views

Generators of ideals in the quadratic extensions

Let $M = K[[X,Y,T]]$ and $R = K[[X,Y]]$ be a power series ring. For elements $a_2, b_2, ... , a_n, b_n$ belonging to $R$, let us define the ideal $I$ of $M$ with $n$ number of generators as $$I :=(T^...
18
votes
1answer
587 views

What computer program for automorphic forms

This question has its origins in this entertaining discussion on MO. There are many programs (CAS) and libraries that are able to handle algebraic expressions. These are both a verification tool for (...
4
votes
1answer
172 views

Meromorphic continuation of local zeta integrals

Let $f$ be a Maass cusp form for $\text{SL}_2(\mathbb{Z})$ on the upper half plane. Let $\varphi_0$ be its lift to an automorphic form on $G = \text{PGL}_2(\mathbb{R})$ and let $\pi = \pi_{f} =\langle ...
10
votes
1answer
466 views

Estimating volumes in the trace formula

Let $G$ be a reductive group. In many instances of the trace formula, elliptic terms corresponding to the $G(k)$-conjugacy class of $\gamma \in G(k)$ are weighted by the following volumes $$v_\gamma = ...
4
votes
1answer
79 views

Integrality of the support of matrix coefficients?

Consider a division quaternion algebra $D$ over a number field $F$. For an automorphic representation $\pi$ of $D$, I am interested in the associated matrix coefficients $$f : \gamma \in G \longmapsto ...
3
votes
2answers
122 views

Square-integrability of non-holomorphic Poincare series

In what follows, $\mathfrak{H}$ denotes the upper half plane, and $\Gamma=SL(2,\mathbb{Z})$. On the modular curve $\Gamma\backslash\mathfrak{H}$, consider the non-holomorphic Poincare series, defined ...
6
votes
0answers
202 views

Galois action on functions on an adelic coset space

For a reductive group $G$ over a number field $K$, an automorphic representation for $(G, K)$ is an irreducible admissible constituent of the right regular representation of $G(\mathbb{A}_K)$ in the ...
7
votes
0answers
233 views

Galois representations associated to the modular tower and automorphy

Consider $\mathcal{M} = \{M_{g,n}, \mu_{g,n}^{g’,n’}\}$, the system of moduli spaces of $n$-pointed smooth algebraic curves along with the basic maps amongst them coming from identifying and ...
5
votes
0answers
127 views

Direct sum decomposition of the space of cuspidal automorphic forms

$\newcommand{\G}{\mathbb{G}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\A}{\mathbb{A}} \newcommand{\Autom}{\mathcal{A}} \newcommand{\cen}{\mathcal{Z}} \newcommand{\lieg}{\...
3
votes
1answer
251 views

Modular forms, Maass forms and Automorphic representations

I am beginning to learn about automorphic forms, and stay perplex concerning the two languages of "forms" versus "representations" often used at the same time. As far as I understand, a modular/...
5
votes
1answer
102 views

Fields of rationality as a notion of automorphic size

I want to interpret the degree of the field of rationality of an automorphic form as a notion of size, analogously to the conductor, and this question is about the possible obstructions to do so. The ...
3
votes
0answers
94 views

For Hida theory on $GU(2,2)$ can $p$ be inert in the imaginary quadratic field $K$?

I am familiar with the theory of Hida families of modular forms, so Hida theory on $GL_2$, but I am not familiar with Hida theory on any other algebraic groups. My question concerns Hida families of ...
2
votes
0answers
66 views

Continuity of the conductor of automorphic representations

I am interested in properties of (semi-)continuity of the conductor of automorphic representation. Let $F$ be a number field. The meta question is, given a function on the unitary dual of $PGL(2, F)$ ...
4
votes
1answer
154 views

Are all these representations supercuspidal

Let $D$ a division quaternion algebra over a number field $F$, and consider $(V,q)$ be a $D$-hermitian space of $D$-dimension $2$, and introduce its group of isometries \begin{align*} \mathrm{GU}(V, q)...
1
vote
0answers
95 views

Is there an analysis theorem analogous to Kuznetsov/Petersson trace formula?

I am thinking about general differential operator acts on a compact manifold. Is there something similar to Kuznetsov trace formula? For example, let $f_i $ be the eigenfunctions of an operator $D$, ...
4
votes
1answer
178 views

Making sense out of intertwining operators defined by a vector valued integral

Let $G$ be the rational points of a connected, reductive group over a $p$-adic field $F$. Let $S$ be a maximal split torus of $G$ with $\Delta$ a set of simple roots corresponding to a minimal ...