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 CoInvestigators: 

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: 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 

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 "Generation2" unified proof of the Classification Theorem. Its strategy differs considerably from the original one. The expected length of the Generation2 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 socalled "pUniqueness 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 Generation2 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 coauthor 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 nonacademic contexts 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk

Impacts 
Description 
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk 
Summary 

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 