1 定義と基本性質
複素トーラスは、複素ベクトル空間を離散部分群で割って得られるコンパクトな複素多様体である。解析学では周期性をもつモデルとして現れ、代数幾何学ではアーベル多様体の原型、微分幾何学では平坦な複素多様体の代表例として扱われる。
1.1 複素トーラスの定義
複素トーラスは、有限次元複素ベクトル空間に格子を入れ、その商として構成される。格子が作る周期構造により、空間全体に繰り返しが生じ、局所的には平坦でありながら大域的には非自明な位相をもつ。
1.1.1 複素ベクトル空間
基礎となるのは、複素数体上の有限次元ベクトル空間である。通常は \(\mathbb{C}^n\) が用いられ、その上で複素線形構造が自然に定まる。座標ごとの加法と複素数倍が定義され、解析的な議論の出発点となる。
1.1.2 格子
格子とは、実線形独立なベクトルの整数係数結合からなる離散部分群である。複素次元 \(n\) の場合、実次元 \(2n\) の格子をとることで、商空間が適切なコンパクト性を持つ。格子の形は基底の選び方で変わるが、生成する離散群そのものが本質的である。
1.1.3 商空間としての構成
複素ベクトル空間 \(V\) と格子 \(\Lambda\) に対し、商 \(V/\Lambda\) を考えると複素トーラスが得られる。各点は格子による同値類として表され、平行移動が同一視される。これにより、空間は周期的な貼り合わせを受けた形になる。
1.2 複素多様体としての性質
複素トーラスは、自然な複素多様体の構造を備える。局所的には複素ユークリッド空間と同型であり、遷移写像も正則であるため、解析的な道具をそのまま用いることができる。
1.2.1 局所座標
任意の点の近傍は、格子の作用が十分小さい範囲では \(\mathbb{C}^n\) の開集合に持ち上がる。したがって局所座標は複素直線やその高次元版と同様に扱える。大域的なねじれはあるが、局所解析の観点では標準的である。
1.2.2 コンパクト性
格子が空間を周期的に埋め尽くすため、基本領域を一つ取れば全体を代表できる。結果として商空間はコンパクトになる。これは正則関数や調和形式の挙動に強い制約を与える重要な性質である。
1.2.3 群構造
商空間には、元のベクトル空間の加法が自然に降りるため、複素多様体であると同時に複素 Lie 群として振る舞う。単位元は格子の零元類であり、各点の逆元も加法で定まる。この群構造は自己同型の研究にも直結する。
1.3 低次元の例
低次元の複素トーラスは具体的に記述しやすく、理論の直観を与える。特に一次元の場合は楕円曲線との関係が深く、二次元の場合は複素構造の多様性が際立つ。
1.3.1 一次元複素トーラス
一次元では、\(\mathbb{C}\) を二つの独立な周期で割った商が得られる。これは複素解析における基本的な周期空間であり、楕円函数の自然な定義域になる。代数幾何学では、適切な偏極をもつ場合に楕円曲線として理解される。
1.3.2 二次元複素トーラス
二次元では、格子の形によって性質が大きく変わる。代数的なものもあれば、そうでないものも存在し、複素トーラス全体の中で最も豊かな現象が現れやすい。分類や変形の問題も、ここで一気に複雑になる。
2 格子と周期
複素トーラスの構造は、格子の選択とその周期データに強く依存する。基底の取り方は表示を変えるだけで本質を変えないが、周期行列として整理すると比較や分類が容易になる。
2.1 格子の基底
格子は、有限個の生成ベクトルで記述される。基底をどう選ぶかにより見かけの式は変化するが、同じ離散群を表していれば同値である。
2.1.1 実基底と複素基底
格子の生成元は、実ベクトルとして線形独立である必要がある。複素線形独立とは別の条件であり、実構造と複素構造の両方を意識する必要がある。複素基底の表現は、計算上の整理に便利である。
2.1.2 基底変換
基底を別の生成系に取り替えると、格子の記述は整数係数の変換で結ばれる。これは可逆な整数行列による作用として表されることが多い。したがって、基底変換は同じ格子の異なる表示にすぎない。
2.2 周期行列
周期行列は、格子の生成ベクトルを列に並べて表したものである。複素トーラスのモジュライや比較の議論では、この行列が基本データになる。
2.2.1 周期の表現
周期行列は、基礎となるベクトル空間における周期の長さと方向を符号化する。これにより、格子の幾何学的配置が明確になる。解析的対象としては、積分や変換公式に現れやすい。
2.2.2 標準形
適切な基底を選ぶと、周期行列は簡約された標準形に近づけられる。高次元では完全な一意形は得にくいが、規約を設けることで比較がしやすくなる。標準化は分類理論の入口でもある。
2.3 同値な格子
異なる表示をもつ格子でも、生成する商空間が同型なら同じ複素トーラスとみなされる。したがって、同値関係を正確に把握することが重要である。
2.3.1 同型条件
二つの格子が同型な複素トーラスを与えるのは、複素線形変換で互いに移り合うときである。実際には、格子の配置が適切な可逆変換で対応するかどうかが判定基準になる。これにより、純粋な表示の違いと本質的な差異を区別できる。
2.3.2 モジュライへの関係
格子の同値類を集めると、複素トーラスのモジュライ問題につながる。どの周期が同じ構造を与えるかを整理することで、パラメータ空間が構成される。これは変形理論とも深く関係する。
3 解析的構造
複素トーラス上では、正則関数や微分形式の性質が強く制限される。コンパクト性と周期性のため、解析対象の多くは大域的に単純な形へ縮退する。
3.1 正則関数
大域正則関数は、複素トーラスの解析的性質を示す最も基本的な対象である。コンパクトな複素多様体上では、非定数の大域正則関数は一般に現れにくい。
3.1.1 リウヴィル型性質
複素トーラス上の正則関数は、周期性を持つ全関数として持ち上げられる。そのため、複素解析のリウヴィルの定理に類似した議論が適用できる。結果として、関数は大域的に強い制約を受ける。
3.1.2 定数関数のみが現れる場合
コンパクト性のため、連結な複素トーラス上の大域正則関数は通常定数に限られる。これは最大値原理や持ち上げた全関数の性質から導かれる。したがって、関数論よりも形式的な微分幾何やコホモロジーが中心となる。
3.2 微分形式
微分形式は、複素トーラスの幾何と解析を結ぶ手段である。平坦な構造のおかげで、形式の記述は比較的明快で、計算も整理しやすい。
3.2.1 調和形式
平坦計量を入れると、調和形式は自然に定義される。複素トーラスでは、周期性と対称性により、調和形式の空間が比較的明示的に記述できる。これはホッジ理論の具体例として重要である。
3.2.2 ホッジ分解
複素トーラスのコホモロジーは、型分解に従って整理される。ホッジ分解により、微分形式の複素構造に応じた成分が分離される。これは代数幾何学的な情報を解析的に読み取るための基本枠組みである。
3.3 コホモロジー
コホモロジー群は、複素トーラスの大域的な位相情報を反映する。特に第一コホモロジーは、周期と微分形式の関係を通じて中心的役割を果たす。
3.3.1 第一コホモロジー
第一コホモロジーは、閉じた1形式のうち微分可能なものを分類する。複素トーラスでは、基本群が格子に対応するため、この群はかなり明確に把握できる。周期積分との結びつきも強い。
3.3.2 ド・ラームコホモロジー
ド・ラームコホモロジーは、滑らかな微分形式による位相不変量である。複素トーラスは平坦な構造を持つため、ここでの計算は比較的素直に進む。ホッジ理論と合わせることで、解析的な意味づけが得られる。
3.3.3 余接束の性質
余接束は、正則1形式の束として理解できる。複素トーラスでは平行移動不変な形式が多く、余接束は比較的単純な振る舞いを示す。これが、微分形式や周期の明示的記述を可能にしている。
4 代数幾何学との関係
複素トーラスのうち、特定の条件を満たすものは代数多様体としても実現できる。こうした対象はアーベル多様体と呼ばれ、数論や代数幾何学の中心的存在となる。
4.1 アーベル多様体
アーベル多様体は、コンパクトな複素 Lie 群であり、さらに代数多様体でもある。複素トーラスのすべてがアーベル多様体になるわけではなく、代数化可能性には追加条件が必要である。
4.1.1 偏極
偏極は、複素トーラスに与えられる特別な整合条件である。線形代数的には交代形式やエルミート形式に対応し、幾何学的には埋め込み可能性を支える。偏極の存在は、アーベル多様体判定の核となる。
4.1.2 代数化可能性
複素トーラスが代数多様体として記述できるかどうかは、格子と複素構造の相性に依存する。適切な正則線束や偏極が存在すると、代数的な構造が現れる。そうでない場合、純粋に解析的な対象として残る。
4.2 楕円曲線
一次元の複素トーラスは、代数幾何学では楕円曲線に対応する。これは最も基本的なアーベル多様体であり、多くの理論の試金石となる。
4.2.1 一次元の場合
一次元では、複素トーラスと楕円曲線の対応がほぼ完全に理解されている。周期格子から得られる商は、適切な射影模型を持つ滑らかな曲線として表される。解析と代数の両面で標準例といえる。
4.2.2 複素構造との対応
楕円曲線の複素構造は、上半平面のパラメータと格子の比によって特徴づけられる。異なる複素構造は、同じ位相型でも非同型な曲線を生む。これにより、モジュライの概念が具体的に理解できる。
4.3 代数的周期
代数的周期は、複素トーラスを代数幾何学に結びつける周期条件の総称である。積分値や形式の整合性が、代数化の可否を左右する。
4.3.1 ディリクレ型条件
格子に関連する整数量や積分条件は、ディリクレ型の規則として表現されることがある。これらは周期データが代数的に整っているかを測る目安となる。特に偏極の存在判定と結びつく場合が多い。
4.3.2 リーマン形式
リーマン形式は、複素トーラス上の周期と二次形式の整合を表す枠組みである。交代形式やエルミート形式を通じて、幾何学的な正定性が導入される。アーベル多様体の理論では不可欠な道具である。
4.3.3 リーマンの可換性条件
複素トーラスが代数的であるためには、周期データが特定の可換性条件を満たす必要がある。これは古典的なリーマンの条件として定式化されることがある。条件の満足は、正則線束の存在と密接に関連する。
5 分類とモジュライ
複素トーラスは、次元、格子、複素構造の組み合わせによって分類される。完全な分類は容易ではないが、低次元ではかなり詳しく理解されている。
5.1 複素構造の分類
同じ実トーラスでも、複素構造の入れ方によって異なる複素トーラスになる。したがって、構造の分類では位相型だけでなく、複素線形データが重要となる。
5.1.1 次元による違い
次元が上がるほど、複素構造の自由度は増す。一次元では実質的に1パラメータで記述できるが、高次元では格子配置の組合せが複雑になる。二次元以上では、代数的かどうかの違いも目立つ。
5.1.2 同型類
同型類の分類では、複素線形変換と格子の整合性が鍵になる。表示が異なっても同一の複素多様体を与える場合があり、そこを見極める必要がある。分類理論は、こうした同値関係の整理から成り立つ。
5.2 モジュライ空間
モジュライ空間は、同型を同一視した複素トーラスのパラメータ空間である。個々の対象を単独で扱うのではなく、族として比較するための枠組みを与える。
5.2.1 パラメータ化
周期行列や複素構造のデータを座標化することで、複素トーラスの族が記述される。パラメータ化は、連続変形や特異点の解析に役立つ。特に低次元では、古典的なモジュラー理論とつながる。
5.2.2 変形理論
変形理論は、ある複素トーラスから微小に構造を変えたときの挙動を調べる。余接束やコホモロジー群が、可能な変形の方向を制御する。こうした視点は、分類を局所的に理解するうえで有効である。
5.3 低次元分類
低次元では、複素トーラスの構造が具体的に追跡できるため、全体像を把握しやすい。二次元は特に、代数的性質と解析的性質の差が現れる重要な舞台である。
5.3.1 二次元複素トーラス
二次元複素トーラスは、アーベル多様体になるものとならないものに分かれる。格子の配置次第で、射影代数多様体として実現できる場合と、そうでない場合が存在する。分類には偏極や Néron-Severi 群が関与することが多い。
5.3.2 可約性と既約性
複素トーラスがより小さな複素トーラスの直積として分解できるかどうかは重要な問題である。分解可能な場合を可約的、そうでない場合を既約的とみなすことがある。これは自己同型群や偏極構造の解析にも影響する。
6 幾何学的性質
複素トーラスは平坦な背景を持つため、計量や曲率の議論が比較的明快である。群構造と調和的な幾何が共存し、対称性の高い空間として理解される。
6.1 計量
適切な計量を入れると、複素トーラスの幾何学的特徴が具体化する。特に平坦計量とエルミート計量は基本的である。
6.1.1 平坦計量
元の複素ベクトル空間に由来する平坦計量は、格子による商に降りる。これにより局所的な曲がりがなく、測地線の挙動も単純になる。平坦性は調和解析の計算を容易にする。
6.1.2 エルミート計量
複素構造と両立するエルミート計量は、複素トーラスに自然に導入できる。正定値な複素双線形データを用いて、距離と角度の両方を扱える。偏極付きの議論では特に重要である。
6.2 曲率
平坦なモデルとしての複素トーラスでは、曲率はしばしば零になる。もっと一般の計量を入れると、複素幾何学の観点からさまざまな量が定義される。
6.2.1 リーマン曲率
標準的な平坦計量のもとでは、リーマン曲率テンソルは消える。したがって局所的にはユークリッド空間と同様である。これが、トーラスが解析的に扱いやすい理由の一つである。
6.2.2 複素曲率
複素構造に適合した計量では、複素断面曲率や関連する曲率量が考えられる。複素トーラスでは標準例として曲率が単純になるが、計量の選択によって表現は変わる。幾何学的安定性の議論にも関わる。
6.3 自己同型群
自己同型群は、複素トーラスの対称性を表す。平行移動と線形変換が主要な成分であり、構造の理解に欠かせない。
6.3.1 平行移動
群構造に由来する平行移動は、任意の点を別の点へ移す基本変換である。複素トーラスではこれが豊富に存在し、空間の均質性を与える。全体として、どの点も局所的には同等に見える。
6.3.2 線形自己同型
原点を保つ自己同型は、格子を保つ複素線形変換として記述される。これらは離散的な対称性を反映し、格子の算術的性質と結びつく。自己同型群の解析は分類理論にも有用である。
7 応用と関連分野
複素トーラスは純粋数学の対象であると同時に、数論や数学物理にも現れる。周期性と対称性をもつため、さまざまな分野で共通の言語を提供する。
7.1 数論との関係
数論では、格子や周期が整数論的な問題と結びつく。複素トーラスは、特殊関数や算術幾何の背景として頻出する。
7.1.1 格子点問題
格子点の分布や数え上げは、幾何と数論の接点にある。複素トーラスに関連する格子は、離散構造の典型例として用いられる。点の配置や最短ベクトルの問題にもつながる。
7.1.2 周期と特殊関数
楕円函数やその一般化は、複素トーラスの周期構造から自然に生まれる。周期をもつ特殊関数は、解析的な積分表現や変換公式と深く関係する。これにより、トーラスは特殊関数論の基盤にもなる。
7.2 物理学への応用
複素トーラスは、周期境界条件をもつ模型や共形場理論で現れる。空間を周期的に同一視する考え方は、物理の理論構成と相性がよい。
7.2.1 周期境界条件
有限領域の端を同一視する周期境界条件は、トーラス状の空間を生む。これにより、波動や場のモードが離散化される。複素トーラスは、こうした設定の数学的モデルとして自然である。
7.2.2 共形場理論
共形場理論では、トーラス上の分配関数や周期条件が重要な役割を果たす。複素トーラスは、2次元理論の舞台として特に扱いやすい。モジュライパラメータが物理量の依存性を記述する。
7.3 関連する幾何対象
複素トーラスは、近縁の幾何対象と比較することで理解が深まる。特にアーベル多様体や超曲面との対比は有益である。
7.3.1 複素アーベル多様体
複素アーベル多様体は、複素トーラスのうち代数幾何学的条件を満たすものの総称である。偏極を備えることで、射影多様体として扱える。したがって、複素トーラスはその広い母集団といえる。
7.3.2 超曲面との比較
超曲面は、より一般の代数幾何学的対象であり、複素トーラスとは異なる曲率や埋め込み性を持つ。トーラスは群構造と平坦性を兼ね備える点で特異であり、超曲面との比較によりその特殊性が際立つ。