[論文レビュー] Structure Theorems for Basic Algebras

Carl Fredrik Berg|arXiv (Cornell University)|Feb 5, 2011

Algebraic structures and combinatorial models参考文献 12被引用数 3

ひとこと要約

この論文は、代数的に閉じた体から任意の体、特に非完備体への有限次元基本代数のGabrielの構造定理を一般化する。関係付きの種（species with relations）を導入してモジュール圏を記述し、根基フィルトレーション列が分解しない場合、代数は非適切なイデアルによるテンソル代数の商となることを示す。これにより、テンソル代数でないヒラリティック代数が生じ、その非ゼロの関係は関係付きの種のグラフにおける巡回部分グラフに起因する。

ABSTRACT

A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations of a finite quiver with relations. In this article we will remove the assumption that $k$ is algebraically closed to look at both perfect and non-perfect fields. We will introduce the notion of species with relations to describe the category of left modules over such algebras. If the field is not perfect, then the algebra is isomorphic to a quotient of a tensor algebra by an ideal that is no longer admissible in general. This gives hereditary algebras isomorphic to a quotient of a tensor algebra by a non-zero ideal. We will show that these non-zero ideals correspond to cyclic subgraphs of the graph associated to the species of the algebra. This will lead to the ideal being zero in the case when the underlying graph of the algebra is a tree.

研究の動機と目的

• 代数的に閉じた体から任意の体、特に非完備体への基本的有限次元代数のGabrielの構造定理を拡張すること。
• 非完備体における根基フィルトレーション列の分解不能性とその代数的構造への影響を調査すること。
• 非完備体上の基本的有限次元スプリット代数の左モジュール圏を記述するための、関係付きの種の枠組みを構築すること。
• 非完備体上のヒラリティック基本的有限次元スプリット代数がテンソル代数と同型である条件を特定し、関係付きの種のグラフにおける巡回部分グラフの役割を同定すること。
• ヒラリティック代数が非完備体上ではテンソル代数と同型でない可能性がある反例を提供すること、特にスプリットである場合でも。

提案手法

• 関係付きの種の概念を導入し、除法環と双加群を用いて非完備体へのクイバー表現の一般化を行う。
• 種からテンソル代数を構成し、核が適切でない場合でも、元の代数へ上への代数準同型を定義する。
• 根基フィルトレーション列が双加群の系列として分解しないことを利用して、テンソル代数の商における非適切なイデアルを同定する。
• 関係付きの種のグラフにおける巡回部分グラフの観点から、テンソル代数写像の核を特徴づけ、非ゼロの関係がサイクルが存在する場合にのみ生じることを示す。
• ヒラリティック代数に理論を適用し、関係付きの種のグラフが木である場合に限り、その代数がテンソル代数の商と同型であることを証明する。
• 非完備体 $\mathbb{F}_2(t^2)$ 上の明示的な例を用いて、スプリットであるが $\mathfrak{r}$-スプリットでないヒラリティック代数を構成し、したがってテンソル代数と同型でないことを示す。

実験結果

リサーチクエスチョン

• RQ1 代数的に閉じた体上の基本的有限次元代数の構造定理は、非完備体へどのように拡張できるか？
• RQ2 非完備体上の基本的代数がテンソル代数と同型であるかどうかを決定する、根基フィルトレーション列の条件は何か？
• RQ3 関係付きの種のグラフにおける巡回部分グラフは、代数構造における非自明な関係をどのように生じさせるか？
• RQ4 非完備体上のヒラリティック基本的有限次元スプリット代数は、テンソル代数と同型でないことがあるか？
• RQ5 根基フィルトレーション列の分解が、任意の体上の基本的代数の代数的構造を決定する上で果たす役割は何か？

主な発見

• 体 $k$ が代数的に閉じていない場合、基本的有限次元スプリット代数 $\Lambda$ は種上のテンソル代数の商と同型であるが、その核が常に適切であるとは限らない。
• $\Lambda$ がテンソル代数の商と同型であるための必要十分条件は、関係付きの種のグラフが木であることである。この場合、すべての標準的クイバーは自明である。
• 非完備体上のヒラリティック代数では、関係付きの種のグラフにサイクルが存在する場合、代数がスプリットであっても非ゼロの関係が生じる。
• $k = \mathbb{F}_2(t^2)$ 上の例では、スプリットであるが $\mathfrak{r}$-スプリットでないヒラリティック代数 $\Lambda$ が構成され、したがってテンソル代数と同型でない。
• 例において、$0 \to \mathfrak{r}^2 \to \mathfrak{r} \to \mathfrak{r}/\mathfrak{r}^2 \to 0$ の系列は双加群の系列として分解せず、核が適切でないことが確認される。
• 関係付きの種のグラフが木である場合、代数 $\Lambda$ は $T(\mathcal{S}_m)$ および $T(\mathcal{S}_\Lambda)$ と同型であることが確認され、この場合に構造定理が成立することが裏付けられる。