[論文レビュー] 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

ひとこと要約

本論文は、多項式的成長を示すプロファイルをもつオリゴモーラル置換群の軌道代数がコhen＝マカウレイであることを証明し、有限生成性と正の分子をもつ有理型ヒルベルト級数を確立する。この結果はマクファーソンの有限生成予想を裏付け、キャンマーソンの漸近的多項式予想を強化する。ブロック系の分解と不変式理論を用いて、問題を既知の有限および無限のワルト積構造に還元する。

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.

研究の動機と目的

• 1985年にマクファーソンが提起した、多項式的プロファイルをもつオリゴモーラル置換群の軌道代数の有限生成性に関する問題を解決すること。
• このような軌道代数がコhen＝マカウレイであるというより強い結果を証明することにより、有限生成性と有理型ヒルベルト級数が保証されることを示すこと。
• ヒルベルト級数の分母の組合せ論的記述と分子多項式の正の性質を提供すること。
• プロファイルの漸近的成長率が多項式として与えられることを確認し、キャンマーソンの予想を裏づけすること。
• ブロック系とワルト積構造への構造的分解を用いて、このような置換群の年齢を分類すること。

提案手法

• プロファイル成長の下界を最大化する標準的ブロック系 $B(G)$ を用いて群作用を分解する。
• 問題をブロックの軌道の解析に還元する：無限大のブロック、有限ブロックの無限大の軌道、有限安定ブロック。
• 有限指数の正規部分群を用いて群作用を単純化し、安定化子が有限指数部分群を持たない既知の単純群として作用することを保証する。
• 群の有限ブロックの軌道上での年齢をモデル化するためにワルト積構成 $H \wr \mathfrak{S}_\infty$ を適用する。
• $\mathfrak{S}_\infty$、$\operatorname{Aut}(\mathbb{Q})$、$\operatorname{Aut}(\mathbb{Q}/\mathbb{Z})$、および $H \wr \mathfrak{S}_\infty$ の軌道代数が有限生成かつ自由（あるいはコhen＝マカウレイ）であるという事実を活用する。
• 定理3.1を用いて、有限指数部分群 $K$ からの有限生成性とコhen＝マカウレイ性を元の群 $G$ に持ち上げ、代数的構造を保つ。

実験結果

リサーチクエスチョン

• RQ1 多項式的成長を示すプロファイルをもつオリゴモーラル置換群の軌道代数は有限生成か？
• RQ2 このような群の軌道代数はコhen＝マカウレイ性を満たすか？
• RQ3 プロファイルの母関数は、正の分子と組合せ論的に意味のある分母をもつ有理関数として表現可能か？
• RQ4 プロファイルが多項式的成長で抑えられる場合、その漸近的成長率はいかほどか？
• RQ5 ブロック系とワルト積構造を用いて、このような置換群の年齢をどのように分類できるか？

主な発見

• 軌道代数 $\mathbb{Q}\mathcal{A}(G)$ は自由多項式部分代数上にコhen＝マカウレイであるため、有限生成性と有理型ヒルベルト級数が保証される。
• 母関数 $\mathcal{H}_G = \sum \varphi_G(n) z^n$ は、$P(z) \in \mathbb{N}[z]$ を用いて $\frac{P(z)}{\prod_{i \in I} (1 - z^{d_i})}$ の形の有理関数として表現可能である。
• プロファイル $\varphi_G(n)$ は、ある $a > 0$ を用いて漸近的に $an^{|I|-1}$ のように成長する。これはキャンマーソンの予想を裏づける。
• 分母に現れる次数 $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$ の形の群の直積の年齢と、有限指数の意味で同型である。
• 軌道代数は、標準的ブロック系に制限したとき、有限置換群の不変式環と同型であるため、このような群の分類計画を支援する。