[论文解读] 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$，并利用紧致实形式 $G_2^c$ 的作用，证明其具有 $G_2$-对称结构。该代数为纯虚八元数对偶空间上张量代数的商代数，模去由八元数乘法映射的对偶所生成的双边理想；其科兹ul对偶为希尔伯特序列 $1+7t+7t^2+t^3$ 的对称弗罗贝尼乌斯代数。有限生成的分次 $A$-模类的有限维模的商类的导出范畴，与一个带关系的三顶点有向图表示的导出范畴等价，揭示了其通过 $
bb{P}^2$-丛与 $
bb{P}^6$ 中光滑二次曲面的深层几何联系。这为三维 $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$ 作为保持次数的自同态作用。
• 通过八元数上的矩阵条件对 $A$ 的有限维表示进行分类，特别是 $\operatorname{Im}(Y^2) = 0$ 的纯虚八元数矩阵。
• 证明由有限生成分次 $A$-模模去有限维模所定义的范畴 $\mathsf{coh}X$，其行为类似于 $\mathbb{P}^2$ 上凝聚层导出范畴。
• 建立 $\mathsf{D}^b(\mathsf{coh}X)$、$\mathsf{D}^b(\mathsf{rep}Q)$ 和 $\mathsf{D}^b(\mathsf{mod}E)$ 之间的导出等价，其中 $Q$ 为带关系的三顶点有向图，$E$ 为 $k$-值矩阵代数。

提出的方法

• 将 $A_k$ 定义为纯虚八元数 7 维空间对偶上张量代数的商代数，模去由八元数乘法映射 $\mu^*:\operatorname{Im}{\mathbb{O}}^* \to \operatorname{Im}{\mathbb{O}}^* \otimes \operatorname{Im}{\mathbb{O}}^*$ 的对偶所生成的双边理想。
• 证明 $A$ 是科兹ul代数，并计算其科兹ul对偶为 7 个变量的外代数商代数，其希尔伯特序列为 $1+7t+7t^2+t^3$，该代数为对称弗罗贝尼乌斯代数。
• 通过验证必要的同调条件（包括存在非退化的循环超势能）证明 $A$ 是 3-卡拉比-丘代数。
• 利用 $G_2^c$ 在八元数上的作用诱导出对 $A$ 的作用，证明代数是 $G_2$-等变的，并且保持给定结合 3 平面的导子构成一个同构于 $\mathfrak{so}(3,\mathbb{R})$ 的李代数。
• 构造一个三顶点有关系的有向图 $Q$，并定义代数 $E$ 为 $k$-值矩阵代数，证明 $\mathsf{D}^b(\mathsf{rep}Q) \cong \mathsf{D}^b(\mathsf{mod}E)$。
• 证明有向图 $Q$ 的维数为 $(1,1,1)$ 的不可约表示由 $
  bb{P}^6 = \mathbb{P}(\operatorname{Im}{\mathbb{O}}_k)$ 中的光滑二次曲面的典范 $
  bb{P}^2$-丛参数化。

实验结果

研究问题

• RQ1 如何利用八元数的代数与几何结构，在任意域上构造一个具有 $G_2$ 对称性的 3-卡拉比-丘代数？
• RQ2 该代数的科兹ul对偶结构为何？其如何反映代数 $A$ 的对称性与同调性质？
• RQ3 代数 $A$ 的有限维表示如何与八元数上的矩阵条件相关联，特别是 $\operatorname{Im}(Y^2) = 0$？
• RQ4 范畴 $\mathsf{coh}X$ 的几何解释是什么？其与 $\mathbb{P}^2$ 上凝聚层导出范畴有何比较？
• RQ5 代数 $A$、有向图 $Q$ 与矩阵代数 $E$ 的导出范畴之间的确切关系为何？$G_2$ 如何作用于这些对象？

主要发现

• 代数 $A$ 是任意域 $k$ 上的 3-卡拉比-丘代数，其构造为 $T(\operatorname{Im}{\mathbb{O}}^*) / (\operatorname{im} \mu^*)$，其中 $\mu^*$ 为八元数乘法映射的对偶。
• 代数 $A$ 的科兹ul对偶为希尔伯特序列 $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)$ 的不可约表示由 $
  bb{P}^6 = \mathbb{P}(\operatorname{Im}{\mathbb{O}}_k)$ 中光滑二次曲面的典范 $
  bb{P}^2$-丛参数化。
• 代数 $A$ 是分次凝聚的但不是诺特环，且保持给定结合 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$-不变内积的一致性。