[论文解读] Torsion in the cohomology of torus orbifolds

Hideya Kuwata, Mikiya Masuda+1 more|arXiv (Cornell University)|Apr 11, 2016

Algebraic Geometry and Number Theory参考文献 12被引用 3

一句话总结

本文通過分析具有角的優雅流形上的特徵函數，研究了環面軌道空間——2n維軌道空間，其上作用有n維緊緻環面的哈密頓作用——的整係數上同調中的扭轉。本文建立了一個關於上同調中無p-扭轉的必要條件，即某些整數μ(Q_I)與p互質；當軌道空間的面偏序集同構於n單形、柱體或(n−1)-單形的懸垂時，證明該條件亦為充分條件，同時提供了一個反例，表明該條件在一般情況下並非充分。

ABSTRACT

We study torsion in the integral cohomology of a certain family of $2n$-dimensional orbifolds $X$ with actions of the $n$-dimensional compact torus. Compact simplicial toric varieties are in our family. For a prime number $p$, we find a necessary condition for the integral cohomology of $X$ to have no $p$-torsion. Then we prove that the necessary condition is sufficient in some cases. We also give an example of $X$ which shows that the necessary condition is not sufficient in general.

研究动机与目标

• 理解環面軌道空間的整係數上同調在何種情況下會出現扭轉，特別是對於素數p的p-扭轉。
• 將緊緻單純的 торic代數幾何結果推廣至更廣泛的軌道空間類別，這些軌道空間由具有角的優雅流形上的特徵函數定義。
• 識別出影響軌道空間與特徵函數的條件，以確保上同調中無p-扭轉。
• 確定無p-扭轉的必要條件（即μ(Q_I)與p互質）是否亦為充分條件；若否，則構造反例。

提出的方法

• 使用商構造 X(Q,v) = (Q × T)/∼，其中Q為具有角的優雅流形，v為將特徵函數分配給面的原始向量的函數。
• 應用譜序列技術與透過刪除奇異集鄰域的上同調計算，將X的上同調與光滑流形的上同調聯繫起來。
• 針對Q的每個面Q_I引入整數μ(Q_I)，其源自特徵函數v，用以衡量上同調扭轉的局部障礙。
• 利用上同調對 (X, Y) 與 (Y, Y_+) 的正合序列，分析H^k(X)在k ≤ 3時的扭轉。
• 將結果與已知的 торic幾何計算比較，特別是Fischli與Jordan對緊緻單純toric代數幾何中H^{2n−1}(X)與Tor H^{2n−2}(X)的研究。
• 透過連通和與懸垂構造具體例子，證明必要條件在一般情況下並非充分。

实验结果

研究问题

• RQ1 在何種條件下，環面軌道空間X(Q,v)的整係數上同調中無p-扭轉（p為素數）？
• RQ2 若對所有面Q_I均有μ(Q_I)與p互質，則此必要條件是否足以確保H^*(X)中無p-扭轉？
• RQ3 能否構造一個環面軌道空間，使其上同調中存在p-扭轉，即使所有μ(Q_I)均與p互質，從而證明該必要條件非充分？
• RQ4 Q的面偏序結構與特徵函數v如何共同影響H^*(X)中的扭轉結構？

主要发现

• H^*(X)中無p-扭轉的必要條件為：對軌道空間Q的每個面Q_I，均有μ(Q_I)與p互質。
• 當Q的面偏序集同構於n單形Δ^n、柱體Δ^{n−1}×[−1,1]或(n−1)-單形的懸垂⋄^n時，此必要條件亦為充分條件。
• 構造了一個明確的反例：所有μ(Q_I)均與p互質，但H^3(X) ≅ ℤ/d（d ≥ 2），表明存在p-扭轉——因此該條件在一般情況下並非充分。
• 對於緊緻單純toric代數幾何，結果與已知計算一致：H^{2n−1}(X) ≅ N/ĤN 與 Tor H^{2n−2}(X) ≅ ∧²N/(ĤN ∧ N)，其中ĤN為所有原始向量之和的像。
• 反例的構造涉及將一個懸垂與一個具有非平凡基本群的整同調球面做連通和，從而產生非單連通的軌道空間，且其上同調中出現扭轉。
• 本文確認，即使軌道空間Q在ℤ/pℤ上是同調無環的，且特徵函數滿足必要互質條件，X(Q,v)的上同調仍可能含有扭轉。