[论文解读] Specific PDEs for Preserved Quantities in Geometry. II. Affine Transformations and Subgroups

Edward Anderson|arXiv (Cornell University)|Sep 6, 2018

Advanced Topics in Algebra参考文献 22被引用 7

一句话总结

本文将几何显著守恒量（特定偏微分方程的解）的系统推导方法从相似几何推广至d维空间中的仿射变换及其子群。通过流方法求解特征PDE，识别出关系d-体积的最高形式比值为基本不变量，利用微分形式将二维叉积和三维数量三重积推广至任意维度。

ABSTRACT

We extend finding geometrically-significant preserved quantities by solving specific PDEs to the affine transformations and subgroups. This can be viewed not only as a purely geometrical problem but also as a subcase of finding physical observables, and furthermore as part of the comparative study of Background Independence level-by-level in mathematical structure. While cross and scalar-triple products (combined with differences and ratios) suffice to formulate these preserved quantities in 2- and 3-$d$ respectively, the arbitrary-dimensional generalization evokes the theory of forms. The affine preserved quantities are ratios of $d$-volume forms of differences, $d$-volume forms being the `top forms' supported by dimension $d$, and referring moreover to $d$-volumes of relationally-defined subsystems.

研究动机与目标

• 通过偏微分方程系统推导d维空间中仿射几何及其子群（SL(d,R)、GL(d,R)、Equi(d)）的守恒量。
• 将几何显著不变量的框架从相似几何（论文I）扩展至更广泛的仿射群。
• 确立d-体积形式（最高形式）的比值为仿射几何中的基本不变量，推广低维构造。
• 将这些不变量与形状理论、N体问题中的可观测量以及理论物理中的背景独立性相联系。
• 通过守恒量的对偶有界格，为几何子群提供统一的守恒量框架。

提出的方法

• 使用流方法求解特定PDE（特征问题），推导在仿射变换下保持不变的量。
• 将该方法应用于四个关键子群：SL(d,R)、GL(d,R)、Equi(d) 和 Aff(d)，每个子群对应不同的PDE系统。
• 利用流方法将PDE约化为常微分方程系统，通过特征坐标（如2D中的x·y、x²−y²）求解。
• 通过微分几何将二维叉积和三维数量三重积推广至d维的最高形式（d-体积形式）。
• 采用紧凑的符号记法（包括使用∧表示最高形式），在守恒量的对偶有界格中表示不变量。
• 通过相容性方程组合解，特别是将SL(d,R)不变量（最高形式）与GL(d,R)不变量（比值）相联系。

实验结果

研究问题

• RQ1 在d维空间中，仿射群及其子群下的几何显著守恒量是什么？
• RQ2 关系d-体积的最高形式比值如何作为仿射几何中的不变量，推广低维构造？
• RQ3 在d维空间中，非平凡仿射不变量所需的最少点数（N）是多少？这与几何复杂性的关系如何？
• RQ4 这些守恒量如何与N体问题中的可观测量及量子引力中的背景独立性相关？
• RQ5 仿射几何中的不变量如何通过与交比的相容性与射影不变量相联系？

主要发现

• 仿射几何的守恒量是关系子系统d-体积形式（最高形式）的比值，推广了二维面积和三维体积。
• 对于SL(d,R)，守恒量是d-体积形式（最高形式）的函数，通过流方法求解PDE得到。
• 对于GL(d,R)，守恒量是d-体积的比值，对应零次欧拉齐次函数。
• 非平凡仿射不变量所需的最少点数为N = d+2，对应首个超卡森对角线。
• 三维五体问题是完整仿射内容的最小非平凡情形，支持关系d-体积比值。
• 该框架将不同几何子群的不变量统一为一个对偶有界格，其中最高形式比值是位于格底端的最基本不变量。