Source author record

Ellen Henke

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

12works
2topics
4close collaborators

Published work

12 publications

preprint2022arXiv

Fusion systems and localities -- a dictionary

Linking systems were introduced to provide algebraic models for pp-completed classifying spaces of fusion systems. Every linking system over a saturated fusion system F\mathcal{F} corresponds to a group-like structure called a locality. Given such a locality L\mathcal{L}, we prove that there is a one-to-one correspondence between the partial normal subgroups of L\mathcal{L} and the normal subsystems of the fusion system F\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 F\mathcal{F} is a saturated fusion system over a pp-group SS. If E\mathcal{E} is a normal subsystem of F\mathcal{F} over T≤ST\leq S, and D\mathcal{D} is a subnormal subsystem of NF(T)N_{\mathcal{F}}(T) over R≤SR\leq S, then there is a subnormal subsystem ED\mathcal{E}\mathcal{D} of F\mathcal{F} over TRTR, which plays the role of a product of E\mathcal{E} and D\mathcal{D} in F\mathcal{F}. If D\mathcal{D} is normal in NF(T)N_{\mathcal{F}}(T), then ED\mathcal{E}\mathcal{D} is normal in F\mathcal{F}. It is shown along the way that the subsystem ED\mathcal{E}\mathcal{D} is closely related to a naturally arising product in certain localities attached to F\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 22. The results we prove give significant additional evidence that these are the only simple exotic 22-fusion systems, as conjectured by Solomon. We consider a saturated fusion system F\mathcal{F} having an involution centralizer with a component C\mathcal{C} isomorphic to a Benson-Solomon fusion system, and we show under rather general hypotheses that F\mathcal{F} cannot be simple. Furthermore, we prove that if F\mathcal{F} is almost simple with these properties, then F\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 F\mathcal{F} is on the list of currently known quasisimple 22-fusion systems.

preprint2015arXiv

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

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

preprint2014arXiv

A characterization of saturated fusion systems over abelian 2-groups

Given a saturated fusion system F\mathcal{F} over a 22-group SS, we prove that SS is abelian provided any element of SS is F\mathcal{F}-conjugate to an element of Z(S)Z(S). This generalizes a Theorem of Camina--Herzog, leading to a significant simplification of its proof. More importantly, it follows that any 22-block BB of a finite group has abelian defect groups if all BB-subsections are major. Furthermore, every 22-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 F\mathcal{F} on a finite pp-group SS that has a unique maximal pp-local subsystem containing NF(S)N_{\mathcal{F}}(S). For an arbitrary prime pp, we determine the structure of a certain (explicitly described) pp-local subsystem of F\mathcal{F}. If p=2p=2, this leads to a complete classification of the fusion system F\mathcal{F}.

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.