[论文解读] Donaldson-Thomas Transformation of Double Bruhat Cells in Semisimple Lie Groups

Daping Weng|arXiv (Cornell University)|Nov 13, 2016

Advanced Algebra and Geometry参考文献 20被引用 9

一句话总结

本文证明了在半单李群的双Bruhat胞腔相关联的丛Poisson流形 $ H\backslash G_{u,v}/H $ 上的Donaldson-Thomas（DT）变换，等价于Fomin与Zelevinsky所提出的扭映射的修正版本。通过Fock与Goncharov的丛簇及黏合构造，作者借助四重旗配置空间实现了DT变换的几何实现，从而证实了Goncharov与Shen的猜想，并在该设定下证明了Fock与Goncharov的对偶性猜想。

ABSTRACT

Double Bruhat cells $G^{u,v}$ were studied by Fomin and Zelevinsky. They provide important examples of cluster algebras and cluster Poisson varieties. Cluster varieties produce examples of 3d Calabi-Yau categories with stability conditions, and their Donaldson-Thomas invariants, defined by Kontsevich and Soibelman, are encoded by a formal automorphism on the cluster variety known as the Donaldson-Thomas transformation. Goncharov and Shen conjectured in that for any semisimple Lie group $G$, the Donaldson-Thomas transformation of the cluster Poisson variety $H\backslash G^{u,v}/H$ is a slight modification of Fomin and Zelevinsky's twist map. In this paper we prove this conjecture, using crucially Fock and Goncharov's cluster ensembles and the amalgamation construction. Our result, combined with the work of Gross, Hacking, Keel, and Kontsevich, proves the duality conjecture of Fock and Goncharov in the case of $H\backslash G^{u,v}/H$.

研究动机与目标

• 证明在丛Poisson流形 $ H\backslash G_{u,v}/H $ 上的Donaldson-Thomas变换是Fomin与Zelevinsky所提出的扭映射的修正版本。
• 通过四重旗的配置空间 $ \mathrm{Conf}_{u,v}(B) $，即同构于 $ H\backslash G_{u,v}/H $ 的空间，建立DT变换的几何实现。
• 证实Goncharov与Shen（2018）关于半单李群中DT变换结构的猜想。
• 利用Gross、Hacking、Keel与Kontsevich（2018）的结果，证明Fock与Goncharov（2009）对丛簇 $ H\backslash G_{u,v}/H $ 提出的对偶性猜想。

提出的方法

• 利用Fock与Goncharov的丛簇框架，描述 $ H\backslash G_{u,v}/H $ 上的丛Poisson流形结构。
• 构造 $ H\backslash G_{u,v}/H $ 与具有退化性条件的Borel子群四元组的配置空间 $ \mathrm{Conf}_{u,v}(B) $ 之间的双有理同构。
• 应用Fock与Goncharov（2006a）提出的黏合构造，将 $ X^{u,v} $ 上的丛X-结构与双商 $ H\backslash G_{u,v}/H $ 关联起来。
• 通过tropicalization与丛突变序列计算DT变换，证明其与修正的扭映射一致。
• 通过广义主子式与突变序列显式计算丛X-变量的拉回，验证DT变换。
• 在 $ G_2 $ 情形中使用10次突变序列，模拟突变图中的第(2)步，确认变换的一致性。

实验结果

研究问题

• RQ1 在丛Poisson流形 $ H\backslash G_{u,v}/H $ 上的Donaldson-Thomas变换是否等价于Fomin-Zelevinsky扭映射的修正版本？
• RQ2 DT变换能否通过旗流形 $ B $ 中四重旗的配置空间实现几何化？
• RQ3 $ H\backslash G_{u,v}/H $ 上的DT变换是否满足Fock与Goncharov对丛簇提出的对偶性猜想？
• RQ4 丛突变与广义主子式如何编码双Bruhat胞腔中的DT变换？
• RQ5 DT变换在簇变量及其拉回下的精确形式为何？

主要发现

• 证明了在 $ H\backslash G_{u,v}/H $ 上的Donaldson-Thomas变换等价于Fomin-Zelevinsky扭映射的修正版本。
• $ H\backslash G_{u,v}/H $ 的丛Poisson流形与具有指定退化性条件的Borel子群四元组的配置空间 $ \mathrm{Conf}_{u,v}(B) $ 同构。
• 通过广义主子式拉回丛X-变量显式计算DT变换，得到簇变量中的有理函数表达式。
• 通过一系列突变序列证明该变换为丛变换，确认其与丛代数结构的相容性。
• 本文通过两种方法验证DT变换：直接计算主子式与突变序列，结果完全一致。
• 该结果利用Gross、Hacking、Keel与Kontsevich（2018）的框架，证实了Fock与Goncharov（2009）对 $ H\backslash G_{u,v}/H $ 提出的对偶性猜想。