[論文レビュー] Selected topics on Toric Varieties

Mateusz Michałek|arXiv (Cornell University)|Feb 10, 2017

Commutative Algebra and Its Applications被引用数 1

ひとこと要約

本稿は、単項式写像を用いて、トロイカ多様体の包括的かつアクセス可能な紹介を提供する。幾何的・組合せ的構造に重点を置き、除法、グレブナー退化、グラフカット、グラスマンニアン内のマトロイド、系統発生モデルといった高度なトピックを検討する。主な結果として、シュトゥルムフェルズ＝スリヴァントの予想が四色定理と関連することを示し、トロイカ多様体の射影が射影的正規性および深さを保存する条件を確立する。

ABSTRACT

This article is based on a series of lectures on toric varieties given at RIMS, Kyoto. We start by introducing toric varieties, their basic properties and later pass to more advanced topics relating mostly to combinatorics.

研究の動機と目的

• 単項式写像を用いた、正規性の仮定を緩和し、埋め込まれた多様体に焦点を当てた、トロイカ多様体の自己完結的でアクセス可能な入門を提供すること。
• 完全な証明よりも方法と例に重点を置き、選択的視点からトロイカ幾何学の高度なトピックを検討すること。
• トロイカ幾何学と主要な未解決問題との間の関係を確立すること。特に四色定理およびマトロイドに関するウーリーの予想。
• 滑らかまたはトロス不変点からの内挿影が、トロイカ多様体の深さおよび射影的正規性に与える影響を調査すること。
• 特に群ベースの系統発生モデルを含む代数統計における応用を提示し、関連するトロイカイデアルおよび整数化群を示すこと。

提案手法

• トロイカ多様体の基礎的構成として単項式写像を用い、柔軟で非正規なフレームワークを許容すること。
• ローレンス多項式環と特性格子を用いて、トーラス作用および関連する群準同型を記述すること。
• グレブナー退化および多面体の三角形分割を用いて、トロイカイデアルとその幾何的実現を研究すること。
• Macaulay2、Normaliz、4ti2などの計算ツールを用いて、正規性、深さ、射影的正規性の明示的例と検証を行うこと。
• グラフカットおよびマトロイド理論からトロイカ多様体を分析し、特にグラスマンニアンの軌道およびウーリーの予想と関連させて検討すること。
• トーラス不変点を介した内挿影を研究し、それによって得られる多様体の定義イデアルおよび深さに与える影響を分析すること。

実験結果

リサーチクエスチョン

• RQ1 滑らかまたはトーラス不変点からのトロイカ多様体の射影が、その深さおよび射影的正規性に与える影響は何か？
• RQ2 滑らかな多面体の正規性と、そのトーラス不変点からの射影の射影的正規性との関係は何か？
• RQ3 シュトゥルムフェルズ＝スリヴァントの予想がグラフカットに関して四色定理を含意するか。その関係はどのように確立されるか？
• RQ4 群ベースの系統発生モデルに関連するトロイカ多様体が正規またはaCMである条件は何か？
• RQ5 内挿影において、トロイカ多様体の射影的正規性が保存される条件は何か。また、その組合せ的障害は何か？

主な発見

• 本稿は、デイヴィッド・スピーイヤーが提示し、著者に共有した証明に基づき、シュトゥルムフェルズ＝スリヴァントの予想が四色定理を含意することを確認している。
• 予想を仮定すると、滑らかな多面体Pが正規であることは、すべてのトーラス不変点からの射影が射影的に正規であることと同値である。
• 他の射影的に正規なトロイカ多様体の射影として得られない、射影的に正規なトロイカ多様体が存在する。これは自然な予想を反証するものである。
• 滑らかな点からの内挿影は深さを増加させ得る。非aCM多様体をハイパーサーフェスに射影することで、aCM（したがって最大深さ）に達することが示された。
• 点 (0,0,0), (0,1,0), (0,0,1), (3,1,1), (4,1,1) の格子点によって定義されるトロイカ多様体はaCMであるが、特異点がcodimension-oneの部分に存在するため正規ではない。
• 正規かつaCMなトロイカ多様体を、稠密なトーラス軌道上の点から射影することで、深さが低下する多様体が得られることを示す構成がなされ、深さが射影に関して単調でないことを示している。