[论文解读] The interplay of Invariant Theory with Multiplicative Ideal Theory and with Arithmetic Combinatorics

K. Cziszter, M. Domokos+1 more|arXiv (Cornell University)|May 22, 2015

Commutative Algebra and Its Applications被引用 4

一句话总结

本文通过分析有限群作用下不变环 $\mathbb{F}[V]^G$ 的因子分解结构，建立了不变理论、乘法理想理论与算术组合数学之间的深刻联系。该文为这些环提供了显式的除子理论，将诺特定数 $\beta(G)$ 与戴维斯常数 $\mathsf{D}(G)$ 关联起来，并证明了在阿贝尔群情形下，$\sigma(G) = \exp(G)$ 且 $\eta(G)$ 有限，且与 $\widehat{G}$ 上的零和序列相关，从而统一了这些领域中的关键不变量。

ABSTRACT

This paper surveys and develops links between polynomial invariants of finite groups, factorization theory of Krull domains, and product-one sequences over finite groups. The goal is to gain a better understanding of the multiplicative ideal theory of invariant rings, and connections between the Noether number and the Davenport constants of finite groups.

研究动机与目标

• 统一并深化不变理论、乘法理想理论与算术组合数学之间的相互作用。
• 确定有限群作用下不变环 $\mathbb{F}[V]^G$ 的除子理论与类群结构。
• 阐明诺特定数 $\beta(G)$ 与戴维斯常数 $\mathsf{D}(G)$ 之间的关系，特别是在阿贝尔群情形下的关系。
• 研究不变量 $\sigma(G,V)$ 与 $\eta(G,V)$，特别是其在子环上模生成的上下文中有限性与结构性质。
• 提出并启动对非阿贝尔群 $\eta(G)$ 的研究，将其与 $\widehat{G}$ 上的零和序列幺半群联系起来。

提出的方法

• 通过保序同态将乘法幺半群 $R^\bullet = (\mathbb{F}[V]^G)^\bullet$ 映射到自由阿贝尔幺半群，构造 $\mathbb{F}[V]^G$ 的显式除子理论。
• 利用典范转移同态 $\theta: R^\bullet \to \mathcal{B}(\mathcal{C}(R)^*)$，将 $\mathbb{F}[V]^G$ 中的因子分解与类群上的零和序列联系起来。
• 应用单射同构 $\psi: M \to \mathcal{F}(\widehat{G})$，将 $\mathbb{F}[V]^G$ 中的单项式结构转化为零和序列问题。
• 利用零和理论中的结果（如戴维斯常数 $\mathsf{D}(G)$）分析诺特定数 $\beta(G)$，证明当 $G$ 为阿贝尔群时 $\beta(G) = \mathsf{D}(G)$。
• 定义 $\sigma(G,V)$ 为使得 $\mathbb{F}[V]^G$ 在某个次数 $\leq d$ 的子环上有限生成的最小次数 $d$，并定义 $\eta(G,V)$ 为 $\mathbb{F}[V]^G_+$ 在次数不超过 $\sigma(G,V)$ 的子环生成元中的最大次数。
• 利用归纳法与转移同态技术，通过 $\beta_k(G,V) \leq (k-1)\sigma(G,V) + \eta(G,V)$ 对 $\beta_k(G,V)$ 进行上界估计。

实验结果

研究问题

• RQ1 如何从不变理论的角度显式描述不变环 $\mathbb{F}[V]^G$ 的除子理论？
• RQ2 对于有限群，诺特定数 $\beta(G)$ 与戴维斯常数 $\mathsf{D}(G)$ 之间的精确关系是什么？
• RQ3 对于有限非阿贝尔群 $G$，$\eta(G) = \sup\{\eta(G,W)\}$ 是否有限，且其与 $\eta(\mathcal{B}(G))$ 的关系如何？
• RQ4 能否系统地界定或计算不变量 $\sigma(G,V)$ 与 $\eta(G,V)$，特别是在模情形下？
• RQ5 关于 $\mathcal{F}(\widehat{G})$ 中最小零和序列的结果，在多大程度上可转化为 $G$-不变单项式在 $\mathbb{F}[V]^G$ 中的结构性结果？

主要发现

• 本文为 $\mathbb{F}[V]^G$ 提供了一个自包含的显式除子理论，恢复了 Benson 与 Nakajima 的类群结果，并将其扩展至完整的算术结构。
• 对于有限阿贝尔群，有 $\sigma(G) = \exp(G) = \mathsf{e}(G)$，表明最小生成子环的次数由群的指数决定。
• 证明了 $\eta(G) = \eta(\widehat{G})$，由于阿贝尔群满足 $\widehat{G} \cong G$，故 $\eta(G)$ 有限且可通过零和序列计算。
• 对于有限阿贝尔群，诺特定数 $\beta(G)$ 等于戴维斯常数 $\mathsf{D}(G)$，该结果通过单项式与零和序列之间的同构关系得以确立。
• 对于对称群 $S_4$，有 $\beta(S_4) = 9$，纠正了此前认为 $10$ 的说法，依据是不变式 $\sigma_3\Delta_4$ 的次数。
• 对于由泡利矩阵生成的非阿贝尔群，有 $\beta(G) = 7$，计算基于 $b(G,V) = 6$ 与不等式 $\beta(G) \leq \mathsf{D}_3(C_2 \oplus C_2) = 7$，且等式成立已得证实。