アーベル・ヤコビ写像

数学では、アーベル・ヤコビ写像(アーベル・ヤコビしゃぞう、Abel–Jacobi map)は、代数曲線とそのヤコビ多様体とを関連付ける代数幾何学で構成する写像である。リーマン幾何学では、多様体をヤコビトーラスへ写像するという、より一般的な構成の写像である。写像の名称は、2つの有効因子が(linearly equivalent)であることと、アーベル・ヤコビ写像の下では 2つの因子が同一視できることと同値であるという定理が、アーベル・ヤコビの定理である。この定理の名称は、発見者であるアーベルとヤコビに因んでいる。
写像の構成.
複素代数幾何学では、曲線 C のヤコビ多様体は、経路積分を使い構成される。つまり、C が種数 g の曲線を持っていて、位相的には、
とすると、幾何学的には、このホモロジー群は C のサイクル（のホモロジークラス）、言い換えると閉じたループから構成されるとすると、ホモロジー群を生成する 2g 個のループ formula_2 を選ぶことができる。他方、C の種数が g であるという別の代数幾何学的な方法は、
であり、ここに K は C の標準バンドルである。定義により、これは大域的に定義された C 上の正則微分形式の空間であるので、線型独立な g は formula_4 を形成する。形式と閉形式が与えられると、積分することができ、2g 個のベクトルを
とすることができる。これはリーマンの双線型関係式に従う。リーマンの双線型関係式は、formula_6 は非退化格子 (lattice) formula_7 （つまり、格子は、formula_8 の実基底）であり、ヤコビ多様体は、
で定義される。
従って、アーベル・ヤコビ写像(Abel–Jacobi map)は次のように定義される。基点を formula_10 と取り、ほぼ formula_7 の定義と類似させて、写像
を定義する。これは一見、formula_13 から formula_14 への経路と独立のように見えるが、任意のそのような経路は、 formula_15 の中の閉ループを定義し、従って、formula_16 の元、従って、その上での積分は、formula_7 の元を与える。このように、差異は formula_7 による商への道の中で消滅する。基点 formula_13 を変更により、写像を変更されるのみならず、トーラスの変換によっても変更される。
リーマン多様体のアーベル・ヤコビ写像.
formula_20 を滑らかなコンパクト多様体とし、formula_20 の基本群を formula_22 とする。基本群のアーベル化写像を formula_23 とする。アーベル化写像 formula_24 の捩れ部分群を formula_25 とし、formula_26 を捩れによる商とする。
formula_20 が曲面で g を曲面の種数とすると、formula_28 は、formula_29 と同型となる。さらに一般的には、formula_30 を第一ベッチ数とすると、formula_31 は formula_32 と同型となる。さらに、formula_33 を合成した準同型とする。
定義：多様体 formula_20 の被覆 formula_35 に対応する部分群 formula_36 を、普遍（もしくは、最大）自由アーベル群という。
ここで、M がリーマン計量を持っているとし、formula_37 を formula_20 の調和 1-形式の空間とし、その双対 formula_39 を標準的に formula_40 と同一視する。調和 1-形式を基点 formula_41 からの経路に沿って積分すると、円への写像
formula_42
を得る。
同様に、写像 formula_43 をコホモロジーの基底を選ぶことなしに定義するために、次のようにする。formula_44 を formula_20 の普遍被覆 formula_46 の点とする。formula_44 を formula_20 の点と formula_49 からの経路 formula_50 により表わす。経路 formula_50 に沿って積分すると、formula_37 上の線型形式 formula_53 を得る。このようにして、写像 formula_54 を得ることができ、この写像は、
定義 formula_20 のヤコビ多様体（ヤコビトーラス）は、
である。
定義 アーベル・ヤコビ写像(Abel–Jacobi map)
は、上の写像の商をとることにより得られる。
アーベル・ヤコビ写像は、ヤコビトーラスの変換を同一視すると一意的である。写像は(Systolic geometry)への応用がある。
同じ方法の多くの中に、アーベル・ヤコビ写像のグラフ理論での類似を、有限グラフから平坦トーラス（有限アーベル群に付帯するケイリーグラフ）への P-L写像を定義することができる。これは、結晶格子のランダムウォークの漸近的な振る舞いに関係していて、結晶構造の設計に使うことができる。興味深いことに、リーマン多様体のアーベル・ヤコビ写像は、周期的多様体上の熱核の長時間の漸近展開の中に現れる。( and )
非常に良く似た方法で、有限グラフから平坦トーラス（あるいは、有限アーベル群を伴うケーレイグラフ）へのPL写像として、アーベル・ヤコビ写像のグラフ理論的な類似を定義することができる。このことは、結晶格子上のランダムウォークの漸近的な振る舞いと密接に関連していて、結晶構造のデザインに使うことができる。
アーベル・ヤコビの定理.
次の定理は、アーベル(Abel)により証明された。
が因子であると仮定する（C の点の形式的線型結合であることを意味する）と、
と定義することができ、従って、因子上のアーベル・ヤコビ写像の値を言うことができる。この理論は、 D と E が 2つの有効な因子である、つまり、formula_62 がすべて正の整数であると、
であることと、formula_64 が formula_37 が(linearly equivalent)であることとは、同値である。このことは、アーベル・ヤコビ写像が、次数 0 の因子類群の空間からヤコビ多様体への（アーベル群の）単射写像を誘導することを意味する。ヤコビは、この写像が全射でもあることを証明し、従って 2つの群は自然に同型となることを証明した。
アーベル・ヤコビの定理は、コンパクト複素曲線（正則 1-形式の周期を modulo とする双対）のアルバネーゼ多様体は、そのヤコビ多様体（次数 0 の因子の同値類）と同型であることを意味している。高次元のコンパクト射影多様体について、アルバネーゼ多様体やピカール多様体は、双対であるが同型であるとは限らない。