Knot homology: theory and computation.
Lead Research Organisation:
Durham University
Department Name: Mathematical Sciences
Abstract
Knots to mathematicians are equivalent to what they are in real life: tangled up pieces of string. To a topologist it doesn't matter if you move the string around in space, so long as you keep the endpoints of the string fixed and you don't use your scissors! In order to distinguish between different knots, topologists compute quantities that don't change as you move the string around.
The research supported by this grant studies a particular class of these quantities (knot homologies) that have been discovered within about the last ten years. In doing this research we aim to prove theorems distinguishing between various knot homologies, and also carry out explicit computational work to understand better the structure of these theories. Interestingly, there are intimate connections of these theories with physics (gauge theory and string theory) so that we expect our research to have relevance even outside the realm of pure mathematics.
The research supported by this grant studies a particular class of these quantities (knot homologies) that have been discovered within about the last ten years. In doing this research we aim to prove theorems distinguishing between various knot homologies, and also carry out explicit computational work to understand better the structure of these theories. Interestingly, there are intimate connections of these theories with physics (gauge theory and string theory) so that we expect our research to have relevance even outside the realm of pure mathematics.
Planned Impact
Impact Summary.
Most people are familiar with the double-helix structure of DNA. What many do not realize is that DNA does not just sit inside the nucleus of a cell as a long strand, but when it gets involved in cell processes it can get twisted up and knotted in the same way that a piece of string can be knotted.
A better analogy than a piece of string is the looped wire of a telephone cord, because this has a similar helical structure to DNA. In using a telephone, the handset can become rotated relative to the main body of the telephone, and this results in energy being stored in the cord. This energy naturally takes the form of what are known as supercoils or plectonemes. This is when two strands wrap around each other, giving rise to another "tertiary" helical structure. The same formation occurs in DNA: when taking part in cell processes, the ends of the DNA strand can become twisted relative to each other resulting in the presence of supercoils in the DNA. The presence of supercoiling is crucial to various biological processes.
In the field of topological biology, configurations of DNA are one of the fundamental objects of study. They are treated as knots and then studied using techniques of low-dimensional topology, recently including some arising from knot homologies (the topic of this grant). What makes this grant particularly interesting from the biological point of view is that the computational side of it concerns knots consisting of these supercoiled structures and so we expect to have particular relevance to topological studies of DNA.
In fact, supercoiling is the native state of DNA in every cell. So both in the cells and in the lab, DNA knots are almost always supercoiled. However, for the purposes of topological experimentation, one of the helices of the double helix is often chemically nicked, releasing the tension and thus removing the supercoiling. Consequently, a hope is that our methods could illuminate more realistic structures than those now detected.
Of course, the potential societal and economic impact of fundamental research into molecular biology is large. For example, understanding the topology of DNA interactions may lead to advances in understanding the genetic basis of predisposition to various medical disorders, for example cancer.
Most people are familiar with the double-helix structure of DNA. What many do not realize is that DNA does not just sit inside the nucleus of a cell as a long strand, but when it gets involved in cell processes it can get twisted up and knotted in the same way that a piece of string can be knotted.
A better analogy than a piece of string is the looped wire of a telephone cord, because this has a similar helical structure to DNA. In using a telephone, the handset can become rotated relative to the main body of the telephone, and this results in energy being stored in the cord. This energy naturally takes the form of what are known as supercoils or plectonemes. This is when two strands wrap around each other, giving rise to another "tertiary" helical structure. The same formation occurs in DNA: when taking part in cell processes, the ends of the DNA strand can become twisted relative to each other resulting in the presence of supercoils in the DNA. The presence of supercoiling is crucial to various biological processes.
In the field of topological biology, configurations of DNA are one of the fundamental objects of study. They are treated as knots and then studied using techniques of low-dimensional topology, recently including some arising from knot homologies (the topic of this grant). What makes this grant particularly interesting from the biological point of view is that the computational side of it concerns knots consisting of these supercoiled structures and so we expect to have particular relevance to topological studies of DNA.
In fact, supercoiling is the native state of DNA in every cell. So both in the cells and in the lab, DNA knots are almost always supercoiled. However, for the purposes of topological experimentation, one of the helices of the double helix is often chemically nicked, releasing the tension and thus removing the supercoiling. Consequently, a hope is that our methods could illuminate more realistic structures than those now detected.
Of course, the potential societal and economic impact of fundamental research into molecular biology is large. For example, understanding the topology of DNA interactions may lead to advances in understanding the genetic basis of predisposition to various medical disorders, for example cancer.
People |
ORCID iD |
Andrew Lobb (Principal Investigator) |
Publications
Baader S
(2017)
On the topological 4-genus of torus knots
in Transactions of the American Mathematical Society
Baader S
(2015)
On the topological 4-genus of torus knots
Baader, Sebastian
(2018)
On the topological 4-genus of torus knots
Baldwin J
(2019)
On the functoriality of Khovanov-Floer theories
in Advances in Mathematics
Baldwin J
(2015)
On the functoriality of Khovanov-Floer theories
Gorsky E
(2015)
On Stable -Homology of Torus Knots
in Experimental Mathematics
Lewark L
(2014)
Rasmussen's spectral sequences and the sl N -concordance invariants
in Advances in Mathematics
Lewark L
(2016)
New quantum obstructions to sliceness
Lewark L
(2015)
New Quantum Obstructions to Sliceness
Lewark L
(2016)
New quantum obstructions to sliceness
in Proceedings of the London Mathematical Society
Description | We have discovered that perturbations of the Khovanov-Rozansky homology have a rich and meaningful structure with applications to smooth 4-dimensional topology. |
Exploitation Route | There are many possible extensions of our results. One tantalizing avenue might be to discover homotopy 4-balls (following a procedure outlined by Freedman et al) and so disprove the smooth Poincare conjecture. |
Sectors | Digital/Communication/Information Technologies (including Software) |
URL | http://maths.dur.ac.uk/users/andrew.lobb/ |
Description | Leverhulme Research Programme Grant |
Amount | £1,692,509 (GBP) |
Organisation | The Leverhulme Trust |
Sector | Charity/Non Profit |
Country | United Kingdom |
Start | 08/2014 |
End | 08/2018 |
Description | Lewark |
Organisation | University of Bern |
Country | Switzerland |
Sector | Academic/University |
PI Contribution | Continued collaboration with Lukas Lewark, who was funded on the EPRSC First Grant, and who is now at Bern. |
Collaborator Contribution | We are in the process of coauthoring publications, while Lukas is continuing to implement the programming side of that project for release in 2015. |
Impact | Outcomes are to appear. |
Start Year | 2014 |