[论文解读] On the classical geometry of embedded surfaces in terms of Poisson brackets

Joakim Arnlind, Jens Hoppe+1 more|arXiv (Cornell University)|Jan 11, 2010

Geometric Analysis and Curvature Flows参考文献 1被引用 7

一句话总结

本文证明了嵌入黎曼流形中的曲面的经典微分几何可被完全编码为由光滑函数上的泊松括号导出的代数结构。通过将高斯曲率、平均曲率及复结构等几何量用嵌入坐标与法向量的泊松括号表示，作者提供了曲面几何的坐标无关代数形式，推导出在欧几里得空间及一般黎曼环境流形中曲面的显式公式。

ABSTRACT

We consider surfaces embedded in a Riemannian manifold of arbitrary dimension and prove that many aspects of their differential geometry can be expressed in terms of a Poisson algebraic structure on the space of smooth functions of the surface. In particular, we find algebraic formulas for Weingarten's equations, the complex structure and the Gaussian curvature.

研究动机与目标

• 证明嵌入曲面的关键几何不变量（如高斯曲率与平均曲率）可完全用光滑函数上的泊松代数结构表示。
• 使用泊松括号提供曲面几何的坐标无关代数形式，实现矩阵模型中的直接正则化。
• 将经典微分几何公式（如魏ingtarten与高斯方程）推广为泊松代数恒等式。
• 建立通过泊松括号将函数代数替换为矩阵代数的膜理论正则化框架。
• 利用反对称张量缩并与泊松括号，推导出曲率与法丛结构的显式代数表达式。

提出的方法

• 通过诱导度量与面积形式在曲面上光滑函数空间上定义泊松括号：$\{f,h\} = \frac{1}{\sqrt{g}}(\partial_1 f \partial_2 h - \partial_1 h \partial_2 f)$。
• 利用高斯与魏ingtarten方程，将环境流形的联络与曲面上的内蕴联络及法向联络关联。
• 利用法向量的正交基与泊松括号构造投影算子 $\mathcal{Z}$ 到法丛。
• 通过嵌入坐标与法向分量的泊松括号缩并，推导出高斯曲率 $K$ 的代数表达式：$K = -\frac{1}{2}\sum_{i,j=1}^m \{x^i, n^j\}\{x^j, n^i\}$。
• 应用张量恒等式与反对称缩并（如 $\varepsilon_{ijklI}$），将曲率表示为坐标泊松括号的嵌套形式。
• 采用矩阵正则化框架：将函数映射为矩阵，使泊松括号对应换位子，从而实现膜动力学的量子化。

实验结果

研究问题

• RQ1 能否仅通过光滑函数上的代数运算（特别是泊松括号）完全重构嵌入曲面的整个经典微分几何？
• RQ2 高斯曲率与平均曲率等几何不变量如何表示为嵌入坐标与法向量泊松括号的代数组合？
• RQ3 法丛结构在代数化曲率与复结构中的作用是什么？
• RQ4 泊松代数形式能否在膜理论所需的条件下一致地正则化为矩阵模型？
• RQ5 表达曲率所需的代数恒等式（如张量缩并、反对称化）有哪些？

主要发现

• 嵌入 $\mathbb{R}^m$ 中的曲面的高斯曲率由代数公式给出：$K = -\frac{\rho^4}{8g^2(p-1)!} \sum \varepsilon_{jklI}\varepsilon_{imnI} \{x^i, \{x^k, x^l\}\} \{x^j, \{x^m, x^n\}\}$，其中 $\rho^2 = \det(g_{ab})$。
• 平均曲率向量表示为：$H = \frac{\rho^4}{8g^2(p-1)!} \sum \varepsilon_{iklI}\varepsilon_{k'mnI} \{x^i, x^j\} \{x^j, \{x^k, x^l\}\} \{x^m, x^n\} \partial_{k'}$。
• 曲面上的复结构通过泊松括号与面积形式代数编码，算子 $\mathcal{Z}$ 投影到法丛。
• 正交法向量 $\hat{N}_I$ 是投影算子 $\mathcal{Z}$ 的本征态，对应本征值 0 或 1，且恰好 $p$ 个非零，构成 $T\Sigma^\perp$ 的基。
• 泊松括号结构允许一致的矩阵正则化：$\lim_{N\to\infty} ||N[T^{(N)}(f), T^{(N)}(g)] - i T^{(N)}(\{f,g\})|| = 0$，在量化下保持代数几何不变。
• 通过泊松括号表达曲率的公式在重参数化下不变，且在任意余维下成立，推广了 $\mathbb{R}^3$ 中的已知结果。