Noncommutative algebraic invariants in topology

William Marsh Rice University, Houston TX

Investigators

Abstract

The Principal Investigator of the project is Tim D. Cochran of William Marsh Rice University in Houston Texas. The broad goal of the project is to find applications of methods of noncommutative algebra to problems in topology, group theory and number theory. Over the last 12 years the PI and collaborators have developed a vast theory of so-called higher-order Alexander modules, linking forms and signatures. These can be associated to knots, links, 3-manifolds, spaces, groups or even surface homeomorphisms. The project will apply these techniques to important open problems in topology and group theory. Specific goals are: to find structure in the smooth knot and link concordance groups, in particular to find structure in the subgroup of smooth concordance classes of topologically slice knots; to prove primary decomposition theorems for terms of the COT filtration of the knot concordance group; to find similar structures and complexity in the homology cobordism classes of hyperbolic 3-manifolds; to find a refinement of Heegaard Floer Knot Homology that better reflects the noncommutativity of the fundamental group of the knot exterior; to use similar techniques to find new elements of homology for subgroups of mapping class groups; to continue to find further relationships between homology equivalence and fundamental group and apply these results to the virtual betti number problem in 3-manifolds. The PI also will extend, to the category of pro-p groups, the foundational results of Stallings, Dwyer, and Cochran-Harvey relating group homology to derived and lower central series. This project studies mathematical aspects of the shape, or topology, of 3-dimensional objects. Shape is crucial to the design of antiviral drugs, the study of networks, search algorithms, satellite recognition of objects, the medical imaging and modeling of human organs and in the function of cellular DNA. Even though all common objects are 3-dimensional in nature, such shapes can be quite complicated. For example, the shape of a large molecule, such as a protein is quite complex, and mostly unknown, despite the fact that such knowledge is vital to the creation of antiviral drugs. How can an imaging device distinguish a tank from a house given only partial data? How can one usefully quantify the shape of a human brain given that all brains are different? The scientific study of shape requires mathematical ideas that can accurately quantify the complex non-linear behavior of such objects. Noncommutative algebra, such as in matrices where AB is not necessarily equal to BA, is necessary to model simple real-life situations. This project will develop new tools in noncommutative mathematics and apply these to specific problems concerning the shape of 3-dimensional objects.