The orbit algebra of an oligomorphic permutation group with polynomial profile is Cohen-Macaulay

MaRDI QIDQ2632725zbMATH OpenFDO

Authors Justine Falque, Nicolas Thiéry

Publication date 15 May 2019

Published in Séminaire Lotharingien de Combinatoire (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.03489, http://www.mat.univie.ac.at/~slc/wpapers/FPSAC2018//83-Falque-Thiery.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

generating seriesinvariant theoryoligomorphic permutation groups

Mathematics Subject Classification ID

Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Cohen-Macaulay modules (13C14) Infinite automorphism groups (20B27)

Abstract: Let $G$ be a group of permutations of a denumerable set $E$. The profile of $G$ is the function $ph{i}_G$ which counts, for each $n$, the (possibly infinite) number $ph{i}_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 $ph{i}_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 $ph{i}_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.

Recommendations

• On an algebra related to orbit-counting
• Some relational structures with polynomial growth and their associated algebras. I: Quasi-polynomiality of the profile
• When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P.J. Cameron
• Some relational structures with polynomial growth and their associated algebras. II: Finite generation.
• scientific article; zbMATH DE number 1065054

Cites work

• Growth Rates in Infinite Graphs and Permutation Groups
• Hereditary properties of graphs: Asymptotic enumeration, global structure, and colouring
• scientific article; zbMATH DE number 5657589 (Why is no real title available?)
• scientific article; zbMATH DE number 44603 (Why is no real title available?)
• scientific article; zbMATH DE number 1065054 (Why is no real title available?)
• Invariants of finite groups and their applications to combinatorics
• On growth rates of closed permutation classes
• Some relational structures with polynomial growth and their associated algebras. I: Quasi-polynomiality of the profile
• Some relational structures with polynomial growth and their associated algebras. II: Finite generation.
• The profile of relations
• The unlabelled speed of a hereditary graph property
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
• When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P.J. Cameron

Cited in

(5)

• scientific article; zbMATH DE number 1065054 (Why is no real title available?)
• On an algebra related to orbit-counting
• Some relational structures with polynomial growth and their associated algebras. II: Finite generation.
• On -categorical structures with few finite substructures
• A complexity dichotomy in spatial reasoning via Ramsey theory

This page was built for publication: The orbit algebra of an oligomorphic permutation group with polynomial profile is Cohen-Macaulay

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2632725)