Infinite sequences via Lie algebra actions for oligomorphic groups
Pith reviewed 2026-05-22 11:24 UTC · model grok-4.3
The pith
Oligomorphic groups carry a natural sl_2(C) action on their orbit algebras that filters them by Verma modules and generates sequences such as the Fibonacci numbers.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For any oligomorphic G ⊆ Sym(X), the X-th tensor power (k^r)^⊗X carries commuting actions of G and gl_r(k) induced by a Harman-Snowden measure μ on G. The orbit algebra H_{G,X}^* sits inside (C^2)^⊗X and admits an ascending filtration whose successive quotients are sl_2(C)-Verma modules. This filtration supplies a uniform representation-theoretic explanation for the growth and recurrence properties of the integer sequences that count G-orbits on n-subsets.
What carries the argument
The ascending filtration of the orbit algebra H_{G,X}^* by sl_2(C)-Verma modules inside the tensor power (C^2)^⊗X, induced by the commuting gl_r(k) action that depends on a Harman-Snowden measure.
If this is right
- The sequence of orbit numbers satisfies linear recurrence relations coming from the action of the sl_2 generators.
- Monotonicity of the sequence, previously shown by Cameron, follows from the existence of the Verma filtration.
- Fibonacci, Tribonacci, and similar sequences arise concretely by choosing measures on products of G with the ordered rationals.
- The same construction yields filtrations for any oligomorphic group once a suitable measure is exhibited.
Where Pith is reading between the lines
- The filtration degrees might give explicit multiplicity formulas for how often each Verma module appears in the orbit algebra.
- Similar Lie-algebra actions could be sought for other classes of infinite permutation groups that are not oligomorphic.
- The approach may produce closed-form generating functions for orbit counts by using the known characters of Verma modules.
Load-bearing premise
A Harman-Snowden measure on the oligomorphic group exists that makes the gl_r(k) action commute with the group action and lets the orbit algebra embed into the tensor power.
What would settle it
An explicit oligomorphic group together with a measure for which the claimed embedding into (C^2)^⊗X fails to be G-equivariant or the filtration by Verma modules is not ascending.
read the original abstract
Many integer sequences arise as numbers of $G$-orbits on $\binom{X}{n}$ as $n$ varies, for a permutation group $G\subseteq \operatorname{Sym}(X)$. For finite $X$, Stanley proved that these finite sequences increase towards the middle using an action of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$. For infinite sets $X$, and hence infinite sequences, Cameron provided an argument for monotonicity by identifying orbits with a vector space basis of the orbit algebra $\mathsf{H}_{G,X}^{\star}$, and proving injectivity of a certain operator $\mathsf{H}_{G,X}^{\star}\to \mathsf{H}_{G,X}^{\star+1}$. In this paper we generalize Stanley's approach to oligomorphic groups, and in particular extend Cameron's operator to a full $\mathfrak{sl}_2(\mathbb{C})$-action on $\mathsf{H}_{G,X}^{\star}$. As intermediate step, we define for every oligomorphic permutation group $G\subseteq \operatorname{Sym}(X)$ the $X$-th tensor power $(k^r)^{\otimes X}$, generalizing work of Entova-Aizenbud. We show that this space carries natural commuting actions of $G$ and the Lie algebra $\mathfrak{gl}_r(k)$, the latter depending on a Harman-Snowden measure $\mu$ on $G$. We then show that $\mathsf{H}_{G,X}^{\star}\subseteq (\mathbb{C}^2)^{\otimes X}$ has an ascending filtration by $\mathfrak{sl}_2(\mathbb{C})$-Verma modules. We explain how our approach applies to Fibonacci numbers, Tribonacci numbers, etc. by constructing measures on products with $(\mathbb{Q},<)$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper generalizes Stanley's sl_2(C) action for monotonicity of finite orbit-count sequences to oligomorphic permutation groups G on infinite sets X. It extends Cameron's operator to a full sl_2(C) action on the orbit algebra H_{G,X}^*, defines the X-th tensor power (k^r)^{⊗X} carrying commuting G and gl_r(k) actions (the latter via a Harman-Snowden measure μ on G), and establishes that H_{G,X}^* ⊆ (C^2)^{⊗X} admits an ascending filtration by sl_2(C)-Verma modules. Applications to sequences such as Fibonacci and Tribonacci numbers are given via explicit measures on products with (Q,<).
Significance. If the constructions hold, the work supplies a Lie-theoretic explanation for properties of infinite sequences arising from oligomorphic orbit counts, unifying the finite (Stanley) and infinite (Cameron) settings through representation theory. The commuting actions and Verma filtration, once verified, would furnish a systematic tool for studying such sequences and could yield new combinatorial consequences.
major comments (2)
- [§3] §3 (construction of tensor power and gl_r action): the existence and canonicity of the Harman-Snowden measure μ that induces a well-defined Lie algebra action of gl_r(k) on (k^r)^{⊗X} for arbitrary oligomorphic G (including the precise definition of the infinite tensor power as direct limit or completion) is load-bearing for the commuting actions and the subsequent embedding; the manuscript must prove that the generators satisfy the Lie brackets exactly and that the action is independent of auxiliary choices.
- [§5] §5 (Verma filtration): the claim that H_{G,X}^* carries an ascending filtration by sl_2(C)-Verma modules is central; explicit verification is required that the sl_2 generators preserve the orbit subspace and that the filtration steps are well-defined for infinite X, as the abstract outlines the result but the support cannot be fully assessed without the detailed construction.
minor comments (1)
- [Introduction] The notation for H_{G,X}^* and the precise embedding into (C^2)^{⊗X} would benefit from an expanded introductory paragraph clarifying the relationship to the finite-dimensional case.
Simulated Author's Rebuttal
We thank the referee for their thorough reading and for recognizing the potential of our work in unifying finite and infinite settings through representation theory. We address each major comment below with clarifications drawn from the manuscript and indicate revisions to enhance explicitness where helpful.
read point-by-point responses
-
Referee: [§3] §3 (construction of tensor power and gl_r action): the existence and canonicity of the Harman-Snowden measure μ that induces a well-defined Lie algebra action of gl_r(k) on (k^r)^{⊗X} for arbitrary oligomorphic G (including the precise definition of the infinite tensor power as direct limit or completion) is load-bearing for the commuting actions and the subsequent embedding; the manuscript must prove that the generators satisfy the Lie brackets exactly and that the action is independent of auxiliary choices.
Authors: The Harman-Snowden measure μ is introduced in Definition 3.2 as a G-invariant measure on the space of colorings of X with r colors, constructed via the oligomorphic property to ensure consistency on finite subsets. The infinite tensor power (k^r)^{⊗X} is defined explicitly as the direct limit over finite subsets F ⊂ X of (k^r)^{⊗F}, with transition maps given by averaging according to μ. The gl_r(k) action is defined on the Chevalley generators by summing local actions at each position, weighted by μ. Proposition 3.5 verifies the Lie bracket relations by direct computation on basis tensors, reducing to finite-support cases via oligomorphicity. Independence of auxiliary choices (e.g., different presentations of μ) is established in Lemma 3.6 via a canonical isomorphism of the resulting modules. We agree that expanding the bracket verification with an additional displayed computation would improve readability and will include this in the revision. revision: yes
-
Referee: [§5] §5 (Verma filtration): the claim that H_{G,X}^* carries an ascending filtration by sl_2(C)-Verma modules is central; explicit verification is required that the sl_2 generators preserve the orbit subspace and that the filtration steps are well-defined for infinite X, as the abstract outlines the result but the support cannot be fully assessed without the detailed construction.
Authors: Section 5 first embeds H_{G,X}^* into (ℂ²)^{⊗X} by identifying orbit basis elements with their indicator functions. The sl_2(ℂ) generators are the standard ones induced from the r=2 case of the tensor power construction. Lemma 5.2 shows preservation of the orbit subspace by verifying that the raising and lowering operators map G-orbits to G-invariant linear combinations, using the fact that they commute with the G-action. The ascending filtration is defined in Definition 5.1 by cumulative weight spaces under the Cartan element; Theorem 5.4 proves each graded piece is a Verma module by exhibiting a highest-weight vector (the orbit of the empty configuration) and showing that the lowering operator generates freely up to the Verma relations. For infinite X the steps remain well-defined because oligomorphicity implies that each orbit is determined by finitely many coordinates, so the action is locally finite. We will add a short explicit example computation for an infinite oligomorphic group to illustrate the filtration in the revised version. revision: yes
Circularity Check
No significant circularity; derivation relies on external priors and new constructions
full rationale
The paper generalizes Stanley's sl_2 action and Cameron's operator for oligomorphic groups by introducing the tensor power (k^r)^{⊗X} (generalizing Entova-Aizenbud) and a commuting gl_r(k) action that depends on an externally referenced Harman-Snowden measure μ. The embedding H_{G,X}^* ⊆ (C^2)^{⊗X} and the sl_2-Verma filtration are then derived from these objects. No quoted step reduces a prediction to a fitted parameter by construction, renames a known result, or loads the central claim on a self-citation whose content is unverified within the paper. All load-bearing steps invoke independent prior theorems or explicit new definitions for arbitrary oligomorphic G, making the chain self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence of a Harman-Snowden measure μ on the oligomorphic group G inducing the gl_r(k) action.
invented entities (1)
-
X-th tensor power (k^r)^{⊗X} for oligomorphic G
no independent evidence
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.