[論文レビュー] Inner Ideals and Intrinsic Subspaces of Linear Pair Geometries

Wolfgang Bertram, Harald Loewe|ArXiv.org|Jun 19, 2006

Advanced Numerical Analysis Techniques参考文献 1被引用数 4

ひとこと要約

本稿では、射影的部分空間の一般化として、線形およびアフィン対幾何における内在的部分空間を導入し、それらが関連するジョルダン対における内部イデアルに対応することを示している。主な貢献は、リー代数のフィルトレーションにおけるパイアース分解を用いて定義される内在的部分空間が、正確に内部イデアルに対応することを確立したことであり、そのような内在的部分空間の幾何が自身が線形対幾何であるという予想を支持するものである。

ABSTRACT

We introduce the notion of intrinsic subspaces of linear and affine pair geometries, which generalizes the one of projective subspaces of projective spaces. We prove that, when the affine pair geometry is the projective geometry of a Lie algebra introduced in [Bertram-Neeb, J. Alg. 277], such intrinsic subspaces correspond to inner ideals in the associated Jordan pair, and we investigate the case of intrinsic subspaces defined by the Peirce-decomposition which is related to 5-gradings of the projective Lie algebra. These examples, as well as the examples of general and Lagrangian flag geometries, lead to the conjecture that geometries of intrinsic subspaces tend to be themselves linear pair geometries.

研究の動機と目的

• 射影的部分空間の概念を、グラスマンニアンやフラッグ幾何を含むより一般の幾何に一般化すること。
• 線形およびアフィン対幾何における内在的部分空間を、すべてのアフィンチャートにおいてアフィンである部分集合として定義し、特徴づけること。
• リー代数から導かれるジョルダン対における内部イデアルと内在的部分空間の間の対応を確立すること。
• 階数付きおよびフィルタリングされたリー代数におけるパイアース分解を用いて、内在的部分空間の構造を調査すること。
• 内在的部分空間の幾何が、自身が線形対幾何であるという予想を支持すること。

提案手法

• すべてのアフィンチャートにおける交わりがアフィン部分空間であるような部分集合として、内在的部分空間を定義すること。
• 線形対幾何の公理的枠組みを用いて、内在的部分空間の構造を形式化すること。
• 三重積 $ T(x,y,z) = x y z + z y x $ を通じて、内在的部分空間とジョルダン対における内部イデアルの間の対応を確立すること。
• ジョルダン対における冪等元へのパイアース分解を適用し、フィルタリングされたリー代数における内在的部分空間を分析すること。
• ジョルダン理論における構造写像とアニュレーターを用いて、内部イデアルの性質を研究すること。
• フラッグ幾何、ラグランジュフラッグ幾何、行列空間などの具体例を分析し、一般枠組みを説明すること。

実験結果

リサーチクエスチョン

• RQ1 射影幾何を超えて、グラスマンニアンや他の線形対幾何にまで拡張された部分空間の概念をどのように一般化できるか？
• RQ2 対幾何におけるすべてのアフィンチャートにおいて部分集合がアフィンのまま保たれるための条件は何か？
• RQ3 リー代数の射影空間の幾何におけるジョルダン対の内部イデアルは、内在的部分空間とどのように関係するか？
• RQ4 パイアース分解は、フィルタリングされたリー代数における内在的部分空間を特徴づけるために果たす役割は何か？
• RQ5 内在的部分空間が形成する幾何は、予想通り、自身が線形対幾何であるか？

主な発見

• 体 $K$ 上のグラスマンニアン $\mathcal{Gras}_{p,q}(K)$ における内在的部分空間は、すべてのアフィンチャートとの交わりがアフィンであるような部分集合として特徴づけられ、それらは関連するジョルダン対における内部イデアルに正確に対応する。
• リー代数の射影幾何において、内在的部分空間は関連するジョルダン対における内部イデアルと一対一に対応する。
• ジョルダン対における冪等元のパイアース分解は、構造群の作用に関して安定な内在的部分空間を導く。
• 要素や冪等元（例えば $[x]$、$V_2$、$V_0$）によって生成される内部イデアルは、三重積および二次写像を用いて内在的部分空間を定義することが示された。
• 冪等元の最大直交系およびフレームの存在は、内在的部分空間の幾何の構造的豊かさを裏付ける。
• 本稿では、一般およびラグランジュフラッグ幾何が、自身が線形対幾何である内在的部分空間を生成することを確認し、主な予想を支持した。