finding pim s for finite groups of lie type
play

Finding PIMs for finite groups of Lie type Olivier Dudas CNRS & - PowerPoint PPT Presentation

Oct 24, 2023 •129 likes •622 views

Finding PIMs for finite groups of Lie type Olivier Dudas CNRS & Paris-Diderot University March 2013 O. Dudas (CNRS) Finding PIMs March 2013 1 / 9 Decomposition matrices Representations of finite groups of Lie type GL n ( q ) , Sp 2

  1. Finding PIM’s for finite groups of Lie type Olivier Dudas CNRS & Paris-Diderot University March 2013 O. Dudas (CNRS) Finding PIM’s March 2013 1 / 9

  2. Decomposition matrices Representations of finite groups of Lie type GL n ( q ) , Sp 2 n ( q ) , . . . , E 8 ( q ) Main goal. Extend geometric methods introduced by Deligne and Lusztig to the modular setting (representations in positive characteristic) O. Dudas (CNRS) Finding PIM’s March 2013 2 / 9

  3. Decomposition matrices Representations of finite groups of Lie type GL n ( q ) , Sp 2 n ( q ) , . . . , E 8 ( q ) Main goal. Extend geometric methods introduced by Deligne and Lusztig to the modular setting (representations in positive characteristic) Less ambitious. Determine decomposition matrices of such groups O. Dudas (CNRS) Finding PIM’s March 2013 2 / 9

  4. Decomposition matrices Representations of finite groups of Lie type GL n ( q ) , Sp 2 n ( q ) , . . . , E 8 ( q ) Main goal. Extend geometric methods introduced by Deligne and Lusztig to the modular setting (representations in positive characteristic) Less ambitious. Determine decomposition matrices of such groups i.e ◮ given χ an irreducible character of G ( q ) (in char. 0), find the composition factors of any reduction of χ in positive characteristic O. Dudas (CNRS) Finding PIM’s March 2013 2 / 9

  5. Decomposition matrices Representations of finite groups of Lie type GL n ( q ) , Sp 2 n ( q ) , . . . , E 8 ( q ) Main goal. Extend geometric methods introduced by Deligne and Lusztig to the modular setting (representations in positive characteristic) Less ambitious. Determine decomposition matrices of such groups i.e ◮ given χ an irreducible character of G ( q ) (in char. 0), find the composition factors of any reduction of χ in positive characteristic ◮ given a projective indecomposable module PIM (in positive characteristic), compute the character of this module (in char. 0) O. Dudas (CNRS) Finding PIM’s March 2013 2 / 9

  6. Inductive approach M representation O. Dudas (CNRS) Finding PIM’s March 2013 3 / 9

  7. Inductive approach M representation M is cuspidal O. Dudas (CNRS) Finding PIM’s March 2013 3 / 9

  8. Inductive approach M representation M is cuspidal M is non-cuspidal O. Dudas (CNRS) Finding PIM’s March 2013 3 / 9

  9. Inductive approach M representation M is cuspidal M is non-cuspidal M “occurs” in an induced representation R G L ( N ) with N cuspidal O. Dudas (CNRS) Finding PIM’s March 2013 3 / 9

  10. Inductive approach M representation M is cuspidal M is non-cuspidal M “occurs” in an induced representation R G L ( N ) with N cuspidal O. Dudas (CNRS) Finding PIM’s March 2013 3 / 9

  11. Inductive approach M representation M is cuspidal M is non-cuspidal M “occurs” in an geometric construction of M induced representation via Deligne-Lusztig varieties R G L ( N ) with N cuspidal O. Dudas (CNRS) Finding PIM’s March 2013 3 / 9

  12. Parabolic induction G reductive algebraic group over F p F : G − → G Frobenius endomorphism / F q G F = G ( q ) is a finite reductive group O. Dudas (CNRS) Finding PIM’s March 2013 4 / 9

  13. Parabolic induction G reductive algebraic group over F p F : G − → G Frobenius endomorphism / F q G F = G ( q ) is a finite reductive group → ( a q Example. G = GL n ( F p ) with F : ( a i , j ) �− i , j ) then G ( q ) = GL n ( q ) O. Dudas (CNRS) Finding PIM’s March 2013 4 / 9

  14. Parabolic induction G reductive algebraic group over F p F : G − → G Frobenius endomorphism / F q G F = G ( q ) is a finite reductive group → ( a q Example. G = GL n ( F p ) with F : ( a i , j ) �− i , j ) then G ( q ) = GL n ( q ) Parabolic induction and restriction functors, given L a standard F -stable Levi subgroup R G L : kL ( q ) -mod − → kG ( q ) -mod ∗ R G L : kG ( q ) -mod − → kL ( q ) -mod O. Dudas (CNRS) Finding PIM’s March 2013 4 / 9

  15. Parabolic induction G reductive algebraic group over F p F : G − → G Frobenius endomorphism / F q G F = G ( q ) is a finite reductive group → ( a q Example. G = GL n ( F p ) with F : ( a i , j ) �− i , j ) then G ( q ) = GL n ( q ) Parabolic induction and restriction functors, given L a standard F -stable Levi subgroup R G L : kL ( q ) -mod − → kG ( q ) -mod ∗ R G L : kG ( q ) -mod − → kL ( q ) -mod Properties of induction/restriction (i) ( R G L , ∗ R G L ) pair of adjoint functors (ii) They are exact if char k � = p , in particular they map projective modules to projective modules O. Dudas (CNRS) Finding PIM’s March 2013 4 / 9

  16. Cuspidality Definition A kG ( q ) -module M is cuspidal if ∗ R G L ( M ) = 0 for all proper standard F -stable Levi subgroup. O. Dudas (CNRS) Finding PIM’s March 2013 5 / 9

  17. Cuspidality Definition A kG ( q ) -module M is cuspidal if ∗ R G L ( M ) = 0 for all proper standard F -stable Levi subgroup. If M is non-cuspidal simple module, take L to be minimal s.t ∗ R G L ( M ) � = 0 O. Dudas (CNRS) Finding PIM’s March 2013 5 / 9

  18. Cuspidality Definition A kG ( q ) -module M is cuspidal if ∗ R G L ( M ) = 0 for all proper standard F -stable Levi subgroup. If M is non-cuspidal simple module, take L to be minimal s.t ∗ R G L ( M ) � = 0 Then there exists N cuspidal kL ( q ) -module such that ◮ M is in the head of R G L ( N ) O. Dudas (CNRS) Finding PIM’s March 2013 5 / 9

  19. Cuspidality Definition A kG ( q ) -module M is cuspidal if ∗ R G L ( M ) = 0 for all proper standard F -stable Levi subgroup. If M is non-cuspidal simple module, take L to be minimal s.t ∗ R G L ( M ) � = 0 Then there exists N cuspidal kL ( q ) -module such that ◮ M is in the head of R G L ( N ) ◮ P M is a direct summand of R G L ( P N ) O. Dudas (CNRS) Finding PIM’s March 2013 5 / 9

  20. Cuspidality Definition A kG ( q ) -module M is cuspidal if ∗ R G L ( M ) = 0 for all proper standard F -stable Levi subgroup. If M is non-cuspidal simple module, take L to be minimal s.t ∗ R G L ( M ) � = 0 Then there exists N cuspidal kL ( q ) -module such that ◮ M is in the head of R G L ( N ) ◮ P M is a direct summand of R G L ( P N ) Consequence. it is enough to ◮ know the projective cover of cuspidal simple modules ◮ know how to decompose R G L ( P N ) (Howlett-Lehrer, Dipper-Du-James, Geck-Hiss. . . ) O. Dudas (CNRS) Finding PIM’s March 2013 5 / 9

  21. Cuspidality know the projective cover of cuspidal simple modules ◮ O. Dudas (CNRS) Finding PIM’s March 2013 5 / 9

  22. Geometric construction of the representations W Weyl group of G O. Dudas (CNRS) Finding PIM’s March 2013 6 / 9

  23. Geometric construction of the representations W Weyl group of G Given w ∈ W , Deligne-Lusztig variety X ( w ) , quasi-projective variety of dimension ℓ ( w ) endowed with action of G ( q ) O. Dudas (CNRS) Finding PIM’s March 2013 6 / 9

  24. Geometric construction of the representations W Weyl group of G Given w ∈ W , Deligne-Lusztig variety X ( w ) , quasi-projective variety of dimension ℓ ( w ) endowed with action of G ( q ) Linearisation. ℓ -adic cohomology groups H i c ( X ( w ) , Q ℓ ) and H i c ( X ( w ) , F ℓ ) give f.d. representations of G ( q ) over Q ℓ or F ℓ (non-zero when i ∈ { ℓ ( w ) , . . . , 2 ℓ ( w ) } only) O. Dudas (CNRS) Finding PIM’s March 2013 6 / 9

  25. Geometric construction of the representations W Weyl group of G Given w ∈ W , Deligne-Lusztig variety X ( w ) , quasi-projective variety of dimension ℓ ( w ) endowed with action of G ( q ) Linearisation. ℓ -adic cohomology groups H i c ( X ( w ) , Q ℓ ) and H i c ( X ( w ) , F ℓ ) give f.d. representations of G ( q ) over Q ℓ or F ℓ (non-zero when i ∈ { ℓ ( w ) , . . . , 2 ℓ ( w ) } only) Example. Drinfeld curve X = { ( x , y ) ∈ F 2 p | xy q − yx q = 1 } then H 1 c ( X ) contains the discrete series of SL 2 ( q ) (cuspidal representations) O. Dudas (CNRS) Finding PIM’s March 2013 6 / 9

  26. Geometric construction of the representations W Weyl group of G Given w ∈ W , Deligne-Lusztig variety X ( w ) , quasi-projective variety of dimension ℓ ( w ) endowed with action of G ( q ) Linearisation. ℓ -adic cohomology groups H i c ( X ( w ) , Q ℓ ) and H i c ( X ( w ) , F ℓ ) give f.d. representations of G ( q ) over Q ℓ or F ℓ (non-zero when i ∈ { ℓ ( w ) , . . . , 2 ℓ ( w ) } only) Example. Drinfeld curve X = { ( x , y ) ∈ F 2 p | xy q − yx q = 1 } then H 1 c ( X ) contains the discrete series of SL 2 ( q ) (cuspidal representations) Problem. How to know where the representations appear? O. Dudas (CNRS) Finding PIM’s March 2013 6 / 9

  27. Middle degree in char. 0 Proposition (Deligne-Lusztig) Let ρ be an ordinary character of G ( q ) . If w is minimal such that ρ occurs in the cohomology of X ( w ) , then ρ occurs in middle degree only O. Dudas (CNRS) Finding PIM’s March 2013 7 / 9

  28. Middle degree in char. 0 Proposition (Deligne-Lusztig) Let ρ be an ordinary character of G ( q ) . If w is minimal such that ρ occurs in the cohomology of X ( w ) , then ρ occurs in middle degree only Proof . X ( w ) has a smooth compactification X ( w ) , such that X ( w ) \ X ( w ) = Z is a disjoint union of smaller varieties X ( v ) O. Dudas (CNRS) Finding PIM’s March 2013 7 / 9

Recommend

Existence of CAT(0) structures for finite type Artin groups B 9 A 9 D 9 B 8 A 8 D 8 E 8 B 7 A 7 D

Existence of CAT(0) structures for finite type Artin groups B 9 A 9 D 9 B 8 A 8 D 8 E 8 B 7 A 7 D

Existence of CAT(0) structures for finite type Artin groups B 9 A 9 D 9 B 8 A 8 D 8 E 8 B 7 A 7 D 7 E 7 B 6 A 6 D 6 E 6 B 5 A 5 D 5 ? F 4 B 4 A 4 D 4 H 4 B 3 A 3 H 3 I 2 ( m ) B 2 A 2 A 1 Jon McCammond U.C. Santa Barbara 1 Overview I.

526 views • 19 slides
Finite quotients of groups of I-type or Fabienne Quantum Yang-Baxter groups Chouraqui General

Finite quotients of groups of I-type or Fabienne Quantum Yang-Baxter groups Chouraqui General

Finite quotients of groups of I-type or Quantum Yang-Baxter groups Finite quotients of groups of I-type or Fabienne Quantum Yang-Baxter groups Chouraqui General Introduction to the QYBE Fabienne Chouraqui Garside groups and the QYBE

1.25k views • 96 slides
On Brauer trees of blocks of finite groups of Lie type Radha Kessar City, University of London

On Brauer trees of blocks of finite groups of Lie type Radha Kessar City, University of London

On Brauer trees of blocks of finite groups of Lie type Radha Kessar City, University of London joint work with David Craven University of Birmingham June 13, 2019 Motivation: Describe the Brauer tree algebras which occur as blocks of finite

674 views • 16 slides
Kiyoshi Igusa ARE FINITE TYPE PICTURE GROUPS VIRTUALLY SPECIAL? Abstract. This is a report on work

Kiyoshi Igusa ARE FINITE TYPE PICTURE GROUPS VIRTUALLY SPECIAL? Abstract. This is a report on work

Kiyoshi Igusa ARE FINITE TYPE PICTURE GROUPS VIRTUALLY SPECIAL? Abstract. This is a report on work of Eric Hanson, a beginning PhD student at Brandeis working under the direction of Corey Bergman and me. Eric is working on combinatorial group

373 views • 6 slides
Effective algorithms for groups of Lie type Eamonn OBrien University of Auckland February

Effective algorithms for groups of Lie type Eamonn OBrien University of Auckland February

Effective algorithms for groups of Lie type Eamonn OBrien University of Auckland February 2015 artlogo Eamonn OBrien Effective algorithms for groups of Lie type Overview of lecture G large" finite group described by generating

1.14k views • 99 slides
From minimal non-abelian subgroups finite non-abeian to finite non-abeian p -groups p -groups

From minimal non-abelian subgroups finite non-abeian to finite non-abeian p -groups p -groups

From minimal non-abelian subgroups to From minimal non-abelian subgroups finite non-abeian to finite non-abeian p -groups p -groups Qinhai Zhang Qinhai Zhang Shanxi Normal University, China Conference of Groups St Andrews 2017 in

1.01k views • 57 slides
Low-degree cohomology for finite groups of Lie type Niles Johnson Joint with UGA VIGRE Algebra

Low-degree cohomology for finite groups of Lie type Niles Johnson Joint with UGA VIGRE Algebra

Low-degree cohomology for finite groups of Lie type Niles Johnson Joint with UGA VIGRE Algebra Group Department of Mathematics University of Georgia September 2011 UGA VIGRE Algebra (UGA) Low-degree cohomology September 2011 1 / 30

668 views • 30 slides
FE FELI LIX Tes est Fi Firmware Purpos ose type with Hit Finding/Hit Finding Emulator Com

FE FELI LIX Tes est Fi Firmware Purpos ose type with Hit Finding/Hit Finding Emulator Com

FE FELI LIX Tes est Fi Firmware Purpos ose type with Hit Finding/Hit Finding Emulator Com ompatible inter erface ty Add FELIX bloc ock hea eader er and chunk trailer er - Compatible with FELIX FULLMODE data - Identify

267 views • 6 slides
Using SAT and SMT Solvers for Finite Model Finding with Sorts Giles Reger Martin Suda School of

Using SAT and SMT Solvers for Finite Model Finding with Sorts Giles Reger Martin Suda School of

Using SAT and SMT Solvers for Finite Model Finding with Sorts Giles Reger Martin Suda School of Computer Science, University of Manchester, UK Automated Reasoning Workshop 2016 Finite Models A finite models interpret symbols over a finite

283 views • 16 slides
On finite groups isospectral to simple groups Andrey Vasil ev Sobolev Institute of Mathematics

On finite groups isospectral to simple groups Andrey Vasil ev Sobolev Institute of Mathematics

On finite groups isospectral to simple groups Andrey Vasil ev Sobolev Institute of Mathematics Group Theory Conference in Honour of Victor Mazurov Novosibirsk, 2013 1 / 23 G is a finite group | G | is the order of G ( G ) is the set of

616 views • 23 slides
The Classification of Finite Groups of Order 16 Kyle Whitcomb Department of Mathematics and

The Classification of Finite Groups of Order 16 Kyle Whitcomb Department of Mathematics and

The Classification of Finite Groups of Order 16 Kyle Whitcomb Department of Mathematics and Computer Science University of Puget Sound Tacoma, Washington May 5, 2015 Finite Groups of Order 16 Outline 1 Definitions and Notation 2 Preliminary

859 views • 51 slides
On the character degree graphs of finite groups Silvio Dolfi Dipartimento di Matematica e

On the character degree graphs of finite groups Silvio Dolfi Dipartimento di Matematica e

On the character degree graphs of finite groups Silvio Dolfi Dipartimento di Matematica e Informatica Universit` a di Firenze Topics on Groups and Their Representations Gargnano, October 11th 2017 1 / 46 General notation Given a finite group

1.5k views • 115 slides
Finite p-groups that determine p-nilpotency locally Th. Weigel UNIVERSIT DEGLI STUDI DI

Finite p-groups that determine p-nilpotency locally Th. Weigel UNIVERSIT DEGLI STUDI DI

p-Nilpotency p-groups The Proof Swan groups Yoshida p-groups Finite p-groups that determine p-nilpotency locally Th. Weigel UNIVERSIT DEGLI STUDI DI MILANO-BICOCCA Dipartimento di Matematica e Applicazioni Novosibirsk, July 19 th , 2013

352 views • 23 slides
Invariance groups of finite functions and orbit equivalence of permutation groups Tam as

Invariance groups of finite functions and orbit equivalence of permutation groups Tam as

Invariance groups of finite functions and orbit equivalence of permutation groups Tam as Waldhauser University of Szeged NSAC 2013 Novi Sad, 7th June 2013 Joint work with Eszter Horv ath, Reinhard P oschel, G eza Makay.

732 views • 72 slides
PRESENTATIONS OF FINITE SIMPLE GROUPS: A COMPUTATIONAL APPROACH R. M. GURALNICK, W. M. KANTOR, M.

PRESENTATIONS OF FINITE SIMPLE GROUPS: A COMPUTATIONAL APPROACH R. M. GURALNICK, W. M. KANTOR, M.

PRESENTATIONS OF FINITE SIMPLE GROUPS: A COMPUTATIONAL APPROACH R. M. GURALNICK, W. M. KANTOR, M. KASSABOV, AND A. LUBOTZKY Abstract. All nonabelian finite simple groups of rank n over a field of size q , with the possible exception of the Ree

614 views • 47 slides
RANDOM GENERATION IN FINITE GROUPS Mariapia Moscatiello University of Padova Young Researchers

RANDOM GENERATION IN FINITE GROUPS Mariapia Moscatiello University of Padova Young Researchers

RANDOM GENERATION IN FINITE GROUPS Mariapia Moscatiello University of Padova Young Researchers Algebra Conference 2019 Napoli 16th-18th September 2019 M ARIAPIA M OSCATIELLO RANDOM GENERATION IN FINITE GROUPS INTRODUCTION finite group

819 views • 65 slides
ON THE PRONORMALITY OF SUBGROUPS OF ODD INDICES IN FINITE SIMPLE GROUPS Natalia V. Maslova IMM

ON THE PRONORMALITY OF SUBGROUPS OF ODD INDICES IN FINITE SIMPLE GROUPS Natalia V. Maslova IMM

ON THE PRONORMALITY OF SUBGROUPS OF ODD INDICES IN FINITE SIMPLE GROUPS Natalia V. Maslova IMM UB RAS, UrFU Joint work with Anatoly Kondratev and Danila Revin Yekaterinburg, August 11, 2015 Natalia V. Maslova On the finite groups

476 views • 19 slides
s X reflecting hyperplane

s X reflecting hyperplane

Reflection groups and q -reflection groups Yuri Bazlov Geometry seminar 24 November 2009 Reflections vector space over k , is finite. s is a (pseudo) reflection if s is of finite order,

753 views • 23 slides
The Finite Embeddability Property for IP Loops and Local Embeddability of Groups into Finite IP

The Finite Embeddability Property for IP Loops and Local Embeddability of Groups into Finite IP

The Finite Embeddability Property for IP Loops and Local Embeddability of Groups into Finite IP Loops Martin Vodi cka Max-Planck Institute, Leipzig Pavol Zlato s Comenius University, Bratislava LOOPS 2019 Budapest July 8 13, 2019

1.53k views • 95 slides
New examples of partial difference sets in finite nonabelian groups Eric Swartz The University

New examples of partial difference sets in finite nonabelian groups Eric Swartz The University

New examples of partial difference sets in finite nonabelian groups Eric Swartz The University of Western Australia 5 August 2013 Introduction Definitions Definition The groups, graphs, etc., considered in this talk will be finite.

717 views • 22 slides
PRESENTATIONS OF FINITE SIMPLE GROUPS: A QUANTITATIVE APPROACH R. M. GURALNICK, W. M. KANTOR, M.

PRESENTATIONS OF FINITE SIMPLE GROUPS: A QUANTITATIVE APPROACH R. M. GURALNICK, W. M. KANTOR, M.

PRESENTATIONS OF FINITE SIMPLE GROUPS: A QUANTITATIVE APPROACH R. M. GURALNICK, W. M. KANTOR, M. KASSABOV, AND A. LUBOTZKY Abstract. There is a constant C 0 such that all nonabelian finite simple groups of rank n over F q , with the possible

837 views • 64 slides
COUNTING HOMOMORPHISMS TO FINITE GROUPS: PRESENTED BY ALEXANDER I. SUCIU TYPESET BY M. L. FRIES

COUNTING HOMOMORPHISMS TO FINITE GROUPS: PRESENTED BY ALEXANDER I. SUCIU TYPESET BY M. L. FRIES

COUNTING HOMOMORPHISMS TO FINITE GROUPS: PRESENTED BY ALEXANDER I. SUCIU TYPESET BY M. L. FRIES 1. Motivation The study of infinite groups is an exceedingly hard problem. Even if we restrict ourselves to the case of finitely generated groups,

165 views • 5 slides
The Strong Symmetric Genus of Almost All D -type Generalized Symmetric Groups Michael A. Jackson

The Strong Symmetric Genus of Almost All D -type Generalized Symmetric Groups Michael A. Jackson

Introduction Generalized Symmetric and D -type groups Process Results The Strong Symmetric Genus of Almost All D -type Generalized Symmetric Groups Michael A. Jackson Department of Mathematics - Grove City College majackson@gcc.edu Groups St.

726 views • 48 slides
The Alperin-McKay conjecture for simple groups of type A Julian Brough joint work with Britta

The Alperin-McKay conjecture for simple groups of type A Julian Brough joint work with Britta

The Alperin-McKay conjecture for simple groups of type A Julian Brough joint work with Britta Sp ath Bergische Universit at Wuppertal June 12th, 2019 The Alperin-McKay conjecture Notation: G a finite group and a prime with |

580 views • 27 slides

More recommend