[论文解读] Specific PDEs for Preserved Quantities in Geometry. I. Similarities and Subgroups

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

Advanced Topics in Algebra参考文献 24被引用 13

一句话总结

本文为具有结构 $\langle\mathfrak{M}, \sigma\rangle$ 的流形中的几何不变量 $Q$ 建立了特定的偏微分方程（PDE），在约束系统中建立了与物理可观测量 $O$ 的联系。证明了 $Q$ 与 $O$ 在李括号/泊松括号下形成封闭代数，且多重对称性导致的超定 PDE 系统始终可积——为几何基础提供了新的‘第七支柱’，并为背景无关物理中的可观测量提供了具体理论。

ABSTRACT

We provide specific PDEs for preserved quantities $Q$ in Geometry, as well as a bridge between this and specific PDEs for observables $O$ in Physics. We furthermore prove versions of four other theorems either side of this bridge: the below enumerated sentences. For the generic geometry - in the sense of it possessing no generalized Killing vectors, i.e.\ continuous geometrical automorphisms - the $P$ form a smooth space of free functions over said geometry. If a geometry possesses the corresponding type of Killing vectors, the $P$ must Lie-brackets commute with `sums-over-points of the automorphism generators', $S$. The observables counterpart of this is that in the presence of first-class constraints $F$, the $O$ must Poisson-brackets commute with these. Then 1) defining $Q$, $O$ requires closed subalgebras of $S$, $F$. 2) The $Q$, and the $O$, themselves form closed algebras. 3) The subalgebras of $Q$, $O$ form bounded lattices dual to those of $S$, $F$ respectively. Both $S$, $Q$ and $F$, $O$ commutations can moreover be reformulated as first-order linear PDEs, treated free-characteristically. The secondmost generic case has just one $S$ or $F$, and so just one PDE, which standardly reduces to an ODE system. The more highly nongeneric case of multiple $S$ or $F$, however, returns an over-determined PDE system. 4) We prove that nonetheless these are always integrable. This is significant by being mostly-opposite to how the more familiar generalized Killing equations themselves behave. We finally solve for the preserved quantities of similarity geometry and its subgroups; companion papers extend this program to affine, projective and conformal geometries.

研究动机与目标

• 推导具有结构 $\langle\mathfrak{M}, \sigma\rangle$ 的流形中不变几何量 $Q$ 的特定 PDE，尤其在无广义基灵向量的情况下。
• 在具有第一类约束的系统中，建立几何不变量 $Q$ 与物理可观测量 $O$ 之间严谨的数学与概念性桥梁。
• 证明 $Q$ 与 $O$ 在李括号/泊松括号运算下形成封闭代数，且其子代数与对称代数 $\mathcal{S}$ 和 $\mathcal{F}$ 构成有界对偶格。
• 证明由多重对称性产生的超定 PDE 系统的可积性，与广义基灵方程的不可积性形成对比。
• 通过引入‘第七支柱’——即通过 PDE 保持的方程——扩展几何基础框架，与现有的埃朗根纲领和约束闭包等支柱相辅相成。

提出的方法

• 使用特征线法推导不变量 $Q$ 的特定一阶线性 PDE，以自由特征方式处理，确保可积性。
• 建立几何微分同构生成元 $\mathcal{S}$ 与物理第一类约束 $\mathcal{F}$ 之间的对应关系，表明 $Q$ 必须与 $\mathcal{S}$ 的李括号对易，$O$ 必须与 $\mathcal{F}$ 的泊松括号对易。
• 应用 $\mathcal{S}$ 与 $\mathcal{F}$ 的封闭子代数概念，定义一致的 $Q$ 与 $O$ 空间，确保括号运算下的代数封闭性。
• 利用多指标广义基灵向量 $\xi_A$ 及其结构常数 $C^C_{AB}$ 描述对称代数及其对 $Q$ 的作用。
• 求解相似几何及其子群的 PDE 系统，提供非一般情况下 $Q$ 的显式例子。
• 通过配套论文将方法扩展至其他几何（仿射、射影、共形），必要时使用相容性方程与链式法则顺序方法。

实验结果

研究问题

• RQ1 在无广义基灵向量的情况下，如何为具有结构 $\langle\mathfrak{M}, \sigma\rangle$ 的流形中的不变几何量 $Q$ 推导出特定 PDE？
• RQ2 在约束哈密顿系统中，几何不变量 $Q$ 与物理可观测量 $O$ 之间的精确数学与概念性桥梁是什么？
• RQ3 在何种条件下 $Q$ 与 $O$ 在李括号/泊松括号运算下形成封闭代数？其子代数与对称代数 $\mathcal{S}$ 和 $\mathcal{F}$ 的关系如何？
• RQ4 为何多重对称性导致的超定 PDE 系统始终可积，尽管其看似复杂？这与广义基灵方程的行为有何对比？
• RQ5 该框架能否扩展至非标准几何（如具有特殊共形或特殊射影生成元的几何）？在这些几何中，标准平移生成元被取代时，是否仍适用？

主要发现

• 在一般情况下（无广义基灵向量），不变量 $Q$ 构成流形上光滑的自由函数空间，表明具有最大的几何自由度。
• 当存在广义基灵向量时，$Q$ 必须与微分同构生成元 $\mathcal{S}$ 的点求和形式李括号对易，以确保在连续对称性下的不变性。
• 物理系统中的可观测量 $O$ 必须与第一类约束 $\mathcal{F}$ 的泊松括号对易，从而在几何与物理守恒律之间建立直接对偶性。
• 在各自括号运算下，$Q$ 与 $O$ 均形成封闭代数，其子代数与对称代数 $\mathcal{S}$ 和 $\mathcal{F}$ 构成有界对偶格，揭示了深层的结构同构。
• 尽管是超定的，$Q$ 与 $O$ 的 PDE 系统始终可积，这与广义基灵方程的不可积性形成鲜明对比。
• 该方法成功求解了相似几何及其子群中的不变量，并且该框架可通过配套论文扩展至仿射、射影与共形几何。