ヤコビ多様体

数学において、種数 "g" の非特異代数曲線 "C" のヤコビ多様体 (ヤコビたようたい、Jacobian variety) "J"("C") とは、次数が 0 の直線束のモジュライ空間を言う。ヤコビ多様体は、"C" のピカール群の単位元の連結成分であり、従って、アーベル多様体である。
ヤコビ多様体の名称はヤコビの逆問題を研究したカール・グスタフ・ヤコビにちなむ。最初に「ヤコビ多様体」の名称を使ったのはフェリックス・クラインではないかと言われている。
はじめに.
ヤコビ多様体の名称は、(Carl Gustav Jacobi)の名前にちなんでいる。ヤコビ多様体は、次元 g の主偏極アーベル多様体であり、従って、複素数体上では(complex torus)である。p が C 上の点であれば、C は J の単位元へ写像される与えられた点 p を持つ J の部分多様体へ写像することができ、C は J を群として生成する。
リーマン面のヤコビ多様体の構成.
リーマン面 formula_1 のヤコビアン formula_2 を以下のように定義する。
ただし、formula_4 を formula_1 上で定義された正則1形式のなす複素ベクトル空間。
formula_6 は、その双対空間、
formula_7は、formula_1 上の1次のホモロジー群である。
formula_6 の元は次のように明示的に表せる
で与えられる。ただしformula_11、formula_12はそれぞれ、formula_13の formula_14-ループ、formula_15-ループ、formula_16は formula_1 の種数である。
または、アーベルの定理を適用して、
と考えてもよい。ただし、formula_19はformula_1上のパスである。また、formula_7の要素は
で与えられる。
このような定義は、リーマン面 formula_1 上の積分が、途中に任意のループ上の積分を含んでも結果が不変であることを要求することで自然に現れる。
任意の体上の曲線のヤコビ多様体は、により、有限体上の曲線のリーマン予想の証明の一部として構成された。
アーベル・ヤコビの定理は、このように作られた複素トーラスが次数 0 の直線束のモジュライ空間であるピカール多様体 と同型である、という定理である。またヤコビ多様体は単に複素トーラスであるというだけではなく、代数多様体の構造も入ることが知られている。
代数曲線のヤコビ多様体.
この節では特に断らない限り を任意の体、
を
上の非特異代数曲線とする。
定義.
考えている曲線 と
上の任意の連結スキーム
に対して群
を
で定義する。ここでスキーム
に対して
はそのピカール群、
は
と
の
上のファイバー積、
上の直線束
と
の点
に対して
は
を
上のファイバーに制限したもの、
は直線束の次数、
は
から第二成分への射影である。
このとき、 上のあるアーベル多様体
であって
と
が
に関して関手的に同型となるものが存在する。このアーベル多様体
を
のヤコビ多様体（Jacobian variety）といい、記号 で表す。
諸性質.
次元.
ヤコビ多様体 の次元は の種数 と等しい。
アーベル・ヤコビ写像.
曲線 の 有理点 に対し、
であって
の 有理点 に対して
となるものがだた一つ存在する。これを 標準写像（canonical map）、またはアーベル・ヤコビ写像という。
この写像から微分形式の引き戻しにより定義される
から
への線型写像
は同型写像である。
リーマン面のヤコビ多様体との関係.
基礎体
が複素数体
であるとき、
の
値点
には自然にコンパクト・リーマン面の構造が入るので、このリーマン面のヤコビ多様体
を考えることができる。これは代数幾何学的に定義されたヤコビ多様体
の
値点
と自然に同型になる。この同型を与える写像は次のように定義される。まず
の正則1形式がなす
上のベクトル空間
の双対ベクトル空間
から
への写像を合成写像
で定義する。最初の写像はアーベル・ヤコビ写像から誘導される写像で、次の写像は
と の接空間
の自然な同型写像で、最後の は指数写像である。この写像の
における核が
であることが証明できるので、これより
と
が同型になることがわかる。
アルバネーゼ関手性.
を
の
 有理点、
をアーベル・ヤコビ写像とする。
からアーベル多様体
への射
で を の単位元に送るものがあったとすると、ある一意に定まる準同型
が存在して
が成り立つ。この性質をアルバネーゼ関手性（Albanese functoriality）という。特に、
を非特異射影曲線の有限被覆、
と
をそれぞれ
と
の
有理点で
が成り立つものとするとき、アルバネーゼ関手性よりアーベル多様体の射
であって
を満たすものが存在する。
ピカール関手性.
を 上の非特異射影曲線の間の射とする。このとき
上のアーベル多様体の射
であって誘導される写像
が直線束の引き戻し写像になるものが存在する。これをピカール関手性（Picard functoriality）と呼ぶ。
発展した話題.
(Torelli's theorem)は、複素曲線が（偏極をもった）ヤコビ多様体により決定することを言っている。
(Schottky problem)は、どのような偏極を持つアーベル多様体が曲線のヤコビ多様体であるかを問うている。
ピカール多様体、アルバネーゼ多様体や、(intermediate Jacobian)は、高次元の多様体へのヤコビ多様体の一般化である。高次元の多様体に対し、正則 1-形式の空間の商空間としてのヤコビ多様体の構成はアルバネーゼ多様体として一般化できる。しかし、高次元ではピカール多様体と同型になるとは限らない。