[论文解读] A Theory of Stacky Fans

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

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

一句话总结

本文通过在有理张成空间中引入有限指数的格点数据，将经典仿射几何中的扇形（fans）推广为堆栈化的KM扇形（KM fans）——即经典扇形的堆栈推广。该文建立了到代数、微分及堆栈几何范畴的实现函子，并证明了代数实现函子在（格点）KM扇形与仿射德利涅-芒福德堆栈（toric Deligne-Mumford stacks）之间诱导出范畴等价，同时通过组合条件刻画了主丛映射。

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扇形之间的映射在何时为主丛，将经典仿射几何推广至堆栈设定。
• 通过组合条件刻画KM扇形与Geraschenko与Satriano的堆栈扇形之间的关系，明确其联系。
• 提供一个完整且易于理解的堆栈扇形理论，推广经典仿射几何中的结果，同时允许格点数据中出现挠子群。

提出的方法

• 将KM扇形定义为经典扇形，附加每个锥 $\sigma$ 的格点数据 $F_\sigma$，满足其在 $N \cap \operatorname{Span}\sigma$ 中具有有限指数，并满足相容性条件。
• 构造三个实现函子：到特征零-étale拓扑下精细扇形的堆栈2-范畴，到特征零域上的对数德利涅-芒福德堆栈，以及到正对数可微空间。
• 利用微分实现函子生成实际的对数可微空间（而非堆栈），与代数实现函子所生成的堆栈形成对比。
• 证明代数实现函子在（格点）KM扇形范畴与仿射DM堆栈范畴之间诱导出范畴等价。
• 通过基本群与稳定子群数据，建立KM扇形之间映射为主丛的组合刻画。
• 将理论应用于推广经典结果：通过一参数子群解释支撑、组合刻画紧致性、星形扇构造、分层结构，以及基本群的计算。

实验结果

研究问题

• RQ1 如何通过组合对象将经典仿射几何推广至包含堆栈结构的情形？
• RQ2 KM扇形与Geraschenko和Satriano的堆栈扇形之间的确切关系为何？
• RQ3 在几何实现中，KM扇形之间的映射在何种组合条件下为主丛？
• RQ4 KM扇形到代数与微分几何范畴的实现函子的Essential image是什么？
• RQ5 经典仿射构造（如星形扇、分层、基本群）如何推广至KM扇形设定？

主要发现

• KM扇形到对数德利涅-芒福德堆栈的代数实现函子，在（格点）KM扇形与仿射DM堆栈之间诱导出范畴等价。
• KM扇形的微分实现生成实际的对数可微空间，而非堆栈，这与代数实现形成鲜明对比。
• KM扇形之间的映射是主丛当且仅当其几何实现是主丛，且该条件可通过稳定子群与基本群数据进行组合刻画。
• 该理论自然容纳格点 $N$ 中的挠子群，这对实现分层结构以及从格点KM扇形构造非格点KM扇形至关重要。
• 对格点KM扇形中某个锥应用星形扇构造，可生成具有挠子群格点的KM扇形，证明了该推广框架的必要性。
• 该理论推广了经典结果：支撑对应于一参数子群，紧致性由组合条件刻画，且实现的基本群可由KM扇形的组合结构计算得出。