[论文解读] Foundations and Classification of Invariant Subalgebras of Grassmann Algebra

Mithat Konuralp Demir|arXiv (Cornell University)|Mar 10, 2026

Advanced Topics in Algebra被引用 0

一句话总结

本论文研究Grassmann（外代数）、其从自由结合代数的构造，以及对自同态下不变子代数的新分类。

ABSTRACT

This paper is a documentation of author's reseach, focusing on the topic Grassmann Algebra spanning over July, August 2025 under mentorship provided by DRP Turkiye 2025. Grassmann algebra is a fundamental structure in mathematics with wide-ranging applications across multiple areas of mathematics and physics. Most notably, it serves as the foundation for differential geometry, by constituting the natural setting which differential forms reside. This paper begins with presenting the defining properties of Grassmann Algebra, outlining the working principles of the key mechanism of the algebra, wedge product. Following that, we give an exposition of formal construction of Grassmann algebra from free associative algebra with the goal of emphasizing how these properties are imposed in the structure of the algebra. The intrinsic relationship between the exterior product and the determinant is explored in Section 4. Finally, we investigate invariant subalgebras, one of the primary focuses of this paper. Here, we present a novel classification of invariant subalgebras.

研究动机与目标

• 用自由结合框架给出Grassmann（Exterior）代数的定义性质与构造。
• 解释外积及其与行列式的关系，以及几何含义。
• 研究自同态并对这些自同态下的不变子代数进行分类。

提出的方法

• 通过在向量空间上定义双线性外积来定义外代数。
• 通过张量（自由结合）代数构造外代数，并通过引入反对称性得到外代数。
• 使用多指标记法和外幂基来描述结构和维数。
• 通过低维例子演示行列式与外积的关系。
• 在外代数中为自同态及不变量子代数的框架提供一个发展蓝图。

Figure 1: A direction in $\mathbb{R}^{3}$

实验结果

研究问题

• RQ1 Grassmann（Exterior）代数的基本性质和构造是什么？
• RQ2 外积如何定义，与行列式及几何有何关系？
• RQ3 如何从自由结合代数构造外代数，以及反对称性如何产生？
• RQ4 哪些自同态作用于外代数，以及如何对不变子代数进行分类？

主要发现

• 外代数被构建为在向量空间上的代数，具有双线性、结合、交替的外积。
• 通过对张量（自由结合）代数施加双线性和再施加反对称性，可以得到一个连贯的分等阶代数，且维数为 dim(Λ^k V)=C(n,k)。
• 外积满足 x∧y = (-1)^{|x||y|} y∧x，当基向量在乘积中重复时会消失，编码了取向和独立性。
• 行列式自然作为在 R^3 中三个向量的外积系数出现，将体积计算与外代数联系起来。
• Λ^k V 的基元由 e_I = e_{i1}∧...∧e_{ik} 给出，其中 I 为递增的 k-元组， yielding dim(Λ^k V)=C(n,k)。
• 本文提供了自同态框架并开始对这些自同态下的不变子代数进行分类。

Figure 2: A planar direction in $\mathbb{R}^{3}$