A Counterexample to Wehlau's Conjecture on Noether Numbers

技術要約：Wehlauの予想に対する反例

問題設定
本論文は、モジュラー不変量論におけるネーター数の単調性に関するWehlauの予想を取り扱う。$G$を有限群とし、$V$を有限次元ベクトル空間、$k$を体とする。ネーター数$\beta(V)$は、不変環$k[V]^G$における同次既約要素の最大次数として定義される。Wehlauは、任意の$G$-部分加群$U \subseteq V$に対して、不等式$\beta(U) \leq \beta(V)$が成立すると予想した。この予想は、特定のケース（例：素数次の巡回群や、特定の標数における特定の二面体群）については証明されているが、一般的なモジュラー・ケースにおける妥当性は未解決の問いであった。

手法
著者らは、体$k = \mathbb{F}_2$上の二面体群$D_8$を用いた具体的な反例を構築している。その手法は以下の通りである：

1. 表現の構成：

   • 6次元表現$V$は、その双対空間$X = V^*$と、その基底$\{z_0, \dots, z_5\}$を通じて定義される。$D_8$の生成元$r$および$s$によるこの基底への作用は、明示的に定義されている。
   • 5次元部分加群$U \subset V$は、商$Q = X / kz_0$（ここで$kz_0$は$G$の固定線である）を考慮し、その双対をとることで構成される（すなわち$U = Q^*$）。これにより、単射な$G$-準同型$U \hookrightarrow V$が得られる。
   • この構成は$\mathbb{F}_2$上で定義されているが、スカラー拡大を通じて、標数2の任意の体においても有効であることが記されている。

2. 計算不変量論：

   • 著者らは、[10]に記載されたアルゴリズムと計算機代数システムMagma [1]を用いて、不変環$k[V]^G$および$k[U]^G$を計算している。
   • $V$について： 不変環$R = \mathbb{F}_2[z_0, \dots, z_5]^G$を解析する。著者らは11個の同次不変量$\{f_1, \dots, f_{11}\}$を特定し、これらが極小生成系をなすことを証明する。これは、Symondsの境界および同次パラメータ系を利用して、これらの不変量によって生成される部分代数が、次数12までの全不変空間の次元と一致することを確認することによって達成される。
   • $U$について： 不変環$S = \mathbb{F}_2[x_0, \dots, x_4]^G$も同様に解析される。著者らは9個の同次不変量$\{f_1, \dots, f_9\}$を特定し、同様の次元計数およびガウス消去法を用いて、これらが極小生成系であることを証明する。

主要な結果
構成された組$(U, V)$に対するネーター数の明示的な計算結果は以下の通りである：

• 6次元加群$V$について、極小生成系における最大次数は5である。したがって、$\beta(k[V]^G) = 5$である。
• 5次元部分加群$U$について、極小生成系における最大次数は6である。したがって、$\beta(k[U]^G) = 6$である。

その結果、不等式$\beta(U) \leq \beta(V)$は、$6 > 5$であることから破られている。

意義と帰結
本論文は、この反例に基づき以下の意義を主張している：

1. 予想の反証： この結果は、一般的なモジュラー・ケースにおけるWehlauの単調性予想を決定的に覆すものである。
2. インフレーションによる一般化： $D_8$への任意の全射$\pi: H \twoheadrightarrow D_8$を通じて$D_8$の作用をインフレーションすることにより、この反例は$D_8$を商として持つ任意の有限群$H$へと拡張される。これには、直積$D_8 \times L$、位数8以上の二面体2-群、および位数16以上の一般四元数群が含まれる。
3. 構造的感受性： この例は、モジュラー・ネーター数がJordan–Hölder因子、半単純化、または随伴次数付き加群のみによって決定されるわけではないことを示している。具体的には、非分裂拡大$0 \to kz_0 \to X \to Q \to 0$は、同一の組成因子を持つにもかかわらず、分裂拡大$Q \oplus k$よりも低いネーター数（$\beta=5$）をもたらす。
4. 一般化されたネーター数： 論文は、同じ組$(U, V)$が最初の4つの一般化ネーター数$\beta_k(G, W)$についても不等式を逆転させることを指摘しており、$k=1, 2, 3, 4$において$\beta_k(G, U) > \beta_k(G, V)$となることを示している。

本研究は、モジュラー表現論において、部分加群が周囲の加群よりも厳密に低次元である場合であっても、ネーター数の単調性を仮定することはできないことを確立している。