[論文レビュー] Notes on the octonions

Dietmar Salamon, Thomas Walpuski|arXiv (Cornell University)|May 17, 2010

Geometric Analysis and Curvature Flows参考文献 16被引用数 27

ひとこと要約

この解説論文は、ドナルドソン–トーマス理論および $G_2$-および $rm{Spin}(7)$-幾何学の背後にある代数的構造——特に次元 7 および 8 における交差積、キャリブレーション、ノルム付き代数——を包括的かつ内的な形で特徴づける。交差積が存在するのは次元 0, 1, 3, 7 のみであり、オクタニオンがそれぞれ 3-形式および 4-形式のキャリブレーションを通じて $G_2$ および $rm{Spin}(7)$ 構造の代数的基盤を提供することを示している。

ABSTRACT

This is an expository paper. Its purpose is to explain the linear algebra that underlies Donaldson-Thomas theory and the geometry of Riemannian manifolds with holonomy in $G_2$ and ${ m Spin}(7)$.

研究の動機と目的

• 次元 7 および 8 における $G_2$-および $rm{Spin}(7)$-幾何学の背後にある、交差積、キャリブレーション、およびアソシエーター括弧といった線形代数的構造——を自己完結的かつ内的な形で解説すること。
• 標準的モデルへの同型写像に依存せずに、オクタニオンおよび虚数的オクタニオンが $G_2$ および $rm{Spin}(7)$ 構造を定義する役割を明確にすること。
• 交差積が次元 0, 1, 3, 7 にのみ存在することを確立し、それらの代数的および幾何的性質を特徴づけること。
• フロアー理論的構成と $bf{R} \times Y$ 内のカイリー部分多様体の幾何学を関連させることで、ドナルドソン–トーマス理論にこれらの構造を結びつけること。
• $G_2$ および $rm{Spin}(7)$ における外積代数の完全可約表現への分解を分析し、これとキャリブレーション形式およびホロノミーとの関係を明らかにすること。

提案手法

• 直交性およびノルム条件 $\langle u \times v, u \rangle = \langle u \times v, v \rangle = 0$ および $|u \times v|^2 = |u|^2|v|^2 - \langle u,v \rangle^2$ を用いて、交差積の内的特徴づけを行う。
• 表現論を適用して、交代形式の空間を $G_2$ および $rm{Spin}(7)$-表現に完全可約分解する。特に次元 7 および 8 に注目する。
• $G_2$-構造を、7-多様体上に一意に存在する適合する 3-形式 $\phi$ の存在によって特徴づけ、$\mathrm{Spin}(7)$-構造を 8-多様体上に一意に存在する 4-形式 $\Phi$ の存在によって特徴づける。
• $V$ を 7 次元空間として、$bf{R} \times V$ 上の三重交差積を導入し、これと $\Phi = dt \wedge \phi + \psi$ によるカイリー・キャリブレーションを関連付ける。
• $\Sigma \subset \mathbf{R} \times Y$ がカイリー部分多様体であるための条件を方程式 $\partial_t u_t - du_t \xi_t + \frac{[du_t e_1, du_t e_2, du_t e_3]}{\phi(du_t e_1, du_t e_2, du_t e_3)} = 0$ として導出する。
• $f: S \to Y$ を埋め込みとして、歪みを測る $e_f$ を用いてエネルギー汎関数 $\mathscr{E}(f) = \int_S e_f f^*\phi$ を定義し、これが $\mathscr{G}$-不変であることを示す。

実験結果

リサーチクエスチョン

• RQ1 交差積が存在するのはどの次元か？ その内的な代数的性質は何か？
• RQ2 オクタニオンおよびその虚数部が、キャリブレーションを通じて $G_2$ および $rm{Spin}(7)$ 構造をどのように生じさせるか？
• RQ3 チェーン–シモンズ汎関数の臨界点とエネルギー汎関数 $\mathscr{E}$ の最小値との関係は何か？
• RQ4 作用汎関数 $\mathscr{A}$ の負の勾配フロー線を用いて、$\mathbf{R} \times Y$ 内のカイリー部分多様体をどのように構成できるか？
• RQ5 7 次元および 8 次元の $G_2$-および $rm{Spin}(7)$-幾何学における不変量を定義する際の解析的および幾何的障害は何か？ それらはどのように克服できるか？

主な発見

• 実ヒルベルト空間 $V$ 上に交差積が存在するのは、$\dim V \in \{0, 1, 3, 7\}$ の場合に限り、7 次元の場合には直交的同型を除いて一意である。
• 7 次元空間上に非退化な 3-形式 $\phi$ が存在すれば、一意に適合する内積が定まり、アソシエイティブ・キャリブレーションを通じて $G_2$-構造が誘導される。
• 次元 8 において、カイリー・キャリブレーションである 4-形式 $\Phi$ は $\mathrm{Spin}(7)$-構造を誘導し、$\mathrm{Spin}(7)$ の作用における安定化部分群によって特徴づけられる。
• $V$ を 7 次元として、$bf{R} \times V$ 上の三重交差積はオクタニオン積と同型であり、その像がカイリー部分多様体に接するための必要十分条件は、フローが方程式 $\partial_t u_t - du_t \xi_t + \frac{[du_t e_1, du_t e_2, du_t e_3]}{\phi(du_t e_1, du_t e_2, du_t e_3)} = 0$ を満たすことである。
• エネルギー汎関数 $\mathscr{E}(f)$ は $\mathscr{G}$-不変であり、作用汎関数 $\mathscr{A}$ の臨界点においてのみ最小値を達成する。臨界点はアソシエイティブまたはカイリー部分多様体に対応する。
• $\mathscr{A}$ の臨界点は、与えられたホモロジー類内での $\mathscr{E}$ の絶対的最小点であり、$\mathscr{E}(f)$ の最初の項が 0 になるのは $f$ が $\mathscr{A}$ の臨界点である場合に限る。