[論文レビュー] The Riemann-Lanczos Problem as an Exterior Differential System with Examples in 4 and 5 Dimensions

Patrick Dolan, A. Gerber|ArXiv.org|Dec 12, 2002

Quantum chaos and dynamical systems参考文献 21被引用数 3

ひとこと要約

本稿は、外部微分系（EDS）を用いて4次元および5次元時空におけるリーマン＝ランツォス問題を調査し、それが包絡性を満たさないため、正則解ではなく特異解しか持たないことを示している。ゲーデル、カスナー、デベール＝フーボー時空に対して、そのような解の明示的例を提示し、特異ポテンシャルが対称性を継承できることを示している。また、5次元における非包絡的構造をカルタンの特性数および延長技術を用いて分析している。

ABSTRACT

The key problem of the theory of exterior differential systems (EDS) is to decide whether or not a system is in involution. The special case of EDSs generated by one-forms (Pfaffian systems) can be adequately illustrated by a 2-dimensional example. In 4 dimensions two such problems arise in a natural way, namely, the Riemann-Lanczos and the Weyl-Lanczos problems. It is known from the work of Bampi and Caviglia that the Weyl-Lanczos problem is always in involution in both 4 and 5 dimensions but that the Riemann-Lanczos problem fails to be in involution even for 4 dimensions. However, singular solutions of it can be found. We give examples of singular solutions for the Goedel, Kasner and Debever-Hubaut spacetimes. It is even possible that the singular solution can inherit the spacetime symmetries as in the Debever-Hubaut case. We comment on the Riemann-Lanczos problem in 5 dimensions which is neither in involution nor does it admit a 5-dimensional involution of Vessiot vector fields in the generic case.

研究の動機と目的

• 外部微分系（EDS）の枠組みを用いて、4次元および5次元におけるリーマン＝ランツォス問題を分析すること。
• 関連するウェイリ＝ランツォス問題が包絡的であることが知られているのに対し、リーマン＝ランツォス系が包絡的であるかどうかを同定すること。
• ゲーデル、カスナー、デベール＝フーボー時空を含む特定の時空において、リーマン＝ランツォス方程式の明示的特異解を構成すること。
• 特異解が、デベール＝フーボーの場合に見られるように、元の時空の等長対称性を継承できるかどうかを調査すること。
• 特に一般の場合に5次元におけるリーマン＝ランツォス問題の構造を調査し、ベッショ・ベクトル場の5次元包絡的構造が存在するか否かを検討すること。

提案手法

• リーマン＝ランツォス問題を、$ f^{(R)}_{abcd} := R_{abcd} - L_{abc;d} + L_{abd;c} - L_{cda;b} + L_{cdb;a} = 0 $ で定義される外部微分系（EDS）として定式化し、$ L_{abc} $ が添え字の対称性 $ L_{[ab]c} = L_{abc} $ および $ L_{[abc]} = 0 $ を満たすことを仮定する。
• カルタンのEDS理論、特に包絡性およびカルタンの特性数の概念を用いて、系の可積分性を評価する。
• 第二カルタン＝カーラー存在定理を用いて積分多様体の存在を分析し、標準形座標および所定の初期データに依存する。
• 計算代数（REDUCEコード）を用いて、特にカスナー時空において特異解の定数を解き、リーマン＝ランツォス方程式から導かれる制約条件を用いる。
• バムピとカヴィリアの手法に従い、リーマン＝ランツォス系を2階にまで延長することで、包絡性が達成可能かどうかを評価する。
• リーマン＝ランツォス系とウェイリ＝ランツォス問題の構造を比較し、後者は常に包絡的である一方、前者は4次元でも包絡的でないことを指摘する。

実験結果

リサーチクエスチョン

• RQ1 リーマン＝ランツォス問題は4次元および5次元において包絡的であるか。その結果、正則解の存在にどのような影響を及えるか。
• RQ2 ゲーデル、カスナー、デベール＝フーボーといった特定の時空において、リーマン＝ランツォス問題の特異解を構成できるか。
• RQ3 リーマン＝ランツォス問題の特異解は、デベール＝フーボーの場合に観察されたように、元の時空の等長対称性を継承できるか。
• RQ4 特に一般の場合に、5次元におけるリーマン＝ランツォス系の構造、特にベッショ・ベクトル場の5次元包絡的構造の存在について。
• RQ5 カルタンの特性数および第二カルタン＝カーラー定理はリーマン＝ランツォス問題にどのように適用可能か。また、解に含まれる任意関数の数について何を明らかにするか。

主な発見

• リーマン＝ランツォス問題は4次元において包絡的でないため、正則解の存在が排除され、特異解の使用が不可避である。
• ゲーデル、カスナー、デベール＝フーボー時空において、リーマン＝ランツォス問題の特異解が存在する。特に、後者の場合、ポテンシャルが対称性を継承できることを示している。
• 5次元においては、リーマン＝ランツォス問題は包絡的ではなく、一般の場合にベッショ・ベクトル場の5次元包絡的構造も存在しない。
• ウェイリ＝ランツォス問題は、4次元および5次元の両方において常に包絡的であるのに対し、リーマン＝ランツォス問題はそうではない。
• 微分的ゲージ条件 $ L_{ab}^{ ext{ }s};s = 0 $ は、ウェイリ＝ランツォス問題およびリーマン＝ランツォス問題の両方において、解の存在・非存在に影響を及えない。
• カスナー時空において、REDUCEコードを用いて、$ p_1 + p_2 + p_3 = 1 $ および $ p_1^2 + p_2^2 + p_3^2 = 1 $ を満たすカスナーパラメータ $ p_1, p_2, p_3 $ の関数として $ C_1, C_2, C_3 $ が計算され、特異解の定数の明示的表現が得られている。