Difference between revisions of "Groups of perfect self-isometries"

From Block library
Jump to: navigation, search
(Created page with "Let <math>B</math> be a block of <math>\mathcal{O}G</math> for a finite group <math>G</math>. The set of perfect isometries from <math>B</math> to itself...")
 
(No difference)

Latest revision as of 09:40, 6 December 2018

Let [math]B[/math] be a block of [math]\mathcal{O}G[/math] for a finite group [math]G[/math]. The set of perfect isometries from [math]B[/math] to itself forms a group [math]{\rm PI}(B)[/math] under composition, and its isomorphism class is a derived invariant. Write [math]{\rm PI}_+(B)[/math] for the subgroup of [math]{\rm PI}(B)[/math] consisting of isometries with all signs positive (this is different to the subgroup [math]{\rm PI}^+(B)[/math] defined in [Ru11]). If [math]{\rm Piccent}(B)=1[/math], then [math]{\rm Pic}(B)[/math] embeds into [math]{\rm PI}_+(B)[/math].

The group [math]{\rm PI}(B)[/math] is useful in the calculation of Picard groups (see [EL18c]) and in the calculation of extensions of Morita equivalence classes from normal subgroups of index [math]p[/math] (see for example [Wa00] and [EL18a]).