[论文解读] Selected topics on Toric Varieties

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

Commutative Algebra and Its Applications被引用 1

一句话总结

本文通过单项映射，以全面且易懂的方式介绍了 торические 流形，强调其几何与组合结构。文章探讨了高级主题，包括除子、Gröbner 退化、图割、格拉斯曼流形中的拟阵，以及系统发生学模型，关键结果将 Sturmfels-Sullivant 的猜想与四色定理联系起来，并确立了在何种条件下投影能保持 торических 流形的射影正规性与深度。

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.

研究动机与目标

• 通过单项映射提供一个自包含且易懂的 торических 流形导引，放宽正规性假设，聚焦于嵌入流形。
• 通过选择性视角探索 торической 几何中的高级主题，强调方法与实例，而非完整证明。
• 建立 торическая 几何与重大开放问题之间的联系，包括四色定理与 White 关于拟阵的猜想。
• 研究 торических 流形 在内投影下的深度与射影正规性行为，特别是从光滑点或 torus-不变 点出发的投影。
• 展示代数统计中的应用，特别是基于群的系统发生学模型，及其相关的 торические 理想与半群。

提出的方法

• 以单项映射作为 торических 流形 的基础构造，允许灵活的非正规框架。
• 应用洛朗多项式环与特征格来描述环作用及相关的群同态。
• 利用 Gröbner 退化与多面体的剖分研究 торические 理想及其几何实现。
• 使用 Macaulay2、Normaliz 和 4ti2 等计算工具，对正规性、深度与射影正规性进行显式示例与验证。
• 从图割与拟阵理论分析 торические 流形，尤其关注格拉斯曼流形轨道与 White 猜想的关系。
• 通过 torus-不变 点研究内投影，及其对定义理想与结果流形深度的影响。

实验结果

研究问题

• RQ1 从光滑点或 torus-不变 点投影 торических 流形 时，其深度与射影正规性如何变化？
• RQ2 光滑多面体的正规性与其投影的射影正规性之间有何关系？
• RQ3 Sturmfels-Sullivant 关于图割的猜想是否蕴含四色定理？这一关系如何建立？
• RQ4 与基于群的系统发生学模型相关的 торических 流形 在何种条件下是正规的或 aCM 的？
• RQ5 在何种条件下，toric 流形 的射影正规性可在内投影下保持不变？其组合障碍是什么？

主要发现

• 本文确认，Sturmfels-Sullivant 猜想蕴含四色定理，其证明归因于 David Speyer，并由其与作者共享。
• 在该猜想假设下，光滑多面体 P 是正规的，当且仅当其从 torus-不变 点的所有投影均保持射影正规。
• 存在射影正规的 торические 流形，其并非其他射影正规 торические 流形 的投影，从而推翻了一个自然猜想。
• 从光滑点进行的内投影可增加深度，例如将一个非 aCM 流形投影为超曲面，后者为 aCM，因而具有最大深度。
• 由格点 (0,0,0), (0,1,0), (0,0,1), (3,1,1), (4,1,1) 定义的 торических 流形 是 aCM 但不正规，因其具有余维一的奇点集。
• 一个构造表明，从稠密 torus 轨道中的点投影一个正规且 aCM 的 торические 流形，可能得到一个深度更低的流形，证明深度在投影下并非单调。