アイヒラー・志村同型
(アイヒラーコホモロジー から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/29 04:21 UTC 版)
数学において、アイヒラーコホモロジー (Eichler cohomology) (また、放物型コホモロジー (parabolic cohomology) やカスプコホモロジー (cuspidal cohomology) とも呼ぶ)は、フックス群 (Fuchsian group) のコホモロジー論であり、 Eichler (1957)により導入された。このコホモロジー論は、通常のコホモロジー群の中のコンパクト台を持つコホモロジー(cohomology with compact support)の像に類似な群コホモロジーの変形である。アイヒラー・志村同型 (Eichler–Shimura isomorphism) は、複体のコホモロジーとしてアイヒラーにより導入され、実コホモロジーに対し Shimura (1959)で導入され、アイヒラーコホモロジー群とカスプ形式の空間の間の同型写像である。(Gunning 1961)に述べてあるように、係数として実数でも複素数でも使うことができ、アイヒラーコホモロジーでも通常の群コホモロジーでも使うことができるので、アイヒラー・志村同型はいくつかの変形がある。実コホモロジーの変わりに、l-進コホモロジーを使うアイヒラー・志村同型もあり、そこではカスプ形式の係数とこれらの群上に作用するフロベニウス写像の固有値の間を関連付ける。このことを使い、Deligne (1971)は、後に証明したヴェイユ予想へラマヌジャン予想を帰着させた。
- 1 アイヒラー・志村同型とは
- 2 アイヒラー・志村同型の概要
アイヒラーコホモロジー
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/29 04:21 UTC 版)
「アイヒラー・志村同型」の記事における「アイヒラーコホモロジー」の解説
G をフックス群(英語版)(Fuchsian group)とし、M をその表現とすると、アイヒラーコホモロジー群 H P 1 ( G , M ) {\displaystyle H_{P}^{1}(G,M)} は H 1 ( G , M ) {\displaystyle H^{1}(G,M)} から ∏ c H 1 ( G c , M ) {\displaystyle \prod _{c}H^{1}(G_{c},M)} への写像の核として定義される。ただし積は G の基本領域のカスプ c を渡る積をとり、 G c {\displaystyle G_{c}} はカスプ c を固定する部分群である。
※この「アイヒラーコホモロジー」の解説は、「アイヒラー・志村同型」の解説の一部です。
「アイヒラーコホモロジー」を含む「アイヒラー・志村同型」の記事については、「アイヒラー・志村同型」の概要を参照ください。
- アイヒラーコホモロジーのページへのリンク