Modular Representation Theory of Endomorphism Rings Lehrstuhl D für Mathematik RWTH Aachen University Bad Honnef, April 2010
Alperin s Weight Conjecture Assumptions: Let G be a finite group and k be an algebraically closed field with characteristic p > 0.
Alperin s Weight Conjecture Assumptions: Let G be a finite group and k be an algebraically closed field with characteristic p > 0. Definition and Remark Let X be an indecomposable kg-module. 1 Let H G. Then X is called H-projective, if X (X H ) G. 2 Any minimal subgroup Q of G such that X is Q-projective is called a vertex of X. 3 Vertices are p-subgroups of G. The set of vertices of X is a conjugacy-class of G.
Alperin s Weight Conjecture Theorem (Green Correspondence) Let Q G be a p-subgroup and N G (Q) H G. Then there is a one-to-one-correspondence between {X : X indecomposable kg-module with vertex Q} = g {Y : Y indecomposable kh-module with vertex Q} = given via 1 X H = f(x) Z, where each indecomposable direct summand of Z has a vertex in {Q g H : g G \ H}, 2 Y G = g(y ) W, where each indecomposable direct summand of W has a vertex in {Q g Q : g G \ H}. f
Alperin s Weight Conjecture Definition A weight for G is a tupel (Q,S), where Q is a p-subgroup of G and S is a simple kn G (Q)-module with vertex Q. In this case, we call S a weight module and the Green correspondent g(s) of S in G a weight Green correspondent (WGC).
Alperin s Weight Conjecture Definition A weight for G is a tupel (Q,S), where Q is a p-subgroup of G and S is a simple kn G (Q)-module with vertex Q. In this case, we call S a weight module and the Green correspondent g(s) of S in G a weight Green correspondent (WGC). Weights are understood up to the natural equivalence induced by conjugation of G. (Q,S) is a weight if and only if S is a simple and projective kn G (Q)/Q-module. Any WGC is (isomorphic to) a direct summand of the permutation module k G P, where P Syl p(g).
Alperin s Weight Conjecture Conjecture (Alperin s Weight Conjecture, 1987) The number of simple kg-modules (up to isomorphism) is equal to the number of weights for G (up to equivalence).
Endomorphism Ring of k G P Let Y := k G P = n i=1 Y i be a decomposition of k G P into indecomposable direct summands and put E := End kg (Y ). For ϕ E, ϕ(y) denotes the image of y Y under ϕ. The Hom-Functor Hom kg (Y, ) : mod-kg mod-e induces a decomposition of E E into the PIMs P i := Hom kg (Y,Y i ) (Fitting Correspondence). Of course, hd(p i ) is a simple E-module, but soc(p i ) is in general not simple.
Computational Experiments With the computer algebra programes GAP, MeatAxe:
Computational Experiments With the computer algebra programes GAP, MeatAxe: Construct Y = k G P, Y = n i=1 Y i, E E, E E = n i=1 P i. Analyze hd(y i ), soc(y i ), hd(p i ), soc(p i ). Determine character table, the Cartan- and decomposition matrix of E.
Computational Experiments With the computer algebra programes GAP, MeatAxe: Construct Y = k G P, Y = n i=1 Y i, E E, E E = n i=1 P i. Analyze hd(y i ), soc(y i ), hd(p i ), soc(p i ). Determine character table, the Cartan- and decomposition matrix of E. Observation For almost all groups analyzed so far: {simple constituents of soc(e E )} = {simple kg-modules} = {weights for G}
Computational Experiments With the computer algebra programes GAP, MeatAxe: Construct Y = k G P, Y = n i=1 Y i, E E, E E = n i=1 P i. Analyze hd(y i ), soc(y i ), hd(p i ), soc(p i ). Determine character table, the Cartan- and decomposition matrix of E. Observation For almost all groups analyzed so far: { simple constituents of soc(e E )} / = {simple kg-modules} / = = { weights for G} / Exception: M 11 in characteristic 3.
Computational Experiments From this, the following questions and ideas arise: Generalize analysis to more general modules than k G P, e.g. k G Q i for certain p-subgroups Q i of G. Which role does the Hom-functor, and especially its evaluation at a simple kg-module play? Characterize families of groups for which the observation hold.
M 11 in characteristic 3 p = 3, G = M 11, P Syl 3 (G), G = 2 4 3 2 5 11 k G P 1 10 54 11 2 55 1 55 2 65 2 1 65 2 2 99 2 hd 1 10 1 10 1 5 2 5 1 10 3 10 2 10 3 24 24 soc 1 10 1 10 1 5 1 5 2 10 2 10 2 24 10 3 24 E E 1 2 6 3 2 7 1 7 2 9 2 1 9 2 2 11 2 k G P 1 10 54 11 55 1 55 2 65 1 65 2 99 hd 1 1 1 2 1 3 2 1 1 4 1 5 2 2 2 3 2 4 soc 1 1 1 3 1 3 1 4 1 3 1 4 2 1 2 4 2 2 2 2 2 4 1 5 2 3 2 4
M 11 in characteristic 3 Generalize kp G to kg P kg Q, where Q = 3. Y := (kp G kg Q )/(Defect 0, multiplicities)
M 11 in characteristic 3 Y := (kp G kg Q )/(Defect 0, multiplicities) Y 12 1 55 1 11 66 126 1 120 126 2 54 hd 1 1 5 1 5 2 5 1 5 2 5 2 10 3 5 1 10 1 soc 1 1 5 2 5 1 5 2 5 2 5 1 10 3 5 1 10 1 Y 99 10 55 2 81 1 65 1 75 65 2 81 2 hd 24 10 1 10 3 10 2 10 2 10 2 10 3 10 3 24 24 soc 24 10 1 10 2 10 2 10 2 24 10 2 10 3 10 3 10 1
M 11 in characteristic 3 Y := (kp G kg Q )/(Defect 0, multiplicities) Y 12 1 55 1 11 66 126 1 120 126 2 54 hd 1 1 5 1 5 2 5 1 5 2 5 2 10 3 5 1 10 1 soc 1 1 5 2 5 1 5 2 5 2 5 1 10 3 5 1 10 1 Y 99 10 55 2 81 1 65 1 75 65 2 81 2 hd 24 10 1 10 3 10 2 10 2 10 2 10 3 10 3 24 24 soc 24 10 1 10 2 10 2 10 2 24 10 2 10 3 10 3 10 1 E E 9 1 2 13 18 26 1 7 26 2 27 9 2 Y 12 1 55 1 66 126 2 11 126 1 120 54 hd 1 1 1 2 1 3 1 4 1 5 1 6 1 7 1 8 1 9 soc 1 1 1 5 1 1 1 5 1 5 1 5 1 7 1 7 1 7 1 9 1 9 E E 3 17 1 11 16 1 14 1 17 2 14 2 16 2 Y 10 99 55 2 81 1 65 1 75 65 2 81 2 hd 1 10 1 11 1 12 1 13 1 14 1 15 1 16 1 17 soc 1 9 1 11 1 17 1 13 1 13 1 13 1 17 1 11 1 17 1 17
Hom-Functor F := Hom kg (Y, ) evaluated at simple kg-module - what can happen?
Hom-Functor F := Hom kg (Y, ) evaluated at simple kg-module - what can happen? In general: F(S) for a simple kg-module S not simple. For example: A 6 in characteristic 5: F(8) = 1 a 1 b. Even soc(f(s)) may not be simple. For example: M 11 in characteristic 3. Then F(10 3 ) = 1 5 2 3.
Hom-Functor Assumptions for this section:
Hom-Functor Assumptions for this section: Consider some kg-module Y such that {S : S hd(y ) simple }/ = = {T : T soc(y )}/ =. Let Y = n i=1 Y i be a decomposition into indecomposable direct summands. Assume: Head of Y i is simple for all 1 i n. Y i = Yj i = j. Set E := End kg (Y ).
Hom-Functor Assumptions for this section: Remark Consider some kg-module Y such that {S : S hd(y ) simple }/ = = {T : T soc(y )}/ =. Let Y = n i=1 Y i be a decomposition into indecomposable direct summands. Assume: Head of Y i is simple for all 1 i n. Y i = Yj i = j. Set E := End kg (Y ). There is a partial order on {Y i : 1 i n}, given via: Y i Y j, if and only if there is a surjection ϕ : Y i Y j.
Hom-Functor Notation: Fix S = hd(y i ) for some 1 i n. Then i ϕ : Y i S may be considered as an element of F(S) = Hom kg (Y,S) E.
Hom-Functor Notation: Lemma Fix S = hd(y i ) for some 1 i n. Then i ϕ : Y i S may be considered as an element of F(S) = Hom kg (Y,S) E. (a) Let ψ k F(S) be simple E-submodule. Then ψ is of the form ψ = i ϕ for some 1 i n such that hd(y i ) = S. (b) The following are equivalent. (i) Y i is maximal w.r.t. for some 1 i n. (ii) i ϕ k is a simple E-submodule of F(S).
Hom-Functor Theorem Let S be a simple socle constituent of Y and assume (possibly after renumbering) that hd(y k ) = S for all 1 k l for some l n and that hd(y k ) = S for all l + 1 k n. (a) The following are equivalent: (i) The E-submodule soc(f(s)) has exactly r non-isomorphic constituents. (ii) Among {Y k : 1 k l} there are exactly r maximal elements with respect to. (b) Let ψ k E E be simple E-submodule. Then there is 1 i n such that ψ = E i ϕ.
Hom-Functor Corollary Assume that for each simple module occurring in the head of Y there is exactly one maximal element with respect to.
Hom-Functor Corollary Assume that for each simple module occurring in the head of Y there is exactly one maximal element with respect to. Then soc(f(s)) is a simple E-module for each simple constituent S of hd(y ). Moreover, {S : S hd(y ) simple}/ = {T : T soc(e) simple}/ = S soc(f(s)) is a bijection.
Indecomposable Liftable Modules in Cyclic Blocks For which families of groups does observation hold?
Indecomposable Liftable Modules in Cyclic Blocks For which families of groups does observation hold? Joint work with Gerhard Hiss.
Indecomposable Liftable Modules in Cyclic Blocks For which families of groups does observation hold? Joint work with Gerhard Hiss. Assumptions: Let B be cyclic kg-block with defect group Q. Question 3 : Which indecomposable B-modules are liftable?
Indecomposable Liftable Modules in Cyclic Blocks For which families of groups does observation hold? Joint work with Gerhard Hiss. Assumptions: Let B be cyclic kg-block with defect group Q. Question 3 : Which indecomposable B-modules are liftable? Kupisch 1969: Description of indecomposable B-modules in terms of paths on the Brauer tree:
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type I: Brauer tree, with multiplicity m = 3 of exceptional vertex: A 2 A 1 χ 0 E χ 1 1 E 2 E 3 B 1 B 2 χ Λ χ 3
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type I: Choose path: A 2 A 1 χ 0 E χ 1 1 E 2 E 3 B 1 B 2 χ Λ χ 3
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type I: Choose marking on path and multiplicity t = 2 m = 3: A 2 A 1 χ 0 E χ 1 1 E 2 E 3 B 1 B 2 t=2 χ Λ χ 3
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type I: Choose marking on path and multiplicity t = 2 m = 3: A 2 A 1 χ 0 E χ 1 1 E 2 E 3 B 1 B 2 t=2 χ Λ χ 3 From this, we get the following indecomposable kg-module: A 1 E 3 E 2
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type I: Choose marking on path and multiplicity t = 2 m = 3: A 2 A 1 χ 0 E χ 1 1 E 2 E 3 B 1 B 2 t=2 χ Λ χ 3 A 1 A2 E1 E3 B 1 E 2 B 2 E 3 E 2
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type I: Choose marking on path and multiplicity t = 2 m = 3: A 2 A 1 χ 0 E χ 1 1 E 2 E 3 B 1 B 2 t=2 χ Λ χ 3 A 1 A2 E1 E3 B 1 E 2 B 2 E 3 E 2 Note: The module Y is of Type I if and only if, soc(y ) and hd(y ) have no common constituents.
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type II: Brauer tree, with multiplicity m = 3 of exceptional vertex: A 2 A 1 χ 0 E χ 1 1 E 2 E 3 B 1 B 2 χ Λ χ 3
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type II: Choose path: A 2 A 1 χ 0 χ E 1 1 E 2 E 3 B 1 B 2 χ Λ χ 3
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type II: Choose marking on path and multiplicity t = 2 m = 3: A 2 A 1 χ 0 χ E 1 1 E 2 E 3 B 1 B 2 t=2 χ Λ χ 3 From this, we get the following indecomposable kg-module:
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type II: Choose marking on path and multiplicity t = 2 m = 3: A 2 A 1 χ 0 χ E 1 1 E 2 E 3 B 1 B 2 t=2 χ Λ χ 3 From this, we get the following indecomposable kg-module: E 2 B 2 A 1 E 2
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type II: Choose marking on path and multiplicity t = 2 m = 3: A 2 A 1 χ 0 χ E 1 1 E 2 E 3 B 1 B 2 t=2 χ Λ χ 3 From this, we get the following indecomposable kg-module: E 2 A 1 E 3 E2 E3 B2 E 2
Indecomposable Liftable Modules in Cyclic Blocks Paths of Type II: Choose marking on path and multiplicity t = 2 m = 3: A 2 A 1 χ 0 χ E 1 1 E 2 E 3 B 1 B 2 t=2 χ Λ χ 3 From this, we get the following indecomposable kg-module: E 2 A 1 E 3 E2 E3 B2 Note: The module Y is of Type II if and only if, soc(y ) and hd(y ) have common constituents. E 2
Indecomposable Liftable Modules in Cyclic Blocks Theorem Let τ be a path of Type I on the Brauer tree of B. Then the indecomposable module X constructed from τ is liftable if and only if τ is as in the following figure and one of the following cases occurs: χ 0 E χ 0 1 E 1 (a) χ 1 is not the exceptional vertex. Then the character of a lift of X equals χ 1.
Indecomposable Liftable Modules in Cyclic Blocks Theorem Let τ be a path of Type I on the Brauer tree of B. Then the indecomposable module X constructed from τ is liftable if and only if τ is as in the following figure and one of the following cases occurs: χ 0 E χ 0 1 E 1 (a) χ 1 is not the exceptional vertex. Then the character of a lift of X equals χ 1. (b) χ 1 is the exceptional vertex, which has multiplicity m. Each of E 0 and E 1 occurs t times as composition factor of X for some 1 t m. The character of any lift of X is a sum of t distinct exceptional characters.
Indecomposable Liftable Modules in Cyclic Blocks χ 0 E 0 χ 1 E 1 Note: If X of Type I, then X is uniserial in both cases. The head of X is either isomorphic to E 0 or E 1. If the head of X is isomorphic to E 0, the successor of E 1 around χ 1 equals E 0, and if the head of X is isomorphic to E 1, the successor of E 0 around χ 1 equals E 1.
Liftable Indecomposable Modules in Cyclic Blocks Theorem Let τ be a path of Type II on the Brauer tree. Then the indecomposable module X constructed from τ is liftable if and only if τ satisfies one the following three cases: Case 1: The vertex χ 0 is a leaf of the Brauer tree. χ 0 E 0 χ 1 χ s E s t χλ
Liftable Indecomposable Modules in Cyclic Blocks Theorem Let τ be a path of Type II on the Brauer tree. Then the indecomposable module X constructed from τ is liftable if and only if τ satisfies one the following three cases: Case 1: The vertex χ 0 is a leaf of the Brauer tree. χ 0 E 0 χ 1 χ s E s t χλ Case 2: Either E u0 is in the head or in the socle of X. If E u0 is in the head of X, the successor of E 0 around χ 0 is E u0. If E u0 is in the socle of X, the successor of E u0 around χ 0 is E 0. χ u0 χ E 0 u0 E 0 χ 1 χ s E s t χλ
Liftable Indecomposable Modules in Cyclic Blocks Theorem Let τ be a path of Type II on the Brauer tree. Then the indecomposable module X constructed from τ is liftable if and only if τ satisfies one the following three cases: Case 3: The successor of E u0 around χ 0 is E 0 and E u0 is in the socle of X. χ u0 E u0 χ 0 E 0 χ 1 χ s E s t χλ χ d0 E d0
Liftable Indecomposable Modules in Cyclic Blocks Theorem Let τ be a path of Type II on the Brauer tree. Then the indecomposable module X constructed from τ is liftable if and only if τ satisfies one the following three cases: Case 3: The successor of E u0 around χ 0 is E 0 and E u0 is in the socle of X. χ u0 E u0 χ 0 E 0 χ 1 χ s E s t χλ χ d0 E d0 The character of any lift of X equals χ 0 + χ 1 + χ s + µ, where µ is a sum of t distinct exceptional characters.
Thank you for listening!