[论文解读] New Examples of Simple Jordan Superalgebras over an Arbitrary Field of Characteristic Zero

V. N. Zhelyabin|arXiv (Cornell University)|Jul 16, 2010

Advanced Topics in Algebra参考文献 6被引用 7

一句话总结

本文在任意特征为零的域上构造了一个单位元、单个、特殊约当代数超代数，其不与向量型约当代数超代数 $J(\Gamma,D)$ 同构，但其分式超代数却与之同构。该构造利用多项式环的商与特定外微分，通过改进的 Cheng–Kac 构造定义了一个新的超代数，从而为‘所有此类超代数必同构于 $J(\Gamma,D)$’的猜想提供了反例。

ABSTRACT

I.P. Shestakov constructed an example of a unital simple special Jordan superalgebra over the field of real numbers. It turned out to be a subsuperalgebra of the Jordan superalgebra of vector type, but not isomorphic to a superalgebra of this type. Moreover, its superalgebra of fractions is isomorphic to a Jordan superalgebra of vector type. Author constructed a similar example of a Jordan superalgebra over a field of characteristic~0 in which the equation $t^2+1=0$. In this article we present an~example of a Jordan superalgebra with the same properties over an arbitrary field of characteristic 0. A similar example of a superalgebra is found in the Cheng-Kac superalgebra.

研究动机与目标

• 在任意特征为零的域上构造一个单位元、单个、特殊约当代数超代数，其不与向量型约当代数超代数 $J(\Gamma,D)$ 同构。
• 将先前仅在 $\mathbb{R}$ 或 $t^2+1=0$ 无解的域上已知的例子扩展至任意特征为零的域。
• 为‘所有具有结合偶部与秩为1的投影奇部的单个特殊约当代数超代数必同构于 $J(\Gamma,D)$’的猜想提供反例。
• 回答 Cantarini 与 Kac 提出的问题：在一般设定下是否存在此类不同构的例子。

提出的方法

• 在特征为零的域 $F$ 上定义一个交换结合代数 $\Gamma = F[x,y]/(x^2 + y^4 - 1)$。
• 赋予 $\Gamma$ 一个外微分 $D = 2y^3 \frac{\partial}{\partial x} - x \frac{\partial}{\partial y}$，使得 $\Gamma$ 成为 $D$-单的。
• 通过 Kantor 双重构造，将 Cheng–Kac 超代数 $CK(\Gamma,D)$ 构造为一个约当代数超代数。
• 在 $CK(\Gamma,D)$ 中定义一个子超代数 $GCK(A,\Delta)$，其偶部为 $A + w_1A + w_2A + w_3A$，奇部为 $\overline{M} + x_1\overline{M} + x_2\overline{M} + x_3\overline{M}$，其中 $A$ 是 $\Gamma$ 的子代数，$M$ 是 $A$-模。
• 通过结合子恒等式及 $1 \in (A, \overline{M}, \overline{M})$ 的事实，证明其单性：任何非零理想必包含单位元。
• 证明 $GCK(A,\Delta)$ 不同构于 $J(\Gamma,D)$，尽管其分式超代数同构于 $J(\Gamma,D)$。

实验结果

研究问题

• RQ1 能否在任意特征为零的域上构造一个单位元、单个、特殊约当代数超代数，使其不与向量型约当代数超代数 $J(\Gamma,D)$ 同构？
• RQ2 在单个特殊约当代数超代数的语境下，若其分式超代数同构于 $J(\Gamma,D)$，是否意味着其本身也必同构于 $J(\Gamma,D)$？
• RQ3 是否存在对‘所有具有结合偶部与秩为1的投影奇部的单个特殊约当代数超代数必同构于 $J(\Gamma,D)$’这一猜想的反例？
• RQ4 能否在 $t^2 + 1 = 0$ 无解的域上构造此类例子，而无需限制于 $\mathbb{R}$？
• RQ5 Cheng–Kac 超代数构造是否能产生不与 $J(\Gamma,D)$ 同构的新单个约当代数超代数？

主要发现

• 所构造的超代数 $GCK(A,\Delta)$ 是任意特征为零的域 $F$ 上的单位元、单个、特殊约当代数超代数。
• 尽管 $GCK(A,\Delta)$ 的分式超代数同构于 $J(\Gamma,D)$，但 $GCK(A,\Delta)$ 本身不与任何向量型约当代数超代数 $J(\Gamma,D)$ 同构。
• 该构造适用于任意特征为零的域，扩展了以往仅限于 $\mathbb{R}$ 或 $t^2 + 1 = 0$ 无解的域的已知例子。
• $GCK(A,\Delta)$ 的奇部是秩为1的有限生成投影 $A$-模，但不是自由模，这阻止了其与 $J(\Gamma,D)$ 同构。
• 单性证明依赖于结合子恒等式及 $1 \in (A, \overline{M}, \overline{M})$ 的事实，确保任何非零理想必包含单位元。
• 该结果为 Cantarini 与 Kac 提出的问题提供了肯定回答：在一般设定下，此类不同构的例子确实存在。