[論文レビュー] On finitistic dimension of stratified algebras

Volodymyr Mazorchuk|arXiv (Cornell University)|Mar 8, 2006

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

ひとこと要約

この論文は、tiltingモジュールとRingel双対性を用いて、特にstrongly standardly stratified (SSS) およびproperly stratified代数のfinitistic次元を調査する。射影的定義のfinitistic次元の上限を標準モジュールのフィルトレーション次元とtiltingモジュールの射影次元の用語で確立し、単純保存双対性を持つ代数においてこれらを関連付ける修正された予想を提示する。

ABSTRACT

In this survey we discuss the results on the finitistic dimension of various stratified algebras. We describe what is already known, present some recent estimates, and list some open problems.

研究の動機と目的

• strongly standardly stratified (SSS)代数の射影的定義のfinitistic次元に対する既存の上限を精緻化・改善すること。
• stratified代数において、finitistic次元、標準モジュールに関するフィルトレーション次元、およびtiltingモジュールの射影次元の関係を調査すること。
• 非自己双対な設定、特にSSS代数において射影的および単射的finitistic次元の非対称性に対処すること。
• 単純保存双対性を持つ代数において、finitistic次元が標準フィルトレーション次元とtiltingモジュールの射影次元に関連する、以前の研究からの修正された予想を提示・正当化すること。
• 特にRingel双対性とテストモジュールを用いて、SSSおよびproperly stratified代数における単射的定義のfinitistic次元の探索を開始すること。

提案手法

• 導来カテゴリにおける一般化されたtiltingモジュールを用い、$I$ がtiltingモジュールであるとき、$I$ の射影次元とfinitistic次元を関連付ける。
• モジュールカテゴリ上の双対性を適用して、自己双対なtiltingモジュールを構成し、適切な条件下で $\operatorname{fdim}(A) = 2 \cdot \operatorname{pd}(T)$ という恒等式を導出する。
• 各 $\lambda \in \Lambda$ に対して $H(\lambda)$ を $L(\lambda)$ の射影的包の商として定義し、$H = \bigoplus_{\lambda \in \Lambda} H(\lambda)$ を定義し、finitistic次元をテストする。
• Ringel双対性を用いる：SSS代数 $A$ のRingel双対 $R$ がproperly stratifiedであれば、$\operatorname{ifdim}(A) \leq \operatorname{fdim}(A)$ が成り立ち、$\operatorname{ifdim}(A)$ の上限が得られる。
• $D^b(A)$ におけるホモロジー的技法を用い、$L$、$H$、$K$ を含む完全系列を用いて、有限単射次元を持つモジュール $M$ に対して $\operatorname{Ext}^k(H,M)$ が非自明であることを示す。
• 不等式系列 $2 \cdot \operatorname{fdim}_{\Delta}(A) \leq \operatorname{fdim}(A) \leq \operatorname{fdim}_{\Delta}(A) + \operatorname{pd}(T) \leq 2 \cdot \operatorname{pd}(T)$ を、$A$ やそのRingel双対のホモロジー的性質に言い換える。

実験結果

リサーチクエスチョン

• RQ1 SSS代数およびproperly stratified代数、特に単純保存双対性を持つものにおいて、$\operatorname{pd}(T)$ と $\operatorname{fdim}_{\Delta}(A)$ はどれほど異なることができるか？
• RQ2 Ringel双対がproperly stratifiedで、かつ $\operatorname{pd}(T) = \operatorname{pd}(T^{(R)})$ を満たすSSS代数は、どのような特徴を持つのか？
• RQ3 $A$-mod 上で、自己準同型代数 $\operatorname{End}_A(H)$ がproperly stratifiedであるための条件は何か？
• RQ4 $fimdim(A)$ と $\operatorname{fdim}(\operatorname{End}_A(H))$ の間に直接的な関係はあるか？
• RQ5 tiltingモジュールを用いて、SSS代数やproperly stratified代数における単射的定義のfinitistic次元 $\operatorname{ifdim}(A)$ を推定または計算できるか？

主な発見

• 単純保存双対性を持つproperly stratified代数において、修正された予想は $\operatorname{fdim}(A) = \operatorname{fdim}_{\Delta}(A) + \operatorname{pd}(T)$ を示し、以前の予想を精緻化する。
• 不等式 $2 \cdot \operatorname{fdim}_{\Delta}(A) \leq \operatorname{fdim}(A) \leq \operatorname{fdim}_{\Delta}(A) + \operatorname{pd}(T) \leq 2 \cdot \operatorname{pd}(T)$ が成り立ち、すべての項が $A$ やそのRingel双対のホモロジー的性質として表現可能である。
• 遺伝的代数の例は、$2 \cdot \operatorname{fdim}_{\Delta}(A) = 0 < \operatorname{fdim}(A) = 1 < 2 \cdot \operatorname{pd}(T) = 2$ を示しており、この系列における最初の不等式と3番目の不等式が真に成立することを示している。
• SSS代数 $A$ のRingel双対 $R$ がproperly stratifiedであれば、単射的finitistic次元は $\operatorname{ifdim}(A) \leq \operatorname{fdim}(A)$ を満たし、$\operatorname{ifdim}(A)$ の上限が得られる。
• 射影的包から標準モジュールの像の和を除いた商として構成されるモジュール $H = \bigoplus_{\lambda} H(\lambda)$ は、有限単射次元を検出するテストモジュールとして機能する。
• $\operatorname{End}_A(H)^{\text{opp}}$ は常にSSS代数であるため、導来カテゴリにおける双対性やfinitistic次元を研究する自然な構成が得られる。