Hochschild cohomology of Beilinson algebras of graded down-up algebras with weights ($n,m$)

技術的概要：重み (n, m) を持つ次数付きダウンアップ代数のビーリソン代数の高ホモロジーコホモロジー

問題提起
本論文は、次数付きダウンアップ代数 $A = A(\alpha, \beta)$ に付随するビーリソン代数 $\nabla A$ の高ホモロジーコホモロジー群 $HH^r(\nabla A)$ の計算を取り扱う。代数 $A$ は、生成元 $x, y$ と重み $(\deg x, \deg y) = (n, m)$ を持ち、標数 0 の代数閉体 $k$ 上で定義される。本研究は、$\beta \neq 0$ であり、$A$ が 3 次元ノーター環 AS-正則代数となる場合に焦点を当て、特に重みが $m \ge n > 1$ かつ $\gcd(n, m) = 1$ を満たす未解決のケースを標的とする。

先行研究では、$(n, m) = (1, 1)$ の場合（Belmans）および $(n=1, m \ge 2)$ の場合（Itaba–Ueyama）について結果が確立されていた。本研究は、これら知見を両方の重みが 1 より大きい状況に拡張する。主な目的は、高ホモロジーコホモロジー群の次元を決定し、$HH^1$ および $HH^2$ の明示的な基底を構成し、Yoneda 積に関する環構造を記述し、関連する非可換射影スキームの導来圏同値性を調査することである。

方法論
著者は、その被覆代数 $(\nabla A)^e$ 上の加群としてのビーリソン代数 $\nabla A$ の最小射影分解を用いる代数的アプローチを採用する。方法論は以下の手順で進行する。

1. 分解の構成: Green–Snashall の枠組みに従い、著者は $\nabla A$ の最小射影分解 $P_\bullet$ を構成する。$\nabla A$ のクイバーの頂点、矢印、関係式に対応する特定の生成元集合 $G_0, G_1, G_2$ を定義する。微分 $\partial_1$ と $\partial_2$ は明示的に定義される。
2. 双対複体と行列表現: 関手 $\text{Hom}_{(\nabla A)^e}(-, \nabla A)$ を適用することで、著者は双対空間の複体を得る。これらの双対空間の $k$-基底を構成し、誘導された写像 $\widehat{\partial}_1$ と $\widehat{\partial}_2$ を行列（$L_1$ と $L_2$）として表現する。
3. ランク計算: コホモロジー群の次元は、これらの表現行列のランクを計算することで導かれる。著者は、巡回行列およびそれに関連する多項式の性質を利用して、パラメータ $\alpha, \beta$ および重み $n, m$ に関する様々な条件の下での $L_1$ と $L_2$ のランクを決定する。
4. 基底の構成: 双対複体における微分の核と像を解析することにより、コホモロジー群 $HH^1(\nabla A)$ および $HH^2(\nabla A)$ の明示的な基底が構成される。
5. 環構造: 全高ホモロジーコホモロジー環 $\bigoplus_{r \ge 0} HH^r(\nabla A)$ 上の Yoneda 積構造は、コホモロジー類をリフトする鎖写像を構成し、それらの合成を計算することで決定される。
6. 導来圏解析: 著者は、高ホモロジーコホモロジーのオイラー特性およびグロテンディーク群上のセール関手の性質を利用して、単幂性をテストし、滑らかな射影多様体の導来圏に関する既知の定理と比較する。

主要な結果

• 次元公式: 本論文は、$m > n > 1$ かつ $\gcd(n, m) = 1$ の場合のすべての $r \ge 0$ に対する $HH^r(\nabla A)$ の完全な次元公式を提供する。
  • $HH^0(\nabla A) \cong k$（次元 1）。
  • $HH^1(\nabla A)$ は、$n+m$ が偶数かつ $\alpha=0$ の場合（ケース I）に次元 2 を持ち、それ以外の場合（ケース II）に次元 1 を持つ。
  • $HH^2(\nabla A)$ の次元は $n$ とケースに依存する。
    • $n=2$ の場合：次元は $m+5$（ケース I）または $m+4$（ケース II）。
    • $n \ge 3$ の場合：次元は $n+m+1$（ケース I）または $n+m$（ケース II）。
  • すべての $r \ge 3$ に対して $HH^r(\nabla A) = 0$。
• 明示的な基底: 著者は、すべての部分ケース（$\lambda_{m+1}=0$ や $\alpha^2+4\beta=0$ などの $\alpha$ と $\beta$ に関する特定の条件を含む）に対して、$HH^1(\nabla A)$ および $HH^2(\nabla A)$ の明示的な $k$-基底を構成する。
• 環構造: 全高ホモロジーコホモロジー環は、斉次イデアル $I$ による外積代数 $\Lambda(a, b)$ の商に同型であることが示される。生成元 $(a, b)$ の数と $I$ 内の特定の関係式は、すべてのケースについて表形式で示される。多くのケース（特に $n \ge 2$ の場合）において、イデアル $I$ は自明であり、環が自由な外積代数であることを意味する。
• 導来圏の非同値性: $m > n > 1$ の場合に対して、重要な構造的帰結が導かれる。著者は高ホモロジーコホモロジーのオイラー特性 $\chi_{HH}(HH^\bullet(\nabla A))$ を計算し、それが非可換射影スキームの有界導来圏のグロテンディーク群のランク $2(n+m)$ と等しくないことを示す。滑らかな射影曲面におけるセール関手の単幂性に関する Bondal–Polishchuk の定理を援用することで、セール関手が単幂的に作用しないことを結論づける。その結果、導来圏 $Db(\text{tails } A)$ は、いかなる滑らかな射影曲面の有界導来圏とも同値ではない。

意義と主張
本論文は、両方の重みが 1 より大きい、これまで扱われていなかったケースに対して、次数付きダウンアップ代数のビーリソン代数の高ホモロジーコホモロジーの分類を拡張すると主張する。明示的な射影分解の構成と行列ランクの計算を通じて、著者はコホモロジー次元と環構造の完全な代数的記述を提供する。

この研究は、これらの非可換代数の幾何学的性質における相違点を浮き彫りにする。$(1,1)$ および $(1,2)$ のケース（$n=1$）は、滑らかな射影曲面への導来同値性（または単幂的なセール関手）を示すのに対し、本論文は $m > n > 1$ の場合、この同値性が崩壊することを示す。この結果は、高重みの状況における AS-正則代数と滑らかな射影多様体の間の導来同値性の普遍性に対する反例として機能し、非可換射影スキームの幾何学的実現に関する理解を精緻化する。