Related papers: Reductions to simple fusion systems

For any prime $p$ and $S$ a $p$-group isomorphic to a Sylow $p$-subgroup of $\mathrm{G}_2(p^n)$ or $\mathrm{PSU}_4(p^n)$ with $n\in\mathbb{N}$, we determine all saturated fusion systems supported on $S$ up to isomorphism.

In this short note we prove that a saturated fusion system admitting some special type of automorphism is nilpotent. This generalizes classical results by J.G. Thompson.

Saturated fusion systems are categories modeling properties of conjugacy of p-subgroups in finite groups. It was shown by Chermak that they correspond nicely to group-like structures called localities. In this paper we start to explore how…

We determine, for $p$ odd, all saturated fusion systems on a Sylow $p$-subgroup $S$ of the unitary group $SU_4(p)$ and we prove that they are all realizable by finite groups. In particular, we prove that $S$ does not support any exotic…

We define minimal fusion systems in a way that every non-solvable fusion system has a section which is minimal. Minimal fusion systems can also be seen as analogs of Thompson's N-groups. In this paper, we consider a minimal fusion system…

We consider complex characters of a p-group P, which are invariant under a fusion system F on P. Extending a theorem of B\'arcenas--Cantarero to non-saturated fusion systems, we show that the number of indecomposable F-invariant characters…

For a prime $p$, fusion systems over discrete $p$-toral groups are categories that model and generalize the $p$-local structure of Lie groups and certain other infinite groups in the same way that fusion systems over finite $p$-groups model…

We define a symmetric tensor enhancement $\mathrm{E}\mathbb{F}$ with full duals of the 3-category $\mathbb{F}$ of fusion categories in which every Reshetikhin--Turaev theory has a fully local realization. Our $\mathrm{E}\mathbb{F}$ is a…

Suppose $p$ is a prime and $S$ is a Sylow $p$-subgroup of a finite group $G$. If $S$ is normal in $G$, then $Z(S)$ is the direct product of $S \cap Z(G)$ with $[Z(S), G]$. We prove an analogous result for all groups except in some cases…

To any block idempotent $b$ of a group algebra $kG$ of a finite group $G$ over a field $k$ of characteristic $p>0$, Puig associated a fusion system and proved that it is saturated if the $k$-algebra $kC_G(P)e$ is split, where $(P,e)$ is a…

For a finite abelian $p$-group $A$ and a subgroup $\Gamma\le\text{Aut}(A)$, we say that the pair $(\Gamma,A)$ is fusion realizable if there is a saturated fusion system $\mathcal{F}$ over a finite $p$-group $S\ge A$ such that $C_S(A)=A$,…

We study a certain family of simple fusion systems over finite $3$-groups, ones that involve Todd modules of the Mathieu groups $2M_{12}$, $M_{11}$, and $A_6=O^2(M_{10})$ over $\mathbb{F}_3$, and show that they are all isomorphic to the…

We show that every (not necessarily saturated) fusion system can be realized as a full subcategory of the fusion system of a finite group. This result extends our previous work \cite{Park2010} and complements the related result…

We describe the structure of finite groups with $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups when $\mathfrak{F}$ is a subgroup-closed saturate superradical formation containing all nilpotent groups. We prove that…

We give a new, unexpected characterization of saturated fusion systems on a p-group S in terms of idempotents in the p-local double Burnside ring of S that satisfy a Frobenius reciprocity relation, and reformulate fusion-theoretic phenomena…

For a finite group G of Lie type and a prime p, we compare the automorphism groups of the fusion and linking systems of G at p with the automorphism group of G itself. When p is the defining characteristic of G, they are all isomorphic,…

Let G denote a connected, quasi-split reductive group over a field F that is complete with respect to a discrete valuation and that has a perfect residue field. Under mild hypotheses, we produce a subset of the Lie algebra g(F) that picks…

We show that every saturated fusion system $\mathcal{F}$ has a unique minimal $\mathcal{F}$-characteristic biset $\Lambda_\mathcal{F}$. We examine the relationship of $\Lambda_\mathcal{F}$ with other concepts in $p$-local finite group…

We address the question whether the condition on a fusion category being solvable or not is determined by its fusion rules. We prove that the answer is affirmative for some families of non-solvable examples arising from representations of…

Automated theorem provers (ATPs) can disprove conjectures by saturating a set of clauses, but the resulting saturated sets are opaque certificates. In the unit equational fragment, a saturated set can in fact be read as a convergent rewrite…