EPSRC Reference: 
EP/J012718/1 
Title: 
Hopf algebroids and operads 
Principal Investigator: 
Kraehmer, Dr U 
Other Investigators: 

Researcher CoInvestigators: 

Project Partners: 

Department: 
School of Mathematics & Statistics 
Organisation: 
University of Glasgow 
Scheme: 
First Grant  Revised 2009 
Starts: 
01 September 2012 
Ends: 
31 August 2014 
Value (£): 
99,015

EPSRC Research Topic Classifications: 

EPSRC Industrial Sector Classifications: 
No relevance to Underpinning Sectors 


Related Grants: 

Panel History: 

Summary on Grant Application Form 
One of the first steps in most mathematical theories is to exhibit the full structure of the objects under consideration. For example, the set of integers alone is not the structure one is after in number theory, there are the operations of addition and multiplication, and only the whole package gives rise to truly deep questions and applications.
In this research project, we will study such algebraic structures that are present on the cohomology of certain mathematical objects. Recall that there is for example the (say integral) cohomology of a topological space. This is an invariant that encodes essential information about a given space and can be used e.g. to prove rigorously that a sphere can not be deformed into a torus. Similarly there is the cohomology of a group, an algebra and most other objects in algebra, topology or geometry, and these invariants have found a wide range of applications not only within the area that has defined them. For example, the behaviour of certain field theories in physics is understood via topological charges associated to fields, and these are nothing but elements of the cohomology of the spacetime on which the theory lives.
Now, what type of structure do these cohomologies have? In pretty much every example they have a natural addition, and in many cases they also have a multiplication, so they become a ring like the integers. However, often there is more, namely a socalled Gerstenhaber bracket which is a third operation that is compatible with the two others in a prescribed manner. The precise axioms look more mysterious than that of an addition and a multiplication, and this might prompt the question whether this structure is really so natural and fascinating. Fortunately, there are enough results such as for example Kontsevich's famous formality theorem that demonstrate how relevant this structure is, and how farreaching applications can emerge from a better understanding of its properties; see the main part of the proposal for further details.
The concrete research that will be carried out in this project will further clarify for which type of cohomology theories there is such a third operation, and what the properties of the resulting algebraic structure tell us about the original object whose cohomology we are talking about.
An important aspect of the project will be the language and setting in which the questions will be studied. There are roughly speaking two main approaches to all this, one called operads and one called derived categories, and we will investigate in how far results already obtained in one of them have analogues in the other. The principal investigator has been working in one of the two settings so far, thus an important objective is to learn also the other language, and to stimulate interaction and communication between the two communities.
Dually to cohomology there is an invariant called homology  for instance, the cohomology of a finite group with coefficients in a complex representation is the subspace of the representation on which the group acts trivially, whereas the homology is the (largest) quotient space on which it does so. On homology, potential additional algebraic structures are an action of the cohomology ring, or a certain differential that gives rise to a second notion of homology called cyclic homology. In particularly nice cases, cohomology and homology turn out to be isomorphic, and the isomorphism relates the Gerstenhaber bracket and the cyclic differential in what is called a BatalinVilkovisky algebra. To understand when this happens and what is the role of these algebraic structures that first were introduced in a completely different context, namely quantum field theory, is a longterm objective of this project.

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