[論文レビュー] Smooth toric varieties are Oka

Finnur Lárusson|arXiv (Cornell University)|Jul 19, 2011

Advanced Algebra and Geometry参考文献 5被引用数 3

ひとこと要約

この論文は、複素数体上の滑らかなトーリック多様体がすべてOka多様体であることを、再帰的群の自由作用によるザリスキ開部分集合の幾何学的商として得られることを根拠に証明する。主な結果は、全空間と構造群がOkaである場合、このような商においてOka性が保たれることを示し、滑らかなトーリック多様体がOka多様体であることを確立する。

ABSTRACT

In this brief note, we show that every smooth toric variety over the field of complex numbers is an Oka manifold.

研究の動機と目的

• C 上の滑らかなトーリック多様体がOka性を満たすことを確立すること。
• 複素リー群およびその同次空間を超える既知のOka多様体のクラスを拡張すること。
• 再帰的群作用による複素空間の幾何学的商において、Oka性が保たれるかを調査すること。
• トーリック幾何とOka理論の複素幾何における関係を明確にすること。

提案手法

• 滑らかなトーリック多様体 X を X = (C^m \ Z)/G として幾何学的商として表現する。ここで G は (C*)^m の再帰的部分群であり、Z は余次元が 2 以上の座標部分空間の和集合である。
• C^m \ Z が C^m における余次元 ≥ 2 の部分多様体の補集合であるため、Oka であるという事実を用いる。
• G が複素リー群であるため、Gromov の理論により弱解離的かつOkaであるという事実を適用する。
• 再帰的群作用のスライス理論を活用して、商写像 C^m \ Z → X が全純なファイバー束であることを示す。
• Oka理論の定理2を適用する：全空間と構造群がOkaであれば、全空間がOkaであることと、底空間がOkaであることは同値である。
• C^m \ Z がOkaであり、商写像がOkaファイバーを持つ全純なファイバー束であるため、X がOkaであると結論づける。

実験結果

リサーチクエスチョン

• RQ1 C 上のすべての滑らかなトーリック多様体はOka多様体か？
• RQ2 自由な再帰的群作用による複素空間の幾何学的商において、Oka性は下りてくるか？
• RQ3 弱解離的を仮定せずに、トーリック多様体に対してOka性を確立できるか？
• RQ4 トーリック幾何で用いられる商構成において、Oka性は保たれるか？

主な発見

• 複素数体上のすべての滑らかなトーリック多様体はOka多様体である。
• 全空間 C^m \ Z は、C^m における余次元が 2 以上の部分多様体の補集合であるためOkaである。
• C^m \ Z に作用する群 G は再帰的であり、トーラスと有限アーベル群の直積と同型であるため、Okaである。
• 再帰的群作用のスライス理論により、商写像 C^m \ Z → X は全純なファイバー束である。
• 全空間と構造群がOkaであるため、ファイバー束の性質によりOka性が底空間に引き継がれ、X がOkaである。
• 滑らかなトーリック多様体が弱解離的であるかどうかは未解決であるが、その結果は成り立つため、Oka性は弱解離的でなくても成立しうる。