[论文解读] Champs de vecteurs et formes différentielles sur une variété des points proches

Basile Guy Richard Bossoto, Eugène Okassa|arXiv (Cornell University)|Oct 18, 2010

Advanced Topics in Algebra参考文献 8被引用 6

一句话总结

本文提出了一套关于光滑流形 $M$ 及其局部代数 $A$（依安德烈·韦伊之定义）所关联的近点流形 $M^A$ 上向量场与微分形式的新框架。研究证明了向量场模 $\mathfrak{X}(M^A)$ 在 $A$ 上构成一个李代数，并发展了 $A$-微分形式的上同调理论，表明 $M^A$ 的 $d^A$-上同调同构于 $A \otimes H_{\text{dR}}^p(M)$，从而将德拉姆上同调推广至无穷小邻域的语境。

ABSTRACT

Let M be a smooth manifold, A a local algebra in sense of André Weil, M^{A} the manifold of near points on M of kind A and X(M^{A}) the module of vector fields on M^{A}. We give a new definition of vector fields on M^{A} and we show that X(M^{A}) is a Lie algebra over A. We study the cohomology of A-differential forms.

研究动机与目标

• 通过局部代数 $A$ 上的导子重新定义近点流形 $M^A$ 上的向量场。
• 证明 $M^A$ 上向量场模 $\mathfrak{X}(M^A)$ 在 $A$ 上自然地具有李代数结构。
• 在 $M^A$ 上发展 $A$-微分形式的上同调理论，并将其与 $M$ 的经典德拉姆上同调联系起来。

提出的方法

• 将 $M^A$ 上的向量场定义为满足莱布尼茨法则 $v(fg) = v(f)\cdot g^A(\xi) + f^A(\xi)\cdot v(g)$ 的 $\mathbb{R}$-线性导子 $v: C^\infty(M) \to A$，在每个 $\xi \in M^A$ 处成立。
• 通过构造 $T_\xi M^A$ 与 $A$-模 $\text{Der}_\xi[C^\infty(M), A]$ 之间的同构，为 $T_\xi M^A$ 赋予 $A$-模结构。
• 通过映射 $\gamma: C^\infty(M) \to A \otimes C^\infty(M^A)$ 拉回 $M$ 上的微分形式，定义 $M^A$ 上的 $A$-微分形式，并将外微分 $d$ 扩展为 $\Lambda(M^A, A)$ 上的 $A$-线性算子 $d^A$。
• 利用同构 $\sigma: C^\infty(M^A, A) \to A \otimes C^\infty(M^A)$，将 $M^A$ 上的 $A$-值光滑函数识别为 $C^\infty(M^A)$ 上的 $A$-张量。
• 证明对所有 $\omega \in \Lambda(M)$，有 $d^A(\omega^A) = (d\omega)^A$，确保微分与 $A$-结构相容。
• 证明 $M^A$ 的 $d^A$-上同调在自然意义下同构于 $A \otimes H_{\text{dR}}^p(M)$，特别地，当 $M^A$ 连通时，有 $H^0(M^A, A) \cong A$。

实验结果

研究问题

• RQ1 如何通过局部代数 $A$ 上的导子重新定义近点流形 $M^A$ 上的向量场？
• RQ2 $M^A$ 上向量场模 $\mathfrak{X}(M^A)$ 在 $A$ 上继承了何种代数结构？
• RQ3 如何将 $M$ 上的外微分扩展为 $M^A$ 上 $A$-值微分形式的微分算子 $d^A$？
• RQ4 $M^A$ 的 $d^A$-上同调与 $M$ 的经典德拉姆上同调之间有何关系？
• RQ5 在何种条件下，$M^A$ 的 $d^A$-上同调能恢复 $M$ 的德拉姆上同调与 $A$ 的张量积？

主要发现

• $M^A$ 上向量场模 $\mathfrak{X}(M^A)$ 被证明是在局部代数 $A$ 上的李代数，其李括积由导子的交换子诱导。
• $M^A$ 的 $d^A$-上同调同构于 $A \otimes H_{\text{dR}}^p(M)$，意味着 $M^A$ 上 $A$-微分形式的上同调恢复了 $M$ 的德拉姆上同调与 $A$ 的张量积。
• 当 $M^A$ 连通时，零阶上同调群 $H^0(M^A, A)$ 在自然意义下同构于 $A$，推广了经典结果 $H^0(M, \mathbb{R}) \cong \mathbb{R}$。
• 从 $\Lambda(M)$ 到 $\Lambda(M^A, A)$ 的拉回映射 $\omega \mapsto \omega^A$ 是一个保持分次 $\mathbb{R}$-代数结构的同态，并满足 $d^A(\omega^A) = (d\omega)^A$，即与外微分相容。
• 通过同构 $\sigma$ 实现的识别 $C^\infty(M^A, A) \cong A \otimes C^\infty(M^A)$，使得 $C^\infty(M)$ 上导子的 $A$-模结构可转移至 $M^A$ 上的向量场，从而实现 $A$-李代数结构的构造。
• 该构造与 $A$ 中基的选择无关，确保 $\mathfrak{X}(M^A)$ 上的 $A$-模结构是良定义且内在的。