---
title: Anomalous Simple Categories (ASCies)
url: https://www.emergentmind.com/topics/anomalous-simple-categories-ascies
type: topic
---

# Anomalous Simple Categories (ASCies)

Searching arXiv for the cited papers and related work on Anomalous Simple Categories.
First search: ASCies / "Categorical Anomaly Matching".
Second search: anomalous actions of groups on tensor categories.
Anomalous Simple Categories, or ASCies, are tensor categories—more generally, fusion or higher fusion categories—that have no non-trivial normal subcategory, so that after quotienting a symmetry category by any maximal normal anomaly-free sector, the residual quotient is an irreducible anomalous symmetry. In the framework of categorical anomaly matching, ASCies are introduced as the fundamental building blocks of categorical anomalies: a given symmetry category may support multiple ASCies, each encoding distinct anomalous features, and these structures arise naturally in the Symmetry Topological Field Theory (SymTFT) description of renormalization-group interfaces [2508.00982].

## 1. Definition through short exact sequences of tensor categories

The basic input is a short exact sequence of tensor categories
\[
N \stackrel{I}{\longrightarrow} C \stackrel{P}{\longrightarrow} S,
\]
where \(I\) is a tensor functor that is an embedding, \(P\) is a surjective normal tensor functor, and exactness means
\[
\operatorname{im}(I)=\ker(P).
\]
Here \(\ker(P)\) is the full tensor subcategory generated by objects \(D\) with \(P(D)\cong n\,1\) for some \(n\), so they map to purely trivial objects in the target. In addition, the sequence is required to satisfy the fiber functor condition
\[
P\circ I=f,\qquad f:N\to Vec,
\]
with \(f\) a tensor functor to \(Vec\), so that \(N\) has no ’t Hooft anomaly [2508.00982].

A normal subcategory \(N\subset C\) is one for which such an exact sequence exists. A maximal normal subcategory \(N_{\text{max}}\) is a normal subcategory not contained in any larger normal subcategory \(M\) that still fits into a sequence
\[
M\to C\to S'.
\]
A tensor category \(C\) is then called an ASCy if it has no non-trivial normal subcategory, equivalently if the only normal subcategory is \(Vec\), or equivalently if it does not admit any short exact sequence of the above form with \(N\neq Vec\) [2508.00982].

This definition makes “simple” highly specific. It does not mean semisimple, rank-minimal, or generated by a small set of simples. It means that there is no non-trivial normal anomaly-free tensor subcategory that can be consistently factored out while preserving the remaining symmetry structure. In this sense, an ASCy is the anomalous quotient that remains after all possible normal anomaly-free sectors have been removed.

## 2. Normal subcategories, anomalous quotients, and irreducible anomaly content

Given a symmetry category \(C\), the central operation is to identify maximal normal anomaly-free subcategories \(N_i\subset C\) and factor them out through surjective normal tensor functors
\[
N_i \overset{I_i}{\longrightarrow} C \overset{P_i}{\longrightarrow} S_i,
\qquad \ker(P_i)=\operatorname{im}(I_i)\cong N_i.
\]
The quotients \(S_i\) are ASCies, and they represent the anomalous part of the symmetry \(C\). The associated set of anomalous simple quotients is
\[
A(C)=\{\,S_i\ \text{satisfying the exact sequence above}\,\}.
\]
A given \(C\) can support several inequivalent pairs \((N_i,S_i)\), so the anomaly content is not, in general, exhausted by a single quotient [2508.00982].

This formalism separates anomaly-free structure from irreducible anomalous structure. The subcategory \(N_i\) is a maximal anomaly-free sub-symmetry that can be mapped to the trivial category via a fiber functor, whereas \(S_i\) captures one aspect of the anomaly that cannot be eliminated by quotienting. For fusion \(1\)-categories, the short exact sequence also obeys the dimensional relation
\[
\dim(C)=\dim(N)\,\dim(S).
\]

A recurring point is that normality is stronger than anomaly-freeness. The data explicitly note that many categories contain anomaly-free invertible subcategories that are not normal, hence do not appear as kernels of surjective normal functors and cannot be consistently forgotten in a quotient respecting the full symmetry. This is why ASCies are defined using normal subcategories rather than arbitrary anomaly-free subcategories [2508.00982].

## 3. Tensor functors, anomaly matching, and the SymTFT criterion

For a \(d\)-dimensional QFT with symmetry category \(C\), the symmetry is modeled as a tensor \((d-1)\)-category. If a UV theory with symmetry \(C_{UV}\) flows to an IR theory with symmetry \(C_{IR}\), anomaly matching is encoded by a tensor functor
\[
F:C_{UV}\to C_{IR},
\]
equipped with coherent monoidal structure
\[
J_{D_1,D_2}:F(D_1)\otimes F(D_2)\cong F(D_1\otimes D_2),
\]
compatible with associators. In the group case this reduces to a group homomorphism \(\varphi:G_{UV}\to G_{IR}\) together with the anomaly pullback condition
\[
\varphi^*[\omega_{IR}]=[\omega_{UV}]\in H^{d+1}(BG_{UV},U(1)).
\]
Within this framework, ASCies are the quotient symmetries that encode the irreducible anomalous content seen by such tensor functors [2508.00982].

The SymTFT formulation makes this concrete. A symmetry category \(C\) determines a \((d+1)\)-dimensional TQFT \(Z(C)\) with a symmetry boundary \(B\) and a physical boundary \(B^{\mathrm{phys}}\). An RG interface between \(Z(C_{UV})\) and \(Z(C_{IR})\) is represented by a topological interface \(I_F\), and the Matching Equation is
\[
B_{UV}\times I_F=B_{IR}.
\]
For fusion categories in \(1+1\) dimensions, after folding one obtains a Lagrangian algebra \(L_F\) and a map on bulk anyons
\[
\phi_F:a^i_{UV}\mapsto \bigoplus_k n_{i,k}b^k_{IR},
\]
so that the Matching Equation becomes
\[
\phi_F(L_{UV})=L_{IR},
\qquad
\sum_i n_{i,k}v_i=w_k.
\]
The paper states that, for fusion \(1\)- and \(2\)-categories, this condition is equivalent to the existence of a tensor functor \(F:C_{UV}\to C_{IR}\) [2508.00982].

ASCies admit a sharp SymTFT characterization. A symmetry category \(C\) is an ASCy iff its center \(Z(C)\) has no non-trivial magnetic Lagrangian algebra, equivalently no condensable algebra \(A\) satisfying
\[
A\cap L_C=\{1\}
\]
except the trivial one. This is the categorical refinement of the statement that there is no symmetric gapped phase preserving a non-trivial piece of the symmetry. The only way to trivialize an ASCy is to break the full symmetry.

## 4. Canonical examples and explicit quotient constructions

The basic low-rank examples listed for ASCies are \(Vec\), \(Vec_{Z_2}^{\omega=1}\), the Fibonacci category \(Fib\), the Ising categories \(TY(Z_2,\pm)=Ising_\pm\), and the Haagerup category \(H_3\). These are simple in the normal-subcategory sense used here, although some contain anomaly-free invertible subcategories that are not normal [2508.00982].

Two families of worked constructions are especially prominent: anomalous cyclic groups and Tambara–Yamagami categories.

| Category or family | Exact-sequence output | Resulting ASCies |
|---|---|---|
| \(Vec_{Z_N}^{\omega}\) with \(N=n\ell\) and suitable restriction condition | \(Vec_{Z_n}\to Vec_{Z_N}^{\omega=k n^2}\to Vec_{Z_\ell}^{\omega=k}\) | Quotients \(Vec_{Z_\ell}^{\omega=k}\) |
| \(Vec_{Z_8}^{\omega=4}\) | \(Vec_{Z_2}\to Vec_{Z_8}^{\omega=4}\to Vec_{Z_4}^{\omega=\pm 1}\) | \(A(Vec_{Z_8}^{\omega=4})=\{Vec_{Z_4}^{\omega=1},\,Vec_{Z_4}^{\omega=3}\}\) |
| \(TY(Z_4,+)\) | \(Vec_{Z_2}\to TY(Z_4,+)\to Vec_{Z_4}^{\omega=1}\) and \(Vec_{Z_2}\to TY(Z_4,+)\to Vec_{Z_2\times Z_2}^{\omega}\) | \(A(TY(Z_4,+))=\{Vec_{Z_4}^{\omega=1},\,Vec_{Z_2\times Z_2}^{\omega}\}\) |
| \(TY(Z_2\times Z_2,\chi_d,-)\) | \(Vec_{Z_2\times Z_2}\to TY(Z_2^2,-)\to Vec_{Z_2}^{\omega=1}\) | \(Vec_{Z_2}^{\omega=1}\) |
| Ising \(TY(Z_2,+)\) | no non-trivial normal quotient | ASCy already |

For cyclic groups, the explicit necessary condition is that the restriction of \(\omega\) to \(Z_n\) be trivial. In the notation of the data, with \(\omega=k\in Z_N\),
\[
\omega|_{Z_n}=0
\quad\Longleftrightarrow\quad
k=k'n,\ \text{for some }k'\in Z_\ell.
\]
Under that condition there exist surjective functors
\[
Vec_{Z_n}\overset{I}{\longrightarrow} Vec_{Z_N}^{\omega=k n^2}\overset{P_k}{\longrightarrow} Vec_{Z_\ell}^{\omega=k},
\]
and the functor \(P_k\) acts non-trivially on junctions through
\[
J_k(a,b)=\exp\left(\frac{2\pi i k}{\ell^2}a(b-[b]_\ell)\right).
\]
The example
\[
Vec_{Z_2}\overset{I}{\longrightarrow} Vec_{Z_8}^{\omega=4}\overset{P_{\pm1}}{\longrightarrow} Vec_{Z_4}^{\omega=\pm1}
\]
shows explicitly that one symmetry category can support more than one ASCy [2508.00982].

For Tambara–Yamagami categories, the Ising category \(TY(Z_2,+)\) is itself an ASCy. By contrast, \(TY(Z_4,+)\) admits two inequivalent quotient constructions, one detecting an anomalous \(Z_4\) \(0\)-form symmetry and the other an anomalous \(Z_2\times Z_2\). The category \(TY(Z_2\times Z_2,\chi_d,-)\) exhibits the opposite pattern: its invertible \(Z_2\times Z_2\) subcategory is anomaly-free, but the second obstruction remains non-trivial, and the ASCy quotient is \(Vec_{Z_2}^{\omega=1}\).

## 5. Relation to group-cohomological and higher-categorical anomalies

The ASCy formalism sits alongside a second categorical language for anomalies based on anomalous group actions on tensor categories. In that setting, for a group \(G\) and a \(4\)-cocycle \(\pi\in Z^4(G,\mathbb{k}^\times)\), a \(\pi\)-anomalous action of \(G\) on a \(\mathbb{k}\)-linear monoidal category \(\mathcal{C}\) is a \(k\)-linear monoidal \(2\)-functor
\[
3\text{-Gr}(G,\pi)\longrightarrow 2\text{-Aut}(\mathcal{C}),
\]
and the cohomology class \([\pi]\in H^4(G,\mathbb{k}^\times)\) is called the anomaly. The source \(3\text{-Gr}(G,\pi)\) has trivial associator on \(1\)-morphisms but a nontrivial pentagonator determined by \(\pi\), so the anomaly appears as a higher associativity defect rather than as an ordinary strict action [2505.01826].

The main construction theorem in that setting states that if one has a surjection \(\rho:G\to Q\) with kernel \(K\), a normalized representative \(\pi\in Z^4(Q,\mathbb{k}^\times)\), a cochain \(\omega\in C^3(G,\mathbb{k}^\times)\) satisfying
\[
d\omega=\rho^*(\pi),
\]
and an ordinary action of \(G\) on a tensor category \(\mathcal{C}\), then there exists a \(\pi\)-anomalous action of \(Q\) on the twisted crossed product tensor category
\[
\mathcal{C}\rtimes_{\omega|_K}K.
\]
The explicit coherence condition is
\[
\frac{\omega(y,z,w)\,\omega(x,yz,w)\,\omega(x,y,z)}
{\omega(xy,z,w)\,\omega(x,y,zw)}
=
\pi(\rho(x),\rho(y),\rho(z),\rho(w)).
\]

A plausible implication is that ASCies and \(\pi\)-anomalous actions organize complementary aspects of anomalous symmetry. ASCies isolate the irreducible anomalous quotient symmetry after factoring out maximal normal anomaly-free sectors, whereas \(\pi\)-anomalous actions describe the higher-categorical obstruction preventing an honest strict \(G\)-action. The reinterpretation supplied with the anomalous-actions paper states that natural candidates for ASCies are fusion or tensor categories equipped with nontrivial monoidal \(2\)-functors
\[
3\text{-Gr}(G,\pi)\to 2\text{-Aut}(\mathcal{C}),
\qquad [\pi]\neq 0,
\]
so that the symmetry necessarily lives at the \(3\)-group level rather than at the level of an ordinary group action [2505.01826].

## 6. Conceptual scope, common misconceptions, and open directions

Several misunderstandings are explicitly ruled out by the formalism. First, an ASCy need not be “anomalous” in the sense of lacking every anomaly-free substructure: \(Vec\) itself is listed as an ASCy because the criterion is the absence of non-trivial normal subcategories, not the absence of anomaly-free objects or subcategories. Second, the presence of an anomaly-free invertible subcategory does not imply the existence of a quotient. The Ising category contains an anomaly-free \(Z_2\) invertible subcategory, but it is not normal, so there is no surjective tensor functor with kernel \(Vec_{Z_2}\), and the full symmetry cannot be reduced by quotienting that sector [2508.00982].

The physical role of ASCies is correspondingly precise. For each quotient \(P_i:C\to S_i\), there is a pullback on module categories
\[
P_i^*:Mod_{S_i}\to Mod_C.
\]
This identifies symmetry-breaking patterns enforced by anomalies: a symmetric gapped phase of \(S_i\) pulls back to a specific pattern of \(C\)-symmetry breaking, and for anomaly-free \(C\) a fiber functor \(C\to Vec\) recovers the unique fully symmetric gapped phase. The data further emphasize that ASCies unify anomalous \(0\)-form, higher-form, and non-invertible symmetries under one tensor-categorical and SymTFT framework [2508.00982].

The open directions are similarly structural. The mathematical theory of ASCies is identified as a systematic study of simple fusion and higher fusion categories with no non-trivial normal subcategories, their moduli, and their interrelations. Further directions include extension to continuous symmetries, rigorous tensor \(d{-}1\)-functors for higher fusion categories, non-invertible Lieb–Schultz–Mattis anomalies and mixed anomalies, and the role of ASCies in RG flows with dynamical defects. In the complementary anomalous-action picture, open directions include classifying indecomposable fusion categories admitting a given \(\pi\)-anomalous \(G\)-action, extending to braided or modular tensor categories, and relating such anomalous categorical symmetries to \(3+1\)-dimensional symmetry-protected boundaries [2508.00982; 2505.01826].

Source: https://www.emergentmind.com/topics/anomalous-simple-categories-ascies