EPSRC Reference: 
EP/P016014/1 
Title: 
Higher Dimensional Homological Algebra 
Principal Investigator: 
Jorgensen, Professor P 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
Sch of Maths, Statistics and Physics 
Organisation: 
Newcastle University 
Scheme: 
Standard Research 
Starts: 
01 October 2017 
Ends: 
30 September 2020 
Value (£): 
241,188

EPSRC Research Topic Classifications: 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 

Summary on Grant Application Form 
Classic homological algebra had its origin some 60 years ago in algebraic topology. Since then, it has grown to a theory with applications to many areas of mathematics, including combinatorics, geometry, and representation theory. Classic homological algebra is often phrased as the theory of abelian and triangulated categories.
Higher dimensional homological algebra is a new development of the last decade. It is the theory of nabelian categories and (n+2)angulated categories, where n is a positive integer. In these categories, the role previously played by 1extensions is taken over by nextensions. Note that the case n=1 gives ordinary abelian and triangulated categories, hence classic homological algebra. We refer to (n+2)angulated categories because the case n=1 gives triangulated categories. Higher dimensional homological algebra is currently very active. It has applications to algebraic geometry, combinatorics, and the representation theory of finite dimensional algebras. There are substantial contributions from a number of strong mathematicians (Iyama, Keller, Reiten). Some of the combinatorial structures which appear, like higher dimensional cyclic polytopes, are novel to homological algebra and representation theory.
This project will provide three key items currently missing in higher dimensional homological algebra: Tilting objects, higher dimensional derived categories, and higher dimensional model categories. We will define tilting objects in higher dimensional homological algebra and show a version of the IngallsThomas bijections between support tilting objects, torsion classes, intermediate tstructures, and noncrossing partitions. This will enhance and illuminate the links to combinatorics. We will define higher dimensional derived categories and higher dimensional model categories. This will provide the right context for higher dimensional tilting theory, and give a comprehensive framework for higher dimensional homological algebra.

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.ncl.ac.uk 