𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Alternating Sum for Hochschild Cohomology of a Block

✍ Scribed by Burkhard Külshammer; Geoffrey R. Robinson


Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
80 KB
Volume
249
Category
Article
ISSN
0021-8693

No coin nor oath required. For personal study only.

✦ Synopsis


In this paper, we point out that when p is a prime, the additive structure of the Hochschild cohomology ring of a p-block of a finite group G satisfies the now-familiar type of alternating sum formula using the p-subgroup complex of G. (Throughout, we work with the Tate version of Hochschild cohomology, which coincides with ordinary Hochschild cohomology in positive dimensions.) Such an expression (in our situation) allows the Hochschild cohomology of the block to be computed from p-local information. The first such formula (for the cohomology of a G-module) was obtained by P. J. Webb (see, for example, [6]). We also give a formulation of our result in terms of subpairs. For illustrative purposes, we give an application in the situation when the block is controlled by the normalizer of a maximal subpair, and the outer automorphims of the defect group induced by the inertial quotient all act without nontrivial fixed-points. This application generalizes an earlier result of Kessar and Linckelmann [2], which dealt with such a situation in the case that the defect group is Abelian.


📜 SIMILAR VOLUMES


Extensions of cocycles, Cohen–Macaulay g
✍ Vladimir P. Burichenko 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 272 KB

A new approach to the computation of the cohomology of groups acting on Buekenhout geometries is described. It is shown that in many cases, including BN-pairs and groups acting on dimensional linear spaces, to compute the kth cohomology group H k (G, M) it is sufficient, roughly speaking, to conside

An Asymptotic Formula for a Trigonometri
✍ Todd Cochrane; J.C Peral 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 189 KB

We obtain a representation formula for the trigonometric sum f (m, n) and deduce from it the upper bound f(m, n) < (4/p 2 ) m log m+ (4/p 2 )(c -log(p/2)+2C G ) m+O(m/`log m), where C G is the supremum of the function G(t) :=; . k=1 log |2 sin pkt|/(4k 2 -1), over the set of irrationals. The coeffi