[論文レビュー] On integral cohomology of certain orbifolds

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

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

ひとこと要約

本稿は、特に偶数次元細胞を有する orbifold の整数係数コホモロジーにおける torsion を検出するための q-CW 複体枠組みを導入する。付加写像と球面上の群作用を分析することで、有限安定化群の位数が素数 p と互いに素である場合、コホモロジーは p-torsion を持たないことが示され、全体としての互いに素条件のもとで奇数次元整数コホモロジーが完全に消えることが導かれる。

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.

研究の動機と目的

• orbifold の整数係数コホモロジー環の計算が困難である、特に torsion が存在する場合にその困難を解決すること。
• q-CW 複体を導入することで、複雑な CW 構造を有する orbifold のための計算枠組みを構築すること。
• 整数係数コホモロジーが偶数次元に集中する、検証可能な条件を同定すること。
• 群の位数の互いに素性に基づくコホモロジー的基準を用いて、先行研究のトーリック orbifold や重み付きグラスマンニアンを一般化すること。
• 多面体における再帰的列の組合せ論と、関連する orbifold のコホモロジー的性質との間の関係を確立すること。

提案手法

• 有限群作用による円板の商を用いた q-CW 複体を、CW 複体の一般化として導入する。
• 各 q-細胞における基点 0_i に特に注意を払い、球面の商からの写像による q-細胞の付加を含む、q-細胞の構築列を定義する。
• q-CW 複体のホモトピー型を用い、命題 2.4 を用いて単体的複体と関連付ける。
• ホモロジーの長完全系列を適用し、特に付加球面 S^{k-1}/G からの誘導写像を分析することで、q-細胞の付加効果を解析する。
• |G| のみに依存する H_*(S^{k-1}/G; Z) の torsion を分析し、gcd(p, |G|) = 1 ならば p-torsion が消えることを示す。
• これらの結果を、構築列に沿って帰納的に適用し、完全系列を用いて p-torsion の不在が逐次的 skeleta を超えて伝搬されることを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた素数 p に対して、q-CW 複体の整数係数コホモロジーが p-torsion を持たない条件は何か？
• RQ2 有限安定化群の位数に関する条件が、orbifold の奇数次元コホモロジーの不在を保証できるか？
• RQ3 |G_i| と素数 p の互いに素性が、q-CW 複体のコホモロジーにおける torsion 構造にどのように影響するか？
• RQ4 torsion 無しの結果を、トーリック orbifold や重み付きグラスマンニアンといった既知の orbifold のクラスに適用可能か？
• RQ5 多面体における再帰的列の組合せ論と、関連する orbifold のコホモロジー的性質との間の関係は何か？

主な発見

• q-CW 複体に奇数次元の q-細胞がなく、すべての付加写像に対して gcd(p, |G_i|) = 1 ならば、H_*(X; Z) は p-torsion を持ち、H_odd(X; Z_p) は自明である。
• すべての素数 p に対して互いに素条件が成り立つ場合、q-CW 複体の整数コホモロジーは torsion 無しであり、偶数次元に集中する。
• 主結果（定理 1.2）は、q-CW 構造によって構築された orbifold の整数係数コホモロジーにおける torsion の不在に対する十分条件を提供する。
• トーリック orbifold では、R-特徴的データ (Q, λ) から gcd(p, |G_i|) = 1 を明示的に検証でき、コホモロジー計算が可能になる。
• 本稿では、定理 4.6 の gcd 条件が [BSS17, 定理 1.1] の仮定よりも厳密に弱い例を構成し、先行研究を一般化している。
• 付加写像の次数が p と互いに素であり、スケルトンのホモロジーに p-torsion がなければ、誘導写像 (φ_i)_* は torsion 無しを保ち、新たな p-torsion が導入されない。