Derived representation schemes with arbitrary coefficients and associative smoothness

技術要約：任意の係数を持つ派生表現スキームと結合的滑らかさ

問題提起
本論文は、結合的代数の形式的滑らかさを検出する上での、古典的な表現ホモロジーの限界に対処している。派生コントツェヴィチ・ローゼンバーグ原理は、代数 $A$ の幾何学的性質がその派生表現スキーム $DRep_V(A)$ に反映されるべきであることを示唆しているが、既存の結果（特に Berest–Felder–Ramadoss の消滅定理）によれば、もし $A$ が形式的に滑らかであれば、高次表現ホモロジー $HR_i(A, V)$ は $i > 0$ に対して消滅する。しかし、その逆は成立しない。すなわち、行列代数 $End_k(V)$ に係数を限定した場合、非滑らかな代数（例：特定の量子平面）において高次表現ホモロジーが消滅してしまう事例が存在する。中心となる問題は、係数のクラスを行列代数から任意の有限次元代数へと拡張することで、形式的滑らかさを特徴付けることができる、より強力な滑らかさのテストが得られるか否かである。

手法
著者は、標準的な係数代数 $End_k(V)$ を任意の有限次元 $k$-代数 $M$ に置き換えることで、表現ホモロジーの枠組みを一般化している。

1. 一般化された係数: $M$ を係数とする $A$ の表現は、代数準同型 $A \to M$ として定義される。これに関連する派生スキームを $DRep_M(A)$ と表記し、そのホモロジーを $HR_*(A, M)$ とする。
2. 消滅定理の証明: 形式的滑らかさが「すべての有限次元係数に対して高次表現ホモロジーが消滅すること」を証明するために、著者は従来の証明（Ciocan-Fontanine–Kapranov など）で使用されていた「局所的に有限次元な基礎となる DG 代数を持つ半自由分解」という仮定を回避している。代わりに、以下の手法を用いて証明を行っている：
   • 余接複体を用いた比較議論。
   • すべての点における派生接空間に同型を誘導するならば、DG スキームの射は擬同型であるという Neeman のファイバーワイズ検出定理（[15] の補題 2.11）を用いる。
   • 派生接空間 $\pi_i(DRep_M(A), \rho)$ を Hochschild コホモロジー群 $HH^{i+1}(A, M_F)$ と同定すること。
3. 反例の構成: 任意の係数が持つ感度の高さを実証するため、係数として厳密上三角行列代数 $(\mathfrak{n}_3)^+$ を用い、量子平面 $k[x,y]_q$ およびジョルダン平面の表現ホモロジーを明示的に計算している。これには、非自明なホモロジーを示すためのコシェール複体の構成が含まれる。
4. 有限次元代数に対する特徴付け: $A$ 自体が有限次元である場合について、テスト係数として自明な拡大 $A \ltimes N$ を用いることで、消滅定理の逆を証明している。

主要な貢献と結果

• 定理 3.4 (一般化された消滅): $A$ が有限生成の形式的に滑らかな $k$-代数であれば、任意の有限次元 $k$-代数 $M$ に対して $i > 0$ で $HR_i(A, M) = 0$ である。

  • 意義: これは、$A$ の半自由分解に関する技術的に困難な「局所的に有限次元」という条件を必要とせず、 $A$ の有限性と余接複体の性質に依拠することで、既知の消滅定理を回収している。

• 非滑らかさの検出 (定理 4.1 & 4.2): 本論文は、非行列係数を用いた表現ホモロジーが、行列係数では不可視であった特異点を検出することを実証している。

  • 量子平面 $k[x,y]_q$ ($q$ が 1 の冪根でない場合) について、$HR_1(k[x,y]_q, (\mathfrak{n}_3)^+) \neq 0$ である。
  • ジョルダン平面 $k[x,y]_J$ について、$HR_1(k[x,y]_J, (\mathfrak{n}_3)^+) \neq 0$ である。
  • これらの結果は、行列から任意の有限次元係数へと移行することが、より強力な滑らかさのテストを与えることを裏付けている。

• 定理 4.3 (有限次元代数に対する特徴付け): $k$ を代数閉体とする有限次元 $k$-代数 $A$ について、$A$ が形式的に滑らかであるための必要十分条件は、すべての $i > 0$ とすべての有限次元代数 $M$ に対して $HR_i(A, M) = 0$ となることである。

  • メカニズム: 証明では、テスト係数として自明な拡大 $M = A \ltimes N$ を用いている。$HR_i(A, A \ltimes N)$ の消滅は、すべての有限次元双可換加群 $N$ に対して $HH^{i+1}(A, N)$ が消滅することを意味し、これが有限次元代数の形式的滑らかさを特徴付ける。

• 付録 (比較基準): 著者は、主証明の核心となる議論を分離し、一般的な DG スキームの比較基準（命題 A.4）を確立している。この結果は、基礎となるスキームが特定の構造的制約を持つ「DG-多様体」であることではなく、単に局所的な Noetherian 性を要求するという、より弱い仮定の下で Ciocan-Fontanine–Kapranov の比較定理を回収するものである。

意義と主張
本論文は、任意の有限次元係数を用いた派生表現スキームが、古典的な行列値版よりも「厳密に強力な滑らかさのテスト」を提供すると主張している。

• 哲学的整合性: これらの結果は、任意の係数を用いた表現ホモロジーが、結合的滑らかさの完全なホモトピー的特徴付けを与える可能性を示唆しており、派生コントツェヴィチ・ローゼンバーグ原理を支持している。
• 限界と未解決問題: 論文では、一般の有限生成 Noetherian 代数に対する消滅定理の逆が、未解決の問題（問い 1）として明示的に位置づけられている。有限次元代数については逆が証明されているが、著者は一般の場合を解決したとは主張していない。
• Morita 不変性: 著者は、有限次元係数を用いた表現ホモロジーは（形式的滑らかさ自体とは異なり）Morita 不変ではないことを指摘しており、これは代数的性質と表現論的不変性の間の根本的な相違を浮き彫りにしている。

要約すれば、本研究は、係数のクラスを拡張することで表現ホモロジーにおける既知の反例を解消し、非滑らかさを検出するための堅牢なツールを提供するとともに、有限次元代数という重要かつ特定のクラスに対して完全な特徴付けを与えるものである。