Oligomorphic groups and tensor categories
Year: 2026
Type: article
Abstract: Given an oligomorphic group $G$ G and a measure $\mu $ μ for $G$ G (in a sense that we introduce), we define a rigid tensor category $\operatorname{\underline{Perm}}(G; \mu )$ of “permutation modules,” and, in certain cases, an abelian envelope $\operatorname{\underline{\textup{Rep}}}(G; \mu )$ of this category. When $G$ G is the infinite symmetric group, this recovers Deligne’s interpolation category. Other choices for $G$ G lead to fundamentally new tensor categories. For example, we construct the first known semi-simple pre-Tannakian categories in positive characteristic with super-exponential growth. One interesting aspect of our construction is that, unlike previous work in this direction, our categories are concrete: the objects are modules over a ring, and the tensor product receives a universal bi-linear map. Central to our constructions is a novel theory of integration on oligomorphic groups, which could be of more general interest. Classifying the measures on an oligomorphic group appears to be a difficult problem, which we solve in only a few cases.
Source: Inventiones mathematicae
Authors: Nate Harman, Andrew Snowden
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $3,090
Funder: National Science Foundation
OpenAlex ID: W4223582430