[論文レビュー] Global Left Loop Structures on Spheres

Michael Kinyon|ArXiv.org|Oct 21, 1999

Mathematics and Applications参考文献 20被引用数 5

ひとこと要約

本稿は、実ヒルバート空間 H の単位球面 𝕊 に、全球的二項演算 ⊙ を構成し、(𝕊, ⊙) が両側単位元 e₀ を持つべきべき的可換 Kikkawa 左ループとなるようにする。この演算は左移動に関して解析的であるが、右移動が一対一でないためループとはならない。また、ほとんど至る所で左冪乗交換則および左ボル恒等式を満たし、球面幾何学および対称空間構造に関する新たな知見を提供する。

ABSTRACT

On the unit sphere $\mathbb{S}$ in a real Hilbert space $\mathbf{H}$, we derive a binary operation $\odot$ such that $(\mathbb{S},\odot)$ is a power-associative Kikkawa left loop with two-sided identity $\mathbf{e}_0$, i.e., it has the left inverse, automorphic inverse, and $A_l$ properties. The operation $\odot$ is compatible with the symmetric space structure of $\mathbb{S}$. $(\mathbb{S},\odot)$ is not a loop, and the right translations which fail to be injective are easily characterized. $(\mathbb{S},\odot)$ satisfies the left power alternative and left Bol identities ``almost everywhere'' but not everywhere. Left translations are everywhere analytic; right translations are analytic except at $-\mathbf{e}_0$ where they have a nonremovable discontinuity. The orthogonal group $O(\mathbf{H})$ is a semidirect product of $(\mathbb{S},\odot)$ with its automorphism group (cf. http://www.arxiv.org/abs/math.GR/9907085). The left loop structure of $(\mathbb{S},\odot)$ gives some insight into spherical geometry.

研究の動機と目的

• 実ヒルバート空間における単位球面に、その構造が左ループとなるような全球的二項演算を定義すること。
• この演算の代数的および解析的性質を調査すること、特に球面の対称空間構造との整合性について検討すること。
• この演算がループでない理由、特に右移動が一対一でない点を特徴づけること。
• 左移動および右移動の挙動を分析し、特異点と解析性条件を同定すること。
• 左ループとその自己同型群を用いて、直交群 O(H) の半直積分解を確立すること。

提案手法

• ヒルバート空間構造に基づく幾何学的・代数的手法を用いて、単位球面 𝕊 ⊂ H に二項演算 ⊙ を構成する。
• (𝕊, ⊙) が単位元 e₀ を持つべきべき的可換 Kikkawa 左ループであり、左逆元、自己同型逆元、および Al 性質を満たすことを証明する。
• 左移動が至る所で解析的であることを示し、右移動は −e₀ を除いて解析的であり、そこでは除去不能な不連続性を示す。
• 左冪乗交換則および左ボル恒等式が 𝕊 上ほとんど至る所で成り立つが、すべての点で成り立つわけではないことを示す。
• (𝕊, ⊙) の構造を用いて、直交群 O(H) を (𝕊, ⊙) とその自己同型群の半直積として実現する。
• 𝕊 の対称空間構造を活用し、⊙ が下部幾何構造と整合することを保証する。

実験結果

リサーチクエスチョン

• RQ1 実ヒルバート空間における単位球面上に、その構造が左ループとなり、望ましい代数的性質を有するような全球的二項演算を定義できるか？
• RQ2 この左ループ構造における左移動および右移動の挙動はどのようにか？ どこで一対一性や解析性を失うか？
• RQ3 この構造において、左冪乗交換則および左ボル恒等式はどの程度成り立つか？
• RQ4 直交群 O(H) は左ループ (𝕊, ⊙) 及びその自己同型群とどのように関係しているか？
• RQ5 この構成により、球面幾何学および対称空間にどのような幾何的・代数的洞察が得られるか？

主な発見

• 𝕊 上の演算 ⊙ はべき的可換であり、左逆元および自己同型逆元の性質を含む Kikkawa 左ループ公理を満たす。
• 左移動は至る所で解析的であるが、右移動は −e₀ を除いて解析的であり、そこでは除去不能な不連続性を示す。
• 左冪乗交換則および左ボル恒等式は 𝕊 上ほとんど至る所で成り立つが、特定の点で成立しない。
• 右移動が一対一でないため、構造 (𝕊, ⊙) はループではない。その失敗は完全に特徴づけられている。
• 直交群 O(H) は (𝕊, ⊙) とその自己同型群の半直積と同型であり、新たな代数的分解を提供する。
• 演算 ⊙ は 𝕊 の対称空間構造と整合しており、代数的ループ理論と微分幾何学を結びつける。