[論文レビュー] 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 外代数に作用する自己同型は何であり、不変部分代数をどう分類できるか。

主な発見

• 外代数は、二項連結で結合的・交代的なウェッジ積を備えたベクトル空間上の代数として構築される。
• ウェッジ積を用いて、bilinearityを課し、次に反交換性を課すことで自由結合代数（テンソル代数）から外代数を得ることができ、dim(Λ^k V)=C(n,k)となる連結階層代数が得られる。
• x∧y = (-1)^{|x||y|} y∧x を満たし、基底ベクトルが積内で繰り返されるとウェッジ積が0になる、方向付けと独立性を符号化する。
• 3つのベクトルのウェッジ積の係数として行列式が自然に現れ、体積計算と外代数の結びつきを示す。
• Λ^k V の基底元は e_I = e_{i1}∧...∧e_{ik} で I は増順のk重組であり、dim(Λ^k V)=C(n,k) を与える。
• 本論文は自己同型の枠組みを提供し、これらの自己同型の下で不変部分代数の分類を開始する。

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