A Counterexample to Wehlau's Conjecture on Noether Numbers

技术摘要：关于 Wehlau 猜想的反例

问题陈述
本文针对 Wehlau 关于模不变理论中 Noether 数单调性的猜想提出了反例。设 $G$ 为有限群，作用在特征为 $k$ 的有限维向量空间 $V$ 上。Noether 数记作 $\beta(V)$，定义为不变环 $k[V]^G$ 中齐次不可约元素的最高次数。Wehlau 猜想，对于任何 $G$-子模 $U \subseteq V$，不等式 $\beta(U) \leq \beta(V)$ 成立。虽然该猜想在特定情形下（例如素数阶循环群、特定特征下的某些二面体群）已被证明，但在一般模情形下的有效性仍是一个开放问题。

方法论
作者利用在域 $k = \mathbb{F}_2$ 上的二面体群 $D_8$ 构建了一个特定的反例。其方法如下：

1. 表示构造：

   • 通过对对偶空间 $X = V^*$（其基为 $\{z_0, \dots, z_5\}$）定义一个 6 维表示 $V$。其中 $D_8$ 的生成元 $r$ 和 $s$ 在该基上的作用被明确定义。
   • 通过考虑商空间 $Q = X / kz_0$（其中 $kz_0$ 是 $G$ 的固定直线）并取其对偶，构造了一个 5 维子模 $U \subset V$。这产生了一个单射 $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}\}$，并证明它们构成了一个极小生成集。这是通过验证由这些不变元生成的子代数在次数达到 12 时与全不变空间维数相匹配来实现的，过程中利用了 Symonds 界限和一个齐次参数系统。
   • 对于 $U$： 对不变环 $S = \mathbb{F}_2[x_0, \dots, x_4]^G$ 进行类似的分析。作者确定了一组 9 个齐次不变元 $\{f_1, \dots, f_9\}$，并利用类似的维数计数和高斯消元技术证明它们构成了一个极小生成集。

关键结果
主要结果是针对构造的对 $(U, V)$ 对 Noether 数进行的显式计算：

• 对于 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. 通过上提实现的推广： 通过任何映射 $\pi: H \twoheadrightarrow D_8$ 将 $D_8$-作用上提，该反例可以扩展到任何拥有 $D_8$ 作为商群的有限群 $H$。这包括直积 $D_8 \times L$、阶数 $\geq 8$ 的二面体 2-群以及阶数 $\geq 16$ 的广义四元数群。
3. 结构敏感性： 该例表明，模 Noether 数并非仅由 Jordan–Hölder 因子、半简化或相关分次模决定。具体而言，非分裂扩张 $0 \to kz_0 \to X \to Q \to 0$ 产生的 Noether 数（$\beta=5$）比分裂扩张 $Q \oplus k$（$\beta=6$）要低，尽管两者具有相同的组合因子。
4. 广义 Noether 数： 本文指出，相同的对 $(U, V)$ 同样反转了前四个广义 Noether 数 $\beta_k(G, W)$ 的不等式，即对于 $k=1, 2, 3, 4$，有 $\beta_k(G, U) > \beta_k(G, V)$。

这项工作确立了在模表示理论中，即使子模的维数严格小于原模，也不能假设 Noether 数具有单调性。