Coactions of cocommutative Hopf algebras on skew polynomial rings

技術要約：可換余可換ホップ代数による歪多項式環への余作用

問題提起
本論文は、1変数歪多項式環 $A_q(n) = k \langle x_1, \dots, x_n \rangle / (x_j x_i - q x_i x_j \mid i < j)$ （ただし $n=2$ および $n=3$）に対して内的な忠実な（inner-faithful）余作用を持つ、可換余可換ホップ代数の分類を取り扱う。この問題は、アーティン・シェラー（AS）正則代数の量子群対称性を理解するという、より広い文脈の中に位置づけられている。具体的には、著者らは、2次元AS正則代数上の群次数付けに関するCrawfordの分類を高次元へと一般化し、非可換な群次数付け、あるいは非可換な可換余可換ホップ余作用がこれらの環に存在するかどうかを判定することを目的としている。

手法
著者らは、マニンの普遍余作用ホップ代数構成 $\text{aut}(A_q(n))$ を中心的なツールとして用いる。戦略は、「ホップ代数が群環であるための必要十分条件は、それが可換余可換であり、かつ群的元によって生成されることである」という観察に基づいている。したがって、群次数付け（およびより一般的には可換余可換な余作用）の分類は、$\text{aut}(A_q(n))$ の可換余可換な商を分類することへと還元される。

手法は以下のステップで進行する：

1. $\text{aut}(A_q(n))$ の明示的な表示： 著者らはまず、任意の $q \in k^*$ および $n \in \mathbb{N}$ に対して、普遍的な右余作用ホップ代数 $\text{aut}(A_q(n))$ の明示的な表示を導出する。これは、二次双対 $A_q^!$ （量子グラスマン代数）の左余作用ホップ代数を構成し、同型 $\text{aut}_r(A_q) \cong \text{aut}_\ell(A_q^!)$ を利用することで達成される。
2. 対合化（Involutization）： 可換余可換ホップ代数は対合的（すなわち $S^2 = \text{id}$）であるため、著者らはまず、$\text{aut}(A_q(n))$ の $S^2(x) - x$ によって生成されるイデアルによる商による「対合化」 $\text{aut}(A_q(n))_{\text{inv}}$ を計算する。
3. 可換余可換な商の分類： 本研究の核心は、$H_q(n)$ の極大可換余可換な商を分析することにある。これは、$H_q(n)$ の生成元に対して可換余可換条件（$\Delta = \Delta^{\text{op}}$）を課し、結果として得られる関係式の系を解くことによって行われる。
4. 次元解析：
   • $n=2$ の場合、著者らは $H_q(2)$ の関係式を分析して、その可換余可換な商の構造を決定する。
   • $n=3$ の場合、削減戦略を用いる。可換余可換性の帰結を分析することにより、可換余可換な商が存在する場合、特定の非対角成分の生成元が消滅しなければならないことを示し、これにより特定の部分代数を通じて問題を $n=2$ のケースへと還元できることを示す。

主要な貢献と結果

1. $\text{aut}(A_q(n))$ の明示的な表示：
   本論文は、任意の $q$ および $n$ に対して $\text{aut}(A_q(n))$ の完全な表示を提供する。この代数は、行の $q$-交換関係、量子マイナー関係、および量子マイナーを含む余積、単位、アンチポードの特定の公式に従う要素 $x_{ij}$ と $D^{-1}$ （ここで $D$ は量子行列式）によって生成される。これにより、任意の $q$ と $n$ に対する明示的な表示が以前は欠落していたという文献上の空白を埋めている。

2. $n=2$ の場合の分類（定理 1.2）：
   2変数歪多項式環 $A_q(2)$ について、著者らは $\text{aut}(A_q(2))$ の極大可換余可換な商を分類する：

   • $q \neq -1$ のとき、内的に忠実な可換余可換な余作用は、群環 $k\mathbb{Z}_2$ のホップ商およびホップ代数 $A(0, q^{\pm 1})$ （$x$ を群的元、$y$ を $x^n$-歪原始元とする $k\langle x^{\pm 1}, y \rangle / (yx - qxy)$ として定義される）のホップ商のみである。
   • $q = -1$ のとき、追加の余作用として、$\Gamma = \langle f, g \mid f^2 = g^2 \rangle$ のホップ商によるものが存在する。
   • 系： これは、$A_q(2)$ が非可換群による忠実な次数付けを持つための必要十分条件が $q = -1$ であるというCrawfordの結果を回収するものである。

3. $n=3$ の場合の分類（定理 1.3）：
   $q \neq \pm 1$ である3変数環 $A_q(3)$ について、著者らは、内的に忠実な可換余可換な余作用は以下のホップ商によるものに限られることを証明する：

   • 群環 $k\mathbb{Z}_3$。
   • ホップ代数 $B_{q^{\pm 1}}$ および $C_{q^{\pm 1}}$（これらは3つの生成元を含む $A(0, q^{\pm 1})$ の特定の拡張である）。
   • 系： $A_q(3)$ は、$q \neq \pm 1$ のとき、非可換群による忠実な次数付けを持たない。著者らは、$q = -1$ の場合には（Ore拡張の構造 $A_{-1}(3) \cong A_{-1}(2)[z; \sigma]$ を通じて）非可換な次数付けが存在することに言及している。

4. GK次元および余半単純性への応用：

   • 著者らは、Chan–Walton–Zhangによる、$A_q(2)$ に余作用を持つGK次元1の非可換ホップ代数に関する問いに取り組む。$q$ がルート単位数でない場合、そのような非可換かつ可換余可換なホップ代数は存在しないことを示す。
   • 可換ドメイン上の余半単純なホップ余作用に関する質問 8.4 (Bichon) に関して、著者らは、$k[x, y, z]$ に余作用を持つ普遍的な対合的ホップ代数 $H_1(3)$ が、非可換であり、非Noetherであり、かつ無限のGK次元を持つことを示す。これは、$n=2$ の場合において普遍的な対合的代数が可換であることとは対照的である。

意義
本論文は、以下の3つの領域において重要性を主張している：

1. Crawfordの結果の一般化： 2次元における群次数付けの分類を3次元へと成功的に拡張し、歪多項式環上の非可換群次数付けが（本質的に $q=-1$ のケースに限定されるなど）極めて制限されていることを確立した。
2. 構造的洞察： $\text{aut}(A_q(n))$ の明示的な表示を提供することで、これらの代数の量子対称性のさらなる研究を可能にする。対合的代数 $H_q(n)$ の構成は、可換余可換な対称性を分析するための必要な中間ステップとして機能する。
3. 次元間の区別： 結果は、低次元（$n=2$）のAS正則代数と高次元（$n \ge 3$）のAS正則代数の間にある、その対称構造に関する鋭い区別を浮き彫りにしている。具体的には、本論文は、$n=2$ では $q=-1$ において非可換群次数付けが可能である一方で、$n=3$ では（一般的な $q$ に対して）それが存在しないこと、また $n \ge 3$ における普遍的な対合的余作用代数が、$n=2$ の可換なケースと比較して著しく複雑な挙動（非可換、無限のGK次元）を示すことを明らかにしている。

著者らは、自身の手法が非可換余可換ホップ代数による余作用については情報を提供しないこと、また、3次元におけるすべての $q$ に対する群次数付けを完全に分類したわけではないこと（計算の複雑さから特に $q = \pm 1$ を除外しているが、$q = -1$ についての部分的な結果は示している）を明示している。より一般的な正則代数への今後の取り組みについては、別の課題として記されている。