[論文レビュー] Derived equivalences and stable equivalences of Morita type, II

Wei Hu, Changchang Xi|arXiv (Cornell University)|Dec 23, 2014

Algebraic structures and combinatorial models参考文献 37被引用数 10

ひとこと要約

この論文は、代数的に閉体上のフロベニウス有限代数に対して、モルita型安定同値を導来同値へと一般化する手法を確立する。フロベニウス有限代数に含まれる単純部分代数を持たない場合、任意のモルita型安定同値が反復的 almost ν-安定導来同値に持ち上がることを証明し、この文脈においてオースランダー＝ライデンの予想を確認するとともに、ブロウのアーベル的デフォルト群予想を特定のケースで検証するための手法を提供する。

ABSTRACT

Motivated by understanding the Broué's abelian defect group conjecture from algebraic point of view, we consider the question of how to lift a stable equivalence of Morita type between arbitrary finite dimensional algebras to a derived equivalence. In this paper, we present a machinery to solve this question for a class of stable equivalences of Morita type. In particular, we show that every stable equivalence of Morita type between Frobenius-finite algebras over an algebraically closed field can be lifted to a derived equivalence. %Thus Frobenius-finite algebras share many common %invariants of both derived equivalences and stable equivalences. Especially, Auslander-Reiten conjecrure is true for stable equivalences of Morita type between Frobenius-finite algebras without semisimple direct summands. Examples of such a class of algebras are abundant, including Auslander algebras, cluster-tilted algebras and certain Frobenius extensions. As a byproduct of our methods, we further show that, for a Nakayama-stable idempotent element $e$ in an algebra $A$ over an arbitrary field, each tilting complex over $eAe$ can be extended to a tilting complex over $A$ that induces an almost $ν$-stable derived equivalence studied in the first paper of this series. Moreover, we demonstrate that our techniques are applicable to verify the Broué's abelian defect group conjecture for several cases mentioned by Okuyama.

研究の動機と目的

• 有限次元代数間のモルita型安定同値が何時導来同値に持ち上がれるかという未解決問題に取り組む。
• リッカードの「導来同値ならば安定同値」の結果を、広範な代数クラスにおいて逆方向に拡張する。
• フロベニウス有限代数の文脈において、モルita型安定同値を導来同値に持ち上げる構成的技法を提供する。
• 開発された道具を用いて、特定のケースでブロウのアーベル的デフォルト群予想を検証する。
• モルita型安定同値に対してオースランダー＝ライデンの予想が成立する条件を確立する。

提案手法

• フロベニウス有限代数を定義する。これは、ν-安定な単位元 e に対して eAe が表現有限であるような代数である。
• eAe 上のティルティング複体を A 上のティルティング複体へと拡張するための道具立てを構築し、almost ν-安定導来同値を保証する。
• シリーズの第一報で得られた almost ν-安定導来同値の理論を応用し、モルita型安定同値から反復的導来同値を構成する。
• 導来同値は単純モジュールの数を保つが、単純射影モジュールの数は、単純部分代数を持たない場合に限り、モルita型安定同値が保つことを利用する。
• 中間関手と ν-安定単位元を用いて、フロベニウス部分代数の構造とその表現有限性を分析する。
• 具体的な例（オースランダー代数、クラスターティルティング代数など）にこの持ち上げ技法を適用し、導来同値への持ち上げを検証する。

実験結果

リサーチクエスチョン

• RQ1 有限次元代数間のモルita型安定同値が何時導来同値に持ち上がれるか。
• RQ2 フロベニウス有限代数間のモルita型安定同値に対して、オースランダー＝ライデンの予想を検証できるか。
• RQ3 モルita型安定同値とその導来同値への持ち上げを用いて、ブロウのアーベル的デフォルト群予想をどの程度まで検証できるか。
• RQ4 セルフ・アーベル代数など、どのような代数クラスがフロベニウス有限か。
• RQ5 フロベニウス部分代数 eAe 上のティルティング複体を、全代数 A 上のティルティング複体へどのように拡張できるか。

主な発見

• 単純部分代数を持たない代数的に閉体上のフロベニウス有限代数間の任意のモルita型安定同値は、反復的 almost ν-安定導来同値に持ち上がることを保証する。
• 単純部分代数を持たないフロベニウス有限代数間のモルita型安定同値に対して、オースランダー＝ライデンの予想が成立する。
• 開発された道具立てにより、オクヤマが以前に研究したいくつかのケースでブロウのアーベル的デフォルト群予想を検証可能である。
• 代数 A にナカヤマ安定単位元 e が存在するとき、eAe 上の任意のティルティング複体は A 上のティルティング複体へと拡張可能であり、これにより almost ν-安定導来同値が誘導される。
• フロベニウス有限代数上のティルティング複体の自己準同型代数のカルタン行列は表現有限であるため、導来同値への持ち上げが可能である。
• この手法は、オースランダー代数、クラスターティルティング代数、および特定のフロベニウス拡張を含む広範な代数クラスに適用可能である。