university of copenhagen Burnside rings of fusion systems Sune Precht Reeh Centre for Symmetry and Deformation Department of Mathematical Sciences PhD defence, August 11, 2014 Slide 1/16 university of copenhagen Outline An example 1 The Burnside ring of a finite group 2 Fusion stable elements 3 The characteristic idempotent Slide 2/16 university of copenhagen An example: Rotating a cube Slide 3/16 university of copenhagen The Burnside ring of a finite group Let G be a finite group. All finite sets with an action of G (up to isomorphism) form an abelian monoid with disjoint union as addition. Slide 4/16 university of copenhagen The Burnside ring of a finite group Let G be a finite group. All finite sets with an action of G (up to isomorphism) form an abelian monoid with disjoint union as addition. The Grothendieck group of this monoid is the Burnside ring of G, denoted A(G). The multiplication in A(G) is given by Cartesian products. We call the elements of A(G) virtual G-sets. Slide 4/16 university of copenhagen The Burnside ring of a finite group Let G be a finite group. All finite sets with an action of G (up to isomorphism) form an abelian monoid with disjoint union as addition. The Grothendieck group of this monoid is the Burnside ring of G, denoted A(G). The multiplication in A(G) is given by Cartesian products. We call the elements of A(G) virtual G-sets. Every finite G is the disjoint union of its orbits, so the transitive G-sets [G/H] for subgroups H of G form an additive basis for A(G). The basis element [G/H] only depends on H up to conjugation in G. Slide 4/16 university of copenhagen The Burnside ring of a finite group For each finite G-set X and any subgroup H ≤ G, we can count the number of points in X that are fixed by H, i.e. the number |X H |. Slide 5/16 university of copenhagen The Burnside ring of a finite group For each finite G-set X and any subgroup H ≤ G, we can count the number of points in X that are fixed by H, i.e. the number |X H |. |X H | only depends on H up to G-conjugation, and the collection of numbers |X H | for H ≤ G determines X ∈ A(G) uniquely. Slide 5/16 university of copenhagen The Burnside ring of a finite group For each finite G-set X and any subgroup H ≤ G, we can count the number of points in X that are fixed by H, i.e. the number |X H |. |X H | only depends on H up to G-conjugation, and the collection of numbers |X H | for H ≤ G determines X ∈ A(G) uniquely. Taking fixed points respects the structure of A(G): |(X t Y )H | = |X H | + |Y H | and |(X × Y )H | = |X H | · |Y H |, so the fixed point maps X 7→ |X H | extend to ring homomorphisms A(G) → Z. Slide 5/16 university of copenhagen Fusion systems A fusion system over a finite p-group S consists of the subgroups P ≤ S and collections of maps/homomorphism F(Q, P ) between the subgroups. The maps must satisfy: • HomS (P, Q) ⊆ F(P, Q) ⊆ Inj(P, Q) for all P, Q ≤ S. • Every ϕ ∈ F(P, Q) factors in F as an isomorphism P → ϕP followed by an inclusion ϕP ,→ Q. A saturated fusion system satisfies a few additional axioms that play the role of Sylow’s theorems. Slide 6/16 university of copenhagen Fusion systems A fusion system over a finite p-group S consists of the subgroups P ≤ S and collections of maps/homomorphism F(Q, P ) between the subgroups. The maps must satisfy: • HomS (P, Q) ⊆ F(P, Q) ⊆ Inj(P, Q) for all P, Q ≤ S. • Every ϕ ∈ F(P, Q) factors in F as an isomorphism P → ϕP followed by an inclusion ϕP ,→ Q. A saturated fusion system satisfies a few additional axioms that play the role of Sylow’s theorems. The canonical example of a saturated fusion system is FS (G) defined for S ∈ Sylp (G) with morphisms HomFS (G) (P, Q) := HomG (P, Q). for P, Q ≤ S. Slide 6/16 university of copenhagen The Burnside ring of a fusion system Let F be a saturated fusion system over S. A finite S-set X (or an element of A(S)) is said to be F-stable if |X Q | = |X P | whenever Q, P are isomorphic/conjugate in F. Slide 7/16 university of copenhagen The Burnside ring of a fusion system Let F be a saturated fusion system over S. A finite S-set X (or an element of A(S)) is said to be F-stable if |X Q | = |X P | whenever Q, P are isomorphic/conjugate in F. Theorem (R.) The isomorphism classes of F-stable finite S-sets form a free abelian monoid. The irreducible stable sets are in 1-to-1 correspondence with the subgroups of S up to F-conjugation. The Grothendieck group of this monoid is the Burnside ring of F, denoted A(F), and it is also the subring of A(S) formed by all the F-stable elements. Slide 7/16 university of copenhagen A transfer map Theorem (R.) Let F be a saturated fusion system over a finite p-group S. Then there is a transfer map trF S : A(S)(p) → A(F)(p) satisfying F trS (X)Q = for all X ∈ A(S)(p) and Q ≤ S. Slide 8/16 Q0 X university of copenhagen A transfer map Theorem (R.) Let F be a saturated fusion system over a finite p-group S. Then there is a transfer map trF S : A(S)(p) → A(F)(p) satisfying F trS (X)Q = #{Q0 X 1 X Q0 ∼F Q} 0 for all X ∈ A(S)(p) and Q ≤ S. Slide 8/16 Q ∼F Q university of copenhagen A transfer map Theorem (R.) Let F be a saturated fusion system over a finite p-group S. Then there is a transfer map trF S : A(S)(p) → A(F)(p) satisfying F trS (X)Q = #{Q0 X 1 X Q0 ∼F Q} 0 Q ∼F Q for all X ∈ A(S)(p) and Q ≤ S. Furthermore, π is a homomorphism of A(F)(p) -modules and restricts to the identity on A(F)(p) . Slide 8/16 university of copenhagen A transfer map Theorem (R.) Let F be a saturated fusion system over a finite p-group S. Then there is a transfer map trF S : A(S)(p) → A(F)(p) satisfying F trS (X)Q = #{Q0 X 1 X Q0 ∼F Q} 0 Q ∼F Q for all X ∈ A(S)(p) and Q ≤ S. Furthermore, π is a homomorphism of A(F)(p) -modules and restricts to the identity on A(F)(p) . We get an alternative Z(p) -basis for A(F)(p) consisting of βP := trF S ([S/P ]) which only depends on P ≤ S up to F-conjugation. Slide 8/16 university of copenhagen Bisets The double Burnside ring A(S, T ) is additively constructed like a Burnside ring, but from sets that have both a right S-action and a left S-action that commute. The composition/multiplication A(S, S) × A(S, S) → A(S, S) is defined by Y ◦ X := Y ×S X. Slide 9/16 university of copenhagen Bisets The double Burnside ring A(S, T ) is additively constructed like a Burnside ring, but from sets that have both a right S-action and a left S-action that commute. The composition/multiplication A(S, S) × A(S, S) → A(S, S) is defined by Y ◦ X := Y ×S X. Warning: The obvious bijection A(S, S) ∼ = A(S × S) does not preserve the multiplication. Slide 9/16 university of copenhagen Bisets The double Burnside ring A(S, T ) is additively constructed like a Burnside ring, but from sets that have both a right S-action and a left S-action that commute. The composition/multiplication A(S, S) × A(S, S) → A(S, S) is defined by Y ◦ X := Y ×S X. Slide 9/16 university of copenhagen Bisets The double Burnside ring A(S, T ) is additively constructed like a Burnside ring, but from sets that have both a right S-action and a left S-action that commute. The composition/multiplication A(S, S) × A(S, S) → A(S, S) is defined by Y ◦ X := Y ×S X. We are particularly interested in (virtual) (S, S)-bisets where all stabilizers have the form of twisted diagonals ∆(P, ϕ) = {(ϕ(x), x) | x ∈ P } ≤ S × S for some P ≤ S and ϕ ∈ F(P, S). For each twisted diagonal, we denote the transitive biset [S × S/∆(P, ϕ)] by [P, ϕ]. Slide 9/16 university of copenhagen The characteristic idempotent If G induces a fusion system on S, we can ask what properties G has as an (S, S)-biset in relation to FS (G). Linckelmann-Webb wrote down the essential properties as the following definition: Slide 10/16 university of copenhagen The characteristic idempotent If G induces a fusion system on S, we can ask what properties G has as an (S, S)-biset in relation to FS (G). Linckelmann-Webb wrote down the essential properties as the following definition: An element Ω ∈ A(S, S)(p) is said to be F-characteristic if • Ω is F-stable with respect to both S-actions, • every stabilizer of Ω has the form ∆(P, ϕ) = {(ϕ(x), x) | x ∈ P } for some ϕ ∈ F(P, S), • |Ω|/|S| is invertible in Z(p) . Slide 10/16 university of copenhagen The characteristic idempotent If G induces a fusion system on S, we can ask what properties G has as an (S, S)-biset in relation to FS (G). Linckelmann-Webb wrote down the essential properties as the following definition: An element Ω ∈ A(S, S)(p) is said to be F-characteristic if • Ω is F-stable with respect to both S-actions, • every stabilizer of Ω has the form ∆(P, ϕ) = {(ϕ(x), x) | x ∈ P } for some ϕ ∈ F(P, S), • |Ω|/|S| is invertible in Z(p) . Theorem (Broto-Levi-Oliver) Every saturated fusion system F has a (non-unique) characteristic biset. Slide 10/16 university of copenhagen The characteristic idempotent If G induces a fusion system on S, we can ask what properties G has as an (S, S)-biset in relation to FS (G). Linckelmann-Webb wrote down the essential properties as the following definition: An element Ω ∈ A(S, S)(p) is said to be F-characteristic if • Ω is F-stable with respect to both S-actions, • every stabilizer of Ω has the form ∆(P, ϕ) = {(ϕ(x), x) | x ∈ P } for some ϕ ∈ F(P, S), • |Ω|/|S| is invertible in Z(p) . Theorem (Ragnarsson-Stancu) Every saturated fusion system F has a unique F-characteristic idempotent ωF ∈ A(S, S)(p) , and ωF determines F. Slide 10/16 university of copenhagen The characteristic idempotent The transfer map for fusion systems, when applied to the product fusion system F × F, gives a new construction for ωF : Slide 11/16 university of copenhagen The characteristic idempotent The transfer map for fusion systems, when applied to the product fusion system F × F, gives a new construction for ωF : Theorem (R.) Let F be a saturated fusion system. The element β∆(S,id) ∈ A(S, S)(p) associated to F × F is F-characteristic and idempotent. Hence ωF = β∆(S,id) . Slide 11/16 university of copenhagen Maps induced by virtual bisets Each (virtual) biset B ∈ A(S, S)(p) induces a map A(S)(p) → A(S)(p) by X 7→ B ◦ X = B ×S X. Slide 12/16 university of copenhagen Maps induced by virtual bisets Each (virtual) biset B ∈ A(S, S)(p) induces a map A(S)(p) → A(S)(p) by X 7→ B ◦ X = B ×S X. For F = FS (G), the map induced by the (S, S)-biset G is G resG S trS : A(S) → A(F), which sends [S/P ] to [G/P ]. Slide 12/16 university of copenhagen Maps induced by virtual bisets Each (virtual) biset B ∈ A(S, S)(p) induces a map A(S)(p) → A(S)(p) by X 7→ B ◦ X = B ×S X. For F = FS (G), the map induced by the (S, S)-biset G is G resG S trS : A(S) → A(F), which sends [S/P ] to [G/P ]. Theorem (R.) The map A(S)(p) → A(F)(p) induced by the characteristic idempotent ωF ∈ A(S, S)(p) coincides with the transfer map trF S from earlier: (ωF ◦ X)Q = X 1 X Q0 . #{Q0 ∼F Q} 0 Q ∼F Q Slide 12/16 university of copenhagen (Semi)characteristic elements Not only is the characteristic idempotent ωF related to trF S . There turns out to be a close relation between all the F-characteristic elements and the Burnside ring A(F)(p) : Slide 13/16 university of copenhagen Recall: For a saturated fusion system F an element Ω ∈ A(S, S)(p) is F-characteristic if • Ω is F-stable with respect to both S-actions, • every stabilizer of Ω has the form ∆(P, ϕ) := {(ϕ(x), x) | x ∈ P } for some ϕ ∈ F(P, S), • |Ω|/|S| is invertible in Z(p) . Slide 14/16 university of copenhagen Define: For a saturated fusion system F an element Ω ∈ A(S, S)(p) is F-semicharacteristic if • Ω is F-stable with respect to both S-actions, • every stabilizer of Ω has the form ∆(P, ϕ) := {(ϕ(x), x) | x ∈ P } for some ϕ ∈ F(P, S), • |Ω|/|S| is invertible in Z(p) . Let Asemichar (F) be the subring of A(F, F) consisting of all semicharacteristic elements. Slide 14/16 university of copenhagen The ring of semicharacteristic elements Theorem (R.) The ring of semicharacteristic elements Asemichar (F)(p) is isomorphic to the Burnside ring A(F)(p) with the basiselement β∆(P,id) ∈ Asemichar (F)(p) corresponding to βP ∈ A(F)(p) . ∼ = The isomorphism Asemichar (F)(p) − → A(F)(p) coincides with the map X 7→ X/S that quotients out the right S-action of a biset. Slide 15/16 university of copenhagen The ring of semicharacteristic elements Theorem (R.) The ring of semicharacteristic elements Asemichar (F)(p) is isomorphic to the Burnside ring A(F)(p) with the basiselement β∆(P,id) ∈ Asemichar (F)(p) corresponding to βP ∈ A(F)(p) . ∼ = The isomorphism Asemichar (F)(p) − → A(F)(p) coincides with the map X 7→ X/S that quotients out the right S-action of a biset. Corollary The characteristic idempotent ωF ∈ Asemichar (F)(p) is unique, since A(F)(p) only has idempotents 0 and 1. Slide 15/16 university of copenhagen THE END(?) Thank you for your attention! Slide 16/16