[論文レビュー] G2 and the Rolling Ball

John C. Baez, John Huerta|arXiv (Cornell University)|May 11, 2012

Algebraic and Geometric Analysis参考文献 15被引用数 6

ひとこと要約

本稿は、半単純な実形式を持つ例外的リー群 G2 の幾何的実現を、半径比 1:3 の射影平面の上を転がるスピノル的ボールの対称性群として確立する。スプリットオクタニオンを用いて、滑らかに転がる際の接触幾何学が、虚数的スプリットオクタニオンの 1次元および 2次元零部分代数と正確に一致することを示し、この系の幾何的量子化によりオクタニオンのドット積およびクロス積が回復されることを明らかにした。これにより、ボールの転がり運動と非可換代数的構造との間に深い双対性が明らかになる。

ABSTRACT

Understanding the exceptional Lie groups as the symmetry groups of simpler objects is a long-standing program in mathematics. Here, we explore one famous realization of the smallest exceptional Lie group, G2. Its Lie algebra acts locally as the symmetries of a ball rolling on a larger ball, but only when the ratio of radii is 1:3. Using the split octonions, we devise a similar, but more global, picture of G2: it acts as the symmetries of a 'spinorial ball rolling on a projective plane', again when the ratio of radii is 1:3. We explain this ratio in simple terms, use the dot product and cross product of split octonions to describe the G2 incidence geometry, and show how a form of geometric quantization applied to this geometry lets us recover the imaginary split octonions and these operations.

研究の動機と目的

• G2 のスプリット実形式を、射影平面の上を転がるスピノル的ボールの対称性群としての幾何的実現を確立すること。
• なぜ半径比 1:3 が、ボールの転がり系における G2 対称性を実現する上で特異的であるかを明確にすること。
• 滑らかに転がる際の接触幾何学が、虚数的スプリットオクタニオンの 1次元および 2次元零部分代数とどのように対応するかを示すこと。
• ボールの転がり系の幾何的量子化が、虚数的スプリットオクタニオンおよびそのドット積・クロス積演算を回復することを示すこと。
• スプリットオクタニオンの自己同型とボールの転がり運動の両方による G2 の古典的実現を、ボールの転がり系をオクタニオン代数的構造に埋め込むことで統一すること。

提案手法

• ボールの転がり系を、射影平面におけるスピンルスとしてモデル化し、スピンルスの性質を捉えるために、二重被覆 SU(2) × RP² を用いる。
• ボールの配置空間を、虚数的スプリットオクタニオン内の 1次元零部分空間（光線）の空間と同一視する。これを PC と表記する。
• 接触幾何学における直線を、ボールが射影平面内の測地線に沿って転がる際に描く曲線として定義し、これはスプリットオクタニオンの 2次元零部分空間の射影化に対応する。
• オクタニオン積の分解式：xy = −x·y + x×y を用い、x·y をドット積、x×y をクロス積と定義することで、虚数的スプリットオクタニオン上の代数的構造を定義する。
• 複素化された配置空間 PCC に対して幾何的量子化を適用し、全純線束 LC を構成し、引き戻しと押し出しを用いて線形写像 ∆: IC → IC ⊗ IC を定義する。
• この写像の随伴 ∆* が定数倍を除いてクロス積を回復することを示し、代数的構造が対称性および幾何的量子化によって一意に決定されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 なぜ半径比 1:3 が、ボールの転がり系における G2 対称性を唯一可能にするのか。また、スピンルス的振る舞いはこの現象をどのように説明するのか。
• RQ2 滑らかに転がる際の接触幾何学を、スプリットオクタニオンの代数的構造にどのように埋め込むことができるか。
• RQ3 虚数的スプリットオクタニオン上のドット積およびクロス積演算は、ボールの転がり系の幾何的量子化から導出可能か。
• RQ4 射影平面の上を転がるスピノル的ボールの配置空間と、スプリットオクタニオン内の 1次元零部分空間の空間との間の正確な対応関係は何か。
• RQ5 なぜ半径比 1:3 のみが、ボールの転がり線がスプリットオクタニオンの 2次元零部分代数の射影化に対応する唯一の比なのであるか。

主な発見

• 半径比 1:3 は、ボールが固定されたボールの半周を周回する間に2回転するように保証するため、G2 対称性を実現するために必須である。
• 射影平面の上を転がるスピノル的ボールの配置空間は、虚数的スプリットオクタニオン内の 1次元零部分空間の空間と微分同相であり、PC と同一視される。
• 半径比が 1:3 のとき、接触幾何学における直線は、虚数的スプリットオクタニオンの 2次元零部分代数の射影化と正確に一致し、ボールの系と代数的構造との間の同型が確立される。
• 複素化された配置空間 PCC の幾何的量子化により、ヒルベルト空間 IC が得られ、これは虚数的スプリットオクタニオンと同型である。得られた線形写像 ∆: IC → IC ⊗ IC の随伴は、定数倍を除いてクロス積を回復する。
• 虚数的スプリットオクタニオン上のクロス積は、G2-不変な量子化写像の随伴として一意に特徴づけられ、代数的演算がボールの転がり幾何学によって構造的に決定されることを証明する。
• 虚数的スプリットオクタニオン上のドット積は、ヒルベルト空間 IC の双対性を介して自然に同定され、量子化写像の随伴を定義するのに用いられる。