Oligomorphic groups and tensor categories

TL;DR

This paper introduces new tensor categories derived from oligomorphic groups and measures, including the first known semi-simple categories in positive characteristic with super-exponential growth, using a novel integration theory.

Contribution

It constructs concrete tensor categories from oligomorphic groups and measures, including the first semi-simple pre-Tannakian categories in positive characteristic.

Findings

Constructed tensor categories from oligomorphic groups and measures.

Developed a new theory of integration on oligomorphic groups.

Produced semi-simple categories with super-exponential growth in positive characteristic.

Abstract

Given an oligomorphic group $G$ and a measure $\mu$ for $G$ (in a sense that we introduce), we define a rigid tensor category $\underline{\mathrm{Perm}}(G; \mu)$ of "permutation modules," and, in certain cases, an abelian envelope $\underline{\mathrm{Rep}}(G; \mu)$ of this category. When $G$ is the infinite symmetric group, this recovers Deligne's interpolation category. Other choices for $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.