[論文レビュー] 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.

研究の動機と目的

• 埋め込まれた曲面の主要な幾何的不変量（例えばガウス曲率や平均曲率）が、滑らかな関数上のポアソン代数的構造のみを用いて表現可能であることを示すこと。
• ポアソン括弧を用いて座標に依存しない代数的表現を提供し、行列モデルにおける直接的な正則化を可能にすること。
• 古典的微分幾何学の公式（例えばウェイングルテンおよびガウスの公式）をポアソン代数的恒等式へ一般化すること。
• 関数代数を行列代数に置き換えることによるポアソン括弧を用いた膜理論の正則化フレームワークを確立すること。
• 反対称テンソルの縮約およびポアソン括弧を用いて、曲率および法バンドル構造の明示的かつ代数的表現を導出すること。

提案手法

• 埋め込み曲面上の滑らかな関数の空間に、誘導された計量および面積形式を用いてポアソン括弧を定義する：$\{f,h\} = \frac{1}{\sqrt{g}}(\partial_1 f \partial_2 h - \partial_1 h \partial_2 f)$。
• ガウスおよびウェイングルテンの公式を用いて、周囲多様体の接続と曲面上の内面的および法線接続を関係づける。
• 正規基底を用いた法線バンドルへの射影作用素 $\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$ であり、量子化の下でも代数的幾何が保存される。
• ポアソン括弧による曲率の公式は再パrametrizationに対して不変であり、任意の余次元で有効であり、$\mathbb{R}^3$ における既知の結果を一般化している。