Vertex and source determine the block variety of an indecomposable module

AbstractThe block variety VG,b(M) of a finitely generated indecomposable module M over the block algebra of a p-block b of a finite group G, introduced in (J. Algebra 215 (1999) 460), can be computed in terms of a vertex and a source of M. We use this to show that VG,b(M) is connected, and that every closed homogeneous subvariety of the affine variety VG,b defined by block cohomology H*(G,b) (cf. Algebras Rep. Theory 2 (1999) 107) is the variety of a module over the block algebra. This is analogous to the corresponding statements on Carlson's cohomology varieties in (Invent. Math. 77 (1984) 291)

Quillen stratification for block varieties

AbstractThe classical results on stratifications for cohomology varieties of finite groups and their modules due to Quillen (Ann. Math. 94 (1971) 549–572; 573–602) and Avrunin–Scott (Invent. Math. 66 (1982) 277–286) carry over to the varieties associated with finitely-generated modules over p-blocks of finite groups, introduced in Linckelmann (J. Algebra 215 (1999) 460–480)

Simple fusion systems and the Solomon 2-local groups

We introduce a notion of simple fusion systems which imitates the corresponding notion for finite groups and show that the fusion system on the Sylow-2-subgroup of a 7-dimensional spinor group over a field of characteristic 3 considered by Ron Solomon [18] and by Ran Levi and Bob Oliver [11] is simple in this sense

Trivial source bimodule rings for blocks and p-permutation equivalences

We associate with any p-block of a finite group a Grothendieck ring of certain p-permutation bimodules. We extend the notion of p-permutation equivalences introduced by Boltje and Xu [4] to source algebras of p-blocks of finite groups. We show that a p-permutation equivalence between two source algebras A, B of blocks with a common defect group and same local structure induces an isotypy

Blocks of minimal dimension

Any block with defect group P of a finite group G with Sylow-p-subgroup S has dimension at least |S|2/|P|; we show that a block which attains this bound is nilpotent, answering a question of G. R. Robinson

Finite generation of Hochschild cohomology of Hecke algebras of finite classical type in characteristic zero

We show that the Hochschild cohomology HH*(ℋ) of a Hecke algebra ℋ of finite classical type over a field k of characteristic zero and a non-zero parameter q in k is finitely generated, unless possibly if q has even order in k× and ℋ is of type B or D

On H* (C{script}; k×) for fusion systems

We give a cohomological criterion for the existence and uniqueness of solutions of the 2-cocycle gluing problem in block theory. The existence of a solution for the 2-cocycle gluing problem is further reduced to a property of fusion systems of certain finite groups associated with the fusion system of a block

On graded centres and block cohomology

We extend the group theoretic notions of transfer and stable elements to graded centers of triangulated categories. When applied to the center H∗Db(B)) of the derived bounded category of a block algebra B we show that the block cohomology H∗(B) is isomorphic to a quotient of a certain subalgebra of stable elements of H∗(Db(B)) by some nilpotent ideal, and that a quotient of H∗(Db(B)) by some nilpotent ideal is Noetherian over H∗(B)

On dimensions of block algebras

Following a question by B. K¨ulshammer, we show that an inequality, due to Brauer, involving the dimension of a block algebra, has an analogue for source algebras, and use this to show that a certain case where this inequality is an equality can be characterised in terms of the structure of the source algebra, generalising a similar result on blocks of minimal dimensions. Let p be a prime and k an algebraically closed field of characteristic p. Let G be a finite group and B a block algebra of kG; that is, B is an indecomposable direct factor of kG as k-algebra. By a result of Brauer in [2], the dimension of B satisfies the inequality dimk(B) ≥ p2a−d · ℓ(B) · u2 B where pa is the order of a Sylow-p-subgroup of G, pd is the order of a defect group of B, ℓ(B) is the number of isomorphism classes of simple B-modules and uB is the unique positive integer such that pa−d · uB is the greatest common divisor of the dimensions of the simple B-modules. It is well-known that uB is prime to p. K¨ulshammer raised the question whether an equality could be expressed in terms of the structure of a source algebra of B, generalising the result in [3] on blocks of minimal dimension. We show that this is the case. The first observation is an analogue for source algebras of Brauer’s inequality. We keep the notation above and refer to [5] for block theoretic background material