HOME

TheInfoList



OR:

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 f be a holomorphic cusp form with weight (2k+1)/2 and character \chi . For any prime number ''p'', let :\sum^\infty_\Lambda(n)n^=\prod_p(1-\omega_pp^+(\chi_p)^2p^)^\ , where \omega_p'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 T(p^2) 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 :F(z)=\sum^\infty_ \Lambda(n)q^n 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 \chi^2 . Shimura's proof uses the Rankin-Selberg convolution of f(z) with the theta series \theta_\psi(z)=\sum_^\infty \psi(n) n^\nu e^ \ () for various Dirichlet characters \psi 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