Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree...
Transcript of Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree...
![Page 1: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/1.jpg)
Graded Blocks of Group Algebras
Dusko Bogdanic
Mathematical InstituteUniversity of Oxford
University of Leicester, 21 June 2010
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 1 / 27
![Page 2: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/2.jpg)
Motivation
Theorem (Rouquier, 2001)
Let Db(A-mod) ∼= Db(B-mod). If A is graded, then B is graded.
Problem
How do we effectively transfer gradings between derived equivalentalgebras A and B?
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 2 / 27
![Page 3: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/3.jpg)
Motivation
Theorem (Rouquier, 2001)
Let Db(A-mod) ∼= Db(B-mod). If A is graded, then B is graded.
Problem
How do we effectively transfer gradings between derived equivalentalgebras A and B?
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 2 / 27
![Page 4: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/4.jpg)
Motivation
Theorem (Rouquier, 2001)
Let Db(A-mod) ∼= Db(B-mod). If A is graded, then B is graded.
Problem
How do we effectively transfer gradings between derived equivalentalgebras A and B?
If the grading on A has some interesting properties, does the resultinggrading on B has the same properties?
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 3 / 27
![Page 5: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/5.jpg)
Overview
1 Preliminaries
I Brauer tree algebras
I Graded algebras
2 The tilting complex
3 Example
4 The general case
5 Properties of the resulting grading
6 Classification of gradings
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 4 / 27
![Page 6: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/6.jpg)
Brauer tree algebras
Γ finite connected tree with e edges.
Γ is a Brauer tree of type (m, e) if given:
I Cyclic ordering of the edges adjacent to a given vertex,
I The exceptional vertex v , to whom we assign the multiplicity m.
◦S4
~~~~~~~
◦ S1 ◦ S2 •S3
@@@@@@@
◦
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 5 / 27
![Page 7: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/7.jpg)
Brauer tree algebras
Γ finite connected tree with e edges.
Γ is a Brauer tree of type (m, e) if given:
I Cyclic ordering of the edges adjacent to a given vertex,
I The exceptional vertex v , to whom we assign the multiplicity m.
◦S4
~~~~~~~
◦ S1 ◦ S2 •S3
@@@@@@@
◦
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 5 / 27
![Page 8: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/8.jpg)
Brauer tree algebrasA is a Brauer tree algebra associated with Γ if
I the isomorphism classes of simple A-modules are in one-to-onecorrespondence with the edges of Γ,
I Let a part of Γ be
◦ ◦
◦ S
V1
@@@@@@@
Vt�������•
Ur�������
U1 @@@@@@@
◦ ◦
The structure of PS is given by
PS =S
V US
I V V1,V2, . . . ,Vt ,I U U1,U2, . . . ,Ur ; S ,U1,U2, . . . ,Ur ; . . . ; S ,U1,U2, . . . ,Ur .
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 6 / 27
![Page 9: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/9.jpg)
Brauer tree algebrasA is a Brauer tree algebra associated with Γ if
I the isomorphism classes of simple A-modules are in one-to-onecorrespondence with the edges of Γ,
I Let a part of Γ be
◦ ◦
◦ S
V1
@@@@@@@
Vt�������•
Ur�������
U1 @@@@@@@
◦ ◦
The structure of PS is given by
PS =S
V US
I V V1,V2, . . . ,Vt ,I U U1,U2, . . . ,Ur ; S ,U1,U2, . . . ,Ur ; . . . ; S ,U1,U2, . . . ,Ur .
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 6 / 27
![Page 10: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/10.jpg)
Brauer tree algebrasA is a Brauer tree algebra associated with Γ if
I the isomorphism classes of simple A-modules are in one-to-onecorrespondence with the edges of Γ,
I Let a part of Γ be
◦ ◦
◦ S
V1
@@@@@@@
Vt�������•
Ur�������
U1 @@@@@@@
◦ ◦
The structure of PS is given by
PS =S
V US
I V V1,V2, . . . ,Vt ,I U U1,U2, . . . ,Ur ; S ,U1,U2, . . . ,Ur ; . . . ; S ,U1,U2, . . . ,Ur .
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 6 / 27
![Page 11: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/11.jpg)
Brauer tree algebrasA is a Brauer tree algebra associated with Γ if
I the isomorphism classes of simple A-modules are in one-to-onecorrespondence with the edges of Γ,
I Let a part of Γ be
◦ ◦
◦ S
V1
@@@@@@@
Vt�������•
Ur�������
U1 @@@@@@@
◦ ◦
The structure of PS is given by
PS =S
V US
I V V1,V2, . . . ,Vt ,
I U U1,U2, . . . ,Ur ; S ,U1,U2, . . . ,Ur ; . . . ; S ,U1,U2, . . . ,Ur .
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 6 / 27
![Page 12: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/12.jpg)
Brauer tree algebrasA is a Brauer tree algebra associated with Γ if
I the isomorphism classes of simple A-modules are in one-to-onecorrespondence with the edges of Γ,
I Let a part of Γ be
◦ ◦
◦ S
V1
@@@@@@@
Vt�������•
Ur�������
U1 @@@@@@@
◦ ◦
The structure of PS is given by
PS =S
V US
I V V1,V2, . . . ,Vt ,I U U1,U2, . . . ,Ur ; S ,U1,U2, . . . ,Ur ; . . . ; S ,U1,U2, . . . ,Ur .
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 6 / 27
![Page 13: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/13.jpg)
Brauer tree algebras
Γ is of type (2, 4)
◦S4
~~~~~~~
◦ S1 ◦ S2 •S3
@@@@@@@
◦
PS1 =S1
S2
S1
, PS2 =
S2
S3
S4
S1 S2
S3
S4
S2
, PS3 =
S3
S4
S2
S3
S4
S2
S3
.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 7 / 27
![Page 14: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/14.jpg)
Brauer tree algebras
Γ is of type (2, 4)
◦S4
~~~~~~~
◦ S1 ◦ S2 •S3
@@@@@@@
◦
PS1 =S1
S2
S1
, PS2 =
S2
S3
S4
S1 S2
S3
S4
S2
, PS3 =
S3
S4
S2
S3
S4
S2
S3
.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 7 / 27
![Page 15: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/15.jpg)
Brauer tree algebras
The Brauer star of type (m, e)
◦ ◦
◦ •
S2~~~~~~~ S1
S6
@@@@@@@
S3
@@@@@@@
S4
S5~~~~~~~◦
◦ ◦
The projective indecomposable module Pj is uniserial.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 8 / 27
![Page 16: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/16.jpg)
Brauer tree algebras
The Brauer star of type (m, e)
◦ ◦
◦ •
S2~~~~~~~ S1
S6
@@@@@@@
S3
@@@@@@@
S4
S5~~~~~~~◦
◦ ◦
The projective indecomposable module Pj is uniserial.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 8 / 27
![Page 17: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/17.jpg)
Brauer tree algebras
Any two Brauer tree algebras associated with the same Brauer tree Γand defined over the same field k are Morita equivalent.
A basic Brauer tree algebra corresponding to a Brauer tree Γ isisomorphic to the algebra kQ/I .
Q and I are easily constructed from Γ.
AΓ := kQ/I
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 9 / 27
![Page 18: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/18.jpg)
Brauer tree algebras
Any two Brauer tree algebras associated with the same Brauer tree Γand defined over the same field k are Morita equivalent.
A basic Brauer tree algebra corresponding to a Brauer tree Γ isisomorphic to the algebra kQ/I .
Q and I are easily constructed from Γ.
AΓ := kQ/I
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 9 / 27
![Page 19: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/19.jpg)
Graded algebras
Definition
A is a graded algebra if A is the direct sum of subspaces A =⊕
i∈Z Ai ,such that AiAj ⊂ Ai+j , i , j ∈ Z.
ai ∈ Ai deg(ai ) = i
If Ai = 0 for i < 0, then A is positively graded.
Definition
An A-module M is graded if M =⊕
i∈Z Mi , and AiMj ⊂ Mi+j .
N = M〈n〉 denotes the graded module given by Nj = Mn+j , j ∈ Z.
Definition
An A-module homomorphism f between two graded modules M and N isa homomorphism of graded modules if f (Mi ) ⊆ Ni , for all i ∈ Z.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 10 / 27
![Page 20: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/20.jpg)
Graded algebras
Definition
A is a graded algebra if A is the direct sum of subspaces A =⊕
i∈Z Ai ,such that AiAj ⊂ Ai+j , i , j ∈ Z.
ai ∈ Ai deg(ai ) = i
If Ai = 0 for i < 0, then A is positively graded.
Definition
An A-module M is graded if M =⊕
i∈Z Mi , and AiMj ⊂ Mi+j .
N = M〈n〉 denotes the graded module given by Nj = Mn+j , j ∈ Z.
Definition
An A-module homomorphism f between two graded modules M and N isa homomorphism of graded modules if f (Mi ) ⊆ Ni , for all i ∈ Z.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 10 / 27
![Page 21: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/21.jpg)
Graded algebras
Definition
A is a graded algebra if A is the direct sum of subspaces A =⊕
i∈Z Ai ,such that AiAj ⊂ Ai+j , i , j ∈ Z.
ai ∈ Ai deg(ai ) = i
If Ai = 0 for i < 0, then A is positively graded.
Definition
An A-module M is graded if M =⊕
i∈Z Mi , and AiMj ⊂ Mi+j .
N = M〈n〉 denotes the graded module given by Nj = Mn+j , j ∈ Z.
Definition
An A-module homomorphism f between two graded modules M and N isa homomorphism of graded modules if f (Mi ) ⊆ Ni , for all i ∈ Z.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 10 / 27
![Page 22: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/22.jpg)
Graded algebras
Definition
A is a graded algebra if A is the direct sum of subspaces A =⊕
i∈Z Ai ,such that AiAj ⊂ Ai+j , i , j ∈ Z.
ai ∈ Ai deg(ai ) = i
If Ai = 0 for i < 0, then A is positively graded.
Definition
An A-module M is graded if M =⊕
i∈Z Mi , and AiMj ⊂ Mi+j .
N = M〈n〉 denotes the graded module given by Nj = Mn+j , j ∈ Z.
Definition
An A-module homomorphism f between two graded modules M and N isa homomorphism of graded modules if f (Mi ) ⊆ Ni , for all i ∈ Z.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 10 / 27
![Page 23: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/23.jpg)
Graded algebrasX = (X i , d i )i∈Z is a graded complex if X i is a graded module, d i is ahomomorphism of graded A-modules, for all i .
f = {f i}i∈Z ∈ HomA(X ,Y ) is a homomorphism of graded complexesif f i is a homomorphism of graded modules.
X 〈j〉 denotes the complex (X 〈j〉)i := X i 〈j〉 and d iX 〈j〉 := d i .
Theorem
If X and Y are graded A-modules (or complexes), then
HomA(X ,Y ) ∼=⊕i∈Z
HomA−gr (X ,Y 〈i〉).
HomgrA(X ,Y ) :=⊕
i∈Z HomA−gr (X ,Y 〈i〉)The subspace Ht(X ,Y ) of zero homotopic maps is homogeneous.From this we get a grading on HomKb(PA)(X ,Y )
HomgrKb(PA)(X ,Y ) := HomgrA(X ,Y )/Ht(X ,Y )
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 11 / 27
![Page 24: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/24.jpg)
Graded algebrasX = (X i , d i )i∈Z is a graded complex if X i is a graded module, d i is ahomomorphism of graded A-modules, for all i .f = {f i}i∈Z ∈ HomA(X ,Y ) is a homomorphism of graded complexesif f i is a homomorphism of graded modules.
X 〈j〉 denotes the complex (X 〈j〉)i := X i 〈j〉 and d iX 〈j〉 := d i .
Theorem
If X and Y are graded A-modules (or complexes), then
HomA(X ,Y ) ∼=⊕i∈Z
HomA−gr (X ,Y 〈i〉).
HomgrA(X ,Y ) :=⊕
i∈Z HomA−gr (X ,Y 〈i〉)The subspace Ht(X ,Y ) of zero homotopic maps is homogeneous.From this we get a grading on HomKb(PA)(X ,Y )
HomgrKb(PA)(X ,Y ) := HomgrA(X ,Y )/Ht(X ,Y )
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 11 / 27
![Page 25: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/25.jpg)
Graded algebrasX = (X i , d i )i∈Z is a graded complex if X i is a graded module, d i is ahomomorphism of graded A-modules, for all i .f = {f i}i∈Z ∈ HomA(X ,Y ) is a homomorphism of graded complexesif f i is a homomorphism of graded modules.
X 〈j〉 denotes the complex (X 〈j〉)i := X i 〈j〉 and d iX 〈j〉 := d i .
Theorem
If X and Y are graded A-modules (or complexes), then
HomA(X ,Y ) ∼=⊕i∈Z
HomA−gr (X ,Y 〈i〉).
HomgrA(X ,Y ) :=⊕
i∈Z HomA−gr (X ,Y 〈i〉)The subspace Ht(X ,Y ) of zero homotopic maps is homogeneous.From this we get a grading on HomKb(PA)(X ,Y )
HomgrKb(PA)(X ,Y ) := HomgrA(X ,Y )/Ht(X ,Y )
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 11 / 27
![Page 26: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/26.jpg)
Graded algebrasX = (X i , d i )i∈Z is a graded complex if X i is a graded module, d i is ahomomorphism of graded A-modules, for all i .f = {f i}i∈Z ∈ HomA(X ,Y ) is a homomorphism of graded complexesif f i is a homomorphism of graded modules.
X 〈j〉 denotes the complex (X 〈j〉)i := X i 〈j〉 and d iX 〈j〉 := d i .
Theorem
If X and Y are graded A-modules (or complexes), then
HomA(X ,Y ) ∼=⊕i∈Z
HomA−gr (X ,Y 〈i〉).
HomgrA(X ,Y ) :=⊕
i∈Z HomA−gr (X ,Y 〈i〉)The subspace Ht(X ,Y ) of zero homotopic maps is homogeneous.From this we get a grading on HomKb(PA)(X ,Y )
HomgrKb(PA)(X ,Y ) := HomgrA(X ,Y )/Ht(X ,Y )
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 11 / 27
![Page 27: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/27.jpg)
Graded algebrasX = (X i , d i )i∈Z is a graded complex if X i is a graded module, d i is ahomomorphism of graded A-modules, for all i .f = {f i}i∈Z ∈ HomA(X ,Y ) is a homomorphism of graded complexesif f i is a homomorphism of graded modules.
X 〈j〉 denotes the complex (X 〈j〉)i := X i 〈j〉 and d iX 〈j〉 := d i .
Theorem
If X and Y are graded A-modules (or complexes), then
HomA(X ,Y ) ∼=⊕i∈Z
HomA−gr (X ,Y 〈i〉).
HomgrA(X ,Y ) :=⊕
i∈Z HomA−gr (X ,Y 〈i〉)
The subspace Ht(X ,Y ) of zero homotopic maps is homogeneous.From this we get a grading on HomKb(PA)(X ,Y )
HomgrKb(PA)(X ,Y ) := HomgrA(X ,Y )/Ht(X ,Y )
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 11 / 27
![Page 28: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/28.jpg)
Graded algebrasX = (X i , d i )i∈Z is a graded complex if X i is a graded module, d i is ahomomorphism of graded A-modules, for all i .f = {f i}i∈Z ∈ HomA(X ,Y ) is a homomorphism of graded complexesif f i is a homomorphism of graded modules.
X 〈j〉 denotes the complex (X 〈j〉)i := X i 〈j〉 and d iX 〈j〉 := d i .
Theorem
If X and Y are graded A-modules (or complexes), then
HomA(X ,Y ) ∼=⊕i∈Z
HomA−gr (X ,Y 〈i〉).
HomgrA(X ,Y ) :=⊕
i∈Z HomA−gr (X ,Y 〈i〉)The subspace Ht(X ,Y ) of zero homotopic maps is homogeneous.
From this we get a grading on HomKb(PA)(X ,Y )
HomgrKb(PA)(X ,Y ) := HomgrA(X ,Y )/Ht(X ,Y )
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 11 / 27
![Page 29: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/29.jpg)
Graded algebrasX = (X i , d i )i∈Z is a graded complex if X i is a graded module, d i is ahomomorphism of graded A-modules, for all i .f = {f i}i∈Z ∈ HomA(X ,Y ) is a homomorphism of graded complexesif f i is a homomorphism of graded modules.
X 〈j〉 denotes the complex (X 〈j〉)i := X i 〈j〉 and d iX 〈j〉 := d i .
Theorem
If X and Y are graded A-modules (or complexes), then
HomA(X ,Y ) ∼=⊕i∈Z
HomA−gr (X ,Y 〈i〉).
HomgrA(X ,Y ) :=⊕
i∈Z HomA−gr (X ,Y 〈i〉)The subspace Ht(X ,Y ) of zero homotopic maps is homogeneous.From this we get a grading on HomKb(PA)(X ,Y )
HomgrKb(PA)(X ,Y ) := HomgrA(X ,Y )/Ht(X ,Y )
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 11 / 27
![Page 30: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/30.jpg)
The tilting complex
Theorem (Rickard 1989)
Up to derived equivalence, a Brauer tree algebra is determined by thenumber of edges and the multiplicity of the exceptional vertex.
Γ an arbitrary Brauer tree of type (m, e)
S the Brauer star of type (m, e)
Db(AS -mod) ∼= Db(AΓ-mod)
AS is tightly graded, i.e. AS∼=
⊕∞i=0(rad AS)i/(rad AS)i+1.
AΓ is graded.
Question
What is the corresponding grading on AΓ?
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 12 / 27
![Page 31: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/31.jpg)
The tilting complex
Theorem (Rickard 1989)
Up to derived equivalence, a Brauer tree algebra is determined by thenumber of edges and the multiplicity of the exceptional vertex.
Γ an arbitrary Brauer tree of type (m, e)
S the Brauer star of type (m, e)
Db(AS -mod) ∼= Db(AΓ-mod)
AS is tightly graded, i.e. AS∼=
⊕∞i=0(rad AS)i/(rad AS)i+1.
AΓ is graded.
Question
What is the corresponding grading on AΓ?
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 12 / 27
![Page 32: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/32.jpg)
The tilting complex
Theorem (Rickard 1989)
Up to derived equivalence, a Brauer tree algebra is determined by thenumber of edges and the multiplicity of the exceptional vertex.
Γ an arbitrary Brauer tree of type (m, e)
S the Brauer star of type (m, e)
Db(AS -mod) ∼= Db(AΓ-mod)
AS is tightly graded, i.e. AS∼=
⊕∞i=0(rad AS)i/(rad AS)i+1.
AΓ is graded.
Question
What is the corresponding grading on AΓ?
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 12 / 27
![Page 33: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/33.jpg)
The tilting complex
Theorem (Rickard 1989)
Up to derived equivalence, a Brauer tree algebra is determined by thenumber of edges and the multiplicity of the exceptional vertex.
Γ an arbitrary Brauer tree of type (m, e)
S the Brauer star of type (m, e)
Db(AS -mod) ∼= Db(AΓ-mod)
AS is tightly graded, i.e. AS∼=
⊕∞i=0(rad AS)i/(rad AS)i+1.
AΓ is graded.
Question
What is the corresponding grading on AΓ?
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 12 / 27
![Page 34: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/34.jpg)
The tilting complex
Theorem (Rickard 1989)
Up to derived equivalence, a Brauer tree algebra is determined by thenumber of edges and the multiplicity of the exceptional vertex.
Γ an arbitrary Brauer tree of type (m, e)
S the Brauer star of type (m, e)
Db(AS -mod) ∼= Db(AΓ-mod)
AS is tightly graded, i.e. AS∼=
⊕∞i=0(rad AS)i/(rad AS)i+1.
AΓ is graded.
Question
What is the corresponding grading on AΓ?
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 12 / 27
![Page 35: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/35.jpg)
The tilting complex
There exist a tilting complex T such that EndKb(PAS)(T )op ∼= AΓ.
T can be constructed by taking Green’s walk around Γ.
There are many such tilting complexes (studied by Rickard, Schaps &Zakay-Illouz).
T is a direct sum of e indecomposable complexes with at most twonon-zero terms.
The summand Ti corresponds to the edge Si of Γ.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 13 / 27
![Page 36: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/36.jpg)
The tilting complex
There exist a tilting complex T such that EndKb(PAS)(T )op ∼= AΓ.
T can be constructed by taking Green’s walk around Γ.
There are many such tilting complexes (studied by Rickard, Schaps &Zakay-Illouz).
T is a direct sum of e indecomposable complexes with at most twonon-zero terms.
The summand Ti corresponds to the edge Si of Γ.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 13 / 27
![Page 37: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/37.jpg)
The tilting complex
There exist a tilting complex T such that EndKb(PAS)(T )op ∼= AΓ.
T can be constructed by taking Green’s walk around Γ.
There are many such tilting complexes (studied by Rickard, Schaps &Zakay-Illouz).
T is a direct sum of e indecomposable complexes with at most twonon-zero terms.
The summand Ti corresponds to the edge Si of Γ.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 13 / 27
![Page 38: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/38.jpg)
Calculating EndK b(PAS)(T )op
If T is a graded complex, then EndgrKb(PAS)(T )op is a graded algebra.
When identifying EndKb(PAS)(T )op with AΓ, HomKb(PAS
)(Ti ,Tj)
corresponds to the space spanned by all paths starting at i and endingat j in the quiver of AΓ.
Theorem (B. 2007)
Let AΓ be a basic Brauer tree algebra corresponding to an arbitrary Brauertree Γ. Then there exists a positive grading on AΓ.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 14 / 27
![Page 39: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/39.jpg)
Calculating EndK b(PAS)(T )op
If T is a graded complex, then EndgrKb(PAS)(T )op is a graded algebra.
When identifying EndKb(PAS)(T )op with AΓ, HomKb(PAS
)(Ti ,Tj)
corresponds to the space spanned by all paths starting at i and endingat j in the quiver of AΓ.
Theorem (B. 2007)
Let AΓ be a basic Brauer tree algebra corresponding to an arbitrary Brauertree Γ. Then there exists a positive grading on AΓ.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 14 / 27
![Page 40: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/40.jpg)
Calculating EndK b(PAS)(T )op
If T is a graded complex, then EndgrKb(PAS)(T )op is a graded algebra.
When identifying EndKb(PAS)(T )op with AΓ, HomKb(PAS
)(Ti ,Tj)
corresponds to the space spanned by all paths starting at i and endingat j in the quiver of AΓ.
Theorem (B. 2007)
Let AΓ be a basic Brauer tree algebra corresponding to an arbitrary Brauertree Γ. Then there exists a positive grading on AΓ.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 14 / 27
![Page 41: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/41.jpg)
Example
◦
@@@@@@@ ◦
◦ •
@@@@@@@
~~~~~~~
◦
~~~~~~~◦
◦
~~~~~~~
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 15 / 27
![Page 42: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/42.jpg)
Example
◦
@@@@@@@ ◦
◦ •S1
@@@@@@@
~~~~~~~
◦
~~~~~~~◦
◦
~~~~~~~
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 15 / 27
![Page 43: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/43.jpg)
Example
◦
@@@@@@@ ◦
◦ •S1
@@@@@@@
S2~~~~~~~
◦
~~~~~~~◦
◦
~~~~~~~
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 15 / 27
![Page 44: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/44.jpg)
Example
◦
@@@@@@@ ◦
◦ S3 •S1
@@@@@@@
S2~~~~~~~
◦
~~~~~~~◦
◦
~~~~~~~
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 15 / 27
![Page 45: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/45.jpg)
Example
◦S4
@@@@@@@ ◦
◦ S3 •S1
@@@@@@@
S2~~~~~~~
◦
~~~~~~~◦
◦
~~~~~~~
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 15 / 27
![Page 46: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/46.jpg)
Example
◦S4
@@@@@@@ ◦
◦ S3 •S1
@@@@@@@
S2~~~~~~~
◦
S5~~~~~~~
◦
◦
~~~~~~~
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 15 / 27
![Page 47: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/47.jpg)
Example
◦S4
@@@@@@@ ◦
◦ S3 •S1
@@@@@@@
S2~~~~~~~
◦
S5~~~~~~~
◦
◦
S6~~~~~~~
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 15 / 27
![Page 48: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/48.jpg)
Example
T is the direct sum of:
T1 : 0 → P1 → 0T2 : 0 → P2 → 0T3 : 0 → P3 → 0T4 : 0 → P3 → P4〈5〉 → 0T5 : 0 → P3 → P5〈4〉 → 0T6 : 0 → P5〈4〉 → P6〈9〉 → 0
The differentials are maps of maximal ranks.
This complex tilts from AS to AΓ: EndKb(PAS)(T ) ∼= Aop
Γ .
HomgrKb(PAS)(Ti ,Tj)
i• α−→j•
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 16 / 27
![Page 49: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/49.jpg)
Example
S4•0
��;;;;;;;;S2•
1
��
S5•
6yy
0
AA��������S3•
6oo
1
AA��������
S6•
0
99
S1•
4
]];;;;;;;;
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 17 / 27
![Page 50: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/50.jpg)
The general case
Edges i and j of a Brauer tree Γ are adjacent to the same vertex.
i and j are at the same distance from the exceptional vertex:
◦
•
Si~~~~~~~
Sj @@@@@@@
◦
◦
• Sl ◦
Si~~~~~~~
Sj @@@@@@@
◦
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 18 / 27
![Page 51: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/51.jpg)
The general case
Edges i and j of a Brauer tree Γ are adjacent to the same vertex.
i and j are at the same distance from the exceptional vertex:
◦
•
Si~~~~~~~
Sj @@@@@@@ �
◦
◦
• Sl ◦
Si~~~~~~~
Sj @@@@@@@ �
◦
If i > j , then deg(α) = i− j. If i < j , then deg(α) = e− (j− i).
deg(β) = 0.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 19 / 27
![Page 52: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/52.jpg)
The general case
The distance of one the edges, say i , is one less than the distance of j :
◦
• Sl ◦ Si ◦
Sj~~~~~~~
Sf
@@
@@
◦
◦
• Sl ◦ Si ◦
Sf~
~~
~
Sj
@@@@@@@
◦
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 20 / 27
![Page 53: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/53.jpg)
The general case
The distance of one the edges, say i , is one less than the distance of j :
◦
• Sl ◦ Si ◦
Sj~~~~~~~
Sf
@@
@@
α 11
◦
◦
• Sl ◦ Si ◦
Sf~
~~
~
Sj
@@@@@@@
β
[[
◦
deg(α) = me;
deg(β) = 0.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 21 / 27
![Page 54: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/54.jpg)
The general case
◦
◦ S11 ◦ S10 ◦ S9 • S1 ◦S2
@@@@@@@
S8~~~~~~~ S6 ◦ S7 ◦
◦S3
@@@@@@@ ◦
◦S4
@@@@@@@
S5~~~~~~~
◦
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 22 / 27
![Page 55: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/55.jpg)
The general case
S8•0
��S11•
0 ** S10•11
jj0
)) S9•11
jj8 )) S1•3
ii
11
99
S6•
0yy
11 )) S7•0
ii
S2•11
��
0
WW
S5•
0
��
S3•0
WW11
99
S4•0
WW
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 23 / 27
![Page 56: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/56.jpg)
The subalgebra A0
S8•0
��S11•
0 ** S10•0
)) S9• S1• S6•
0yy
S7•0
ii
S2•0
WW
S5•
0
��
S3•0
WW
S4•0
WW
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 24 / 27
![Page 57: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/57.jpg)
The subalgebra A0
The quiver of A0 is a union of directed rooted trees.
A0 is a quasi-hereditary algebra.
The global dimension of A0 is bounded by the length (as a rootedtree) of the quiver of A0.
From A0 we can recover AΓ.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 25 / 27
![Page 58: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/58.jpg)
The subalgebra A0
The quiver of A0 is a union of directed rooted trees.
A0 is a quasi-hereditary algebra.
The global dimension of A0 is bounded by the length (as a rootedtree) of the quiver of A0.
From A0 we can recover AΓ.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 25 / 27
![Page 59: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/59.jpg)
The group OutK (AΓ)
Gradings are controlled by Out(A).
A =⊕
i∈Z Ai ! π : Gm → Out(A).
A ”good” case is when the maximal tori of Out(A) are isomorphic toGm.
In this case there is essentially unique grading on A.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 26 / 27
![Page 60: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/60.jpg)
The group OutK (AΓ)
Gradings are controlled by Out(A).
A =⊕
i∈Z Ai ! π : Gm → Out(A).
A ”good” case is when the maximal tori of Out(A) are isomorphic toGm.
In this case there is essentially unique grading on A.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 26 / 27
![Page 61: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/61.jpg)
The group OutK (AΓ)
Gradings are controlled by Out(A).
A =⊕
i∈Z Ai ! π : Gm → Out(A).
A ”good” case is when the maximal tori of Out(A) are isomorphic toGm.
In this case there is essentially unique grading on A.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 26 / 27
![Page 62: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/62.jpg)
The group OutK (AΓ)
Gradings are controlled by Out(A).
A =⊕
i∈Z Ai ! π : Gm → Out(A).
A ”good” case is when the maximal tori of Out(A) are isomorphic toGm.
In this case there is essentially unique grading on A.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 26 / 27
![Page 63: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/63.jpg)
The group OutK (AΓ)
Theorem (B. 2008)
Let Γ be an arbitrary Brauer tree of type (m, e). Then
OutK (AΓ) ∼= Aut(k[x ]/(xm+1)).
Corollary (B. 2008)
There is a unique grading on AΓ up to graded Morita equivalence andrescaling.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 27 / 27
![Page 64: Graded Blocks of Group Algebras - University of Leicester · 2014-09-12 · Any two Brauer tree algebras associated with the same Brauer tree and de ned over the same eld k are Morita](https://reader033.fdocuments.us/reader033/viewer/2022042923/5f6fff3da482a504d3133dc2/html5/thumbnails/64.jpg)
The group OutK (AΓ)
Theorem (B. 2008)
Let Γ be an arbitrary Brauer tree of type (m, e). Then
OutK (AΓ) ∼= Aut(k[x ]/(xm+1)).
Corollary (B. 2008)
There is a unique grading on AΓ up to graded Morita equivalence andrescaling.
Dusko Bogdanic (Oxford) Graded Blocks of Group Algebras Leicester, 21 June 2010 27 / 27