Two invariant subalgebras of rational Cherednik algebras

技術要約：有理チェルニドニク代数の2つの不変部分代数

問題設定
本論文は、複素反射群 $W$ がベクトル空間 $h$ に作用する際に随伴する有理チェルニドニク代数 $H_{t,c}(W)$ の、特定の2つの部分代数の環論的およびホモロジー的性質を調査している。これらの部分代数は以下の通りである：

1. 次数ゼロ部分代数 ($H_{t,c}^{\mathfrak{gl}(n)}$): $x_i y_j$ （ここで $x \in h^*, y \in h$）および群 $W$ によって生成される。この代数は、調和閉じ込め（harmonic confinement）におけるカロジェロ–モゼル系に関連している。
2. ダンケル角運動量部分代数 ($H_{t,c}^{\mathfrak{so}(n)}$): ダンケル変形された角運動量演算子 $x_i y_j - x_j y_i$ および $W$ によって生成される。この代数は、一般化されたカロジェロ–モセル系の角度成分に関連している。

これらの代数は可積分系や変形されたハウの双対性の文脈で自然に現れるが、その抽象的な構造的性質（中心、素性、ホモロジー次元など）を、生成元と関係式から直接決定することは困難である。著者らは特に、$t=0$ の場合（有理チェルニドニク代数が歪群環となる場合）と、$t \neq 0$ の場合に焦点を当てている。

手法
本論文の核心となる手法上の革新は、これら両方の部分代数を、$H_{t,c}$ に作用する $SL_2$ の特定の簡約部分群による不変環として捉えることである。

• $T \subset SL_2$ を対角行列の極大トーラスとする。著者らは、$H_{t,c}^{\mathfrak{gl}(n)} = H_{t,c}^T$ であることを示す。
• $W$ が実反射群であるとき、$SL_2$ 全体が $H_{t,c}$ に作用する。著者らは、$H_{t,c}^{\mathfrak{so}(n)} = H_{t,c}^{SL_2}$ であることを証明する。

この実現により、著者らは不変理論および簡約群作用の性質を活用することが可能となる。彼らのアプローチは以下の通りである：

1. フィルタリングとグレーディング: 有理チェルニドニク代数の自然なフィルタリングを利用して、それらの部分代数を、可換多項式環 $P = \mathbb{C}[h \times h^*]$ における不変環である随伴グレーデッド代数に関連付ける。
2. 不変理論: 非可換代数の性質を導出するために、$P^\Gamma \rtimes W$ （ここで $\Gamma$ は $T$ または $SL_2$）を分析する。
3. ハミルトニアン減少: トーラス $T$ に関する球状部分代数の量子ハミルトニアン減少 $A_{t,c,\zeta} = a H_{t,c}^{\mathfrak{gl}(n)} a / \langle a e_{\text{euc}} - \zeta \rangle$ （ここで $e_{\text{euc}}$ はオイラー要素）を調査する。

主要な貢献および結果

1. 構造的性質と中心

• $t=0$ における中心: 著者らはこれらの代数の中心を記述している。彼らは $\text{gr } Z(H_{0,c}^\Gamma) = Z(P^\Gamma \rtimes W)$ であることを証明している。その結果、中心 $Z(H_{0,c}^\Gamma)$ は $Z(H_{0,c})^\Gamma \otimes \mathbb{C}Z(W)$ に同型となる（ここで $Z(W)$ は反射群の中心）。
• 中心の幾何学的性質: アフィンスキーム $Y_c = \text{Spec } Z(H_{0,c}^\Gamma)$ は、正規かつ既約であり、ゲーレンシュタイン（Gorenstein）多様体であり、有理特異点を持つことが示されている。
• $t \neq 0$ における中心: 次数ゼロ部分代数について、その中心は $Z(H_{t,c}^{\mathfrak{gl}(n)}) = \mathbb{C}[e_{\text{euc}}] \otimes \mathbb{C}Z(W)$ であることが示されている。

2. ホモロジー的および環論的性質

• アウスランダー–ゲーレンシュタインおよびコーエン–マコーレー: 代数 $H_{t,c}^\Gamma$ およびその成分 $a_i H_{t,c}^\Gamma a_i$ （$Z(W)$ の原始冪等元に関連するもの）は、アウスランダー–ゲーレンシュタインであり、（GK）コーエン–マコーレーであることが証明されている。
• ゲルファント–キルゴフ次元: これらの代数のGK次元は $2 \dim h - \dim \Gamma$ と計算される。
• 素性: 成分 $a_i H_{t,c}^\Gamma a_i$ は素環であることが示されている。具体的には、「球状」成分 $a H_{t,c}^\Gamma a$ は素PI代数である。

3. $t=0$ における表現論

• PI次数: 素代数 $a H_{0,c}^\Gamma a$ のPI次数は $|W|$ であると計算される。
• 単純加群: 中心 $Y_c$ の正則な軌道上に台を持つ単純加群 $L$ に対して、その制限 $L|_W$ は正則表現 $\mathbb{C}W$ と同型である。
• アズマヤ軌道: $Y_c$ の正則な軌道は、代数のアズマヤ軌道に含まれる。著者らは、これら二つの軌道が一致するかどうかは未解決の問題であると述べている。

4. ハミルトニアン減少とシンプレクティック特異点

• $O_{\min}/W$ の量子化: アルジェブラ $e A_{t,c,\zeta} e$ （$t \neq 0$ の場合）は、最小リー代数の零軌道閉包 $O_{\min} \subset \mathfrak{gl}(n)$ の反射群 $W$ による商のフィルタリングされた量子化として特定される。
• 大域次元: ヴェイル（Weil）的なパラメータ $(t, c, \zeta)$ に対して、代数 $A_{t,c,\zeta}$ は有限の大域次元を持つ。
• ポアソン変形: $t=0$ において、ハミルトニアン減少の中心は、$O_{\min}/W$ のグレーデッド・ポアソン変形を与える。

意義および主張
本論文は、これらの部分代数を不変環として実現することが、生成元と関係式から直接扱うことの困難さを回避し、それらの性質に対して「極めて一様な扱い」を提供すると主張している。

• ハミルトニアン減少 $A_{t,c,\zeta}$ を $O_{\min}/W$ の量子化として特定することは、有理チェルニドニク代数の表現論をシンプレクティック特異点の幾何学へと結びつける。
• $t=0$ におけるハミルトニアン減少の中心が $O_{\min}/W$ のポアソン変形を与えるという結果は、この特異点の射影的 $\mathbb{Q}$-ファクトリアル・ターミナル化を列挙するための潜在的な表現論的ツールとして提示されている。
• 著者らは、正則軌道とアズマヤ軌道の等価性に関して、標準的な逆包含の議論がこの文脈では適用できないことを指摘し、明示的に謙虚な姿勢を示している。

本研究は、不変理論、シンプレクティック特異点の理論（Beauville）、および有理チェルニドニク代数の先行研究（Eitingof, Ginzburg, Brown, Changtong）に深く依拠しており、これらを特定の関心対象である部分代数へと拡張したものである。