In
number theory
Number theory is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic functions. Number theorists study prime numbers as well as the properties of mathematical objects constructed from integers (for example ...
, the Shimura correspondence is a correspondence between
modular form
In mathematics, a modular form is a holomorphic function on the complex upper half-plane, \mathcal, that roughly satisfies a functional equation with respect to the group action of the modular group and a growth condition. The theory of modul ...
s ''F'' of half integral weight ''k''+1/2, and modular forms ''f'' of even weight 2''k'', discovered by . It has the property that the eigenvalue of a
Hecke operator
In mathematics, in particular in the theory of modular forms, a Hecke operator, studied by , is a certain kind of "averaging" operator that plays a significant role in the structure of vector spaces of modular forms and more general automorphic rep ...
''T''
''n''2 on ''F'' is equal to the eigenvalue of ''T''
''n'' on ''f''.
Let
be a holomorphic cusp form with weight
and character
. For any prime number ''p'', let
:
where
's are the eigenvalues of the
Hecke operator
In mathematics, in particular in the theory of modular forms, a Hecke operator, studied by , is a certain kind of "averaging" operator that plays a significant role in the structure of vector spaces of modular forms and more general automorphic rep ...
s
determined by ''p''.
Using the
functional equation
In mathematics, a functional equation
is, in the broadest meaning, an equation in which one or several functions appear as unknowns. So, differential equations and integral equations are functional equations. However, a more restricted meaning ...
of
L-function
In mathematics, an ''L''-function is a meromorphic function on the complex plane, associated to one out of several categories of mathematical objects. An ''L''-series is a Dirichlet series, usually convergent on a half-plane, that may gi ...
,
Shimura showed that
:
is a holomorphic
modular function
In mathematics, a modular form is a holomorphic function on the complex upper half-plane, \mathcal, that roughly satisfies a functional equation with respect to the group action of the modular group and a growth condition. The theory of modula ...
with weight ''2k'' and character
.
Shimura's proof uses the
Rankin-Selberg convolution of
with the theta series
for various Dirichlet characters
then applies
Weil's converse theorem.
See also
*
Theta correspondence In mathematics, the theta correspondence or Howe correspondence is a mathematical relation between representations of two groups of a reductive dual pair. The local theta correspondence relates irreducible admissible representations over a local fie ...
References
*
*{{Citation , last1=Shimura , first1=Goro , title=On modular forms of half integral weight , jstor=1970831 , mr=0332663 , year=1973 , journal=
Annals of Mathematics
The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study.
History
The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as t ...
, series=Second Series , issn=0003-486X , volume=97 , issue=3 , pages=440–481 , doi=10.2307/1970831
Modular forms
Langlands program