EPSRC logo

Details of Grant 

EPSRC Reference: EP/V050036/1
Title: Categorifying Turbulence in Borel Reducibility
Principal Investigator: Brooke-Taylor, Dr AD
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Pure Mathematics
Organisation: University of Leeds
Scheme: Standard Research - NR1
Starts: 01 June 2021 Ends: 31 May 2022 Value (£): 58,356
EPSRC Research Topic Classifications:
Algebra & Geometry Logic & Combinatorics
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:
Panel DatePanel NameOutcome
01 Dec 2020 EPSRC Mathematical Sciences Small Grants Panel December 2020 Announced
Summary on Grant Application Form
Classification is an idea that is ubiquitous across the sciences. Whether it is animals or elements, particles or stars, the process of characterising possible subgroupings from a broadly defined class of objects or individuals is extremely effective for deepening our understanding. This holds true also in the abstract world of pure mathematics, where the objects being classified are mathematical structures.

Taking a step back, we can understand classifications in very general terms as follows. We have some mathematical objects that we which to classify, possibly up to the identification of objects that are "essentially the same". We have other mathematical objects called "invariants" that we wish to use for the classification (much as colours are used to classify stars, or the number of protons classifies chemical elements), and again there might be a notion of "essentially the same" for the invariants. The classification is then a reasonably definable map taking the objects to be classified to the invariants, respecting these notions of "essentially the same".

The framework of Borel reducibility encapsulates this process, using as well the observation that frequently the objects to be classified and the invariants can be encoded into real numbers, much as information is coded into strings of bits on a computer. With this encoding in place, we can then give a formal characterisation of a "reasonably definable map" as a classification. Crucially, it is sometimes possible to show that no such map exists, thus showing that a hoped-for classification is impossible to find. This has been important for ruling out classifications in varied areas of mathematics such as ergodic theory and the study of C* algebras. A central tool in these impossibility proofs is Hjorth's notion of turbulence.

Although it has been so successful, the Borel reducibility framework falls short in one important regard - it ignores the mappings between objects. In most areas of mathematics, these mappings between the objects are seen as being as important as the objects themselves, and a good classification should respect them. Borel reducibility traditionally takes no account of this however. The PI of this project has a new formulation of Borel reducibility which does take these maps into account. In order to mimic the success of the traditional framework, and prove new impossibility-of-classification results, an analogue of turbulence for this new framework is needed. The goal of this project is to find and prove the fundamental properties of such an analogue of turbulence.

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