Block library - Recent changes [en-gb]

Main Page

Charles Eaton — Thu, 08 Oct 2026 10:31:43 GMT

Charles Eaton — Thu, 08 Oct 2026 10:30:50 GMT

Charles Eaton — Thu, 08 Oct 2026 10:28:12 GMT

Charles Eaton — Thu, 08 Oct 2026 10:18:04 GMT

OpenAI claim

@@ Line 15: / Line 15: @@
 </div>
-A resource for progress on [[Statements_of_conjectures#Donovan's conjecture|Donovan's conjecture]] and for the classification of Morita equivalence classes of blocks with a given defect group. The intention is to eventually make the site editable by all, but at the moment it is in its early stages. If you would like to contribute to this site, then please contact [[User:Charles Eaton|Charles Eaton]].
+A resource for progress on [[Statements_of_conjectures#Donovan's conjecture|Donovan's conjecture]] and for the classification of Morita equivalence classes of blocks with a given defect group. The intention is to eventually make the site editable by all, but at the moment it is in its early stages. If you would like to contribute to this site, then please contact [[User:Charles Eaton|Charles Eaton]]. A more detailed account of the purpose and content of the site can be found [[About the site|here]].
 {| style="width: 100%; margin-top:4px; border-spacing: 0px;"

@@ Line 3: / Line 3: @@
 == Donovan's conjecture by <math>p</math>-group ==
-In October 2026 OpenAI released a claimed proof of Donovan's conjecture, with different manuscripts for <math>k</math> and <math>\mathcal{O}</math>, using the classification of finite simple groups. As of 8/10/2026 we are still attempting to check/understand the proof, and this is likely to take some time (especially since we are simultaneously interested in the claimed proof of Alperin's weight conjecture!). Below is an account of progress made before or independently of  the OpenAI proof.
+In October 2026 OpenAI released a claimed proof of Donovan's conjecture, with different manuscripts for <math>k</math> ([[References#O|[OpenAI26a]]]) and <math>\mathcal{O}</math> ([[References#O|[OpenAI26b]]]), using the classification of finite simple groups. As of 8/10/2026 we are still attempting to check/understand the proof, and this is likely to take some time (especially since we are simultaneously interested in the claimed proof of Alperin's weight conjecture!). Puig's conjecture is open, and the OpenAI manuscripts make no claims on this. Below is an account of progress made before or independently of  the OpenAI proof.
 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>.

@@ Line 7: / Line 7: @@
 |[Al80] || '''J. L. Alperin''', ''Local representation theory'', The Santa Cruz Conference on Finite Groups., Proc. Sympos. Pure Math. '''37''' (1980), 369-375.
 |-
-|[AE81] || '''J. L. Alperin and L. Evens''', ''Representations, resoluutions and Quillen's dimension theorem'', J. Pure Appl. Algebra '''22''' (1981), 1-9.
+|[AE81] || '''J. L. Alperin and L. Evens''', ''Representations, resolutions and Quillen's dimension theorem'', J. Pure Appl. Algebra '''22''' (1981), 1-9.
 |-
 |[AE04] || '''Jianbei An and C. W. Eaton''', ''Blocks with trivial intersection defect groups'', Math. Z. '''247''' (2004), 461-486.
@@ Line 216: / Line 216: @@
 |- id="O"
 |[Ok97] || '''T. Okuyama''', ''Some examples of derived equivalent blocks of finite groups'', preprint (1997).
 |- id="P"
 |[Pu88]|| '''L. Puig''', ''Nilpotent blocks and their source algebras'', Invent. Math. '''93''' (1988), 77-116.

← Older revision		Revision as of 10:18, 8 October 2026
Line 2:		Line 2:

	== Donovan's conjecture by <math>p</math>-group ==		== Donovan's conjecture by <math>p</math>-group ==
		+
		+	In October 2026 OpenAI released a claimed proof of Donovan's conjecture, with different manuscripts for <math>k</math> and <math>\mathcal{O}</math>, using the classification of finite simple groups. As of 8/10/2026 we are still attempting to check/understand the proof, and this is likely to take some time (especially since we are simultaneously interested in the claimed proof of Alperin's weight conjecture!). Below is an account of progress made before or independently of the OpenAI proof.

	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 [[Statements of conjectures #Donovan's conjecture\|Donovan's conjecture]] indicates whether the conjecture is known over <math>k</math> or <math>\mathcal{O}</math>.