[論文レビュー] Special bases for derivations of tensor algebras. I. Cases in a neighborhood and at a point

Bozhidar Z. Iliev|ArXiv.org|Mar 29, 2003

Algebraic and Geometric Analysis参考文献 2被引用数 8

ひとこと要約

本稿は、微分可能多様体上のテンソル代数の任意の微分の成分が、近傍または1点において消えるような局所基底（正規または非正規）の存在に必要な十分条件を確立する。主な結果は、このような基底が存在するための必要十分条件が、微分の曲率および torsion が特定の代数的制約を満たすことである。重力理論における等価原理は、線形接続の構造に起因するため、数学的に同一に満たされることが示される。

ABSTRACT

Necessary and sufficient conditions are investigated for the existence of local bases in which the components of derivations of tensor algebras over differentiable manifold vanish in a neighborhood or only at a single point. The problem when these bases are holonomic or anholonomic is considered. Attention is paid to the case of linear connections. Relations of these problems with the equivalence principle are pointed out.

研究の動機と目的

• 微分の成分が近傍または1点において消えるような局所基底の存在に必要な十分条件を特定すること。
• 曲率および torsion の性質に基づいて、このような基底が正規か非正規かを分類すること。
• 線形接続に基づく重力理論における等価原理の数学的起源を明確にすること。
• 捩れのない接続に関する結果を、任意のテンソル代数の微分へ一般化すること。
• 等価原理が物理的仮説ではなく、線形接続構造に起因する数学的帰結であることを示すこと。

提案手法

• 微分 $ D_X = L_X + S_X $ の成分変換則を導出する。ここで $ L_X $ はリー微分、$ S_X $ は型-(1,1)のテンソル場である。
• $ W_X^i{}_j $ を $ D_X $ の成分と定義し、$ W_X^i{}_j = (S_X)^i{}_j - E_j(X^i) + C^i{}_{kj}X^k $ と表す。ここで $ C^i{}_{jk} $ は基底ベクトルの交換子から定義される。
• 基底の変更における $ W_X^i{}_j $ の変換挙動を分析し、$ X(A) $ を含むアフィン変換則が成り立つことを示し、接続の変換則を一般化する。
• 微分 $ D $ の曲率 $ R^D(X,Y) $ および torsion $ T^D(X,Y) $ を定義し、線形接続の概念を一般化する。
• 線形接続の場合、$ D_X $ が共変微分であるための条件として $ W_X^i{}_j = \Gamma^i{}_{jk}X^k $ を特定し、標準的接続理論と接続する。
• 接続成分の対称部分を用いて torsion がない接続 $ {}^s\nabla $ を定義し、正規座標に関する既知の結果の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 テンソル代数の微分の成分が、ある点の近傍で消えるような局所基底が存在する条件は何か？
• RQ2 このような基底が1点において存在する条件は何か？ その基底は正規か非正規か？
• RQ3 torsion の存在が、成分が消える正規基底の存在に与える影響は何か？
• RQ4 線形接続に基づく重力理論における等価原理の数学的根拠は何か？
• RQ5 等価原理は、微分の代数的構造の結果として理解できるのか？ 物理的仮説ではなく、数学的帰結として捉えられるか？

主な発見

• 曲率および torsion の制約を用いて、微分成分が消えるような局所基底の存在に必要な十分条件が導出された。
• 捩れのない線形接続に対しては、任意の点において微分成分が消える局所正規基底が存在し、正規座標の存在が裏付けられた。
• 非ゼロの torsion を持つ一般の線形接続に対しては、成分が消える正規基底は存在しないが、成分の対称部分はそのような基底で消えるようにできる。
• 曲率がゼロ（平坦）な線形接続は、1点だけでなく近傍においても成分が消える局所正規基底を有する。
• 等価原理は物理的原理ではなく、線形接続の構造に起因する数学的帰結である。なぜなら、そのような基底は、下位の代数的制約の結果として常に存在するからである。
• この形式的枠組みは重力理論を超えて一般化可能であり、線形接続に従う任意の物理理論への適用可能性を示唆している。