[論文レビュー] Numerical properties of Koszul connections

Michel Nguiffo Boyom|arXiv (Cornell University)|Aug 3, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 5

ひとこと要約

本稿は、KV代数群、KVコhomology、双不変アフィンリー群の観点から、Koszul接続を分析するための新規フレームワークを導入し、新たな数値不変量を確立するとともに、局所平坦幾何、情報幾何、およびモジュライ空間と結びつける。中心的貢献は、局所平坦多様体における微分幾何的・位相的・情報理論的構造を統一する、最初の基本方程式 $FE^*(\nabla)$ の定式化と分析である。

ABSTRACT

We use the notation EX(S>M), EXF(S>M) and DL(S>M), where M is a smooth manifold and S is a geometric structure. EX(S>M) is the question whether S exists in M. EXF(S>M) is the question whether M admits S-foliations. DL(S>M) is the search of an invariant measuring how M is far from admitting S. For many major geometric structures, those questions are widly open. In this paper, we address EX(S>M), EXF(S>M) and DL(S>M) for affine structure and symplectic structure, left invariant affine structure, left invariant symplectic structure and bi-invariant riemanniann structure in Lie groups

研究の動機と目的

• KV代数群および双不変アフィンリー群を用いて、Koszul接続の体系的かつ代数的・幾何的枠組みを確立すること。
• 局所平坦幾何および情報幾何における統一的方程式として、最初の基本方程式 $FE^*(\nabla)$ の定義と分析を行うこと。
• コhomオロジカルおよびホモロジカル関手を通じて、Hessian欠損とシンプレクティックギャップなどの新たな数値不変量を構成すること。
• 基本群の標準的線形表現とゲージ構造を用いて、完全な局所平坦多様体のモジュライ空間を探索すること。
• Hessian幾何および情報幾何における未解決問題を解消し、AmariとGutsが提起した長年の問いに答えを提示すること。

提案手法

• 微分作用素のKoszul-Spencer複体を形式化し、Kuranishi-Spencer形式主義を用いて可積分性を研究する。
• 全確率密度 $p$ を備えた統計モデルの圏 $\mathcal{GM}(\Xi,\Omega)$ を導入し、$\Gamma$-不変構造を備える。
• 基本ゲージ方程式 $FE(\nabla\nabla^*)$ 及びその双対 $FE^*(\nabla)$ を定義し、それらをファイブレーションおよび測地的完全性と結びつける。
• Palais形式主義およびベクトル値コhomologyを用いて、対称的ゲージ構造および変形を分析する。
• Hochschild、Chevalley-Eilenberg、およびKVコhomologyの層を用いて、ゲージ構造のための新たな（コ）ホモロジカル関手を構成する。
• 最初の基本方程式の解から自然に生じる基本群の標準的アフィン表現を確立し、モジュライ空間の構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 最初の基本方程式 $FE^*(\nabla)$ は、どのように局所平坦多様体の測地的完全性を特徴付けることができるか？
• RQ2 $FE^*(\nabla)$ 方程式から生じる新たな数値不変量（例えばHessian欠損やシンプレクティックギャップ）とは何か？
• RQ3 Amariの関手は、情報幾何の文脈において基本群の標準的表現とどのように関係するか？
• RQ4 $\Gamma$-不変確率密度は、統計モデルのモジュライ空間を構成する上で果たす役割は何か？
• RQ5 最初の基本方程式は、AmariとGutsが提起したHessian幾何の未解決問題を解消できるか？

主な発見

• 最初の基本方程式 $FE^*(\nabla)$ は、測地的に完全かつ幾何学的に完全な局所平坦多様体を特徴付けるための標準的枠組みを提供する。
• Hessian欠損とシンプレクティックギャップは、$FE^*(\nabla)$ のコホモロジカル構造から導かれる新たな数値不変量として現れる。
• 完全な局所平坦多様体のモジュライ空間は、$\mathsf{m} = \mathsf{M}/\mathsf{G}$ として商として構成され、ここで $\mathsf{G}$ はモデルの自己同型群である。
• 全空間 $\mathcal{E}$ 上の確率密度 $p$ は、全空間に一様に定義されており、$\Gamma$-不変性を満たしており、ファイバー付きチャート間で一貫性が保たれる。
• 本理論はAmariとGutsの古くからの問いに答えを提示し、最初の基本方程式とRiemann多様体におけるHessian幾何との直接的な関係を確立した。
• 最初の基本方程式の解から自然に生じる基本群の標準的線形表現は、モジュライ空間の位相的不変量を提供する。