Difference between revisions of "Known Picard groups"
(Created page with "This page will detail cases where the Picard groups are known.") |
|||
Line 1: | Line 1: | ||
− | + | [[Image:under-construction.png|50px|left]] | |
+ | |||
+ | Unless stated otherwise, <math>{\rm Pic}</math> will always mean <math>{\rm Pic}_{\mathcal{O}}</math>. | ||
+ | |||
+ | Let <math>B</math> be a block of <math>\mathcal{O}G</math> for a finite group <math>G</math>. Let <math>D</math> be a defect group and let <math>E</math> be the inertial quotient. | ||
+ | |||
+ | == Blocks with cyclic groups == | ||
+ | |||
+ | Suppose that <math>D</math> is cyclic. | ||
+ | |||
+ | If <math>E=1</math>, then <math>B</math> is nilpotent and so <math>{\rm Pic}(B)\cong D:{\rm Aut}(D)</math>. | ||
+ | |||
+ | If <math>E \neq 1</math>, then <math>{\rm Pic}(B) \cong {\rm Out}_D(A) \times {\rm Aut}(D)/E</math>, where <math>A</math> is a source algebra for <math>B</math>.<ref>See Theorem 1.4 of [[References #B|[BKL18]]]</ref> Note that <math>{\rm Out}_D(A)</math> is isomorphic to a subgroup of <math>E</math> and [[References#B|[BKL18, Theorem 1.4]]] gives a generator of this subgroup, it still needs to be computed on a case-by-case basis. | ||
+ | |||
+ | If follows from [[References#B|[BKL18, Theorem 1.4]]] that <math>{\rm Picent(B)}=1</math>. | ||
+ | |||
+ | == Blocks with Klein four defect groups == | ||
+ | |||
+ | Suppose that <math>D \cong C_2 \times C_2</math>. | ||
+ | |||
+ | Then <math>B</math> is Morita equivalent to <math>\mathcal{O}D</math>, <math>\mathcal{O}A_4</math> or <math>B_0(\mathcal{O}A_5)</math>. The Picard groups are known by [[References#B|[BKL18]]]. | ||
+ | |||
+ | <math>{\rm Pic}(\mathcal{O}D) = \mathcal{L}(B) \cong D:{\rm Aut(D)} \cong D:S_3</math>. | ||
+ | |||
+ | <math>{\rm Pic}(\mathcal{O}A_4) = \mathcal{T}(B) \cong S_3</math>. | ||
+ | |||
+ | <math>{\rm Pic}(B_0(\mathcal{O}A_5)) = \mathcal{T}(B) \cong C_2</math>. | ||
+ | |||
+ | Note that since any block with this defect group is source algebra equivalent to one of these three blocks<ref>See [[References#C|[CEKL11]]]</ref>, it follows that every Morita self-equivalence is given by a linear source bimodule since the same is true for the three blocks. | ||
+ | |||
+ | Unpublished elementary calculations give that | ||
+ | |||
+ | <math>{\rm Pic}(kD) \cong (k \times k):GL_2(k)</math>. | ||
+ | |||
+ | <math>{\rm Pic}(\mathcal{O}A_4) \cong (k^* \times k^* \times C_3):C_2</math>. | ||
+ | |||
+ | <math>{\rm Pic}(B_0(\mathcal{O}A_5)) = (k^* \times k^*):C_2</math>. | ||
+ | |||
+ | == Blocks with normal defect groups == | ||
+ | |||
+ | In [[References#L|[Liv19]]] it is shown that if <math>D \triangleleft G</math>, then <math>{\rm Pic}(B) = \mathcal{L}(B)</math> and <math>{\rm Picent}(B)=1</math>. | ||
+ | |||
+ | == Abelian defect groups of <math>2</math>-rank at most three for <math>p=2</math> == | ||
+ | |||
+ | In [[References#E|[EL18c]]] the isomorphism type of the Picard groups is calculated for every <math>2</math>-block with abelian defect groups of <math>2</math>-rank at most three, with the exception of the principal block of the sporadic group <math>J_1</math>. This final case has been calculated by Eisele. In every case <math>{\rm Picent}(B)=1</math>. | ||
+ | |||
+ | == Notes == | ||
+ | |||
+ | <references /> |
Revision as of 14:43, 12 August 2019
Unless stated otherwise, [math]{\rm Pic}[/math] will always mean [math]{\rm Pic}_{\mathcal{O}}[/math].
Let [math]B[/math] be a block of [math]\mathcal{O}G[/math] for a finite group [math]G[/math]. Let [math]D[/math] be a defect group and let [math]E[/math] be the inertial quotient.
Contents
Blocks with cyclic groups
Suppose that [math]D[/math] is cyclic.
If [math]E=1[/math], then [math]B[/math] is nilpotent and so [math]{\rm Pic}(B)\cong D:{\rm Aut}(D)[/math].
If [math]E \neq 1[/math], then [math]{\rm Pic}(B) \cong {\rm Out}_D(A) \times {\rm Aut}(D)/E[/math], where [math]A[/math] is a source algebra for [math]B[/math].[1] Note that [math]{\rm Out}_D(A)[/math] is isomorphic to a subgroup of [math]E[/math] and [BKL18, Theorem 1.4] gives a generator of this subgroup, it still needs to be computed on a case-by-case basis.
If follows from [BKL18, Theorem 1.4] that [math]{\rm Picent(B)}=1[/math].
Blocks with Klein four defect groups
Suppose that [math]D \cong C_2 \times C_2[/math].
Then [math]B[/math] is Morita equivalent to [math]\mathcal{O}D[/math], [math]\mathcal{O}A_4[/math] or [math]B_0(\mathcal{O}A_5)[/math]. The Picard groups are known by [BKL18].
[math]{\rm Pic}(\mathcal{O}D) = \mathcal{L}(B) \cong D:{\rm Aut(D)} \cong D:S_3[/math].
[math]{\rm Pic}(\mathcal{O}A_4) = \mathcal{T}(B) \cong S_3[/math].
[math]{\rm Pic}(B_0(\mathcal{O}A_5)) = \mathcal{T}(B) \cong C_2[/math].
Note that since any block with this defect group is source algebra equivalent to one of these three blocks[2], it follows that every Morita self-equivalence is given by a linear source bimodule since the same is true for the three blocks.
Unpublished elementary calculations give that
[math]{\rm Pic}(kD) \cong (k \times k):GL_2(k)[/math].
[math]{\rm Pic}(\mathcal{O}A_4) \cong (k^* \times k^* \times C_3):C_2[/math].
[math]{\rm Pic}(B_0(\mathcal{O}A_5)) = (k^* \times k^*):C_2[/math].
Blocks with normal defect groups
In [Liv19] it is shown that if [math]D \triangleleft G[/math], then [math]{\rm Pic}(B) = \mathcal{L}(B)[/math] and [math]{\rm Picent}(B)=1[/math].
Abelian defect groups of [math]2[/math]-rank at most three for [math]p=2[/math]
In [EL18c] the isomorphism type of the Picard groups is calculated for every [math]2[/math]-block with abelian defect groups of [math]2[/math]-rank at most three, with the exception of the principal block of the sporadic group [math]J_1[/math]. This final case has been calculated by Eisele. In every case [math]{\rm Picent}(B)=1[/math].