[論文レビュー] Bricks over preprojective algebras and join-irreducible elements in Coxeter groups

Sota Asai|arXiv (Cornell University)|Dec 22, 2017

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

ひとこと要約

本稿は、型AnおよびDnの前射影代数におけるブリックおよびセミブリックの明示的組合せ的記述を、対応するコックスター群における結合的不可約元を用いて確立する。結合的不可約群元とブリックの間の双対写像をヤング図形に類似した表記法を用いて構成し、任意の群元の標準的結合表現が関連するブリックの直和に対応することを証明する。これにより、すべてのこのような加群について完全なクイバー表現記述が得られる。

ABSTRACT

A (semi)brick over an algebra $A$ is a module $S$ such that the endomorphism ring $\operatorname{\mathsf{End}}_A(S)$ is a (product of) division algebra. For each Dynkin diagram $Δ$, there is a bijection from the Coxeter group $W$ of type $Δ$ to the set of semibricks over the preprojective algebra $Π$ of type $Δ$, which is restricted to a bijection from the set of join-irreducible elements of $W$ to the set of bricks over $Π$. This paper is devoted to giving an explicit description of these bijections in the case $Δ=\mathbb{A}_n$ or $\mathbb{D}_n$. First, for each join-irreducible element $w \in W$, we describe the corresponding brick $S(w)$ in terms of "Young diagram-like" notation. Next, we determine the canonical join representation $w=\bigvee_{i=1}^m w_i$ of an arbitrary element $w \in W$ based on Reading's work, and prove that $\bigoplus_{i=1}^n S(w_i)$ is the semibrick corresponding to $w$.

研究の動機と目的

• 型AnまたはDnのコックスター群Wの各結合的不可約元wに対応するブリックS(w)の明示的クイバー表現記述を提供すること。
• 任意のw ∈ Wの標準的結合表現と、対応するセミブリックS(w)をブリックの直和に分解することとの間の対応関係を確立すること。
• 前射影代数Πの torsion-free 細分類とコックスター群Wとの既知のラティス同型を、関連する加群の明示的記述へと拡張すること。
• 各群元の標準的結合分解を用いてセミブリックを明示的に計算することにより、前射影代数へのτ-ティルティング理論のフレームワークを一般化すること。

提案手法

• コックスター群Wと前射影代数Πのtorsion-free 細分類との既知のラティス同型を用い、各群元w ∈ WをセミブリックS(w) = soc(Π/I(w))に写像する。
• 各結合的不可約元w ∈ Wに対し、対応するブリックS(w)をクイバー表現として記述するためのヤング図形に類似した表記法を構成する。
• 任意のw ∈ Wの標準的結合表現をリーディングの理論を用いて計算し、対応するセミブリックが結合的不可約成分に対応するブリックの直和であることを示す。
• Iyama–Reading–Reiten–Thomasによる結合的不可約wに対するジャコブソン根の商(Π/I(w))_elの組合せ的記述を応用し、S(w)のクイバー構造を導出する。
• D5に対して明示的な例を計算し、wの符号パターンと降下位置がS(w)のクイバー表現にどのように影響するかを示す。
• 前射影代数Πがτ-ティルティング有限であることを利用し、セミブリックをブリックに分解する標準的結合表現を用いる。

実験結果

リサーチクエスチョン

• RQ1 型AnまたはDnのコックスター群Wの結合的不可約元wに対応するブリックS(w)を、クイバー表現としてどのように明示的に記述できるか？
• RQ2 任意のw ∈ Wの標準的結合表現と、対応するセミブリックS(w)をブリックの直和に分解する関係の間にはどのような関係があるか？
• RQ3 Wの結合的不可約元と前射影代数Π上のブリックとの間の双対写像を、完全に組合せ的かつヤング図形に類似した表記法で可視化できるか？
• RQ4 w ∈ Wの符号パターンと降下位置は、S(w)のクイバー表現構造にどのように影響するか？
• RQ5 任意のw ∈ Wの標準的結合表現は、正確にセミブリックS(w)をブリックS(wi)の直和に分解するものに一致するか？

主な発見

• 型AnまたはDnの各結合的不可約元w ∈ Wに対し、wの符号パターンと降下位置に基づくヤング図形に類似した表記法を用いて、対応するブリックS(w)が明示的に記述される。
• コックスター群におけるw = ⋁_{i=1}^m w_iの標準的結合表現は、セミブリックの直和分解S(w) = ⨁_{i=1}^m S(w_i)に正確に対応する。
• 本稿では、E8型前射影代数における全1272個のブリックを完全にリストアップし、D5型に対して3548個のセミブリックを明示的に計算し、詳細なクイバー表現を提供する。
• D5型では、降下型σ = (k, s, t)ごとに3548個の明示的クイバー表現を持つセミブリックが与えられ、個数は1から9まで変動する。
• 任意のw ∈ Wの標準的結合表現は、S(w)のセミブリック分解に含まれるブリックに対応する最小の結合表現であることが示される。
• 本手法により、標準的結合分解を用いてすべてのセミブリックの完全なクイバー表現記述が得られ、τ-ティルティング理論のフレームワークが前射影代数へと成功裏に一般化された。