[論文レビュー] Analogue of the Duistermaat-van der Kallen Theorem for Group Algebras

Wenhua Zhao, Roel M. Willems|arXiv (Cornell University)|Sep 29, 2010

Advanced Differential Equations and Dynamical Systems参考文献 16被引用数 4

ひとこと要約

この論文は、特徴が0または $p > |G|$ である整域 $R$ 上の有限群 $G$ に対して、群代数 $R[G]$ の定数項が0である部分空間 $V_G$ がマチュー部分空間であることを確立する。一方、正の特性の体上の自由アーベル群 $
\mathbb{Z}^n$ に対しては $V_G$ がマチュー部分空間でないことが示され、デュイステルマット–ヴァン・ダー・カラーンの定理が正の特性に一般化できないことを示している。

ABSTRACT

Let $G$ be a group, $R$ an integral domain, and $V_G$ the subspace of the group algebra $R[G]$ consisting of all the elements of $R[G]$ whose coefficient of the identity element $1_G$ of $G$ is equal to zero. Motivated by the Mathieu conjecture [M], the Duistermaat-van der Kallen theorem [DK], and also by recent studies on the notion of Mathieu subspaces introduced in [Z4] and [Z6], we show that for finite groups $G$, $V_G$ under certain conditions also forms a Mathieu subspace of the group algebra $R[G]$. We also show that for the free abelian groups $G=\Bbb Z^n$ $(n\ge 1)$ and any integral domain $R$ of positive characteristic, $V_G$ fails to be a Mathieu subspace of $R[G]$, which is equivalent to saying that the Duistermaat-van der Kallen theorem [DK] cannot be generalized to any field or integral domain of positive characteristic.

研究の動機と目的

• 群代数 $R[G]$ の部分空間 $V_G$（定数項が0の元）がマチュー部分空間をなす条件を特定すること。
• 特に正の特性における有効性を検討しつつ、整域上の群代数へのデュイステルマット–ヴァン・ダー・カラーンの定理の拡張を図ること。
• 有限群および自由アーベル群に対して、さまざまな底環上での $V_G$ がマチュー部分空間であるかどうかという未解決問題を解消すること。
• 群の構造と底環の特性が $V_G$ のマチュー部分空間性を決定する役割を明確にすること。

提案手法

• 恒等元 $1_G$ の係数が0である $R$-部分空間として $V_G$ を定義する。
• マチュー部分空間の概念を用いる：環 $\mathcal{A}$ の部分空間 $M$ がマチュー部分空間であるとは、任意の $b,c \in \mathcal{A}$ に対して、$a^m \in M$（$m \gg 0$）ならば $ba^m c \in M$（$m \gg 0$）が成り立つこと。
• 有限群 $G$ および $\text{char}(R) = 0$ または $p > |G|$ である $R$ に対して、群代数の構造的解析と $p$ を法とする二項係数の性質を用いて、$V_G$ がマチュー部分空間であることを証明する。
• 群 $G = \mathbb{Z}^n$ および $\text{char}(R) = p > 0$ の場合、ローレンツ多項式を用いた反例を構成する：$f = z^{-1} + z^{p-1}$ とすると、すべての $m$ に対して $f^m$ の定数項が0であるが、$z^{-1}f^{p^k - 1}$ の定数項は $(-1)^{p^{k-1}} \neq 0$ である。
• 特に $\binom{p^k - 1}{a} \equiv (-1)^a \pmod{p}$ および $\binom{bp}{b} \equiv 0 \pmod{p}$ といった二項係数の合同式を用い、ルーカスの定理を応用する。
• 部分群の埋め込みを用いて一般の場合を $n=1$ に還元し、$R[\mathbb{Z}] \simeq R[z^{-1}, z]$ の同型を用いてローレンツ多項式の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 群 $G$ と整域 $R$ に対して、定数項が0である部分空間 $V_G \subset R[G]$ がマチュー部分空間である条件は何か？
• RQ2 複素数体上で成り立つデュイステルマット–ヴァン・ダー・カラーンの定理は、正の特性の体上の群代数へ一般化可能か？
• RQ3 正の特性における $V_G$ がマチュー部分空間でないことは、特に自由アーベル群 $\mathbb{Z}^n$ に対して、群の構造に依存するか？
• RQ4 $R$ の特性が $V_G$ がマチュー部分空間であるかどうかを決定する役割を果たすのは、特に $p \leq |G|$ のときである。
• RQ5 正の特性において $V_G$ がマチュー部分空間でない原因となる構造的・組合せ的障害（例えば、$p$ を法とする二項係数の挙動）は存在するか？

主な発見

• 任意の有限群 $G$ および $\text{char}(R) = 0$ または $p > |G|$ である整域 $R$ に対して、部分空間 $V_G \subset R[G]$ はマチュー部分空間である。
• 特性 $p > 0$ の代数閉体 $R$ に対して、$V_G$ がマチュー部分空間であるための必要十分条件は $p > |G|$ である。
• 任意の $n \geq 1$ に対して、正の特性 $p$ の整域 $R$ 上の自由アーベル群 $G = \mathbb{Z}^n$ に対して、部分空間 $V_G$ は $R[G]$ のマチュー部分空間ではない。
• 反例 $f = z^{-1} + z^{p-1} \in \mathbb{F}_p[z^{-1}, z]$ は、すべての $m \geq 1$ に対して $\text{Const}(f^m) = 0$ を満たすが、すべての $k \geq 1$ に対して $\text{Const}(z^{-1}f^{p^k - 1}) = (-1)^{p^{k-1}} \neq 0$ である。これはマチュー部分空間の条件を破る。
• 正の特性におけるデュイステルマット–ヴァン・ダー・カラーンの定理の失敗が確立された：この定理は任意の正の特性の体へは拡張できない。
• 二項係数の合同式 $\binom{p^k - 1}{a} \equiv (-1)^a \pmod{p}$ は、$z^{-1}f^{p^k - 1}$ の定数項が0でないことを示すために中心的な役割を果たす。