Difference between revisions of "Miscallaneous results"

From Block library
Jump to: navigation, search
(Morita invariance of the isomorphism type of a defect group: Section rewritten following counterexample to modular isomorphism problem)
 
(9 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
This page will contain results which do not fit in elsewhere on this site.
 
This page will contain results which do not fit in elsewhere on this site.
  
== Blocks with basic algebras of dimension at most 12 ==
+
== Blocks with basic algebras of low dimension ==
 +
[[Blocks with basic algebras of low dimension|Main article: Blocks with basic algebras of low dimension]]
  
In [[References|[Li18]]] Markus Linckelmann calculated the <math>k</math>-algebras of dimension at most twelve which occur as basic algebras of blocks of finite groups, with the exception of one case of dimension 9.
+
In [[References#L|[Li18b]]] Markus Linckelmann calculated the <math>k</math>-algebras of dimension at most twelve which occur as basic algebras of blocks of finite groups, with the exception of one case of dimension 9 where no block with that basic algebra is identified. This final case was ruled out by Linckelmann and Murphy in [[References#L|[LM20]]]. These results do not use the classification of finite simple groups. In [[References#S|[Sa20]]] Benjamin Sambale applied the classification of finite simple groups to extend the classification to dimensions 13 and 14. See [[Blocks with basic algebras of low dimension]] for a description of these results.
  
{| class="wikitable"
+
== Morita (non-)invariance of the isomorphism type of a defect group ==
|-
+
[[Morita invariance of the isomorphism type of a defect group|Main article: Morita invariance of the isomorphism type of a defect group]]
! scope="col"| Dimension
+
 
! scope="col"| Class
+
In [[References#G|[GMdelR21]]] examples are given of non-isomorphic <math>2</math>-groups whose group algebras over a field of characteristic <math>2</math> are isomorphic, thus giving a counterexample to the modular isomorphism problem for fields of prime characteristic. This gives examples of blocks with non-isomorphic defect groups that are Morita equivalent. Note that these do no yield examples of Morita equivalent blocks defined over a local ring, so the question is still open as to whether the defect group is an invariant under Morita equivalence of such blocks. 
! scope="col"| Defect group
+
 
! scope="col"| Representative
+
Note that the examples in [[References#G|[GMdelR21]]] also yield blocks that are Morita equivalent but not via a [[Glossary#Basic Morita/stable equivalence|basic Morita equivalence]].
! scope="col"| <math>\dim_k(Z(A))</math>
 
! scope="col"| <math>l(A)</math>
 
! scope="col"| Notes
 
|-
 
| 1 || [[M(1,1,1)]] || <math>1</math> || <math>k1</math> || 1 || 1 || Blocks of defect zero
 
|-
 
| 2 || [[M(2,1,1)]] || <math>C_2</math> || <math>kC_2</math> || 2 || 1 ||
 
|-
 
| 3 || [[M(3,1,1)]] || <math>C_3</math> || <math>kC_3</math> || 3 || 1 ||
 
|-
 
| 4 || [[M(4,1,1)]] || <math>C_4</math> || <math>kC_4</math> || 4 || 1 ||
 
|-
 
| 4 || [[M(4,2,1)]] || <math>C_2 \times C_2</math> || <math>k(C_2 \times C_2)</math> || 4 || 1 ||
 
|-
 
| 5 || [[M(5,1,1)]] || <math>C_5</math> || <math>kC_5</math> || 5 || 1 ||
 
|-
 
| 6 || [[M(3,1,2)]] || <math>C_3</math> || <math>kS_3</math> || 3 || 2 ||
 
|-
 
| 7 || [[M(5,1,3)]] || <math>C_5</math> || <math>B_0(kA_5)</math> || 4 || 2 ||
 
|-
 
| 7 || [[M(7,1,1)]] || <math>C_7</math> || <math>kC_7</math> || 7 || 1 ||
 
|}
 

Latest revision as of 13:51, 4 August 2022

This page will contain results which do not fit in elsewhere on this site.

Blocks with basic algebras of low dimension

Main article: Blocks with basic algebras of low dimension

In [Li18b] Markus Linckelmann calculated the [math]k[/math]-algebras of dimension at most twelve which occur as basic algebras of blocks of finite groups, with the exception of one case of dimension 9 where no block with that basic algebra is identified. This final case was ruled out by Linckelmann and Murphy in [LM20]. These results do not use the classification of finite simple groups. In [Sa20] Benjamin Sambale applied the classification of finite simple groups to extend the classification to dimensions 13 and 14. See Blocks with basic algebras of low dimension for a description of these results.

Morita (non-)invariance of the isomorphism type of a defect group

Main article: Morita invariance of the isomorphism type of a defect group

In [GMdelR21] examples are given of non-isomorphic [math]2[/math]-groups whose group algebras over a field of characteristic [math]2[/math] are isomorphic, thus giving a counterexample to the modular isomorphism problem for fields of prime characteristic. This gives examples of blocks with non-isomorphic defect groups that are Morita equivalent. Note that these do no yield examples of Morita equivalent blocks defined over a local ring, so the question is still open as to whether the defect group is an invariant under Morita equivalence of such blocks.

Note that the examples in [GMdelR21] also yield blocks that are Morita equivalent but not via a basic Morita equivalence.