[論文レビュー] Discrete connections on the triangulated manifolds and difference linear equations

S. P. Novikov|ArXiv.org|Mar 13, 2003

Molecular spectroscopy and chirality被引用数 4

ひとこと要約

本稿は、1次差分方程式に基づく非標準的離散化を用いて、三角形分割された $n$-多様体上の $GL_n$-接続のための離散微分幾何学的枠組みを構築する。フレーム付きアーベル接続表現—ゲージ不変係数 $\rho_{ij}^{TT'}$ とホロノミー不変量 $\mu(\gamma_k)$ で記述される—が、アーベルゲージ変換を除いて離散接続を完全に決定することを確立し、$n \geq 2$ に対して完全な再構成手順を提供する。主たる貢献は、トポロジー的およびホロノミー的データから離散 $GL_n$-接続を再構成するための必要十分条件の集合を特定することにある。

ABSTRACT

Following the previous authors works (joint with I.A.Dynnikov) we develop a theory of the discrete analogs of the differential-geometrical (DG) connections in the triangulated manifolds. We study a nonstandard discretization based on the interpretation of DG Connection as linear first order (''triangle'') difference equation acting on the scalar functions of vertices in any simplicial manifold. This theory appeared as a by-product of the new type of discretization of the special Completely Integrable Systems, such as the famous 2D Toda Lattice and corresponding 2D stationary Schrodinger operators. A nonstandard discretization of the 2D Complex Analysis based on these ideas was developed in our recent work closely connected with this one. A complete classification theory is constructed here for the Discrete DG Connections based on the mixture of the abelian and nonabelian features.

研究の動機と目的

• 三角形分割された $n$-多様体上における微分幾何学的 $GL_n$-接続の離散版を、1次差分方程式に基づく非標準的離散化を用いて開発すること。
• ゲージ不変係数 $\rho_{ij}^{TT'}$ を用いてアーベル的および非アーベル的特徴を統合することで、離散DG接続を分類すること。
• 逆問題を解くこと：最小限のゲージ不変データから、完全な離散接続が再構成可能かどうかを特定すること。
• アーベルゲージ変換を除いて離散 $GL_n$-接続を完全に特徴づけるために必要な、完全な不変量の集合—$\rho_{ij}^{TT'}$ と $\mu(\gamma_k)$—を確立すること。
• 2次元および3次元から任意の $n \geq 2$ 多様体へと、ホモロジー代数およびコチェーン複体技術を用いて再構成手順を一般化すること。

提案手法

• 頂点-単体ペアに割り当てられた係数 $b_{T:P}$ を用いて離散DG接続を定義し、頂点関数に作用する1次差分作用素 $Q$ を導出する。
• 隣接する $n$-単体が辺 $[ij]$ を共有する場合に、$\rho_{ij}^{TT'} = \mu_{ij}^T \mu_{ji}^{T'}$ として定義されるゲージ不変量を導入し、Poincaré双対セル複体における1-コサイクルを形成する。
• 各辺 $ij$ のスターセット $St(ij)$ を用いて、定数 $\delta_{ij}$ を除いて局所的接続係数 $\mu_{ij}^T$ を解き、$H^1(St(ij), \mathbb{C}^*) = 1$ の性質により可解性を保証する。
• 2単体 $\Delta = [ijl]$ 上で、$\rho_{ij}^{TT'}$ データから2次コチェーン $\tilde{\mu}[\Delta]$ を構成し、それが閉じた乗法的コサイクルであることを証明する。
• 双対複体内の閉路に由来するホモロジー関係を用いて、2次コチェーン $\tilde{\mu}[\Delta]$ が正確であることを証明し、グローバル再構成の整合性を保証する。
• アーベルゲージ自由度を調整する $\delta$ を用いて、元の接続を $\mu_{ij}^T = \delta_{ji} \tilde{\mu}_{ij}^T$ として再構成する。ここで $\delta$ は $d\delta = \tilde{\mu}[\Delta]$ を満たす。

実験結果

リサーチクエスチョン

• RQ1 隣接する $n$-単体が $(n-1)$-面を共有する場合に、関連する最小限のゲージ不変係数 $\rho_{ij}^{TT'}$ の集合から、完全な離散 $GL_n$-接続を再構成可能か？
• RQ2 $\rho_{ij}^{TT'}$ 以外に、離散接続を完全に決定するために必要な追加のトポロジカル不変量は何か？ それらはどのように符号化されるか？
• RQ3 閉路 $\gamma$ 沿いの積 $\mu(\gamma) = \prod \mu_{l,l+1}^{T_l}$ で定義されるフレーム付きアーベルホロノミー表現は、アーベルゲージ変換を除いて離散接続を再構成するのに十分か？
• RQ4 $\rho_{ij}^{TT'}$ とホロノミー不変量 $\mu(\gamma_k)$ 間の関係は、特にホモロジー群を反映して、三角形分割多様体のトポロジーをどのように反映するか？
• RQ5 2次元および3次元から任意の $n \geq 2$ に一般化可能な再構成手順は、コhomologicalな議論を用いて可能か？

主な発見

• $n \geq 2$ である任意の三角形分割 $n$-多様体上において、ゲージ不変係数 $\rho_{ij}^{TT'}$ とホロノミー不変量 $\mu(\gamma_k)$ の集合は、離散 $GL_n$-接続を再構成するための完全かつ必要十分な不変量の集合である。
• 2単体上に定義された2次コチェーン $\tilde{\mu}[\Delta]$ は閉じた乗法的コサイクルであり、その正確性により再構成プロセスのグローバル整合性が保証される。
• $\mu_{ij}^T$ の再構成は、閉じた1-コサイクルによってパrameter化されるアーベルゲージ自由度を除いて一意的である。
• コンパクトかつ向き付け可能な2次元多様体では、非自明な関係は $\prod_{[ij] \in M} \rho_{ij}^{TT'} = 1$ のみであり、これはグローバルな向きと境界構造を反映している。
• $n \geq 3$ の場合、再構成は各辺のスターセット内での方程式系 $\rho_{ij}^{TT'} = \tilde{\mu}_{ij}^T \tilde{\mu}_{ji}^{T'}$ の可解性に依存し、$H^1(St(ij), \mathbb{C}^*) = 1$ の性質により保証される。
• 一意性定理が成り立つ：フレーム付きアーベルホロノミー表現は、アーベルゲージ変換を除いて離散 $GL_n$-接続を一意に決定する。全条件の集合は、必要かつ十分である。