[论文解读] Numerical properties of Koszul connections

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

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

一句话总结

本文提出了一套新颖的框架，通过KV-代数群、KV上同调及双不变仿射李群的视角分析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)$，作为局部平坦几何与信息几何中的统一方程。
• 通过上同调与同调函子构造新的数值不变量，如Hessian缺陷与辛间隙。
• 通过基本群的典范线性表示与规范结构，探索完备局部平坦流形的模空间。
• 解决Hessian几何与信息几何中的开放问题，包括对Amari与Guts长期悬而未决问题的解答。

提出的方法

• 形式化微分算子的Koszul-Spencer复形，并应用Kuranishi-Spencer形式化方法研究可积性。
• 引入范畴 $\mathcal{GM}(\Xi,\Omega)$ 的统计模型，其具有全局概率密度 $p$，并配备 $\Gamma$-等变结构。
• 定义基本规范方程 $FE(\nabla\nabla^*)$ 及其对偶 $FE^*(\nabla)$，将其与叶状结构及测地完备性联系起来。
• 应用Palais形式化方法与向量值上同调，分析对称规范结构及其形变。
• 利用Hochschild、Chevalley-Eilenberg与KV上同调层，为规范结构构造新的（上）同调函子。
• 通过首个基本方程建立基本群的典范仿射表示，从而实现模空间的构造。

实验结果

研究问题

• RQ1 首个基本方程 $FE^*(\nabla)$ 如何用于表征局部平坦流形的几何完备性？
• RQ2 从 $FE^*(\nabla)$ 方程中涌现出的新型数值不变量（如Hessian缺陷与辛间隙）是什么？
• RQ3 Amari函子在信息几何背景下与基本群的典范表示之间有何关系？
• RQ4 $\Gamma$-等变概率密度在构造统计模型模空间中起什么作用？
• RQ5 首个基本方程能否解决Hessian几何中的开放问题，特别是Amari与Guts提出的问题？

主要发现

• 首个基本方程 $FE^*(\nabla)$ 为表征测地完备与几何完备的局部平坦流形提供了典范框架。
• Hessian缺陷与辛间隙作为新数值不变量，源自 $FE^*(\nabla)$ 的上同调结构。
• 完备局部平坦流形的模空间被构造为商空间 $\mathsf{m} = \mathsf{M}/\mathsf{G}$，其中 $\mathsf{G}$ 为模型的自同构群。
• 在全空间 $\mathcal{E}$ 上的概率密度 $p$ 是全局定义且 $\Gamma$-等变的，确保在纤维图之间的一致性。
• 本理论通过建立首个基本方程与黎曼流形中Hessian几何的直接联系，解决了Amari与Guts的一个长期问题。
• 基本群的典范线性表示自然源于 $FE^*(\nabla)$ 的解，为模空间提供了拓扑不变量。