En matemáticas , la cohomología de Eichler (también llamada cohomología parabólica o cohomología cuspidal ) es una teoría de cohomología para grupos fucsianos , introducida por Eichler ( 1957 ), que es una variación de la cohomología de grupo análoga a la imagen de la cohomología con soporte compacto en la cohomología ordinaria. grupo. El isomorfismo de Eichler-Shimura , introducido por Eichler para la cohomología compleja y por Shimura ( 1959) para la cohomología real, es un isomorfismo entre un grupo de cohomología de Eichler y un espacio de formas cúspides. Hay varias variaciones del isomorfismo de Eichler-Shimura, porque se pueden usar coeficientes reales o complejos, y también se puede usar la cohomología de Eichler o la cohomología de grupo ordinaria como en ( Gunning 1961 ). También hay una variación de los isomorfismos de Eichler-Shimura usando cohomología l -ádica en lugar de cohomología real, que relaciona los coeficientes de las formas de las cúspides con los valores propios de Frobenius que actúan sobre estos grupos. Deligne (1971) utilizó esto para reducir la conjetura de Ramanujan a las conjeturas de Weil que luego demostró.
Cohomología de Eichler
Si G es un grupo fucsiano y M es una representación de él, entonces el grupo de cohomología de Eichler H1
P( G , M ) se define como el núcleo del mapa de H1
( G , M ) a Π c H1
( G c , M ), donde el producto está sobre las cúspides c de un dominio fundamental de G , y G c es el subgrupo que fija la cúspide c .
Referencias
- Deligne, Pierre (1971), "Formes modulaires et représentations l-adiques", Séminaire Bourbaki vol. 1968/69 Exposés 347-363 , Lecture Notes in Mathematics, 179 , Berlín, Nueva York: Springer-Verlag , doi : 10.1007 / BFb0058801 , ISBN 978-3-540-05356-9
- Eichler, Martin (1957), "Eine Verallgemeinerung der Abelschen Integrale", Mathematische Zeitschrift , 67 : 267–298, doi : 10.1007 / BF01258863 , ISSN 0025-5874 , MR 0089928
- Gunning, Robert C. (1961), "Los grupos de cohomología de Eichler y formas automórficas", Transactions of the American Mathematical Society , 100 : 44–62, doi : 10.2307 / 1993353 , ISSN 0002-9947 , JSTOR 1993353 , MR 0140126
- Knopp, MI (2001) [1994], "Eichler_cohomology" , Enciclopedia de Matemáticas , EMS Press
- Shimura, Goro (1959), "Sur les intégrales attachées aux formes automorphes", Journal of the Mathematical Society of Japan , 11 : 291–311, doi : 10.4099 / jmath.11.291 , ISSN 0025-5645 , MR 0120372