quasi projective characters in a block
play

Quasi-projective characters in a block Wolfgang Willems Burkhard K - PowerPoint PPT Presentation

Quasi-projective characters in a block Wolfgang Willems Burkhard K ulshammers 60th birthday, Jena, July 22 -25, 2015 1 Essen, 198? 2 Marseille, in front of Notre Dame de la Garde, 1986? 3 (A. Zalesski) 1. Introduction Def. a) An


  1. Quasi-projective characters in a block Wolfgang Willems Burkhard K¨ ulshammer’s 60th birthday, Jena, July 22 -25, 2015 1

  2. Essen, 198? 2

  3. Marseille, in front of Notre Dame de la Garde, 1986? 3

  4. (A. Zalesski) 1. Introduction Def. a) An ordinary character Λ of a finite group G is called quasi-projective if � Λ = a ϕ Φ ϕ with a ϕ ∈ Z ϕ ∈ IBr p ( G ) where Φ ϕ denotes the ordinary character associated to the projective cover of the module afforded by ϕ . b) A p -Brauer character Φ is called quasi-projective if � a ϕ Φ ϕ ) ◦ . Φ = ( ϕ ∈ IBr p ( G ) 4

  5. Def. We call a quasi-projective character Λ (resp. Φ) indecomposable if there is no splitting Λ = Λ 1 + Λ 2 (resp.Φ = Φ 1 + Φ 2 ) with Λ i (resp.Φ i ) � = 0 and quasi-projective character. Remark. An indecomposable quasi-projective charac- ter belongs to a block. 5

  6. To be brief we put Iqp( B ) = set of indecomposable quasi-projective ordi- nary characters of the p -block B (call that: Hilbert basis for the decomp. matrix of B ) IBqp( B ) = set of indecomposable quasi-projective Brauer characters of B . (call that: Hilbert basis for the Cartan matrix of B ) 6

  7. Example. G = A 5 , p = 2 , B 0 the principal block. Irr( B 0 ) = { χ 1 , χ 2 , χ 3 , χ 5 } degrees: 1 , 3 , 3 , 5 IBr 2 ( B 0 ) = { β 1 , β 2 , β 3 } degrees: 1 , 2 , 2 | Iqp( B 0 ) | = 4 : Φ 1 − Φ 3 = 1 + χ 2 , Φ 1 − Φ 2 = 1 + χ 3 , Φ 2 = χ 2 + χ 5 , Φ 3 = χ 3 + χ 5 7

  8. | IBqp( B 0 ) | =6: (3Φ 1 − 2Φ 2 − 2Φ 3 ) ◦ = 4 β 1 (2Φ 2 − Φ − 1) ◦ = 2 β 2 (2Φ 3 − Φ 1 ) ◦ = 2 β 3 (Φ 1 − Φ 3 ) ◦ = 2 β 1 + β 2 (Φ 1 − Φ 3 ) ◦ = 2 β 1 + β 3 (Φ 2 + Φ 3 − Φ 1 ) ◦ = β 2 + β 3 8

  9. Example. G = PSL (2 , 7) , p = 7 , B 0 the principal block. Irr( B 0 ) = { χ 1 , χ 2 , χ 3 , χ 4 , χ 5 } degrees: 1 , 3 , 3 , 6 , 8 IBr 7 ( B 0 ) = { β 1 , β 2 , β 3 } degrees: 1 , 3 , 5 | Iqp( B 0 ) | = 5: 1 + χ 4 , 1 + χ 2 + χ 3 , χ 4 + χ 5 , χ 2 + χ 3 + χ 5 | IBqp( B 0 ) | = 11: 7 β 1 , 7 β 2 , 7 β 3 , β 1 + 4 β 3 , β 2 + 5 β 3 , 4 β 1 + β 2 , β 1 + β 2 + 2 β 3 , 2 β 1 + β 3 , 2 β 2 + 3 β 3 , β 1 + 2 β 2 , 3 β 2 + β 3 9

  10. Example. G = McL, p = 2 , B 0 the principal block | Irr( B 0 ) | = 18 , | IBr 2 ( B 0 ) = 8 | Iqp( B 0 ) | = 38 = 2 . 19 | IBqp( B 0 ) | = 8304 = 2 4 . 3 . 173 10

  11. Problems. 1. What is the meaning of (indecomposable) quasi- projective? 2. What can we say about Iqp( B ) or IBqp( B )? 3. Is there a reasonable good function in terms of B which bounds | Iqp( B ) | or | IBqp( B ) | ? 11

  12. 2. Hilbert bases Let D, C denote the decomposition resp.Cartan matrix of a block B . Quasi-projective characters � � � a ϕ Φ ϕ = ( d χϕ a ϕ ) χ. ϕ ∈ IBr ( B ) χ ∈ Irr ( B ) ϕ ∈ IBr ( B ) � �� � =( Da ) χ ≥ 0 a ϕ Φ ϕ ) ◦ = � � � ( ( c ψϕ a ϕ ) ψ. ϕ ∈ IBr ( B ) ψ ∈ IBr ( B ) ϕ ∈ IBr ( B ) � �� � =( Ca ) ψ ≥ 0 12

  13. Hilbert basis of a matrix A ∈ ( Z ) k,l Def. cone ( A ) = { x ∈ R l | Ax ≥ 0 } Facts. a) (Gordon 1873, Hilbert 1890) cone ( A ) is generated by a finite so-called integral Hilbert- basis; i.e., ∃ h 1 , . . . , h t ∈ cone ( A ) ∩ Z l s.t. any c ∈ cone ( A ) ∩ Z l can be written as c = � t i =1 a i h i with a i ∈ N 0 . 13

  14. b) (van der Corput, 1931) If ker A = 0, then a minimal integral Hilbertbasis is unique. Denote them by H A . c) If ker A = 0, then A H A are the indecomposable vec- tors in A ( cone ( A ) ∩ Z l ). 14

  15. Applications. • D H D = Iqp( B ) C H C = IBqp( B ) • Explicit computations. Software package 4ti2 (Hemmecke, K¨ oppe, Malkin, Walter) 15

  16. 3. Indecomp. quasi-projective ordinary characters. • quasi-projective character = p -vanishing character | G | p | Λ(1) if Λ is quasi-projective • • χ ∈ Irr( B ) quasi-projective ⇒ B of defect zero • | Iqp( B ) | ≥ | IBr( B ) | 16

  17. A Brauer character ϕ is called quasi-liftable if Def. there exists an ordinary character χ such that χ ◦ = bϕ with b ∈ N Navarro, 10.16) If Λ = � (cf. ϕ a ϕ Φ ϕ is a Lemma. quasi-projective character and ϕ is quasi-liftable, then a ϕ ≥ 0. (If χ ◦ = nϕ , then na ϕ = (Λ , nϕ ) ◦ = (Λ , χ ) ≥ 0 . ) Example. G = 2 F 4 (2) ′ ˙ 2 and p = 2. There exists a non-liftable β ∈ IBr( G ) and χ, ψ ∈ Irr( G ) χ ◦ = 2 β ψ ◦ = 3 β. such that and 17

  18. Theorem. Equivalent are: a) Iqp( B ) = { Φ ϕ | ϕ ∈ IBr( B ) } . b) Every β ∈ IBr( B ) is quasi-liftable. Proof. b) ⇒ a) Navarro’s Lemma or   0 0 n 1 ... 0 0     • D =   0 0 n l   ∗ Da ≥ 0 ( a ∈ Z l ) ⇒ a ≥ 0 • 18

  19. a) ⇒ b) Suppose that β ∈ IBr( B ) is not quasi-liftable. • For each χ ∈ Irr ( B ) with d χ,β � = 0 there exists a β � = ψ ∈ IBr( B ) with d χ,ψ � = 0. • b = max { d χ,β | χ ∈ Irr( B ) } Λ = − Φ β + b � ϕ � = β Φ ϕ • (Λ , χ ) = − d χ,β + b � • ϕ � = β d χ,ϕ ≥ 0 • Λ quasi-projective, not projective character. 19

  20. Question. Are the following equivalent? a) Iqp( B ) = { Φ ϕ | ϕ ∈ IBr p ( B ) } . b) Each ϕ ∈ IBr p ( B ) is quasi-liftable. c) Each ϕ ∈ IBr p ( B ) is liftable. 20

  21. Theorem. Let B be a block with a cyclic defect group > 1. By χ 0 we denote the sum of exceptional irreducible characters of B (if such characters exist). Furthermore let Irr 0 ( B ) be the set consisting of χ 0 and all the non-exceptional irreducible characters of B . Then � Λ = a ϕ Φ ϕ ∈ Iqp( B ) ϕ ∈ IBr p ( B ) if and only if Λ = χ + ψ for χ, ψ ∈ Irr 0 ( B ) where the distance between χ and ψ in the Brauer tree is odd. 21

  22. Example. G = PSL (2 , 17), p = 17, B 0 the principal 17-block 20 = | Iqp( B 0 ) | �≤ | δ ( B 0 ) | = 17 Question. How to bound | Iqp( B ) | in terms of invariants of B ? 22

  23. If all ϕ ∈ IBr( B ) are quasi-liftable, then • Iqp( B )= { Φ ϕ | ϕ ∈ IBr( B ) } . • l ( B ) = 1 ⇒ Iqp( B ) = { Φ ϕ } • Does l ( B ) = 2 imply | Iqp( B ) | = 2? ( G = 2 .A 8 , p = 3 , block #5) 23

  24. Let Λ = � ϕ ∈ IBr ( B ) a ϕ Φ ϕ = � χ ∈ Irr ( B ) b χ χ ∈ Iqp( B ). Minkowski 1896: cone ( D ) = cone ( { a 1 , . . . , a m | 0 � = a i ∈ Z d } ), � k � where m ≤ l − 1 a i are solutions of l − 1 linearily independent equa- • tions of Dx = 0. H D ⊆ { a 1 , . . . a m } ∪ • { a ∈ cone ( D ) ∩ Z d | a = � i λ i a i , λ i ∈ [0 , 1) } 24

  25. Ewald/Wessel ’91: • If l ≥ 2, then � a i � ∞ | a ϕ | ≤ ( l − 1) max i 25

  26. 4. Indecomp. quasi-projective Brauer characters Theorem. Let d ( B ) denote the defect of the block B . a) For each ϕ ∈ IBr p ( B ) there is a minimal p -power, say p a ( ϕ ) such that p a ( ϕ ) ϕ ∈ IBqp( B ) where a ( ϕ ) ≤ d ( B ). b) There exists ϕ ∈ IBr p ( B ) with a ( ϕ ) = d ( B ) Consequence. If ϕ ∈ IBr( B ), then � p a ( ϕ ) ϕ ( x ) for x a p ’-element, ϕ ( x ) = 0 otherwise. is a generalized character of B . 26

  27. Example. G = A 5 , p = 2, B 0 the principal block elementary divisors: 4,1,1 2 a ( ϕ ) for ϕ ∈ IBr( B 0 ): 4,2,2 Question. Does a ( ϕ ) = 0 for ϕ ∈ IBr( B ) imply that B is of defect 0? Question. Can one characterize blocks B with | IBqp( B ) | = | IBr( B ) | ? 27

  28. Fact. We always have a ( ϕ ) ≥ d ( B ) − ht ( ϕ ) where ht ( ϕ ) = ν p ( ϕ (1)) − ν p ( | G | ) + d ( B ). Question. Is a ( ϕ ) = d ( B ) − ht ( ϕ ) , if G is p -solvable and ϕ ∈ IBr( B )? Example. G = McL, p = 2 , ϕ ∈ IBr( B 0 ) of degree 7 . 2 9 . | G | 2 = 2 7 • • a ( ϕ ) = | d ( B ) − ht ( ϕ ) | = 2 28

  29. 29

  30. Happy Birthday 30

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend