[论文解读] Cluster X-varieties, amalgamation and Poisson-Lie groups

V. V. Fock, A. B. Goncharov|ArXiv.org|Aug 22, 2005

Advanced Algebra and Geometry被引用 19

一句话总结

本文通过将与正单根相关的初等簇丛通过黏合构造，引入了与分裂半单实李群 G 相关的簇 𝒳-簇。该研究建立了从这些簇到配备标准 Poisson-Lie 结构的 G 的典范 Poisson 映射，提供了 G 上的有理坐标并以簇结构为基础，无需 r-矩阵形式，全新构造了 Poisson-Lie 群结构。主要贡献在于通过簇结构与黏合构造，实现了 Poisson-Lie 群的几何实现，并在局部系统模空间与簇 𝒳-簇的量子化方面具有应用。

ABSTRACT

Starting from a split semisimple real Lie group G with trivial center, we define a family of varieties with additional structures. We describe them as the cluster X-varieties, as defined in math.AG/0311245. In particular they are Poisson varieties. We define Poisson maps of them to the group G with the standard Poisson-Lie structure. We introduce an operation of amalgamation of cluster varieties. Our varieties are amalgamations of elementary ones, assigned to positive simple roots of the root system of G. Some of them are very closely related to the double Bruhat cells. This paper is a building block in a description of the cluster structure of the moduli spaces of local systems on surfaces studied in math.AG/0311149.

研究动机与目标

• 通过初等簇丛的黏合，为具有平凡中心的分裂半单实李群 G 定义簇 𝒳-簇。
• 从这些簇 𝒳-簇构造到配备标准 Poisson-Lie 结构的 G 的典范 Poisson 映射。
• 利用来自簇结构的典范有理坐标，对 G 实现有理参数化。
• 通过簇几何从零开始构造 G 上的 Poisson-Lie 群结构，避免使用 r-矩阵形式。
• 通过簇 𝒳-簇的量子化与黏合，推广量子群结构，得到非交换的 q-变形。

提出的方法

• 构造使用簇种子 (I, I₀, ε, d)，其中包含冻结顶点与斜对称矩阵 ĝεij = εijdj，通过 {xi,xj} = ĝεij xixj 在环面上定义 Poisson 结构。
• 黏合通过粘合冻结顶点将多个簇种子组合，保持簇与 Poisson 结构，解冻操作允许非冻结变量的引入。
• 对每个正单根 α，定义初等簇 𝒳-簇 XJ(α) 为维数为 r+1 的分裂代数环面，其 Poisson 结构由 Cartan 矩阵编码。
• 通过簇变换与有理同构，从黏合簇到 G 的 Poisson 映射被构造，其中一个簇与 G 有理同构。
• 通过 [FG2] 中的方法对簇 𝒳-簇进行量子化，得到非交换的 q-变形，推广了量子群结构。
• 通过 ℙ¹ 上的六点构型，将 PGL₄ 中三元旗的模空间 Conf₃(ℬ_{A₃}) 实现为簇 𝒳-簇，显式定义了由交比给出的有理坐标。

实验结果

研究问题

• RQ1 如何在不依赖 r-矩阵形式的前提下，利用簇几何构造分裂半单李群 G 上的 Poisson-Lie 群结构？
• RQ2 黏合作用于从与单根相关的初等构造块构建簇 𝒳-簇时，其作用是什么？
• RQ3 簇 𝒳-簇如何与曲面上局部系统的模空间及双 Bruhat 单元相关联？
• RQ4 能否通过来自簇结构的典范有理坐标，实现 G 上标准 Poisson-Lie 结构？
• RQ5 簇 𝒳-簇的量子化如何推广标准量子群结构？

主要发现

• 与 PGL₄ 中三元旗模空间 Conf₃(ℬ_{A₃}) 相关的簇 𝒳-簇，与 ℙ¹ 上六点稳定曲线模空间 M₀,₆ 的簇 𝒳-簇同构。
• 映射 Φ: M₀,₆ → Conf₃(ℬ_{A₃}) 提供了一个保持簇结构的有理同构，Conf₃(ℬ_{A₃}) 上的有理坐标由 ℙ¹ 上六点的交比给出。
• Conf₃(ℬ_{A₃}) 上的坐标 X₁, X₂, X₃ 表示为四元向量组的行列式之比，并在对应于正六边形三角剖分的簇变换下变换。
• Conf₃(ℬ_{A₃}) 上的簇结构为有限类型 B₂，由六边形在中心对称下的对称三角剖分所证明。
• G 上的 Poisson-Lie 群结构通过簇几何重建，典范 Darboux 坐标由与 G 有理同构的簇 𝒳-簇产生。
• 簇 𝒳-簇的量子化产生一个非交换的 q-变形，推广了标准量子群结构。