[论文解读] 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

一句话总结

本文提出了一种统一方法，利用克莱因-魏尔斯特拉斯多变量$σ$-函数和阿代尔-几何技术在$θ$-曲面上，反演一般超椭圆积分的第一类、第二类和第三类。该方法使静态球对称霍尔瓦拉-利夫希茨黑洞时空中的测地线方程获得解析解，通过周期矩阵、$θ$-常数和Maple/algcurves中的符号计算，为一类一和一类三的曲线提供了显式解。

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.

研究动机与目标

• 开发一种系统化方法，用于反演在高维相对论动力学中出现的一般超椭圆积分的全部三类——第一类、第二类和第三类。
• 应用代数几何技术，特别是$θ$-曲面和克莱因-魏尔斯特拉斯$σ$-函数，将解表示为单值阿贝尔函数。
• 通过将测地线方程约化为超椭圆积分，实现在静态球对称霍尔瓦拉-利夫希茨黑洞时空中的解析解。
• 提供一个计算框架，使用Maple/algcurves，避免显式计算同调基，从而高效计算周期矩阵和$θ$-特征。

提出的方法

• 通过将解$x(t)$表示为超椭圆$σ$-函数在$θ$-曲面上的限制，利用Riemann-Roch定理和雅可比反演问题实现阿贝尔积分的反演。
• 该方法利用除子的对称函数以及克莱因-魏尔斯特拉斯$σ$-函数，作为魏尔斯特拉斯$σ$-函数在高亏格情形下的推广。
• 从全纯微分和$θ$-常数计算周期矩阵及分支点的阿贝尔像，通过汤姆埃和博尔察公式建立分支点与黎曼矩阵之间的关系。
• 通过$\boldsymbol{\zeta}$-函数和$\boldsymbol{\mathfrak{Z}}$-向量，将第二类和第三类的亚纯微分纳入方法中，给出涉及$σ$-函数和对数项的显式积分公式。
• 使用Maple/algcurves实现计算机代数过程，自动计算$\varkappa$矩阵和亚纯半周期，无需显式了解同调基知识。
• 该方法在一类一（椭圆）和一类三（超椭圆）曲线中得到验证，解以$σ_{ij}(\boldsymbol{u})$和满足$σ(\boldsymbol{u})=0$及$σ_3(\boldsymbol{u})=0$的$f_1(v-v_0)$、$f_2(v-v_0)$函数表示。

实验结果

研究问题

• RQ1 能否在单一代数几何框架下统一反演所有三类一般超椭圆积分？
• RQ2 克莱因-魏尔斯特拉斯$σ$-函数在高亏格时空测地线方程解中的作用是什么？
• RQ3 如何在不显式确定同调基的情况下高效计算周期矩阵和$θ$-特征？
• RQ4 当底层曲线为三类时，霍尔瓦拉-利夫希茨黑洞时空中的测地线运动会产生哪些解析解？
• RQ5 符号计算工具如Maple/algcurves能否有效用于高亏格情形下阿贝尔函数和积分的自动计算？

主要发现

• 本文推导出三类霍尔瓦拉-利夫希茨黑洞时空测地线方程的显式解，其中$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$确定。
• 对于一类一情形，解$\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}$矩阵和$θ$-常数之间的对称性与代数恒等式，该方法减少了所需周期计算的数量。
• 作者提供了一种计算程序，使用Maple/algcurves自动计算周期矩阵和$θ$-特征，绕过了对显式Tretkoff-Tretkoff算法同调基计算的需求。
• 该方法可推广至其他时空，如迈尔斯-帕瑞和环形黑洞几何，其中测地线积分产生类似的四次或超椭圆曲线。
• 三类情形的解以$W_{\pm}(z) = \int_z^\infty d\boldsymbol{u} \pm \int_{(e_2,0)}^{(Z,W)} d\boldsymbol{u} - \boldsymbol{K}_\infty$的形式表达，对数形式的$σ$-函数比值捕捉了单值性效应。