[論文レビュー] Representations of fundamental groups of 3-manifolds into PGL(3,C): Exact computations in low complexity

Elisha Falbel, Pierre-Vincent Koseleff+1 more|arXiv (Cornell University)|Jul 25, 2013

Geometric and Algebraic Topology参考文献 13被引用数 9

ひとこと要約

本稿では、装飾付きフラッグ単体と代数幾何学的技法を用いて、PGL(3,C) への 3 次元多様体の基本群の表現を正確に計算する手法を提示する。最初の 4 個未満の単体をもつ双曲的 3 次元多様体について、境界ホロノミーが単位的である解を完全に分類し、23 組の解を同定。そのうち 11 組は球面的 CR 構造であり、グレブナー基底と根の探索を用いて明示的なホロノミー行列と代数的不変量が計算された。

ABSTRACT

In this paper we are interested in computing representations of the fundamental group of a 3-manifold into PSL(3;C) (in particular in PSL(2;C); PSL(3;R) and PU(2; 1)). The representations are obtained by gluing decorated tetrahedra of flags. We list complete computations (giving 0-dimensional or 1-dimensional solution sets) for the first complete hyperbolic non-compact manifolds with finite volume which are obtained gluing less than three tetrahedra with a description of the computer methods used to find them.

研究の動機と目的

• 装飾付きフラッグ単体を用いて、3 次元多様体の基本群の PGL(3,C) 表現を正確に計算するための手法を開発すること。
• 単体数が少ない（4 個未満）完全な双曲的 3 次元多様体の理想分割について、解を体系的に計算・分類すること。
• 境界ホロノミーの固有値が絶対値 1 である条件を課することにより、球面的 CR 構造に対応する解を特定・特徴付けること。
• 単位的境界ホロノミーにとどまらず、非単位的ケースにも応用可能であることを示し、CR 構造やその他の幾何的構造の検出を可能にすること。
• 最初のこのような多様体について、0 次元および 1 次元の解集合の完全なリストを提示し、明示的なホロノミー行列と代数的不変量を提供すること。

提案手法

• 各頂点に CP^2 内のフラッグを割り当て、辺での接続条件を満たすように装飾付き単体を貼り合わせることで表現を構成する。
• フラッグの貼り合わせの一貫性を記述する多項式方程式系を解くことでホロノミー表現を導出する。
• 有理数係数のグレブナー基底を用いて解を計算し、代数的数体上の根の探索により明示的な行列を抽出する。
• 境界ホロノミーの条件を課す：双曲的構造に類する完全性のため単位的、CR 構造のためユニタリ固有値。
• 固有値制約を変更することで非単位的ケースに一般化し、CR 構造やその他の幾何的構造の検出を可能にする。
• SnapPea からの分割に計算ツールを適用し、交比とフラッグ不変量による単体の明示的パラメータ化を実施する。

実験結果

リサーチクエスチョン

• RQ1 4 個未満の単体をもつどの 3 次元多様体が、境界ホロノミーが単位的な PGL(3,C) 表現を持ち、その解集合はどのようなものか？
• RQ2 そのような表現のうち、何個が球面的 CR 構造に対応し、どのような代数的不変量がそれらを区別するか？
• RQ3 同じ計算フレームワークは非単位的表現を検出可能か？また、それらは双曲的または CR 解とはどのように異なるか？
• RQ4 解の体の代数的次数と、表現の幾何的タイプ（例：CR 対非 CR）との関係は何か？
• RQ5 cusp トーラス上のミリエナンとロングチュードのホロノミー行列は、多様体の幾何的構造をどのように反映しているか？

主な発見

• 図8文字結び目補間では 23 組の解が計算され、そのうち 11 組が球面的 CR 構造であり、解体を定義する 6 次と 5 次の異なる既約多項式が得られた。
• ホイットヘッドリンク補間では 32 組の解が得られ、そのうち 14 組が CR 構造であり、10 組は 4 次多項式、4 組は 10 次多項式から得られ、明示的なホロノミー行列が提示された。
• 図8文字結び目の解集合には、6 次多項式 f3 の 4 個の根が含まれ、そのうち 2 個が CR 構造をもたらし、残りの 2 個は体積 1.583167… をもち、非 CR の幾何的意味を示している。
• ホイットヘッドリンクでは、Y² + 1 の根からなる解族が得られ、パラメータ ±i をもつ共役な双曲的解が得られ、Y² + Y + 4 の根からは、√15 を含む複素パラメータを持つ解が得られた。
• ホイットヘッドリンクの最初の cusp では、ミリエナンとロングチュードのホロノミーが単位的（上三角行列）である一方、2 番目の cusp では非単位的ホロノミーで、固有値が単位円上にあり、CR 幾何と整合的である。
• 多項式 f5 = 17Y⁶ - 5Y⁵ + 33Y⁴ - 11Y³ + 26Y² - 4Y + 8 が与える解は、2 つの CR 構造と 8 つの非 CR 表現（体積 0.794323…）をもたらし、本手法が幾何的タイプを区別できることを実証した。