[论文解读] Graph potentials and moduli spaces of rank two bundles on a curve

Pieter Belmans, Sergey Galkin+1 more|arXiv (Cornell University)|Sep 11, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 115被引用 4

一句话总结

本文引入了图势能——与着色三价图相关联的洛朗多项式——以编码在曲线上固定行列式秩二向量丛模空间的退化。研究证明，这些势能的双有理类型仅依赖于图的同伦类型，从而定义了一个拓扑量子场论，并通过 торic 退化和格罗滕迪克环分析，将其与镜像对称不变量及导出范畴联系起来。

ABSTRACT

We introduce graph potentials, which are Laurent polynomials associated to (colored) trivalent graphs. These graphs encode degenerations of curves to rational curves, and graph potentials encode degenerations of the moduli space of rank 2 bundles with fixed determinant. We show that the birational type of the graph potential only depends on the homotopy type of the colored graph, and thus define a topological quantum field theory. By analyzing toric degenerations of the moduli spaces we explain how graph potentials are related to these moduli spaces in the setting of mirror symmetry for Fano varieties. On the level of enumerative mirror symmetry this shows how invariants of graph potentials are related to Gromov-Witten invariants of the moduli space. In the context of homological mirror symmetry we formulate a conjecture regarding the shape of semiorthogonal decompositions for the derived category. Studying the properties of graph potentials we provide evidence for this conjecture. Finally, by studying the Grothendieck rings of varieties and categories we will give further geometric evidence.

研究动机与目标

• 为与着色三价图相关联的洛朗多项式定义图势能，以编码固定行列式的秩二向量丛模空间的退化。
• 证明图势能的双有理类型仅依赖于其底层着色图的同伦类型，从而构建一个拓扑量子场论。
• 通过将图势能的枚举不变量与模空间的格罗莫夫-威滕不变量关联，建立图势能与镜像对称之间的联系。
• 基于图势能的组合与代数性质，提出关于模空间导出范畴中半正交分解形状的猜想。
• 通过代数几何对象与范畴的格罗滕迪克环技术，提供支持该猜想的几何证据。

提出的方法

• 从建模代数曲线退化为有理曲线的着色三价图出发，构造图势能为洛朗多项式。
• 利用秩二丛模空间的 toric 退化，将图势能与镜像对称结构联系起来。
• 通过比较图势能的不变量与模空间的格罗莫夫-威滕不变量，分析枚举镜像对称对应关系。
• 基于图势能的组合与代数性质，提出关于模空间导出范畴中半正交分解结构的猜想。
• 应用代数几何对象与范畴的格罗滕迪克环技术，推导支持该猜想的几何不变量。
• 证明图势能的双有理等价类在着色图的同伦变换下保持不变，从而定义一个拓扑量子场论。

实验结果

研究问题

• RQ1 如何通过从着色三价图构造的图势能，编码固定行列式的秩二向量丛模空间的退化？
• RQ2 图势能的双有理类型对底层图的拓扑结构有何依赖关系？
• RQ3 在枚举镜像对称的背景下，图势能的不变量如何与模空间的格罗莫夫-威滕不变量相关联？
• RQ4 模空间导出范畴中半正交分解的预期结构是什么？图势能如何揭示这一结构？
• RQ5 从代数几何对象与范畴的格罗滕迪克环中，可推导出何种几何证据以支持导出范畴的猜想结构？

主要发现

• 图势能的双有理类型仅依赖于其着色三价图的同伦类型，从而确立了拓扑量子场论结构。
• 通过枚举镜像对称，图势能与模空间的格罗莫夫-威滕不变量相关联，其不变量与曲线计数不变量相联系。
• 本文提出关于模空间导出范畴中半正交分解形状的猜想，其结构由图势能的性质所支持。
• 模空间的 toric 退化为图势能与法诺代数簇的镜像对称之间提供了几何桥梁。
• 格罗滕迪克环技术导出了额外的几何不变量，支持关于导出范畴的猜想。
• 通过三价图构造图势能，为研究模空间及其镜像对偶的退化提供了一个统一框架。