[論文レビュー] Maximal syzygies in equivariant cohomology

Matthias Franz|arXiv (Cornell University)|Mar 18, 2014

Advanced Combinatorial Mathematics被引用数 1

ひとこと要約

本稿では、実二次曲面の交わりとして定義される大規模な多角形空間——つまり、コンパクトで向きつけ可能な多様体——を導入し、その同相的コホモロジーにおいて新しい挙動を示す。H*(BT) 上での自由性に欠けるにもかかわらず、正確なチェン＝スキーイブレッド完全列と完全な同相的ペアリングを支持しており、T-多様体に対する既知のシジージ・バウンドが鋭いことを示している。

ABSTRACT

We study a new class of compact orientable manifolds, called big polygon spaces. They are intersections of real quadrics and related to polygon spaces, which appear as their fixed point set under a canonical torus action. What makes big polygon spaces interesting is that they exhibit remarkable new features in equivariant cohomology: The Chang-Skjelbred sequence can be exact for them and the equivariant Poincare pairing perfect although their equivariant cohomology is never free as a module over the cohomology ring of BT. More generally, big polygon spaces show that a certain bound on the syzygy order of the equivariant cohomology of compact orientable T-manifolds obtained by Allday, Puppe and the author is sharp.

研究の動機と目的

• 大規模な多角形空間と呼ばれる、新しいコンパクトで向きつけ可能な多様体のクラスを導入し、その研究を行う。
• 特にチェン＝スキーイブレッド完全列との関係において、その同相的コホモロジー特性を調査する。
• これらの多様体における同相的ペアリングが完全であるかどうかを分析する。
• 同相的コホモロジーがH*(BT) 上で自由でない場合、そのシジージ・バウンドに与える影響を特定する。
• 既知のT-多様体のシジージ・オーダーの上限が、最大のシジージ・オーダーを持つ反例の構成によって鋭いことを確立する。

提案手法

• ユークリッド空間内での実二次曲面の交わりとして大規模な多角形空間を構成する。
• 標準的なトーラス作用における固定点集合としてのその構造を分析する。
• これらの多様体の同相的コホモロジーを研究するためにチェン＝スキーイブレッド完全列を適用する。
• 同相的ペアリングの非退化性を評価するために同相的ペアリング双対性を用いる。
• H*(BT) 上での同相的コホモロジーの加群構造を検討し、それが決して自由でないことを示す。
• アルドレー、パップ、および著者の研究から得られた既知の上限と比較して、同相的コホモロジーのシジージ・オーダーを検討する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトで向きつけ可能なT-多様体において、同相的コホモロジーがH*(BT) 上で自由でない場合でも、チェン＝スキーイブレッド完全列が正確に成立するか。
• RQ2 このような多様体において、同相的ペアリングが完全となる条件は何か。
• RQ3 大規模な多角形空間の同相的コホモロジーは、H*(BT) 上の加群として自由か。
• RQ4 大規模な多角形空間は、T-多様体に対する既知のバウンドが許容する最大のシジージ・オーダーを達成するか。
• RQ5 大規模な多角形空間を用いて、T-多様体のシジージ・バウンドが鋭いことを証明できるか。

主な発見

• 大規模な多角形空間は、H*(BT) 上での自由性に欠けるにもかかわらず、正確なチェン＝スキーイブレッド完全列を支持する。
• 大規模な多角形空間では同相的ペアリングが完全であり、強い双対性の性質を示している。
• 大規模な多角形空間の同相的コホモロジーは、BTのコホモロジーリング上での加群として決して自由でない。
• これらの多様体は、アルドレー、パップ、および著者の研究から得られたバウンドが許容する最大のシジージ・オーダーに到達している。
• 大規模な多角形空間の存在により、コンパクトで向きつけ可能なT-多様体のシジージ・バウンドが鋭いことが示された。
• 大規模な多角形空間は、正確なチェン＝スキーイブレッド完全列と完全なペアリングを持つが、同相的コホモロジーが自由でないコンパクトで向きつけ可能なT-多様体の最初の既知の例を提供する。