[論文レビュー] On spherical CR uniformization of 3-manifolds

Martin Deraux|arXiv (Cornell University)|Oct 2, 2014

Point processes and geometric inequalities被引用数 6

ひとこと要約

本稿は、3次元多様体の球面的CR均質化を、3次元多様体群の $PU(2,1)$ への離散的表現、特に境界ホロノミーが巡回的単位的であるものを分析することで検討する。2つの異なる表現が共役な像をもつ場合でも、それらが同型な球面的CR構造をもたらすとは限らないことを示し、境界ホロノミーが単位的である離散的表現が、球面的CR均質化に十分でないことを明らかにした。これにより、このような多様体の分類における中心的な仮定が揺るがされることになった。

ABSTRACT

We consider the discrete representations of 3-manifold groups into $PU(2,1)$ that appear in the Falbel-Koseleff-Rouillier census, such that the peripheral subgroups have cyclic unipotent holonomy. We show that two of these representations have conjugate images, even though they represent different 3-manifold groups. This illustrates the fact that a discrete representation $π_1(M) ightarrow PU(2,1)$ with cyclic unipotent boundary holonomy is not in general the holonomy of a spherical CR uniformization of $M$.

研究の動機と目的

• 3次元多様体 $M$ の球面的CR均質化が、$\pi_1(M) \to PU(2,1)$ への離散的表現 $\rho$ で、境界ホロノミーが巡回的単位的であるものから生じるかどうかを調査すること。
• このような離散的表現が球面的CR均質化に十分であるかどうかを検証する仮説を検討し、複素双曲幾何学における中心的未解決問題である。
• FKR表現のリストから具体的な例を分析し、それらが完全で分岐のないCR構造をもたらすかどうかを特定すること。
• 離散的表現と球面的CR均質化の実際のホロノミー表現との違いを明確にすること。

提案手法

• 研究は、最大3個の単体から構成される3次元多様体のFKRリストからの表現に焦点を当てる。特に、単位的周辺ホロノミーをもつものに注目する。
• 理想三角形分割と $\partial_{\infty}H^2_{\mathbb{C}} \simeq S^3$ 上の交比パラメータ化を用いて表現をモデル化し、整合性条件を課す。
• 群 $\Gamma \subset PU(2,1)$ の作用に対する基本領域 $E$ を構成し、側面ペアリング変換を用い、その境界 $\partial E$ をギラウド円板の和集合として分析する。
• へそと頂点のサイクルからサイクル関係を計算し、群の提示を決定し、非自明な楕円的または放物的要素の存在を検証する。
• 組合せ的および計算的手法を用いて、無限遠における多様体 $\Gamma \backslash \Omega_\Gamma$ の位相を分析する。これには基本群の計算が含まれる。
• 解析により、無限遠における多様体の基本群が元の3次元多様体 $m009$ と同じであり、周辺部分群が同型のもとで保存されていることが確認された。

実験結果

リサーチクエスチョン

• RQ1 巡回的単位的境界ホロノミーをもつ離散的表現 $\rho: \pi_1(M) \to PU(2,1)$ が、常に $M$ の球面的CR均質化のホロノミーとして実現可能か？
• RQ2 共役な像をもつ離散的表現が、同型な球面的CR構造をもたらさない場合があるか？
• RQ3 不連続領域 $\Omega_\Gamma$ と極限集合 $\Lambda_\Gamma$ が、表現が均質化をもたらすかどうかを決定する役割を果たすか？
• RQ4 基本領域 $E$ におけるサイクル関係が、群構造および楕円的または放物的要素の存在をどのように制約するか？
• RQ5 $PU(2,1)$ における組合せ的および計算的手法は、球面的CR均質化の分類にどの程度有効か？

主な発見

• 多様体 m004 に対して、2つの異なる表現 $\rho_{4_1}$ と $\rho_{3_1}$ は $PU(2,1)$ 内で共役な像をもち、しかし異なる3次元多様体群を表している。
• 共役な像をもつにもかかわらず、それらの表現は同型な球面的CR構造をもたらさない。これは、像の共役性が均質化に十分でないことを示している。
• 表現によって生成される群 $\Gamma$ は、$\partial_{\infty}H^2_{\mathbb{C}}$ 上の点を固定する非自明な楕円的要素をもたず、唯一の放物的要素は $2313$ のべきの共役である。これらはフォード領域の中心を安定化する。
• 無限遠における多様体 $\Gamma \backslash \Omega_\Gamma$ の基本群は $\pi_1(m009)$ と同型であり、周辺部分群は同型のもとで保存されている。
• 基本領域 $E$ の境界 $\partial E$ は位相的にシリンダー（水平管）であり、領域 $E$ は一点でピンチされた立体トーラスの補集合である。
• へそと頂点のサイクルから導かれたサイクル関係はすべて自明な関係に還元され、群提示の整合性および隠れたねじれの存在の不在が確認された。