[논문 리뷰] The orbit algebra of a permutation group with polynomial profile is Cohen-Macaulay

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

Advanced Combinatorial Mathematics참고 문헌 12인용 수 5

한 줄 요약

이 논문은 다항수렴(profile)을 가진 올리모르픽 순열군의 궤도 대수는 코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년 매카퍼슨이 제기한, 다항수렴(profile)을 가진 올리모르픽 순열군에 대한 궤도 대수의 유한 생성성 문제를 해결하기 위해.
• 그러한 궤도 대수가 코헨-맥컬레이임을 증명함으로써, 이는 유한 생성성과 유리형 힐버트 급수를 암시한다.
• 힐버트 급수의 분모에 대한 조합론적 기술과 분자 다항식의 양의 계수를 제공하기 위해.
• 프로파일이 점근적으로 다항식으로 성장함을 확인함으로써 캐머론의 추측을 확인하기 위해.
• 블록 시스템과 와프 제품으로의 구조적 분해를 통해 다항수렴(profile)을 가진 순열군의 연령(age)을 분류하기 위해.

제안 방법

• 프로파일 성장의 하한을 최대화하는 표준 블록 시스템 $B(G)$를 사용해 군 작용을 분해한다.
• 문제를 블록의 궤도 분석으로 환원: 유한하지 않은 블록, 유한한 블록의 무한 궤도, 유한한 안정 블록.
• 유한 지수의 정규부군을 사용해 군 작용을 단순화하며, 안정자군이 유한지수 부분군이 없는 알려진 단순군으로 작용하도록 보장한다.
• 무한 순열군 $\mathfrak{S}_\infty$의 와프 곱 구조인 $H \wr \mathfrak{S}_\infty$를 사용해 유한한 블록 궤도에서의 군의 연령(age)을 모델링한다.
• 다음 군들의 궤도 대수가 유한 생성되며 자유(또는 코헨-맥컬레이)임을 이용한다: $\mathfrak{S}_\infty$, $\operatorname{Aut}(\mathbb{Q})$, $\operatorname{Aut}(\mathbb{Q}/\mathbb{Z})$, $H \wr \mathfrak{S}_\infty$.
• 정리 3.1을 적용해, 군 $G$ 전체에 대해 표본군 $K$에서의 유한 생성성과 코헨-맥컬레이 성질을 유지하면서 그 성질을 이전한다.

실험 결과

연구 질문

• RQ1 다항수렴(profile)을 가진 올리모르픽 순열군의 궤도 대수는 유한 생성되는가?
• RQ2 그러한 군의 궤도 대수는 코헨-맥컬레이 성질을 만족하는가?
• RQ3 프로파일의 생성 급수는 분자에 양의 계수를 가지며, 조합론적으로 의미 있는 분모를 가진 유리함수로 표현될 수 있는가?
• RQ4 프로파일이 다항식으로 유계일 때의 점근적 성장률은 무엇인가?
• RQ5 블록 시스템과 와프 제품 구조를 통해 이러한 순열군의 연령(age)은 어떻게 분류될 수 있는가?

주요 결과

• 궤도 대수 $\mathbb{Q}\mathcal{A}(G)$는 자유 다항식 부분대수 위에서 코헨-맥컬레이이며, 이는 유한 생성성과 유리형 힐버트 급수를 암시한다.
• 생성 급수 $\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)$ 은 어떤 $a > 0$ 에 대해 점근적으로 $an^{|I|-1}$ 으로 성장하며, 캐머론의 추측을 확인한다.
• 분모에 있는 차수 $d_i$ 는 $G$ 의 블록 시스템 구조에서 유래된 생성자의 차수와 대응하며, 특히 $H \wr \mathfrak{S}_\infty$ 구성요소에서 유래된다.
• 군 $G$ 의 연령(age)은 $\mathfrak{S}_\infty$, $\operatorname{Aut}(\mathbb{Q})$, $\operatorname{Aut}(\mathbb{Q}/\mathbb{Z})$, $H \wr \mathfrak{S}_\infty$ 형태의 군들의 직접곱의 연령과 유한지수까지 동형이다.
• 표준 블록 시스템에 제한했을 때 군 $G$ 의 궤도 대수는 유한 순열군의 불변량 링과 동형이며, 이러한 군들의 분류 프로그램을 뒷받침한다.