In
number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777â ...
, the Shimura correspondence is a correspondence between
modular form
In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the Group action (mathematics), group action of the modular group, and also satisfying a grow ...
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 repr ...
''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 repr ...
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 give ris ...
,
Shimura showed that
:
is a holomorphic
modular function
In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the group action of the modular group, and also satisfying a growth condition. The theory of ...
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
In the mathematical theory of automorphic forms, a converse theorem gives sufficient conditions for a Dirichlet series to be the Mellin transform of a modular form. More generally a converse theorem states that a representation of an algebraic gro ...
.
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 the ...
, series=Second Series , issn=0003-486X , volume=97 , pages=440–481 , doi=10.2307/1970831
Modular forms
Langlands program