representation rings for fusion systems and dimension
play

Representation rings for fusion systems and dimension functions - PowerPoint PPT Presentation

u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Representation rings for fusion systems and dimension functions Sune Precht Reeh joint with Erg un Yal cn Notes from the flip charts are in green. Isle of Skye, 22. June 2018


  1. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Representation rings for fusion systems and dimension functions Sune Precht Reeh joint with Erg¨ un Yal¸ cın Notes from the flip charts are in green. Isle of Skye, 22. June 2018 Thanks to support from Maria de Maeztu (MDM-2014-0445). Slide 1/15

  2. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Dimension functions Related to Yal¸ cın’s talk: Study finite group actions on finite CW-complexes ≃ S n – with restrictions on isotropy. One way to construct a G -action on an actual sphere: take the unit-sphere S ( V ) where V is a real G -representation. For a real G -representation V we define the dimension function for V as Dim ( V )( P ) := dim R ( V P ) for P ≤ G up to conjugation in G . The dimension function for an action of G on a finite homotopy sphere X ≃ S n is given by X P ∼ p S Dim ( X )( P ) − 1 for any p -subgroup P ≤ G and a prime p . Sune Precht Reeh Slide 2/15

  3. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Borel-Smith functions Q: Which functions on the conjugacy classes of subgroups in G arise as dimension functions for real representations/homotopy sphere actions? Necessary: Borel-Smith conditions for a function f on the conjugacy classes of subgroups. (i) If K ⊳ H, H/K ∼ = Z /p, p odd, then 2 | f ( K ) − f ( H ). (ii) If K ⊳ H, H/K ∼ = Z /p × Z /p , then � � f ( K ) − f ( H ) = � f ( L ) − f ( H ) . K<L<H (iii) If K ⊳ H ⊳ L ≤ N G ( K ) , H/K ∼ = Z / 2, and if L/K ∼ = Z / 4, then 2 | f ( K ) − f ( H ), or if L/K ∼ = Q 8 , then 4 | f ( K ) − f ( H ). Let C b ( G ) denote the set of Borel-Smith functions for G . Sune Precht Reeh Slide 3/15

  4. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Borel-Smith functions 2 As an example, consider the group C 5 . Let us denote the irreducible complex characters of C 5 by χ 1 , χ 2 , . . . , χ 5 . The irreducible real representations of C 5 then have characters χ 1 , χ 2 + χ 5 , χ 3 + χ 4 . The dimension functions for these are Dim 1 C 5 χ 1 1 1 χ 2 + χ 5 2 0 χ 3 + χ 4 2 0 The only Borel-Smith condition that applies to C 5 is (i) , which states that 2 | f (1) − f ( C 5 ). This relation is easily confirmed for the irreducible real representations. In fact every Borel-Smith function is a linear combination of the dimension functions above and hence is the dimension function of some virtual real representation. Sune Precht Reeh Slide 4/15

  5. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Realizing Borel-Smith functions Theorem Let G be a finite group. [tom Dieck] When G is nilpotent, R R ( G ) → C b ( G ) is surjective. [Dotzel-Hamrick] If G is a p -group, and if f ∈ C b ( G ) is nonnegative and monotone, then there exists a real representation V such that Dim ( V ) = f . Sune Precht Reeh Slide 5/15

  6. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Realizing Borel-Smith functions 2 Theorem (R.-Yal¸ cın) Let G be a finite group. If f is a non-negative, monotone Borel-Smith function defined on the prime-power subgroups of G , then there exists a finite G -CW-complex X ≃ S n such that X only has prime-power isotropy, and Dim ( X ) = N · f for some N > 0 . Sune Precht Reeh Slide 6/15

  7. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Sketch of proof f B.S.-function Restriction to p -groups · · · B.S.-function at p f 2 f 3 f 5 f 7 Rest of talk Real repr. “at p ” V 2 V 3 V 5 V 7 · · · [Hambleton-Yal¸ cın] Finite htpy. sphere with G -action X Sune Precht Reeh Slide 7/15

  8. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Fusion systems Given a finite group G and a prime p , let S ∈ Syl p ( G ). The fusion system F S ( G ) induced by G on S is a category with objects P ≤ S and morphisms Hom F S ( G ) ( P, Q ) := { c g : P → Q | g ∈ G, g − 1 Pg ≤ Q } . There is a notion of abstract (saturated) fusion systems F on S , with exotic examples not coming from finite groups and Sylow subgroups. An S -representation V is F -stable if χ V ( a ) = χ V ( a ′ ) whenever a ′ = ϕ ( a ) for some homomorphism ϕ ∈ F and a, a ′ ∈ S . The representation ring R R ( F ) consists of F -stable virtual representations V ∈ R R ( S ). Sune Precht Reeh Slide 8/15

  9. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Fusion systems 2 Consider C 5 ⋊ C 4 where C 4 acts on C 5 as the full automorphism group. The fusion system F = F C 5 ( C 5 ⋊ C 4 ) at the prime 5 has C 5 endowed with the additional conjugation from C 4 . The trivial representation χ 1 is F -stable, but χ 2 + χ 5 and χ 3 + χ 4 are not invariant under the C 4 -action. The indecomposable F -stable representations are χ 1 and χ 2 + χ 3 + χ 4 + χ 5 . Their dimension functions: Dim 1 C 5 χ 1 1 1 χ 2 + · · · + χ 5 4 0 The Borel-Smith functions for C 5 are no longer all going to be linear combinations of the above, e.g. the Borel-Smith function (2 0). However, up to multiplying with 2 they are. Sune Precht Reeh Slide 9/15

  10. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Borel-Smith functions for F C b ( F ) consists of Borel-Smith functions f ∈ C b ( S ) such that f is constant on isomorphism classes in F . R R ( − ) → C b ( − ) is a natural transformation of biset functors on p -groups and is pointwise surjective. A general result then gives us that R R ( F ) ( p ) → C b ( F ) ( p ) is surjective. If we want a result without p -localization, we need to add an extra condition to the Borel-Smith conditions: (iv) [Bauer] If K ⊳ H , H/K ∼ = Z /p , α ∈ Aut( H/K ) is induced by Aut F ( H ), then (order of α ) | f ( K ) − f ( H ). Sune Precht Reeh Slide 10/15

  11. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Borel-Smith functions for F 2 For our example fusion system F on C 5 induced by C 5 ⋊ C 4 , we have an automorphism of C 5 / 1 of order 4 induced by the C 4 -action. The condition (iv) then states 4 | f (1) − f ( C 5 ). This is enough to ensure that every Borel-Smith function satisfying the additional condition 4 | f (1) − f ( C 5 ) will be a linear combination of the dimension functions for F -stable representations, and hence realized by an F -stable virtual real representation. Sune Precht Reeh Slide 11/15

  12. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Realizing Borel-Smith functions (at p ) Theorem (R.-Yal¸ cın) Let F be a saturated fusion system on a p -group S (e.g. F = F S ( G ) ), then R R ( F ) → C b + (iv) ( F ) is surjective. Theorem (R.-Yal¸ cın) Let F be a saturated fusion system on a p -group S (e.g. F = F S ( G ) ). If f is a nonnegative, monotone Borel-Smith function (possibly satisfying (iv) ), then there exists an F -stable real S -representation V such that Dim ( V ) = N · f for some N > 0 (depending on F and not f ). Open problem: Does N = 1 work for f satisfying (iv) ? Sune Precht Reeh Slide 12/15

  13. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Proof for monotone B.S.-functions Suppose f is a non-negative, monotone Borel-Smith function for F . Realize f by some real S -representation V that might not be F -stable. χ V lives in a finite extension L of Q , so χ ′ = � σ ∈ Gal ( L / Q ) χ σ V is a rational valued character. There is an m > 0 such that m · χ ′ is the character of a rational S -representation W , with Dim ( W ) = m · | L : Q | · f . That f is F -stable implies that Dim ( W ) is F -stable which in turn implies that W is F -stable because Dim ( − ) is injective on rational representations. � Sune Precht Reeh Slide 13/15

  14. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a Epilogue f B.S.-function B.S.-function for F p f 2 f 3 f 5 f 7 · · · F p -stable real representation · · · V 2 V 3 V 5 V 7 Finite htpy. sphere with G -action X Theorem (R.-Yal¸ cın) Let G be a finite group. If f is a non-negative, monotone Borel-Smith function defined on the prime-power subgroups of G , then there exists a finite G -CW-complex X ≃ S n such that X only has prime-power isotropy, and Dim ( X ) = N · f for some N > 0 . Sune Precht Reeh Slide 14/15

  15. u n i v e r s i t a t a u t o n o m a d e b a r c e l o n a The End [1] Stefan Bauer, A linearity theorem for group actions on spheres with applications to homotopy representations , Comment. Math. Helv. 64 (1989), no. 1, 167–172. [2] Tammo tom Dieck, Transformation groups , de Gruyter Studies in Mathematics, vol. 8, Walter de Gruyter & Co., Berlin, 1987. MR889050 (89c:57048) [3] Ronald M. Dotzel and Gary C. Hamrick, p -group actions on homology spheres , Invent. Math. 62 (1981), no. 3, 437–442. [4] Ian Hambleton and Erg¨ un Yal¸ cın, Group actions on spheres with rank one isotropy , Trans. Am. Math. Soc. 368 (2016), no. 8, 5951-5977. [5] Sune Precht Reeh and Erg¨ un Yal¸ cın, Representation rings for fusion systems and dimension functions , Math. Z. 288 (2018), no. 1-2, 509-530. Sune Precht Reeh Slide 15/15

Recommend


More recommend