[論文レビュー] Four-dimensional Riemannian manifolds with two circulant structures

Dimitar Razpopov|arXiv (Cornell University)|Sep 26, 2014

Point processes and geometric inequalities参考文献 4被引用数 5

ひとこと要約

本稿は、四次元リーマン多様体に計量 $g$ と $q^4 = \mathrm{id}$ を満たす循環的構造 $q$ が備わっている場合を研究する。計量 $g$ と $q$ は特別な局所座標系において循環行列として表現される。主な貢献は、曲率恒等式とクリストッフェル記号の計算を通じて得られる、$q$ がリーマン接続に関して平行であるための必要十分条件であり、幾何的構造と曲率の対称性の間の関係を確立する。

ABSTRACT

We consider a class (M, g, q) of four-dimensional Riemannian manifolds M, where besides the metric g there is an additional structure q, whose fourth power is the unit matrix. We use the existence of a local coordinate system such that there the coordinates of g and q are circulant matrices. In this system q has constant coordinates and q is an isometry with respect to g. By the special identity for the curvature tensor R generated by the Riemannian connection of g we define a subclass of (M, g, q). For any (M, g, q) in this subclass we get some assertions for the sectional curvatures of two-planes. We get the necessary and sufficient condition for g such that q is parallel with respect to the Riemannian connection of g.

研究の動機と目的

• 四次元リーマン多様体に計量 $g$ と $q^4 = \mathrm{id}$ を満たす自己準同型 $q$ が備わっている場合を調査し、計量 $g$ と $q$ が局所座標系において循環行列として表現されることを前提とする。
• 接空間内に $q$-基底 $\{x, qx, q^2x, q^3x\}$ が存在する場合の幾何的意味を、特に直交性と角度関係に注目して探求する。
• リーマン曲率テンソル $R$ に関連する曲率恒等式を導出し、$q$ の作用に関して不変である、特に $R(x,y,qz,qu) = R(x,y,z,u)$ となるものである。
• 計量 $g$ のリーマン接続 $\nabla$ に関して $q$ が平行であるための必要十分条件を、$\nabla q = 0$ の成立を用いて特定する。

提案手法

• 本稿は、計量 $g$ と自己準同型 $q$ が循環行列として表現される局所座標系を採用し、幾何的構造の代数的簡略化を可能にする。
• $q$-基底を $\{x, qx, q^2x, q^3x\}$ として定義し、$x$ の成分に関する特定の二次形式が非ゼロであることによって線形独立性の条件を導出する。
• 曲率テンソル $R$ は、$g(qx,qy) = g(x,y)$ と $q$ の構造から生じる対称性条件 $R(x,y,qz,qu) = R(x,y,z,u)$ を満たすものとして分析される。
• クリストッフェル記号 $\Gamma_{ij}^k$ は、計量の成分 $A$, $B$, $C$ の偏微分を含む標準公式により計算される。
• $\nabla q = 0$ の条件は、$A$, $B$, $C$ の勾配を含む偏微分方程式系に翻訳され、定理5.1で得られる主要結果に至る。
• 長大な代数的計算を経て、$\Gamma_{ik}^s q^k_j = \Gamma_{ij}^k q^s_k$ の系が処理され、解かれた偏微分方程式系により、平行 $q$-構造の完全な特徴づけが得られる。

実験結果

リサーチクエスチョン

• RQ1 四次元リーマン多様体に循環計量と $q^4 = \mathrm{id}$ を満たす $q$-構造が備わっている場合、接空間に直交する $q$-基底が存在する条件は何か？
• RQ2 このような $q$-構造が生じる曲率の対称性は何か？ そして、リーマン曲率テンソルにどのような制約を与えるか？
• RQ3 計量 $g$ のリーマン接続に関して $q$-構造が平行であるための必要十分条件は何か？
• RQ4 $A$, $B$, $C$ の計量成分の勾配は、$q$ の平行性とどのように関係するか？
• RQ5 曲率恒等式 $R(x,y,qz,qu) = R(x,y,z,u)$ は $q$ が平行であることを示唆するが、逆も成り立つか？

主な発見

• ベクトル $x$ が接空間 $T_pM$ に $q$-基底を誘導するための必要十分条件は、$\big{(}(x^1 - x^3)^2 + (x^2 - x^4)^2\big{)}\big{(}(x^1 + x^3)^2 - (x^2 + x^4)^2\big{)}$ が非ゼロであることである。
• 等長性の性質により、$q$-基底内のベクトル間の角度は $\angle(x,qx) = \angle(qx,q^2x) = \angle(x,q^3x) = \angle(q^2x,q^3x)$ および $\angle(x,q^2x) = \angle(qx,q^3x)$ を満たす。
• 角度関係と曲率制約が満たされる限り、ある $x$ に対して接空間 $T_pM$ に直交する $q$-基底 $\{x, qx, q^2x, q^3x\}$ が存在する。
• 曲率テンソルは恒等式 $R(x,y,qz,qu) = R(x,y,z,u)$ を満たす。これは $q$ の等長性と循環構造の直接的結果である。
• $q$ が $\nabla$ に関して平行であるための必要十分条件は、$\mathrm{grad}\,A = (\mathrm{grad}\,C)q^2$ および $2\mathrm{grad}\,B = (\mathrm{grad}\,C)(q + q^3)$ である。これは計量成分の勾配を関係付ける偏微分方程式系である。
• 曲率恒等式 $R(x,y,qz,qu) = R(x,y,z,u)$ は、$q$ の平行性と同値である。これは可積分性条件 $R^a_{jkl}q_a^s = R^s_{akl}q_j^a$ と、$R$ の対称性の結果として示される。