[論文レビュー] Noncommutative coordinate algebras

Michel Dubois‐Violette|arXiv (Cornell University)|Oct 7, 2008

Advanced Topics in Algebra被引用数 5

ひとこと要約

本稿では、非可換体積形式—有限次元ベクトル空間上の多重線形形式—によって完全に特徴づけられる、正則的で、有限生成かつ次数付きで、有限なグローバル次元をもつ非可換座標代数のクラスを導入する。主な貢献は、同型な代数が、$GL(g,\mathbb{K})$ の作用における同じ軌道に属する多重線形形式に正確に対応することであり、グローバル次元 $D=2,3$ について完全な分類が得られ、$N$-同次性とコーサルティーを用いてそれ以上の次元へ一般化される。

ABSTRACT

We discuss the noncommutative generalizations of polynomial algebras which after appropriate completions can be used as coordinate algebras in various noncommutative settings, (noncommutative differential geometry, noncommutative algebraic geometry, etc.). These algebras have finite presentations and are completely characterized and classified by their (noncommutative) volume forms.

研究の動機と目的

• 非可換微分および代数幾何学における座標代数としての多項式代数の一般化を図ること。
• 多項式的成長条件を除外することで、AS-正則より広い代数のクラスを同定し、重要なホモロジー的性質を保持すること。
• 非可換体積形式—スカラー倍を除き一意な多重線形形式—を用いて、これらの代数を完全に分類すること。
• 代数の同型類と、$GL(g,\mathbb{K})$ による多重線形形式の軌道との間の対応関係を確立すること。
• $N$-同次およびコーサルティー代数を用いて、グローバル次元がより高い場合への分類を拡張すること。

提案手法

• 本稿は、有限生成かつ同次関係が次数 $\geq 2$ の $\mathbb{N}$-次数付きで連結な代数 $\mathcal{A} = T(E)/[R]$ を基礎的な枠組みとして用いる。
• 有限次元ベクトル空間 $E$ 上のプリレギュラーな多重線形形式 $w$ の概念を導入し、これが代数の非可換体積形式を定義する。
• 形式 $w$ から導かれる線形写像 $Q_w \in GL(g,\mathbb{K})$ が定義され、その作用が $Q_w$-循環性条件を通じて代数の構造を決定する。
• $D=2$ および $D=3$ の場合、代数が $N$-同次かつコーサルティーであることが示され、コーサルティー双対性とコーサルティー複体 $K(\mathcal{A})$ の利用が可能になる。
• 分類は、各代数をその多重線形体積形式 $w$ の $GL(g,\mathbb{K})$-軌道（スカラー倍を除き）に一意に結びつけることで達成される。
• 変形理論を用いて古典的極限を分析し、$\mathbb{K}[x^1,\dots,x^g]$ の一次の摂動 $w_t = \varepsilon + t\dot{w} + o(t^2)$ を考察し、トレース条件 $\mathrm{tr}(\dot{Q}) = 0$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 多項式代数は、非可換幾何学における座標代数としてどのように一般化できるか？
• RQ2 AS-正則クラスを越えて、非可換座標代数が特徴づけられる構造的性質は何か？
• RQ3 このような代数は、非可換体積形式によって完全に分類可能か？
• RQ4 $GL(g,\mathbb{K})$-軌道が、これらの代数の同型類の分類において果たす役割は何か？
• RQ5 古典的多項式代数の変形は、$Q_w$ におけるプリレギュラリティおよびトレース条件とどのように関係するか？

主な発見

• 代数は、非ゼロスカラー倍を除き一意な多重線形体積形式によって完全に特徴づけられる。
• 同型な代数は、$GL(g,\mathbb{K})$-軌道に属する同じ多重線形形式に正確に対応し、完全な分類が確立される。
• $D=2$ および $D=3$ の場合、代数は $N$-同次かつコーサルティーであり、$g = Np + 1$ かつ $N>2$ のとき、$\mathcal{A}(\varepsilon,N)$ のコーサルティー双対は外積代数 $\wedge \mathbb{K}^g$ に一致する。
• $N>2$ のとき、代数 $\mathcal{A}(\varepsilon,N)$ は指数的成長を示し、物理的関連性のためには多項式的成長が必須ではないことを示している。
• 古典的極限において、一次の摂動条件は $\mathrm{tr}(\dot{Q}) = 0$ を意味し、有限版では $\det(Q_{w_t}) = 1$ が成り立つ可能性を示唆する。
• タイプ $E$ の二次的AS代数は孤立しているため、このような代数において一般に $\det(Q_w) = 1$ が成り立つとは限らない。