[论文解读] A geometric theory of non-Archimedean analytic stacks

Martin Ulirsch|arXiv (Cornell University)|Oct 8, 2014

Algebraic Geometry and Number Theory参考文献 13被引用 3

一句话总结

本文通过证明Kajiwara-Payne的热带化映射是环形簇的解析化在大仿射环化李群作用下的商，建立了复环形簇上对数截痕的非阿基米德对应物。本文发展了非阿基米德解析堆栈的基础工具，特别是解析广群及其商，且在解析范畴中将热带化映射识别为堆商。

ABSTRACT

For a complex toric variety $X$ the logarithmic absolute value induces a natural retraction of $X$ onto the set of its non-negative points and this retraction can be identified with a quotient of $X(\mathbb{C})$ by its big real torus. We prove an analogous result in the non-Archimedean world: The Kajiwara-Payne tropicalization map is a non-Archimedean analytic stack quotient of $X^{an}$ by its big affinoid torus. Along the way, we provide foundations for a geometric theory of non-Archimedean analytic stacks, particularly focussing on analytic groupoids and their quotients, the process of analytification, and the underlying topological spaces of analytic stacks.

研究动机与目标

• 将复环形簇上的几何截痕推广至非阿基米德设置。
• 发展非阿基米德解析堆栈的基础工具，重点关注解析广群及其商。
• 在解析范畴中精确识别Kajiwara-Payne热带化映射为堆商。
• 通过解析化与商构造，阐明解析堆栈的拓扑与几何结构。

提出的方法

• 构建非阿基米德解析堆栈的几何理论，重点在于解析广群及其商。
• 在非阿基米德语境中定义代数堆栈的解析化。
• 利用环形簇的解析化上大仿射环化李群的作用，构造商堆。
• 将商堆的底层拓扑空间与Kajiwara-Payne映射下的热带化相等同。
• 证明热带化映射同构于解析化对大仿射环化李群的商堆。
• 建立堆论商与经典热带化构造之间的相容性。

实验结果

研究问题

• RQ1 复环形簇上的对数截痕如何推广至非阿基米德设置？
• RQ2 Kajiwara-Payne热带化映射在解析范畴中的堆论解释是什么？
• RQ3 非阿基米德解析几何中，解析广群及其商如何表现？
• RQ4 环形簇的解析化与其作为堆商的热带化之间有何关系？
• RQ5 非阿基米德解析堆栈的底层拓扑空间如何通过几何与广群结构来描述？

主要发现

• Kajiwara-Payne热带化映射被识别为环形簇的解析化在大仿射环化李群作用下的解析堆栈范畴中的商。
• 发展了以解析广群及其商为重点的非阿基米德解析堆栈几何理论。
• 环形簇的解析化自然地作用于其大仿射环化李群，从而产生堆商结构。
• 商堆的底层拓扑空间与环形簇的热带化同胚。
• 由热带化映射诱导的截痕在非阿基米德设置中对应于堆商构造。
• 该构造提供了复对数截痕的非阿基米德对应物，将经典结果扩展至解析堆栈框架。