$\tau$-tilting modules, depth and delooping level

技術的要約：$\tau$-tilting 加群、深さ（depth）およびデループレベル（delooping level）

問題設定
本論文は、有限次元代数の表現論における中心的な未解決問題である**有限次元次元予想（finitistic dimension conjecture）**を扱っている。この予想は、任意の有限次元代数 $A$ に対して、有限射影次元を持つすべての有限生成加群の射影次元の上限（有限次元次元、$\text{findim} A$ と表記）は有限であると主張するものである。

Gelinas (2022) による最近の研究では、有限次元次元の境界を与えるためにデループレベル（delooping level）という概念が導入された。具体的には、Gelinas は、有限次元代数 $A$ の $A^{\text{op}}$ の有限次元次元が、$A$ の深さ（depth）とデループレベルによって抑えられることを証明した（定理 1.1）。しかし、一般的な代数におけるデループレベルの有限性については反例が存在しており、これらのホモロジー不変量と特定の加群のクラスとの関係は、現在も活発に研究されている領域である。

著者らは、$\tau$-tilting 理論の枠組みの中で、Gelinas の定理を一般化できるか否かを問うている。すべての代数 $A$ は自然に自身に対する $\tau$-tilting 加群であるため、著者らは、任意の $\tau$-tilting 加群 $T$ に関する「相対的な」深さとデループレベルを定義し、これらの相対的不変量が、端層代数 $B = \text{End}_A(T)^{\text{op}}$ の有限次元次元を抑えるかどうかを検討している。

手法
著者らは、$\tau$-tilting 理論、ねじれ対（torsion pairs）、および Adachi, Iyama, Reiten によって発展したブリック（brick）およびセミブリック（semi-brick）の理論の仕組みを用いている。手法は以下のステップで進行する：

1. 相対的不変量の定義:

   • 相対的なグレード（grade）と深さ（depth）: $\tau$-tilting 加群 $T$ に対し、著者らは $\text{Fac}T$（$T$ によって生成される部分圏）における加群 $M$ の $T$ に関するグレードを $\text{Ext}^i_A(M, T)$ を用いて定義する。$\text{Fac}T$ の $T$ に対する深さは、特定のセミブリック $S$（$T$ に関連するもの）に関するこれらのグレードの上限として定義される。
   • 相対的なデループレベル: $\text{Fac}T$ 内のブリックと $\text{mod} B$ の特定の部分圏における単純加群との間の全単射を利用して、著者らは $\text{Fac}T$ における加群の $k$-デループレベル を $T$ に関して定義する。これには、$T$ に関するシジジー（syzygies, $\Omega_T$）および安定レトラクト（stable retracts）が関与する。

2. ホモロジー的同値性:
   本論文は、関手 $\text{Hom}_A(T, -)$ によって誘導される $\text{Fac}T$ と $\text{mod} B$ の部分圏の間の圏の同値性に大きく依存している。具体的には、定理 1.3 は $\text{Fac}T$ のセミブリック分解におけるブリックと $\text{Sub}(DT)$ 内の単純加群との間の全単射を確立している。

3. 分解技法:
   著者らは、最小の $T$-プレゼンテーション（項が $\text{add} T$ に属する完全系列）を用いて、$\text{mod} B$ における射影分解を構成する。補題 3.3 および命題 4.3 は、$\text{mod} A$ における最小の $T$-プレゼンテーションが、どのように $\text{mod} B^{\text{op}}$ における最小の射影プレゼンテーションへと変換されるかを示している。

主要な貢献および結果

1. Gelinas の定理の一般化 (定理 1.2 & 3.4):
   著者らは、$\text{Fac}T$ の $T$ に対する深さが $B^{\text{op}}$ の有限次元次元の下限となることを証明した：
   $$\text{depth}_T(\text{Fac}T) \leq \text{findim}(B^{\text{op}})$$
   これは、Gelinas の結果（$T=A$ の場合）を任意の $\tau$-tilting 加群へと一般化したものである。

2. デループレベルによる上界 (定理 1.4 & 4.5):
   本論文は、$\text{Fac}T$ の $T$ に対するデループレベルが $B^{\text{op}}$ の有限次元次元の上限として機能することを確立している：
   $$\text{findim}(B^{\text{op}}) \leq \text{delooping level}_T(\text{Fac}T)$$
   さらに、代数 $B$ の $k$-デループレベルは、部分圏 $\text{Fac}T$ の $T$ に対する $k$-デループレベルに等しいことを示している。

3. 有限性条件 (定理 1.5 & 5.3):
   これらの境界の主要な応用は、有限次元次元の有限性に関する新しい判定基準である。著者らは、部分圏 $\text{Fac}T$ と $\text{Sub}T$（$T$ によって余生成されるもの）の共通部分が**有限表現型（finite representation type）**であれば、$\text{findim}(B^{\text{op}})$ は有限であることを証明した。

   • これは、もし $A$ が有限表現型であれば、任意の $\tau$-tilting 加群 $T$ に対して $\text{findim}(B^{\text{op}})$ は有限であることを意味する。
   • また、これはもし $A$ が**極小表現無限型（minimal representation infinite）**代数（無限型であるが、すべての真な因子代数が有限型であるもの）であれば、$\text{findim}(B^{\text{op}})$ は有限であることを意味する。

4. 派生同値性と対称性 (命題 5.6):
   本論文は、$T$ が $\tau$-tilting 加群である場合、$A$（$T$ の消滅子による商）と $B^{\text{op}}$ は派生同値（derived equivalent）であることを指摘している。したがって、有限次元次元の有限性は両者の間で保存される。

意義および主張
本論文は、$\tau$-tilting 加群の文脈に特化した、Gelinas の定理（定理 1.1）の一般化版を提供することを主張している。「$T$ に対する深さ」および「$T$ に対するデループレベル」を導入することで、著者らは $\tau$-tilting 加群の端層代数の有限次元次元を抑える枠組みを構築している。

主要な意義は、有限次元次元予想への適用にある。著者らは、二つの重要なクラスの代数――有限表現型の代数、および極小表現無限型の代数――について、任意の $\tau$-tilting 端層代数の反対側の代数の有限次元次元が有限であることが保証されることを示している。これは、$T=A$ のケースから得られる既知の結果を、より広いクラスの加群へと拡張することにより、$\tau$-tilting 理論の特定の文脈において、予想に対する肯定的な部分回答を提供している。

著者らは、一般的な予想については慎重な姿勢を保っている。彼らは境界と有限性が成立する特定のケースを提供しているものの、任意の代数におけるデループレベルの一般的な有限性は、既存の文献における反例が示す通り、依然として未解決の問題であるとしている。本研究は、$\tau$-tilting 加群の構造的性質（特に $\text{Fac}T \cap \text{Sub}T$ の表現型）と、その端層環のホモロジー的な有限性を結びつける架け橋としての役割を果たしている。