Homological Invariants of Left and Right Serial Quiver Algebras

技術要約：左および右連続的キバー代数のホモロジー不変量

問題提起
本論文は、有限次元代数の表現論における中心的な未解決問題である**有限次元仮説（finitistic dimension conjecture）**を取り扱う。この仮説は、任意の有限次元代数 $\Lambda$ に対して、小有限次元 ($\text{findim } \Lambda$) と大有限次元 ($\text{Findim } \Lambda$) が有限であることを主張するものである。一般の単項代数（monomial algebras）において $\text{findim } \Lambda = \text{Findim } \Lambda$ が成立しないことは既知であるが、これらの次元の有限性に関する仮説は依然として未解決である。

本研究における主要な道具は、イグサとトドロフによって導入された不変量であるデルーピング・レベル（delooping level, $\text{dell}$）である。$\text{Findim } \Lambda \leq \text{dell } \Lambda^{\text{op}}$ であることは知られているが、デルーピング・レベルには限界がある。すなわち、すべての代数に対して必ずしも有限ではないこと、および、有限のデルーピング・レベルを持つ加群の集合が、拡張、部分加群、または商に関して閉じているわけではないことである。その結果、$\text{dell } \Lambda^{\text{op}}$ は $\text{Findim } \Lambda$ よりも厳密に大きくなることがあり、場合によってはその差が任意に大きくなることもある。本論文は、特に左および右連続的キバー代数（left and right serial quiver algebras）、すなわち、シジジー（syzygy）構造が扱いやすい単項代数の部分クラスに焦って、これらの不変量の理解を精緻化することを目的としている。

手法
著者は、パス（道）と関係（relations）の構造に基づく組合せ論的なアプローチを採用している。その手法は以下の3点に基づいている：

1. 右補完（Right Completions）： パスをゼロの関係へと変える最小のパス（右補完）の概念を利用して、単項代数の上の加群のシジジーを分析する。
2. 列の反転（Reversal of Sequences）： 逆代数 $\Lambda^{\text{op}}$ における右補完の列と、$\Lambda$ の加群の射影次元との間の対応関係を確立する。具体的には、本論文は、$\Lambda^{\text{op}}$ における右補完の極大列を反転させることで、射影次元を抑え込む $\Lambda$ における関係の列が得られることを示している。
3. 精緻化された不変量： 著者は、標準的なデルーピング・レベルよりも改善された2つの不変量を用い、その動機付けを行っている：
   • 部分派生デルーピング・レベル（sub-derived delooping level, $\text{sub-ddell}$）： 部分加物の概念を通じて定義され、$\text{Findim } \Lambda^{\text{op}}$ のよりタイトな上界を提供する。
   • 派生デルーピング・レベル（derived delooping level, $\text{ddell}$）： 完全列を通じて定義され、拡張や部分加物に対してより良く振る舞い、捩れのない類（torsion-free class）を形成する。

主要な貢献および結果

• 右連続的代数（Right Serial Algebras）： 本論文は、任意の右連続的キバー代数 $\Lambda$ について、右の小有限次元と大有限次元は等しく、それらは逆代数の左デルーピング・レベルおよび派生デルーピング・レベルによって正確に決定されることを証明している。具体的には：
  $$\text{findim } \Lambda = \text{Findim } \Lambda = \text{dell } \Lambda^{\text{op}} = \text{ddell } \Lambda^{\text{op}} < \infty$$
  この結果は、右連続的代数においては、キバーの構造（各頂点から出る矢印が最大で1つであること）により、パスによって生成される加物の射影次元が、逆代数の単純加物のデルーピング・レベルと正確に一致することを示すことで確立される。

• 左連続的代数（Left Serial Algebras）： 左連続的代数の場合、$\text{Findim } \Lambda = \text{dell } \Lambda^{\text{op}}$ は一般には成立しない。本論文は、この等式が成立するための十分条件を提示している：もし最大デルーピング・レベルを達成するすべての単純 $\Lambda^{\text{op}}$-加物が、右補完の列全体がキバーの循環部分または木の部分のいずれか一方のみに支持されている（両方を混合していない）場合、等式は成立する。

• 反例と精緻化：

  • 本論文は、十分条件が成立しない表現有限な左連続的代数（例 4.7）を構成している。この場合、$\text{Findim } \Lambda = 1$ であるのに対し、$\text{Findim } \Lambda^{\text{op}} = 2$ となる。
  • 極めて重要なことに、この反例において、代数の派生デルーピング・レベルは、逆代数の正しい有限次元を回収する：$\text{ddell } \Lambda = \text{Findim } \Lambda^{\text{op}} = 2$ である。これは、$\text{dell } \Lambda^{\text{op}}$ が（この場合は3であり）次元を過大評価してしまう一方で、$\text{ddell } \Lambda$ が $\text{Findim } \Lambda^{\text{op}}$ の正確な境界を提供することを実証している。
  • 本論文は、$\text{sub-ddell}$ および $\text{ddell}$ が $\text{dell}$ よりも厳密に小さくなり得る一方で、有限次元を等しくすることを示し、これら改良された不変量の有用性を検証している。

• 既知の結果の回収： 提案された手法は、これらのすべてのホモロジー次元が一致する、ナカヤマ代数（Nakayama algebras）および非循環的キバーの単項代数の既知の結果を回収する。

意義
本論文の意義は以下の領域にあると主張される：

1. アルゴリズム計算： 逆代数のデルーピング・レベルを通じて、右連続的キバー代数の有限次元を決定するための、有限で計算が容易なアルゴリズムを提供する。
2. 既知のクラスの拡張： 大有限次元が逆代数のデルーピング・レベルによって記述される代数のリストに、右連続的キバー代数および特定の左連続的代数の部分クラスを加える。
3. 精緻化された不変量の検証： $\text{sub-ddell}$ および $\text{ddell}$ が標準的なデルーピング・レベル $\text{dell}$ よりも優れていることを実証し、その実用的な優位性を裏付ける。$\text{dell}$ が特定の左連続的なケースにおいて有限次元を捉え損ねることがある一方で、$\text{ddell}$ はしばしば成功することを示しており、これはより広いクラスの代数に対して有限次元仮説を解決するための道筋を示唆している。
4. 構造的洞察： キバーのパスの組合せ論的構造（特に、補完列における循環部分と木部分の混合）をホモロジー不変量に結びつけることで、特定の左連続的なシナリオにおいてデルーピング・レベルの境界が失敗する理由について、より深い構造的理解を提供する。

本論文は、デルーピング・レベルと有限次元の差が、キバーにおける入次数または出次数の最大数によって定量化できるか、また、左連続的代数において差を任意に大きく構築できるか、という未解決の問いを提示して締めくくられている。