Difference between revisions of "Statements of conjectures"

From Block library
Jump to: navigation, search
(Major edit)
Line 1: Line 1:
'''Donovan's Conjecture'''
+
== Donovan's Conjecture ==
  
Let P be a finite p-group and k an algebraically closed field of characteristic p. Then there are only finitely many possible Morita equivalence classes for blocks of <math>kG</math> for finite groups G with defect group isomorphic to P.
+
Donovan's conjecture can be stated over a field or a complete discrete valuation ring. It is usual to assume the field is algebraically closed, and it is no loss to assume it is the algebraic closure <math>k</math> of the field with <math>p</math> elements, as in [[Notation|the notation section]].
 +
 
 +
<div class="boxed">
 +
=== <math>k</math>-Donovan conjecture ===
 +
Let <math>P</math> be a finite <math>p</math>-group. Then there are only finitely many possible Morita equivalence classes for blocks of <math>kG</math> for finite groups G with defect group isomorphic to <math>P</math>.
 +
</div>
 +
 
 +
The situation with choice of discrete valuation ring is a little more complicated, as discussed in [[Notation|the notation section]], and we take <math>\mathcal{O}</math> to be the ring of Witt vectors for <math>k</math>.
 +
 
 +
<div class="boxed">
 +
=== <math>\mathcal{O}</math>-Donovan conjecture ===
 +
Let <math>P</math> be a finite <math>p</math>-group. Then there are only finitely many possible Morita equivalence classes for blocks of <math>\mathcal{O} G</math> for finite groups G with defect group isomorphic to <math>P</math>.
 +
</div>
 +
 
 +
== Weak Donovan conjecture ==
 +
 
 +
This arose as a question of Brauer (where he asked whether the Cartan invariants (the entries of the Cartan matrix) are bounded by the order of a defect group). The answer to Brauer's precise question is no, but Donovan asked the more general question:
 +
 
 +
<div class="boxed">
 +
=== Weak Donovan conjecture ===
 +
Let <math>P</math> be a finite <math>p</math>-group. Then there is <math>c=c(P) \in \mathbb{N}</math> such that for all blocks of <math>kG</math> for finite groups G with defect group isomorphic to <math>P</math>, the Cartan invariants are at most <math>c</math>.
 +
</div>
 +
 
 +
== Morita-Frobenius number conjectures ==
 +
 
 +
In [[References|[Ke05] ]] Kessar showed that the <math>k</math>-Donovan conjecture is equivalent to the Weak Donovan conjecture together with the following.
 +
 
 +
<div class="boxed">
 +
=== Kessar's conjecture ===
 +
Let <math>P</math> be a finite <math>p</math>-group-group. Then there is $m=m(P) \in \mathbb{N}$ such that if <math>G</math> is a finite group and <math>B</math> is a block of <math>kG</math> with defect groups isomorphic to <math>P</math>, then <math>{\rm mf}_k(B) \leq m</math>.
 +
</div>
 +
 
 +
This may be reformulated over <math>\mathcal{O}</math>.
 +
 
 +
<div class="boxed">
 +
=== <math>\mathcal{O}</math>-Kessar conjecture ===
 +
Let <math>P</math> be a finite <math>p</math>-group-group. Then there is $m=m(P) \in \mathbb{N}$ such that if <math>G</math> is a finite group and <math>B</math> is a block of <math>\mathcal{O} G</math> with defect groups isomorphic to <math>P</math>, then <math>{\rm mf}_\mathcal{O}(B) \leq m</math>.
 +
</div>
 +
 
 +
This conjecture is considered in an equivalent form in [[References|[EL18b] ]].
 +
 
 +
== Puig's conjecture ==
 +
 
 +
The following conjecture is very natural, but since it is very hard to reduce to quasisimple groups is known in very few cases.
 +
 
 +
<div class="boxed">
 +
=== Puig's conjecture ===
 +
Let <math>P</math> be a finite <math>p</math>-group. Then there are only finitely many possible isomorphism classes source algebras for blocks of <math>kG</math> for finite groups G with defect group isomorphic to <math>P</math>.
 +
</div>
 +
 
 +
Here we mean an isomorphism of interior algebras.
 +
 
 +
== Broué's conjecture ==
 +
 
 +
This may be stated in several different forms. The basic version that we take here is:
 +
 
 +
<div class="boxed">
 +
=== Broué's conjecture ===
 +
Let <math>G</math> be a finite group and <math>B</math> be a block of <math>\mathcal{O} G</math> with abelian defect group <math>D</math>. Let <math>B</math> be the unique block of <math>\mathcal{O} N_G(D)</math> with Brauer correspondent <math>B</math>. Then <math>B</math> is derived equivalent to <math>b</math>. 
 +
</div>
 +
 
 +
It is expected that further there should be a splendid derived equivalence, and even that there should be a perverse equivalence (see [[References|[CR13] ]]).

Revision as of 15:30, 30 August 2018

Donovan's Conjecture

Donovan's conjecture can be stated over a field or a complete discrete valuation ring. It is usual to assume the field is algebraically closed, and it is no loss to assume it is the algebraic closure [math]k[/math] of the field with [math]p[/math] elements, as in the notation section.

[math]k[/math]-Donovan conjecture

Let [math]P[/math] be a finite [math]p[/math]-group. Then there are only finitely many possible Morita equivalence classes for blocks of [math]kG[/math] for finite groups G with defect group isomorphic to [math]P[/math].

The situation with choice of discrete valuation ring is a little more complicated, as discussed in the notation section, and we take [math]\mathcal{O}[/math] to be the ring of Witt vectors for [math]k[/math].

[math]\mathcal{O}[/math]-Donovan conjecture

Let [math]P[/math] be a finite [math]p[/math]-group. Then there are only finitely many possible Morita equivalence classes for blocks of [math]\mathcal{O} G[/math] for finite groups G with defect group isomorphic to [math]P[/math].

Weak Donovan conjecture

This arose as a question of Brauer (where he asked whether the Cartan invariants (the entries of the Cartan matrix) are bounded by the order of a defect group). The answer to Brauer's precise question is no, but Donovan asked the more general question:

Weak Donovan conjecture

Let [math]P[/math] be a finite [math]p[/math]-group. Then there is [math]c=c(P) \in \mathbb{N}[/math] such that for all blocks of [math]kG[/math] for finite groups G with defect group isomorphic to [math]P[/math], the Cartan invariants are at most [math]c[/math].

Morita-Frobenius number conjectures

In [Ke05] Kessar showed that the [math]k[/math]-Donovan conjecture is equivalent to the Weak Donovan conjecture together with the following.

Kessar's conjecture

Let [math]P[/math] be a finite [math]p[/math]-group-group. Then there is $m=m(P) \in \mathbb{N}$ such that if [math]G[/math] is a finite group and [math]B[/math] is a block of [math]kG[/math] with defect groups isomorphic to [math]P[/math], then [math]{\rm mf}_k(B) \leq m[/math].

This may be reformulated over [math]\mathcal{O}[/math].

[math]\mathcal{O}[/math]-Kessar conjecture

Let [math]P[/math] be a finite [math]p[/math]-group-group. Then there is $m=m(P) \in \mathbb{N}$ such that if [math]G[/math] is a finite group and [math]B[/math] is a block of [math]\mathcal{O} G[/math] with defect groups isomorphic to [math]P[/math], then [math]{\rm mf}_\mathcal{O}(B) \leq m[/math].

This conjecture is considered in an equivalent form in [EL18b] .

Puig's conjecture

The following conjecture is very natural, but since it is very hard to reduce to quasisimple groups is known in very few cases.

Puig's conjecture

Let [math]P[/math] be a finite [math]p[/math]-group. Then there are only finitely many possible isomorphism classes source algebras for blocks of [math]kG[/math] for finite groups G with defect group isomorphic to [math]P[/math].

Here we mean an isomorphism of interior algebras.

Broué's conjecture

This may be stated in several different forms. The basic version that we take here is:

Broué's conjecture

Let [math]G[/math] be a finite group and [math]B[/math] be a block of [math]\mathcal{O} G[/math] with abelian defect group [math]D[/math]. Let [math]B[/math] be the unique block of [math]\mathcal{O} N_G(D)[/math] with Brauer correspondent [math]B[/math]. Then [math]B[/math] is derived equivalent to [math]b[/math].

It is expected that further there should be a splendid derived equivalence, and even that there should be a perverse equivalence (see [CR13] ).