[論文レビュー] Centro-affine hypersurface immersions with parallel cubic form

Roland Hildebrand|arXiv (Cornell University)|Aug 6, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 27被引用数 3

ひとこと要約

本稿は、ℝⁿにおける非退化な中心相似アフィン超曲面埋め込みと、そのアフィン計量のLevi-Civita接続に関して平行な3次形式をもつものと、実半単純ジョルダン代数におけるω領域の間で、全単射対応を確立する。すべてのこのような埋め込みが、ω領域におけるω関数の等高面として生じることを証明し、逆に、すべての原点を中心とする適切なアフィン超球面が、ω領域におけるω関数の等高面として得られることを示す。これにより、半単純な実ジョルダン代数の分類に基づく完全な分類が可能になる。

ABSTRACT

We consider non-degenerate centro-affine hypersurface immersions in R^n whose cubic form is parallel with respect to the Levi-Civita connection of the affine metric. There exists a bijective correspondence between homothetic families of proper affine hyperspheres with center in the origin and with parallel cubic form, and K\\"ochers conic omega-domains, which are the maximal connected sets consisting of invertible elements in a real semi-simple Jordan algebra. Every level surface of the omega function in an omega-domain is an affine complete, Euclidean complete proper affine hypersphere with parallel cubic form and with center in the origin. On the other hand, every proper affine hypersphere with parallel cubic form and with center in the origin can be represented as such a level surface. We provide a complete classification of proper affine hyperspheres with parallel cubic form based on the classification of semi-simple real Jordan algebras. Centro-affine hypersurface immersions with parallel cubic form are related to the wider class of real unital Jordan algebras. Every such immersion can be extended to an affine complete one, whose conic hull is the connected component of the unit element in the set of invertible elements in a real unital Jordan algebra. Our approach can be used to study also other classes of hypersurfaces with parallel cubic form.

研究の動機と目的

• アフィン計量のLevi-Civita接続に関して平行な3次形式をもつ、ℝⁿにおける非退化な中心相似アフィン超曲面埋め込みを分類すること。
• このような埋め込みと、実半単純ジョルダン代数におけるω領域との間の対応関係を確立すること。
• 原点を中心とするすべての適切なアフィン超球面が、平行な3次形式をもち、かつあるω領域におけるω関数の等高面として生じることを示すこと。
• 実半単純ジョルダン代数の分類を用いて、平行な3次形式をもつ適切なアフィン超球面を完全に分類すること。
• 中心相似埋め込みの枠組みを、平行な3次形式をもつすべてのものに拡張し、それらが、実単位的ジョルダン代数における可逆元の連結成分に含まれる錐包の内側にあるアフィン完備な埋め込みに拡張可能であることを示すこと。

提案手法

• 中心相似超曲面の幾何的構造と、アフィン計量および3次形式がLevi-Civita接続に関して持つ性質を利用する。
• 特に、このような代数における可逆元の連結成分としてのω領域を含む、実半単純ジョルダン代数の理論を適用する。
• ω関数を介して、原点を中心とする相似族の適切なアフィン超球面とω領域との間で全単射対応を確立する。
• ω関数の斉次性を用いて、ω領域から超球面への径方向射影を定義し、各線分が超球面とちょうど1点で交わることを保証する。
• 差テンソルKの条件∇K = 0を記述する非線形偏微分方程式系を導出し、それをジョルダン代数的恒等式と関連付ける。
• 3次形式の代数的構造とその共変微分を用いて、基礎となる代数が二次因子または中心単純代数でなければならないことを示し、結論として代数がジョルダン代数であることを導く。

実験結果

リサーチクエスチョン

• RQ1 すべての非退化な中心相似アフィン超曲面埋め込みで、平行な3次形式をもつものは、ℝⁿにおける代数的構造を用いて分類可能か？
• RQ2 このような埋め込みと、実半単純ジョルダン代数の領域との間には、標準的な対応関係が存在するか？
• RQ3 原点を中心とし、平行な3次形式をもつすべての適切なアフィン超球面は、あるω領域におけるω関数の等高面として生じるか？
• RQ4 中心相似埋め込みにおける差テンソルに∇K = 0の条件が課されたとき、どのような代数的制約が生じるか？
• RQ5 平行な3次形式をもつすべての中心相似埋め込みは、可逆元の連結成分に含まれる錐包を持つアフィン完備な埋め込みに拡張可能か？

主な発見

• 原点を中心とする平行な3次形式をもつ相似族の適切なアフィン超球面と、実半単純ジョルダン代数におけるω領域との間には、全単射対応が存在する。
• ω領域におけるω関数のすべての等高面は、非退化的で、アフィン完備的かつユークリッド完備的であり、原点を中心とし、平行な3次形式をもつ適切なアフィン超球面である。
• 逆に、原点を中心とし、平行な3次形式をもつすべての適切なアフィン超球面は、あるω領域におけるω関数の等高面として得られる。
• 平行な3次形式をもつ適切なアフィン超球面の分類は、完全に実半単純ジョルダン代数の分類に還元される。
• 平行な3次形式をもつすべての中心相似埋め込みは、アフィン完備に拡張可能であり、その錐包は実単位的ジョルダン代数における可逆元の集合の単位元の連結成分に含まれる。
• 差テンソルに∇K = 0の条件が課されたとき、基礎となる代数的構造はジョルダン代数であり、埋め込みは二次因子または中心単純代数に含まれる。