[论文解读] Specific PDEs for Preserved Quantities in Geometry. III. 1-d Projective Transformations and Subgroups

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

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

一句话总结

本文通过求解射影变换对称性生成元所导出的特定偏微分方程（PDE），推导出一维射影几何中的保持量。它识别出在特殊射影变换下，倒数之差为不变量；在特殊射影变换与缩放对称性联合作用下，倒数之差的比值为不变量。最终证明，完整的1D射影不变量是交比的光滑函数，从而为交比提供了新解释：交比同时是差值之比与倒数之差。

ABSTRACT

We extend finding geometrically-significant preserved quantities by solving specific PDEs to 1-$d$ projective 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 extending the comparative study of Background Independence level-by-level in mathematical structure to include projective structure. Full 1-$d$ projective invariants are well-known to be cross-ratios. We moreover rederive this fact as the unique solution of 1-$d$ projective geometry's preserved equation PDE system. We also provide the preserved quantities for the 1-$d$ geometries whose only transformations are 1) special-projective transformations $Q$, giving differences of reciprocals. 2) $Q$ alongside dilations $D$, now giving ratios of difference of reciprocals. This analysis moreover firstly points to a new interpretation of cross-ratio: those ratios of differences that are concurrently differences of reciprocals, and secondly motivates 1) and 2) as corresponding to bona fide and distinctive Geometries.

研究动机与目标

• 通过与对称性生成元相关的PDE，系统地推导1D射影几何中具有几何意义的保持量。
• 证明特殊射影群 $ Q $ 的保持量为倒数之差，与平移不变几何中仅有的坐标差不同。
• 分析 $ Q $ 与 $ D $（缩放）对称性群的联合作用，证明其保持量为倒数之差的比值，与缩放对称下通常的差值之比不同。
• 通过求解完整PDE系统的自由特征问题，确立1D射影不变量唯一为交比的光滑函数。
• 提出对交比的新解释：其函数依赖关系同时体现为差值之比与倒数之差。

提出的方法

• 求解1D中特殊射影生成元 $ Q = x^2 \frac{d}{dx} $ 对应的保持方程PDE系统 $ \sum_{I=1}^{N} q^{I2} \partial_{q^I} \mathbf{Q} = 0 $。
• 应用自由特征问题方法，求解仅含 $ Q $ 和含 $ Q $ 与 $ D $ 的对称性群的PDE系统。
• 使用部分分式积分法推导特征变量并消除时间参数，从而导出交比表达式。
• 推导出交比为 $ \mathbf{Q} = \mathbf{Q}\left( \frac{(q^N - q^{\bar{n}})(q^n - q^{\widetilde{r}})}{(q^n - q^{\bar{n}})(q^N - q^{\widetilde{r}})} \right) $，并证明其为唯一解。
• 比较生成元（$ Q $ 与 $ P $）及其保持量的表示，论证尽管自同构群同构，但其几何本质不同。
• 建立对称性生成元格与保持量格之间的对偶性，支持几何中更广泛的背景无关性框架。

实验结果

研究问题

• RQ1 在1D特殊射影变换群 $ Q $ 下，保持量是什么？它们与平移群的保持量有何不同？
• RQ2 当特殊射影群 $ Q $ 与缩放群 $ D $ 联合时，保持量如何变化？其函数形式为何？
• RQ3 1D射影不变量的唯一函数形式是什么？它如何从完整射影对称群的PDE系统中推导得出？
• RQ4 如何将交比重新解释为同时是差值之比与倒数之差的量？
• RQ5 尽管自同构群同构，但不同表示的对称性生成元是否会产生不同的几何不变量？这对几何分类有何启示？

主要发现

• 在仅含 $ Q $ 群的1D情形下，保持量为倒数之差的合适光滑函数，与平移对称下保持的坐标差不同。
• 当 $ Q $ 与 $ D $ 同时存在时，保持量为倒数之差的比值的光滑函数，与缩放对称下保持的差值之比不同。
• 完整的1D射影不变量被唯一确定为交比的光滑函数，其推导基于PDE系统自由特征问题的解。
• 交比作为唯一满足差值之比与倒数之差双重函数依赖关系的不变表达式浮现出来。
• 分析表明，尽管自同构群同构，$ P $-Iso-Tr(1) 与 $ P $-Para-Dilatat(1) 几何与欧氏几何及相似几何不同，原因在于生成元表示与保持量的差异。
• 推导出的交比表达式为 $ \mathbf{Q} = \mathbf{Q}\left( \frac{(q^N - q^{\bar{n}})(q^n - q^{\widetilde{r}})}{(q^n - q^{\bar{n}})(q^N - q^{\widetilde{r}})} \right) $，对 $ N \geq 4 $ 有效，确认其作为所有1D射影不变量基础的作用。