On a $q$-Skew Amitsur's Theorem

技術的概要：q-歪みアミツル定理について

問題提起
本論文は、Ore 拡大 $R[x; \sigma, \delta]$ におけるヤコブソン根 $J(R[x; \sigma, \delta])$ の構造を取り扱っている。具体的には、この根と基本環 $R$ の交わり $J(R[x; \sigma, \delta]) \cap R$ が、零冪元（あるべき乗で 0 になる元）からなるイデアル（nil イデアル）であるかどうかを調査している。この問いは、標準的多項式環に対するアミツルの 1956 年の定理の一般化として位置づけられている。標準的多項式環では $J(R[x]) = (J(R[x]) \cap R)[x]$ が成り立ち、その交わりは nil イデアルである。

本論文は、Ore 拡大が自己同型写像 $\sigma$ と $\sigma$-導分 $\delta$ によって定義される場合に焦点を当てている。検討される具体的な条件は以下の通りである：

1. $R$ は非可算体 $k$ 上の代数である。
2. $\sigma$ は局所的にねじれ（locally torsion）を持つ自己同型写像である（任意の $a \in R$ に対して、ある $n$ について $\sigma^n(a) = a$ となる）。
3. $\delta$ は局所的に冪零（locally nilpotent）な $\sigma$-導分である（任意の $a \in R$ に対して、ある $n$ について $\delta^n(a) = 0$ となる）。
4. 導分は $q$-歪み（$q$-skew）であり、ある非零スカラー $q \in k$ に対して $q\sigma\delta = \delta\sigma$ が成り立つ。

この研究は、局所的に冪零な $\delta$ と局所的にねじれを持つ $\sigma$ という仮定の下で $J(R[x; \sigma, \delta]) \cap R$ が nil であるかどうかという、Greenfeld、Smoktunowicz、Ziembowski（2019）が提起した未解決問題に部分的に答えるものである。

手法
証明戦略は、導分の場合（$\sigma=1$）について Smoktunowicz と Ziembowski（2014）によって確立されたアプローチに従い、$q$-歪みの設定に適合させたものである。手法は、いくつかの重要な技術的要素に依存している：

• べき級数における準可逆性：著者は、多項式環のヤコブソン根に含まれる元は準可逆的であるという事実を利用する。$\delta$ の局所的な冪零性により Well-defined となる Ore べき級数環 $R[[x; \sigma, \delta]]$ に乗法を拡張することで、準逆元を形式級数 $f = \sum (-ax^n)^i$ として表現できる。
• 次数の解析と係数の抽出：証明は、$ax^n$ の形の元のべき乗の係数を解析する。一般化された $q$-二項展開（命題 4）と $(ax^n)^m$ に関する反復公式（補題 5）を用いて、$\delta$ と $\sigma$ の作用下での元の冪零次数の上限を導出する（補題 6）。
• 非可算体上の線形独立性：重要なステップとして、変化するスカラー $\lambda \in k$ に対する $\lambda ax^n$ の準逆元を考える。$k$ が非可算であるため、著者はヴァンデルモンド行列の論法を用いる。準逆元の次数が無限個の $\lambda$ に対して有界であることを示すことで、展開における特定の高次数の係数が消滅しなければならないと推論される。
• 局所的ねじれ性：これらの係数の消滅は、$a\sigma^n(a)\sigma^{2n}(a)\cdots\sigma^{(d-1)n}(a) = 0$ という形の関係式をもたらす。$\sigma$ の局所的ねじれ性を用いて、$a$ の位数の倍数となる $n$ を選択することで、その積を $a$ のべき乗（具体的には $a^d$）に帰着させ、冪零性を証明する。

主要な結果
本論文は、以下の主要定理と系を確立している：

• 定理 1：$R$ を非可算体 $k$ 上の $k$-代数、$\sigma$ を局所的にねじれを持つ自己同型写像、$\delta$ を局所的に冪零かつ $q$-歪みな $\sigma$-導分とする。このとき、集合 $I = \{a \in R : ax^t \in J(R[x; \sigma, \delta])\}$ は、任意の $t \in \mathbb{N}$ に対して $R$ の nil イデアルである。

  • 意義：これは、$J(R[x; \sigma, \delta]) \cap R$ に含まれる任意の元 $a$ が冪零元であることを確認する。これは [GSZ19] の質問 6.17 に対する部分的な肯定回答を提供する。

• 系 10（q-歪みアミツル定理）：さらに体 $k$ が標数 0 であると仮定すれば、完全なアミツル性が成り立つ：
  $$J(R[x; \sigma, \delta]) = (J(R[x; \sigma, \delta]) \cap R)[x; \sigma, \delta]$$
  かつ $J(R[x; \sigma, \delta]) \cap R$ は $R$ の nil イデアルである。

  • 導出：この結果は、定理 1 と、$q$-歪み拡大における標数 0 でのヤコブソン根を特徴づける Shin による 2024 年の結果を組み合わせることで得られる。

意義と範囲
本論文は、非可算体、局所的にねじれを持つ自己同型写像、および $q$-歪みな局所的に冪零な導分という条件の下で、Ore 拡大のヤコブソン根が基本環と nil イデアルとして交わるかどうかという問いに対する部分的な解決を提供すると主張している。

著者は明示的に、この結果が「部分的」であることに言及している。それは、体が非可算であること、および完全なアミツル性（系 10）については体が標数 0 を持つことに依存しているためである。本論文は、任意の体に対する一般の場合、または $q$-歪みの条件（$q\sigma\delta = \delta\sigma$）が成り立たない場合の解決を主張するものではない。

未解決の問題と今後の方向性
本論文は、現在の結果の範囲について謙虚な立場を維持しつつ、残存する未解決の問題を強調して結論付けている：

1. 系 10 の文脈において、$J(R[x; \sigma, \delta]) \cap R$ が常に nilradical（最大の nil イデアル）であるかどうか。
2. $q$-歪みの条件を除去した場合（$q\sigma\delta \neq \delta\sigma$）、定理 1 が成り立つかどうか。
3. $\sigma$ が局所的にねじれを持つのではなく、局所的に有限である場合に、系 10 が成り立つかどうか。
4. $\sigma=1$ の場合（標準的な導分の場合）、標数 0 の体上の代数に対して $J(R[x; \delta]) \cap R$ が nil であるかどうか。

著者は、これらの問いが肯定的に答えられる可能性を予想しつつも、それらが未解決のまま残っていることに言及している。