[論文レビュー] 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）を解くことにより、1次元射影幾何における保存量を導出する。特殊射影変換の下で逆数の差が不変量であることが特定され、さらに特殊射影変換と拡大対称性の組み合わせの下では、逆数の差の比が不変量であることが示される。最終的に、1次元射影幾何における完全な不変量が交比の滑らかな関数として一意に定まることを示し、交比を同時に差の比であり、逆数の差であるという新しい解釈を提示する。

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を用いて、1次元射影幾何における幾何的に有意義な保存量を体系的に導出すること。
• 特殊射影群 $ Q $ の保存量が、平行移動不変幾何における座標の差とは異なり、逆数の差であることを示すこと。
• 特殊射影群 $ Q $ と拡大群 $ D $ の組み合わせ対称性群を解析し、その保存量が標準的な差の比とは異なり、逆数の差の比であることを示すこと。
• 全射影対称性群のPDE系に対する自由特徴問題を解くことにより、1次元射影不変量が交比の滑らかな関数として一意に定まることを確立すること。
• 交比を、同時に差の比であり、逆数の差である関数的依存関係としても解釈できるという、新しい解釈を提案すること。

提案手法

• 1次元において特殊射影生成子 $ 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 1次元特殊射影変換群 $ Q $ の下での保存量は何であり、それらは平行移動群の保存量とどのように異なるか？
• RQ2 特殊射影群 $ Q $ と拡大群 $ D $ が組み合わされたとき、保存量はどのように変化し、どのような関数的形をとるか？
• RQ3 1次元射影不変量の唯一の関数的形は何か？ また、これは全射影対称性群のPDE系からどのように導出されるか？
• RQ4 交比を、同時に差の比であり、逆数の差であるという性質として再解釈することは可能か？
• RQ5 同型だが異なる方法で表現された対称性生成子から、幾何的に異なる不変量が生じる程度はどの程度か？ これは幾何的分類にどのような意味を持つのか？

主な発見

• 1次元において $ Q $ 僅一の対称性群の下での保存量は、逆数の差の適切に滑らかな関数であり、平行移動不変幾何における座標の差とは明確に異なる。
• $ Q $ と $ D $ の両方が含まれる場合、保存量は逆数の差の比の滑らかな関数であり、拡大不変幾何で保存される差の比とは異なっている。
• 全1次元射影不変量は、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 $ の場合に有効で、これがすべての1次元射影不変量の基盤をなすことが確認された。