[論文レビュー] Hyperelliptic integrals and Ho\v{r}ava-Lifshitz black hole space-times

V. Z. Enolski, Betti Hartmann+4 more|arXiv (Cornell University)|Jun 14, 2011

Black Holes and Theoretical Physics被引用数 5

ひとこと要約

本稿では、一般の超楕円積分（第一種、第二種、第三種）を統一的に逆転する手法を提示する。この手法は、Klein-Weierstraß 多変数 $\sigma$-関数と代数幾何的技法を用い、$\theta$- divisor 上で展開される。この手法により、Ho´rava-Lifshitz 黒色洞穴時空における測地線方程式の解析的解が得られ、周期行列、$\theta$-定数、および Maple/algcurves を用いた記号計算により、種数1および種数3の曲線に対して明示的な解が導出される。

ABSTRACT

The description of many dynamical problems like the particle motion in higher dimensional spherically and axially symmetric space-times is reduced to the inversion of hyperelliptic integrals of all three kinds. The result of the inversion is defined locally, using the algebro-geometric techniques of the standard Jacobi inversion problem and the foregoing restriction to the $\ heta$-divisor. For a representation of the hyperelliptic functions the Klein--Weierstra{\\ss} multivariable $\\sigma$-function is introduced. It is shown that all parameters needed for the calculations like period matrices and abelian images of branch points can be expressed in terms of the periods of holomorphic differentials and $\ heta$-constants. The cases of genus two, three and four are considered in detail. The method is exemplified by the particle motion associated with genus one elliptic and genus three hyperelliptic curves. Applications are for instance solutions to the geodesic equations in the space-times of static, spherically symmetric Ho\\v{r}ava-Lifshitz black holes.

研究の動機と目的

• 高次元相対論的力学に現れる、第一種、第二種、第三種の一般超楕円積分を統一的に逆転するための体系的アプローチの開発。
• 特に $\theta$- divisor と Klein-Weierstraß の $\sigma$-関数を用いた代数幾何的技法により、解を単価なアーベル関数として表現すること。
• 静的かつ球対称な Ho´rava-Lifshitz 黒色洞穴時空における測地線方程式を、超楕円積分に還元することで解析的解を可能にすること。
• 明示的なホロロジー基底の計算を必要とせず、周期行列と $\theta$-特徴量の効率的計算を可能にする Maple/algcurves を用いた計算フレームワークの提供。

提案手法

• アーベル積分の逆転は、Riemann-Roch定理と Jacobi の逆問題を活用し、解 $x(t)$ を $\theta$- divisor に制限した超楕円 $\sigma$-関数として表現することにより達成される。
• この手法は、除数の対称関数と、種数が高くなる場合の Weierstraß の $\sigma$-関数の一般化としての Klein-Weierstraß の $\sigma$-関数を用いる。
• 周期行列と分岐点のアーベル的像は、正則微分形式と $\theta$-定数から計算され、Thomae および Bolza の公式により分岐点とリーマン行列との関係が導かれる。
• 第二種および第三種の有理型微分形式は、$\boldsymbol{\zeta}$-関数と $\boldsymbol{\mathfrak{Z}}$-ベクトルを用いて統合され、$\sigma$-関数と対数項を含む明示的積分公式が得られる。
• Maple/algcurves を用いたコンピュータ代数手順が実装され、ホロロジー基底の明示的知識を必要とせず、$\varkappa$ 行列と有理型半周期の計算を自動化する。
• この手法は種数1（楕円）および種数3（超楕円）の曲線に対して検証され、解は $\sigma_{ij}(\boldsymbol{u})$ および $f_1(v-v_0)$, $f_2(v-v_0)$ 関数として表現され、これらは $\sigma(\boldsymbol{u})=0$ および $\sigma_3(\boldsymbol{u})=0$ を満たす。

実験結果

リサーチクエスチョン

• RQ1 第一種、第二種、第三種の一般超楕円積分の逆転を、一つの代数幾何的枠組みで統一的に扱う方法は何か？
• RQ2 Klein-Weierstraß の $\sigma$-関数は、高種数時空における測地線方程式の解を表現する上で果たす役割は何か？
• RQ3 明示的なホロロジー基底の決定を避け、周期行列と $\theta$-特徴量を効率的に計算する方法は何か？
• RQ4 種数3の曲線を持つ場合、Ho´rava-Lifshitz 黒色洞穴時空における測地線運動に対してどのような解析的解が得られるか？
• RQ5 Maple/algcurves などの記号計算ツールは、高種数の場合のアーベル関数および積分の計算を効果的に自動化できるか？

主な発見

• 本稿では、種数3の Ho´rava-Lifshitz 黒色洞穴時空における測地線方程式に対して明示的解が得られ、$z(v) = -\sigma_{13}(\boldsymbol{u}) / \sigma_{23}(\boldsymbol{u})$ と表される。ここで $\boldsymbol{u}$ は $v-v_0$ の関数であり、$f_1$, $f_2$ 関数は $\sigma(\boldsymbol{u})=0$ および $\sigma_3(\boldsymbol{u})=0$ を満たす。
• 種数1の場合、解 $\varphi - \varphi_0 = -\frac{1}{q_8}f_2(v-v_0) + \frac{1}{q_8^2}f_1(v-v_0) - \frac{1}{q_8^3}(v-v_0) + \frac{1}{q_8^4W}\left[\cdots\right]$ は楕円の場合の一般化であり、対数項を含む第三種微分形式を含む。
• この手法は、$\wp_{ij}$ 行列と $\theta$-定数を含む対称性および代数的恒等式を活用することで、必要な周期計算の数を削減する。
• 著者らは、明示的な Tretkoff-Tretkoff アルゴリズムによるホロロジー基底計算を回避し、Maple/algcurves を用いて周期行列と $\theta$-特徴量の計算を自動化する手順を提供する。
• このアプローチは、同様の四次または超楕円曲線が測地線統合から生じる、Myers-Perry やブラックリング幾何など、他の時空に対しても一般化可能である。
• 種数3の場合の解は、$W_{\pm}(z) = \int_z^\infty d\boldsymbol{u} \pm \int_{(e_2,0)}^{(Z,W)} d\boldsymbol{u} - \boldsymbol{K}_\infty$ と表され、モノドロミー効果を捉える対数的 $\sigma$-関数比が含まれる。