[论文解读] Differential geometry of the space of orbits of a Coxeter group

Boris Dubrovin|ArXiv.org|Mar 27, 1993

Algebraic structures and combinatorial models参考文献 22被引用 49

一句话总结

本文通过使用格罗滕迪克留数而不依赖奇点的普遍展开，为任意有限考克斯eter群构造了一个二维拓扑场论（TFT）。其核心在于在轨道空间 $ M = V/W $ 上推导出内在的微分几何结构——特别是留数配对和弗罗贝尼乌斯代数结构。关键贡献是给出了轨道空间上格罗滕迪克留数的内在公式，从而通过多项式弗罗贝尼乌斯流形结构实现了对 $ M $ 的完整微分几何刻画。

ABSTRACT

Differential-geometric structures on the space of orbits of a finite Coxeter group, determined by Grothéndieck residues, are calculated. This gives a construction of a 2D topological field theory for an arbitrary Coxeter group.

研究动机与目标

• 为有限考克斯eter群 $ W $ 的轨道空间 $ M = V/W $ 提供一种内在的、坐标无关的微分几何结构描述，独立于奇点的普遍展开。
• 通过格罗滕迪克留数将留数配对及其相关弗罗贝尼乌斯代数结构的构造从 $ A_n $ 情况推广到任意考克斯eter群。
• 解决佐藤与阿诺尔德长期提出的关于周期映射和轨道空间上不变量卷积的内在刻画问题。
• 建立轨道空间 $ M $ 的完整微分几何刻画，最终形成多项式弗罗贝尼乌斯流形结构。

提出的方法

• 通过无穷远处的格罗滕迪克留数在切丛 $ TM $ 上推导留数配对：$ (u,v)_x = \mathrm{res}_{z=\infty} \frac{\dot{f}(z;x(s_1)) \dot{f}(z;x(s_2))}{f'(z;x)} $，其中 $ f(z;x) $ 是奇点的普遍展开。
• 定义三重线性型 $ c(u,v,w)_x = \mathrm{res}_{z=\infty} \frac{\dot{f}(z;x(s_1)) \dot{f}(z;x(s_2)) \dot{f}(z;x(s_3))}{f'(z;x)} $，其在 $ T_xM $ 上诱导出一个具有单位元的交换、结合乘法。
• 利用关系 $ c(u,v,w) = (u\cdot v, w) $，通过配对与乘法代数地表达高阶多线性型。
• 通过定义勒维-奇维塔联络及与分次和内积的相容性条件，在 $ \mathrm{Der}\,R $ 上构造多项式弗罗贝尼乌斯流形结构，其中 $ R = \mathbb{C}[x^1,\dots,x^n] $。
• 以导子与 $ R $-模结构的形式重新表述弗罗贝尼乌斯流形公理，确保与分次和非退化内积的相容性。
• 通过避免引用奇点的普遍展开，而依赖轨道空间的内在几何，确立了留数配对与度量的内在性质。

实验结果

研究问题

• RQ1 能否在不依赖奇点普遍展开的前提下，内在地定义考克斯eter群轨道空间上的格罗滕迪克留数配对？
• RQ2 由留数构造所诱导的轨道空间 $ M = V/W $ 上的内在微分几何结构——特别是度量与乘法——是什么？
• RQ3 如何通过导子与不变多项式环上的分次模，代数地刻画轨道空间上的弗罗贝尼乌斯流形结构？
• RQ4 在何种程度上，可通过不变量卷积与留数配对，内在地公理化周期映射及其像？
• RQ5 是否可能仅通过轨道空间的内在几何，为任意有限考克斯eter群构造一个二维拓扑场论？

主要发现

• 推导出适用于任意有限考克斯eter群的轨道空间 $ M = V/W $ 上格罗滕迪克留数的内在公式，且无需依赖奇点的普遍展开。
• 留数配对在切丛 $ TM $ 上定义了一个非退化、对称且平坦的度量，其与奇点理论中消失循环的交形式一致。
• 在每一点 $ x \in M $ 的切空间上，存在一个具有单位元的交换、结合代数结构，同构于 $ \mathbb{C}[z]/(f'(z;x)) $，由留数配对诱导。
• 高阶多线性型 $ c_k $ 可通过乘法与配对代数地表达：$ c_k(u_1,\dots,u_k) = (u_1 \cdot \cdots \cdot u_{k-1}, u_k) $，与二维TFT的因子化规则一致。
• 轨道空间 $ M $ 被赋予一个定义在 $ \mathbb{Q} $ 上的多项式弗罗贝尼乌斯流形结构，其特征为分次、非退化的内积、平坦的勒维-奇维塔联络，以及相容的乘法。
• 该构造提供了对 $ M $ 的完整内在微分几何刻画，解决了佐藤与阿诺尔德关于周期映射与不变量卷积内在描述的长期问题。