[論文レビュー] General relativity, Lauricella's hypergeometric function $F_D$ and the theory of braids

G. V. Kraniotis|ArXiv.org|Sep 21, 2007

Black Holes and Theoretical Physics参考文献 17被引用数 4

ひとこと要約

本稿は、Lauricellaの超幾何関数 $F_D$ の変数の定義域が、KerrおよびKerr-(反)de Sitter時空における測地線運動の正確な解を記述するものであることを示し、その定義域の基本群が純ブレード群に同型であることを示すことによって、一般相対性理論とブレード理論の間の直接的な位相的つながりを確立する。主な結果は、物理的量（例：近日点移動、重力磁気的効果、光の屈曲）が、超幾何関数の定義域の位相構造を通じてブレードの位相と本質的に結びついていることである。これは、重力と低次元位相幾何学との間に、これまで未知の深い関係が存在することを示している。

ABSTRACT

The exact (closed form) solutions of the equations of motion in the theory of general relativity that describe motion of test particle and photon in Kerr and Kerr-(anti) de Sitter spacetimes all involve the multivariable hypergeometric function of Lauricella $F_D$: Kraniotis [Class. Quantum Grav. {\bf 21} 2004, 4743; Class. Quantum Grav. {\bf 22} 2005, 4391; Class. Quantum Grav. {\bf 24} 2007, 1775]. The domain of variables ${\cal D}_n$ of the corresponding function depends on the first integrals of motion associated with the isometries of the Kerr-(anti) de Sitter metric and Carter's constant $Q$ as well as on the cosmological constant $Λ$ and the Kerr (rotation) parameter. In this work we discuss the topological properties of the domain ${\cal D}_n$ and in particular its fundamental connection with the theory of braids. An intrinsic relationship of general relativity with the pure braids is established.

研究の動機と目的

• Lauricellaの超幾何関数 $F_D$ の定義域の位相的構造を通じて、一般相対性理論とブレード理論との間の直接的な数学的・物理的つながりを確立すること。
• 特にその基本群 $\pi_1(\mathcal{D}_n, a)$ を特徴づける $\mathcal{D}_n$ の位相的性質を調査し、ブレード群と関連づけること。
• KerrおよびKerr-(反)de Sitter時空における測地線方程式の正確な解が $F_D$ で表現されるが、その解が定義域の位相構造を通じて純ブレード群と本質的に結びついていることを示すこと。
• このつながりが、時空の次元性や、近日点移動や屈曲角といった物理的観測量の位相的起源を理解する上でどのような意味を持つのかを検討すること。

提案手法

• KerrおよびKerr-(反)de Sitter時空における測地線方程式の正確な解に現れるLauricella関数 $F_D$ の定義域 $\mathcal{D}_n = \{(z_1, \dots, z_n) \mid z_i \neq 0,1, z_j \neq z_k \text{ for } j < k\}$ を分析する。
• 代数的位相幾何学の結果を適用し、基本群 $\pi_1(\mathcal{D}_n, a)$ が、$n+2$ ストランドの純ブレード群 $P_{n+2}$ の中心 $Z_{n+2}$ を剰余群としてとった商群 $P_{n+2}/Z_{n+2}$ に同型であることを示す。
• ブレード群の表現理論、特にBurauおよびGassner行列による表現を用いて、$\mathcal{D}_n$ の位相的構造を特徴づける。
• 純ブレード群の生成子 $A_{ij}$ が、$F_D$ のモノドロミーと対応することを示し、群構造を定義する関係 $\mathbf{R}_0^n$、$\mathbf{R}_1^n(N_n)$、$\mathbf{R}_n^n$ を特定する。
• 純ブレードに閉包作用を施すことでリンクが生成され、その結果、結び目およびリンクの位相的不変量が一般相対性理論における物理的観測量と結びつくことを示唆する。
• 既存の $F_D$ を用いた一般相対性理論における正確な解の研究と、$\mathcal{D}_n$ に関する位相的結果を統合し、新しい物理的・位相的双対性を確立する。

実験結果

リサーチクエスチョン

• RQ1 Lauricellaの超幾何関数 $F_D$ の定義域 $\mathcal{D}_n$ は、一般相対性理論の文脈においてどのように位相的に構造づけられているか？
• RQ2 定義域 $\mathcal{D}_n$ の基本群 $\pi_1(\mathcal{D}_n, a)$ は何か？ そしてそれはブレード群とどのように関係しているか？
• RQ3 KerrおよびKerr-(反)de Sitter時空における測地線運動の正確な解が $F_D$ を用いて表現されるが、これらはブレード群の対称性に起因すると解釈できるか？
• RQ4 一般相対性理論における物理的観測量（例：近日点移動や光の屈曲角）は、定義域 $\mathcal{D}_n$ の構造にどのように位相的に符号化されているか？
• RQ5 $\pi_1(\mathcal{D}_n, a)$ と純ブレード群 $P_{n+2}/Z_{n+2}$ の同型性は、時空幾何学や物理定数の背後にあるより深い位相的起源を示唆するか？

主な発見

• Lauricellaの $F_D$ の定義域 $\mathcal{D}_n$ の基本群 $\pi_1(\mathcal{D}_n, a)$ は、$n+2$ ストランドの純ブレード群 $P_{n+2}$ の中心 $Z_{n+2}$ を剰余群としてとった商群 $P_{n+2}/Z_{n+2}$ に同型である。
• 定義域 $\mathcal{D}_n$ は、複素平面から 0 および 1 を除いた $n$ 個の異なる点の配置空間と位相的に同値であり、その位相的性質は純ブレード群の関係式によって支配されている。
• KerrおよびKerr-(反)de Sitter時空における測地線方程式の正確な解は、近日点移動や光の屈曲といった物理的観測量を記述するが、これらは $F_D$ の $\mathcal{D}_n$ 上でのモノドロミーと本質的に結びついている。
• 純ブレード群の生成子 $A_{ij}$ は、超幾何関数 $F_D$ のホロノミーに対応し、群構造を定義する関係 $\mathbf{R}_0^n$、$\mathbf{R}_1^n(N_n)$、$\mathbf{R}_n^n$ を満たす。
• 純ブレードの閉包によりリンクが生成され、本稿では一般相対性理論における物理的量が、超幾何関数表現を通じてそのリンクの位相的不変量に関連づけられると示唆している。
• 本研究は、一般相対性理論とブレード理論との間の、初めての直接的な物理的つながりを確立し、重力と低次元位相幾何学との間に、深く本質的な関係が存在することを明らかにした。