# 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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**4**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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