[論文レビュー] Group homology and ideal fundamental cycles

Thilo Kuessner|arXiv (Cornell University)|Jul 15, 2010

Advanced Algebra and Geometry参考文献 8被引用数 4

ひとこと要約

本稿は、非コンパact型の有限体積、奇数次元の局所的に対称な空間—群ホモロジーと表現を用いて構成される—ホモロジー的ゴンチャロフ不変量が、自然な評価写像を介して、理想基本サイクルを用いて定義される一般化されたネーマン＝ヤン不変量へと写像されることを確立する。主な結果は、ゴンチャロフ不変量がネーマン＝ヤン不変量を完全に決定することであり、これは既知の双曲的3次元多様体に対する結果を、カスプを持つランク1の対称空間へと拡張するものである。

ABSTRACT

We prove that the group-homological version of the generalized Goncharov invariant of finite-volume locally rank one symmetric spaces determines their generalized Neumann-Yang invariant, which is defined using ideal fundamental cycles.

研究の動機と目的

• 有限体積の局所的に対称な多様体のトポロジーにおける2つの不変量—一般化されたゴンチャロフ不変量と一般化されたネーマン＝ヤン不変量—の関係を明確化すること。
• 閉じた双曲的3次元多様体において知られているゴンチャロフ不変量とネーマン＝ヤン不変量の対応関係を、カスプを持つ有限体積、奇数次元の非コンパクト型の局所的に対称な多様体へと拡張すること。
• カスプを持つ場合の文献に欠けている部分を埋めるために、ホモロジー的ゴンチャロフ不変量からネーマン＝ヤン不変量への自然な評価写像の明確で参照可能な証明を提供すること。
• 群ホモロジーから一般化されたプリ・ブローグ群への自然な評価写像がゴンチャロフ不変量をネーマン＝ヤン不変量へ写像することを確立し、双曲幾何と対称幾何における不変量の2つのアプローチを統合すること。

提案手法

• 本稿は、コンパクト化 $\overline{M}$ の相対的チェインから理想チェインへのチェイン写像 $\hat{\Psi}$ を構成し、相対的基本サイクルを理想基本サイクルへ写像する。
• ストレートネス写像 $str$ を用いて、サイクルを頂点が理想点に固定されたストレートサイクルへホモトープ化し、ホモロジー類を保存する。
• 評価写像 $ev_*$ は $H_d(GL(N,\mathbb{C}));\mathbb{Q})$ から一般化されたプリ・ブローグ群 $\mathcal{B}(\mathbb{C})\otimes\mathbb{Q}$ へ定義され、これはネーマン＝ヤン不変量を捉える。
• 証明はエイレンバーグ＝マクレイン同型と、表現 $\rho: G \to SL(N,\mathbb{C})$ に対する写像 $\hat{\Psi}$ の整合性に依存する。
• ススリンの同型 $K_3(\mathbb{C})\otimes\mathbb{Q} \to \mathcal{B}(\mathbb{C})\otimes\mathbb{Q}$ を用いて、3次元におけるK理論的ゴンチャロフ不変量とネーマン＝ヤン不変量を関連付ける。
• 主な技術的道具は、評価写像と可換で、ストレートネスおよびコーン構成の下で基本類を保存するチェインレベルのリフト $\hat{\Psi}$ の構成である。

実験結果

リサーチクエスチョン

• RQ1 有限体積、奇数次元、非コンパクト型の局所的に対称な多様体のホモロジー的ゴンチャロフ不変量は、ブローグ群への自然な評価写像を介して、一般化されたネーマン＝ヤン不変量へ写像されるか？
• RQ2 群ホモロジーと表現を用いて定義されるゴンチャロフ不変量は、ネーマン＝ヤン不変量に用いられる理想基本サイクル構成とどのように関係するか？
• RQ3 カスプを持つ多様体、特にランク1の場合に、ゴンチャロフ不変量からネーマン＝ヤン不変量への評価写像は、well-definedかつ一意的か？
• RQ4 閉じた3次元双曲的空間において知られているゴンチャロフ不変量とネーマン＝ヤン不変量の対応関係は、非コンパクトかつカスプ付きの設定へと拡張可能か？
• RQ5 ストレートネス写像およびチェイン写像 $\hat{\Psi}$ は、群ホモロジーの文脈において、相対サイクルと理想サイクルを結ぶ際に果たす役割は何か？

主な発見

• 評価写像 $ev_*$ はホモロジー的ゴンチャロフ不変量 $\overline{\gamma}(\overline{M})$ を一般化されたネーマン＝ヤン不変量 $\beta_\rho(\overline{M})$ へ写像し、有限体積、ランク1、境界を持つ局所的に対称な多様体に対して $ev_*(\overline{\gamma}(\overline{M})) = \beta_\rho(\overline{M})$ が成り立つことを証明する。
• 有限体積の双曲的3次元多様体に対して、ススリンの同型 $K_3(\mathbb{C})\otimes\mathbb{Q} \to \mathcal{B}(\mathbb{C})\otimes\mathbb{Q}$ はゴンチャロフ不変量 $\gamma(M)$ をネーマン＝ヤン不変量 $\beta(M)\otimes 1$ へ写像し、文献に長く期待されてきた事実を確認する。
• チェイン写像 $\hat{\Psi}$ の構成により、相対的基本サイクルが理想基本サイクルへ写像され、ストレートネス処理の下でもホモロジー類が保存される。
• 証明は、評価写像と表現 $\rho$ およびエイレンバーグ＝マクレイン同型の整合性に依存し、ホモロジーにおける不変量がwell-definedであることを保証する。
• 本稿は、K理論的不変量 $\gamma(M) \in K_d(\overline{\mathbb{Q}})\otimes\mathbb{Q}$ がホモロジー的不変量 $\overline{\gamma}(M)$ によって決定され、その評価写像による像がネーマン＝ヤン不変量を回復することを確立する。
• 結果として、カスプ付きで有限体積の設定においてゴンチャロフ不変量がネーマン＝ヤン不変量を完全に決定することを確認し、既知の閉じた場合の結果をより広いクラスの対称空間へ拡張する。