[論文レビュー] Infinitely many algebras derived equivalent to a block

Jeremy Rickard|arXiv (Cornell University)|Oct 9, 2013

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

ひとこと要約

この論文は、特定の有限群のブロック代数で、アーベル型のデフォルト部分群をもつ代数が、シンメトリック代数上のモジュールのサジィジによる構成に基づき、無限に多くのモルティア同値でない代数とドリーフ同値であることを示している。主な結果は、ドリーフ同値な代数における非有界なカルタン不変量が、無限に多くのモルティア同値類を意味することであり、ドノヴァン予想における有限性仮定に反する。

ABSTRACT

We give a construction that in many cases gives a simple way to construct infinite families of algebras that are not Morita equivalent, but are all derived equivalent to the same block algebra of a finite group, and apply it to some small blocks. We make some remarks relating this construction to Donovan's Conjecture and Broue's Abelian Defect Group Conjecture.

研究の動機と目的

• ドリーフ同値なブロック代数が、有限個のモルティア同値類をもつのかを調査すること。特に、ドノヴァン予想およびブリュー予想との関係を検討すること。
• 非有界カルタン不変量を持つ無限に多くのドリーフ同値代数の存在が、ドノヴァン予想の弱い形を反証できるかを検討すること。
• サジィジ法を用いた無限族のドリーフ同値だがモルティア同値でない代数を構成するための方法を提供すること。
• 有限単純群の分類定理に依存せずに、このような代数がブロック代数でないことを除外できるかを検討すること。

提案手法

• 単純モジュールの部分集合によって添え字づけられた射影被覆と商モジュールを用いて、ティルティング複体を構成する。
• シンメトリック代数における双対性を用いて、射影モジュールのホモトピー圏におけるホモロジー空間を分析する。
• 自己準同型代数 $ E $ 上のモジュール $ M = \operatorname{Hom}_{A}(P_k, P_\epsilon) $ を定義し、そのサジィジ $ \Omega^s M $ を分析する。
• サジィジのゼロ部分空間の次元に関する再帰関係 $ a_{s+1} = 3a_s + 1 $ を確立し、指数関数的増加を示す。
• 定理 2.3 を適用して、非有界カルタン不変量が、ドリーフ同値な代数の無限に多くのモルティア同値類を意味することを結論づける。
• アーベル型デフォルト部分群（例：$ D = C_3 \times C_3 $）をもつ群代数の構造を用いて、無限に多くのドリーフ同値だがモルティア同値でない代数の具体例を構成する。

実験結果

リサーチクエスチョン

• RQ1 有界カルタン不変量をもつ場合でも、与えられたブロック代数とドリーフ同値なモルティア同値類の無限族が存在するか？
• RQ2 非有界カルタン不変量を持つ無限に多くのドリーフ同値代数の存在が、ドノヴァン予想の弱い形を反証できるか？
• RQ3 サジィジ法によって構成されたドリーフ同値代数が、有限単純群の分類定理を用いずに、いかなるブロック代数ともモルティア同値ではないことを証明できるか？
• RQ4 ドリーフ同値が、ブロック代数と他のドリーフ同値代数を区別できる十分な構造的性質を保存するか？

主な発見

• モジュール $ M $ のサジィジ次元 $ a_s $ は指数関数的に増加し、$ a_0 = a_1 = 2 $ を満たす再帰関係 $ a_{s+1} = 3a_s + 1 $ を満たす。
• 再帰関係の解は指数関数的増加を示す：$ a_s = \left(1 - \frac{1}{\sqrt{5}}\right)\left(\frac{3+\sqrt{5}}{2}\right)^s + \left(1 + \frac{1}{\sqrt{5}}\right)\left(\frac{3-\sqrt{5}}{2}\right)^s $。
• ドリーフ同値な代数における非有界カルタン不変量は、無限に多くのモルティア同値類を意味する。
• この構成は、$ D = C_3 \times C_3 $ のようなアーベル型デフォルト部分群をもつ有限群のブロック代数に適用可能であり、無限に多くのドリーフ同値だがモルティア同値でない代数の族を生成する。
• この方法は有限単純群の分類定理を必要とせず、非ブロック代数とドリーフ同値な代数を区別する可能性のある道筋を示唆する。
• 結果として、ブリューのアーベル型デフォルト予想が、ドノヴァン予想を単純に含むわけではないことが示され、たとえカルタン不変量が有界であっても、有限個のモルティア同値類を保証しないことが明らかになった。