[論文レビュー] Projective Linear Monoids and Hinges

Mutsumi Saito|arXiv (Cornell University)|Nov 4, 2017

Advanced Topics in Algebra参考文献 2被引用数 3

ひとこと要約

本稿では、射影空間 ℙ(V) 上に自然に作用する射影線形群 PGL(V) の新しいコンパクト化 ℙM(V) を導入する。写像 ℙ(V) に整合するモノイド構造を構成することで、著者は ℙM(V) がコンパクトであることを証明し、ℙM(V) の開部分集合からなる稠密な部分集合への surjective かつ連続な写像をネレチンのヒンジコンパクト化 Hinge*(V) へ構成する。これにより、両者のコンパクト化の間には深い構造的関係が存在することが明らかになる。

ABSTRACT

Let V be a complex vector space. We propose a compactification PM(V) of the projective linear group PGL(V), which can act on the projective space P(V). After proving some properties of PM(V), we consider its relation to Neretin's compactification Hinge*(V).

研究の動機と目的

• PGL(V) のコンパクト化 ℙM(V) を構成し、それが ℙ(V) 上の自然な作用を保つようにすること。既存のコンパクト化には欠落がある。
• ℙM(V) に、ℙ(V) 上の自己写像のモノイドと整合するモノイド構造を定義し、作用の一貫性を保証すること。
• ℙM(V) とネレチンの Hinge*(V) — PGL(V) の既知のコンパクト化 — の間の位相的および代数的関係を確立すること。
• ネットの収束を用いて ℙM(V) がコンパクトであることを証明し、対称空間のコンパクト化に新たな位相的枠組みを提供すること。

提案手法

• 複素ベクトル空間 V の中でネストされた核の間の非ゼロ線形写像の列として M(V) を定義し、モノイドに類似した構造を形成する。
• M(V) を射影化して ℙM(V) を得る。写像の射影空間を用いて位相を定義する。
• 中間の核部分空間上の写像の射影的像によって定義される近傍を用いて、ℙM(V) に位相を導入する。
• ネットと収束の議論を用いて、ℙM(V) 内の任意の最大ネットが収束することを証明し、コンパクト性を確立する（定理 5.3）。
• ℙM(V) から Map(ℙ(V)) への自然なモノイド準同型 Φ を構成し、ℙM(V) が ℙ(V) 上に作用することを実現する。
• 楔積写像を用いて φ: ℙM(V) → Hinge*(V) を定義し、ℙM_H(V) と呼ばれる ℙM(V) の開かつ稠密な部分集合への制限が連続的かつ全射的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 PGL(V) のコンパクト化を、従来のものとは異なり ℙ(V) 上の自然な作用を保つように構成できるか？
• RQ2 ℙM(V) のモノイド構造は、ℙ(V) 上の自己写像のモノイドとどのように関係するか？
• RQ3 ℙM(V) とネレチンの Hinge*(V) の間には、どのような位相的および代数的関係があるか？
• RQ4 ℙM(V) はコンパクトであるか？非距離的空間におけるネット収束を用いて証明可能か？

主な発見

• ℙM(V) はコンパクトである。これは、空間内の任意の最大ネットが収束することを示す（定理 5.3）。
• 自然な写像 Φ: ℙM(V) → Map(ℙ(V)) はモノイド準同型である。これにより、ℙM(V) が ℙ(V) 上に作用することが確認される。
• ℙM(V) の開かつ稠密な部分集合 ℙM_H(V) から Hinge*(V) への surjective かつ連続な写像が存在し、両者の間の位相的関係が確立される。
• ℙM(V) のモノイド構造は、ℙ(V) 上の自己写像のモノイドと整合するが、Hinge*(V) の変種のモノイド構造は ∏_{i=1}^{n-1} End(∧^i V) と整合するため、代数的性質が異なることが示される。
• 写像 λ̄: ℙM(V) → ∏_{k=1}^{n-1} ℙEnd(∧^k V) は連続であり、ネレチンの埋め込み λ° との合成により Hinge*(V) への surjective な写像が得られる。
• 例 8.4 において、ε→0 の極限で ∧^3 A(ε) の極限が、特定の部分空間上での ∧^3 id_V の制限に収束することが確認され、ℙM(V) の構成と整合していることが裏付けられる。