[論文レビュー] Maps That Take Lines to Circles, in Dimension 4

Vladlen Timorin|ArXiv.org|Sep 3, 2003

Advanced Differential Geometry Research参考文献 4被引用数 4

ひとこと要約

本稿は、4次元実射影空間の開部分集合から4次元球面の開部分集合への解析的微分同相写像を分類し、線分を円弧に写すものである。クaternion解析と偏微分方程式系の解法を用いて、このような写像が、超平面から球面への古典的中心射影の制限、または左・右クォータニオン的ホフプ層の制限のいずれかであることを証明する。

ABSTRACT

We list all analytic diffeomorphisms between an open subset of the 4-dimensional projective space and an open subset of the 4-dimensional sphere that take all line segments to arcs of round circles. These are the following: restrictions of the quaternionic Hopf fibrations and projections from a hyperplane to a sphere from some point. We prove this by finding the exact solutions of the corresponding system of partial differential equations.

研究の動機と目的

• RP⁴とS⁴の開部分集合間の解析的微分同相写像で、線分を円弧に写すものをすべて分類すること。
• Khovanskiiの2次元および3次元の結果におけるギャップを埋め、4次元において古典的射影を超える新たな解が生じることを示すこと。
• このような写像が、古典的射影またはクォータニオン的ホフプ層の制限のいずれかであることを証明すること。
• ジェット理論的および可積分性技法を用いて、射影的およびコンフォーマル変換の下での同値関係までの一意性を確立すること。

提案手法

• 微分同相写像をRP⁴の開部分集合上のクォータニオン値関数として表現する。
• 写像の微分をクォータニオン値1形式Aとして定義し、定数ベクトル場に沿ったLie微分∂αを用いる。
• 可積分性条件dA = 0と、クォータニオン値関数Bαに対して∂αAα = BαAα（またはAαBα）という基本方程式を導出する。
• 点における写像の3次ジェットを、1形式Bμおよびγ = 2dC/Cを含む線形系を解くことによって分析する。
• 解の構造を用いて、3次ジェットがx + (p(x)+xq)x/2 + ... の形であることを示し、pは実線形関数でqはクォータニオンであることを示す。
• 解析関数の唯一性定理を適用して局所解を大域的に拡張し、C=0（ホフプ層）とC≠0（古典的射影）の両ケースを区別する。

実験結果

リサーチクエスチョン

• RQ1 RP⁴の開部分集合からS⁴の開部分集合への解析的微分同相写像で、線分を円弧に写すものはすべて何か？
• RQ2 4次元における解は、2次元のKhovanskiiの結果や3次元のIzadiの拡張とどのように異なるか？
• RQ3 PDE解析とジェット理論を用いて、古典的射影とクォータニオン的ホフプ層が、このような写像の唯一の解であることを示せるか？
• RQ4 クォータニオン的構造は、これらの写像を分類する上で果たす役割は何か？また、コンフォーマルおよび射影的不変性とどのように関係するか？
• RQ5 微分方程式∂αAα = BαAαが、ホフプ層または射影のグローバルな幾何的構造を示すための条件は何か？

主な発見

• RP⁴の開部分集合からS⁴の開部分集合への解析的微分同相写像で、線分を円弧に写すものは、すべてR⁵の超平面から球面への古典的中心射影の制限、または左・右クォータニオン的ホフプ層の制限のいずれかである。
• 分類は、定義域における射影的変換と、被映像におけるコンフォーマル変換に関して不変であるため、同値関係までを含めた結果が成り立つ。
• 曲率に類する関数Cが恒等的に0であるとき、写像はクォータニオン的ホフプ層の制限である。それ以外の場合は、古典的射影である。
• 任意のこのような写像の点における3次ジェットは、実線形関数pとクォータニオンqによって一意に定まり、すべてのこのようなジェットは古典的射影によって実現可能である。
• 写像の解析性と解析的接続の一意性により、解は大域的に一意である。
• 幾何的条件から導かれる主要なPDE系は、閉じた方程式系を形成し、写像がホフプ層または古典的射影のいずれかに限定されることを強制する。