Orthogonality is a fundamental theme in representation theory and
Fourier analysis. An orthogonality relation for characters of finite
abelian groups (now recognized as an orthogonality relation on
) was used by
Dirichlet to prove infinitely many primes in arithmetic progressions. Asymptotic orthogonality
relations for
,
with
,
and applications to number theory, have been considered by various researchers over
the last 45 years. Recently, the authors of the present work have derived an
explicit asymptotic orthogonality relation, with a power savings error term, for
. Here we extend
those results to
,
.
For
,
our results are contingent on the Ramanujan conjecture at the
infinite place, but otherwise are unconditional. In particular, the case
represents a new result. The key new ingredient for the proof of the case
is the theorem of Kim and Shahidi that functorial products of cusp forms on
are
automorphic on
.
For
(assuming again the Ramanujan conjecture holds at the infinite
place), our results are conditional on two conjectures, both of
which have been verified in various special cases. The first of these
conjectures regards lower bounds for Rankin–Selberg L-functions,
and the second concerns recurrence relations for Mellin transforms of
Whittaker functions.
Central to our proof is an application of the Kuznetsov trace formula, and
a detailed analysis, utilizing a number of novel techniques, of the various
entities — Hecke–Maass cusp forms, Langlands Eisenstein series, spherical principal
series Whittaker functions and their Mellin transforms, and so on — that arise in this
application.
Keywords
orthogonality, Hecke–Maass cusp forms, Kuznetsov trace
formula