[論文レビュー] Poincare duality in dimension 3

C. T. C. Wall|ArXiv.org|Oct 3, 2004

Geometric and Algebraic Topology参考文献 21被引用数 10

ひとこと要約

この論文は、3次元Poincaré双対性複体（PD^3複体）へのThurstonの幾何化プログラムの拡張を検討し、分裂定理と幾何構造に焦点を当てる。基本群が自由積であるインコネスプリューシブル境界をもつPD^3複体は、連結和に分解されると示され、アトロイダルでアセイルィンダーリなPD^3ペアは境界部分群に関して双曲的であると予想され、境界の力学的性質を通じて双曲的3次元空間への埋め込みに影響を与える。

ABSTRACT

The paper gives a review of progress towards extending the Thurston programme to the Poincare duality case. For a full abstract, see the published version at the above link.

研究の動機と目的

• 3次元Poincaré双対性複体へのThurston幾何化プログラムの拡張を図ること。
• 基本群が自由積である場合にPD^3複体が連結和に分解する条件を理解すること。
• JSJ型分解を用いて、インコネスプリューシブル境界をもつ非可約PD^3複体の幾何的構造を定式化し、調査すること。
• アトロイダルでアセイルィンダーリなPD^3ペアの双曲的性についての予想を検討し、境界の力学的性質を考察すること。

提案手法

• 3次元多様体の代数的モデルとしてPoincaré双対性複体を用い、基本群Gと、双対性同型を誘導する基本類を有する。
• 群環ZG上の有限生成射影加法族のチェーン複体を用いて、有限性条件を適用する。
• ループ定理とハンドル付加技術を用いて境界をインコネスプリューシブル化し、TuraevおよびBleileによるこれらの結果の拡張に依拠する。
• JSJ型分解を用いて、インコネスプリューシブル境界をもつ非可約PD^3複体を分析し、問題を群論的分裂基準に還元する。
• PD^3群の無限遠境界∂Gを分析し、アセイルィンダリティおよびアトロイダリティの下で、S^1、シエルピンスキーのガスケット、またはメンガーのカーブにホメオモルフィックであることを示す。
• 境界の力学と双曲性を結びつけるために、二重構成D(G,S)を適用し、Kapovich-Kleinerの収束群作用に関する定理を用いる。

実験結果

リサーチクエスチョン

• RQ1 基本群GをもつPD^3複体がどのような条件下で連結和に分解するか。
• RQ2 非自明な境界をもつPD^3複体に対して、ループ定理を一般化することは可能か。これにより、インコネスプリューシブル境界の構成が可能になるか。
• RQ3 インコネスプリューシブル境界をもち、境界基本群が自明であるPD^3ペアが、特にアトロイダルでアセイルィンダーリな場合に幾何的である条件は何か。
• RQ4 境界の周辺部分群に関して双曲的であるPD^3群は、必ずPGL_2(C)の離散部分群と同型か。
• RQ5 PD^3群の無限遠境界∂Gの構造は何か。また、それは群の幾何にどのような制約を与えるか。

主な発見

• 基本群Gが自由積であり、PD^3複体がインコネスプリューシブル境界をもつ場合、複体は連結和に分解され、3次元多様体の場合に一般化される。
• 境界が自明で、e(G)=2またはe(G)=0であるPD^3複体は、それぞれS^2×S^1またはS^3で有限被覆される有限複体にホモトピー同値である。
• Gが自由積であり、複体が境界にインコネスプリューシブルである場合、BleileによるTuraevの議論の拡張により、複体は連結和に分解される。
• アトロイダルでアセイルィンダーリな場合、無限遠境界∂GはS^1（フクシアンの場合）、シエルピンスキーのガスケット、またはメンガーのカーブのいずれかであるが、アセイルィンダリティと双対性により、メンガーのカーブは除外される。
• ∂Gがシエルピンスキーのガスケットである場合、周辺の円周はGの有限個の軌道に属し、代表元の集合Hについての二重D(G,H)は双曲的であり、∂D(G,H)はS^2にホメオモルフィックである。
• 二重構成D(G,S)により、Gは双曲的PD^3群の準凸部分群として埋め込まれ、このようなPD^3ペアが双曲的3次元空間に基づく幾何的モデルであるという予想を支持する。