[論文レビュー] Embeddings of Quadratic Spaces

Vineeth Chintala|arXiv (Cornell University)|Jan 1, 2018

Algebraic and Geometric Analysis参考文献 9被引用数 1

ひとこと要約

この論文は、可換環上の非退化二次形式空間へのSuslin行列埋め込みを一般化し、結合代数への埋め込みを通じたスピン群の基底に依存しない特徴付けを確立する。スピン群が埋め込み代数の可逆元上のノルム準同型の核として現れることを示し、クライフ・代数と表現論の間の関係を、クライフ代数における階数付きイデアルの構造定理によって結びつける。

ABSTRACT

We introduce a concept of an embedding of a quadratic space in an associative algebra. The general properties of such embeddings are analyzed by linking it to the Clifford algebra. Conversely, there isa simple description of the standard involution and the Spin groups in terms of the algebra in which the quadratic space is embedded. Though Clifford Algebras have been studied in detail, they may not always be easy to work with. Sometimes it may be useful to switch to a more concrete embedding to study low dimensional Spin and Epin (or Elementary Spin) groups.

研究の動機と目的

• 可換環上の任意の非退化二次形式空間へのハイパボリック空間のSuslin行列埋め込みを一般化すること。
• 結合代数への埋め込みを用いた基底に依存しない、スピン群の構造的特徴付けを提供すること。
• 二次形式空間のクライフ代数とその埋め込み代数との間の関係を、階数付きイデアル構造定理を通じて確立すること。
• 埋め込み代数に、二次形式空間上で自明な対合が存在する場合、スピン群が忠実に作用することを示すこと。
• Suslin行列を用いて、さまざまな二次形式に対してクライフ代数の明示的生成元を構成できることを示すこと。

提案手法

• 二次形式空間 (V,q) を結合代数 A に埋め込むことを、線形包含 V⊆A として定義し、q(v) = vα(v) = α(v)v を満たす等長写像 α を用いる。
• クライフ代数の普遍性を用い、任意の埋め込み A とクライフ代数 Cl(V,q) の間を Z2-階数付き構造と階数付きイデアルの構造定理（定理 2.7）を介して関係づける。
• A 上の対合に関する随伴 g* を用いて、d: G(A) → R× を d(g) = q(gg*) で定義するノルム準同型 d を構成する。
• 補題 4.6 と定理 4.7 を用いて、d の核がスピン群に同型であることを証明し、ker(d) ≅ Spin(V) を示す。
• Suslin行列の枠組みを適用し、ハイパボリック空間や他の二次形式空間を行列代数に明示的に埋め込む。
• Suslin行列 Sn(v,w) の再帰的構成を用いて、SnSn = (v·wT)I2n および det(Sn) = (v·wT)^{2n−1} などの恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ハイパボリック空間へのSuslin行列構成を、任意の非退化二次形式空間へ一般化する方法は何か？
• RQ2 二次形式空間が結合代数に埋め込まれるとき、スピン群が忠実に作用するための条件は何か？
• RQ3 埋め込み代数 A が持つどのような代数的性質が、ノルム準同型 d(g) = q(gg*) の核としてスピン群が現れる保証となるか？
• RQ4 Suslin行列の代数的性質（例えば、行列式や対合構造）は、それらが従属するクライフ代数構造をどのように反映するか？
• RQ5 Suslin型行列を用いて、非ハイパボリック二次形式に対してクライフ代数の明示的生成元を構成できるか？

主な発見

• V 上の恒等写像が A 上の対合に引き上げられる限り、ノルム準同型 d: G(A) → R× を d(g) = q(gg*) で定義したとき、スピン群は d の核に同型である。
• クライフ代数 Cl(V,q) は Z2-階数付き構造を通じて M2(A) に埋め込まれ、その埋め込みは Cl(V,q) の階数付きイデアルの構造定理によって決定される。
• ハイパボリック空間 H(Rn) に対して、Suslin行列構成により φ: Cl(H(Rn)) → M2n(R) が同型となることが得られ、明示的な行列生成元が得られる。
• Suslin行列 Sn(v,w) の行列式は (v·wT)^{2n−1} であり、SnSn = (v·wT)I2n を満たすため、合成代数における役割が裏付けられる。
• v·wT = 1 のとき、写像 w ↦ v·wT の核は射影的加群であり、n が偶数である場合に限り自己双対である。これはSuslin行列の対合構造における偶奇性の依存性を説明する。
• 多項式拡張 R[λ₁] および R[λ₁,λ₂] を用い、λ₁²=λ₂²=−1 かつ λ₁λ₂+λ₂λ₁=0 を満たすことで、ランク 2n、2n+1、2n+2 の二次形式に対して行列埋め込みを構成した。これらの形式の符号には −v₀² または −v₀²−w₀² を含む。