[论文解读] The orbit algebra of a permutation group with polynomial profile is Cohen-Macaulay

Justine Falque, Nicolas M. Thiéry|arXiv (Cornell University)|Apr 10, 2018

Advanced Combinatorial Mathematics参考文献 12被引用 5

一句话总结

该论文证明了具有多项式有界型的寡态置换群的轨道代数是Cohen-Macaulay代数，从而确立了其有限生成性以及具有正分子和组合意义分母的有理生成函数。该结果证实了Macpherson的有限生成性猜想，并通过块系统分解与不变量理论，将问题约化为已知的有限与无限的Wreath积结构，从而加强了Cameron的渐近多项式猜想。

ABSTRACT

Let $G$ be a group of permutations of a denumerable set $E$. The profile of $G$ is the function $ϕ_G$ which counts, for each $n$, the (possibly infinite) number $ϕ_G(n)$ of orbits of $G$ acting on the $n$-subsets of $E$. Counting functions arising this way, and their associated generating series, form a rich yet apparently strongly constrained class. In particular, Cameron conjectured in the late seventies that, whenever $ϕ_G(n)$ is bounded by a polynomial, it is asymptotically equivalent to a polynomial. In 1985, Macpherson further asked if the orbit algebra of $G$ - a graded commutative algebra invented by Cameron and whose Hilbert function is $ϕ_G$ - is finitely generated. In this paper, we announce a proof of a stronger statement: the orbit algebra is Cohen-Macaulay. The generating series of the profile is a rational fraction whose numerator has positive coefficients and denominator admits a combinatorial description. The proof uses classical techniques from group actions, commutative algebra, and invariant theory; it steps towards a classification of ages of permutation groups with profile bounded by a polynomial.

研究动机与目标

• 解决Macpherson于1985年提出的关于具有多项式型的寡态置换群的轨道代数有限生成性的问题。
• 证明更强的结果：此类轨道代数是Cohen-Macaulay代数，这意味着其有限生成性与有理生成函数。
• 提供生成函数分母的组合描述以及分子多项式正性的解释。
• 确立型函数渐近增长为多项式，从而证实Cameron的猜想。
• 通过块系统与Wreath积结构的分解，对具有多项式有界型的置换群的年龄进行分类。

提出的方法

• 利用一个最大化型函数增长下界的规范块系统 $B(G)$ 对群作用进行分解。
• 将问题约化为分析块的轨道：无限块、有限块的无限轨道，以及有限稳定块。
• 使用有限指数的正规子群简化群作用，确保稳定子群作用为已知的本原群且无有限指数子群。
• 应用Wreath积构造 $H \wr \mathfrak{S}_\infty$ 来建模有限块轨道上群的年龄。
• 利用 $\mathfrak{S}_\infty$、$\operatorname{Aut}(\mathbb{Q})$、$\operatorname{Aut}(\mathbb{Q}/\mathbb{Z})$ 以及 $H \wr \mathfrak{S}_\infty$ 的轨道代数是有限生成且自由（或Cohen-Macaulay）的事实。
• 利用定理3.1，将有限指数子群 $K$ 上的有限生成性与Cohen-Macaulay性提升至整个群 $G$，同时保持代数结构。

实验结果

研究问题

• RQ1 具有多项式有界型的寡态置换群的轨道代数是否有限生成？
• RQ2 此类群的轨道代数是否满足Cohen-Macaulay性质？
• RQ3 型函数的生成函数能否表示为具有正分子与组合意义分母的有理函数？
• RQ4 当型函数被多项式有界时，其渐近增长速率为何？
• RQ5 如何通过其块系统与Wreath积结构对这类置换群的年龄进行分类？

主要发现

• 轨道代数 $\mathbb{Q}\mathcal{A}(G)$ 是自由多项式子代数上的Cohen-Macaulay代数，从而蕴含有限生成性与有理生成函数。
• 生成函数 $\mathcal{H}_G = \sum \varphi_G(n) z^n$ 是形如 $\frac{P(z)}{\prod_{i \in I} (1 - z^{d_i})}$ 的有理函数，其中 $P(z) \in \mathbb{N}[z]$。
• 型函数 $\varphi_G(n)$ 渐近增长为 $an^{|I|-1}$ 的形式，其中 $a > 0$，从而证实了Cameron的猜想。
• 分母中的次数 $d_i$ 对应该群块系统结构中导出的生成元次数，特别是来自 $H \wr \mathfrak{S}_\infty$ 成分的贡献。
• 群 $G$ 的年龄同构于 $\mathfrak{S}_\infty$、$\operatorname{Aut}(\mathbb{Q})$、$\operatorname{Aut}(\mathbb{Q}/\mathbb{Z})$ 以及 $H \wr \mathfrak{S}_\infty$ 形式的群的直积的年龄，至多相差有限指数。
• 当限制在规范块系统上时，群 $G$ 的轨道代数同构于有限置换群的不变量环，从而支持了对这类群的分类程序。