[论文解读] Special bases for derivations of tensor algebras. III. Case along smooth maps with separable points of selfintersection

Bozhidar Z. Iliev|ArXiv.org|May 4, 2003

Advanced Differential Geometry Research参考文献 1被引用 4

一句话总结

本文建立了在微分流形的子流形上，使张量代数的导子分量消失的特殊基（可积或不可积基）存在的必要与充分条件，推广了此前针对点和路径的结果。关键贡献在于提出了一种类曲率条件（17），该条件决定了此类基的存在性，表明等效原理仅在曲率在维度 $ p \geq 2 $ 的子流形上消失时，作为线性联络的数学定理成立，而非在所有高维子流形中普遍有效。

ABSTRACT

Necessary and/or sufficient conditions are studied for the existence, uniqueness and holonomicity of bases in which on sufficiently general subsets of a differentiable manifold the components of derivations of the tensor algebra over it vanish. The linear connections and the equivalence principle are considered form that point of view.

研究动机与目标

• 将导子分量消失的基的存在性从点和路径推广至维度 $ p \geq 2 $ 的子流形。
• 在张量代数任意导子的背景下，确定此类基存在的必要与充分条件、唯一性及可积性。
• 澄清基于线性联络的引力理论中等效原理的数学表述及其有效范围。
• 表明等效原理在高维子流形中并非普遍成立，除非满足曲率条件（17）。

提出的方法

• 将张量代数的导子表示为 $ S $-导子 $ D_X = L_X + S_X $，其中 $ L_X $ 为李导数，$ S_X $ 为类型-(1,1)张量场。
• 推导在基变换下 $ D_X $ 的分量 $ (W_X)^i{}_j $ 的变换规律，导出矩阵方程 $ W' = A^{-1}[W A + X(A)] $。
• 引入一个与 $ p $-维子流形 $ \gamma(J^p) $ 相适应的坐标系 $ \{x^i_r\} $，并通过沿切向量场的协变导数定义类曲率量 $ R_{\alpha\beta} $。
• 分析在 $ \gamma(J^p) $ 上 $ R_{\alpha\beta} = 0 $ 的条件，证明该条件是存在分量 $ \Gamma_{k'} \mid_{\gamma(J^p)} = 0 $ 的基的必要与充分条件。
• 将该框架应用于线性联络，表明分量消失的条件成立当且仅当曲率条件（17）满足，推广了此前针对 $ p=0,1 $ 的结果。
• 利用挠率算子 $ T^D(X,Y) = D_X Y - D_Y X - [X,Y] $ 描述此类基可积的条件，表明可积性成立当且仅当挠率在 $ U $ 上消失。

实验结果

研究问题

• RQ1 在微分流形的 $ p $-维子流形上，何种条件下存在使张量代数导子分量消失的特殊基？
• RQ2 对于导子（特别是线性联络）在维度 $ p \geq 2 $ 的子流形上，此类基存在的数学条件是什么？
• RQ3 等效原理如何与局部基中连接分量的消失相关联？其在何种几何条件下成立？
• RQ4 此类基是否可积？若可积，对导子挠率需满足何种条件？
• RQ5 等效原理在基于线性联络的引力理论中是否普遍成立？是否存在几何障碍？

主要发现

• 在 $ p $-维子流形 $ \gamma(J^p) $ 上，存在使导子分量消失的基的必要与充分条件是：通过沿切向量场的协变导数定义的类曲率量 $ R_{\alpha\beta} $ 在 $ \gamma(J^p) $ 上恒为零。
• 当 $ p=0 $（一个点）或 $ p=1 $（一条光滑路径）时，条件 $ R_{\alpha\beta} = 0 $ 自动满足，因此此类基始终存在，与早期结果一致。
• 当 $ p = n = \dim(M) $ 时，该条件退化为全曲率张量消失，意味着此类基存在当且仅当联络是平坦的，与先前工作结果一致。
• 若某线性联络在集合 $ U $ 上存在分量消失的基，则所有此类基通过在 $ U $ 上作用于相应基向量的矩阵为常数的线性变换相互关联。
• 此类基在 $ U $ 上可积当且仅当导子的挠率在 $ U $ 上消失，从而将可积性与挠率的缺失联系起来。
• 等效原理在基于线性联络的引力理论中并非普遍成立；它仅在点或路径上恒成立，且仅当曲率在维度 $ \geq 2 $ 的子流形上消失时成立。