Eichler–Shimura isomorphism
{{short description|Cohomology theory}}
{{distinguish|Eichler–Shimura relation}}
In mathematics, Eichler cohomology (also called parabolic cohomology or cuspidal cohomology) is a cohomology theory for Fuchsian groups, introduced by {{harvs|txt|last=Eichler|authorlink=Martin Eichler|year=1957}}, that is a variation of group cohomology analogous to the image of the cohomology with compact support in the ordinary cohomology group. The Eichler–Shimura isomorphism, introduced by Eichler for complex cohomology and by {{harvs|txt|last=Shimura|authorlink=Goro Shimura|year=1959}} for real cohomology, is an isomorphism between an Eichler cohomology group and a space of cusp forms. There are several variations of the Eichler–Shimura isomorphism, because one can use either real or complex coefficients, and can also use either Eichler cohomology or ordinary group cohomology as in {{harv|Gunning|1961}}. There is also a variation of the Eichler–Shimura isomorphisms using l-adic cohomology instead of real cohomology, which relates the coefficients of cusp forms to eigenvalues of Frobenius acting on these groups. {{harvtxt|Deligne|1971}} used this to reduce the Ramanujan conjecture to the Weil conjectures that he later proved.
Eichler cohomology
If G is a Fuchsian group and M is a representation of it then the Eichler cohomology group H{{su|p=1|b=P}}(G,M) is defined to be the kernel of the map from H{{su|p=1|b=}}(G,M) to
Πc H{{su|p=1|b=}}(Gc,M), where the product is over the cusps c of a fundamental domain of G, and Gc is the subgroup fixing the cusp c.
The Eichler–Shimura isomorphism is an isomorphism between the space of cusp forms on G of weight n + 2 and the first Eichler cohomology of the group G with the coefficients in the G-module , where the rank of depends on n (Shimura, "Intruduction to the arithmetic theory of automorphic functions", Theorem 8.4)
References
{{no footnotes|date=March 2016}}
- {{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=Séminaire Bourbaki vol. 1968/69 Exposés 347-363 | url=http://www.numdam.org/item?id=SB_1968-1969__11__139_0 | publisher=Springer-Verlag | location=Berlin, New York | series=Lecture Notes in Mathematics | isbn=978-3-540-05356-9 | doi=10.1007/BFb0058801 | year=1971 | volume=179 | chapter=Formes modulaires et représentations l-adiques }}
- {{Citation | last1=Eichler | first1=Martin | title=Eine Verallgemeinerung der Abelschen Integrale | doi=10.1007/BF01258863 | mr=0089928 | year=1957 | journal=Mathematische Zeitschrift | issn=0025-5874 | volume=67 | pages=267–298}}
- {{Citation | last1=Gunning | first1=Robert C. | title=The Eichler cohomology groups and automorphic forms | jstor=1993353 |mr=0140126 | year=1961 | journal=Transactions of the American Mathematical Society | issn=0002-9947 | volume=100 | pages=44–62 | doi=10.2307/1993353| doi-access=free }}
- {{SpringerEOM|title=Eichler cohomology|first=M. I.|last=Knopp}}
- {{Citation | last1=Shimura | first1=Goro | title=Sur les intégrales attachées aux formes automorphes | doi=10.2969/jmsj/01140291 |mr=0120372 | year=1959 | journal=Journal of the Mathematical Society of Japan | issn=0025-5645 | volume=11 | pages=291–311| doi-access=free }}
{{DEFAULTSORT:Eichler-Shimura isomorphism}}