[论文解读] The equivariant Orlik-Solomon algebra

Nicholas Proudfoot|ArXiv.org|Jun 2, 2003

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

一句话总结

本文引入了等变Orlik-Solomon代数作为实超平面排列补集的Z₂-等变上同调环，利用带基点的定向拟阵提供了其组合性表述。该代数可区分具有相同非等变同伦型的排列，表明等变拓扑并非由无向拟阵决定，并为Varchenko-Gelfand环提供了拓扑解释，即其为普通Orlik-Solomon代数的形变。

ABSTRACT

Given a real arrangement $A$, the complement $M(A)$ of the complexification of $A$ admits an action of $\mathbb{Z}_2$ by complex conjugation. We define the equivariant Orlik-Solomon algebra of $A$ to be the $\mathbb{Z}_2$-equivariant cohomology ring of $M(A)$ with coefficients in $\mathbb{Z}_2$. We give a combinatorial presentation of this ring, and interpret it as a deformation of the ordinary Orlik-Solomon algebra into the Varchenko-Gel'fand ring of locally constant $\mattbb{Z}_2$-valued functions on the complement $C(A)$ of $A$ in $\mathbb{R}^n$. We also show that the $\mathbb{Z}_2$-equivariant homotopy type of $M(A)$ is determined by the oriented matroid of $A$. As an application, we give two examples of pairs of arrangements $A$ and $A'$ such that $M(A)$ and $M(A')$ have the same nonequivariant homotopy type, but are distinguished by the equivariant Orlik-Solomon algebra.

研究动机与目标

• 定义并研究实超平面排列补集的Z₂-等变上同调环。
• 利用带基点的定向拟阵，为该等变上同调环提供组合性表述。
• 将等变Orlik-Solomon代数解释为普通Orlik-Solomon代数向局部常值Z₂-值函数的Varchenko-Gelfand环的形变。
• 证明M(A)的Z₂-等变同伦型由排列的定向拟阵决定。
• 构造例子，其中非等价排列具有同构的非等变补集，但其等变Orlik-Solomon代数不同构。

提出的方法

• 将等变Orlik-Solomon代数定义为H*_{Z₂}(M(A); Z₂)，即复化排列补集的Z₂-等变上同调。
• 利用生成元e₁,…,eₙ与一个新变量x，基于带基点的定向拟阵构造该代数的表述。
• 识别三类关系：(1) eᵢ² = 0，(2) 若∩_{i∈S} Hᵢ = ∅，则∏_{i∈S} eᵢ = 0，(3) 若codim(∩_{i∈S} Hᵢ) > |S|，则∂(∏_{i∈S} eᵢ) = 0。
• 通过复共轭作用定义M(A)上的Z₂-作用，其不动点集为M_R(A)，即实补集。
• 使用Macaulay 2计算环中线性形式的零化子，以检测等变Orlik-Solomon代数之间的非同构性。
• 构造两对排列：一对通过秩3排列的通用秩2截断（其补集微分同胚），另一对通过直线排列的翻转。

实验结果

研究问题

• RQ1 能否利用带基点的定向拟阵，组合性地表述实超平面排列补集的Z₂-等变上同调环？
• RQ2 等变Orlik-Solomon代数是否为普通Orlik-Solomon代数向局部常值Z₂-值函数的Varchenko-Gelfand环的形变？
• RQ3 M(A)的Z₂-等变同伦型是否仅依赖于排列A的定向拟阵？
• RQ4 两个排列是否可能具有同伦等价的补集，但其等变Orlik-Solomon代数不同构？
• RQ5 Pendergrass关于拟阵截断保持Orlik-Solomon代数的定理是否可推广至等变情形？

主要发现

• 等变Orlik-Solomon代数同构于Z₂[e₁,…,eₙ,x]/J，其中J由带基点的定向拟阵导出的关系生成，包括eᵢ² = 0及当codim(∩_{i∈S} Hᵢ) > |S|时∂(∏_{i∈S} eᵢ) = 0。
• 该代数是普通Orlik-Solomon代数向Varchenko-Gelfand环VG(A; Z₂)的形变，为后者提供了拓扑解释。
• M(A)的Z₂-等变同伦型由A的定向拟阵决定，这一点通过等变同伦等价蕴含等变上同调环同构得到证明。
• 构造了两个排列A与A′，其补集微分同胚（通过秩3排列的通用截断实现），但其等变Orlik-Solomon代数不同构，该结论经Macaulay 2对零化子的计算验证。
• 对两个实直线排列进行翻转后，其补集同伦等价（依Falk定理），但其等变Orlik-Solomon代数不同构，因为A(A; Z₂)中e₂的零化子由两个线性元素生成，而A(A′; Z₂)中不具备此性质。
• 该例表明，等变Orlik-Solomon代数不由带基点的无向拟阵决定，且Pendergrass关于截断的定理无法推广至等变情形。