RAPHAËL ROUQUIER. k( )
|
|
- Lydia Knight
- 5 years ago
- Views:
Transcription
1 GLUING p-permutation MODULES 1. Introduction We give a local construction of the stable category of p-permutation modules : a p- permutation kg-module gives rise, via the Brauer functor, to a family of p-permutation modules for kn G Q)/Q, where Q runs over the non-trivial p-subgroups of G, together with certain isomorphisms. Conversely, the data of a compatible family of kn G Q)/Q-modules comes from a p-permutation kg-module, unique up to a unique isomorphism in the stable category. This should be the first half of a paper with a second part devoted to complexes of p- permutation modules. 2. The Brauer functor Let G be a finite group and k a field of characteristic p > 0. Let Q be a p-subgroup of G. We denote by Br Q the Brauer functor Br Q : kg mod kn G Q) mod. For V be a kg-module, ) Br Q V ) = V Q / Tr Q P V P. We write also V Q) for Br Q V ). For basic results about p-permutation modules and the Brauer functor, see [Br] and [Th, 27]. Restriction induces a fully faithful functor kn G Q)/Q mod kn G Q) mod and we will identify kn G Q)/Q mod with the full subcategory of kn G Q) mod of the modules with a trivial action of Q. We denote by kg perm the full subcategory of kg mod of p-permutation modules. This is the smallest full additive subcategory of kg mod closed under direct summands and containing the permutation modules. From now on, we will always consider the restriction of the Brauer functor Br Q : kg perm kn G Q) perm. Let Ω be a G-set. The composition γ Ω = γ Q Ω : kωq kω) Q kω)q) is an isomorphism. It induces an isomorphism of functors γ : k ) Q Br Q k ), i.e., there is a diagram of functors, commutative up to isomorphism : P <Q G sets k ) kg perm ) Q N G Q) sets k ) Br Q kn G Q) perm The following easy result describes the effect of the Brauer construction on a permutation module. Let H and L be two subgroups of G. We put T G L, H) = {g G L H g }. Date: August
2 2 Lemma 2.1. We have as N G L)-sets. G/H) L = g H\T G L,H)/N G L) N G L)/ N G L) H g ) 2.1. Tensor product and duality. Let us describe the effect of the functor Br Q on tensor products and duality. Let V and W be two p-permutation kg-modules. The inclusion V Q W Q V W ) Q induces a map α V,W : V Q) W Q) V W )Q). Restriction V ) Q = Hom kq V, k) V Q ) = Hom k V Q, k) induces a map β V : V Q) V Q). We put G = {x, x) x G} G G. Lemma 2.2. The maps α V,W and β V are isomorphisms and induce isomorphisms of functors from kg perm kg perm to kn G Q) perm and from kg perm to kn G Q) perm α : Res N GQ) N G Q) N G Q) Br Q Q Br Q Res G G G β : Br Q ) ) Br Q. Proof. In order to prove that α V,W and β V are isomorphisms, it is enough to consider permutation modules. So, let V = kω and W = kψ, where Ω and Ψ are G-sets. We have an isomorphism t Ω,Ψ : kω kψ kω Ψ) given by ω ψ ω ψ) for ω Ω and ψ Ψ. There is a commutative diagram : kω Q ) kψ Q ) t Ω Q,Ψ Q kω Ψ) Q kω) Q kψ) Q t Ω,Ψ kω Ψ)) Q kω)q) kψ)q) α V,W kω Ψ)Q) Hence, α V,W is an isomorphism. We have an isomorphism d Ω : kω kω) given by ω ω Ω a ) ω ω a ω for ω Ω. The composition kω Q kω) Q d Ω kω) ) Q kω) Q) is an isomorphism. Since the following diagram is commutative kω) Q d Ω kω) ) Q kω) Q) kω Q d Ω Q kω Q ) γω β V kω)q) we deduce that β V is an isomorphism. Let us now check that α V,W and β V induce natural transformations of functors.
3 GLUING p-permutation MODULES 3 Let V 1, V 2, W 1 and W 2 be p-permutation kg-modules and f i HomV i, W i ). The following diagram is commutative : V 1 Q) V 2 Q) V Q 1 V Q 2 f 1 Q) f 2 Q) f 1 f 2 W Q 1 W Q 2 W 1 Q) W 2 Q) α V1,V 2 f 1 f 2 α W1,W 2 V 1 V 2 ) Q W 1 W 2 ) Q f 1 f 2 )Q) V 1 V 2 )Q) W 1 W 2 )Q) Hence, α V,W induces a morphism of functors : Res N GQ) N G Q) N G Q) The commutativity of the diagram : Br Q Q Br Q Res G G G. W1 Q) f 1 Q) V 1 Q) β W1 W1 ) Q f1 W Q 1 ) V Q W 1 Q) f 1 Q) f 1 V1 ) Q 1 ) β V1 V 1 Q) shows finally that β V induces a morphism of functors : Br Q ) ) Br Q. Proposition 2.3. There is a commutative diagram HomV, W ) HomV W, k) Br Q Br Q HomV W )Q), k) HomV Q), W Q)) βα 1 HomV Q) W Q), k) where the horizontal maps are isomorphisms provided by the adjoint pairs W, W ) and W Q), W Q)). Proof. More explicitely, the first horizontal map is the composition HomV, W ) W HomV W, W W trw ) ) HomV W, k) where trw ) : W W k is the trace map. Thanks to Lemma 2.2, we have a commutative diagram
4 4 HomV, W ) W HomV W, W W ) Br Q HomV W )Q), W W )Q)) Br Q HomV Q), W Q)) W Q) α 1 HomV Q) W Q), W Q) W Q)) W Q) HomV Q) W Q), W Q) W Q) ) We will be done if we prove that the image of trw ) : W W k under the morphism HomW W, k) βα 1 Br Q HomW Q) W Q), k) is trw Q)). It is enough to prove this for W a permutation module. Let W = kω, Ω a G-set. The claim follows from the commutativity of the diagram β kω kω) Q kω Q kω Q 1 d Ω Q kω Q kω Q ) 1 d Ω γ Ω γ 1 kω kω) ) Q kω kω) )Q) βα 1 Ω ) kωq) kωq) 2.2. Compatibilities. Let us define a category T G. Its objects are the non-trivial p-subgroups of G. Let P and Q be two non-trivial p-subgroups of G. Then, the set of maps between P and Q in T G is { P g Q g T G P, Q)}. The composition of maps is the product in G : Q h R ) P g Q ) = P hg) R. We put φ = g for φ = P g Q and φp ) = g P. We call a map φ = P g Q in Hom TG P, Q) normal if g P is normal in Q. Every normal map can be expressed uniquely as the composition of an isomorphism with a normal inclusion φ = φ φ where φ = P gg P and φ = g P 1 Q. An important property of the normal maps is that they generate the category T G, i.e., every map in T G is a composition of normal maps. For g G and H a subgroup of G, we denote by g : kh mod k g H mod the isomorphism of categories induced by the group isomorphism H g H, denote by g : H sets g H sets x g x. We also the isomorphism of categories induced by this group isomorphism. We have the obvious compatiblity with the previous isomorphism of categories. Let V be a p-permutation kh-module and φ Hom TG P, Q) invertible. Then, the isomorphism of Ng HQ)-modules φ V P ) φ V ) Q, v v, induces an isomorphism φ 0 V : φ V P )) φ V )Q).
5 GLUING p-permutation MODULES 5 If H = G, then we have an isomorphism of kg-modules and an isomorphism of kn G Q)-modules ι φ,v : V φ V, v φv φ V = Br Q ι 1 φ,v ) φ 0 V : φ V P )) V Q). Let now P Q and φ = P 1 Q. The canonical map V Q V P V P ) factors through the inclusion V P ) Q V P ) to give a map V Q V P ) Q. Composing with the canonical map V P ) Q V P )Q), we get a map V Q V P )Q) which factors through the canonical map V Q V Q). The induced map V Q) V P )Q) is an isomorphism and we denote the inverse isomorphism by φ V φ V : V P )Q) V Q) Let us summarize the construction by the following commutative diagram : V P V P ) V Q V Q) V P ) Q V P )Q) For φ Hom TG P, Q) a normal map with P H, Q φh and V a p-permutation khmodule, we put φ 0 V = φ φ V Br Q φ 0 V ) : φ V P )) ) Q) φ V )Q). If V is a p-permutation kg-module, we put φ V = φ V Br Q φ V ) : φ V P )) ) Q) V Q). This gives an isomorphism of functors from kh perm to kn φh φp ), Q) perm φ 0 : Br Q φ Br P Res N φ H Q) N φh φp ),Q) Br Q φ. and an isomorphism of functors from kg perm to kn G φp ), Q) perm φ : Br Q φ Br P Res N GQ) N G φp ),Q) Br Q. When V = kω, Ω a G-set, we have a commutative diagram k φ Ω P Br Q φ γ Ω P )Q) γ Q φ Ω P k φ Ω P ) Q φ kω)p ))Q) φ V where k φ Ω kω Q γ Q Ω φ Ω : φ Ω P ) Q Ω Q, ω φ 1 ω. kω)q)
6 6 Note that this justifies the claim that φ V is an isomorphism for V a permutation module and consequently for V an arbitrary p-permutation module. We will now check a transitivity property of the isomorphisms constructed above. Lemma 2.4. Let φ Hom TG P, Q) and ψ Hom TG Q, R) such that φ, ψ and ψφ are normal maps and let V be a p-permutation kg-module. Then, the following diagram is commutative ψ φ V P )))Q) ) R) Br R ψ φ V ψ V Q)))R) ψ 0 φ V P )) ψφ V ψ φ) V P )))R) V R) ψ V Proof. Indeed, it is enough to check commutativity for V = kω a permutation module. follows from the commutativity of the following diagram It ψ φ Ω P )) Q) R ω ψ φ 1 ψ 1 ω ψ Ω Q )) R ω ω ω ψ φ 1 ω ψ φ) Ω P )) R Ω R ω ψ 1 ω The difference between φ and φ 0 is is given by the following lemma : Lemma 2.5. Let ψ Hom TG Q, R) be a normal map with ψ = 1, g G and V a p-permutation kg-module. Then, the following diagram is commutative Br R Br Q ι 1 g,v ) ψ V V Q))R) g V )Q))R) ψ g V V R) Br R ι 1 g,v ) g V )R) In particular, if φ Hom TG P, Q) is any normal map, then φ V = Br Q ι 1 φ,v ) φ 0 V. Proof. Again, it is enough to deal with V = kω a permutation module. reduces to the commutativity of ω g 1 ω Ω Q ) R ω ω g Ω) Q ) R ω ω Ω R g Ω) R ω g 1 ω Then, the lemma For the second part of the lemma, we take ψ = φ and g = φ in the commutative diagram. 3. A category of sheaves on p-subgroups complexes 3.1. Definition. Let F be a subcategory of T G. We define a category S F of sheaves on F. Its objects are families {V Q, [φ]} Q,φ where Q runs over the objects of F and φ over the normal maps of F. Here, V Q is a p-permutation kn G Q)/Q-module and for φ Hom F P, Q) normal, [φ] is an isomorphism of kn G φp ), Q)-modules [φ] : φ V P )Q) Res N GQ) N G φp ),Q) V Q.
7 We require the following two conditions to be satisfied : For φ Hom F Q, Q), we have GLUING p-permutation MODULES 7 [φ] = ι 1 φ,v Q. 1) Let φ Hom F P, Q) and ψ Hom F Q, R) such that φ, ψ and ψφ are normal maps. Then, the following diagram should be commutative ψ φ V P )Q) ) R) Br R ψ [φ] ψ V Q )R) 2) ψ 0 φ VP [ψφ] ψ φ) V P )R) For V = {V Q, [φ]} and V = {V Q, [φ] } two objects of S F, Hom SF V, V ) is the set of families Λ = {λ Q } Q, where Q runs over the objects of F. Here, λ Q Hom kng Q)V Q, V Q ). Furthermore, Λ should have the following property : for every normal map φ Hom F P, Q), the following diagram is commutative V R [ψ] φ V P )Q) Br Q φ λ P φ V P )Q) 3) [φ] V Q λ Q V Q [φ] Thanks to the results of 2.2, we have a functor where S = S TG. We can now state our main result : Br : kg perm S, V {V Q), φ V } Theorem 3.1. The functor Br induces an equivalence of categories kg perm /kg proj S Some properties of S F. Let us give a special case of the commutative diagram 2). Lemma 3.2. Let φ Hom F P, Q) and ψ Hom F Q, R) be two normal maps with ψ N G φp )). Then, the following diagram is commutative ψ φ V P )Q) ) R) Br R ψ [φ] ψ V Q )R) ψ φ VP [ψ φ] φ V P )R) Proof. Let ψ = ψφ and φ = P φ 1 ψ 1 φ)p. We have ψ φ = ψ φ. By 1), we have [φ ] = ι 1 φ,v P. We have also ψ φ ι 1 φ,v P = ι ψ, φ V P. The commutativity of the diagram 2) applied to ψ and φ gives the commutative diagram V R [ψ] φ V P )R) Br R ι ψ, φ VP ψ φ) V P )R) [ψφ] [ψ φ] V R
8 8 and we obtain the commutativity of the diagram of the lemma since ψ φ V P ψ 0 φ V P by Lemma 2.5. = Br R ι 1 ψ, φ V P ) The diagram 3) need be checked only on a generating set : Lemma 3.3. Let E be a set of normal maps in F such that every normal map of F is a product of elements of E and of inverses of invertible elements of E. Then, the commutativity of the diagram 3) for φ E implies the commutativity for every normal map φ of F Proof. Let φ Hom F P, Q) and ψ Hom F Q, R) such that ψ and ψφ are normal maps. Then, φ is a normal map and the following diagram is commutative ψ φ) V P )R) ψ 0 φ VP ψ φ V P )Q) ) R) [ψφ] Br R ψ [φ] ψ V Q )R) V R [ψ] Br R ψ φ) λ P Br R ψ Br Q φ λ P Br R ψ [φ] Br R ψ λ Q ψ φ V P )Q)) R) ψ V ψ 0 φ V Q )R) P [ψ] ψ φ) V P )R) [ψφ] The lemma follows. We now define a restriction functor from G to N G P )/P. Let P be an object in F. We assume P 1 Q Hom F P, Q) for every Q in F with P Q. Let FP ) be the subcategory of T NG P )/P whose objects are the Q/P where Q is in F and P Q, P Q and where Hom FP ) Q/P, R/P ) is given by the image in T NG P )/P Q/P, R/P ) of Hom F Q, R). Let V = {V Q, [φ]} be an object of S F. Let V Q/P = V Q. For φ Hom FP ) Q/P, R/P ), we put [φ ] = [φ] where φ Hom F Q, R) has image φ in Hom FP ) Q/P, R/P ). It follows from 1) and from the diagram 2)) that this is independent of the choice of φ. The restriction functor is Res F FP ) : S F S FP ), {V Q, [φ]} {V Q/P, [φ ]}. We denote by E P : T F kn G P )/P perm the functor sending V on V P. The commutative diagram in Lemma 3.2 says that objects can be glued locally : Lemma 3.4. For V in S F, we have an isomorphism {[ P 1 Q ]} Q : Br E P V) Res F FP ) V. This induces an isomorphism of functors Br E P Res F FP ). So, we have a diagram, commutative up to isomorphism : V R λ R S F Res F FP ) S FP ) Br E P kn G P )/P perm
9 GLUING p-permutation MODULES 9 Proof. Let V = {V Q, [φ]} in S F and V = Res F FP ) V. We have BrV P ) = {W Q/P, ψ VP } with W Q/P = V P Q). Let λ Q/P = [ P 1 Q ] : W Q/P V Q/P and Λ = {λ Q/P }. Let φ = P 1 Q in F and ψ Hom F Q, R) be two normal maps with ψ N G P ). We have a commutative diagram Lemma 3.2) ψ V P Q))R) ψ VP V P R) Br R ψ [φ] [ψ φ] ψ V Q )R) V R [ψ] This shows that Λ defines a map BrV P ) V. This induces an isomorphism between Br E P and Res F FP ) Proof of Theorem 3.1. Let us first note that BrV ) = 0 if V is projective, hence Br induces indeed a functor Br : kg perm /kg proj S. Lemma 3.5. The functor Br is fully faithful. Proof. We have to prove that Br induces an isomorphism HomV, W ) HomBr V, Br W ) for V and W any p-permutation kg-modules. Thanks to Proposition 2.3, we have a commutative diagram : HomV, W ) Br HomBr V, Br W ) HomV W, k) Br HomBrV W ), Br k) So, it is enough to consider the case W = k. Since the modules kg/q), Q a p-subgroup of G, generate kg perm as an additive category closed under taking direct summands, we may assume V = kg/q). We may take Q 1 since otherwise V is projective. Now, HomkG/Q, k) HomkG/Q, k) is a one-dimensional vector space, generated by the unique map f between the G-sets G/Q and G/G. The map Br Q f) : V Q) = kg/q) Q k is induced by the unique map between the sets N G Q)/Q and N G Q)/N G Q). In particular, it is non-zero, hence Brf) 0. Let Λ HomBr kg/q, Br k). Since HomV Q), k) is one-dimensional, we have λ Q = α Br Q f) for some α k. So, Λ α Brf) vanishes on V Q). We assume now λ Q = 0. We will prove that λ P = 0 for all P. This is clear if P is not conjugate to a subgroup of Q, since then V P ) = 0. We will now prove the result for P Q by induction on [Q : P ]. Let P < Q and g T G P, Q). Let R be a p-subgroup of G such that P R Q g, P R. Then, N G P )/N G P ) Q g ) R. Now, λ P and λ R have the same restriction to N G P )/N G P ) Q g ) R. Consequently, λ P is zero on N G P )/N G P ) Q g ) R, by induction. By Lemma 2.1, we deduce that λ P = 0. The first part of following lemma is essentially due to Bouc [Bou1, Bou2] cf also [Li, Lemma 5.4]).
10 10 Lemma 3.6. i) Let f : V W be a morphism between two p-permutation kg-modules such that Br Q f) is injective for all Q 1. Then, there is a morphism σ : W V such that σf is a stable automorphism of V. In particular, if V has no projective direct summand, then f is a split injection. ii) Let Λ : V W be a morphism between two objects of S. Assume for all Q, there is a projective direct summand L Q of the kn G Q)/Q-module V Q such that the restriction of λ Q to L Q is injective and V Q /L Q has no projective direct summand. Then, for all Q, λ Q is a split injection. Proof. Let us prove part i) of the lemma. We can assume V has no projective direct summand. Assume G is a p-group. Let us first consider a morphism f : V = kg/q) W = kg/r) such that Br Q f) is injective, where Q and R are non-trivial p-subgroups of G. The module V Q) is a projective indecomposable kn G Q)/Q-module. Since W Q) 0, Q is contained in R, up to conjugacy. Without changing W, we can assume Q R. Assume Q R. Then, for any g T G Q, R), there is S such that P S Q g, P S. So, kn G Q)/N G Q) R g ) is not a projective kn G Q)/Q-module. By Lemma 2.1, V Q) is not isomorphic to a submodule of W Q) and we have reached a contradiction. If Q = R, then f becomes invertible in the quotient End kng Q)/QV Q)) of the local ring End kg V ), hence f is invertible. Let now f : V W be a morphism between two p-permutation modules such that Br Q f) is injective for Q non trivial. In order to prove that f is injective, we may assume V is indecomposable, i.e., V = kg/q) for some subgroup Q of G. We can assume Q 1, otherwise V is projective. Since V Q) is indecomposable, there is an indecomposable direct summand W of W such that if f f is the composition V W W, then Br Q f ) is injective. Now, the considerations above show that f is an isomorphism and we are done. Take now G an arbitrary finite group. Let U = ker f and let S be a Sylow p-subgroup of G. We know that the inclusion Res G S U Res G S V is projective. So, the inclusion U V is projective, hence U = 0 since we assume V has no projective direct summand. Finally, the short exact sequence 0 V W W/V 0 splits, since it splits by restriction to S. Let us come to part ii) of the lemma. We prove the result by inverse induction on the order of Q. When Q is a Sylow p-subgroup of G, then V Q = L Q, so λ Q is a split injection. Assume now Q is not a Sylow p-subgroup of G. Consider the restriction f : M Q W Q of λ Q, where V Q = L Q M Q. By induction, Br R/Q f) is injective, for all p-subgroups R with Q R, Q R. By part i) of the Lemma applied to N G Q)/Q, we deduce that f is a split injection. Hence, λ Q is a split injection. Lemma 3.7. Let G and H be two full subcategories of T G closed under inverse inclusion with G H. Let V, V S H. Then, the restriction map is surjective. Hom SH V, V ) Hom SG Res H G V, Res H G V ) Proof. It is enough to prove the lemma when H has one more object, Q, than G. Let λ Hom SG Res H G V, Res H G V ). Assume first there is g G such that Q g G and let ψ = Q g Q g Hom H Q, Q g ). Let λ R = λ R for R Q and λ Q = [ψ 1 ] λ Q g[ψ]. In order to prove that {λ R } gives a map between V and V extending λ), it is enough to check commutativity of the diagram 3) for the map ψ, thanks to Lemma 3.3. This is immediate.
11 GLUING p-permutation MODULES 11 Assume now Q g / G for all g G. Let f : BrV Q ) BrV Q ) be the restriction of λ to S HQ) cf Lemma 3.4). By the fullness of Br applied to N G Q)/Q Lemma 3.5), there is a map λ Q : V Q V Q such that Brλ Q ) = f. Let λ R = λ R for R G. Since every map in H starting from Q is the composition of a map from Q to R, with Q a strict normal subgroup of R and of a map in G, Lemma 3.3 shows that {λ R } defines a map between V and V, extending λ. We now complete the proof of Theorem 3.1 by showing the essential surjectivity of Br. Let V S. We will prove by induction on the cardinality of {Q V Q 0} that V is in the image of Br. For Q T G, let L Q be a projective direct summand of V Q such that V Q /L Q has no projective direct summand. We denote by α Q : V Q L Q the canonical surjection. Let M = Ind G N G Q) L Q and M = Br M. We have MQ) L Q by Green s correspondence. α Q Let ζ : V Q LQ MQ). Let H = T G and G be the full subcategory of T G with objects the p-subgroups containing Q. Let ζ R = 0 for R G, R Q and ζ Q = ζ. Then, {ζ R } Hom SG Res H G V, Res H G M). By Lemma 3.7, there is χ Hom S V, M) extending {ζ R }. Let now V = Q T G /G IndG N G Q) L Q, V = Br V and λ : V V be the sum of the morphisms constructed for each Q above. Then, for all Q, the restriction of λ Q to L Q is injective. By Lemma 3.6, ii), we deduce that λ Q is a split injection for all Q. Let then W be the cokernel of λ. Take R with V R = 0. Then, V Q = 0 whenever R is contained up to G-conjugation in Q. So, V has no direct summand with vertex R, hence W R = 0. Let now Q be maximal such that V Q 0. Then, λ Q : V Q = L Q ) Ind G N G Q) L Q Q) is an isomorphism. So, WQ = 0. It follows that {Q W Q 0} is strictly contained in {Q V Q 0}. By induction, there is a p-permutation kg-module W without projective direct summand) such that W = Br W. By fulness of Br Lemma 3.5), the canonical morphism V W comes from a morphism f : V W. By Lemma 3.6, i), dualized, f is a split surjection. Hence, ker f is a p-permutation kg-module and we have an isomorphism V Brker f). This finishes the proof of Theorem 3.1. References [Bou1] S. Bouc, Résolutions de foncteurs de Mackey, in Groups, representations : cohomology, group actions and topology, Proc. of Symp. in Pure Math., p , vol. 63, AMS, [Bou2] S. Bouc, Le complexe de chaînes d un G-complexe simplicial acyclique, preprint 1998). [Br] M. Broué, On Scott modules and p-permutation modules : an approach through the Brauer morphism, Proc. Amer. Math. Soc ), [Li] M. Linckelmann, On splendid derived and stable equivalences between blocks of finite groups, preprint 1997). [Th] J. Thévenaz, G-algebras and modular representation theory, Oxford University Press, 1995.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationOn p-monomial Modules over Local Domains
On p-monomial Modules over Local Domains Robert Boltje and Adam Glesser Department of Mathematics University of California Santa Cruz, CA 95064 U.S.A. boltje@math.ucsc.edu and aglesser@math.ucsc.edu December
More informationTHE DERIVED CATEGORY OF BLOCKS WITH CYCLIC DEFECT GROUPS
THE DERIVED CATEGORY OF BLOCKS WITH CYCLIC DEFECT GROUPS 1. Introduction Let O be a complete discrete valuation ring with algebraically closed residue field k of characteristic p > 0 and field of fractions
More informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationThe Ring of Monomial Representations
Mathematical Institute Friedrich Schiller University Jena, Germany Arithmetic of Group Rings and Related Objects Aachen, March 22-26, 2010 References 1 L. Barker, Fibred permutation sets and the idempotents
More informationBisets and associated functors
Bisets and associated functors Recall that the letter R denotes a commutative and associative ring with unit, and G denotes a finite group. 1. Functors between categories of G-sets In view of Dress s definition
More informationBroué s abelian defect group conjecture holds for the sporadic simple Conway group Co 3
Revised Version of 11 September 2011 Broué s abelian defect group conjecture holds for the sporadic simple Conway group Co 3 Shigeo Koshitani a,, Jürgen Müller b, Felix Noeske c a Department of Mathematics,
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationMODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL REPRESENTATIONS OF A FINITE GROUP #
Communications in Algebra, 33: 3667 3677, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500243312 MODULAR SPECIES AND PRIME IDEALS FOR THE RING OF MONOMIAL
More informationCALABI-YAU ALGEBRAS AND PERVERSE MORITA EQUIVALENCES
CALABI-YAU ALGEBRAS AND PERERSE MORITA EQUIALENCES JOSEPH CHUANG AND RAPHAËL ROUQUIER Preliminary Draft Contents 1. Notations 2 2. Tilting 2 2.1. t-structures and filtered categories 2 2.1.1. t-structures
More informationSOURCE ALGEBRAS AND SOURCE MODULES J. L. Alperin, Markus Linckelmann, Raphael Rouquier May 1998 The aim of this note is to give short proofs in module
SURCE ALGEBRAS AND SURCE MDULES J. L. Alperin, Markus Linckelmann, Raphael Rouquier May 1998 The aim of this note is to give short proofs in module theoretic terms of two fundamental results in block theory,
More informationSELF-EQUIVALENCES OF THE DERIVED CATEGORY OF BRAUER TREE ALGEBRAS WITH EXCEPTIONAL VERTEX
An. Şt. Univ. Ovidius Constanţa Vol. 9(1), 2001, 139 148 SELF-EQUIVALENCES OF THE DERIVED CATEGORY OF BRAUER TREE ALGEBRAS WITH EXCEPTIONAL VERTEX Alexander Zimmermann Abstract Let k be a field and A be
More informationarxiv: v2 [math.ra] 14 Sep 2016
ON THE NEGATIVE-ONE SHIFT FUNCTOR FOR FI-MODULES arxiv:1603.07974v2 [math.ra] 14 Sep 2016 WEE LIANG GAN Abstract. We show that the negative-one shift functor S 1 on the category of FI-modules is a left
More informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
More informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationThe Proj Construction
The Proj Construction Daniel Murfet May 16, 2006 Contents 1 Basic Properties 1 2 Functorial Properties 2 3 Products 6 4 Linear Morphisms 9 5 Projective Morphisms 9 6 Dimensions of Schemes 11 7 Points of
More informationTHE TORSION GROUP OF ENDOTRIVIAL MODULES
THE TORSION GROUP OF ENDOTRIVIAL MODULES JON F. CARLSON AND JACQUES THÉVENAZ Abstract. Let G be a finite group and let T (G) be the abelian group of equivalence classes of endotrivial kg-modules, where
More informationModular Representation Theory of Endomorphism Rings
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
More informationPERVERSE EQUIVALENCES
PERERSE EQUIALENCES JOSEPH CHUANG AND RAPHAËL ROUQUIER Contents 1. Introduction 2 2. Notations 3 3. t-structures and filtered categories 4 3.1. t-structures 4 3.2. Intersections of t-structures 4 3.3.
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationSubgroup Complexes and their Lefschetz Modules
Subgroup Complexes and their Lefschetz Modules Silvia Onofrei Department of Mathematics Kansas State University nonabelian finite simple groups alternating groups (n 5) groups of Lie type 26 sporadic groups
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationThe Diamond Category of a Locally Discrete Ordered Set.
The Diamond Category of a Locally Discrete Ordered Set Claus Michael Ringel Let k be a field Let I be a ordered set (what we call an ordered set is sometimes also said to be a totally ordered set or a
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More informationRELATIVE HOMOLOGY. M. Auslander Ø. Solberg
RELATIVE HOMOLOGY M. Auslander Ø. Solberg Department of Mathematics Institutt for matematikk og statistikk Brandeis University Universitetet i Trondheim, AVH Waltham, Mass. 02254 9110 N 7055 Dragvoll USA
More informationWIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES
WIDE SUBCATEGORIES OF d-cluster TILTING SUBCATEGORIES MARTIN HERSCHEND, PETER JØRGENSEN, AND LAERTIS VASO Abstract. A subcategory of an abelian category is wide if it is closed under sums, summands, kernels,
More informationChain complexes for Alperin s weight conjecture and Dade s ordinary conjecture in the abelian defect group case
Chain complexes for Alperin s weight conjecture and Dade s ordinary conjecture in the abelian defect group case Robert Boltje Department of Mathematics University of California Santa Cruz, CA 95064 U.S.A.
More informationREPRESENTATION THEORY WEEK 9
REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence
More informationINJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA
INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationFOCAL SUBGROUPS OF FUSION SYSTEMS AND CHARACTERS OF HEIGHT ZERO
FOCAL SUBGROUPS OF FUSION SYSTEMS AND CHARACTERS OF HEIGHT ZERO SEJONG PARK Abstract. For each finite p-group P, Glauberman [8] defined characteristic subgroup K (P ) and K (P ) of P and showed that, under
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationTHE GROUP OF ENDOTRIVIAL MODULES FOR THE SYMMETRIC AND ALTERNATING GROUPS
THE GROUP OF ENDOTRIVIAL MODULES FOR THE SYMMETRIC AND ALTERNATING GROUPS JON F. CARLSON, DAVID J. HEMMER, AND NADIA MAZZA Abstract. We complete a classification of the groups of endotrivial modules for
More informationwhich is a group homomorphism, such that if W V U, then
4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV
More informationRelative Affine Schemes
Relative Affine Schemes Daniel Murfet October 5, 2006 The fundamental Spec( ) construction associates an affine scheme to any ring. In this note we study the relative version of this construction, which
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationHOMOLOGY AND COHOMOLOGY. 1. Introduction
HOMOLOGY AND COHOMOLOGY ELLEARD FELIX WEBSTER HEFFERN 1. Introduction We have been introduced to the idea of homology, which derives from a chain complex of singular or simplicial chain groups together
More informationCommutative algebra and representations of finite groups
Commutative algebra and representations of finite groups Srikanth Iyengar University of Nebraska, Lincoln Genoa, 7th June 2012 The goal Describe a bridge between two, seemingly different, worlds: Representation
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationModular representation theory
Modular representation theory 1 Denitions for the study group Denition 1.1. Let A be a ring and let F A be the category of all left A-modules. The Grothendieck group of F A is the abelian group dened by
More informationarxiv: v1 [math.gr] 4 Mar 2014
K-stable splendid Rickard complexes Yuanyang Zhou Department of Mathematics and Statistics, Central China Normal University, Wuhan, 430079, P.R. China Email: zhouyy74@163.com arxiv:1403.0661v1 [math.gr]
More informationNOTES ON SPLITTING FIELDS
NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y
More informationSOLUTIONS FOR FINITE GROUP REPRESENTATIONS BY PETER WEBB. Chapter 8
SOLUTIONS FOR FINITE GROUP REPRESENTATIONS BY PETER WEBB CİHAN BAHRAN I changed the notation in some of the questions. Chapter 8 1. Prove that if G is any finite group then the only idempotents in the
More informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationDedicated to Helmut Lenzing for his 60th birthday
C O L L O Q U I U M M A T H E M A T I C U M VOL. 8 999 NO. FULL EMBEDDINGS OF ALMOST SPLIT SEQUENCES OVER SPLIT-BY-NILPOTENT EXTENSIONS BY IBRAHIM A S S E M (SHERBROOKE, QUE.) AND DAN Z A C H A R I A (SYRACUSE,
More informationA generalized Koszul theory and its applications in representation theory
A generalized Koszul theory and its applications in representation theory A DISSERTATION SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Liping Li IN PARTIAL FULFILLMENT
More informationarxiv: v2 [math.rt] 19 Sep 2013
Strong fusion control and stable equivalences arxiv:1308.5477v2 [math.rt] 19 Sep 2013 Erwan Biland October 3, 2018 Abstract This article is dedicated to the proof of the following theorem. Let G be a finite
More informationMath 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.
Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial
More informationVERTICES OF SPECHT MODULES AND BLOCKS OF THE SYMMETRIC GROUP
VERTICES OF SPECHT MODULES AND BLOCKS OF THE SYMMETRIC GROUP MARK WILDON Abstract. This paper studies the vertices, in the sense defined by J. A. Green, of Specht modules for symmetric groups. The main
More informationKOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS
KOSZUL DUALITY FOR STRATIFIED ALGEBRAS II. STANDARDLY STRATIFIED ALGEBRAS VOLODYMYR MAZORCHUK Abstract. We give a complete picture of the interaction between the Koszul and Ringel dualities for graded
More informationLECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,
More informationAn introduction to derived and triangulated categories. Jon Woolf
An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationEXT, TOR AND THE UCT
EXT, TOR AND THE UCT CHRIS KOTTKE Contents 1. Left/right exact functors 1 2. Projective resolutions 2 3. Two useful lemmas 3 4. Ext 6 5. Ext as a covariant derived functor 8 6. Universal Coefficient Theorem
More informationLevel 5M Project: Representations of Quivers & Gabriel s Theorem
Level 5M Project: Representations of Quivers & Gabriel s Theorem Emma Cummin (0606574) March 24, 2011 Abstract Gabriel s theorem, first proved by Peter Gabriel in 1972 [1], comes in two parts. Part (i)
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
More informationRADHA KESSAR, SHIGEO KOSHITANI, MARKUS LINCKELMANN
ON THE BRAUER INDECOMPOSABIITY OF SCOTT MODUES arxiv:1511.08721v1 [math.rt] 27 Nov 2015 RADHA KESSAR, SHIGEO KOSHITANI, MARKUS INCKEMANN Abstract. et k be an algebraically closed field of prime characteristic
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationarxiv: v2 [math.gr] 4 Jul 2018
CENTRALIZERS OF NORMAL SUBSYSTEMS REVISITED E. HENKE arxiv:1801.05256v2 [math.gr] 4 Jul 2018 Abstract. In this paper we revisit two concepts which were originally introduced by Aschbacher and are crucial
More information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More informationDOUGLAS J. DAILEY AND THOMAS MARLEY
A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationTHE FUNDAMENTAL GROUP OF A p-compact GROUP
THE FUNDAMENTAL GROUP OF A p-compact GROUP W. G. DWYER AND C. W. WILKERSON 1. Introduction The notion of p-compact group [10] is a homotopy theoretic version of the geometric or analytic notion of compact
More informationANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER. Seán McGarraghy
ANNIHILATING POLYNOMIALS, TRACE FORMS AND THE GALOIS NUMBER Seán McGarraghy Abstract. We construct examples where an annihilating polynomial produced by considering étale algebras improves on the annihilating
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationCHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago
arxiv:1301.0025v1 [math.rt] 31 Dec 2012 CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0 Mitya Boyarchenko Vladimir Drinfeld University of Chicago Overview These are slides for a talk given
More informationThe category of linear modular lattices
Bull. Math. Soc. Sci. Math. Roumanie Tome 56(104) No. 1, 2013, 33 46 The category of linear modular lattices by Toma Albu and Mihai Iosif Dedicated to the memory of Nicolae Popescu (1937-2010) on the occasion
More informationCategory O and its basic properties
Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationAn Axiomatic Description of a Duality for Modules
advances in mathematics 130, 280286 (1997) article no. AI971660 An Axiomatic Description of a Duality for Modules Henning Krause* Fakulta t fu r Mathematik, Universita t Bielefeld, 33501 Bielefeld, Germany
More informationSaturated fusion systems as stable retracts of groups
Massachusetts Institute of Technology Department of Mathematics Saturated fusion systems as stable retracts of groups Sune Precht Reeh MIT Topology Seminar, September 28, 2015 Slide 1/24 Outline 1 Bisets
More informationABSOLUTELY PURE REPRESENTATIONS OF QUIVERS
J. Korean Math. Soc. 51 (2014), No. 6, pp. 1177 1187 http://dx.doi.org/10.4134/jkms.2014.51.6.1177 ABSOLUTELY PURE REPRESENTATIONS OF QUIVERS Mansour Aghasi and Hamidreza Nemati Abstract. In the current
More informationCity Research Online. Permanent City Research Online URL:
Linckelmann, M. & Schroll, S. (2005). A two-sided q-analogue of the Coxeter complex. Journal of Algebra, 289(1), 128-134. doi: 10.1016/j.jalgebra.2005.03.026,
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationTRIANGULATED CATEGORIES, SUMMER SEMESTER 2012
TRIANGULATED CATEGORIES, SUMMER SEMESTER 2012 P. SOSNA Contents 1. Triangulated categories and functors 2 2. A first example: The homotopy category 8 3. Localization and the derived category 12 4. Derived
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationCover Page. Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of Shimura varieties Date:
Cover Page The handle http://hdl.handle.net/1887/56255 holds various files of this Leiden University dissertation Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of
More informationLECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4.5: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,
More information