[论文解读] Toric Symmetry of CP^3

Dagan Karp, Dhruv Ranganathan+2 more|arXiv (Cornell University)|Sep 23, 2011

Algebraic Geometry and Number Theory参考文献 18被引用 4

一句话总结

本文全面分类了 ℂℙ³ 及其 тор性爆破的非平凡 тор对称性，证明这些对称性在格罗莫夫-威滕与唐纳森-托马斯理论中诱导同构。通过分析晶格自同构在扇和多面体上的作用，作者推导出曲面类与上同调类的推出公式，从而可借助对称性直接计算不变量，例如通过 тор对称性直接得出 GW₀,𝑓₁−𝑓₂ = 1，证实其计数通过两点的直线。

ABSTRACT

We exhaustively analyze the toric symmetries of CP^3 and its toric blowups. Our motivation is to study toric symmetry as a computational technique in Gromov-Witten theory and Donaldson-Thomas theory. We identify all nontrivial toric symmetries. The induced nontrivial isomorphisms lift and provide new symmetries at the level of Gromov-Witten Theory and Donaldson-Thomas Theory. The polytopes of the toric varieties in question include the permutohedron, the cyclohedron, the associahedron, and in fact all graph associahedra, among others.

研究动机与目标

• 系统识别并分类 ℂℙ³ 及其 тор性爆破的所有非平凡 тор对称性。
• 确定这些对称性在同调与查沃上同调上的作用，区分非平凡与平凡作用。
• 将 тор对称性作为计算工具应用于 тор性三乘积的格罗莫夫-威滕与唐纳森-托马斯理论。
• 为这些对称性下曲面类与上同调类的推出提供显式公式。
• 证明对称性能检测通过顶点或局部化方法无法获取的不变量。

提出的方法

• 作者通过分析扇及其关联多面体（如排列多面体、关联多面体）的自同构来识别 тор对称性。
• 他们使用晶格自同构，如矩阵 τ = [[0,0,-1],[1,0,-1],[1,-1,0]]，在 тор几何的扇上定义对称性。
• 通过交比理论与查沃环中的显式公式，计算曲面类与上同调类上的推出作用。
• 该方法利用了格罗莫夫-威滕与唐纳森-托马斯不变量在由 тор对称性诱导的同构下的函子性。
• 对 ℂℙ³ 在点与线上的爆破进行了显式计算，包括具有五次爆破的 Class C 变体。
• 通过上同调插入与等变推出，将对称性的作用扩展至更高虚拟维数的不变量。

实验结果

研究问题

• RQ1 哪些 ℂℙ³ 及其 тор性爆破的 тор对称性在同调上作用非平凡？
• RQ2 如何利用 тор对称性计算通过拓扑顶点或局部化方法难以获取的格罗莫夫-威滕不变量？
• RQ3 一个 тор对称性在查沃环中对曲面类与上同调类的显式作用是什么？
• RQ4 对称性在推出与拉回下如何保持或变换格罗莫夫-威滕与唐纳森-托马斯不变量？
• RQ5 对称性能否检测通过网页图或顶点技术无法捕捉的不变量？

主要发现

• ℂℙ³ 及其爆破的非平凡 тор对称性已被完全分类，其中 Class C 变体中识别出四个此类对称性。
• 对称性 τ 下曲面类 h 的推出为 τ_*h = 2h - e₁₂₃ - f₃₄ - f₁₄，表明其在同调上作用非平凡。
• 对例外除子的作用已计算：τ_*e₁₂₃ = f₂₃ 且 τ_*f₁₄ = e₁₂₄，显示了对 torus-不变子簇的非平凡置换。
• 对称性 τ 在格罗莫夫-威滕与唐纳森-托马斯不变量上诱导同构，满足 GWⁿ,τ_*β(γ₁,…,γᵣ) = GWⁿ,β(τ*γ₁,…,τ*γᵣ)，证明了在对称性下的不变性。
• 对于 Class C 变体，通过对称性直接计算出不变量 GW₀,𝑓₁−𝑓₂ = 1，确认其计数通过两点的直线。
• 该不变性在更高虚拟维数下依然成立，对称性在上同调插入下保持不变量。