[論文レビュー] A 3-Calabi-Yau algebra with G_2 symmetry constructed from the octonions

S. Paul Smith|arXiv (Cornell University)|Apr 19, 2011

Advanced Topics in Algebra参考文献 18被引用数 11

ひとこと要約

本稿では、任意の体 $k$ 上で、オクタニオンを用いて 3-カビヤ多様体代数 $A$ を構成し、コンpakto 実形式 $G_2^c$ の作用を通じて $G_2$-対称構造を示す。代数 $A$ は、純虚数オクタニオンの双対空間上のテンソル代数を、オクタニオン積に由来する関係式で割った商として得られ、そのコーサル双対はヒルベルト級数 $1+7t+7t^2+t^3$ を持つ対称的フロベニウス代数である。$A$-加群の次数付き有限生成表現のカテゴリを、有限次元加群で割った導来カテゴリは、関係を持つクーヴィエの導来カテゴリと同値であり、$\mathbb{P}^6$ 内の滑らかな二次曲面の上に $\mathbb{P}^2$-バンドルを介して幾何学的関係を明らかにする。これは、次元3の $G_2$-対称非可換幾何学の新たな実現を提供する。

ABSTRACT

This paper concerns an associative graded algebra A that is the enveloping algebra of a Lie algebra with exponential growth. The algebra A is 3-Calabi-Yau. There is a Z-form of A so for every field k there is an algebra A_k. An algebraic group of type G_2 acts as degree-preserving automorphisms of A. The algebra A is generated by 7 elements modulo 7 homogeneous quadratic relations. It can be constructed from the octonions; the same construction applied to the quaternions produces the commutative polynomial ring in 3 variables. If V is the 7-dimensional irreducible representation of the complex semisimple Lie algebra of type G_2, then A is isomorphic to the tensor algebra TV modulo the ideal generated by the submodule of V \otimes V that is isomorphic to V. A can be defined as a superpotential algebra derived from a 3-form on R^7 having an open GL(7) orbit and compact isotropy group. Classification of the finite-dimensional representations of A is equivalent to classifying square matrices Y with purely imaginary octonion entries such that the imaginary part of Y^2 is zero. We show that A is a Koszul algebra. Its Koszul dual is a quotient of the exterior algebra on 7 variables, has Hilbert series 1+7t+7t^2+t^3, and is a symmetric Frobenius algebra. Although not noetherian, A is graded coherent (proved by Piontkovski).

研究の動機と目的

• 任意の体 $k$ 上で、オクタニオンの代数的構造を用いて 3-カビヤ多様体代数 $A$ を構成すること。
• $A$ が例外的リー群 $G_2$ の次数を保存する自己同型として自然に作用することを確立すること。
• 純虚数オクタニオン行列における条件 $\operatorname{Im}(Y^2) = 0$ を用いて、$A$ の有限次元表現を行列条件で分類すること。
• $\mathsf{coh}X$ が、有限生成次数付き $A$-加群を有限次元加群で割ったカテゴリとして定義され、$\mathbb{P}^2$ の coherent sheaf の導来カテゴリと同様に振る舞うことを示すこと。
• $\mathsf{D}^b(\mathsf{coh}X)$、$\mathsf{D}^b(\mathsf{rep}Q)$、$\mathsf{D}^b(\mathsf{mod}E)$ 間の導来同値性を確立すること。ここで $Q$ は関係を持つ3頂点クーヴィエ、$E$ は $k$ 上の行列代数である。

提案手法

• $A_k$ を、7次元の純虚数オクタニオン空間の双対空間上のテンソル代数を、オクタニオン積写像 $\mu^*:\operatorname{Im}{\mathbb{O}}^* \to \operatorname{Im}{\mathbb{O}}^* \otimes \operatorname{Im}{\mathbb{O}}^*$ の双対の像によって生成される両側イデアルで割った商として定義する。
• $A$ がコーサル的であることを示し、そのコーサル双対を、7変数の外代数の商として計算し、ヒルベルト級数 $1+7t+7t^2+t^3$ を持つ対称的フロベニウス代数であることを示す。
• 必要十分なホモロジー的条件、特に非退化な循環的スーパーポテンシャルの存在を確認することで、$A$ が 3-カビヤ多様体代数であることを証明する。
• オクタニオン上への $G_2^c$ の作用を用いて $A$ 上への作用を誘導し、代数が $G_2$-同変的であり、与えられた結合的3次元平面を保存する微分作用素が $\mathfrak{so}(3,\mathbb{R})$ に同型であることを示す。
• 3頂点と関係を持つクーヴィエ $Q$ を構成し、$k$ の元を成分とする行列代数 $E$ を定義し、$\mathsf{D}^b(\mathsf{rep}Q) \cong \mathsf{D}^b(\mathsf{mod}E)$ を示す。
• クーヴィエ $Q$ の次元 $(1,1,1)$ の不定値表現が、$k$ が代数的閉体であるとき、$\mathbb{P}(\operatorname{Im}{\mathbb{O}}_k)$ に等しい $\mathbb{P}^6$ 内の滑らかな二次曲面の上にある標準的 $\mathbb{P}^2$-バンドルによってパラメトライズされることを示す。

実験結果

リサーチクエスチョン

• RQ1 オクタニオンの代数的・幾何的構造を用いて、$G_2$ 対称性を持つ 3-カビヤ多様体代数をどのように構成できるか？
• RQ2 この代数のコーサル双対の構造は何か？また、$A$ の対称性とホモロジー的性質をどのように反映するか？
• RQ3 $A$ の有限次元表現は、純虚数オクタニオン行列における条件 $\operatorname{Im}(Y^2) = 0$ とどのように関係するか？
• RQ4 $\mathsf{coh}X$ の幾何的解釈は何か？また、$\mathbb{P}^2$ の coherent sheaf の導来カテゴリとどのように比較できるか？
• RQ5 $A$、クーヴィエ $Q$、行列代数 $E$ の導来カテゴリの正確な関係は何か？また、$G_2$ はこれらの対象にどのように作用するか？

主な発見

• 代数 $A$ は、任意の体 $k$ 上で 3-カビヤ多様体代数であり、$T(\operatorname{Im}{\mathbb{O}}^*) / (\operatorname{im} \mu^*)$ として構成される。ここで $\mu^*$ はオクタニオン積写像の双対である。
• $A$ のコーサル双対は、ヒルベルト級数 $1 + 7t + 7t^2 + t^3$ を持つ対称的フロベニウス代数であり、7生成子の外代数の商として実現される。
• $\mathsf{coh}X$ は、有限生成次数付き $A$-加群を有限次元加群で割ったカテゴリとして定義され、$\mathsf{D}^b(\mathsf{rep}Q)$ および $\mathsf{D}^b(\mathsf{mod}E)$ と同値な導来カテゴリを持つ。ここで $E$ は $k$ の元を成分とする行列代数である。
• $k$ が代数的閉体であるとき、クーヴィエ $Q$ の次元 $(1,1,1)$ の不定値表現は、$\mathbb{P}(\operatorname{Im}{\mathbb{O}}_k)$ に等しい $\mathbb{P}^6$ 内の滑らかな二次曲面の上にある標準的 $\mathbb{P}^2$-バンドルによってパラメトライズされる。
• $A$ は次数付きコherentではあるがノエター的ではない。また、与えられた結合的3次元平面を保存する微分作用素の成すリー代数は $\mathfrak{so}(3,\mathbb{R})$ に同型であり、$G_2^c$ のそのような平面への推移的作用を反映している。
• 要素 $x_1^2 + \cdots + x_7^2$ は $G_2$-不変であり、$A$ のすべての次数付き微分作用素によって消える。これにより、代数的構造が $\operatorname{Im}{\mathbb{O}}$ 上の $G_2$-不変内積と整合していることが確認される。