[論文レビュー] 2-Auslander algebras associated with reduced words in Coxeter groups

Osamu Iyama, Idun Reiten|arXiv (Cornell University)|Feb 17, 2010

Algebraic structures and combinatorial models参考文献 20被引用数 5

ひとこと要約

本稿は、コックスター群における簡約語の関係で生じる、安定的2-Calabi-Yau圏 Sub Λw 内の標準的クラスタティルティング対象から生じる2-Auslander代数を調査する。これらの代数が強く準ヒルベルト的であることを証明し、そのリングエル双対をシンジージモジュールを用いて同定し、Sub Λw とその自己準同型代数上の良いフィルトレーションを持つモジュールの圏との間に双対性を確立する。主な結果として、簡約分解 w = uv に対する部分因子圏埋め込みを用いて、標準的クラスタティルティング対象とそのシンジージがクラスタティルティンググラフの同じ連結成分に属することを示す。

ABSTRACT

In this paper we investigate the endomorphism algebras of standard cluster tilting objects in the stably 2-Calabi-Yau categories $\Sub{Λ_w}$ with elements $w$ in Coxeter groups in \cite{BIRSc}. They are examples of the 2-Auslander algebras introduced in \cite{I1}. Generalizing work in \cite{GLS1} we show that they are quasihereditary, even strongly quasihereditary in the sense of \cite{R}. We also describe the cluster tilting object giving rise to the Ringel dual, and prove that there is a duality between $\Sub{Λ_w}$ and the category $\mathcal{F}(Δ)$ of good modules over the quasihereditary algebra. When $w = uv$ is a reduced word, we show that the 2-Calabi-Yau triangulated category $\underline{\Sub}Λ_v$ is equivalent to a specific subfactor category of $\underline{\Sub}Λ_w.$ This is applied to show that a standard cluster tilting object $M$ in $\Sub{Λ_w}$ and the cluster tilting object $Λ_w\oplusΩ{M}$ lie in the same component in the cluster tilting graph.

研究の動機と目的

• コックスター群における簡約語 w に対して、Sub Λw 内の標準的クラスタティルティング対象の自己準同型環として生じる2-Auslander代数の構造を調査すること。
• これらの2-Auslander代数が強く準ヒルベルト的であることを証明し、以前の適応可能な語に関する結果を一般化すること。
• このような2-Auslander代数のリングエル双対を、eΩM = Λw ⊕ ΩM とおくとき、EndΛw(eΩM) として同定すること。
• 自己準同型代数上の良いフィルトレーションを持つモジュールの圏 F(∆) と、Sub Λw の圏との間に双対性を確立すること。
• 簡約分解 w = uv に対して、標準的クラスタティルティング対象 M とそのシンジージ ΩM が、Sub Λw のクラスタティルティンググラフの同じ連結成分に属することを、部分因子圏構成を用いて示すこと。

提案手法

• コックスター群の要素に関連する前射影代数の剰余代数から、Frobenius圏としての Sub Λw を構成し、安定的2-Calabi-Yau構造を備えること。
• 文献[15]の一般的構成を用いて、w = uv が簡約語であるとき、Sub Λv を Sub Λw に埋め込み、三角的圏への同値を誘導する部分因子圏に帰着させること。
• 2-Calabi-Yau圏における変異理論を用いて、Sub Λw と Sub Λv 内のクラスタティルティング対象を関連づけ、特にシンジージモジュールの振る舞いに注目すること。
• クイバーの変異技術とモジュール構造の解析を用いて、特に簡約語における繰り返しインデックスに対応する頂点での変異におけるクラスタティルティング対象の変化を追跡すること。
• 帰納法と前射影代数のイデアル構造を用いて、Mw から Ii1 ⊗Λ Mv への変異列が、必要なモジュール構造を保つことを示すこと。
• Sub Λw と F(∆) の双対性を活用し、クラスタティルティンググラフの構造を準ヒルベルト的自己準同型代数の表現論と関連づけること。

実験結果

リサーチクエスチョン

• RQ1 コックスター群における簡約語 w に対して、Sub Λw 内の標準的クラスタティルティング対象の自己準同型代数は、強く準ヒルベルト的であるか？
• RQ2 このような2-Auslander代数のリングエル双対は何か？ そして、Sub Λw 内でどのように実現されるか？
• RQ3 簡約分解 w = uv に対して、Sub Λv の埋め込みを部分因子圏構成を用いて、Sub Λw のクラスタティルティンググラフの連結性を示すことができるか？
• RQ4 文献[15]の部分因子圏構成は、簡約語 w = uv に対して Sub Λv を Sub Λw に埋め込む際にどのように適用されるか？
• RQ5 標準的クラスタティルティング対象の自己準同型代数上の良いモジュールの圏 F(∆) と、Sub Λw の間にはカテゴリカルな双対性が存在するか？

主な発見

• 標準的クラスタティルティング対象 M ∈ Sub Λw の自己準同型代数 EndΛw(M) は、適応可能な語に関する以前の結果を一般化して、強く準ヒルベルト的である。
• EndΛw(M) のリングエル双対は、eΩM = Λw ⊕ ΩM とおくとき、EndΛw(eΩM) として実現され、ΩM は M のシンジージである。
• Sub Λw と、自己準同型代数上の良いフィルトレーションを持つモジュールの圏 F(∆) の間には双対性が存在する。
• 簡約分解 w = uv に対して、部分因子圏の構成を用いて、Sub Λv が Sub Λw に埋め込まれ、Sub Λw の部分因子圏への三角的圏の同値を誘導する。
• 標準的クラスタティルティング対象 Mw から Ii1 ⊗Λ Mv への変異列が存在し、さらに Ii1 ⊗Λ eΩΛvMv へと続くことから、連結性が確立される。
• その結果、標準的クラスタティルティング対象 Mw とそのシンジージ ΩΛwMw は、Sub Λw のクラスタティルティンググラフの同じ連結成分に属する。