[論文レビュー] Cayley 4-form, comass, and triality isomorphisms

Mikhail G. Katz, Steven Shnider|ArXiv.org|Jan 1, 2008

Geometric and Algebraic Topology参考文献 17被引用数 6

ひとこと要約

この論文は、Spin(8)の三重性同型を用いて、R⁸上の自己双対4形式のcomassを計算し、Cayley 4形式が最大comass 1を達成し、SO(8)共役を除いて一意であることを証明する。さらに、Cayley形式のSO(8)における安定化部分群はSpin(7)であることが示され、特徴付け幾何、サイスティリック幾何、およびSpin(7)多様体への応用をもたらす。

ABSTRACT

Following an idea of Dadok, Harvey and Lawson, we apply the triality property of SO(8) to study the comass of certain self-dual 4-forms on R^8. In particular, we prove that the Cayley 4-form has comass 1 and that any self-dual 4-form realizing the maximal Wirtinger ratio is SO(8)-conjugate to the Cayley 4-form. We also use triality to prove that the stabilizer in SO(8) of the Cayley form is Spin(7). The results have applications in systolic geometry, calibrated geometry, and Spin(7) manifolds.

研究の動機と目的

• Spin(8)の三重性性質を用いて、R⁸上の自己双対4形式のcomassを計算すること。
• Cayley 4形式が最大comass 1を達成する唯一の自己双対4形式であることを同定すること。
• Cayley形式のSO(8)における安定化部分群を特定し、それがSpin(7)に同型であることを示すこと。
• 極表現理論に依存せずに、明示的で表現論的証明を用いてcomassの最大性を示すこと。
• 特徴付け幾何およびサイスティリック幾何における、Wirtinger比、comass、幾何的構造との関係を確立すること。

提案手法

• Spin(8)の三つの8次元スピン表現間の三重性同型を用い、自己双対4形式をトレースのない8×8対称行列と関連付ける。
• トレースのない対称行列の表現と自己双対4形式の表現との間の交換作用素を構成する。
• comassの定義：||ω|| = sup{|ω(v₁,…,v₄)| : ||vᵢ|| = 1} を用い、分解可能4ベクトル上のペアリングの最大値を計算する。
• SO(8)が自己双対4形式の空間および関連する対称行列表現に作用することを用い、極値ノルムを分析する。
• 対称行列における重み空間分解を用い、標準形式の線形結合のノルムおよびcomassを分析する。
• 群論的議論および行列の共役作用を用い、Cayley形式がSO(8)同値を除いて一意であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Cayley 4形式のR⁸上でのcomassは何か？ そして、三重性を用いてどのように計算されるか？
• RQ2 R⁸上のどの自己双対4形式が最大Wirtinger比を達成するか？ それらはすべてCayley形式のSO(8)共役か？
• RQ3 Cayley 4形式のSO(8)における安定化部分群は何か？ 三重性はなぜそれがSpin(7)に同型であることを示すのに役立つか？
• RQ4 極表現理論の構造定理に依存せずに、自己双対4形式のcomassを計算できるか？
• RQ5 comassが1である形式の幾何的意義は何か？ そして、特徴付けられた部分多様体およびサイスティリック不変量とどのように関係するか？

主な発見

• Cayley 4形式はR⁸上で最大comass 1を達成し、comassノルムにおける極値的役割が裏付けられる。
• R⁸上で最大Wirtinger比を達成する任意の自己双対4形式は、Cayley形式のSO(8)共役である。
• Cayley 4形式のSO(8)における安定化部分群は、三重性同型を用いてSpin(7)に同型であることが示された。
• ω₊ = e¹²³⁴ + e¹²⁵⁶ + e¹²⁷⁸ + e¹³⁵⁷ + e¹⁴⁶⁷ + e¹³⁶⁸ + e¹⁴⁵⁸ のcomassは2である。これは、すべての符号付き標準形式の和がcomass 1を達成するわけではないことを示している。
• ½ω₊ は、軌道型(3,1)の標準形式の凸結合にSO(8)共役であり、既知の極値形式と幾何的に同値であることが確認された。
• 極表現理論を用いないで、明示的な重み空間解析と三重性を用いてcomassおよび安定化部分群の結果を導出した。