| EPSRC Reference: |
EP/J012718/1 |
| Title: |
Hopf algebroids and operads |
| Principal Investigator: |
Kraehmer, Dr U |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| 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 space-time 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 so-called 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 far-reaching 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 Batalin-Vilkovisky 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 long-term 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 non-academic 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 |