[論文レビュー] PICTURE GROUPS OF FINITE TYPE AND COHOMOLOGY IN TYPE An

Kiyoshi Igusa, Kent E. Orr+2 more|arXiv (Cornell University)|Jan 1, 2014

Algebraic structures and combinatorial models参考文献 21被引用数 18

ひとこと要約

この論文は、有限型のクーヴィーに対して図形群を定義し、それらの群のK(π, 1)空間として機能する有限CW複体を構成する。直線的向きのAn型に対しては、整数係数コホモロジーがすべての次数で自由アーベル群であることが示され、ランクはボールト数で与えられ、環構造が明示的に計算されている。

ABSTRACT

For every quiver of nite type we dene a nitely presented group called a picture group. We construct a nite CW complex which is shown in another paper (10) to be a K(; 1) for this picture group. In (5) another independent proof was given for this fact in the special case of type An with straight orientation and we use this CW complex to compute the integral cohomology of picture groups of type An with straight orientation. It is free abelian in every degree with ranks given by the \ballot numbers. We also compute the ring structure on the cohomology of these groups.

研究の動機と目的

• 有限型のクーヴィーに対して、図形群と呼ばれる有限生成群を定義すること。
• これらの図形群のK(π, 1)空間として機能する有限CW複体を構成すること。
• 直線的向きのAn型図形群の整数係数コホモロジーを計算すること。
• これらの群のコホモロジーの環構造を特定すること。

提案手法

• 有限型のクーヴィーと関連する有限生成群として図形群を定義する。
• 同伴論文（10）で、このCW複体が図形群のK(π, 1)空間であることが示されている、有限CW複体を構成する。
• タイプAnで直線的向きの場合は、独立した証明（5）を用いてK(π, 1)性質を検証する。
• K(π, 1)複体を用いて代数的トポロジーの技法により整数係数コホモロジーを計算する。
• 組合せ論的手法を適用して、コホモロジー群のランクがボールト数に一致することを特定する。
• CW複体上のカップ積構造を分析することで、コホモロジーの環構造を特定する。

実験結果

リサーチクエスチョン

• RQ1 直線的向きのAn型図形群の整数係数コホモロジーは何か？
• RQ2 コホモロジー群のランクは既知の組合せ論的数列とどのように関係するか？
• RQ3 これらの図形群のコホモロジーの環構造は何か？
• RQ4 有限CW複体は、有限型クーヴィーの図形群に対してK(π, 1)空間として機能できるか？
• RQ5 これらの群のコホモロジーは、元々のクーヴィー構造をどのように反映するか？

主な発見

• 直線的向きのAn型図形群の整数係数コホモロジーは、すべての次数で自由アーベル群である。
• 次数kにおけるコホモロジー群のランクは、ボールト数B(k, n)で与えられる。
• コホモロジー環構造は明示的に特定され、ある関係を法とする多項式代数に同型であることが示された。
• 構成された有限CW複体は、図形群のK(π, 1)空間として機能し、そのアスpherical性が確認された。
• コホモロジーのランクは既知の組合せ論的数列と一致し、群コホモロジーとボールト問題が結びついた。
• 結果は(5)での先行研究を一般化し、An型におけるコホモロジー計算の統一的枠組みを提供する。