Difference between revisions of "Status of Donovan's conjecture"

From Block library
Jump to: navigation, search
(Donovan's conjecture by p-group: Extraspecial and wreathed)
 
(13 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
[[Image:Donovan.jpg|150px|thumb|right|Peter Donovan]]
 
[[Image:Donovan.jpg|150px|thumb|right|Peter Donovan]]
 
In this page we list cases where Donovan's conjecture is known to hold.
 
  
 
== Donovan's conjecture by <math>p</math>-group ==
 
== Donovan's conjecture by <math>p</math>-group ==
  
[[Image:under-construction.png|50px|left]]
+
In the following, the column headed [[Statements of conjectures #Donovan's conjecture|Donovan's conjecture]] indicates whether the conjecture is known over <math>k</math> or <math>\mathcal{O}</math>.
 
 
In the following, the column headed Donovan's conjecture indicates whether the conjecture is known over <math>k</math> or <math>\mathcal{O}</math>.
 
  
 
{| class="wikitable"
 
{| class="wikitable"
Line 17: Line 13:
 
! scope="col"| Notes
 
! scope="col"| Notes
 
|-
 
|-
|Cyclic <math>p</math>-groups || <math>\mathcal{O}</math> || Yes || [[References|[Li96]]] ||
+
|Cyclic <math>p</math>-groups || <math>\mathcal{O}</math> || Yes || [[References#L|[Li96]]] ||
 +
|-
 +
|<math>C_2 \times C_2</math> || <math>\mathcal{O}</math> || Yes || [[References#C|[CEKL11]]] || Donovan's conjecture without CFSG, Puig using CFSG
 +
|-
 +
|Abelian <math>2</math>-groups || <math>\mathcal{O}</math> || No || [[References#E|[EEL18]]] ||
 
|-
 
|-
|<math>C_2 \times C_2</math> || <math>\mathcal{O}</math> || Yes || [[References|[CEKL11]]] || Donovan's conjecture without CFSG, Puig using CFSG
+
|Abelian <math>3</math>-groups || No || No || [[References#K|[Ko03]]] || Puig's conjecture known for principal blocks
 
|-
 
|-
|Abelian <math>2</math>-groups || <math>\mathcal{O}</math> || No || [[References|[EEL18]]] ||
+
|Dihedral <math>2</math>-groups || <math>k</math> || No || [[References#E|[Er87]]] ||
 
|-
 
|-
|Abelian <math>3</math>-groups || No || No || [Ko03] || Puig's conjecture known for principal blocks
+
|Semidihedral <math>2</math>-groups || <math>k</math> || No || [[References#E|[Er88c], [Er90b]]] ||
 
|-
 
|-
|Dihedral <math>2</math>-groups || <math>k</math> || No || [[References|[Er87]]] ||
+
|<math>Q_8</math> || <math>\mathcal{O}</math> || No || [[References#E|[Er88a]]], [[References#E|[Er88b]]], [[References#K|[HKL07]]], [[References#E|[Ei16]]] ||
 
|-
 
|-
|Semidihedral <math>2</math>-groups || <math>k</math> || No || [[References|[Er88c], [Er90b]]] ||
+
|<math>Q_8 \times C_{2^n}</math> || <math>\mathcal{O}</math> || No || [[References#E|[EL20]]] ||
 
|-
 
|-
|<math>Q_8</math> || <math>\mathcal{O}</math> || No || [[References|[Er88a], [Er88b], [HKL07], [Ei16]]] ||
+
|<math>Q_8 \times Q_8</math> || <math>\mathcal{O}</math> || No || [[References#E|[EL20]]] ||
 
|-
 
|-
|Generalised quaternion <math>2</math>-groups || No || No || [[References|[Er88a], [Er88b]]] || Donovan's conjecture over <math>k</math> known if <math>l(B) \neq 2</math>
+
|Generalised quaternion <math>2</math>-groups || No || No || [[References#E|[Er88a], [Er88b]]] || Donovan's conjecture over <math>\mathcal{O}</math> known if <math>l(B) \neq 2</math><ref>When <math>l(B) \neq 2</math>, each <math>k</math>-Morita equivalence class lifts uniquely to <math>\mathcal{O}</math> by [[References|[Ei16]]].</ref>
 
|-  
 
|-  
|Minimal nonabelian <math>2</math>-groups <math>\langle x,y:x^{2^r}=y^{2^r}=[x,y]^2=[x,[x,y]]=[y,[x,y]]=1 \rangle</math> || <math>\mathcal{O}</math> || No || [[References|[EKS12]]] ||  
+
|Minimal nonabelian <math>2</math>-groups of the form <math>\langle x,y:x^{2^r}=y^{2^r}=[x,y]^2=[x,[x,y]]=[y,[x,y]]=1 \rangle</math> || <math>\mathcal{O}</math> || No || [[References#E|[EKS12]]] ||
 +
|-
 +
|Metacyclic noncyclic <math>2</math>-groups of nonmaximal class || <math>\mathcal{O}</math> || No || [[References#C|[CG12]]], [[References#S|[Sa12b]]] || All blocks nilpotent
 +
|-
 +
|<math>p_+^{1+2}</math> for <math>p \geq 5</math> || <math>\mathcal{O}</math> || No || [[References#A|[AE23]]] ||
 
|-
 
|-
|Metacyclic <math>2</math>-groups of nonmaximal class || <math>\mathcal{O}</math> || No || [[References|[Sa12b]]] || All blocks nilpotent
+
|<math>C_{2^n} \wr C_2</math> || Principal blocks (<math>\mathcal{O}</math>) || Principal blocks (<math>\mathcal{O}</math>) || [[References#K|[KoLaSa23]]] ||
 
|}
 
|}
 +
 +
== Donovan's conjecture by class of group or block ==
 +
 +
In the table, the column headed Donovan's conjecture indicates whether the conjecture is known over <math>k</math> or <math>\mathcal{O}</math>.
 +
 +
Note that knowing the <math>\mathcal{O}</math>-Donovan conjecture or [[Statements of conjectures #Puig's conjecture|Puig's conjecture]] for blocks for a class of groups does not necessarily mean that the <math>\mathcal{O}</math>-lifts or source algebras of the <math>k</math>-Morita equivalence classes involved are known. This is only known for elements of the Morita equivalence class which occur as blocks of groups in that class.
 +
 +
{| class="wikitable"
 +
|-
 +
! scope="col"| Groups
 +
! scope="col"| Blocks
 +
! scope="col"| Donovan's conjecture
 +
! scope="col"| Puig's conjecture
 +
! scope="col"| References
 +
! scope="col"| Notes
 +
|-
 +
|<math>p</math>-solvable groups || All || <math>\mathcal{O}</math> || Yes || Over <math>k</math> by [[References|[Ku81]]], Puig's conjecture by [[References|[Pu09]]] || See [[References#L|[Li18d,10.6.2]]]
 +
|-
 +
|Symmetric groups || All || <math>\mathcal{O}</math> || Yes || Over <math>k</math> by [[References#S|[Sc91]]], Puig's conjecture by [[References#P|[Pu94]]] ||
 +
|-
 +
|Double covers of symmetric groups || All || <math>\mathcal{O}</math> || Yes || [[References#K|[Ke96]]] ||
 +
|-
 +
|Alternating groups and their double covers || All || <math>\mathcal{O}</math> || Yes || [[References#K|[Ke02], [Ke96]]] ||
 +
|-
 +
|<math>GL_n(q)</math> for fixed <math>q</math> || Unipotent blocks || <math>\mathcal{O}</math> || Yes || Over <math>k</math> by [[References#J|[Jo96]]], Puig's conjecture by [[References#K|[Ke01]]] ||
 +
|-
 +
|Classical groups || Unipotent blocks for linear primes || <math>\mathcal{O}</math> || Yes || [[References#H|[HK00], [HK05]]] || Detailed results beyond those stated here
 +
|-
 +
|Weyl groups of type <math>B, D</math> || All || <math>\mathcal{O}</math> || Yes || [[References#K|[Ke00]]] ||
 +
|-
 +
|Arbitrary groups || Blocks with [[Glossary#Trivial intersection subgroup|trivial intersection]] defect groups || <math>\mathcal{O}</math> || No || [[References#A|[AE04]]] ||
 +
|}
 +
 +
== Weak Donovan conjecture ==
 +
 +
As described in [[References #D|[Dü04]]] the [[Statements of conjectures #Weak Donovans conjecture|Weak Donovan conjecture]] is equivalent to [[Statements of conjectures #Weak Donovans conjecture|bounding the dimensions of the Ext spaces between simple modules]] and [[Statements of conjectures #Weak Donovans conjecture|bounding the Loewy length]]. See [[References #G|[GT19]]] and [[References #S|[Sh20]]] for progress on the former problem.
 +
 +
== Notes ==
 +
 +
<references />

Latest revision as of 09:06, 24 October 2023

Peter Donovan

Donovan's conjecture by [math]p[/math]-group

In the following, the column headed Donovan's conjecture indicates whether the conjecture is known over [math]k[/math] or [math]\mathcal{O}[/math].

[math]p[/math]-groups Donovan's conjecture Puig's conjecture References Notes
Cyclic [math]p[/math]-groups [math]\mathcal{O}[/math] Yes [Li96]
[math]C_2 \times C_2[/math] [math]\mathcal{O}[/math] Yes [CEKL11] Donovan's conjecture without CFSG, Puig using CFSG
Abelian [math]2[/math]-groups [math]\mathcal{O}[/math] No [EEL18]
Abelian [math]3[/math]-groups No No [Ko03] Puig's conjecture known for principal blocks
Dihedral [math]2[/math]-groups [math]k[/math] No [Er87]
Semidihedral [math]2[/math]-groups [math]k[/math] No [Er88c], [Er90b]
[math]Q_8[/math] [math]\mathcal{O}[/math] No [Er88a], [Er88b], [HKL07], [Ei16]
[math]Q_8 \times C_{2^n}[/math] [math]\mathcal{O}[/math] No [EL20]
[math]Q_8 \times Q_8[/math] [math]\mathcal{O}[/math] No [EL20]
Generalised quaternion [math]2[/math]-groups No No [Er88a], [Er88b] Donovan's conjecture over [math]\mathcal{O}[/math] known if [math]l(B) \neq 2[/math][1]
Minimal nonabelian [math]2[/math]-groups of the form [math]\langle x,y:x^{2^r}=y^{2^r}=[x,y]^2=[x,[x,y]]=[y,[x,y]]=1 \rangle[/math] [math]\mathcal{O}[/math] No [EKS12]
Metacyclic noncyclic [math]2[/math]-groups of nonmaximal class [math]\mathcal{O}[/math] No [CG12], [Sa12b] All blocks nilpotent
[math]p_+^{1+2}[/math] for [math]p \geq 5[/math] [math]\mathcal{O}[/math] No [AE23]
[math]C_{2^n} \wr C_2[/math] Principal blocks ([math]\mathcal{O}[/math]) Principal blocks ([math]\mathcal{O}[/math]) [KoLaSa23]

Donovan's conjecture by class of group or block

In the table, the column headed Donovan's conjecture indicates whether the conjecture is known over [math]k[/math] or [math]\mathcal{O}[/math].

Note that knowing the [math]\mathcal{O}[/math]-Donovan conjecture or Puig's conjecture for blocks for a class of groups does not necessarily mean that the [math]\mathcal{O}[/math]-lifts or source algebras of the [math]k[/math]-Morita equivalence classes involved are known. This is only known for elements of the Morita equivalence class which occur as blocks of groups in that class.

Groups Blocks Donovan's conjecture Puig's conjecture References Notes
[math]p[/math]-solvable groups All [math]\mathcal{O}[/math] Yes Over [math]k[/math] by [Ku81], Puig's conjecture by [Pu09] See [Li18d,10.6.2]
Symmetric groups All [math]\mathcal{O}[/math] Yes Over [math]k[/math] by [Sc91], Puig's conjecture by [Pu94]
Double covers of symmetric groups All [math]\mathcal{O}[/math] Yes [Ke96]
Alternating groups and their double covers All [math]\mathcal{O}[/math] Yes [Ke02], [Ke96]
[math]GL_n(q)[/math] for fixed [math]q[/math] Unipotent blocks [math]\mathcal{O}[/math] Yes Over [math]k[/math] by [Jo96], Puig's conjecture by [Ke01]
Classical groups Unipotent blocks for linear primes [math]\mathcal{O}[/math] Yes [HK00], [HK05] Detailed results beyond those stated here
Weyl groups of type [math]B, D[/math] All [math]\mathcal{O}[/math] Yes [Ke00]
Arbitrary groups Blocks with trivial intersection defect groups [math]\mathcal{O}[/math] No [AE04]

Weak Donovan conjecture

As described in [Dü04] the Weak Donovan conjecture is equivalent to bounding the dimensions of the Ext spaces between simple modules and bounding the Loewy length. See [GT19] and [Sh20] for progress on the former problem.

Notes

  1. When [math]l(B) \neq 2[/math], each [math]k[/math]-Morita equivalence class lifts uniquely to [math]\mathcal{O}[/math] by [Ei16].