Vignettes on automorphic forms,
representations,
L-functions, and number theory
[ambient page updated 28 Oct '09]
...
[ home ]
...
[ garrett@math.umn.edu ]
( Also:
[ functional analysis ]
...
[ intro to modular forms ]
...
[ buildings notes ]
...
[ number theory ]
...
[ algebra ]
)
- [ Peetre's theorem ]
... [ updated 16 Oct '09]
... a linear operator on functions, not
increasing support, is a differential operator.
- [ An iconic error ]
... [ updated 22 Sep '09]
... Debunking the (demonstrably false) claim that
truncated Eisenstein series are eigenfunctions for invariant
operators. This (false) claim continues to be
(needlessly) invoked to give (incorrect) proofs of Maass-Selberg
relations. I first heard this claim in 1980, and was amazed to hear
it recently (2009). It's an icon?
- [ Snake lemma, extensions, Gamma function
]
... [ updated 23 Jun '09]
... Illustration of extension and uniqueness of distributions by
simple homological ideas. Easiest example: homogeneous distributions
and Gamma.
- [ short-interval bounds give
pointwise bounds
]
... [ updated 13 Apr '09]...
... We carry out one version of the obvious argument involving
Cauchy's theorem, convexity bounds, and the functional equation of
L-functions, to deduce non-trivial pointwise bounds on L-functions
from non-trivial short-interval bounds. (The far more serious
question of the source of non-trivial short-interval bounds is not
addressed.)
- [ (updated) Natural boundaries and
the correct notion
of integral moments of L-functions
]
... [ updated 23 Sep '09]...
[joint with A. Diaconu]
and
D. Goldfeld]
...
Evidence is given that the classical notion of higher
moment of the Riemann zeta function is not correct. We propose
a plausible candidate for a replacement.
- [ Averages of symmetric-square L-functions
and applications]
... [ updated 05 Mar '09]...
[joint with A. Diaconu]
...
Spectral identities involving second moments of symmetric-square
L-functions for SL(2)...
- [ Moments for L-functions for GL(r) x GL(r-1)]
... [ updated 28 Oct '09]...
[joint with A. Diaconu and
D. Goldfeld]
Spectral identities involving integral moments of Hecke-type
Rankin-Selberg convolution L-functions for moments for L-functions
for GL(r) x GL(r-1). For all r, the spectral decomposition of
the associated Poincare series involves cuspidal data
only from GL(2).
- [Standard periods of Eisenstein series]
... [ updated 07 Sep '09]
Simplest examples of compact periods of Eisenstein series (not
involving cuspidal data).
- Talks at ICMS, Edinburgh, August 2008:
- [Integral moments I]
... [ updated 09 Aug '08]
Overview of spectral identities for integral moments for GL(n)xGL(n-1)
L-functions over number fields. Subconvexity in t-aspect for GL(2)
over number fields as evidence for non-triviality of these
identities.
- [Integral moments IIIa]
... [ updated 09 Aug '08]
General recipe to produce spectrally meaningful integral second
moments for all Rankin-Selberg integrals. Examples: GL(n)xGL(n-1)
Hecke-type convolutions, GL(n)xGL(n) Rankin-Selberg convolutions,
triple-product L-functions, all doubling integrals for classical
groups. Heuristic concerning extraction of subconvex bounds.
- [
characters of principal series
]
... [ updated 15 Aug '08]
in terms of orbital integrals, without proof of trace class.
- [
Subconvexity bounds for automorphic L-functions for GL(2) over number fields
]
... [ updated 09 Jul '09]
... [joint with
Adrian Diaconu]
A subconvex bound in the t-aspect for standard L-functions
of GL(2) cuspforms over number fields. The method
involves asymptotics for second integral moments, with a power saving
in the error term, for a spectral family of twists by
grossencharacters.
[to appear in
J. Math. Inst. Jussieu
]
- Some standard integrals for GL(2), with derivations, discussion
of normalizations. For example, determination of Whittaker
functions. In principle, these computations exist in many places.
- [ Elementary asymptotics of integrals]
... [ updated 16 Jun '07]
... Review of Watson's lemma and Laplace's method, illustrated by
obtaining Stirling for gamma, some asymptotics for beta without
Stirling, and asymptotics for Bessel functions. With proofs.
- [ Integral moments of
automorphic L-functions ]
... [ updated 08 May '08]
... [joint with Adrian Diaconu]
And-yet-once-more-edited, enhanced/enlarged version of earlier preprint of the
same name (below): integral moments for GL(2) automorphic L-functions
over number fields, by integral representations. This version has
tripled in size by comparison to the old one. A recipe is given for
producing spectral identities involving second moments. Appendices
prove convergence in detail, evaluate integrals, etc., in response to
referee comments. This version is slightly edited by comparison to the
version on arXiv, too. The original (below) short version may succeed
in isolating the really new points better.
Appears in [Volume 8, Issue 02, April 2009, pp 335-382,
J. Math. Inst. Jussieu.
]
- [ Poles of half-degenerate Eisenstein series]
... [ updated 03 Jul '06]
... Combine very classical application of Poisson summation with
Godement-Jacquet integral representation of L-functions to give a good
estimate on poles of some very special (partly cuspidal-data, partly
degenerate-data) Eisenstein series on GL(n). Treating these as
(iterated) residues of cuspidal-data Eisenstein series gives a
significantly worse estimate on poles. This class of Eisenstein series
is very special, but occurs in applications.
- [ Discrete decomposition of cuspforms]
... [ updated 05 Jun '09]
... We prove the Gelfand-Graev-PS theorem: spaces of square-integrable
cuspforms on reductive groups (best adelized) decompose discretely,
with finite multiplicities, by proving that the operators naturally induced by
test functions on the group are compact . The argument
roughly follows Godement's 1966 Boulder-conference proof, with some
critical details filled in.
- [ Integral moments of
automorphic L-functions ]
... [ updated 12 Sep '06]
... [joint with
Adrian Diaconu] Integral
moments for GL(2) automorphic L-functions over number fields, by
integral representations.
- [ Archimedean zeta integrals for unitary groups]
... [ updated 19 May '06]
... Evaluation of archimedean zeta integrals arising in decomposition
of holomorphic Siegel-type Eisenstein series restricted from larger to
smaller unitary groups. [This paper itself does not explain the larger
context. A version of it will appear in the AIM conference volume on
Eisenstein series, likely as a too-long appendix to a paper of
Michael Harris' ,
namely
"A simple proof of rationality of Siegel-Weil Eisenstein series"
[http://www.math.jussieu.fr/~harris/SW.pdf]
which does explain something of the context. ]
- [Geometric homology versus group homology]
... [ updated 14 Sep '05]
... We want to prove that the singular homology of quotients X/Gamma
is the group homology of Gamma, under some mild conditions on X (such
as that X be a ball). We recap work of Hopf, Hurewicz,
Eilenberg-MacLane: homology of spaces with vanishing higher
homotopy is determined by the first homotopy group,
giving a functor on groups. Then recall Dold's
result that removes the requirement that the spaces be
CW-complexes. Historical notes.
- [ Lie algebra sl(2)
version of Segal-Shale-Weil (oscillator) representation ]
... [ updated 07 Jan '06]
... Setting up Lie algebra action of sl(2) on Schwartz
functions: archimedean case of Weil representation. The benefits of
looking at the Lie algebra rather than Lie group action are compelling
in this example. Amusing connection to spherical
harmonics... Invocation of subrepresentation theorem to study
irreducible quotients in positive-definite case.
- [Buildings, Bruhat decompositions, etc.]
... [ updated 02 Jul '05]
... [DRAFT] Development of basic theory of buildings, Bruhat
decompositions, aiming especially at simple discussion of
Iwahori-Hecke algebra and Borel-Matsumoto theorem. Graphics
meant to suggest proof techniques. (Small novelty is the realization
that one need not presume the combinatorial group theory of Coxeter
groups.)
- [Kernels of intertwinings for SL(2,R)]
... [ updated 03 Jan '09]
... Computing natural intertwining operators among
unramified principal series for SL(2,R). Meromorphic
continuation in terms of the gamma
function. Holomorphic discrete series (summed with antiholomorphic)
detected. (Meromorphically continued) intertwining operators extend to
smooth vectors.
- [
Convergent Siegel-Weil [draft]
]
... [ updated 09 Aug '05]
... Proof of Siegel-Weil in the far-convergent range, by inequalities
separating principal series (Satake) parameters of Eisenstein series
and cuspforms. May be viewed as an updated version of an argument of
Andrianov from 1979.
- [Archimedean zeta integrals]
... [ updated 16 Mar '05]
... Overheads for Bowling Green, KY, talk on Archimedean zeta
integrals, and qualitative rationality arguments.
- [ Artin L-functions ]
... [ updated 01 Mar '05]
... Definition of Artin L-functions, brief comments on Artin's
conjecture on analytic continuations, Brauer's result on meromorphy,
Langlands' reformulation.
- [
Moderate growth representations
]
... [ updated 19 Feb '05]
... Amplification of part of paper of N. Wallach from 1982: Norms on
groups. Banach space representations of real reductive groups are of
moderate growth. Further, the Frechet spaces of smooth vectors are of
moderate growth.
- [
Inducing cuspidals from compact-opens
]
... [ updated 19 Feb '05]
... (Jacquet 1970) the (smooth) induced module of cuspidal from
compact-open is admissible and supercuspidal.
- [
Some facts about discrete series ]
... [ updated 19 Feb '05]
... Recollection of some basic facts on discrete series of real
reductive groups, with table showing which classical groups do and
don't have discrete series, holomorphic discrete series, and
quaternionic discrete series. Bibliographical pointers.
- [
A possibly amusing little stunt involving traces: ]
... [ updated 19 Feb '05]
... Computing zeta(2) as the trace of an integral operator
on [a,b] solving u''= f with boundary conditions
u(a)=u(b)=0. Traces of the iterates of this kernel evaluate
zeta(2k).
- [ The zeroth Fourier
coefficient lies in the field generated by the higher coefficients
]
...
[ updated 19 Feb '05]
...
This principle was used by Klingen c. 1960 in application to pullbacks
of Hilbert modular Eisenstein series to elliptic modular forms, to
analyze the constant terms (certain values of L-functions). It is very
easy to give incorrect proofs of this.
- [ Godement's criterion for convergence of
Eisenstein series ]
... [ updated 18 Aug '08]
.. Provides the little bit of adelic reduction-theoretic background (with
proofs, following Godement) to give an adelic version of Borel's 1966
account of Godement's criterion for convergence of very simple
Siegel-type (degenerate) Eisenstein series.
- [ holomorphic discrete series ]
... [ updated 19 Feb '05]
... Proving (for Sp(n,R) and U(p,q)) the apparently apocryphal result
that for sufficiently high lowest K-type rho the universal
lowest-K-type (g,K)-module with lowest K-type rho is
irreducible. This implies that rho determines the isomorphism class of
the (g,K)-module, and also that the whole representation space is the
tensor product of the enveloping algebra U(p+) with rho. The latter
freeness property is essential in a treatment of Maass-Shimura
operators.
- [ von Neumann
density theorem ]
... [ updated 20 Feb '05]
... A one-page proof, not entangled with anything else.
- [ Unitary representations of
topological groups ]
... [ updated 13 Feb '08]
... Basics, emphasizing discrete series,
compact quotients, integration-theory methods.
- [ GL(2) over a finite field ]
... [ updated 19 Apr '09]
... Very simple illustration of
irreducibility of principal series, Jacquet modules, uniqueness of
Whittaker models, Mackey-Bruhat orbit decomposition, Gelfand-Graev
involution method. (dumb errors fixed Jan 2004, but SL(2) part not
done. Toy Weil/oscillator representation stuff to be added.)
- [ Extended automorphic forms ]
... [ updated 19 Feb '05]
... after Casselman and Zagier, Maass-Selberg for SL(2,Z) as
illustration.
- [ Classical groups and classical
domains ]
... [ updated 24 Apr '05]
... classical cones, classical groups over R and C,
Harish-Chandra and Borel realizations of bounded symmetric domains.
- [ Basic Rankin-Selberg method
]
... [ updated 31 May '05]
... The classical simplest possible example, obtaining the
tensor product L-function for two holomorphic cuspforms for SL(2,Z),
discussing also the Mellin-transform trick to see the meromorphic
continuation of the relevant Eisenstein series.
- [ Representations with Iwahori-fixed
vectors ]
... [ updated 19 Feb '05]
... Borel-Matsumoto theorem and applications to
irreducibility of unramified principal series and degenerate principal
series representations of reductive p-adic groups. [
Note: It seems to me now that the generic algebras
business is needless, and amounts to taking the long way around. This
will be written up in a different style...(11 June 2005)]
- [ Jacquet theory ]
... [ updated 05 Dec '05]
... Standard basic features of representation theory of p-adic reductive groups:
exactness of Jacquet module functors, Jacquet's lemmas, admissibility
and finite-generation of Jacquet modules of admissible
finitely-generated smooth representations.
- [ Slightly non-trivial examples of
Maass-Selberg relations ]
... [ updated 19 Feb '05]
... Inner products of truncated
Eisenstein series attached to spherical cuspidal-data on maximal
proper parabolics in GL(n), with standard corollaries about possible
poles, square-integrability of residues.
- [ Simplest example of Maass-Selberg relations
]
... [ updated 19 Feb '05]
... The absolutely simplest case:
spherical Eisenstein series for SL(2,Z), of course, assuming basic results from the theory
of the constant term, paying attention to the proper notion of
truncation. Standard corollaries about possible poles,
square-integrability of residues, in this simple case.
- [ Eisenstein series bibliography ]
... [ updated 01 May '06]
... concerning analytical properties of Eisenstein series, constant terms,
Rankin-Selberg and Langlands-Shahidi integral representations of
L-functions, related representation theory of reductive Lie and p-adic
groups, etc.
- [ Volumes of SL(n,Z) and Sp(n,Z) ]
... [ updated 19 Feb '05]
... following Siegel et alia. Essentially elementary argument using
Poisson summation.
- [ Hartogs' theorem]
... [ updated 19 Feb '05]
... that separate analyticity implies joint analyticity. Used in
reduction of the non-maximal parabolic case to the maximal parabolic
case in treatment of Eisenstein series, and in the proof (for the
Selberg-Bernstein argument for meromorphic continuation) that a
composition of weakly holomorphic morphisms of topological
vectorspaces maps is again weakly holomorphic.
- [ Algebras and involutions ]
... [ updated 19 Feb '05]
... Especially over local fields. Crossed product, cyclic algebra
constructions. Local splitting almost everywhere. Classifies
involutions over local fields.
- [ Jacobi product formula ]
... [ updated 23 Aug '01]
- [
Weak smoothness implies strong smoothness ]
... [ updated 21 Nov '06]
... for functions with values in quasi-complete locally convex topological
vectorspaces.
- [ Uniqueness of invariant
distributions ]
... [ updated 03 Aug '05]
... on Lie groups, totally disconnected groups, adele groups, etc.
- [ Very easy non-unitarizability
criterion for principal series ]
... [ updated 24 Apr '05]
... for p-adic GL(n), and more generally
- [ Prime Number Theorem, Etcetera ]
... [ updated 19 Feb '05]
... Further simplification of D.J. Newman's simplified method,
applied to general Euler products.
- [ Purdue talk, 20 April
2001 ]
... [ updated 19 Feb '05]
... Remarks on spectral decompositions,
intro to meromorphic continuation. Maybe expanded later.
- [ Expanded version of Tel Aviv talk
]
... [ updated 19 Feb '05]
... Meromorphic continuation of cuspidal-data Eisenstein series
for maximal proper parabolics in GL(n). Draft.
- [ Meromorphic continuation
of Eisenstein series ]
... [ updated 19 Feb '05]
... after Bernstein-Selberg. Revised setup
and treatment of SL(2,Z). Draft.
- Complementary material for meromorphic continuation:
- [`Easy' proof of Siegel-Weil]
... [ updated 09 Aug '05]
... in the region of convergence, for SL(2)
-
[
Euler Factorizations of Global Integrals ]
... [ updated 19 Feb '05]
... my paper from Proc. Symp. AMS 66, from Texas conference
1996. Gives multiplicity-one sufficient conditions for factorization
of global integrals into Euler product and period .
- [ The Gelfand-Kazhdan criterion
]
... [ updated 19 Feb '05]
... for multiplicity-free-ness
- [ Bernstein's Rationality
Lemma ]
... [ updated 19 Feb '05]
... algebraic version of his "continuation principle"
- [ Reduction theory ]
... [ updated 18 Aug '08]
...
compactness of arithmetic quotients of anisotropic orthogonal groups
(after Tamagawa-Mostow and Godement). Other basic stuff about affine
heights and Minkowski reduction in modern setting.
- [ Fujisaki's lemma: ]
... [ updated 16 Jan '08]
... Compactness of
arithmetic quotients of division algebras (after Weil)
- [ Satake parameters versus principal
series ]
... [ updated 19 Feb '05]
... comparison of Satake transform with principal series
parameters. Obvious in hindsight.
- [ Factoring unitary representations
over primes ]
... [ updated 19 Feb '05]
... about admissibility, type I groups,
liminality/CCR property, etc.
- [ What are automorphic forms and
L-functions? ]
... [ updated 19 Feb '05]
... informal historical introduction
- [ Primer of unramified principal series
]
... [ updated 19 Feb '05]
... explaining the "facts" of Casselman's 1980 Compositio paper
in elementary terms for a few classical groups
-
[ Admissibility of irreducibles of
reductive groups ]
... [ updated 15 Jan '09]
... proofs in real case, Bernstein's proof for
supercuspidals in p-adic case.
- [ Smooth representations of totally
disconnected groups ]
... [ updated 08 Jul '05]
... introductory notes
- [ Injectivity of supercuspidals ]
... [ updated 19 Feb '05]
- [ von Neumann algebras:
terminology ]
... [ updated 19 Feb '05]
- [ Quadratic reciprocity over global fields
]
... [ updated 19 Feb '05]
... using Poisson summation, Fourier transforms of distributions
-
[ Newton polygons ]
...
[ updated 19 Feb '05]
- [ Bernstein's analytic
continuation of complex powers ]
... [ updated 19 Feb '05]
... a slight rewrite of the original article
© 1996-2009,
Paul Garrett
...
[ garrett@math.umn.edu
]
[this page is http://www.math.umn.edu/~garrett/m/v/]
The University of Minnesota explicitly requires that I
state that "The views and opinions expressed in this page are
strictly those of the page author. The contents of this page have not
been reviewed or approved by the University of Minnesota."