アイヒラー・志村同型
数学において、アイヒラーコホモロジー (Eichler cohomology) （また、放物型コホモロジー (parabolic cohomology) やカスプコホモロジー (cuspidal cohomology) とも呼ぶ）は、フックス群 (Fuchsian group) のコホモロジー論であり、テンプレート:Harvsにより導入された。このコホモロジー論は、通常のコホモロジー群の中のコンパクト台を持つコホモロジー(cohomology with compact support)の像に類似な群コホモロジーの変形である。アイヒラー・志村同型 (Eichler–Shimura isomorphism) は、複体のコホモロジーとしてアイヒラーにより導入され、実コホモロジーに対しテンプレート:Harvsで導入され、アイヒラーコホモロジー群とカスプ形式の空間の間の同型写像である。{{#invoke:Footnotes | harvard_citation }}に述べてあるように、係数として実数でも複素数でも使うことができ、アイヒラーコホモロジーでも通常の群コホモロジーでも使うことができるので、アイヒラー・志村同型はいくつかの変形がある。実コホモロジーの変わりに、l-進コホモロジーを使うアイヒラー・志村同型もあり、そこではカスプ形式の係数とこれらの群上に作用するフロベニウス写像の固有値の間を関連付ける。このことを使い、Deligne (1971)は、後に証明したヴェイユ予想へラマヌジャン予想を帰着させた。
アイヒラーコホモロジー
G をフックス群(Fuchsian group)とし、M をその表現とすると、アイヒラーコホモロジー群 [math]H^1_P(G,M)[/math] は [math]H^1(G,M)[/math] から [math]\prod_cH^1(G_c,M)[/math] への写像の核として定義される。ただし積は G の基本領域のカスプ c を渡る積をとり、[math]G_c[/math] はカスプ c を固定する部分群である。
参考文献
- 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, Berlin, New 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), “The Eichler cohomology groups and automorphic forms”, Transactions of the American Mathematical Society 100: 44–62, doi:10.2307/1993353, ISSN 0002-9947, MR 0140126
- テンプレート:Eom
- 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