[论文解读] Further studies on the notion of differentiable maps from Azumaya/matrix manifolds, I. The smooth case

Chien‐Hao Liu, Shing‐Tung Yau|arXiv (Cornell University)|Aug 10, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 4

一句话总结

本文建立了从 Azumaya/矩阵流形到光滑实流形的可微映射的两种定义之间的等价性：一种是通过 $C^k$-可接受的环同态定义，另一种是仅通过反变环同态定义，在光滑（$C^\infty$）情形下证明了该猜想。关键结果表明，在光滑设定下，D-膜的微分几何框架与代数几何设定完全平行，同时提出了在有限次可微情形下的广义 Malgrange 型除法引理猜想。

ABSTRACT

In this follow-up of our earlier two works D(11.1) (arXiv:1406.0929 [math.DG]) and D(11.2) (arXiv:1412.0771 [hep-th]) in the D-project, we study further the notion of a `differentiable map from an Azumaya/matrix manifold to a real manifold'. A conjecture is made that the notion of differentiable maps from Azumaya/matrix manifolds as defined in D(11.1) is equivalent to one defined through the contravariant ring-homomorphisms alone. A proof of this conjecture for the smooth (i.e. $C^{\infty}$) case is given in this note. Thus, at least in the smooth case, our setting for D-branes in the realm of differential geometry is completely parallel to that in the realm of algebraic geometry, cf.\ arXiv:0709.1515 [math.AG] and arXiv:0809.2121 [math.AG]. A related conjecture on such maps to ${\Bbb R}^n$, as a $C^k$-manifold, and its proof in the $C^{\infty}$ case is also given. As a by-product, a conjecture on a division lemma in the finitely differentiable case that generalizes the division lemma in the smooth case from Malgrange is given in the end, as well as other comments on the conjectures in the general $C^k$ case. We remark that there are similar conjectures in general and theorems in the smooth case for the fermionic/super generalization of the notion.

研究动机与目标

• 解决一个猜想：即通过 $C^k$-可接受的环同态定义的 Azumaya/矩阵流形到实流形的可微映射，与仅通过反变环同态定义的该概念是等价的。
• 在光滑（$C^\infty$）情形下具体证明这一等价性，从而将微分几何中的 D-膜框架与代数几何中的对应框架对齐。
• 提出并支持一个广义除法引理猜想，适用于有限次可微（$C^k$）情形，以推广 Malgrange 定理。
• 为该映射概念的费米子/超对称推广提供基础，预计在光滑情形下存在类似的猜想与定理。

提出的方法

• 通过将映射 $f(m)$ 的光滑性进行分析，其中 $m$ 是流形上的矩阵值函数，利用若尔当代数标准形和奇异点处的坐标框架变换来实现分解。
• 利用 Malgrange 除法定理证明像 $(f(x) - f(-x))/(2x)$ 这类表达式在 $x=0$ 处是光滑的，即使各个分量（例如框架）本身不连续。
• 该构造涉及向量丛 $E$ 的局部平凡化以及依赖于基坐标 $x$ 的过渡矩阵 $S$，以确保最终的矩阵表达式保持光滑。
• 证明利用了复合表达式 $S f(J_m) S^{-1}$ 虽然各部分不连续，但由于奇点的相互抵消而整体光滑的性质。
• 基于在 codimension-1 子概形的法向方向上的泰勒展开，提出一个关于 $C^k$ 情形的猜想，以推广 Malgrange 的除法引理。
• 将该框架应用于一个具体例子：在 $\mathbb{R}^1$ 上的矩阵值映射 $m = \begin{bmatrix} x & 1 \\ 0 & -x \end{bmatrix}$，表明尽管在 $x=0$ 处框架变换不连续，$f(m)$ 仍保持光滑。

实验结果

研究问题

• RQ1 从 Azumaya/矩阵流形到实流形的 $C^\infty$-可微映射的定义，是否与仅基于反变环同态的定义等价？
• RQ2 Malgrange 除法定理能否推广到 $C^k$-可微情形，以确保具有奇异框架的矩阵值函数的光滑性？
• RQ3 当若尔当代数标准形和框架变换在某点不连续时，矩阵值函数 $m$ 的 $f(m)$ 的光滑性是否仍然保持？
• RQ4 通过这种映射定义，能否在光滑微分几何设定中完整复现代数几何中 D-膜的框架？
• RQ5 当一个函数 $h$ 在某点处的导数在阶数 $s-1$ 之前全为零时，$C^k$-函数在 codimension-1 子概形存在的情形下，Malgrange 除法定理的适当推广是什么？

主要发现

• 在光滑情形下，证明了 $C^\infty$-可接受的环同态与反变环同态所定义的 Azumaya/矩阵流形到实流形的可微映射概念是等价的。
• 对于 $m = \begin{bmatrix} x & 1 \\ 0 & -x \end{bmatrix}$ 的映射 $f(m)$，尽管在 $x=0$ 处框架变换不连续，但由于表达式 $S f(J_m) S^{-1}$ 中的抵消作用，其在 $x=0$ 处仍保持光滑。
• 对于 $f \in C^\infty(\mathbb{R}^1)$，表达式 $(f(x) - f(-x))/(2x)$ 在 $x=0$ 处是光滑的，该结果通过 Malgrange 除法定理得以确立。
• 提出了一个关于 $C^k$ 情形的广义除法引理猜想：任意局部芽 $f \in C^k(\mathbb{R}^{m+1})_{(0)}$ 可表示为 $f = gh + \sum_{i=1}^s a_i y^{s-i}$，其中 $g \in C^k(\mathbb{R}^{m+1})_{(0)}$ 且 $a_i \in C^{k-i}(\mathbb{R}^m)_{(0)}$，在 $h$ 满足一定条件下成立。
• 该证明技术表明，$\tilde{\varphi}^\sharp(f)$ 在某点的光滑性仅依赖于局部芽，而 Malgrange 定理在中间分量无法直接保证光滑性时，是建立该性质的关键。
• 该框架在 D-膜的微分几何与代数几何设定之间提供了完全的平行，且光滑情形已得到完全解决。