[論文レビュー] Derived equivalences, restriction to self-injective subalgebras and invariance of homological dimensions

Ming Fang, Wei Hu+1 more|arXiv (Cornell University)|Jul 12, 2016

Algebraic structures and combinatorial models参考文献 32被引用数 8

ひとこと要約

この論文は、ν-支配的次元が1以上の代数において、導来同値がグローバル次元および支配的次元を保存することを確立している。特に、導来同値がそれら代数の唯一の最大の自己同型的中心化部分代数に誘導する導来同値を示す導来制限定理を用いる。主な貢献は、モーリタ代数やほぼ自己同型代数を含むクラスにおいて、導来同値下でのホモロジー次元の不変性を証明したことであり、q-シュール代数およびそのブロックへの応用も含む。

ABSTRACT

Derived equivalences between finite dimensional algebras do, in general, not pass to centraliser (or other) subalgebras, nor do they preserve homological invariants of the algebras, such as global or dominant dimension. We show that, however, they do so for large classes of algebras described in this article. Algebras $A$ of $ν$-dominant dimension at least one have unique largest non-trivial self-injective centraliser subalgebras $H_A$. A derived restriction theorem is proved: A derived equivalence between $A$ and $B$ implies a derived equivalence between $H_A$ and $H_B$. Two methods are developed to show that global and dominant dimension are preserved by derived equivalences between algebras of $ν$-dominant dimension at least one with anti-automorphisms preserving simples, and also between almost self-injective algebras. One method is based on identifying particular derived equivalences preserving homological dimensions, while the other method identifies homological dimensions inside certain derived categories. In particular, derived equivalent cellular algebras have the same global dimension. As an application, the global and dominant dimensions of blocks of quantised Schur algebras with $n \geq r$ are completely determined.

研究の動機と目的

• 有限次元代数において、導来同値がグローバル次元や支配的次元などのホモロジー不変量を保存するかどうかという未解決問題を解消すること。
• 代数間の導来同値が、それらの自己同型的中心化部分代数間の導来同値を誘導する条件を同定すること。
• 単純加群を保存する反自己同型を持つ代数およびほぼ自己同型代数において、ホモロジー次元の不変性を確立すること。
• n ≥ r かつ q が単位根であるとき、量子シュール代数のブロックのグローバル次元および支配的次元を特定すること。
• 量子シュール代数のブロック間の導来同値が支配的次元を保存することを示し、特に非半単純ブロックでは支配的次元が 2(ℓ−1) に等しいことを示すこと。

提案手法

• ν-支配的次元を導入し、ν-支配的次元 ≥1 の代数 A に対して、非自明な最大の自己同型的中心化部分代数 H_A が一意に存在することを保証する構造的不変量とする。
• 導来制限定理の証明：A と B が導来同値であり、ν-支配的次元 ≥1 を満たすならば、それらに付随する自己同型的中心化部分代数 H_A と H_B に対しても導来同値が成立する。
• 2通りの異なる手法を用いる：1つはティルティング複体を通じてホモロジー次元を保存する導来同値を同定する方法、もう1つは導来圏内でのホモロジー次元の検出に依存する方法。
• モーリタ代数および単純加群を保存する反自己同型を持つ代数に導来制限定理を適用し、グローバル次元および支配的次元が導来同値下で保存されることを示す。
• カバー理論とルーカーの枠組みを用いて、量子シュール代数がヘッケ代数の (ℓ−1)-被覆であることを示し、ブロック間の導来同値を活用して支配的次元を計算する。
• 既知の対称群および根の単位におけるヘッケ代数のコホホロジーを用い、非自明なExt群の存在を示し、w ≠ 0 のとき支配的次元が正確に 2(ℓ−1) に等しいことを証明する。

実験結果

リサーチクエスチョン

• RQ1 2つの有限次元代数間の導来同値が、それらの自己同型的中心化部分代数間の導来同値を誘導する条件は何か？
• RQ2 ν-支配的次元が1以上の代数において、グローバル次元は導来同値下で不変か？
• RQ3 単純加群を保存する反自己同型を持つ代数において、支配的次元は導来同値下で不変か？
• RQ4 n ≥ r かつ q が単位根であるとき、量子シュール代数 S_q(n,r) のブロックのグローバル次元および支配的次元は何か？
• RQ5 導来制限定理は、ヘッケ代数の準特異被覆における一様被覆性を示すために応用可能か？

主な発見

• 導来制限定理により、ν-支配的次元が1以上の代数間の導来同値が、それらに付随する自己同型的中心化部分代数 H_A と H_B 間の導来同値を誘導することが保証される。
• 単純加群を保存する反自己同型を持つ代数では、グローバル次元および支配的次元が導来同値下で不変である。
• ほぼ自己同型代数に対しても、2通りの異なる手法に基づいて、グローバル次元および支配的次元が導来同値下で不変であることが示された。
• セルラー代数同士の導来同値では、グローバル次元が同一であり、このクラスにおける不変性が確認された。
• n ≥ r かつ q が単位根であるとき、量子シュール代数 S_q(n,r) のブロックでは、w = 0 のとき支配的次元が ∞ に等しく、w ≠ 0 のとき 2(ℓ−1) に等しい。
• 量子シュール代数のブロックは、対応するヘッケ代数のブロックの (ℓ−1)-被覆であり、ブロック間の導来同値が支配的次元を保存する。