[論文レビュー] 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$ がリー／ポisson括弧に関して閉じた代数を形成することを証明し、複数の対称性から生じる過剰決定系の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$ がリー／ポisson括弧作用の下で閉じた代数を形成することを示し、それらの部分代数が対称代数 $\mathcal{S}$ および $\mathcal{F}$ に対して有界で双対的なラティスを形成することを示すこと。
• 複数の対称性から生じる過剰決定PDE系の可積分性を証明し、一般化キリング方程式とは対照的に非可積分である点を強調すること。
• 幾何学の基礎的枠組みを拡張し、『第七の柱』として、PDEによる保存方程式を導入することで、エラッテンゲン・プログラムや制約の閉包といった既存の柱を補完すること。

提案手法

• 特徴的法を用いて、保存量 $Q$ の特定の一次線形PDEを導出し、積分可能性を保証するため、自由特徴的（free-characteristically）に扱う。
• 幾何学的自己同型生成子 $\mathcal{S}$ と物理的第一級制約 $\mathcal{F}$ の間の対応関係を確立し、$Q$ が $\mathcal{S}$ とリー括弧で可換である必要があり、$O$ が $\mathcal{F}$ とポisson括弧で可換である必要があることを示す。
• 代数的閉包を保証するため、$\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 リー／ポisson括弧作用の下で $Q$ と $O$ が閉じた代数を形成する条件は何か？また、それらの部分代数は対称代数 $\mathcal{S}$ および $\mathcal{F}$ とどのように関係するか？
• RQ4 複数の対称性から生じる過剰決定PDE系が、その見た目以上の複雑さにもかかわらず、なぜ常に可積分であるのか？一般化キリング方程式とは対照的に、その挙動はどのように異なるか？
• RQ5 標準的な移動生成子が置き換えられる特別な共形的または特別な射影的生成子を持つ非標準的幾何に、この枠組みをどのように拡張できるか？

主な発見

• 一般系（一般化キリングベクトルが存在しない）では、保存量 $Q$ は多様体上での自由関数の滑らかな空間を形成し、幾何的自由度が最大であることを示唆する。
• 一般化キリングベクトルが存在する場合、$Q$ は自己同型生成子 $\mathcal{S}$ の点ごとの和とリー括弧で可換でなければならない。これにより、連続的対称性に対する不変性が保証される。
• 物理系における観測可能性 $O$ は、第一級制約 $\mathcal{F}$ とポisson括弧で可換でなければならない。これにより、幾何的保存則と物理的保存則の直接的な双対性が確立される。
• $Q$ と $O$ はそれぞれの括弧作用の下で閉じた代数を形成し、それらの部分代数は対称代数 $\mathcal{S}$ および $\mathcal{F}$ に対して有界で双対的なラティスを形成する。これにより、深い構造的同型性が明らかになる。
• $Q$ および $O$ のPDE系は、過剰決定であっても常に可積分である。これは、一般化キリング方程式が非可積分であるのとは対照的である。
• この手法は、相似幾何学およびその部分群における保存量を効果的に解き、同伴論文を通じてアフィン、射影、共形幾何へと拡張可能である。