[论文解读] A Canonical Laplacian on the Algebra of Densities on a Projectively Connected Manifold

Jacob George|ArXiv.org|Sep 29, 2009

Advanced Operator Algebra Research参考文献 12被引用 3

一句话总结

本文在射影联络流形上的密度代数上构造了一个规范的二阶微分算子，称为拉普拉斯算子，使用固定权 $ \lambda $ 的张量密度 $ S^{ij} $。该构造将光滑函数上的对称双线性导子（括号）规范地推广到所有密度的代数，提供了一种广义已知结果的射影不变量化程序，适用于射影等变量化的推广。

ABSTRACT

On a manifold with a projective connection we canonically assign a second order differential operator acting on the algebra of all densities to any tensor density $S^{ij}$ of fixed weight $λ$. In particular, this implies that on any projectively connected manifold, a `bracket' (symmetric biderivation) on the algebra of functions extends canonically to the algebra of densities.

研究动机与目标

• 在射影联络流形上的密度代数上建立一个规范的二阶微分算子。
• 以射影不变的方式将光滑函数上的对称双线性导子（括号）扩展到所有密度的代数。
• 将射影等变量化的概念推广至任意固定权 $ \lambda $ 的张量密度。
• 将所构造的算子与射影等变量化中已知的公式（特别是 Bouarroudj, 2011 年的公式）进行比较。
• 探讨该构造在向量丛、超流形以及高阶算子上的推广可能性。

提出的方法

• 利用文献 [6] 中建立的射影类到实数主丛上线性联络的规范提升。
• 将所有密度的代数表示为该丛上光滑函数的子代数。
• 使用权为 $ \lambda $ 的张量密度 $ S^{ij} $，在密度代数上构造一个权为 $ \lambda $ 的二阶微分算子。
• 通过射影类系数 $ \Pi^{k}_{ij} $ 和 Thomas 的构造，利用丛上诱导联络定义射影拉普拉斯算子。
• 通过将张量密度 $ S^{ij} $ 与与全局密度 $ \rho $ 关联的联络一形式 $ \gamma_i = -\partial_i \log \rho $ 结合，推导出密度上的括号。
• 将所得算子与 Bouarroudj (2011) 所得射影等变量化中的显式公式进行比较，发现仅在 $ \lambda = 0 $ 情况下一致。

实验结果

研究问题

• RQ1 能否使用固定权 $ \lambda $ 的张量密度 $ S^{ij} $，在射影联络流形上的密度代数上定义一个规范的二阶微分算子？
• RQ2 如何以射影不变的方式，将光滑函数上的对称双线性导子（括号）规范地扩展到所有密度的代数？
• RQ3 所构造的拉普拉斯算子与已知的射影等变量化框架之间存在何种关系？
• RQ4 为何所构造的算子与 Bouarroudj (2011) 的结果在 $ \lambda $ 的共振值相同的情况下仍存在差异？
• RQ5 该构造能否推广至任意向量丛和超流形？

主要发现

• 使用任意权为 $ \lambda $ 的张量密度 $ S^{ij} $，在任意射影联络流形上，成功构造了一个权为 $ \lambda $ 的规范二阶微分算子，适用于密度代数。
• 该构造将 $ C^\infty(M) $ 上的任意对称双线性导子规范地扩展到所有密度的代数 $ \mathfrak{V}(M) $，并保持射影不变性。
• 所得算子在 $ \lambda = 0 $ 时与 Bouarroudj (2011) 的显式公式一致，但在一般情况下存在差异，尽管 $ \lambda $ 的共振值相同。
• 该算子属于由非零全局密度参数化的族，其结构依赖于由全局密度 $ \rho $ 导出的联络一形式 $ \gamma_i = -\partial_i \log \rho $。
• 该构造与 Thomas 构造及射影拉普拉斯算子相容，并为二阶射影等变量化提供了自然框架。
• 该方法为高阶推广以及在向量丛和超流形上的应用指明了方向，尽管这些方向目前仍为开放问题。