[論文レビュー] The projective geometry of a group

Wolfgang Bertram|arXiv (Cornell University)|Jan 30, 2012

Advanced Topics in Algebra参考文献 11被引用数 6

ひとこと要約

この論文は、群 Ω のべき集合に射影幾何構造を導入することで、ベクトル空間からの射影幾何の一般化を群へと展開する。部分集合の交差性（transversality）が torsor および semitorsor 構造を誘導する。主な貢献は、Ω の部分群のペアが非アーベル torsor をパラメトライズすることであり、近似環（near-ring）の類似物によって、非アーベル設定における古典的な双対性およびアフィン幾何の概念を拡張する。

ABSTRACT

We show that the pair given by the power set and by the "Grassmannian"(set of all subgroups) of an arbitrary group behaves very much like the pair given by a projective space and its dual projective space. More precisely, we generalize several results from preceding joint work with M. Kinyon (arXiv:0903.5441), which concerned abelian groups, to the case of general non-abelian groups. Most notably, pairs of subgroups parametrize torsor and semitorsor structures on the power set. The rôle of associative algebras and -pairs from loc. cit. is now taken by analogs of near-rings.

研究の動機と目的

• ベクトル空間の射影幾何を任意の群の設定へと拡張すること。
• P(Ω) と Gras(Ω) の部分群のグラスマンニアンの間の双対性を、P(W) と P(W*) の間の双対性に類似させること。
• 部分集合間の交差性条件を用いて、アーベル群から非アーベル群への torsor および semitorsor 構造の一般化。
• 従来の研究における結合代数の代わりに、幾何の背後にある代数的構造として近似環の類似物を導入すること。
• 非アーベル設定における対称空間、ジョルダン理論、フラッグ幾何との関係を調査すること。

提案手法

• 部分集合 x, y ∈ P(Ω) 間の左および右交差性を、ω = ξ + η と一意に分解可能となるように定義する（ξ ∈ x, η ∈ y）。
• x に交差する部分集合の集合 x^⊥ および ^⊥x を導入し、幾何における「アフィン胞」を形成する。
• 部分群 a, b ≤ Ω に対して、交わり U_ab = a^⊥ ∩ ^⊥b に torsor 構造を構成し、a ≠ b のとき非アーベル torsor が得られることを示す。
• a ⊥ b のとき、Ω と a × b の同一視を用いて U_ab を Bij(a,b)（a と b 間の全単射の集合）としてモデル化し、「全単射型」torsor を得る。
• これらの集合上で、パラ結合的および冪等的法則を満たす三項演算 (xyz) を定義し、semtorsor および torsor を特徴付ける。
• 符号の対称性および置換の性質を符号化するための写像 Γ および Σ を導入し、構造を超対称性および合成の符号則と結びつける。

実験結果

リサーチクエスチョン

• RQ1 ベクトル空間から任意の群への射影空間とその双対空間の双対性は、どのように一般化可能か？
• RQ2 群の部分集合間の交差性関係から生じる代数的構造は何か？ そして、それらは torsor および semitorsor をどのように一般化するか？
• RQ3 非アーベル設定における群に基づく射影幾何において、近似環に類似した構造は、結合代数の代わりにどのように機能するか？
• RQ4 この幾何における対角ケース a = b から、対称空間およびジョルダン理論的構造はどのように生じるか？
• RQ5 フラッグ幾何や高次構造（例：Ω × Ω 上の関係）は、この枠組み内で体系的に構成可能か？

主な発見

• 部分群 a, b ≤ Ω に対して、U_ab = a^⊥ ∩ ^⊥b は自然な torsor 構造を有する。これは古典的射影幾何におけるアフィン空間構造を一般化する。
• a ⊥ b のとき、torsor U_ab は Bij(a,b)（a と b 間の全単射の集合）に同型であり、三項演算は (fgh) = f ∘ g⁻¹ ∘ h で与えられる。
• 特異ケース a = b のとき、^⊥a および a^⊥ は「点ごとの型」torsor であり、Map(Ω/a, a) に同型である。これは a がアーベル群であることと同値に、アーベルである。
• 幾何は群 Ω × Ω による P(Ω × Ω) 上の自然な作用を支持しており、Ω × Ω の部分集合は関係に対応し、群の反対群に置き換えても構造が不変である。
• この構成は直積と整合的であり、P(Ω₁ × Ω₂) は P(Ω₁) × P(Ω₂) を部分空間として含む。これにより、関係を自己準同型として扱うことが可能になる。
• 理論は、対角 x = z から生じる対称空間の族と、対角 a = b から生じる torsor の間の双対性を示しており、非可換ジョルダン理論的解釈を示唆する。