Realizing Saturated Fusion Systems Athar Ahmad Warraich University - - PowerPoint PPT Presentation

realizing saturated fusion systems
SMART_READER_LITE
LIVE PREVIEW

Realizing Saturated Fusion Systems Athar Ahmad Warraich University - - PowerPoint PPT Presentation

Realizing Saturated Fusion Systems Athar Ahmad Warraich University of Birmingham August 12, 2017 Groups St Andrews 2017 Athar Ahmad Warraich 1 Overview Groups St Andrews 2017 Athar Ahmad Warraich 2 Overview Definitions Groups St Andrews


slide-1
SLIDE 1

Realizing Saturated Fusion Systems

Athar Ahmad Warraich

University of Birmingham

August 12, 2017

Groups St Andrews 2017 Athar Ahmad Warraich 1

slide-2
SLIDE 2

Overview

Groups St Andrews 2017 Athar Ahmad Warraich 2

slide-3
SLIDE 3

Overview

Definitions

Groups St Andrews 2017 Athar Ahmad Warraich 2

slide-4
SLIDE 4

Overview

Definitions ’Realizing’ Fusion Systems

Groups St Andrews 2017 Athar Ahmad Warraich 2

slide-5
SLIDE 5

Overview

Definitions ’Realizing’ Fusion Systems Construction

Groups St Andrews 2017 Athar Ahmad Warraich 2

slide-6
SLIDE 6

Overview

Definitions ’Realizing’ Fusion Systems Construction Exoticity Index

Groups St Andrews 2017 Athar Ahmad Warraich 2

slide-7
SLIDE 7

Overview

Definitions ’Realizing’ Fusion Systems Construction Exoticity Index Examples

Groups St Andrews 2017 Athar Ahmad Warraich 2

slide-8
SLIDE 8

Fusion Systems

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-9
SLIDE 9

Fusion Systems

Let G be a finite group and T a p-subgroup of G.

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-10
SLIDE 10

Fusion Systems

Let G be a finite group and T a p-subgroup of G.A fusion category FT (G) is a category whose

  • bjects are subgroups of T and whose morphisms are as follows

HomG (P, Q) = {φ ∈ Hom(P, Q) | φ = cg|P,Q where g ∈ G and Pg ≤ Q}. where cg|P,Q : P → Q, u → g−1ug.

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-11
SLIDE 11

Fusion Systems

Let G be a finite group and T a p-subgroup of G.A fusion category FT (G) is a category whose

  • bjects are subgroups of T and whose morphisms are as follows

HomG (P, Q) = {φ ∈ Hom(P, Q) | φ = cg|P,Q where g ∈ G and Pg ≤ Q}. where cg|P,Q : P → Q, u → g−1ug. Idea of an abstract fusion system: Forget about G, while keeping the maps.

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-12
SLIDE 12

Fusion Systems

Let G be a finite group and T a p-subgroup of G.A fusion category FT (G) is a category whose

  • bjects are subgroups of T and whose morphisms are as follows

HomG (P, Q) = {φ ∈ Hom(P, Q) | φ = cg|P,Q where g ∈ G and Pg ≤ Q}. where cg|P,Q : P → Q, u → g−1ug. Idea of an abstract fusion system: Forget about G, while keeping the maps. A fusion system F = F(T) over a finite p-group T is a category whose objects are subgroups of T and whose morphisms are injective group homomorphisms such that for any P, Q ≤ T:

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-13
SLIDE 13

Fusion Systems

Let G be a finite group and T a p-subgroup of G.A fusion category FT (G) is a category whose

  • bjects are subgroups of T and whose morphisms are as follows

HomG (P, Q) = {φ ∈ Hom(P, Q) | φ = cg|P,Q where g ∈ G and Pg ≤ Q}. where cg|P,Q : P → Q, u → g−1ug. Idea of an abstract fusion system: Forget about G, while keeping the maps. A fusion system F = F(T) over a finite p-group T is a category whose objects are subgroups of T and whose morphisms are injective group homomorphisms such that for any P, Q ≤ T: HomF(P, Q) ⊇ HomT (P, Q),

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-14
SLIDE 14

Fusion Systems

Let G be a finite group and T a p-subgroup of G.A fusion category FT (G) is a category whose

  • bjects are subgroups of T and whose morphisms are as follows

HomG (P, Q) = {φ ∈ Hom(P, Q) | φ = cg|P,Q where g ∈ G and Pg ≤ Q}. where cg|P,Q : P → Q, u → g−1ug. Idea of an abstract fusion system: Forget about G, while keeping the maps. A fusion system F = F(T) over a finite p-group T is a category whose objects are subgroups of T and whose morphisms are injective group homomorphisms such that for any P, Q ≤ T: HomF(P, Q) ⊇ HomT (P, Q), Every morphism is a composition of an isomorphism and an inclusion map, both of which are in F.

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-15
SLIDE 15

Fusion Systems

Let G be a finite group and T a p-subgroup of G.A fusion category FT (G) is a category whose

  • bjects are subgroups of T and whose morphisms are as follows

HomG (P, Q) = {φ ∈ Hom(P, Q) | φ = cg|P,Q where g ∈ G and Pg ≤ Q}. where cg|P,Q : P → Q, u → g−1ug. Idea of an abstract fusion system: Forget about G, while keeping the maps. A fusion system F = F(T) over a finite p-group T is a category whose objects are subgroups of T and whose morphisms are injective group homomorphisms such that for any P, Q ≤ T: HomF(P, Q) ⊇ HomT (P, Q), Every morphism is a composition of an isomorphism and an inclusion map, both of which are in F. Composition of morphisms is the composition of group homomorphisms.

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-16
SLIDE 16

Fusion Systems

Let G be a finite group and T a p-subgroup of G.A fusion category FT (G) is a category whose

  • bjects are subgroups of T and whose morphisms are as follows

HomG (P, Q) = {φ ∈ Hom(P, Q) | φ = cg|P,Q where g ∈ G and Pg ≤ Q}. where cg|P,Q : P → Q, u → g−1ug. Idea of an abstract fusion system: Forget about G, while keeping the maps. A fusion system F = F(T) over a finite p-group T is a category whose objects are subgroups of T and whose morphisms are injective group homomorphisms such that for any P, Q ≤ T: HomF(P, Q) ⊇ HomT (P, Q), Every morphism is a composition of an isomorphism and an inclusion map, both of which are in F. Composition of morphisms is the composition of group homomorphisms. A saturated fusion system F over a finite p-group T is a fusion system which satisfies additional properties.

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-17
SLIDE 17

Fusion Systems

Let G be a finite group and T a p-subgroup of G.A fusion category FT (G) is a category whose

  • bjects are subgroups of T and whose morphisms are as follows

HomG (P, Q) = {φ ∈ Hom(P, Q) | φ = cg|P,Q where g ∈ G and Pg ≤ Q}. where cg|P,Q : P → Q, u → g−1ug. Idea of an abstract fusion system: Forget about G, while keeping the maps. A fusion system F = F(T) over a finite p-group T is a category whose objects are subgroups of T and whose morphisms are injective group homomorphisms such that for any P, Q ≤ T: HomF(P, Q) ⊇ HomT (P, Q), Every morphism is a composition of an isomorphism and an inclusion map, both of which are in F. Composition of morphisms is the composition of group homomorphisms. A saturated fusion system F over a finite p-group T is a fusion system which satisfies additional properties. There exists a unique largest fusion system, the ”universal” fusion system U(T), where, for every P, Q ≤ T, HomU(T )(P, Q) = Inj(P, Q).

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-18
SLIDE 18

Fusion Systems

Let G be a finite group and T a p-subgroup of G.A fusion category FT (G) is a category whose

  • bjects are subgroups of T and whose morphisms are as follows

HomG (P, Q) = {φ ∈ Hom(P, Q) | φ = cg|P,Q where g ∈ G and Pg ≤ Q}. where cg|P,Q : P → Q, u → g−1ug. Idea of an abstract fusion system: Forget about G, while keeping the maps. A fusion system F = F(T) over a finite p-group T is a category whose objects are subgroups of T and whose morphisms are injective group homomorphisms such that for any P, Q ≤ T: HomF(P, Q) ⊇ HomT (P, Q), Every morphism is a composition of an isomorphism and an inclusion map, both of which are in F. Composition of morphisms is the composition of group homomorphisms. A saturated fusion system F over a finite p-group T is a fusion system which satisfies additional properties. There exists a unique largest fusion system, the ”universal” fusion system U(T), where, for every P, Q ≤ T, HomU(T )(P, Q) = Inj(P, Q). We have a unique smallest fusion system FT (T), where, for every P, Q ≤ T, HomFT (T)(P, Q) = HomT (P, Q).

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-19
SLIDE 19

Fusion Systems

Let G be a finite group and T a p-subgroup of G.A fusion category FT (G) is a category whose

  • bjects are subgroups of T and whose morphisms are as follows

HomG (P, Q) = {φ ∈ Hom(P, Q) | φ = cg|P,Q where g ∈ G and Pg ≤ Q}. where cg|P,Q : P → Q, u → g−1ug. Idea of an abstract fusion system: Forget about G, while keeping the maps. A fusion system F = F(T) over a finite p-group T is a category whose objects are subgroups of T and whose morphisms are injective group homomorphisms such that for any P, Q ≤ T: HomF(P, Q) ⊇ HomT (P, Q), Every morphism is a composition of an isomorphism and an inclusion map, both of which are in F. Composition of morphisms is the composition of group homomorphisms. A saturated fusion system F over a finite p-group T is a fusion system which satisfies additional properties. There exists a unique largest fusion system, the ”universal” fusion system U(T), where, for every P, Q ≤ T, HomU(T )(P, Q) = Inj(P, Q). We have a unique smallest fusion system FT (T), where, for every P, Q ≤ T, HomFT (T)(P, Q) = HomT (P, Q). FT (T) ≤ F(T) ≤ U(T).

Groups St Andrews 2017 Athar Ahmad Warraich 3

slide-20
SLIDE 20

Finite Groups ’Realizing’ Fusion Systems

Groups St Andrews 2017 Athar Ahmad Warraich 4

slide-21
SLIDE 21

Finite Groups ’Realizing’ Fusion Systems

Lemma

Let T be a p-subgroup of a finite group G. Then FT (G) is a fusion system. If T ∈ Sylp(G), then FT (G) is a saturated fusion system.

Groups St Andrews 2017 Athar Ahmad Warraich 4

slide-22
SLIDE 22

Finite Groups ’Realizing’ Fusion Systems

Lemma

Let T be a p-subgroup of a finite group G. Then FT (G) is a fusion system. If T ∈ Sylp(G), then FT (G) is a saturated fusion system. A saturated fusion system F over a finite p-group T is called exotic if it is not equal to FT (G) for any finite G and T ∈ Sylp(G). Otherwise it is called realizable.

Groups St Andrews 2017 Athar Ahmad Warraich 4

slide-23
SLIDE 23

Infinite families of exotic fusion systems

Groups St Andrews 2017 Athar Ahmad Warraich 5

slide-24
SLIDE 24

Infinite families of exotic fusion systems

Example (Infinite families of exotic fusion systems)

Let r = 2k + 1 ≥ 5 be odd. Let B be a rank two 3-group of order 3r with the presentation B = s, s1, .., sr−1 | si = [si−1, s], [si, s1] = s3

j s3 j+1sj+2 = s3 = 1

for 2 ≤ i ≤ r − 1, 1 ≤ j ≤ r − 1 assuming that sr = sr+1 = 1.

Groups St Andrews 2017 Athar Ahmad Warraich 5

slide-25
SLIDE 25

Infinite families of exotic fusion systems

Example (Infinite families of exotic fusion systems)

Let r = 2k + 1 ≥ 5 be odd. Let B be a rank two 3-group of order 3r with the presentation B = s, s1, .., sr−1 | si = [si−1, s], [si, s1] = s3

j s3 j+1sj+2 = s3 = 1

for 2 ≤ i ≤ r − 1, 1 ≤ j ≤ r − 1 assuming that sr = sr+1 = 1. A = s1, s2. Then A ∼ = (Z3k × Z3k ) ⊳ B.

Groups St Andrews 2017 Athar Ahmad Warraich 5

slide-26
SLIDE 26

Infinite families of exotic fusion systems

Example (Infinite families of exotic fusion systems)

Let r = 2k + 1 ≥ 5 be odd. Let B be a rank two 3-group of order 3r with the presentation B = s, s1, .., sr−1 | si = [si−1, s], [si, s1] = s3

j s3 j+1sj+2 = s3 = 1

for 2 ≤ i ≤ r − 1, 1 ≤ j ≤ r − 1 assuming that sr = sr+1 = 1. A = s1, s2. Then A ∼ = (Z3k × Z3k ) ⊳ B. B ∼ = A ⋊ s

Groups St Andrews 2017 Athar Ahmad Warraich 5

slide-27
SLIDE 27

Infinite families of exotic fusion systems

Example (Infinite families of exotic fusion systems)

Let r = 2k + 1 ≥ 5 be odd. Let B be a rank two 3-group of order 3r with the presentation B = s, s1, .., sr−1 | si = [si−1, s], [si, s1] = s3

j s3 j+1sj+2 = s3 = 1

for 2 ≤ i ≤ r − 1, 1 ≤ j ≤ r − 1 assuming that sr = sr+1 = 1. A = s1, s2. Then A ∼ = (Z3k × Z3k ) ⊳ B. B ∼ = A ⋊ s B is a group maximal nilpotency class with the following lower central series B > A2 > .. > Ar−1 = z > 1, where Ai = si, si+1.

Groups St Andrews 2017 Athar Ahmad Warraich 5

slide-28
SLIDE 28

Infinite families of exotic fusion systems

Example (Infinite families of exotic fusion systems)

Let r = 2k + 1 ≥ 5 be odd. Let B be a rank two 3-group of order 3r with the presentation B = s, s1, .., sr−1 | si = [si−1, s], [si, s1] = s3

j s3 j+1sj+2 = s3 = 1

for 2 ≤ i ≤ r − 1, 1 ≤ j ≤ r − 1 assuming that sr = sr+1 = 1. A = s1, s2. Then A ∼ = (Z3k × Z3k ) ⊳ B. B ∼ = A ⋊ s B is a group maximal nilpotency class with the following lower central series B > A2 > .. > Ar−1 = z > 1, where Ai = si, si+1. Vi = ssi

1, s3k−1 2

for i = −1, 0, 1. Then Vi ∼ = Z3 × Z3, Out(Vi) ∼ = GL2(3).

Groups St Andrews 2017 Athar Ahmad Warraich 5

slide-29
SLIDE 29

Infinite families of exotic fusion systems

Example (Infinite families of exotic fusion systems)

Let r = 2k + 1 ≥ 5 be odd. Let B be a rank two 3-group of order 3r with the presentation B = s, s1, .., sr−1 | si = [si−1, s], [si, s1] = s3

j s3 j+1sj+2 = s3 = 1

for 2 ≤ i ≤ r − 1, 1 ≤ j ≤ r − 1 assuming that sr = sr+1 = 1. A = s1, s2. Then A ∼ = (Z3k × Z3k ) ⊳ B. B ∼ = A ⋊ s B is a group maximal nilpotency class with the following lower central series B > A2 > .. > Ar−1 = z > 1, where Ai = si, si+1. Vi = ssi

1, s3k−1 2

for i = −1, 0, 1. Then Vi ∼ = Z3 × Z3, Out(Vi) ∼ = GL2(3). Ei = ssi

1, s3k−1 1

for i = −1, 0, 1. Then Ei ∼ = 31+2

+

, Out(Ei) ∼ = GL2(3).

Groups St Andrews 2017 Athar Ahmad Warraich 5

slide-30
SLIDE 30

Infinite families of exotic fusion systems

Example (Infinite families of exotic fusion systems)

Let r = 2k + 1 ≥ 5 be odd. Let B be a rank two 3-group of order 3r with the presentation B = s, s1, .., sr−1 | si = [si−1, s], [si, s1] = s3

j s3 j+1sj+2 = s3 = 1

for 2 ≤ i ≤ r − 1, 1 ≤ j ≤ r − 1 assuming that sr = sr+1 = 1. A = s1, s2. Then A ∼ = (Z3k × Z3k ) ⊳ B. B ∼ = A ⋊ s B is a group maximal nilpotency class with the following lower central series B > A2 > .. > Ar−1 = z > 1, where Ai = si, si+1. Vi = ssi

1, s3k−1 2

for i = −1, 0, 1. Then Vi ∼ = Z3 × Z3, Out(Vi) ∼ = GL2(3). Ei = ssi

1, s3k−1 1

for i = −1, 0, 1. Then Ei ∼ = 31+2

+

, Out(Ei) ∼ = GL2(3). ω : B → B : s → s−1, s1 → s2

1s2

η : B →: s → s, s1 → s−1

1

.

Groups St Andrews 2017 Athar Ahmad Warraich 5

slide-31
SLIDE 31

Infinite families of exotic fusion systems

Groups St Andrews 2017 Athar Ahmad Warraich 6

slide-32
SLIDE 32

Infinite families of exotic fusion systems

Theorem (Alperin)

Let F be a saturated fusion system over a p-group T. Then F = AutF (T), AutF (P) | P is F-essential in T

Groups St Andrews 2017 Athar Ahmad Warraich 6

slide-33
SLIDE 33

Infinite families of exotic fusion systems

Theorem (Alperin)

Let F be a saturated fusion system over a p-group T. Then F = AutF (T), AutF (P) | P is F-essential in T

Theorem (Diaz, Ruiz, Viruel)

Let F be a saturated fusion system over B with at least one proper F-essential subgroup. Then the outer automorphism group of the F-essential subgroups are as follows:

Groups St Andrews 2017 Athar Ahmad Warraich 6

slide-34
SLIDE 34

Infinite families of exotic fusion systems

Theorem (Alperin)

Let F be a saturated fusion system over a p-group T. Then F = AutF (T), AutF (P) | P is F-essential in T

Theorem (Diaz, Ruiz, Viruel)

Let F be a saturated fusion system over B with at least one proper F-essential subgroup. Then the outer automorphism group of the F-essential subgroups are as follows: B V0 E0 E1 E−1 A ω SL2(3) ω SL2(3) SL2(3) ω SL2(3) SL2(3) SL2(3) η SL2(3) ωη SL2(3) η, ω GL2(3) η, ω SL2(3) η, ω SL2(3) GL2(3) η, ω GL2(3) η, ω GL2(3) GL2(3) η, ω GL2(3) SL2(3) η, ω GL2(3) SL2(3) GL2(3) η, ω GL2(3) η, ω GL2(3) GL2(3) η, ω GL2(3) SL2(3) η, ω GL2(3) SL2(3) GL2(3)

Groups St Andrews 2017 Athar Ahmad Warraich 6

slide-35
SLIDE 35

Finite Groups ’Realizing’ Fusion Systems

Lemma

Let T be a p-subgroup of a finite group G. Then FT (G) is a fusion system. If T ∈ Sylp(G), then FT (G) is a saturated fusion system. A saturated fusion system F over a finite p-group T is called exotic if it is not equal to FT (G) for any finite G and T ∈ Sylp(G). Otherwise it is called realizable.

Groups St Andrews 2017 Athar Ahmad Warraich 7

slide-36
SLIDE 36

Finite Groups ’Realizing’ Fusion Systems

Lemma

Let T be a p-subgroup of a finite group G. Then FT (G) is a fusion system. If T ∈ Sylp(G), then FT (G) is a saturated fusion system. A saturated fusion system F over a finite p-group T is called exotic if it is not equal to FT (G) for any finite G and T ∈ Sylp(G). Otherwise it is called realizable.

Theorem (Park, ’10)

Let F be a saturated fusion system over a finite p-group T. Then there is a finite group G containing T such that F = FT (G) (with T not necessarily sylow in G).

Groups St Andrews 2017 Athar Ahmad Warraich 7

slide-37
SLIDE 37

Finite Groups ’Realizing’ Fusion Systems

Lemma

Let T be a p-subgroup of a finite group G. Then FT (G) is a fusion system. If T ∈ Sylp(G), then FT (G) is a saturated fusion system. A saturated fusion system F over a finite p-group T is called exotic if it is not equal to FT (G) for any finite G and T ∈ Sylp(G). Otherwise it is called realizable.

Theorem (Park, ’10)

Let F be a saturated fusion system over a finite p-group T. Then there is a finite group G containing T such that F = FT (G) (with T not necessarily sylow in G).

Theorem (Park, ’15)

Let F be a fusion system over a finite p-group T. Then there is a finite group G containing T such that F = FT (G) (with T not necessarily sylow in G).

Groups St Andrews 2017 Athar Ahmad Warraich 7

slide-38
SLIDE 38

Finite Groups ’Realizing’ Fusion Systems

Lemma

Let T be a p-subgroup of a finite group G. Then FT (G) is a fusion system. If T ∈ Sylp(G), then FT (G) is a saturated fusion system. A saturated fusion system F over a finite p-group T is called exotic if it is not equal to FT (G) for any finite G and T ∈ Sylp(G). Otherwise it is called realizable.

Theorem (Park, ’10)

Let F be a saturated fusion system over a finite p-group T. Then there is a finite group G containing T such that F = FT (G) (with T not necessarily sylow in G).

Theorem (Park, ’15)

Let F be a fusion system over a finite p-group T. Then there is a finite group G containing T such that F = FT (G) (with T not necessarily sylow in G). Question: What is this G, and how do we construct it?

Groups St Andrews 2017 Athar Ahmad Warraich 7

slide-39
SLIDE 39

Characteristic Sets

Groups St Andrews 2017 Athar Ahmad Warraich 8

slide-40
SLIDE 40

Characteristic Sets

If G is a group and X is a (right) G-set we write X G = {x ∈ X | x · g = x for all g ∈ G}.

Groups St Andrews 2017 Athar Ahmad Warraich 8

slide-41
SLIDE 41

Characteristic Sets

If G is a group and X is a (right) G-set we write X G = {x ∈ X | x · g = x for all g ∈ G}. Let φ : P → Q for some P, Q ≤ T. Define ∆φ

P = {(x, (x)φ) | x ∈ P}.

Groups St Andrews 2017 Athar Ahmad Warraich 8

slide-42
SLIDE 42

Characteristic Sets

If G is a group and X is a (right) G-set we write X G = {x ∈ X | x · g = x for all g ∈ G}. Let φ : P → Q for some P, Q ≤ T. Define ∆φ

P = {(x, (x)φ) | x ∈ P}.

Then the set of right cosets (T × T)/∆φ

P is an (T × T)-set defined by right multiplication.

Groups St Andrews 2017 Athar Ahmad Warraich 8

slide-43
SLIDE 43

Characteristic Sets

If G is a group and X is a (right) G-set we write X G = {x ∈ X | x · g = x for all g ∈ G}. Let φ : P → Q for some P, Q ≤ T. Define ∆φ

P = {(x, (x)φ) | x ∈ P}.

Then the set of right cosets (T × T)/∆φ

P is an (T × T)-set defined by right multiplication.

Oφ := (T × T)/∆φ

Groups St Andrews 2017 Athar Ahmad Warraich 8

slide-44
SLIDE 44

Characteristic Sets

If G is a group and X is a (right) G-set we write X G = {x ∈ X | x · g = x for all g ∈ G}. Let φ : P → Q for some P, Q ≤ T. Define ∆φ

P = {(x, (x)φ) | x ∈ P}.

Then the set of right cosets (T × T)/∆φ

P is an (T × T)-set defined by right multiplication.

Oφ := (T × T)/∆φ

φ := ((T × T)/∆φ Dφ) ∆ψ

Dψ Groups St Andrews 2017 Athar Ahmad Warraich 8

slide-45
SLIDE 45

Characteristic Sets

If G is a group and X is a (right) G-set we write X G = {x ∈ X | x · g = x for all g ∈ G}. Let φ : P → Q for some P, Q ≤ T. Define ∆φ

P = {(x, (x)φ) | x ∈ P}.

Then the set of right cosets (T × T)/∆φ

P is an (T × T)-set defined by right multiplication.

Oφ := (T × T)/∆φ

φ := ((T × T)/∆φ Dφ) ∆ψ

Lemma

Let φ, ψ be two maps inside T. Then |Oψ

φ | = |Nψ,φ||CT (Iψ)|

|Dφ| ≤ |NT (Dψ, Dφ)||CT (Iψ)| |Dφ| where Nψ,φ = {x ∈ T | ∃y ∈ T with (Dψ)x ≤ Dφ, and cx|Dψ ◦ φ ◦ cy = ψ}.

Groups St Andrews 2017 Athar Ahmad Warraich 8

slide-46
SLIDE 46

Characteristic Sets

Groups St Andrews 2017 Athar Ahmad Warraich 9

slide-47
SLIDE 47

Characteristic Sets

An T × T-set Ω for F is (right) semicharacteristic if and only if

Groups St Andrews 2017 Athar Ahmad Warraich 9

slide-48
SLIDE 48

Characteristic Sets

An T × T-set Ω for F is (right) semicharacteristic if and only if Every orbit in Ω is of the form Oφ for some φ ∈ F.

Groups St Andrews 2017 Athar Ahmad Warraich 9

slide-49
SLIDE 49

Characteristic Sets

An T × T-set Ω for F is (right) semicharacteristic if and only if Every orbit in Ω is of the form Oφ for some φ ∈ F. |Ωφ| = |Ω

Id|Dφ | for every φ ∈ F.

Groups St Andrews 2017 Athar Ahmad Warraich 9

slide-50
SLIDE 50

Characteristic Sets

An T × T-set Ω for F is (right) semicharacteristic if and only if Every orbit in Ω is of the form Oφ for some φ ∈ F. |Ωφ| = |Ω

Id|Dφ | for every φ ∈ F.

If additionally |Ω|/|T| ≡ 0 mod p, then Ω is called (right) characteristic for F.

Groups St Andrews 2017 Athar Ahmad Warraich 9

slide-51
SLIDE 51

Characteristic Sets

An T × T-set Ω for F is (right) semicharacteristic if and only if Every orbit in Ω is of the form Oφ for some φ ∈ F. |Ωφ| = |Ω

Id|Dφ | for every φ ∈ F.

If additionally |Ω|/|T| ≡ 0 mod p, then Ω is called (right) characteristic for F.

Lemma (Broto, Levi, Oliver, ’03)

Let F be a saturated fusion system over a finite p-group T. Then there exists a characteristic set for F.

Groups St Andrews 2017 Athar Ahmad Warraich 9

slide-52
SLIDE 52

Characteristic Sets

An T × T-set Ω for F is (right) semicharacteristic if and only if Every orbit in Ω is of the form Oφ for some φ ∈ F. |Ωφ| = |Ω

Id|Dφ | for every φ ∈ F.

If additionally |Ω|/|T| ≡ 0 mod p, then Ω is called (right) characteristic for F.

Lemma (Broto, Levi, Oliver, ’03)

Let F be a saturated fusion system over a finite p-group T. Then there exists a characteristic set for F.

Lemma (Park, ’15)

Let F be a fusion system over a finite p-group T. Then there exists a semicharacteristic set for F.

Groups St Andrews 2017 Athar Ahmad Warraich 9

slide-53
SLIDE 53

Characteristic Sets

An T × T-set Ω for F is (right) semicharacteristic if and only if Every orbit in Ω is of the form Oφ for some φ ∈ F. |Ωφ| = |Ω

Id|Dφ | for every φ ∈ F.

If additionally |Ω|/|T| ≡ 0 mod p, then Ω is called (right) characteristic for F.

Lemma (Broto, Levi, Oliver, ’03)

Let F be a saturated fusion system over a finite p-group T. Then there exists a characteristic set for F.

Lemma (Park, ’15)

Let F be a fusion system over a finite p-group T. Then there exists a semicharacteristic set for F. Question: How do we construct Ω?

Groups St Andrews 2017 Athar Ahmad Warraich 9

slide-54
SLIDE 54

Construction of Ω

Groups St Andrews 2017 Athar Ahmad Warraich 10

slide-55
SLIDE 55

Construction of Ω

Ω =

  • φ∈F

C(φ) · Oφ for C(φ) ≥ 0

Groups St Andrews 2017 Athar Ahmad Warraich 10

slide-56
SLIDE 56

Construction of Ω

Ω =

  • φ∈F

C(φ) · Oφ for C(φ) ≥ 0 Let φ, ψ ∈ F. φ ∼ ψ, T-T-equivalent if ∃x, y ∈ T such that (Dψ)x = Dφ and cx|Dψ ◦ φ ◦ cy = ψ.

Groups St Andrews 2017 Athar Ahmad Warraich 10

slide-57
SLIDE 57

Construction of Ω

Ω =

  • φ∈F

C(φ) · Oφ for C(φ) ≥ 0 Let φ, ψ ∈ F. φ ∼ ψ, T-T-equivalent if ∃x, y ∈ T such that (Dψ)x = Dφ and cx|Dψ ◦ φ ◦ cy = ψ. Let φ, ψ be conjugation maps with (Dψ)x = Dφ for some x ∈ T. Then ψ ∼ φ.

Groups St Andrews 2017 Athar Ahmad Warraich 10

slide-58
SLIDE 58

Construction of Ω

Ω =

  • φ∈F

C(φ) · Oφ for C(φ) ≥ 0 Let φ, ψ ∈ F. φ ∼ ψ, T-T-equivalent if ∃x, y ∈ T such that (Dψ)x = Dφ and cx|Dψ ◦ φ ◦ cy = ψ. Let φ, ψ be conjugation maps with (Dψ)x = Dφ for some x ∈ T. Then ψ ∼ φ. The relation ∼ is an equivalence relation.

Groups St Andrews 2017 Athar Ahmad Warraich 10

slide-59
SLIDE 59

Construction of Ω

Ω =

  • φ∈F

C(φ) · Oφ for C(φ) ≥ 0 Let φ, ψ ∈ F. φ ∼ ψ, T-T-equivalent if ∃x, y ∈ T such that (Dψ)x = Dφ and cx|Dψ ◦ φ ◦ cy = ψ. Let φ, ψ be conjugation maps with (Dψ)x = Dφ for some x ∈ T. Then ψ ∼ φ. The relation ∼ is an equivalence relation.

Lemma

Let F be a saturated fusion system over a finite p-group T. Let φ, φ1, ψ, ψ1 ∈ F. If ψ ∼ ψ1 and φ ∼ φ1, then |Oψ

φ | = |Oψ1 φ1 |.

Groups St Andrews 2017 Athar Ahmad Warraich 10

slide-60
SLIDE 60

Construction of Ω

Ω =

  • φ∈F

C(φ) · Oφ for C(φ) ≥ 0 Let φ, ψ ∈ F. φ ∼ ψ, T-T-equivalent if ∃x, y ∈ T such that (Dψ)x = Dφ and cx|Dψ ◦ φ ◦ cy = ψ. Let φ, ψ be conjugation maps with (Dψ)x = Dφ for some x ∈ T. Then ψ ∼ φ. The relation ∼ is an equivalence relation.

Lemma

Let F be a saturated fusion system over a finite p-group T. Let φ, φ1, ψ, ψ1 ∈ F. If ψ ∼ ψ1 and φ ∼ φ1, then |Oψ

φ | = |Oψ1 φ1 |.

Let φ ∈ F. Define Γφ = {ψ ∈ F | ψ ∼ φ} and Γ, a set of T-T-equivalence class representatives.

Groups St Andrews 2017 Athar Ahmad Warraich 10

slide-61
SLIDE 61

Construction of Ω

Ω =

  • φ∈F

C(φ) · Oφ for C(φ) ≥ 0 Let φ, ψ ∈ F. φ ∼ ψ, T-T-equivalent if ∃x, y ∈ T such that (Dψ)x = Dφ and cx|Dψ ◦ φ ◦ cy = ψ. Let φ, ψ be conjugation maps with (Dψ)x = Dφ for some x ∈ T. Then ψ ∼ φ. The relation ∼ is an equivalence relation.

Lemma

Let F be a saturated fusion system over a finite p-group T. Let φ, φ1, ψ, ψ1 ∈ F. If ψ ∼ ψ1 and φ ∼ φ1, then |Oψ

φ | = |Oψ1 φ1 |.

Let φ ∈ F. Define Γφ = {ψ ∈ F | ψ ∼ φ} and Γ, a set of T-T-equivalence class representatives. Ω =

  • φ∈Γ

C1(φ) · Oφ, where C1(φ) =

ψ∈Γφ C(ψ) ≥ 0.

Groups St Andrews 2017 Athar Ahmad Warraich 10

slide-62
SLIDE 62

Construction of G

Groups St Andrews 2017 Athar Ahmad Warraich 11

slide-63
SLIDE 63

Construction of G

Theorem (Park, ’10)

Let F be a fusion system [saturated fusion system] over a finite p-group T. Let Ω be a right semicharacteristic set [characteristic set] corresponding to F. Define G to be a group of permutations of Ω that preserve the action on the right in the following way:

Groups St Andrews 2017 Athar Ahmad Warraich 11

slide-64
SLIDE 64

Construction of G

Theorem (Park, ’10)

Let F be a fusion system [saturated fusion system] over a finite p-group T. Let Ω be a right semicharacteristic set [characteristic set] corresponding to F. Define G to be a group of permutations of Ω that preserve the action on the right in the following way: G = {π ∈ Sym(Ω) | (x ◦ (s1, s2))π = (x ◦ (s1, 1))π(1, s2) for all x ∈ Ω, s1, s2 ∈ T}

Groups St Andrews 2017 Athar Ahmad Warraich 11

slide-65
SLIDE 65

Construction of G

Theorem (Park, ’10)

Let F be a fusion system [saturated fusion system] over a finite p-group T. Let Ω be a right semicharacteristic set [characteristic set] corresponding to F. Define G to be a group of permutations of Ω that preserve the action on the right in the following way: G = {π ∈ Sym(Ω) | (x ◦ (s1, s2))π = (x ◦ (s1, 1))π(1, s2) for all x ∈ Ω, s1, s2 ∈ T} Then F = FT (G), under the identification ι : T ֒ → G : s → (x → (x ◦ (s−1, 1))).

Groups St Andrews 2017 Athar Ahmad Warraich 11

slide-66
SLIDE 66

Construction of G

Theorem (Park, ’10)

Let F be a fusion system [saturated fusion system] over a finite p-group T. Let Ω be a right semicharacteristic set [characteristic set] corresponding to F. Define G to be a group of permutations of Ω that preserve the action on the right in the following way: G = {π ∈ Sym(Ω) | (x ◦ (s1, s2))π = (x ◦ (s1, 1))π(1, s2) for all x ∈ Ω, s1, s2 ∈ T} Then F = FT (G), under the identification ι : T ֒ → G : s → (x → (x ◦ (s−1, 1))). G ∼ = T ≀ Sym(|Ω|/|T|)

Groups St Andrews 2017 Athar Ahmad Warraich 11

slide-67
SLIDE 67

Construction of G

Theorem (Park, ’10)

Let F be a fusion system [saturated fusion system] over a finite p-group T. Let Ω be a right semicharacteristic set [characteristic set] corresponding to F. Define G to be a group of permutations of Ω that preserve the action on the right in the following way: G = {π ∈ Sym(Ω) | (x ◦ (s1, s2))π = (x ◦ (s1, 1))π(1, s2) for all x ∈ Ω, s1, s2 ∈ T} Then F = FT (G), under the identification ι : T ֒ → G : s → (x → (x ◦ (s−1, 1))). G ∼ = T ≀ Sym(|Ω|/|T|) The exoticity index, e(F), for any fusion system F, over a finite p-group T is: min{logp|S : T| | T ≤ S ∈ Sylp(G) for some finite G with F = FT (G)}.

Groups St Andrews 2017 Athar Ahmad Warraich 11

slide-68
SLIDE 68

Construction of G

Theorem (Park, ’10)

Let F be a fusion system [saturated fusion system] over a finite p-group T. Let Ω be a right semicharacteristic set [characteristic set] corresponding to F. Define G to be a group of permutations of Ω that preserve the action on the right in the following way: G = {π ∈ Sym(Ω) | (x ◦ (s1, s2))π = (x ◦ (s1, 1))π(1, s2) for all x ∈ Ω, s1, s2 ∈ T} Then F = FT (G), under the identification ι : T ֒ → G : s → (x → (x ◦ (s−1, 1))). G ∼ = T ≀ Sym(|Ω|/|T|) The exoticity index, e(F), for any fusion system F, over a finite p-group T is: min{logp|S : T| | T ≤ S ∈ Sylp(G) for some finite G with F = FT (G)}. An upper bound of the exoticity index derived from the theorem is (|Ω|/|T| − 1)logp(|T|) +

  • i=1

|Ω|/|T| pi

  • Groups St Andrews 2017

Athar Ahmad Warraich 11

slide-69
SLIDE 69

Construction of G

Theorem (Park, ’10)

Let F be a fusion system [saturated fusion system] over a finite p-group T. Let Ω be a right semicharacteristic set [characteristic set] corresponding to F. Define G to be a group of permutations of Ω that preserve the action on the right in the following way: G = {π ∈ Sym(Ω) | (x ◦ (s1, s2))π = (x ◦ (s1, 1))π(1, s2) for all x ∈ Ω, s1, s2 ∈ T} Then F = FT (G), under the identification ι : T ֒ → G : s → (x → (x ◦ (s−1, 1))). G ∼ = T ≀ Sym(|Ω|/|T|) The exoticity index, e(F), for any fusion system F, over a finite p-group T is: min{logp|S : T| | T ≤ S ∈ Sylp(G) for some finite G with F = FT (G)}. An upper bound of the exoticity index derived from the theorem is (|Ω|/|T| − 1)logp(|T|) +

  • i=1

|Ω|/|T| pi

  • Smaller characteristic set =

⇒ smaller exoticity index.

Groups St Andrews 2017 Athar Ahmad Warraich 11

slide-70
SLIDE 70

Construction of G

Theorem (Park, ’10)

Let F be a fusion system [saturated fusion system] over a finite p-group T. Let Ω be a right semicharacteristic set [characteristic set] corresponding to F. Define G to be a group of permutations of Ω that preserve the action on the right in the following way: G = {π ∈ Sym(Ω) | (x ◦ (s1, s2))π = (x ◦ (s1, 1))π(1, s2) for all x ∈ Ω, s1, s2 ∈ T} Then F = FT (G), under the identification ι : T ֒ → G : s → (x → (x ◦ (s−1, 1))). G ∼ = T ≀ Sym(|Ω|/|T|) The exoticity index, e(F), for any fusion system F, over a finite p-group T is: min{logp|S : T| | T ≤ S ∈ Sylp(G) for some finite G with F = FT (G)}. An upper bound of the exoticity index derived from the theorem is (|Ω|/|T| − 1)logp(|T|) +

  • i=1

|Ω|/|T| pi

  • Smaller characteristic set =

⇒ smaller exoticity index. e(F) = 0 ⇔ F is exotic.

Groups St Andrews 2017 Athar Ahmad Warraich 11

slide-71
SLIDE 71

Infinite families of exotic fusion systems

Theorem (Diaz, Ruiz, Viruel)

Let F be a saturated fusion system over B with at least one proper F-essential subgroup. Then the outer automorphism group of the F-essential subgroups are as follows:

T V0 E0 E1 E−1 A ω SL2(3) ω SL2(3) SL2(3) ω SL2(3) SL2(3) SL2(3) η SL2(3) ωη SL2(3) η, ω GL2(3) η, ω SL2(3) η, ω SL2(3) GL2(3) η, ω GL2(3) η, ω GL2(3) GL2(3) η, ω GL2(3) SL2(3) η, ω GL2(3) SL2(3) GL2(3) η, ω GL2(3) η, ω GL2(3) GL2(3) η, ω GL2(3) SL2(3) η, ω GL2(3) SL2(3) GL2(3)

Groups St Andrews 2017 Athar Ahmad Warraich 12

slide-72
SLIDE 72

Infinite families of exotic fusion systems

Example (1)

Let F = AutF(T), AutF(E0) with OutF(T) ∼ = ω and OutF(V0) ∼ = SL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω = (OId ⊔ Oω) ⊔ nk(OId|s,z ⊔ Oω|s,z) ⊔ (Oθ0 ⊔ Oθ−1 ) where nk = 32k−3 − 1 and the maps θ0 : E0 → E0 : s → s3k−1

1

; s3k−1

1

→ s−1

Groups St Andrews 2017 Athar Ahmad Warraich 13

slide-73
SLIDE 73

Infinite families of exotic fusion systems

Example (1)

Let F = AutF(T), AutF(E0) with OutF(T) ∼ = ω and OutF(V0) ∼ = SL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω = (OId ⊔ Oω) ⊔ nk(OId|s,z ⊔ Oω|s,z) ⊔ (Oθ0 ⊔ Oθ−1 ) where nk = 32k−3 − 1 and the maps θ0 : E0 → E0 : s → s3k−1

1

; s3k−1

1

→ s−1 The exoticity index satisfies e(F) ≤ (32k−2 − 1)2(4k + 3) − 4k.

Groups St Andrews 2017 Athar Ahmad Warraich 13

slide-74
SLIDE 74

Infinite families of exotic fusion systems

Example (1)

Let F = AutF(T), AutF(E0) with OutF(T) ∼ = ω and OutF(V0) ∼ = SL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω = (OId ⊔ Oω) ⊔ nk(OId|s,z ⊔ Oω|s,z) ⊔ (Oθ0 ⊔ Oθ−1 ) where nk = 32k−3 − 1 and the maps θ0 : E0 → E0 : s → s3k−1

1

; s3k−1

1

→ s−1 The exoticity index satisfies e(F) ≤ (32k−2 − 1)2(4k + 3) − 4k. k = 2 = ⇒ e(F) ≤ 696

Groups St Andrews 2017 Athar Ahmad Warraich 13

slide-75
SLIDE 75

Infinite families of exotic fusion systems

Example (1)

Let F = AutF(T), AutF(E0) with OutF(T) ∼ = ω and OutF(V0) ∼ = SL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω = (OId ⊔ Oω) ⊔ nk(OId|s,z ⊔ Oω|s,z) ⊔ (Oθ0 ⊔ Oθ−1 ) where nk = 32k−3 − 1 and the maps θ0 : E0 → E0 : s → s3k−1

1

; s3k−1

1

→ s−1 The exoticity index satisfies e(F) ≤ (32k−2 − 1)2(4k + 3) − 4k. k = 2 = ⇒ e(F) ≤ 696 k = 3 = ⇒ e(F) 9.5 × 104

Groups St Andrews 2017 Athar Ahmad Warraich 13

slide-76
SLIDE 76

Infinite families of exotic fusion systems

Example (1)

Let F = AutF(T), AutF(E0) with OutF(T) ∼ = ω and OutF(V0) ∼ = SL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω = (OId ⊔ Oω) ⊔ nk(OId|s,z ⊔ Oω|s,z) ⊔ (Oθ0 ⊔ Oθ−1 ) where nk = 32k−3 − 1 and the maps θ0 : E0 → E0 : s → s3k−1

1

; s3k−1

1

→ s−1 The exoticity index satisfies e(F) ≤ (32k−2 − 1)2(4k + 3) − 4k. k = 2 = ⇒ e(F) ≤ 696 k = 3 = ⇒ e(F) 9.5 × 104 k = 4 = ⇒ e(F) 1.0 × 107

Groups St Andrews 2017 Athar Ahmad Warraich 13

slide-77
SLIDE 77

Example (2)

Let F = AutF(T), AutF(A) with OutF(T) ∼ = ω, η and OutF(A) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ = (OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ (OθA ⊔ Oθ−1

A

⊔ OαA ⊔ OβA) where, if ak ≡ −(a2

k−1 − 3ak−1 + 3)

(mod 3k); a1 ≡ 0 (mod 3) and bk = 1+a2

k

1+ak

(mod 3k), then θA =

  • ak

bk −(ak + 1) −ak

  • , αA =
  • ak

bk 1 − 2ak −ak

  • , and βA =

−ak −bk 2ak − 1 ak

  • Groups St Andrews 2017

Athar Ahmad Warraich 14

slide-78
SLIDE 78

Example (2)

Let F = AutF(T), AutF(A) with OutF(T) ∼ = ω, η and OutF(A) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ = (OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ (OθA ⊔ Oθ−1

A

⊔ OαA ⊔ OβA) where, if ak ≡ −(a2

k−1 − 3ak−1 + 3)

(mod 3k); a1 ≡ 0 (mod 3) and bk = 1+a2

k

1+ak

(mod 3k), then θA =

  • ak

bk −(ak + 1) −ak

  • , αA =
  • ak

bk 1 − 2ak −ak

  • , and βA =

−ak −bk 2ak − 1 ak

  • The exoticity index satisfies e(F) ≤ 30k + 21.

k = 2 = ⇒ e(F) ≤ 81.

Groups St Andrews 2017 Athar Ahmad Warraich 14

slide-79
SLIDE 79

Example (2)

Let F = AutF(T), AutF(A) with OutF(T) ∼ = ω, η and OutF(A) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ = (OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ (OθA ⊔ Oθ−1

A

⊔ OαA ⊔ OβA) where, if ak ≡ −(a2

k−1 − 3ak−1 + 3)

(mod 3k); a1 ≡ 0 (mod 3) and bk = 1+a2

k

1+ak

(mod 3k), then θA =

  • ak

bk −(ak + 1) −ak

  • , αA =
  • ak

bk 1 − 2ak −ak

  • , and βA =

−ak −bk 2ak − 1 ak

  • The exoticity index satisfies e(F) ≤ 30k + 21.

k = 2 = ⇒ e(F) ≤ 81. k = 3 = ⇒ e(F) ≤ 111.

Groups St Andrews 2017 Athar Ahmad Warraich 14

slide-80
SLIDE 80

Example (2)

Let F = AutF(T), AutF(A) with OutF(T) ∼ = ω, η and OutF(A) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ = (OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ (OθA ⊔ Oθ−1

A

⊔ OαA ⊔ OβA) where, if ak ≡ −(a2

k−1 − 3ak−1 + 3)

(mod 3k); a1 ≡ 0 (mod 3) and bk = 1+a2

k

1+ak

(mod 3k), then θA =

  • ak

bk −(ak + 1) −ak

  • , αA =
  • ak

bk 1 − 2ak −ak

  • , and βA =

−ak −bk 2ak − 1 ak

  • The exoticity index satisfies e(F) ≤ 30k + 21.

k = 2 = ⇒ e(F) ≤ 81. k = 3 = ⇒ e(F) ≤ 111. k = 4 = ⇒ e(F) ≤ 141.

Groups St Andrews 2017 Athar Ahmad Warraich 14

slide-81
SLIDE 81

Example (2)

Let F = AutF(T), AutF(A) with OutF(T) ∼ = ω, η and OutF(A) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ = (OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ (OθA ⊔ Oθ−1

A

⊔ OαA ⊔ OβA) where, if ak ≡ −(a2

k−1 − 3ak−1 + 3)

(mod 3k); a1 ≡ 0 (mod 3) and bk = 1+a2

k

1+ak

(mod 3k), then θA =

  • ak

bk −(ak + 1) −ak

  • , αA =
  • ak

bk 1 − 2ak −ak

  • , and βA =

−ak −bk 2ak − 1 ak

  • The exoticity index satisfies e(F) ≤ 30k + 21.

k = 2 = ⇒ e(F) ≤ 81. k = 3 = ⇒ e(F) ≤ 111. k = 4 = ⇒ e(F) ≤ 141. F is realizable, via G ∼ = A ⋊ GL2(3) = ⇒ e(F) = 0.

Groups St Andrews 2017 Athar Ahmad Warraich 14

slide-82
SLIDE 82

Example (3)

Let F = AutF(T), AutF(V0), with OutF(T) ∼ = ω, η and OutF(V0) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ =(OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ mk · (OId|s ⊔ Oω|s ⊔ Oη|s ⊔ Oω◦η|s) ⊔ (OθV0 ⊔ Oθ−1

V0

⊔ OαV0 ⊔ OβV0 ) where mk = 32k−2 − 1 and the maps: θV0 : V0 → V0 : s → z; z → s−1 αV0 : V0 → V0 : s → z; z → s βV0 : V0 → V0 : s → z−1; z → s−1

Groups St Andrews 2017 Athar Ahmad Warraich 15

slide-83
SLIDE 83

Example (3)

Let F = AutF(T), AutF(V0), with OutF(T) ∼ = ω, η and OutF(V0) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ =(OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ mk · (OId|s ⊔ Oω|s ⊔ Oη|s ⊔ Oω◦η|s) ⊔ (OθV0 ⊔ Oθ−1

V0

⊔ OαV0 ⊔ OβV0 ) where mk = 32k−2 − 1 and the maps: θV0 : V0 → V0 : s → z; z → s−1 αV0 : V0 → V0 : s → z; z → s βV0 : V0 → V0 : s → z−1; z → s−1 The exoticity index satisfies e(F) ≤ 2(32k−1 − 1)2(4k + 3) − 4k.

Groups St Andrews 2017 Athar Ahmad Warraich 15

slide-84
SLIDE 84

Example (3)

Let F = AutF(T), AutF(V0), with OutF(T) ∼ = ω, η and OutF(V0) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ =(OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ mk · (OId|s ⊔ Oω|s ⊔ Oη|s ⊔ Oω◦η|s) ⊔ (OθV0 ⊔ Oθ−1

V0

⊔ OαV0 ⊔ OβV0 ) where mk = 32k−2 − 1 and the maps: θV0 : V0 → V0 : s → z; z → s−1 αV0 : V0 → V0 : s → z; z → s βV0 : V0 → V0 : s → z−1; z → s−1 The exoticity index satisfies e(F) ≤ 2(32k−1 − 1)2(4k + 3) − 4k. k = 2 = ⇒ e(F) 1.5 × 104

Groups St Andrews 2017 Athar Ahmad Warraich 15

slide-85
SLIDE 85

Example (3)

Let F = AutF(T), AutF(V0), with OutF(T) ∼ = ω, η and OutF(V0) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ =(OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ mk · (OId|s ⊔ Oω|s ⊔ Oη|s ⊔ Oω◦η|s) ⊔ (OθV0 ⊔ Oθ−1

V0

⊔ OαV0 ⊔ OβV0 ) where mk = 32k−2 − 1 and the maps: θV0 : V0 → V0 : s → z; z → s−1 αV0 : V0 → V0 : s → z; z → s βV0 : V0 → V0 : s → z−1; z → s−1 The exoticity index satisfies e(F) ≤ 2(32k−1 − 1)2(4k + 3) − 4k. k = 2 = ⇒ e(F) 1.5 × 104 k = 3 = ⇒ e(F) 1.8 × 106

Groups St Andrews 2017 Athar Ahmad Warraich 15

slide-86
SLIDE 86

Example (3)

Let F = AutF(T), AutF(V0), with OutF(T) ∼ = ω, η and OutF(V0) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ =(OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ mk · (OId|s ⊔ Oω|s ⊔ Oη|s ⊔ Oω◦η|s) ⊔ (OθV0 ⊔ Oθ−1

V0

⊔ OαV0 ⊔ OβV0 ) where mk = 32k−2 − 1 and the maps: θV0 : V0 → V0 : s → z; z → s−1 αV0 : V0 → V0 : s → z; z → s βV0 : V0 → V0 : s → z−1; z → s−1 The exoticity index satisfies e(F) ≤ 2(32k−1 − 1)2(4k + 3) − 4k. k = 2 = ⇒ e(F) 1.5 × 104 k = 3 = ⇒ e(F) 1.8 × 106 k = 4 = ⇒ e(F) 1.8 × 108

Groups St Andrews 2017 Athar Ahmad Warraich 15

slide-87
SLIDE 87

Example (3)

Let F = AutF(T), AutF(V0), with OutF(T) ∼ = ω, η and OutF(V0) ∼ = GL2(3) be a saturated fusion system over B. Then the minimal characteristic set is given by Ω ∼ =(OId ⊔ Oω ⊔ Oη ⊔ Oω◦η) ⊔ mk · (OId|s ⊔ Oω|s ⊔ Oη|s ⊔ Oω◦η|s) ⊔ (OθV0 ⊔ Oθ−1

V0

⊔ OαV0 ⊔ OβV0 ) where mk = 32k−2 − 1 and the maps: θV0 : V0 → V0 : s → z; z → s−1 αV0 : V0 → V0 : s → z; z → s βV0 : V0 → V0 : s → z−1; z → s−1 The exoticity index satisfies e(F) ≤ 2(32k−1 − 1)2(4k + 3) − 4k. k = 2 = ⇒ e(F) 1.5 × 104 k = 3 = ⇒ e(F) 1.8 × 106 k = 4 = ⇒ e(F) 1.8 × 108 F is realizable, = ⇒ e(F) = 0.

Groups St Andrews 2017 Athar Ahmad Warraich 15

slide-88
SLIDE 88

Infinite families of exotic fusion systems

Theorem (Diaz, Ruiz, Viruel)

Let F be a saturated fusion system over B with at least one proper F-essential subgroup. Then the outer automorphism group of the F-essential subgroups are as follows: T V0 E0 E1 E−1 A |Ω|/|T|

  • ω

SL2(3) 2(32k−2 − 1)2

  • ω

SL2(3) SL2(3)

2[2 · 32k−2(32k−2 − 2) + 1]

  • ω

SL2(3) SL2(3) SL2(3)

2[32k−1(32k−2 − 2) + 1]

η SL2(3) ωη SL2(3)

  • η, ω

GL2(3) 24

  • η, ω

SL2(3)

22[23(32k−2)2 −22 ·32k−2 +1]

η, ω SL2(3) GL2(3)

  • η, ω

GL2(3) 22(32k−2 − 1)2 η, ω GL2(3) GL2(3) η, ω GL2(3) SL2(3) η, ω GL2(3) SL2(3) GL2(3)

  • η, ω

GL2(3) 4(32k−1 − 1)2 η, ω GL2(3) GL2(3)

  • η, ω

GL2(3) SL2(3)

22[23 · 38k−4 − 24 · 36k−2 + 17 · 34k−4 − 23 · 32k−2 + 1]

η, ω GL2(3) SL2(3) GL2(3)

Groups St Andrews 2017 Athar Ahmad Warraich 16

slide-89
SLIDE 89

Thank You For Listening!

Groups St Andrews 2017 Athar Ahmad Warraich 17