editors: nobody
% ------------------------------------------------------------------
% Fiber functors for finite symmetric tensor categories in positive
% characteristic. Aim: readable for a mathematically serious high
% school audience with some algebra background, but still a complete
% proof of the main theorem. Self-contained preamble; drop into
% pdflatex.
% ------------------------------------------------------------------
usetikzlibrary{arrows.meta,positioning,calc,fit}
# Fiber functors for finite symmetric tensor categories
in positive characteristic
maketitle
Abstract:
We prove the finite case of the Benson--Etingof--Ostrik conjecture:
every finite symmetric tensor category over an algebraically closed
field k of characteristic p>0 admits a k-linear exact faithful
strong symmetric monoidal functor to a finite higher Verlinde
category Ver_{p^n}(k). The result covers every prime, including
p=2, and the height n may depend on C.
tableofcontents
% =================================================================
# Introduction and main result
% =================================================================
## The basic objects
Throughout, k is an algebraically closed field of characteristic
p>0.
[finite symmetric tensor category]
A finite symmetric tensor category over k is a
k-linear abelian rigid symmetric monoidal category C
such that:
[label=(arabic*)]
the tensor product is biexact;
every Hom(X,Y) is finite dimensional over k;
every object has finite length;
there are finitely many isomorphism classes of simple
objects;
the unit object 1bf1 has End(1)1) = k;
there are enough projective objects.
Intuition: it is the ``linear algebra'' world where you can tensor
and dualise, everything has finite length, and the unit behaves like
the one-dimensional vector space. The simplest example is
Vec_k, the category of finite-dimensional k-vector spaces;
when p>2 its partner is sVec_k, the Z/2-gradedbbZ/2-graded
version with the Koszul sign in the symmetry.
[fiber functor]
A fiber functor C D between finite
symmetric tensor categories is a k-linear exact faithful strong
symmetric monoidal functor. ``Fiber functor'' in the classical
sense is the special case D = Vec_k; the target being a
non-vector-space category is what forces the tower in positive
characteristic.
## The higher Verlinde categories
We will use the following facts about Ver_{p^n}(k), proved in
Benson--Etingof--Ostrik (2023).
[properties of the Verlinde tower]
The categories Ver_{p^n}(k) are finite symmetric tensor
categories over k and they form a tower
[
Ver_p(k)subset Ver_{p^2}(k)subsetVer_{p^3}(k)subset...,
]
with each inclusion exact and symmetric monoidal. The bottom cases
are
[
Ver_2(k) = Vec_k,
Ver_3(k) = sVec_k,
Ver_3^+(k) = Vec_k.
]
For every p^n > 2 one has a symmetric tensor subcategory
Ver_{p^n}^+(k)⊆Ver_{p^n}(k); concretely
Ver_4^+(k) is the category of representations of the connected
group scheme alpha_2(k) with its unique symmetric structure, as
in Benson--Etingof (2019).
Intuition for Ver_p: it is the ``semisimplification'' of
Rep_k(Z/p):Z/p): one kills every morphism f with tr(gf)=0
for all g; the simple objects correspond to Jordan blocks of
lengths 1,...,p-1. For p=2 this collapses to
Vec_k; for p=3 it gives supervector spaces. Each higher level
Ver_{p^n} is built by abelian-envelope techniques from tilting
modules of SL_2.
## The main theorem
Here is the result we prove.
[main theorem]
For every prime p, every algebraically closed field k of
characteristic p, and every finite symmetric tensor category
C over k, there exist an integer nge 1 and a fiber
functor
[
C → Ver_{p^n}(k).
]
This settles the finite case of Conjecture 1.4 of
Benson--Etingof--Ostrik (2023), including p=2. The conjecture in
full strength is about categories of moderate growth; our
theorem is for finite categories, and the finite case already
implies the finite part of all the consequences we discuss.
## Proof outline
We iteratively apply a semilinear higher Frobenius functor Phi,
each application adding one fresh Verlinde factor while forcing
the original C factor to shrink into its Frobenius-exact
subcategory. After at most N iterations, where N is the number
of simple objects of C, all first components land in the
Serre closure of that subcategory. The essential ingredients are:
[label=Step arabic*.,ref=step:arabic*]
Restricted tilting modulo a Steinberg module.
For every finite-dimensional module D over the
elementary abelian group E_r = (Z/p)^r,Z/p)^r, the
tensor product St_{r-1} ⊗ D of a fixed Steinberg
module with D is a restriction of an SL_2-tilting
module. This is the Coulembier--Flake conjecture; we prove
it by a vector-bundle argument on the affine plane.
Higher Frobenius functor.
The previous step lets us define, for every embedding
E_r↪ U(k)⊆ SL_2(k), a
k-linear additive strong symmetric monoidal functor
Phi:C C Ver_{p^r}(k)
that is only semilinear (Phi(af) = a^{p^r}Phi(f)).
Exactness by support. For a well-chosen
embedding of E_r (with r minimal), Phi is actually
exact. The proof uses a projective generator P, the
module M = Hom(P,P^{ ⊗ p^r}), and the theory of
the projectivised rank variety.
Dimension descent. Even when Phi is only
additive (not exact), the Frobenius--Perron dimension
constrains composition factors of Phi(S) for simple
S. Iterating Phi finitely many times pushes the
first component into the Serre closure of the
Frobenius-exact tensor subcategory C_{ex}.
After these four steps, a few more tasks finish the argument:
replace the Serre-closure factor by a fixed small Verlinde level
(via Etingof--Ostrik for p>2, Etingof--Gelaki for p=2); combine
all factors into one big tensor product and remove the total scalar
twist; and verify that the resulting functor is faithful.
Sections sec:groundwork--sec:serre-finish carry out the
four steps. Section sec:consequences records the standard
corollaries.
% =================================================================
# Groundwork
% =================================================================
## Simple unit and a projective generator
The definition of finite symmetric tensor category was chosen so
that the usual Tannakian toolkit applies. We make this explicit.
[C is modules over a finite algebra]
Let C be a finite symmetric tensor category. Then the
unit object is simple, and there is a projective generator
PinC. The functor omega = Hom_{C},-) is
exact and faithful, and C is equivalent, as a k-linear
abelian category, to the category of finite-dimensional modules
over the finite-dimensional k-algebra
A = End_{C}{op}.
Proof.
Simple unit is the Deligne--Milne argument. If Usubset1bf1
is a proper subobject with cokernel Vne0, the epimorphism
Uto V ⊗ U coming from 1bf1twoheadrightarrow V has
zero composite with the subobject V ⊗ Utwoheadrightarrow V.
So V ⊗ U=0. Put W=ker(1bf1to U^*). Then W
sits inside a short exact sequence with U, V, and tensoring by
W gives W~= V. The endomorphism ring of the unit has no
idempotents, so V=0.
For the projective generator: pick surjections Q_ito S_i from
projectives onto the finitely many simples; set
P=⊕_i Q_i. Projectivity lifts surjections to P, so
every object is a quotient of P^{ ⊕ m} for some m. Exact
faithfulness comes from lifting along Pto image. To identify
C~= A-mod, note that presenting objects by
copies of P and using projectivity is fully faithful on the level
of presentations, and every finite A-module has a finite free
presentation.
We fix such a P and such an A once and for all. In particular,
Ptwoheadrightarrow1,1, since the unit is one of the
simples.
## Deligne products
For finite k-linear abelian categories A,B, the
Deligne product A BcalB is the
universal recipient of functors that are k-bilinear and right
exact in each variable. When A~= A-mod and
B~= B-mod, we have
A BcalB~= (A ⊗ _k B)-mod,
and its simple objects are the exterior products of the simples of
the two factors (here we use k algebraically closed).
[combining exact tensor functors]
Let A_1,...,A_1,...,A_s,Z be finite
symmetric tensor categories and let F_i:A_i ZcalZ
be exact k-linear strong symmetric monoidal functors. Then
[
H:A_1 A_scalA_stoZ,
H(X_1boxtimes...boxtimes X_s)
= F_1(X_1) ⊗ ... ⊗ F_s(X_s),
]
extends uniquely to an exact k-linear strong symmetric monoidal
functor.
Proof.
The displayed multilinear functor has a right-exact extension by
the universal property of the Deligne product. Symmetry in
Z gives the tensor constraint by rearranging factors, and
coherence extends by the same universal property. The result
preserves duals. A short exact sequence dualises, is sent to a
right-exact sequence, and is dualised back; hence the functor is
also left exact.
## Frobenius--Perron dimension
For finite tensor categories the Grothendieck ring K_0(C)
is finitely freely generated by simple classes. Symmetry makes it a
commutative ring, and the Frobenius--Perron theorem identifies a
unique positive normalised real character
d = FPdim : K_0(C) RbbR with d(1)=1bf1)=1
and d multiplicative on classes. Key facts, all in Etingof--
Gelaki--Nikshych--Ostrik (2015):
[FP dimension toolkit]
Let C be a finite tensor category.
[label=(roman*)]
d(X)ge 1 for every nonzero X; equality if and only if
X is invertible.
If 0to Xto Yto Zto 0 is exact, then
d(Y)=d(X)+d(Z).
On a Deligne product, d(Aboxtimes B)=d(A),d(B).
If F:C DcalD is an exact strong monoidal
functor of finite tensor categories, then
d(F(X))=d(X) for every X.
Beware: the categorical dimension
dim_{cat}(B)in k that appears in cref{sec:descent}
is a different, k-valued invariant; it is not Frobenius--
Perron dimension. We will only use categorical dimension for one
mod-p congruence.
% =================================================================
# Step 1: Restricted tilting modules
% =================================================================
## The statement
Let G = SL_2(k), and let U~=G_a be its upper
unipotent subgroup, identified with k via
u(t) = (1&t0&1).
For rge 1 put E_r = (Z/p)^rbbZ/p)^r and let
iota:E_r↪ U(k) be any injective homomorphism.
Write R = R_iota for the restriction of G-modules along iota.
Let L(h) denote the simple rational G-module of highest weight
hge0; let St_m = L(p^m-1) be the m-th Steinberg
module, so St_0 = k. Let nabla(a) = Sym^a(V^*) be the
a-th costandard module, where V=k^2 is the standard
representation, and Delta(a) = nabla(a)^*. A G-module is
tilting if it has both a costandard filtration and a Weyl
filtration; T(a) is the indecomposable tilting module of highest
weight a.
[restricted-tilting theorem]
Let rge 1, E_r = (Z/p)^r,Z/p)^r, and iota:E_rto U(k) any
injective homomorphism. For every finite-dimensional kE_r-module
D there is a tilting G-module T such that
[
R_iota(St_{r-1}) ⊗ D ~= R_iota(T)
]
as kE_r-modules.
This proves Conjecture 5.4.2(1) of Coulembier--Flake (2026) and
Conjecture 1 of Coulembier--Flake (2025), for every prime.
## The plan of the proof
We do three things:
[label=(alph*)]
lift the arbitrary kE_r-module D to a coherent rational
U-module DDhat of bounded ``degree'' (a bound on
polynomial degree of the unipotent action matrix);
use DDhat to construct a G-equivariant vector
bundle M on the plane A^2_k whose
origin fibre has all simple composition factors below a
height bound;
tensor by St_{r-1}, observe the resulting bundle's
origin fibre is tilting, and compare origin fibre with
e_1-fibre via a formal construction on jets.
We then recover D from the e_1-fibre.
## Lifting D to a bounded U-module
For a finite-dimensional rational U-module D, its
degree is the largest exponent of t appearing in the action
matrix rho_D(u(t)); this does not depend on a chosen basis.
[bounded lift]
For every finite-dimensional kE_r-module D, there is a
finite-dimensional rational U-module DDhat of degree < p^r
such that Dhat|_D|_{E_r}~= D along iota.
Proof.
Let H⊆ k be the image of E_r under iota. The
vector space
C_q = span_k{1,t,...,t^{q-1}}⊆ k[t]
(with q=p^r) is a subcoalgebra of k[t] with
Delta f(t,s) = f(t+s). Evaluation at H gives a coalgebra map
ev_H : C_q to k^H = O(E_r), which is a
bijection: the two sides have dimension q, and a degree-<q
polynomial vanishing at the q distinct points of H is zero.
Transporting the O(E_r)-coactioncalO(E_r)-coaction defining D across
ev_H, then including C_q subset k[t], gives a
rational U-module of degree <q. Its restriction is D.
## The G-equivariant bundle on the plane
Now consider the orbit map pi : GtoA^2∖A^2∖{0},
g|-> g e_1, with e_1=(1,0). This is a right U-torsor:
the fibres are right U-cosets and on the standard opens xne 0,
yne 0 it has obvious rational sections. Form the associated
vector bundle
[
E = Gtimes^U Dhat,D,
(g,d)sim(gu,u^{-1}d),
]
on the punctured plane, with G acting by left multiplication.
The fibre at e_1 is DDhat itself.
[extension and weight bound]
The bundle E extends to a G-equivariant vector bundle
M on the whole affine plane, and every simple
composition factor of the origin fibre
M_0 = M|_0calM|_0 has highest weight < q.
Proof.
Extension. A coherent extension F exists on the
noetherian affine plane. Its double dual M = mathcal
F^F^{**} is a coherent reflexive sheaf restricting to E.
On the regular surface A^2 every reflexive coherent sheaf
is locally free: at a closed point the stalk has depth two, so the
Auslander--Buchsbaum formula gives projective dimension zero, and at
the generic point and at the generic point of a curve the stalks are
trivially free. Hence M is a vector bundle.
Equivariance. Over the punctured plane we have a
G-equivariant bundle isomorphism
pi_2^*M a^*M for the action
a:GtimesA^2 A^2bbA^2 and projection
pi_2:GtimesA^2 A^2.A^2. Both sides are locally
free, so the Hom-sheaf is locally free and its sections extend
across the codimension-two subset Gtimes{0}; the extensions of
the isomorphism and its inverse remain inverse because the two
composites agree on the punctured plane and hence, by uniqueness,
everywhere. The identity and cocycle conditions follow the same
way.
Weight bound at the origin. The line ell = ke_1 is
fixed pointwise by U. For ain k^times put
h_a = diag(a,a^{-1}); the bundle action of h_a gives
a linear identification of fibres at e_1 and at ae_1, and
h_a^{-1}u(t)h_a = u(a^{-2}t). Hence on every nonzero fibre over
ell the U-action has degree <q. Let
A = Gamma(ell,E nd(M|_calM|_ell)) and write the
U-action as an element of A ⊗ _k k[t],
sum_j b_j t^j. For jge q, b_j vanishes on every nonzero
fibre, so b_j = 0 (since k is infinite and A is torsion-free
over k[t]). So the origin action also has degree <q, and the
same holds for any subquotient.
Passing degree to weights. Write a simple G-module as a
tensor product of Frobenius twists of Sym^{h_i}(k^2) with
h=sum_i h_ip^i, 0le h_i<p. Its U-action has degree exactly
h (the coefficient of t^h from
⊗_i e_2^{h_i} to ⊗_i e_1^{h_i} is nonzero).
Hence every simple composition factor L(h) of M_0 has
h<q.
## Tilting under a height bound
We use two standard facts about SL_2-tilting modules, both due to
Donkin and both valid in every positive characteristic including
p=2:
L(a) = T(a)(0le a<p),
T(a) ⊗ T(b)^{(1)}~= T(a+pb)
(p-1le ale 2p-2, bge 0),
where (1) means pullback along the Frobenius. See Benson--
Etingof--Ostrik (2023), Proposition 3.1.
[Steinberg ⊗ bounded weight is tilting]
Let M be a finite-dimensional rational SL_2(k)-module with every
composition factor of the form L(h) for 0le h<p^m (where
mge 1). Then St_{m-1} ⊗ M is tilting.
Proof.
Reduces by composition series to M = L(h).
For m=1, h<p and St_0=k, so St_0 ⊗ L(h) = T(h) is
tilting by (eq:sl2-tilting-basics).
For m>1, write h = d + p h' with 0le d<p and h'<p^{m-1}.
Steinberg's tensor product theorem gives
[
St_{m-1} ⊗ L(h) ~=
L(d) ⊗ St_1 ⊗
(St_{m-2} ⊗ L(h'))^{(1)}.
]
By induction the bracket is a direct sum of tilting modules. Apply
Donkin's formula (eq:sl2-tilting-basics) with a=p-1 and
b equal to the highest weight of each summand; each summand times
St_1 (a Frobenius twist of a tilting) is tilting. Tensoring
further with L(d) = T(d) preserves tilting because tilting modules
are closed under tensor products.
Applying cref{lem:steinberg-tilting} with m=r to M_0 = mathcal
M|_0,M|_0, we have:
T := St_{r-1} ⊗ M_0
is a tilting G-module. The remaining step is to compare T
(the origin fibre of
N = St_{r-1} ⊗ _k M) with the e_1-fibre
of N.
## Formal comparison of fibres
[comparison with a tilting origin fibre]
Let N be a G-equivariant vector bundle on A^2
whose origin fibre T = N|_0calN|_0 is tilting. Then
N|_calN|_{e_1}~= T|_U as rational U-modules.
Proof.
Jet trivialisation. Let A=k[x,y], m=(x,y),m=(x,y),
and N=Gamma(A^2,N), a possibly
infinite-dimensional rational G-module. Local freeness gives
canonical G-isomorphisms
m^jfrakm^j N/m^m^{j+1}N ~=
Sym^j(V^*) ⊗ _k T.
The target has a good filtration. Tensor products of Sym's of
V^* have good filtrations: via multiplication by the determinant
d=x_1y_2-y_1x_2, the sequence
0toSym^{a-1}V^* ⊗ Sym^{b-1}V^*to
Sym^a V^* ⊗ Sym^b V^*toSym^{a+b}V^*to 0 is exact.
Now T has both a Weyl and a good filtration, so for every j,
[
Ext^1_G(T,Sym^j(V^*) ⊗ T) = 0
]
by Cline--Parshall--Scott--van der Kallen.
Starting from the identity s_1:Tto N/m N, we lift
successively to G-maps s_j:Tto N/m^jfrakm^j N that reduce
modulo m^jfrakm^j to s_{j-1}; the obstruction is exactly the
Ext group just computed. Extending scalars, s_j gives an
A/m^j-linearfrakm^j-linear map
(A/m^j)m^j) ⊗ _k Tto N/m^jfrakm^j N, which is an
isomorphism by Nakayama (both sides free of the same rank and the
map is an isomorphism on the residue field). The inverse limit is a
G-equivariant isomorphism
k[[x,y]] ⊗ _k Txrightarrow{sim}Nhat.N.
Fibre comparison. Restrict to the fixed line y=0, pass
to K = k((x)): this gives a U_K-isomorphism
phi:T_K~= N_{xe_1}. To cancel the parameter
mismatch we use the torus element h = diag(x,x^{-1}):
since hu(t)h^{-1} = u(x^2 t), the composite
f = b_h^{-1}phirho_T(h) intertwines the original
U-actions (where b_h : N_{e_1}toN_{xe_1} is
bundle transport).
Descent to k. The space
L = Hom_U(T,N_{e_1}) is cut out by finitely many
k-linear equations in fixed k-bases, so L_K = L ⊗ _k K.
The determinant on L is nonzero over K (witnessed by f), so
nonvanishing at some k-point (since k is infinite) gives the
required isomorphism over k.
Proof. [Proof of cref{thm:restricted-tilting}]
Apply cref{prop:extension-bound} to get M with origin
fibre M_0 whose simple factors have highest weight <q=p^r.
By cref{lem:steinberg-tilting}, T = St_{r-1} ⊗ M_0 is
tilting. Apply cref{lem:formal-comparison} to
N = St_{r-1} ⊗ _kM:M: its origin fibre is
T, so
[
N|_calN|_{e_1} ~= T|_U.
]
But by construction N|_calN|_{e_1} restricts to
R(St_{r-1}) ⊗ D along E_r↪ U(k), hence so
does T. Set T_{out} := T; the theorem follows.
% =================================================================
# Step 2: The higher Frobenius functor
% =================================================================
## The functor Θ from group modules to Verlinde
Fix rge 1, q=p^r, and an embedding
E = E_r ↪ U(k). We write R for restriction of
SL_2-modules along this embedding, and W = Ver_{p^r}(k).
Let T⊆T⊆ Rep_k(SL_2) be the category of tilting
modules, and let I_r be the tensor ideal generated by
St_r = L(p^r-1).
Concretely, I_r is defined by demanding that T(a) (the
indecomposable tilting module of highest weight a) vanish in
T/I_rcalT/I_r whenever age p^r - 1; this is the standing
convention in this circle of papers.
The functor T/I_rcalT/I_rtoW is an equivalence onto a
full subcategory (Benson--Etingof--Ostrik (2023), Theorem 4.2(i)).
Stable restriction gives a faithful quotient functor
T/I_rcalT/I_rtoStab(E) :=
Rep_k(E)/(projectives).
Coulembier--Flake (2026, Theorem 5.4.3) state: if for every
finite-dimensional E-module D the tensor R(St_{r-1) ⊗ D
is a restriction of a tilting, then there is a k-linear strong
symmetric monoidal functor}
Θ : Rep_k(E)→ W
quadwithquad
Θ(R(T)) ~= Σ_r(Tbmod I_r).
The hypothesis is exactly cref{thm:restricted-tilting}. So
cref{thm:restricted-tilting} produces Θ, once and for all
embeddings.
Θ is not exact; it is additive and symmetric monoidal.
[Θ detects nonprojectives]
Let T be a tilting module whose restriction R(T) is not
projective as an E-module. Then Θ(R(T))ne0. Moreover,
if H<E is a proper subgroup, then every module induced from a
kH-module is killed by Θ.
Proof.
If Tbmod I_r=0 then R(T) is projective (stable restriction
result). Otherwise Tbmod I_rne0, and Σ_r being fully
faithful implies Θ(R(T))ne0.
For induced modules: R(St_r) has dimension q, and its
restriction is projective (the mod I_r quotient kills
St_r). Since kE is local, a projective of dimension q
is the free module, so Θ kills every projective. When
H<E is proper, St_{r-1}in I_s at the level s =
rank(H) so Res^E_H R(St_{r-1}) is projective; the tensor
identity
S ⊗ Ind_H^E D ~= Ind_H^E(Res_H^E S ⊗ D) therefore
gives a projective E-module, on which Θ vanishes. Since
Θ(S)ne0 and tensoring by a nonzero object is faithful,
Θ(Ind_H^E D)=0.
## Internal evaluation
Let C be a finite symmetric tensor category with
projective generator P_0. Write A = End_{C}{op},
so C~= A-mod. An object of
C is an object of C
equipped with a commuting E-action. Applying Θ to the
underlying E-module and to the action maps produces an A-module
object in W, hence an object of
C W.W. This is the internal
extension Θ_{C} of Θ (Coulembier--Flake
2026, Example 3.2.4 and Proposition 3.2.6; requires only
additivity of Θ, not exactness).
[evaluation at projectives]
For QinC projective and Z an E-object of
C,
[
(Hom_{C},-)boxtimesId_W)
(Θ_{C}
~= Θ(Hom_{C},Z)).
]
Proof.
In A-mod, Q is a direct summand of a free module, so
Hom_A(Q,-) is an additive idempotent of the identity functor on
A-mod. An additive functor preserves split idempotents and
direct sums; applying Θ therefore commutes with
Hom_A(Q,-).
## The tensor-power functor Phi
Give X^{ ⊗ q} the E-action coming from regular permutation
of tensor positions. Define
Phi(X) = Θ_{C}{ ⊗ q})
in C W.
[monoidal structure and semilinearity]
Phi is additive, strong symmetric monoidal, strong k-linear
after twisting scalars by Frobenius a|-> a^q, and satisfies
Phi(af) = a^qPhi(f) for scalars ain k.
Proof.
The monoidal constraint is the E-equivariant reordering
[
(X ⊗ Y)^{ ⊗ q}~= X^{ ⊗ q} ⊗ Y^{ ⊗ q}
]
with the diagonal action on the right, applied through the internal
monoidal extension of Coulembier--hspace{0pt}Flake (2026, Section 3.3.2).
Additivity can be checked directly: in the expansion of
(X ⊕ Y)^{ ⊗ q}, a nonconstant colouring of tensor
positions has a proper stabiliser in E, so the sum over its
E-orbit is induced from that stabiliser and hence is killed by
Θ (using cref{lem:theta-detection}); only the two constant
colourings survive. Semilinearity is immediate from the same
calculation on scalars.
Combining cref{eq:phi} and cref{lem:projective-evaluation}:
(Hom_{C},-)boxtimesId_W)(
~= Θ(Hom_{C},X^{ ⊗ q}))
for every projective Q.
## The nonprojective image criterion
[Phi exact iff image nonzero]
If there are projective objects P,QinC with
Θ(Hom_{C},P^{ ⊗ q}))ne0, then Phi is
exact.
Proof.
Cref{eq:phi-evaluation} gives Phi(P)ne0. For a short exact
sequence in C, tensoring by P splits it because tensor
products of projectives with arbitrary objects are projective.
The additive Phi preserves this split sequence. Monoidality
identifies the result as the original image sequence tensored by
Phi(P). Tensoring by the nonzero Phi(P) is exact and faithful,
and reflects exactness; the image sequence is exact.
% =================================================================
# Step 3: Choosing an exact embedding
% =================================================================
Now we need to actually find r and iota for which the criterion
of cref{prop:phi-exactness} fires. The strategy: take r minimal
so that M(r) := Hom_{C},P^{ ⊗ p^r}) (as a
kE_r-module via the regular permutation of tensor slots) is
nonprojective; and then choose the embedding iota so that
R(St_{r-1}) ⊗ M(r) stays nonprojective.
## Norms and p-group projectivity
For a finite group H acting on a finite-dimensional vector space,
nu_H:X_Hto X^H is the norm map: it factors
sum_{hin H} h:Xto X.
[p-group projectivity via norm]
Let k be a field of characteristic p, H a finite p-group,
M a finite-dimensional kH-module. Then M is projective iff
nu_H(M) is an isomorphism. More generally, for any finite group
G, the norm map on a projective kG-module is an isomorphism.
Proof.
The group ring kH is local self-injective: its only simple is k
with trivial action; its socle is generated by N_H=sum_{hin H}h;
the augmentation ideal is nilpotent (induct on |H|, use a central
order-p element z with (z-1)^p=0, descend to k[H/<
z>]); and a nondegenerate pairing ab|-> coefficient of
1 identifies kH with its linear dual as a module.
For kH-free modules, the norm map is an iso. Converse: if
N_Hmne0, the map kHto M, a|-> am is injective and splits
by self-injectivity, so M has a free summand. Strip off all free
summands, leaving M' with N_HM'=0; if M'ne0 then N_H=M'_H=0
by Nakayama, contradiction with an iso. So M'=0.
For a general finite group and a projective module: restrict to Sylow
p-subgroups; each restriction is projective; the norm iso there
implies the total norm iso (same argument).
[independent actions multiply]
Let finite p-groups H_i act on objects X_iinC
(i=1,...,s). If omega(X_i) is projective over kH_i for
exact faithful omega = Hom_{C},-), then
omega(X_1 ⊗ ... ⊗ X_s) is projective over
k[H_1times...times H_s] (independent actions), and over every
subgroup thereof.
Proof.
Categorically, (X ⊗ Y)_{Htimes K}~= X_H ⊗ Y_K and
(X ⊗ Y)^{Htimes K}~= X^H ⊗ Y^K
(take kernels/cokernels one group at a time). So
nu_{Htimes K}(X ⊗ Y) = nu_H(X) ⊗ nu_K(Y). If each
nu_{H_i}(X_i) is iso, so is the product norm. Applying exact
omega and cref{lem:norm-projectivity} finishes. Restrict to a
subgroup Hle H_1times...times H_s: kH_i is free over
kH for any finite group, so projectivity is preserved.
## Existence of a minimal r
Let E_a=(Z/p)^abbZ/p)^a act on p^a positions by its regular
representation; this induces an E_a-action on P^{ ⊗ p^a}.
Set M(a) = omega(P^{ ⊗ p^a}), an E_a-module.
[first nonprojective power]
There is a least integer rge 1 for which M(r) is not projective
over kE_r. For this r, the restriction of M(r) to every
proper subgroup of E_r is projective.
Proof.
Suppose all M(a) projective. Fix d and an elementary abelian
p-subgroup HleS_d.S_d. Every H-orbit in
{1,...,d} is regular because H is abelian; orbitwise,
P^{ ⊗ d} is a product of P^{ ⊗ p^{a_i}}, each
projective over k E_{a_i} by assumption. By
cref{lem:product-actions}, omega(P^{ ⊗ d}) is projective
over kH for the product of orbit groups, hence over the diagonal
copy of H (which is an injective image). Chouinard's theorem then
says projective over every elementary abelian p-subgroup implies
projective over kS_d.S_d.
Now apply Ptwoheadrightarrow1bf1 (S_d-equivariant,S_d-equivariant,
trivial action on the target) and exactness of omega followed by
coinvariants:
[
omega(P^{ ⊗ d})_{S_d}S_d twoheadrightarrow
omega(1)1)ne0.
]
By cref{lem:norm-projectivity}, the total symmetrizer
b_d = sum_{sigmainS_d}S_dsigma acts nontrivially on
P^{ ⊗ d}.
On the other hand the action map
kfrakS_dtoEnd_{C}{ ⊗ d}) cannot be
injective: length grows exponentially in d (bounded by
ell(P)b^{d-1} with b=max_iell(S_i ⊗ P)) and the
dimension of Hom(X,Y) is bounded by ell(X)ell(Y), whereas
d! grows like a factorial. The kernels of these action maps
constitute a tensor ideal in the permutation category, and every
nonzero tensor ideal in Sym contains some
b_d in characteristic p>0 (Coulembier--Etingof--Ostrik 2023,
Lemma 4.10). Its proof uses Kleshchev's faithfulness theorem.
Contradiction. So some M(r) is nonprojective; take r minimal.
For the last claim: H<E_r of rank a<r acts on the regular
E_r-set as a disjoint union of regular H-orbits; each orbit's
power-evaluation is projective by minimality (rank a) or trivially
if H=1; apply cref{lem:product-actions} and restrict to the
diagonal.
## Rank varieties and support
Let kE_r-modules be graded by the augmentation ideal
m = (g_i-1)_i. The projectivised rank variety of
a finite-dimensional module D is
[
supp(D) =
bigl{[alpha]inP^{r-1}(k) :
D not free over k[t]/(t^p),
t|->textstylesum_ialpha_i(g_i-1)
bigr}.
]
Two standard facts (Benson 2017; Coulembier--Flake 2025):
supp(D) = ∅ iff D projective,
supp(D ⊗ D') = supp(D)capsupp(D').
[support point independence]
If M is a nonprojective kE_r-module with all restrictions to
proper subgroups projective, then every [alpha]insupp(M) has
F_p-linearlybbF_p-linearly independent coordinates.
Proof.
For cin(F_p^r)^, let H=ker c and
N = Ind_H^{E_r}k, the regular representation of E_r/H~=
Z/pbbZ/p (identified with k[z]/(z^p), generator acts by
1+z). The element sum_ialpha_i(g_i-1) acts on N by
h_alpha(z) = sum_ialpha_i((1+z)^{c_i}-1), whose linear
coefficient is sum_i c_ialpha_i.
If sum_i c_ialpha_ine0, then t|-> h_alpha(z) is an iso
of truncated polynomial algebras, so N is free as k[t]/(t^p);
if sum_i c_ialpha_i=0, then h_alphain(z^2), so
h_alpha^{p-1}=0, incompatible with a free module of dimension
p; so N is not free.
Thus
supp(N) = {[alpha] : sum_i c_ialpha_i=0}. The tensor
identity gives M ⊗ Ind_H^{E_r}kcongInd_H^{E_r}(M|_H), which
is projective, so supp(M)capsupp(N)=∅. Hence
sum_i c_ialpha_ine0 for every nonzero c. In particular the
coordinates of every [alpha]insupp(M) are F_p-linearlybbF_p-linearly
independent.
[Steinberg support in coordinates]
Let lambda_1,...,lambda_rin k be F_p-linearlybbF_p-linearly
independent and define iota_lambda : E_rto SL_2(k),
g_i|-> u(lambda_i). Write R_lambda for restriction. Then
supp(R_lambda(St_{r-1})) =
{[alpha] : sum_ialpha_ilambda_i^{p^j}=0
(0le jle r-2)}.
Proof.
On St_1 = Sym^{p-1}(k^2), the unipotent u(a) acts as
exp(aN) = sum_{b=0}^{p-1}a^bN^b/b! where N is a ptimes p
Jordan block. Then sum_ialpha_i(g_i-1) acts by a polynomial in
N whose linear coefficient is sum_ialpha_ilambda_i; by the
argument of cref{lem:support-independent}, the resulting
p-dimensional module is free iff the coefficient is nonzero.
Frobenius twist replaces lambda_i by lambda_i^{p^j}.
Since St_{r-1}~=⊗_{j=0}^{r-2}St_1^{(j)}, the tensor
product formula (eq:support-properties) gives an intersection
of hyperplanes
M_j : sum_ialpha_ilambda_i^{p^j}=0, exactly cref{eq:steinberg-support}.
For r=1 the system is empty and St_0=k has
supp(St_0)=P^0(k), consistent.
## Moore's lemma: choosing lambda
[lambda solving prescribed equations]
Let alpha_1,...,alpha_rin k be F_p-linearlybbF_p-linearly
independent. Then there exist F_p-linearlybbF_p-linearly independent
lambda_1,...,lambda_rin k with
sum_ialpha_ilambda_i^{p^j} = 0,
0le jle r-2.
For r=1 the system is empty.
Proof.
r=1: take lambda_1ne0. For rge2: step is standard
graded linear algebra. Put beta_i = alpha_i^{p^{-(r-2)}} (using
that k is perfect). Let
B = (beta_i^{p^s})_{s,i} be the (r-1)times r matrix.
Rows of B are linearly independent: otherwise a nontrivial
additive polynomial f(X)=sum_{s=0}^{r-2}a_s X^{p^s} vanishes on
the p^r-element span of the beta_i, but deg fle p^{r-2}, so
f=0.
Row space of B contains no nonzero F_p^r-vector:F_p^r-vector: if
c_i = f(beta_i)inF_p, then the polynomial f^p-f
vanishes on the same p^r-element set and has degree
le p^{r-1}; so f^p-f=0, forcing f=0 (since deg f<p^{r-1}
and f has zero constant term).
Choose lambdainker B nonzero. Kernel is one-dimensional. Any
cinF_p^r with sum_i c_ilambda_i=0 belongs to the
annihilator of ker B, i.e., to the row space of B, hence is
c=0. So lambda_i are F_p-linearlybbF_p-linearly independent.
Reading rows of B in reverse order, (alpha_i^{p^{-j}})_i, and
raising the equations sum_ilambda_i^{p^s}alpha_i^{p^{-(r-2)}p^s}
=0 to the p^{r-2}-th power gives (eq:moore).
[embedding kills no support]
Let M be a nonprojective kE_r-module with projective restriction
to every proper subgroup. Then there is an embedding
iota_lambda:E_r↪ U(k) with
R_lambda(St_{r-1}) ⊗ M nonprojective.
Proof.
Pick [alpha]insupp(M); coordinates are F_p-linearlybbF_p-linearly
independent by cref{lem:support-independent}. Choose lambda by
cref{lem:moore-selection}; cref{lem:steinberg-support} then gives
[alpha]insupp(R_lambda(St_{r-1})). So the tensor product
support (eq:support-properties) is nonempty. Hence
R_lambda(St_{r-1}) ⊗ M is nonprojective.
## Exactness
[exact higher Frobenius functor]
Let C be a finite symmetric tensor category over k of
characteristic p>0. Then there exist rge1 and an embedding
E_r↪ U(k) such that the construction of
cref{sec:higher} gives an exact additive strong symmetric monoidal
functor
[
Phi:C CcalCboxtimesVer_{p^r}(k)
]
with Phi(X)=Θ_{C}{ ⊗ p^r}) and
Phi(af)=a^{p^r}Phi(f). Moreover, for every projective Q the
evaluation (eq:phi-evaluation) holds.
Proof.
Let P be the projective generator and r the minimal integer of
cref{prop:first-nonprojective}. Then
M = Hom_{C},P^{ ⊗ p^r}) is nonprojective with
projective restriction to every proper subgroup of E_r.
By cref{prop:support-selection} pick lambda so that
R_lambda(St_{r-1}) ⊗ M is nonprojective.
By cref{thm:restricted-tilting},
R_lambda(St_{r-1}) ⊗ M~= R_lambda(T) for a tilting
module T. By cref{lem:theta-detection},
[
0 ne Θ(R_lambda(T))
~= Θ(R_lambda(St_{r-1})) ⊗ Θ(M).
]
So Θ(M)ne0. Cref{prop:phi-exactness} with P=Q shows
Phi is exact.
% =================================================================
# Step 4: Dimension descent
% =================================================================
We now have an exact Phi:C CcalCboxtimesmathcal
W,W, q=p^r, W={p^r}(k), semilinear.
Its image closes up on the first factor to the Serre closure of a
Frobenius-exact subcategory.
## Ordinary Frobenius and a mod-p identity
For YinC, let c be the cyclic permutation of the p
factors of Y^{ ⊗ p} and D = 1-c (so D^p=0). Define the
Etingof--Ostrik components:
[
F_i(Y) = frac{ker DcapimD^{i-1}}
{ker DcapimD^i},
1le i<p.
]
If ell_iinVer_p(k) is the simple object represented by a
Jordan block of length i, then
F(Y)=⊕_{i=1}^{p-1}F_i(Y)boxtimesell_i. In the
semilinear convention, the F_i(Y) are objects of C
itself. F is not assumed exact.
[mod-p identity in K_0]
In K_0(C)/pK_0(C)/pK_0(C),
[
[Y]^p = sum_{i=1}^{p-1}i[F_i(Y)].
]
Consequently, for every rge 1,
[Y]^{p^r} = sum_{i_1,...,i_r=1}^{p-1}(i_1... i_r)
[F_{i_r}... F_{i_1}(Y)] pmod p.
Proof.
Put Z=Y^{ ⊗ p} and K_j = ker DcapimD^j
for 0le jle p. The short exact sequences
0to K_jtoimD^jtoimD^{j+1}to0
give [Z]=sum_{j=0}^{p-1}[K_j]. Summing the successive quotients
in the filtration K_0⊇...⊇ K_p=0 gives the
integral identity
[Z]=sum_i i[F_i(Y)]+p[K_{p-1}]. Mod p this is the first
claim. Reraising to successive p-th powers in the commutative
ring and applying to concrete objects gives the iterated form.
## Equality in dimension forces exactness
An exact strong monoidal sigma-semilinear functor still preserves
Frobenius--Perron dimension: it sends nonzero objects to nonzero
objects (from 1↪1↪ X ⊗ X^*), so
composing with FP dimension gives a positive normalised character on
K_0(C); the FP characterization forces it to be the FP
dimension of the source. In particular
[
d(Phi(X)) = d(X).
]
[first-component ineuality]
Let SinC be simple and Aboxtimes B a composition
factor of Phi(S). Then d(A)le d(S). If equality holds then
Phi(S)~= Aboxtimes B, B is invertible, and
SinC_{ex} (the subcategory on which the
ordinary Frobenius functor is exact).
Proof.
Ineuality. d(S)=d(Phi(S))=sum d(A_k)d(B_k)ge d(A_1)
for any factor, using dge 1 for nonzero objects.
Equality. If d(A)=d(S) then the FP decomposition sum is a
single term with d(B)=1, so B is invertible and Phi(S) is
simple of the form Aboxtimes B.
SinC_{ex.} Let Q_A be the
projective cover of A. Over k algebraically closed,
dim_kHom(Q_A,X) = [X:A]. Applying (eq:phi-evaluation) to
S and X=S^{ ⊗ q}:
[
Θ(Hom_{C},S^{ ⊗ q}))
~= B.
]
Θ preserves categorical dimension, so its argument has
categorical dimension equal to that of B, which is nonzero (its
product with the categorical dimension of B^* is one). Hence
[S^{ ⊗ q}:A]notequiv 0pmod p.
By (eq:iterated-ord) there are indices
i_1,...,i_rin{1,...,p-1} with A a composition factor
of Y_r, where Y_0=S, Y_t = F_{i_t}(Y_{t-1}). For each t,
using d(F(Y_{t-1}))ge d(Y_t) and d(ell_{i_t})ge1:
[
d(Y_{t-1})ge d(F(Y_{t-1}))ge d(Y_t).
]
But d(Y_r)ge d(A)=d(S)=d(Y_0), so all ineualities are equalities;
in particular d(F(S))=d(S), so SinC_{ex}.
## The finite graph
Let N be the number of simple isomorphism classes in
C. Form a directed graph on those classes by arrow
Sto A whenever Aboxtimes B appears in some composition factor
of Phi(S).
Every vertex has at least one outgoing arrow. By
cref{lem:first-component-ineuality}, dimension is nonincreasing
along arrows. On a directed cycle, dimension is constant, all
vertices belong to C_{ex}, and each vertex has
exactly one outgoing arrow. Hence a path entering a cycle is
trapped inside it. A path of length N visits N+1 vertices and
so hits a cycle. Its endpoint is in C_{ex}.
A schematic path is drawn in cref{fig:dimension-descent}.
[!htbp]
centering
[
x=1cm,y=1cm,
vertex/.style={circle,draw,fill=white,minimum size=5mm,inner sep=0pt},
edge/.style={-{Stealth[length=2mm]},semithick},
every node/.style={font=small}
]
fill[black!4,rounded corners=5pt] (0.1,-1.65) rectangle (3.55,1.8);
node at (-2.8,1.45) {nonincreasing dimension};
node at (1.83,2.10) {equal dimension};
node[vertex] (S0) at (-4.4,0) {};
node[vertex] (S1) at (-2.8,0) {};
node[vertex] (S2) at (-1.2,0) {};
node[vertex] (A) at (0.7,0) {};
node[vertex] (B) at (2.7,1) {};
node[vertex] (C) at (2.7,-1) {};
node[above=5pt] at (S0.north) {S_0};
node[above=5pt] at (S1.north) {S_1};
node[above=5pt] at (S2.north) {S_2};
node[above left=5pt] at (A.north west) {A};
node[above=5pt] at (B.north) {B};
node[right=5pt] at (C.east) {C};
draw[edge] (S0) -- (S1);
draw[edge] (S1) -- (S2);
draw[edge] (S2) -- (A);
draw[edge] (A) -- (B);
draw[edge] (B) -- (C);
draw[edge] (C) -- (A);
node[align=center] at (-2.8,-0.95)
{S→ S' implies d(S')<= d(S)};
node[align=center] at (1.83,-2.10)
{A,B,CinC_{ex}[2pt]
unique outgoing neighbor at each cycle vertex};
caption{A schematic path in the graph of simple objects, with an
illustrative three-vertex cycle. Dimension is nonincreasing along
every arrow; arrows before the cycle may also preserve dimension.
On a cycle, cref{lem:first-component-ineuality} gives equality,
membership in C_{ex}, and a unique outgoing
neighbor at every vertex, so the path cannot leave the cycle.}
## Iteration and Serre closure
Let sigma(a)=a^q. For a k-linear category A, let
A^{[sigma]} have the same objects and additive morphism
groups but scalar action twisted by sigma^{-1}. Then
sigma-semilinear functors out of A = k-linear
functors out of A^{[sigma]}, and
(A B)^B)^{[sigma]}
= A^{[sigma]}boxtimesmathcal
B^B^{[sigma]}, so products of sigma-semilinear functors are
sigma-semilinear.
Each Ver_{p^s}(k) is defined over F_p; scalar transport
along b|-> b^{p^a} is an exact strong symmetric sigma^a-
semilinear autoequivalence J_{sigma^a} of every
Ver_{p^s}(k).
Define Psi_0=Id, Psi_1=Phi, and
Psi_{j+1} = (Phiboxtimes J_sigma^{boxtimes j})circPsi_j
:C CcalCboxtimesW^{boxtimes(j+1)}.
By induction each Psi_j is exact, strong symmetric monoidal,
and sigma^j-semilinear.
[first components after N iterations]
Let Psi_N :C CcalCboxtimes
W^{boxtimes N} be as above. Then every composition
factor Aboxtimes B_1boxtimes...boxtimes B_N of
Psi_N(X) has AinC_{ex}.
Proof.
Exactness of Phi plus the path bound on C (any first
component of one iteration is a first component of one further
edge); induction on N, starting with simple objects (where the
path argument applies) and finishing with composition series.
Autoequivalences on other factors send simples to simples and
don't touch the first component.
Let D⊆D⊆C be the full subcategory whose
simple composition factors lie in C_{ex}. This
is the Serre closure of C_{ex}.
[Serre closure inherits tensor structure]
D is closed under tensor products, duals, extensions, and
contains the unit; it is finite and has enough projectives; it
carries a rigid symmetric tensor structure inherited from
C. Moreover the functor Psi_N factors through
[
Psi_N :C D
W^{boxtimes N}.
]
Proof.
Closed under tensor products: biexactness gives tensor-product
filtrations, and C_{ex} is a tensor
subcategory closed under subquotients (Etingof--Ostrik 2021,
Prop 7.4). Duality preserves D by exactness.
Finiteness, projectives: concretely, write
C~= H-mod with H basic finite-dimensional;
let e be the idempotent summing primitive idempotents of the
non-C_{ex} simples; then
D~= (H/HeH)-mod by removing the
e-isotypic parts, and H/HeH is finite-dimensional and finite
projective dimension, so D is finite with enough
projectives.
Factoring through D:D: cref{lem:first-components}.
% =================================================================
# Finishing the proof: a fiber functor on D
% =================================================================
## The fiber functor on D
We need an exact strong symmetric monoidal E:mathcal
DcalDtoVer_{p^n}(k) for some fixed n.
Case p>2.:
C_{ex} is Frobenius-exact, so by
Etingof--Ostrik (2021, Theorem 8.1) it has a fiber functor
C_{ex}toVer_p(k). If p>2, the Serre closure
of C_{ex} equals C_{ex}
(Etingof--Ostrik 2021, Corollary 9.5). So D=
C_calC_{ex} and we already have E:D
Case p=2.:
The fiber functor C_{ex}toVer_2(k)=Vec_k is a
k-linear fiber functor. But C_{ex}⊆
D contains every simple of D by definition,
and C_{ex} is Frobenius-exact. Etingof--Gelaki
(2021, Theorem 2.21(2)) then extends it to
E:D+(k)⊆Ver_4(k).
(This is also Etingof--Ostrik 2021, Corollary 9.8.)
So in all cases:
[
E:D → Ver_{p^n}(k),
n = 1 & p>2, 2 & p=2.
]
## Combining factors
Set n=max(2,r) and Z = Ver_{p^n}(k). The tower
inclusions Ver_{p^r}(k)⊆Ver_{p^n}(k)
(Benson--Etingof--Ostrik 2023, Theorem 4.34) give a k-linear exact
strong symmetric monoidal I:W Z.Z.
The functors E:D ZcalZ and I:W
Z combine, by cref{lem:combine-functors}, into
[
H:D W^W^{boxtimes N}toZ,
H(Dboxtimes W_1boxtimes...boxtimes W_N)
= E(D) ⊗ I(W_1) ⊗ ... ⊗ I(W_N).
]
H is exact and strong symmetric monoidal.
## Killing the scalar twist
The composite HPsi_N :C ZcalZ is
sigma^N-semilinear (each iteration multiplies semilinearity by
sigma). Let J_{sigma^{-N}} be scalar transport on Z
along b|-> b^{p^{-N}}. Then
[
F := J_{sigma^{-N}}circ HcircPsi_N :
C→C→Z
]
is k-linear, exact, strong symmetric monoidal.
## Faithfulness
[exact strong monoidal with simple unit is faithful]
Let F:C DcalD be an exact strong symmetric
monoidal functor between finite symmetric tensor categories. Then
F is faithful.
Proof.
Suppose Xne0. The coevaluation
1bf1to X ⊗ X^* is nonzero (triangle identity) and by
simplicity of 1bf1 it is injective; applying exact F shows
F(X)ne0. For a nonzero f:Xto Y: exactness gives
imF(f)~= F(imf), and
imfne0, so F(f)ne0.
Applying cref{lem:faithful} to F shows F is
faithful. Hence F:F:C{p^n}(k) is the
required fiber functor, and cref{thm:main} follows.
% =================================================================
# Consequences
% =================================================================
We now record the three structural corollaries that were the original
motivation for proving cref{thm:main}.
## Incompressible categories
Recall that C is incompressible if every
k-linear exact strong symmetric monoidal functor from C
to a symmetric tensor category over k is fully faithful.
[classification of finite incompressible]
Let k be algebraically closed of characteristic p>0. A finite
symmetric tensor category C over k is incompressible if
and only if it is k-linearly equivalent as a symmetric tensor
category to one of the following, according to p:
[
{c|l}
p=2 & Ver_{2^m}(k) (mge1),
Ver_{2^m}^+(k) (mge2),
p=3 & Ver_{3^m}(k), Ver_{3^m}^+(k)(mge1),
pge 5 & Vec_k, sVec_k,
Ver_{p^m}(k), Ver_{p^m}^+(k)(mge1).
]
Proof.
Direction ⇐: Vec_k has trivial
End(1)=k,1)=k, so any strong symmetric tensor functor out of
it is fully faithful (fill in the linear maps on simples); the
supervector-space case is similar (an odd simple has a nontrivial
sign in its double dual, which cannot match a vector space).
For the Verlinde full and plus categories, see Benson--Etingof--
Ostrik (2023), Theorems 4.71 and 4.72(iii).
Direction ⇒: take a fiber functor
F:C{p^n}(k) from cref{thm:main}, let
I be the image's full subcategory of subquotients.
Then F corestricts to a surjective-in-the-tensor-category-sense
functor onto I (Etingof--Gelaki--Nikshych--Ostrik 2015,
Definition 1.8.18, Prop 1.8.19, Section 6.3). Incompressibility
of C forces this corestriction to be fully faithful.
The two FP-dimension ineualities of finiteness (inclusion vs
surjection) then force equality, hence an equivalence.
Benson--Etingof--Ostrik 2023, Corollary 4.61 then restricts
I to a full or plus sub-Verlinde at height le n.
Collecting cases gives the stated list.
Every finite tensor category has moderate growth: multiplication by
the class of a fixed object on the finite-rank Grothendieck group is
a finite nonnegative matrix, which bounds the lengths of its tensor
powers exponentially. So cref{cor:incompressible} is precisely the
finite case of Conjecture~B of
[cite].
## Uniqueness in characteristic 2
[uniqueness in characteristic two]
Let k be algebraically closed of characteristic two and
C a finite symmetric tensor category. Then
C{2^∞}(k) :=∪_nVer_{2^n}(k) has
exactly one fiber functor up to monoidal natural isomorphism; its
class contains a representative into a finite stage
Ver_{2^n}(k); and for each fixed n there is at most one fiber
functor C{2^n}(k) up to monoidal natural
isomorphism.
Proof.
Existence: cref{thm:main} into some finite stage, then tower
inclusion. Uniqueness (union): Coulembier--Etingof--Ostrik (2024),
Theorem 9.4.1: any k-linear exact symmetric tensor functor from
an arbitrary tensor category in characteristic 2 into
Ver_{2^∞}(k) is unique up to monoidal natural isomorphism.
Fixed stage: lift stage uniqueness through the fully faithful tower
inclusion; naturality and tensor compatibility hold by faithfulness.
## Tannaka reconstruction over a Verlinde level
Let V be a finite symmetric tensor category. The
fundamental group pi(V) :=
Aut^{ ⊗ }(Id_V) acts
canonically on Ind(V). A
V-groupcalV-group is an internal affine group scheme G with
a homomorphism phi:pi(V) G whose induced coaction
matches the canonical one.
[reconstruction over a Verlinde level]
Let k be algebraically closed of characteristic p>0, mathcal
CcalC finite symmetric tensor, and F:C
V={p^n}(k) a fiber functor (from cref{thm:main}).
Then there is a V-groupcalV-group (G,phi) with
C~=Rep(G,phi) over V, equivalent to
F under the forgetful functor. One may take
G=Aut^{ ⊗ }(F) and
phi:pi(V){ ⊗ }(F) the
canonical homomorphism.
Proof.
Cref{lem:modules-finite-alg} makes C, together with
V={p^n}(k), a ``pretannakian category'' in the
sense of Coulembier--Etingof--Ostrik (2024). The chosen F is a
tensor functor, and their Theorem 4.2.1 produces the stated
V-group;V-group; conversely, forgetting G-structure gives the
inverse functor. Composition is the equivalence.
## Closing remarks
All classification and existence assertions above are confined to
finite categories. Uniqueness is asserted only in characteristic
two, both in the tower union and at each fixed finite stage where a
fiber functor exists. Cref{thm:main} supplies some finite height
n depending on C; it makes no claim of existence
at a prescribed height. In the reconstruction, G is affine but
neither its finiteness nor its finite-type property is used or
claimed.
{99}
bibitem[BEO2023]{BEO2023}
D.~Benson, P.~Etingof, V.~Ostrik,
New incompressible symmetric tensor categories in positive
characteristic, Duke Math. J. 172 (2023), 105--200.
bibitem[BE2019]{BensonEtingof2019}
D.~Benson, P.~Etingof,
Symmetric tensor categories in characteristic 2,
Adv. Math. 351 (2019), 967--999.
bibitem[EO2021]{EtingofOstrikFrobenius}
P.~Etingof, V.~Ostrik,
On the Frobenius functor for symmetric tensor categories in
positive characteristic, J. Reine Angew. Math. 773 (2021),
165--198.
bibitem[CEO2023]{CoulembierEtingofOstrik2023}
K.~Coulembier, P.~Etingof, V.~Ostrik,
On Frobenius-exact symmetric tensor categories,
Ann. of Math. 197 (2023), 1235--1279.
bibitem[CEO2024]{CoulembierEtingofOstrikIncompressible}
K.~Coulembier, P.~Etingof, V.~Ostrik,
Incompressible tensor categories,
Adv. Math. 457 (2024), Paper 109935.
bibitem[C2020]{Coulembier2020Tannakian}
K.~Coulembier,
Tannakian categories in positive characteristic,
Duke Math. J. 169 (2020), 3167--3219.
bibitem[CF2026]{CoulembierFlakeHigher}
K.~Coulembier, J.~Flake,
Towards higher Frobenius functors for symmetric tensor
categories, Selecta Math. 32 (2026), Paper 98.
bibitem[CF2025]{CoulembierFlakeSteinberg}
K.~Coulembier, J.~Flake,
A conjecture on the tensor ideal for an elementary p-group
generated by the restriction of a Steinberg module,
arXiv:2507.02722v1.
bibitem[C2021]{Coulembier2021Envelopes}
K.~Coulembier,
Monoidal abelian envelopes,
Compositio Math. 157 (2021), 1584--1609.
bibitem[O2020]{Ostrik2020}
V.~Ostrik,
On symmetric fusion categories in positive characteristic,
Selecta Math. 26 (2020), Paper 36.
bibitem[D2002]{Deligne2002}
P.~Deligne,
Cat'egories tensorielles,
Mosc. Math. J. 2 (2002), 227--248.
bibitem[DM1982]{DeligneMilne1982}
P.~Deligne, J.~Milne,
Tannakian categories,
in: Hodge Cycles, Motives, and Shimura Varieties, LNM 900,
Springer, 1982, 101--228.
bibitem[Ch1976]{Chouinard1976}
L.~Chouinard II,
Projectivity and relative projectivity over group rings,
J. Pure Appl. Algebra 7 (1976), 287--302.
bibitem[B2015]{Benson2015}
D.~Benson,
Modules for elementary abelian groups and hypersurface
singularities, in: Comm. Algebra and Noncomm. Alg. Geom. II,
MSRI Publ. 68, Cambridge, 2015, 19--42.
bibitem[B2017]{Benson2017}
D.~Benson,
Representations of Elementary Abelian p-Groups and Vector
Bundles, Cambridge Tracts in Math. 208, Cambridge, 2017.
bibitem[DH2005]{DotyHenke2005}
S.~Doty, A.~Henke,
Decomposition of tensor products of modular irreducibles for
SL_2, Quart. J. Math. 56 (2005), 189--207.
bibitem[D1993]{Donkin1993}
S.~Donkin,
On tilting modules for algebraic groups,
Math. Z. 212 (1993), 39--60.
bibitem[EG2021]{EtingofGelaki2021}
P.~Etingof, S.~Gelaki,
Finite symmetric tensor categories with the Chevalley
property in characteristic 2,
J. Algebra Appl. 20 (2021), 2140010.
bibitem[EGNO2015]{EGNO2015}
P.~Etingof, S.~Gelaki, D.~Nikshych, V.~Ostrik,
Tensor Categories,
Math. Surveys Monogr. 205, AMS, Providence, RI, 2015.