[论文解读] Nested sets and Jeffrey Kirwan cycles

Corrado De Concini, Claudio Procesi|ArXiv.org|Jun 15, 2004

Advanced Combinatorial Mathematics参考文献 4被引用 10

一句话总结

本文建立了无断裂电路基与超平面排列中适当极大嵌套集之间的典范对应关系，构造了排列补集中的相关几何循环，并证明这些循环对偶于无断裂电路形式所诱导的上同调基。关键贡献在于通过在循环上积分，几何化实现了 Jeffrey-Kirwan 残留物，明确地将组合学、上同调与残留理论联系起来，适用于复超平面排列。

ABSTRACT

For the complement of a hyperplane arrangement we construct a dual homology basis to the no broken circuit basis of cohomology. This is based on the theory of wonderful embeddings and nested sets.

研究动机与目标

• 使用组合与几何工具，简化并重新诠释 Szenes 与 Vergne 在超平面排列中残留结果的研究。
• 在超平面排列中，建立无断裂电路基与适当极大嵌套集之间的典范双射对应关系。
• 在排列的补集中定义几何循环，使其作为周期积分实现 Jeffrey-Kirwan 残留物。
• 证明由无断裂电路形式所形成的上同调基与由这些循环所形成的同调基之间的对偶性。
• 提供 Jeffrey-Kirwan 残留物的几何解释，即作为在特定循环上的积分，该解释在环作用与射影嵌入的背景下成立。

提出的方法

• 利用超平面排列的排序，定义无断裂电路基与适当极大嵌套集之间的典范双射。
• 为每个适当极大嵌套集 $ \mathbb{M} $，在补集 $ \tilde{A}_{\Delta} $ 中构造一个维度为 $ r $ 的几何循环 $ c_{\text{M}} $，通过迭代残留构造。
• 利用 De Rham 复形的正规性，将高阶微分形式 $ \omega_{\sigma} = d\log\gamma_1 \wedge \cdots \wedge d\log\gamma_r $ 识别为上同调类。
• 将 Jeffrey-Kirwan 循环 $ \delta(C) $ 构造为 $ c_{\text{M}} $ 的线性组合，其中 $ \text{M} $ 为满足 $ C \subset C(\text{M}) $ 的极大嵌套集，系数 $ \nu_{\text{M}} $ 依赖于方向。
• 证明对高阶形式 $ \psi $ 在 $ \delta(C) $ 上的积分通过公式 $ \int_{\delta(C)} \psi = (2\pi i)^r \cdot J\langle c \mid \psi \rangle $ 计算出 Jeffrey-Kirwan 残留物。
• 利用拉普拉斯变换 $ L: K^r \to H^r $ 将残留与在正则向量 $ c $ 处的取值联系起来，并利用此关系将循环 $ \delta(C) $ 解释为残留的几何实现。

实验结果

研究问题

• RQ1 在超平面排列中，是否存在无断裂电路基与极大嵌套集之间的典范组合对应？
• RQ2 能否构造出超平面排列补集中的一系列几何循环，使得其周期计算出 Jeffrey-Kirwan 残留物？
• RQ3 当一个基由无断裂电路形式构成，另一个基由嵌套集关联的循环构成时，上同调与同调基之间的对偶性如何体现？
• RQ4 精确的几何循环 $ \delta(C) $ 是什么，它能将 Jeffrey-Kirwan 残留物实现为一个积分？
• RQ5 基 $ \sigma $ 的方向如何影响在循环 $ \delta(C) $ 上对残留积分的符号？

主要发现

• 在超平面排列中，无断裂电路基与适当极大嵌套集之间存在典范双射对应。
• 每个适当极大嵌套集 $ \mathbb{M} $ 均可导出一个维度为 $ r $ 的几何循环 $ c_{\mathbb{M}} $，其位于 $ \mathcal{A}_{\Delta} $ 中，且对高阶形式 $ \omega_{\sigma} $ 在 $ c_{\mathbb{M}} $ 上的积分可通过局部坐标下的多重残留计算。
• 由无断裂电路基索引的上同调基 $ \{ \omega_{\sigma} \} $ 与由适当极大嵌套集索引的同调基 $ \{ c_{\mathbb{M}} \} $ 在积分下构成对偶。
• Jeffrey-Kirwan 残留物 $ J\langle c \mid \psi \rangle $ 可表示为 $ \frac{1}{(2\pi i)^r} \int_{\delta(C)} \psi $，其中 $ \delta(C) $ 仅依赖于房间 $ C $。
• 循环 $ \delta(C) $ 明确定义为 $ \delta(C) = \sum_{\mathbb{M} \in \mathcal{M} \mid C \subset C(\mathbb{M})} \nu_{\mathbb{M}} c_{\mathbb{M}} $，其中 $ \nu_{\mathbb{M}} = \pm 1 $，取决于方向。
• 拉普拉斯变换 $ L $ 将特征函数 $ \chi_{\sigma} $ 映射为 $ \epsilon_{\sigma} \omega_{\sigma} $，该同构使得残留可解释为在正则向量 $ c $ 处的取值，而该取值由循环 $ \delta(C) $ 几何实现。