Group actions on relative cluster categories and Higgs categories

技術的概要：相対的クラスター圏およびヒッグス圏における群作用

問題提起
Fomin と Zelevinsky によって導入されたクラスター代数は、標準的基底と全正性（total positivity）を研究するための組合せ論的枠組みを提供する。非循環的クイバーに付随するクラスター代数は、クラスター圏（Buan–Marsh–Reineke–Reiten–Todorov）を介してモデル化され、ポテンシャル付きクイバー（Derksen–Weyman–Zelevinsky; Amiot; Plamondon）へ一般化されることに成功しているが、歪対称化可能なクラスター代数の圏論的モデル化においては依然として大きな隔たりが存在する。これらの代数には、$B, C, F, G$ 型のリー群に付随するものや、非単純連結な場合の主要係数（principal coefficients）を有するものが含まれるが、これらは歪対称クイバーから直接構成することはできない。

Demonet による先行研究は、非循環的クイバーのクラスター圏に対する群作用を通じて歪対称化可能なクラスター代数を構成することでこの課題に取り組んだ。しかし、Fomin–Zelevinsky の理論は、歪対称化可能行列によって定義されるより一般的なシードへ拡張され、係数を扱うためにはしばしばポテンシャル付きアイスクイバーと相対的クラスター圏の文脈が必要となる。本論文が扱う問題は、Demonet の結果をポテンシャル付きアイスクイバーの設定へ一般化すること、すなわち、係数を伴う歪対称化可能なクラスター代数を圏論化するために$G$-等変相対的クラスター圏および$G$-等変ヒッグス圏を構成することである。

手法
本論文は、微分付加代数（dg 代数）の手法、群作用、および表現論を組み合わせる。手法は以下の段階を経て進行する。

1. 等変カルービ–ヤウ完備化:
   著者は、滑らかな dg 代数間の dg 準同型 $f: B \to A$ に作用する有限群 $G$ を考える。Hochschild 同調類 $\xi \in HH_{n-2}(f)^G$ を利用することで、変形された相対的 $n$-カルービ–ヤウ完備化が構成される。$\xi$ が負の循環同調へ持ち上げられる場合、歪群 dg 代数間の誘導された準同型 $\tilde{f} * G: \Pi_{n-1}(B, \xi_B) * G \to \Pi_n(A, B, \xi) * G$ が、標準的な左 $(n+1)$-カルービ–ヤウ構造を有することが示される。

2. 等変圏の構成:
   特定の安定性条件（仮定 1）を満たす $G$-作用を有するポテンシャル付きアイスクイバー $(Q, F, W)$ に対して、相対的 Ginzburg dg 代数 $\Gamma_n(Q, F, W)$ が構成される。著者は、歪群代数 $\Gamma_n(Q, F, W) * G$ が、新しいポテンシャル付きアイスクイバー $(Q_G, F_G, W_G)$ に付随する Ginzburg 代数 $\Gamma_n(Q_G, F_G, W_G)$ と導来モリタ同値であることを確立する。この新しいクイバーは、軌道代表元と安定化部分群の既約表現を通じて構成される。

3. 等変圏の定義:

   • $G$-等変相対的クラスター圏: $\text{per}(\Gamma * G) / \text{pvd}(\Gamma * G)$ のベルディエ商の冪等完備化として定義される。本論文は、これが等変圏 $C(\Gamma)^G$ および商クイバーの相対的クラスター圏 $C(\Gamma_G)$ と三角同値であることを証明する。
   • $G$-等変ヒッグス圏: 等変クラスター圏の特定の完全部分圏として定義され、射影的 - 単射的対象のシフトに対する Hom 条件の消滅によって特徴づけられる。この圏は、フロベニウス外三角圏であることが示される。

4. クラスター指標と圏論化:
   ヒッグス圏に対するクラスター指標が構成される。$G$-安定なクラスター・ティルティング対象の集合における軌道ミューテーションと、ローラン多項式上の射影写像を利用することで、著者は等変圏の組合せ論を係数を伴う歪対称化可能なクラスター代数へと結びつける。

主要な貢献と結果

• Demonet の研究の一般化: 本論文は、Demonet による歪対称化可能なクラスター代数の構成を、非循環的クイバーからポテンシャル付きアイスクイバーのより広範な文脈へ成功裏に拡張する。これにより、係数および非自明なポテンシャルの包含が可能となる。
• 圏の同値性: 中心的な結果（定理 5.9）は、$G$-等変ヒッグス圏 $H(\Gamma_G)$ と等変圏 $H(\Gamma)^G$ の間のフロベニウス外三角圏の同値性を確立する。これは、圏論的構造が群作用および歪群代数への移行において保存されることを確認するものである。
• 軌道ミューテーション: 本論文は、$G$-安定なクラスター・ティルティング対象に対する軌道ミューテーションを定義する。また（命題 6.18）、ミューテーションされた対象の交換行列が、関連する歪対称化可能行列の Fomin–Zelevinsky 型ミューテーションに対応することを証明する。
• 主要係数の圏論化: 本論文は、非単純連結な場合（タイプ $B, C, F, G$）における主要係数を有するクラスター代数に対する加法圏論化を提供する。これは、ポテンシャルが非退化であり群作用が許容的である特定のアイスクイバーに理論を適用することで達成される。
• 具体的な例:
  • タイプ $B_2/C_2$: 特定のアイスクイバーに対する $\mathbb{Z}/2\mathbb{Z}$ 作用が、主要係数を有するタイプ $B_2$（または $C_2$）のクラスター代数の初期交換行列を生み出す例が提示される。
  • リー群のユニポテント部分群: 本構成は、非単純連結な場合の単純リー群の極大ユニポテント部分群の関数代数 $\mathbb{C}[N]$ と結びつけられ、Demonet によって以前に研究された結果を、相対的ヒッグス圏の枠組みの中で回復する。
  • 穴のある曲面: 本構成は、穴のある曲面から生じるクラスター代数と関連付けられ、穴のある曲面の等変圏が、$\mathbb{Z}/2\mathbb{Z}$ 作用を介して穴のない曲面のヒッグス圏とどのように関連するかを示す。

意義と主張
本論文は、係数を伴う歪対称化可能なクラスター代数に対する統一的な圏論的枠組みを提供すると主張する。群作用を含むように相対的クラスター圏の構成を一般化することで、著者はこれらの代数が、単に完全圏ではなくフロベニウス外三角圏（ヒッグス圏）を用いてモデル化可能であることを示す。

その意義は、非単純連結なタイプと主要係数を同時に扱える点にある。本論文は、Azzurra Ciliberti が最近、対称クイバーを用いて主要係数を伴うタイプ $B$ および $C$ の圏論化を提供したことに言及しつつ、この研究はポテンシャル付きアイスクイバーに対する群作用を通じて異なるアプローチを提供し、自然に相対的文脈を許容し、非循環的クイバーに関する Demonet の先行結果を一般化することを指摘する。この構成は、基礎体の標数が群の位数を割り切らない（$\text{char}(k) \nmid \text{Card}(G)$）という仮定に依存しており、これにより歪群代数の構成および関連するモノイドの分離性が保証される。