[論文レビュー] A Volume Function for CR Tetrahedra

Elisha Falbel|ArXiv.org|Jul 14, 2009

Holomorphic and Operator Theory参考文献 13被引用数 4

ひとこと要約

本稿では、3次元球面 $S^3$ 上の4点の配置に対して、$PU(2,1)$ の作用に関して不変な体積関数を導入する。$S^3$ 上のCR構造の自己同型群である $PU(2,1)$ に対して不変である。体積は交比不変量のBloch-Wigner二対対数関数を用いて構成され、五重項関係を満たす。これは双曲幾何とCR幾何の両方を一般化する。主な結果は、連続コホモロジー群 $H^3_{\text{cont}}(PU(2,1), \mathbb{R})$ が消えるにもかかわらず、体積関数は非自明な可測コサイクルであり、可測2次コチェーンを用いてコバウンダリーであることが示され、CR幾何の深い構造的性質を明らかにする。

ABSTRACT

We define a volume function on configurations of four points in the 3-sphere which is invariant under the action of PU(2,1), the automorphism group of the CR structure defined on the sphere by its embedding in complex 2-space. We show that the volume function, constructed using appropriate combinations of the dilogathm function of Bloch-Wigner, satisfies a five term relation in a more general context which includes at the same time CR and real hyperbolic geometry.

研究の動機と目的

• $S^3$ 上の4点の配置に対して、$S^3$ 上のCR構造を保存する群 $PU(2,1)$ に関して不変な体積関数を定義すること。
• 古典的な双曲的正四面体の理想正四面体の体積を、球面的CR幾何の文脈に一般化すること。
• この体積関数が、双曲幾何におけるものと同様の五重項関係を満たすこと。
• $H^3_{\text{cont}}(PU(2,1), \mathbb{R}) = 0$ であるにもかかわらず、体積関数が非自明な可測コサイクルであり、コバウンダリーであることを示すこと。
• 交比不変量とそれらのBloch-Wigner二対対数関数との関係を通じて、体積の幾何的解釈を確立すること。

提案手法

• 各頂点に付随する複素不変量 $z_{ij} \in \mathbb{C} \setminus \{0,1\}$ を用いて、$S^3$ 上の4点の順序付き組に交比構造を定義する。
• Bloch-Wigner二対対数関数 $D(z)$ を用いて、4つの頂点不変量の二対対数関数の平均に基づき、各正四面体に体積を割り当てる。
• $PU(2,1)^4$ 上に体積を割り当てる可測3次コチェーン $\mathcal{D}$ を構成し、退化した配置へ連続的に拡張する。
• 体積をコバウンダリーとして表現するための可測2次コチェーン $c_2(g_1,g_2,g_3) = \frac{1}{2} D(-e^{2i\mathbb{A}(g_1\infty,g_2\infty,g_3\infty)})$ を定義する。
• $\partial c_2 = \mathcal{D}$ を、退化した正四面体における対称性および極限の議論を用いて確認することで、体積3次コチェーン $\mathcal{D}$ が $c_2$ のコバウンダリーであることを証明する。
• 角度パrameterization と微分を用いて、2次コチェーンと二対対数関数との差が定数であり、周期性と正規化によりそれがゼロであることを示す。

実験結果

リサーチクエスチョン

• RQ1 $S^3$ 上のCR正四面体に対して、$PU(2,1)$ に関して不変で、理想正四面体の双曲的体積を一般化する体積関数を定義できるか？
• RQ2 この体積関数は、双曲幾何におけるものと同様の五重項関係を満たすか？
• RQ3 $H^3_{\text{cont}}(PU(2,1), \mathbb{R}) = 0$ であるにもかかわらず、体積関数が非自明であるのはなぜか？
• RQ4 体積関数はどのように可測2次コチェーンのコバウンダリーとして表現できるか？その明示的な形は何か？
• RQ5 退化した配置における体積関数の振る舞いは？交比不変量との関係は？

主な発見

• $\mathcal{D}$ は $S^3$ 上の相異なる4点の組に対する $PU(2,1)$ の対角的作用に関して不変である。
• 体積関数は五重項関係を満たし、古典的な双曲幾何における恒等式を一般化する。
• $H^3_{\text{cont}}(PU(2,1), \mathbb{R}) = 0$ であるにもかかわらず、体積関数は非自明な可測コサイクルである。
• 体積関数 $\mathcal{D}$ は明示的に可測2次コチェーン $c_2$ のコバウンダリーであることが示され、$\partial c_2 = \mathcal{D}$ が成り立つ。
• $c_2(g_1,g_2,g_3)$ は $\frac{1}{2} D(-e^{2i\mathbb{A}(g_1\infty,g_2\infty,g_3\infty)})$ で与えられ、ここで $\mathbb{A}$ は角度不変量である。
• 退化した配置では体積は $D(z)$ に簡約され、コバウンダリー条件から導かれる関数方程式により、2次コチェーンは定数を除いて二対対数関数と一致する。正規化によりその定数はゼロである。