[論文レビュー] A $ au$-tilting approach to the first Brauer-Thrall conjecture

Sibylle Schroll, Hipolito Treffinger|Kölner Universitäts PublikationsServer (Universität zu Köln)|Apr 29, 2020

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

ひとこと要約

この論文は、すべての有限次元的ブリックの合成長が有界であるならば、有限次元代数が $τ$-tilting有限であることを示すことによって、最初の $τ$-Brauer-Thrall予想を確立した。$τ$-tilting理論、$g$-ベクトルおよび$c$-ベクトル、符号整合性を用いて、$τ$-tilting無限代数は任意に大きな長さのブリックを含むべきであることを示し、その結果、このような代数に対して古典的な第一Brauer-Thrall予想の新たな証明が得られた。

ABSTRACT

In this paper we study the behaviour of modules over finite dimensional algebras whose endomorphism algebra is a division ring. We show that there are finitely many such modules in the module category of an algebra if and only if the length of all such modules is bounded.

研究の動機と目的

• 第一Brauer-Thrall予想の $τ$-tilting版を確立し、古典的表現論を新しい不変量へと拡張すること。
• 有限次元代数におけるブリックの合成長の有界性と $τ$-tilting対の有限性との関係を調査すること。
• $τ$-tilting無限代数は任意に大きな合成長のブリックを含むべきであることを証明すること。
• $τ$-tilting理論と $c$-ベクトルの符号整合性を用いて、古典的な第一Brauer-Thrall予想の新たなホモロジー的証明を与えること。

提案手法

• $τ$-tilting理論を用いて、$τ$-tilting対を2項のsilt複体および関手的に有限な torsion 系に結びつける。
• 与えられた $τ$-tilting 対から、$M$ や $P$ の単純でない和因子を1つ取り除くことで $n$ 個の異なる $τ$-rigid 対を構成し、それぞれの関連する部分カテゴリに一意なブリックを特定する。
• G行列と $D_A$-行列を用いて、$D_A[B_i] = \langle g^i, [B_i]\rangle_A \mathsf{c}_i$ という式を導出し、$c$-ベクトルとモジュール不変量を結びつける。
• 符号整合性を持つ $c$-ベクトルと鳩の巣原理を用いて、任意の $t$ に対して $\sum |c_i| \geq \delta_A t$ を満たす $c$-ベクトルが存在することを示し、その結果、長さが少なくとも $t$ のブリックが存在することを導く。
• $D_A[B] = (\delta_1[B]_1, \dots, \delta_n[B]_n)$ かつ $\sum \delta_i[B]_i \geq \sum |m_t c_i| \geq \delta_A t$ であることに着目して、合成長を評価する。
• $\hat{M}_i^\perp \cap {}^\perp\tau\hat{M}_i \cap \hat{P}_i^\perp$ と $g$-ベクトルの直交性の双対性を用いて、$j \neq i$ に対して $\langle g^j, [B_i]\rangle_A = 0$ が成り立つことを保証し、行列積の対角化を可能にする。

実験結果

リサーチクエスチョン

• RQ1 有限次元代数において、すべてのブリックの合成長が有界ならば、$τ$-tilting有限性が成立するか？
• RQ2 $τ$-tilting理論と $c$-ベクトルの符号整合性を用いて、第一Brauer-Thrall予想を再証明できるか？
• RQ3 $τ$-tilting無限代数は、合成長が任意に大きなブリックを含むべきか？
• RQ4 $g$-ベクトル、$c$-ベクトル、および $τ$-tilting理論におけるブリックの自己準同型構造との間に構造的関係が存在するか？
• RQ5 $D_A$-行列と $G$-行列の相互作用が、$τ$-tilting無限代数における高長ブリックの存在を一意に決定できるか？

主な発見

• 最初の $τ$-Brauer-Thrall予想が成立する：すべての有限次元的ブリックが $n$ 個未満の合成因子を持つならば、代数は $τ$-tilting有限である。
• 任意の正の整数 $t$ に対して、$τ$-tilting無限代数は少なくとも $t$ 個の合成因子を持つブリック $B_t$ を含む。
• 代数の $c$-ベクトルは符号整合的であり、これは高長ブリックの存在を鳩の巣原理を用いて保証するために重要な性質である。
• 行列式 $G_{(M,P)}^T D_A X_{(M,P)} = D$ は対角行列をもたらし、直交性を確認し、$g$-ベクトル基底から異なるブリックを構成することを可能にする。
• 非ゼロの整数 $\langle g^i, [B_i]\rangle_A$ の存在により、$D_A[B_i]$ が非自明であることが保証され、モジュール構造と $c$-ベクトルを結びつける。
• $\sum \delta_i[B_t]_i \geq \delta_A t$ であることから、$B_t$ の総合成長が $t$ に対して線形に増加することが示され、$τ$-tilting無限代数における長さの無限性が証明された。