[论文解读] Properties of the residual circle action on a toric hyperkahler variety

Megumi Harada, Nicholas Proudfoot|ArXiv.org|Jul 1, 2002

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

一句话总结

本文研究了通过 $\mathbb{H}^n$ 的超凯勒约化构造的超环面超凯勒流形上的哈密顿 $S^1$-作用，表明该作用编码了定义超平面排列的共定向与仿射结构数据。关键贡献在于通过复化排列补集的 $\mathbb{Z}_2$-等变上同调对奥尔利克-索洛蒙代数进行变形，该变形通过 $S^1$-作用与实余维拓扑显式计算得出。

ABSTRACT

We consider a manifold X obtained by a Kahler reduction of C^n, and we define its hyperkahler analogue M as a hyperkahler reduction of T^*C^n = H^n by the same group. In the case where the group is abelian and X is a smooth toric variety, M is a toric hyperkahler manifold, as defined by Bielawski-Dancer, and further studied by Konno and Hausel-Sturmfels. The manifold M carries a natural action of S^1, induced by the scalar action of S^1 on the fibers of T^*C^n. In this paper we study this action, computing its fixed points and its equivariant cohomology. As an application, we use the associated Z/2 action on the real locus of M to compute a deformation of the Orlik-Solomon algebra of a smooth, generic, real hyperplane arrangement, depending nontrivially on the affine structure of the arrangement. This deformation is given by the Z/2-equivariant cohomology of the complement of the complexification, where Z/2 acts by complex conjugation.

研究动机与目标

• 理解通过子环 $T^k$ 约化 $\mathbb{H}^n$ 构造的超环面超凯勒流形上的 $S^1$-作用。
• 表明该 $S^1$-作用保有定义超平面排列 $\mathcal{H}$ 的共定向与仿射结构信息，而这些信息在凯勒商构造中会丢失。
• 使用排列 $\mathcal{H}$ 的完整组合数据（包括其仿射结构）计算超环面流形 $M$ 的 $S^1$-等变上同调。
• 将实余维 $M_\mathbb{R}$ 的拓扑与补集 $\mathcal{M}(\mathcal{H})$ 的 $\mathbb{Z}_2$-等变上同调联系起来，从而得到奥尔利克-索洛蒙代数的变形。

提出的方法

• 将超环面流形 $M$ 构造为超凯勒商 $\mathbb{H}^n //_{(\alpha,0)} T^k$，其中 $\alpha$ 编码了超平面排列 $\mathcal{H}$ 的仿射结构。
• 研究从 $T^*\mathbb{C}^n \cong \mathbb{H}^n$ 的余切纤维上的标量乘法诱导的 $M$ 上的 $S^1$-作用，分析其不动点与矩映射。
• 利用核心 $C \subset M$（一个形变收缩）在一组射影子簇的并上显式描述 $S^1$-作用。
• 使用 $\mathcal{H}$ 的组合学（包括超平面的交条件）计算 $S^1$-等变上同调 $H^*_{S^1}(M)$ 与 $T^d \times S^1$-等变上同调。
• 分析实余维 $M_\mathbb{R} \subset M$（复共轭的不动点集），以将其与 $H^*_{\mathbb{Z}_2}(\mathcal{M}(\mathcal{H}); \mathbb{Z}_2)$ 联系起来。
• 明确给出 $H^*_{\mathbb{Z}_2}(\mathcal{M}(\mathcal{H}); \mathbb{Z}_2)$ 的表示为 $\mathbb{Z}_2[u_1,\dots,u_n,x]$ 的商，关系式编码了 $\mathcal{H}$ 的仿射结构。

实验结果

研究问题

• RQ1 超环面超凯勒流形 $M$ 上的 $S^1$-作用如何编码定义超平面排列 $\mathcal{H}$ 的共定向与仿射结构信息？
• RQ2 $S^1$-等变上同调环 $H^*_{S^1}(M)$ 的结构是什么？它如何依赖于 $\mathcal{H}$ 的完整组合数据？
• RQ3 是否可以通过实余维 $M_\mathbb{R}$ 计算补集 $\mathcal{M}(\mathcal{H})$ 的 $\mathbb{Z}_2$-等变上同调？它揭示了关于排列的什么信息？
• RQ4 $\mathbb{Z}_2$-等变上同调环 $H^*_{\mathbb{Z}_2}(\mathcal{M}(\mathcal{H}); \mathbb{Z}_2)$ 是否是奥尔利克-索洛蒙代数的变形，且非平凡地依赖于 $\mathcal{H}$ 的仿射结构？
• RQ5 是否存在组合等价的排列，其 $\mathbb{Z}_2$-等变上同调环不同构，从而证明该环不是组合不变量？

主要发现

• 超环面流形 $M$ 上的 $S^1$-作用对超平面排列 $\mathcal{H}$ 的共定向与仿射结构均敏感，甚至在等变上同调层面亦然。
• $S^1$-等变上同调被显式计算为 $H^*_{S^1}(M) \cong \mathbb{Z}[u_1,\dots,u_n,x] / \langle \Pi_{i\in S_1} u_i \cdot \Pi_{j\in S_2} (x - u_j) \mid \bigcap_{i\in S} H_i = \emptyset \rangle$，其中关系依赖于仿射结构。
• 补集 $\mathcal{M}(\mathcal{H})$ 的 $\mathbb{Z}_2$-等变上同调同构于 $H^*_{T_\mathbb{R}^d \times \mathbb{Z}_2}(M_\mathbb{R}; \mathbb{Z}_2) / \ker \phi_2$，其中 $\ker \phi_2$ 由 $u_i(x - u_i)$ 与交关系生成。
• 环 $H^*_{\mathbb{Z}_2}(\mathcal{M}(\mathcal{H}); \mathbb{Z}_2)$ 是 $\mathcal{OS} \otimes \mathbb{Z}_2$ 在 $\operatorname{\mathbb{Z}_2}[x]$ 上的变形，且非平凡地依赖于 $\mathcal{H}$ 的仿射结构，而不仅依赖于其底层拟阵。
• 对于仅在仿射结构上不同的排列 $\mathcal{H}_a'$ 与 $\mathcal{H}_c'$，其 $\mathbb{Z}_2$-等变上同调环不构同：在 $H^*_{\mathbb{Z}_2}(\mathcal{M}(\mathcal{H}_a'); \mathbb{Z}_2)$ 中，$u_2$ 的零化子由两个线性元素生成，而在 $H^*_{\mathbb{Z}_2}(\mathcal{M}(\mathcal{H}_c'); \mathbb{Z}_2)$ 中则不存在此类元素。
• $H^*_{\mathbb{Z}_2}(\mathcal{M}(\mathcal{H}); \mathbb{Z}_2)$ 的表示为 $\mathbb{Z}_2[u_1,\dots,u_n,x] / \langle \text{交关系} \rangle + \langle u_i(x - u_i) \rangle$，显式展示了其对仿射数据的依赖性。