Source author record

Ellen Henke

Ellen Henke appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

12works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

Fusion systems and localities -- a dictionary

Linking systems were introduced to provide algebraic models for $p$-completed classifying spaces of fusion systems. Every linking system over a saturated fusion system $\mathcal{F}$ corresponds to a group-like structure called a locality. Given such a locality $\mathcal{L}$, we prove that there is a one-to-one correspondence between the partial normal subgroups of $\mathcal{L}$ and the normal subsystems of the fusion system $\mathcal{F}$. This is then used to obtain a kind of dictionary, which makes it possible to translate between various concepts in localities and corresponding concepts in fusion systems. As a byproduct, we obtain new proofs of many known theorems about fusion systems and also some new results. For example, we show in this paper that, in any saturated fusion system, there is a sensible notion of a product of normal subsystems.

preprint2022arXiv

Some products in fusion systems and localities

The theory of saturated fusion systems resembles in many parts the theory of finite groups. However, some concepts from finite group theory are difficult to translate to fusion systems. For example, products of normal subsystems with other subsystems are only defined in special cases. In this paper the theory of localities is used to prove the following result: Suppose $\mathcal{F}$ is a saturated fusion system over a $p$-group $S$. If $\mathcal{E}$ is a normal subsystem of $\mathcal{F}$ over $T\leq S$, and $\mathcal{D}$ is a subnormal subsystem of $N_{\mathcal{F}}(T)$ over $R\leq S$, then there is a subnormal subsystem $\mathcal{E}\mathcal{D}$ of $\mathcal{F}$ over $TR$, which plays the role of a product of $\mathcal{E}$ and $\mathcal{D}$ in $\mathcal{F}$. If $\mathcal{D}$ is normal in $N_{\mathcal{F}}(T)$, then $\mathcal{E}\mathcal{D}$ is normal in $\mathcal{F}$. It is shown along the way that the subsystem $\mathcal{E}\mathcal{D}$ is closely related to a naturally arising product in certain localities attached to $\mathcal{F}$.

preprint2021arXiv

Fusion systems with Benson-Solomon components

The Benson-Solomon systems comprise a one-parameter family of simple exotic fusion systems at the prime $2$. The results we prove give significant additional evidence that these are the only simple exotic $2$-fusion systems, as conjectured by Solomon. We consider a saturated fusion system $\mathcal{F}$ having an involution centralizer with a component $\mathcal{C}$ isomorphic to a Benson-Solomon fusion system, and we show under rather general hypotheses that $\mathcal{F}$ cannot be simple. Furthermore, we prove that if $\mathcal{F}$ is almost simple with these properties, then $\mathcal{F}$ is isomorphic to the next larger Benson-Solomon system extended by a group of field automorphisms. Our results are situated within Aschbacher's program to provide a new proof of a major part of the classification of finite simple groups via fusion systems. One of the most important steps in this program is a proof of Walter's Theorem for fusion systems, and our first result is specifically tailored for use in the proof of that step. We then apply Walter's Theorem to treat the general Benson-Solomon component problem under the assumption that each component of an involution centralizer in $\mathcal{F}$ is on the list of currently known quasisimple $2$-fusion systems.

preprint2015arXiv

Centralizers of normal subgroups and the $Z^*$-Theorem

Glauberman's $Z^*$-theorem and analogous statements for odd primes show that, for any prime $p$ and any finite group $G$ with Sylow $p$-subgroup $S$, the centre of $G/O_{p^\prime}(G)$ is determined by the fusion system $\mathcal{F}_S(G)$. Building on these results we show a statement that seems a priori more general: For any normal subgroup $H$ of $G$ with $O_{p^\prime}(H)=1$, the centralizer $C_S(H)$ is expressed in terms of the fusion system $\mathcal{F}_S(H)$ and its normal subsystem induced by $H$.

preprint2014arXiv

A characterization of saturated fusion systems over abelian 2-groups

Given a saturated fusion system $\mathcal{F}$ over a $2$-group $S$, we prove that $S$ is abelian provided any element of $S$ is $\mathcal{F}$-conjugate to an element of $Z(S)$. This generalizes a Theorem of Camina--Herzog, leading to a significant simplification of its proof. More importantly, it follows that any $2$-block $B$ of a finite group has abelian defect groups if all $B$-subsections are major. Furthermore, every $2$-block with a symmetric stable center has abelian defect groups.

preprint2013arXiv

Group cohomology and control of p-fusion

We show that if an inclusion of finite groups H < G of index prime to p induces a homeomorphism of mod p cohomology varieties, or equivalently an F-isomorphism in mod p cohomology, then H controls p-fusion in G, if p is odd. This generalizes classical results of Quillen who proved this when H is a Sylow p-subgroup, and furthermore implies a hitherto difficult result of Mislin about cohomology isomorphisms. For p=2 we give analogous results, at the cost of replacing mod p cohomology with higher chromatic cohomology theories. The results are consequences of a general algebraic theorem we prove, that says that isomorphisms between p-fusion systems over the same finite p-group are detected on elementary abelian p-groups if p odd and abelian 2-groups of exponent at most 4 if p=2.

preprint2010arXiv

Minimal Fusion Systems with a Unique Maximal Parabolic

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 $\mathcal{F}$ on a finite $p$-group $S$ that has a unique maximal $p$-local subsystem containing $N_{\mathcal{F}}(S)$. For an arbitrary prime $p$, we determine the structure of a certain (explicitly described) $p$-local subsystem of $\mathcal{F}$. If $p=2$, this leads to a complete classification of the fusion system $\mathcal{F}$.