EPSRC logo

Details of Grant 

EPSRC Reference: EP/V05547X/1
Title: Classification of Finite Simple Groups. Groups of even type of medium size.
Principal Investigator: Capdeboscq, Dr I
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Mathematics
Organisation: University of Warwick
Scheme: EPSRC Fellowship
Starts: 01 July 2022 Ends: 30 June 2026 Value (£): 352,511
EPSRC Research Topic Classifications:
Algebra & Geometry
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:
Panel DatePanel NameOutcome
12 Jul 2021 EPSRC Mathematical Sciences Fellowship Interviews July 2021 - Panel B Announced
17 May 2021 EPSRC Mathematical Sciences Prioritisation Panel May 2021 Announced
Summary on Grant Application Form
The Classification of Finite Simple Groups (CFSG) is widely acknowledged to be one of the major results in modern Mathematics.

"The proof is thousands of pages long , involves many researchers and is likely the longest and most complicated proof of a theorem in Mathematics" R.Guralnick.

The original proof of Classification was completed in 2004 with the monumental work of

M.Aschbacher and S.Smith "The Classification of Quasithin Groups" after decades of work of more than 100 mathematicians in hundreds of articles spread over 20,000 journal pages. The work was an incredible collective effort of mathematical community.

The Classification Theorem is used in group and number theory, algebraic and arithmetic geometry, logic, and other areas of mathematics.

Because of the heterogeneity of authors, assumptions, hypotheses and techniques,

books have been written to explain how the original proof of CFSG was constructed.

Even with this help, the task of reading the complete proof would be daunting.

This difficulty was already anticipated early on, and calls for a new unified complete proof of the CFSG started last century.

The aim of the project initiated by D. Gorenstein, R. Lyons and R. Solomon is to produce a new "Generation-2" unified proof of the Classification Theorem. Its strategy differs considerably from the original one. The expected length of the Generation-2 proof is of about 5,000 pages and is projected to span over 12 volumes published by the AMS.

At this moment Volumes 1 through 8 are published, and Volume 9 has been submitted for publication.

As explained by R. Solomon in his progress report, two cases remain: the so-called "p-Uniqueness case" and the case "e(G)=3".

Volumes 10 and 11 of the series are dedicated to the "$p$-Uniqueness case" in a collaborative effort of R. Lyons, R. Solomon and G. Stroth.

The main goal of my involvement in the Generation-2 project is

to produce a part of a new proof of Classification of

Finite Simple Groups in collaboration with R.Lyons, R.Solomon and Ch.Parker.

I am a co-author in Volume 9, and the aim of this proposal is to ask for support

to focus on a key problem in the final 12th Volume.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: http://www.warwick.ac.uk