Related papers: Realizability of fusion systems by discrete groups
We compare four different types of realizability for saturated fusion systems over discrete $p$-toral groups. For example, when $G$ is a locally finite group all of whose $p$-subgroups are artinian (hence discrete $p$-toral), we show that…
A saturated fusion system over a finite $p$-group $S$ is a category whose objects are the subgroups of $S$ and whose morphisms are injective homomorphisms between the subgroups satisfying certain axioms. A fusion system over $S$ is realized…
For $p\in\{2,3\}$ it is known that a saturated $p$-fusion system is realizable if and only if each of its components is realizable by a finite simple group. For primes $p\geq 5$ this is false. Building on work of Broto, M{\o}ller, Oliver…
We finish the classification, begun in two earlier papers, of all simple fusion systems over finite nonabelian $p$-groups with an abelian subgroup of index $p$. In particular, this gives many new examples illustrating the enormous variety…
The existence and uniqueness of linking systems associated to saturated fusion systems over discrete $p$-toral groups were proved by Levi and Libman. Their proof make indirectly use of the classification of the finite simple groups. Here we…
Which groups can occur as the group of units in a ring? Such groups are called realizable. Though the realizable members of several classes of groups have been determined (e.g., cyclic, odd order, alternating, symmetric, finite simple,…
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…
In this paper, we find some exotic fusion systems which have non-trivial strongly closed subgroups, and we prove these fusion systems are also not realizable by p-blocks of finite groups.
We prove that the factorization of a saturated fusion system over a discrete $p$-toral group as a product of indecomposable subsystems is unique up to normal automorphisms of the fusion system and permutations of the factors. In particular,…
In this paper we construct faithful representations of saturated fusion systems over discrete p-toral groups and use them to find conditions that guarantee the existence of unitary embeddings of p-local compact groups. These conditions hold…
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$,…
One way to understand the mod p homotopy theory of classifying spaces of finite groups is to compute their BZ/p-cellularization. In the easiest cases this is a classifying space of a finite group (always a finite p-group). If not, we show…
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 show that every fusion system on a p-group S is equal to the fusion system associated to a discrete group G with the property that every p-subgroup of G is conjugate to a subgroup of S.
In this article, we compare two different notions of partially defined group strutures, namely partial groups and pregroups, as introduced by Chermak and Stallings respectively. In particular we prove that the category of pregroups can be…
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 develop realizability models of intensional type theory, based on groupoids, wherein realizers themselves carry non-trivial (non-discrete) homotopical structure. In the spirit of realizability, this is intended to formalize a homotopical…
The aim of this paper is to develop the theory of groups definable in the $p$-adic field ${\mathbb Q}_p$, with ``definable $f$-generics" in the sense of an ambient saturated elementary extension of ${\mathbb Q}_p$. We call such groups…
In this paper we study the normalizer decomposition of a compact Lie group $G$ using the information of the fusion system $\mathcal{F}$ of $G$ on a maximal discrete $p$-toral subgroup. We prove that there is an injective map from the set of…
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,…