[論文レビュー] Jet spaces in complex analytic geometry: an exposition

Rahim Moosa|ArXiv.org|May 28, 2004

Advanced Topology and Set Theory参考文献 3被引用数 4

ひとこと要約

この論文は、グロタンディークとカンターの基礎的業績に裏付けられた、複素解析幾何におけるジャンクティル空間および無限小近傍の包括的解説を提供する。主な部分の層、ジャンクティル、微分作用素がキャンパナ＝フジキの定理の根拠をなしており、微分作用素のグラスマン多様体への有理写像が双正則写像を誘導することを示し、特定の解析的写像がモイシェゾン的であることを証明する。この手法により、双対性とグラスマン多様体パラメータ化を用いた、定理の別証明が得られる。

ABSTRACT

These notes are an exposition and synthesis of various "jet space" constructions in complex analytic geometry. They are written primarily for model-theorists interested in the results of Campana and Fujiki (whose model-theoretic significance has been observed by Pillay).

研究の動機と目的

• キャンパナ＝フジキの定理のモデル理論的意義を、複素解析幾何において明確化すること。
• 無限小近傍、主部分の層、微分作用素を含むジャンクティル空間の構成について詳細に解説すること。
• これらの構成がキャンパナ＝フジキの定理の証明にどのように用いられるか、特に双対性とグラスマン多様体パラメータ化を通じて説明すること。
• 逆像層とテンソル積を用いた幾何的枠組みを構築し、解析的部分空間とそのジャンクティル的同型を関連させること。
• 微分作用素のグラスマン多様体への有理写像が双正則写像を誘導することを示し、特定の解析的空間がモイシェゾン的であることを証明すること。

提案手法

• 直接および逆像函手、および $Ø$-構成 $f^*\mathcal{G} = f^{-1}\mathcal{G} \otimes_{f^{-1}\mathcal{O}_Y} \mathcal{O}_X$ を用いたモジュールの引き戻しを含む層論的道具を用いる。
• 閉埋め込み $i: Y \to X$ に対して、理想層 $\mathcal{I}$ を用いて $n$ 次の無限小近傍 $Y_i^{(n)} = (Y, i^{-1}\mathcal{O}_X / \mathcal{I}^{n+1})$ を構成する。
• ジャンクティルの層 $\mathcal{P}_X^{(n)}$ と微分作用素の層 $\mathit{Diff}_X^{(n)}$ の間の双対性を適用し、$\mathit{Diff}_X^{(n)} \cong \mathcal{H}\!\mathit{om}_{\mathcal{O}_X}(\mathcal{P}_X^{(n)}, \mathcal{O}_X)$ を用いる。
• 滑らかな点における $\operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)}) \to X$ を、$\mathit{Diff}_{X,a}^{(n)} \otimes_{\mathcal{O}_{X,a}} \mathbb{C}$ の codimension-$r_n$ の部分空間をパラメータ化する相対的パラメータ空間として用いる。
• 各点 $c \in Z$ に対して、$a = \rho(c)$ におけるファイバー $Z_{\rho(c)}$ のジャンクティル空間の双対を割り当てることで、有理写像 $\mu_n: Z \to \operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ を構成する。
• $\omega$-コンパクト性と、ジャンクティル空間が高々 $n$ 階の解析的集合を決定することを用いて、$n$ が十分に大きいとき $\mu_n$ がその像に対して双正則であることを示し、Moishezon性を示す。

実験結果

リサーチクエスチョン

• RQ1 複素解析幾何におけるジャンクティル空間および無限小近傍は、キャンパナ＝フジキの定理のモデル理論的解釈とどのように関係するか？
• RQ2 主部分の層 $\mathcal{P}_X^{(n)}$ 及びその双対 $\mathit{Diff}_X^{(n)}$ は、解析的部分空間をパラメータ化するために果たす役割は何か？
• RQ3 ドゥアディ空間の代わりに微分作用素のグラスマン多様体を用いることで、キャンパナ＝フジキの定理を再証明できるか？
• RQ4 $\mu_n: Z \to \operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ がその像に対して双正則写像となる条件は何か？
• RQ5 ジャンクティル空間と微分作用素の双対性 $\mathcal{P}_X^{(n)}$ と $\mathit{Diff}_X^{(n)}$ は、ジャンクティルデータから解析的集合を再構成するのにどのように寄与するか？

主な発見

• $Y \subset X$ が理想層 $\mathcal{J}$ で定義されるとき、$n$ 次の無限小近傍 $Y_i^{(n)}$ は $(Y, \mathcal{O}_X / \mathcal{J}^{n+1})$ に同型である。
• 微分作用素の層 $\mathit{Diff}_X^{(n)}$ は、$\mathcal{H}\!\mathit{om}_{\mathcal{O}_X}(\mathcal{P}_X^{(n)}, \mathcal{O}_X)$ に自然に同型であり、ジャンクティルと微分作用素の間の双対性を提供する。
• 滑らかな点 $a \in X$ に対して、$\operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ の $a$ におけるファイバーは、$[\mathcal{O}_{X,a}/\mathcal{M}_{X,a}^{n+1}]^*$、つまり $a$ におけるジャンクティル空間の双対空間内の $r_n$ 次元部分空間のグラスマン多様体に一致する。
• 有理写像 $\mu_n: Z \to \operatorname{Grass}_{r_n}(\mathit{Diff}_X^{(n)})$ は、各 $c \in Z$ に対して、$a = \rho(c)$ におけるファイバー $Z_{\rho(c)}$ のジャンクティル空間の双対を割り当てることで構成される。
• 十分に大きな $n$ に対して、写像 $\mu_n$ はその像に対して双正則写像となる。これは、$\pi: Z \to X$ がモイシェゾン的であることを示し、グラスマン多様体がプラücker埋め込みにより射影的であるためである。
• この構成により、ドゥアディ空間の代わりに射影的グラスマン多様体を用いた、双対性とグラスマン多様体パラメータ化を用いたキャンパナ＝フジキの定理の別証明が得られる。