[論文レビュー] A Theory of Stacky Fans

W. D. Gillam, Samouil Molcho|arXiv (Cornell University)|Dec 23, 2015

Algebraic structures and combinatorial models参考文献 14被引用数 5

ひとこと要約

本稿は、有理スパンにおける有限指数の格子データを備えたファンの拡張として、古典的ファンのスタック的一般化であるKMファンを導入する。代数的・微分的・スタック的幾何的圏への実現函手を確立し、代数的実現が（格子付き）KMファンとねじれ付きトーリックDMスタックの間の同値を与えることを証明するとともに、主収束写像を組合せ的条件で特徴付ける。

ABSTRACT

We study the category of KM fans - a "stacky" generalization of the category of fans considered in toric geometry - and its various realization functors to "geometric" categories. The "purest" such realization takes the form of a functor from KM fans to the 2-category of stacks over the category of fine fans, in the "characteristic-zero-étale" topology. In the algebraic setting, over a field of characteristic zero, we have a realization functor from KM fans to (log) Deligne-Mumford stacks. We prove that this realization functor gives rise to an equivalence of categories between (lattice) KM fans and an appropriate category of toric DM stacks. Finally, we have a differential realization functor to the category of (positive) log differentiable spaces. Unlike the other realizations, the differential realization of a stacky fan is an "actual" log differentiable space, not a stack. Our main results are generalizations of "classical" toric geometry, as well as a characterization of "when a map of KM fans is a torsor". The latter is used to explain the relationship between our theory and the "stacky fans" of Geraschenko and Satriano.

研究の動機と目的

• 古典的トーリックファンを、有理スパンにおける有限指数の格子データを備えたものに一般化する組合せ的枠組みを構築すること。
• KMファンから幾何的圏（ファン、対数スキーム、対数微分可能空間）への実現函手を確立すること。
• KMファンの写像が主収束写像である条件を、古典的トーリック幾何学をスタック的設定に拡張することで特徴付けること。
• GeraschenkoとSatrianoのスタック的ファンとKMファンの関係を、主収束写像の組合せ的特徴付けを通じて明確化すること。
• トーリック幾何学の古典的結果を一般化しつつ、格子データに torsion を含めることが可能な、完全でアクセス可能なスタック的ファンの理論を構築すること。

提案手法

• 各錐 $\sigma$ に対して、$N \cap \operatorname{Span}\sigma$ の有限指数の格子データ $F_\sigma$ を備えた古典的ファンとしてKMファンを定義し、整合性条件を満たすようにする。
• 3つの実現函手を構成する：特徴零のエタール位相における細いファン上のスタックの2カテゴリ、特徴零の体上の対数DMスタック、正の対数微分可能空間への函手。
• 微分的実現函手を用いて、実際にスタックでない対数微分可能空間を生成する。これに対して代数的実現はスタックをもたらすため、対照的である。
• 代数的実現函手が（格子付き）KMファンの圏とトーリックDMスタックの圏との間で同値を誘導することを証明する。
• 主収束写像であるKMファンの写像を、基本群と固定部分群のデータを用いて組合せ的に特徴付ける。
• 理論を応用して古典的結果を一般化する：1パラメータ部分群による解釈、固有性、スターサイド、分割、基本群の計算。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、有理スパンにおける格子データの有限指数を備えた組合せ的対象を用いて、古典的トーリック幾何学をスタック的構造を含む形に一般化できるか？
• RQ2 KMファンとGeraschenkoおよびSatrianoのスタック的ファンの正確な関係は何か？
• RQ3 KMファンの写像が幾何的実現において主収束写像である組合せ的条件は何か？
• RQ4 KMファンから代数的および微分的幾何的圏への実現函手の本質的像は何か？
• RQ5 スターサイド、分割、基本群といった古典的トーリック構成は、KMファンの設定にどのように拡張されるか？

主な発見

• KMファンから対数DMスタックへの代数的実現函手は、（格子付き）KMファンの圏とトーリックDMスタックの圏との間で同値を誘導する。
• KMファンの微分的実現は実際にスタックでない対数微分可能空間をもたらし、代数的実現とは対照的である。
• KMファンの写像が主収束写像であるための必要十分条件は、その実現が主収束写像であることであり、固定部分群と基本群のデータを用いた組合せ的特徴付けが可能である。
• 理論は格子 $N$ に torsion を自然に含めることができ、これはストラトムや非格子KMファンの格子付きKMファンからの実現に不可欠である。
• 格子KMファンの錐にスターサイド構成を適用すると、torsion を持つ格子を持つKMファンが得られ、一般化された枠組みの必要性を示している。
• 理論は古典的結果を一般化する：サポートは1パラメータ部分群に対応し、固有性は組合せ的に特徴付けられ、実現の基本群はKMファンの組合せ論的構造から計算可能である。