Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unit ....Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unites geometric techniques with powerful methods from operations research, such as linear and discrete optimisation, to build fast, powerful tools that can for the first time systematically solve large topological problems. Theoretically, this project has significant impact on the famous open problem of detecting knottedness in fast polynomial time.Read moreRead less
Topology in seven dimensions. Aims: The project aims to give a complete classification of a certain class of 7-dimensional spaces; namely simply-connected spin 7-manifolds. We also present related programs classify G_2-structures on 7-manifolds.
Significance: the proposed classification will be a signature achievement in the topology of manifolds, with applications likely in both geometry and mathematical physics.
Expected outcomes: The project will produce a series of papers published in high ....Topology in seven dimensions. Aims: The project aims to give a complete classification of a certain class of 7-dimensional spaces; namely simply-connected spin 7-manifolds. We also present related programs classify G_2-structures on 7-manifolds.
Significance: the proposed classification will be a signature achievement in the topology of manifolds, with applications likely in both geometry and mathematical physics.
Expected outcomes: The project will produce a series of papers published in high quality journals and enhanced scientific collaboration between Australia and the United Kingdom.
Benefits: The project will enhance Australia's research reputation by producing excellent research in a field not historically represented in the country.Read moreRead less
Moduli spaces of geometric structures. One of the most spectacular recent advances in mathematics was Perelman's resolution of Thurston's geometrisation program for three-dimensional spaces. This makes it very important to understand sets of geometric structures on such spaces, called moduli spaces. The challenge of this project is to develop practical methods to compute moduli spaces, understand their global properties, and use them to define new invariants giving insights about shape, geometry ....Moduli spaces of geometric structures. One of the most spectacular recent advances in mathematics was Perelman's resolution of Thurston's geometrisation program for three-dimensional spaces. This makes it very important to understand sets of geometric structures on such spaces, called moduli spaces. The challenge of this project is to develop practical methods to compute moduli spaces, understand their global properties, and use them to define new invariants giving insights about shape, geometry and algebra of a space. This is a key problem as moduli spaces describe whether a space is rigid or can be deformed. They are a central object in several fields of mathematics, including geometry and topology, gauge theory, dynamical systems, mathematical physics and invariant theory.Read moreRead less
Invariants, geometric and discrete structures on manifolds. This project aims to develop practical methods for finding geometric and discrete structures on manifolds in both low and high dimensions and advancing our understanding of the information that physics is providing about these spaces. Recently there have been spectacular advances in understanding 3-D spaces and the interaction between ideas in mathematical physics (quantum invariants, string theory) and such spaces. In this project, the ....Invariants, geometric and discrete structures on manifolds. This project aims to develop practical methods for finding geometric and discrete structures on manifolds in both low and high dimensions and advancing our understanding of the information that physics is providing about these spaces. Recently there have been spectacular advances in understanding 3-D spaces and the interaction between ideas in mathematical physics (quantum invariants, string theory) and such spaces. In this project, the first aim is to construct structures with good geometric properties on 3- and 4-manifolds, using triangulations. The second aim is to study combinatorial decompositions of n-manifolds, using our new technique of multisections and also searching for polyhedral metrics of non-positive curvature. The third aim is to connect quantum invariants and geometric structures, again using triangulations.Read moreRead less
Flag varieties and configuration spaces in algebra. School students learn that curves may be described by means of equations, which may therefore be solved geometrically; this is an example of the interaction of algebra and geometry. In this project geometric ideas such as simplicial geometry and cohomological representation theory will be developed, which address deep questions in modern algebra.
Bundle gerbes: generalisations and applications. This project is fundamental, basic research at the forefront of modern differential geometry and its application to physics. It will ensure that Australia is involved in today's mathematical and physical advances and that we have Australian mathematicians trained to take advantage of the future benefits of these advances.
Classical and quantum invariants of low-dimensional manifolds. This project aims to advance our understanding of knots and 3-dimensional spaces, which arise naturally in fields as diverse as physics, computer graphics, chemistry and biology. Recent ideas from quantum field theory link physics to topology in dimensions 3 and 4, leading to powerful invariants of knots and 3-dimensional manifolds that include the Jones polynomial and the 3D-index. This project aims to resolve key questions relating ....Classical and quantum invariants of low-dimensional manifolds. This project aims to advance our understanding of knots and 3-dimensional spaces, which arise naturally in fields as diverse as physics, computer graphics, chemistry and biology. Recent ideas from quantum field theory link physics to topology in dimensions 3 and 4, leading to powerful invariants of knots and 3-dimensional manifolds that include the Jones polynomial and the 3D-index. This project aims to resolve key questions relating these quantum invariants to classical topology and geometry. The project will have a major impact in low-dimensional topology, and lead to deep and unexpected connections between mathematics and mathematical physics.Read moreRead less
Generalised topological spaces. Pure mathematics creates abstractions of real-world entities; one such is the idea of a 'topological space', which abstracts from geometric forms like cubes and toruses. But topological spaces fail to capture geometric structures arising in areas like quantum physics; and this project seeks to rectify this, by developing a new more general notion.
Enriched higher category theory. At the beginning of 21st century it became clear that further progress in mathematics and physics required a development of a new powerful language, which received the name Higher Category Theory. This project is devoted to the development of this new exciting theory.
Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from ....Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from the field of parameterised complexity, creating powerful, practical solutions for these problems. It is expected to shed much-needed light on the vast and puzzling gap between theory and practice, and give researchers fast new software tools for large-scale experimentation and cutting-edge computer proofs.Read moreRead less