[論文レビュー] Higher Auslander Algebras Admitting Trivial Maximal Orthogonal Subcategories

Zhaoyong Huang, Xiaojin Zhang|ArXiv.org|Mar 4, 2009

Algebraic structures and combinatorial models参考文献 19被引用数 7

ひとこと要約

この論文は、$\mathop{\rm mod}\nolimits\Lambda$ 内に自明な最大 $(n-1)$-正規直交部分カテゴリをもつ higher Auslander 代数の特徴づけを行う。このような代数は、すべての非可約モジュールの射影的または投射的次元が $n-1$ 以下であるナカヤマ代数でなければならないことが証明され、代数的閉体上での有限次元的基底的連結 $(n-1)$-Auslander 代数について、そのクーヴィーと関係式を完全に分類する。

ABSTRACT

For an Artinian $(n-1)$-Auslander algebra $Λ$ with global dimension $n(\geq 2)$, we show that if $Λ$ admits a trivial maximal $(n-1)$-orthogonal subcategory of $\modΛ$, then $Λ$ is a Nakayama algebra and the projective or injective dimension of any indecomposable module in $\modΛ$ is at most $n-1$. As a result, for an Artinian Auslander algebra with global dimension 2, if $Λ$ admits a trivial maximal 1-orthogonal subcategory of $\modΛ$, then $Λ$ is a tilted algebra of finite representation type. Further, for a finite-dimensional algebra $Λ$ over an algebraically closed field $K$, we show that $Λ$ is a basic and connected $(n-1)$-Auslander algebra $Λ$ with global dimension $n(\geq 2)$ admitting a trivial maximal $(n-1)$-orthogonal subcategory of $\modΛ$ if and only if $Λ$ is given by the quiver: $$\xymatrix{1 & \ar[l]_{β_{1}} 2 & \ar[l]_{β_{2}} 3 & \ar[l]_{β_{3}} ... & \ar[l]_{β_{n}} n+1} $$ modulo the ideal generated by $\{β_{i}β_{i+1}| 1\leq i\leq n-1 \}$. As a consequence, we get that a finite-dimensional algebra over an algebraically closed field $K$ is an $(n-1)$-Auslander algebra with global dimension $n(\geq 2)$ admitting a trivial maximal $(n-1)$-orthogonal subcategory if and only if it is a finite direct product of $K$ and $Λ$ as above. Moreover, we give some necessary condition for an Artinian Auslander algebra admitting a non-trivial maximal 1-orthogonal subcategory.

研究の動機と目的

• higher Auslander 代数が $\mathop{\rm mod}\nolimits\Lambda$ 内に自明な最大 $(n-1)$-正規直交部分カテゴリをもつ場合の構造的制約を特定すること。
• 代数的閉体上での有限次元的基底的連結 $(n-1)$-Auslander 代数がこのような部分カテゴリをもつ場合の特徴づけを行うこと。
• 自明な最大 $(n-1)$-正規直交部分カテゴリの存在に必要な十分条件を、射影的次元 $n$ をもつ単純モジュールに関して確立すること。
• このような代数のクーヴィーと関係式の完全な記述を提供し、それが $K$ と特定のパス代数の関係式による商である直積であることを示すこと。
• 特に射影的および投射的次元のホモロジー的性質が、最大直交部分カテゴリの存在を決定する役割を明確にすること。

提案手法

• 自明な最大 $(n-1)$-正規直交部分カテゴリをもつ higher Auslander 代数における非可約モジュールのホモロジー的性質を分析すること。
• 最小の準同型とシジーギモジュールを用いて、射影的次元 $n$ をもつ単純モジュールの構造を研究すること。
• このような単純モジュールの最小射影的分解のすべての項が非可約であり、シジーギが単純であることを証明すること。
• 非射影的・非投射的非可約モジュールの射影的次元と投射的次元の和が $n$ にちょうど等しいことを確立し、両方の次元が $n-1$ 以下であることを示すこと。
• ナカヤマ代数の分類を適用して、与えられた条件下で代数がナカヤマ代数でなければならないことを導出すること。
• 明示的なクーヴィーと関係式による代数の構成：線形クーヴィー $1 \to 2 \to \cdots \to n+1$ を $\{\beta_i\beta_{i+1} \mid 1 \leq i \leq n-1\}$ で生成されるイデアルで商したものであり、これが基本的連結ケースを特徴づけることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 グローバル次元 $n$ をもつアートンジャン $(n-1)$-Auslander 代数が、自明な最大 $(n-1)$-正規直交部分カテゴリをもつための条件は何か？
• RQ2 このような代数上の非可約モジュール、特に単純モジュールのホモロジー的性質は何か？
• RQ3 有限次元的基底的連結 $(n-1)$-Auslander 代数が自明な最大 $(n-1)$-正規直交部分カテゴリをもつ場合の、正確なクーヴィーと関係式の構造は何か？
• RQ4 射影的次元 $n$ をもつ単純モジュールの射影的次元と投射的次元が、最大直交部分カテゴリの存在にどのように影響するか？
• RQ5 自明な最大 $(n-1)$-正規直交部分カテゴリの存在が、最大射影的次元をもつ単純モジュールの性質のみによって特徴づけられるか？

主な発見

• グローバル次元 $n \geq 2$ をもつアートンジャン $(n-1)$-Auslander 代数 $\Lambda$ が自明な最大 $(n-1)$-正規直交部分カテゴリをもつならば、$\Lambda$ はナカヤマ代数である。
• 任意の単純モジュール $S$ で $\mathop{\rm pd}\nolimits_\Lambda S = n$ をみたすものについて、$S$ の $i$ 番目のシジーギはすべての $1 \leq i \leq n$ に対して単純であり、$S$ の最小射影的分解のすべての項は非可約である。
• $\mathop{\rm mod}\nolimits\Lambda$ 内の非射影的・非投射的非可約モジュールについて、射影的次元と投射的次元の和はちょうど $n$ に等しく、したがって両方の次元は $n-1$ 以下である。
• 代数的閉体上での有限次元的基底的連結 $(n-1)$-Auslander 代数 $\Lambda$ について、$\Lambda$ が自明な最大 $(n-1)$-正規直交部分カテゴリをもつための必要十分条件は、クーヴィー $1 \to 2 \to \cdots \to n+1$ を $\{\beta_i\beta_{i+1} \mid 1 \leq i \leq n-1\}$ で生成されるイデアルで商したもので与えられること。
• 代数的閉体上での有限次元的 $(n-1)$-Auslander 代数 $\Lambda$ が自明な最大 $(n-1)$-正規直交部分カテゴリをもつための必要十分条件は、$K$ と上記のクーヴィーと関係式によって記述される代数の有限直積であること。
• $n=2$ の場合、グローバル次元 2 をもつアートンジャン Auslander 代数が自明な最大 1-正規直交部分カテゴリをもつならば、それは有限表現型のティルト代数である。