[論文レビュー] Torelli theorem via Fourier-Mukai transform

Alexander Beilinson, Alexander Polishchuk|ArXiv.org|Nov 23, 1998

Algebraic Geometry and Number Theory被引用数 16

ひとこと要約

本稿は、ジャコビアン上のフーリエ＝ムカイ変換を用いて、曲線のトーリー定理の新しい証明を確立する。フーリエ変換が曲線上のデルタ関数とシータ divisor を入れ替えることを示し、シータ divisor の滑らかな部分上の線分束のフーリエ変換が、曲線上の線分束のシフトされた押し出しをもたらすことを証明する。これにより、導来カテゴリの手法を用いて、ジャコビアンから曲線を再構成する。

ABSTRACT

We show that the Fourier transform on the Jacobian of a curve interchanges "$δ$ functions" at the curve and the theta divisor. The Torelli theorem is an immediate consequence.

研究の動機と目的

• 導来カテゴリに基づくトーリー定理の証明を、フーリエ＝ムカイ変換を用いて行う。
• フーリエ変換を通じて、曲線上の線分束とシータ divisor 間の双対性を確立する。
• 特定の双対性および生成条件を満たす、シータ divisor の滑らかな部分上の線分束の集合 𝒯 を特徴付ける。
• このような線分束のフーリエ変換が、曲線上の線分束のシフトされた押し出しをもたらすことを示し、これによりジャコビアンから曲線を再構成する。
• 半直積群 𝔻J が 𝒯 に作用するとき、その作用が推移的であることを示し、定理を一つのケースに還元する。

提案手法

• ジャコビアンの導来カテゴリ上でのフーリエ＝ムカイ変換を用い、曲線上の層とシータ divisor 上の層を関連付ける。
• L·Lν = ωΘns を満たし、商群 A(J) を生成する Θns 上の線分束の集合 𝒯 を定義する。
• 曲線上の次数 1−g の線分束を用いて、標準的埋め込み j:Θ→J を構成し、Θns が Sym^{g−1}C に同型であることを示す。
• jν(x) = −j(xν) を満たす Θ 上の対合 ν を用意し、Θ 上の線分束 L に対して Lν = ν∗L を定義する。
• 基本変換とコホロジー計算を適用し、フーリエ変換の導来引き戻しを計算し、それが C 上の線分束のシフトされた押し出しと同型であることを示す。
• ピカール群に対するリーマンの定理と対称クネンスの公式を用い、コホロジーにおける消滅および同型を確立し、フーリエ変換が正しい層に値をとることを証明する。

実験結果

リサーチクエスチョン

• RQ1 曲線のジャコビアン上のフーリエ＝ムカイ変換は、曲線上のデルタ関数とシータ divisor を交換するか？
• RQ2 曲線上の Θns 上の線分束の変換が、C 上の線分束のシフトされた押し出しを回復することを示すことにより、トーリー定理をフーリエ＝ムカイ変換を用いて証明できるか？
• RQ3 Θns 上の線分束の集合 𝒯 は空でなく、半直積群 𝔻J の作用に対して不変か？
• RQ4 𝔻J が 𝒯 に作用するとき、その作用が推移的であるならば、定理は一つの代表元に還元可能か？
• RQ5 ピカール群 Pic(J)、ピカール群 Pic(Θns)、および商群 A(J) の関係は何か？また、それらはトーリー定理とどのように関係するか？

主な発見

• genus g≥2 の曲線のジャコビアンに対して、集合 𝒯 は空でない。
• 任意の L∈𝒯 及び標準的埋め込み j:Θ→J に対して、フーリエ変換 𝒩(j∗L)[1] は、標準的埋め込み i:C→J 及び C 上の次数 g−1 の線分束 M に対して、(±i)∗(M)[1−g] と同型である。
• フーリエ＝ムカイ変換は、曲線とシータ divisor の役割を入れ替える：Θns 上の線分束を、C 上の線分束のシフトされた押し出しに写す。
• 半直積群 𝔻J が 𝒯 に作用するとき、その作用は推移的であり、証明を一つのケースに還元可能である。
• フーリエ変換の導来引き戻しは、コホロジーが次数 0 と −1 に集中する複体をもたらし、条件 L·Lν = ωΘns が満たされている。
• Θns 上の線分束 L は商群 A(J) を生成する。A(J) は写像 Pic(J)→Pic(Θns) の余核である。これにより、双対構造が確認される。