[论文解读] On integral cohomology of certain orbifolds

Anthony Bahri, Dietrich Notbohm+2 more|arXiv (Cornell University)|Nov 6, 2017

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

一句话总结

本文提出了一种 q-CW 复形框架，用于检测轨道丛积分上同调中的挠子群，特别是具有偶数维胞腔的轨道丛。通过分析附着映射和球面上的群作用，证明了若有限稳定子群的阶与素数 p 互素，则上同调无 p-挠子群，进而在全局互素条件下，奇数维积分上同调完全消失。

ABSTRACT

The CW structure of certain spaces, such as effective orbifolds, can be too complicated for computational purposes. In this paper we use the concept of $\mathbf{q}$-CW complex structure on an orbifold, to detect torsion in its integral cohomology. The main result can be applied to well known classes of orbifolds or algebraic varieties having orbifold singularities, such as toric orbifolds, simplicial toric varieties, torus orbifolds and weighted Grassmannians.

研究动机与目标

• 为解决计算轨道丛积分上同调环的困难，特别是当存在挠子群时。
• 通过引入 q-CW 复形，为具有复杂 CW 结构的轨道丛建立计算框架。
• 识别可验证的条件，使得轨道丛的积分上同调集中在偶数维。
• 通过基于群阶互素性的上同调准则，推广先前关于 toric 轨道丛和加权 Grassmannian 的结果。
• 建立多面体中收缩序列的组合学与相关轨道丛上同调中挠子群缺失之间的联系。

提出的方法

• 将 q-CW 复形引入为 CW 复形的推广，其中胞腔是圆盘在有限群作用下的商。
• 定义 q-胞腔的构建序列，通过从球面商映射的附着映射连接，特别关注每个 q-胞腔中的基点 0_i。
• 利用 q-CW 复形的同伦型，通过引理 2.4 将其与单纯复形联系起来。
• 应用同调的长正合列分析附着 q-胞腔的影响，特别关注从附着球面 S^{k-1}/G 诱导的映射。
• 仅基于 |G| 分析 H_*(S^{k-1}/G; Z) 中的挠子群，证明当 gcd(p, |G|) = 1 时，p-挠子群消失。
• 通过构建序列递归应用这些结果，利用正合列将无 p-挠子群的性质传播至连续的骨架。

实验结果

研究问题

• RQ1 在何种条件下，q-CW 复形的积分上同调对给定素数 p 无 p-挠子群？
• RQ2 能否通过有限稳定子群阶的条件保证轨道丛中奇数维上同调的缺失？
• RQ3 |G_i| 与素数 p 的互素性如何影响 q-CW 复形上同调中的挠子群结构？
• RQ4 这些无挠子群结果能否应用于已知的轨道丛类，如 toric 轨道丛和加权 Grassmannian？
• RQ5 多面体中收缩序列的组合学与相关轨道丛上同调性质之间存在何种关系？

主要发现

• 若 q-CW 复形无奇数维 q-胞腔，且所有附着映射满足 gcd(p, |G_i|) = 1，则 H_*(X; Z) 无 p-挠子群，且 H_odd(X; Z_p) 平凡。
• 当对所有素数 p 均满足互素条件时，q-CW 复形的积分上同调无挠子群且集中在偶数维。
• 主要结果（定理 1.2）为通过 q-CW 结构构建的轨道丛积分上同调中挠子群的缺失提供了充分条件。
• 对于 toric 轨道丛，条件 gcd(p, |G_i|) = 1 可从 R-特征数据 (Q, λ) 显式验证，从而实现上同调计算。
• 本文构造了一个例子，表明定理 4.6 中的 gcd 条件严格弱于 [BSS17, 定理 1.1] 的假设，从而推广了先前结果。
• 当附着映射的次数与 p 互素，且骨架的同调无 p-挠子群时，诱导映射 (φ_i)_* 保持无挠子群性，确保不引入新的 p-挠子群。