This project involves the fields of topology (the mathematical study of shapes) and computational complexity (how to solve questions efficiently using a computer).
This project starts with the study of threemanifolds. A 'threemanifold' is a space that locally looks like the 3D space surrounding us. For example, imagine the complement of a closed, possibly tangled rope (i.e., a knot) inside 3D space. If we can continuously deform one knot into another one without tearing that first knot, we (topologists) consider the two knots to be the same knot. We can find a natural occurrence of such knots in our very own DNA structure, where the topological features of DNA (knots) reflect some inherited characteristics of the person they belong to.
Continuing from threemanifolds, we also look at 2D manifolds, known as 'surfaces', which locally look like geometric planes. Spheres and doughnuts (i.e., a torus, which has one handle) are the simplest examples of surfaces. If we were to remove a small disk from each of these surfaces, we'd get what we refer to as 'a surface with a boundary'. The 'genus' of this surface is the number of handles it has. Topologists have known that an important topological feature of a knot is indeed the 'knot genus'. We can define the genus of a knot (K) as the minimum genus between all, possibly tangled, orientable surfaces whose boundary coincides with K.
Determining the genus of a knot has been a very difficult question for quite some time. Agol, Hass and Thurston showed that if we allow both the knot and the ambient threemanifold to vary, then the question of `knot genus' is `NPcomplete'.
The term 'NPcomplete' deserves further explanation: There are many seemingly different questions across computational knowledge, from network theory to financial markets to internet security, all of which are actually equivalent from the pure mathematical angle. This means that if we have the solution to one of these questions, then we have the master key to unlock them all! Therefore, a solution to one NPcomplete question is the gateway to a huge list of important answers across computational knowledge. This is one of the most fascinating beauties of mathematics: our work may unify these otherwise distant phenomena.
To this date, the only practical way of determining the knot genus involves what is known as the 'theory of foliations'. The theory's terminology is inspired by stratified rocks in geography, which gives a nice visual to the timeless nature and immensity of the kind of space we're talking about.
Moving forth, we understand a foliation of a threemanifold to be a partition of the threemanifold into surfaces (called 'leaves', the terminology being inspired by tree leaves), such that locally, the surfaces fit together no different than a stack of papers. The caveat here is that there can be infinite surfaces as well, something that we do not discuss here. A particularly important class of foliations are called `taut foliations'. Intuitively, a taut foliation has the property such that all its leaves minimize the area (like 'soap films', which are created when two soap bubbles merge and create a thin film between them).
The work of Agol, Hass and Thurston is also important for our understanding of the `P vs. NP question', a famous one that has puzzled computer scientists for decades. The P vs. NP is on the list of milliondollar Millennium Prizes by the Clay Institute, and it is the very basis of data encryption used by the public on a daily basis via the World Wide Web.
My proposed project aims to understand taut foliations and other related notions, and to continue the work of Agol, Hass and Thurston for furthering our understanding of the knot genus questions. This project will create new bridges between different areas of mathematics and computer science and can potentially have important applications to the study of DNA, and our understanding of the P vs NP question.
