Parametrised gauge theory and positive scalar curvature. This project aims to study innovative extensions of Seiberg-Witten gauge theory with new applications to the topology of metrics of positive scalar curvature on four-dimensional manifolds. Since Atiyah-Bott, Donaldson, Hitchin, and Seiberg-Witten’s work on various equations in gauge theory, profound applications have changed the geometry and topology of low dimensional manifolds. Parametrised index theory has obtained deep results on the t ....Parametrised gauge theory and positive scalar curvature. This project aims to study innovative extensions of Seiberg-Witten gauge theory with new applications to the topology of metrics of positive scalar curvature on four-dimensional manifolds. Since Atiyah-Bott, Donaldson, Hitchin, and Seiberg-Witten’s work on various equations in gauge theory, profound applications have changed the geometry and topology of low dimensional manifolds. Parametrised index theory has obtained deep results on the topology of metrics of positive scalar curvature in higher dimensions, but these methods do not work in the case of the fourth dimension. This project will develop (parametrised) Seiberg-Witten gauge theory as a new approach to the study of the topology of metrics of positive scalar curvature in four dimensions. Expected outcomes include new invariants related to positive scalar curvature in four dimensions.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE200100056
Funder
Australian Research Council
Funding Amount
$403,019.00
Summary
Statistical shape analysis using persistent homology. Statistical shape analysis is the quantitative study of variation in geometric shape. An innovative approach applies concepts from algebraic topology in the form of the persistent homology transform. This project aims to prove mathematical theory relating to the persistent homology transform, to develop new statistical theory and methodology, and to apply this theory to a range of applications including the analysis of bird beaks, human skull ....Statistical shape analysis using persistent homology. Statistical shape analysis is the quantitative study of variation in geometric shape. An innovative approach applies concepts from algebraic topology in the form of the persistent homology transform. This project aims to prove mathematical theory relating to the persistent homology transform, to develop new statistical theory and methodology, and to apply this theory to a range of applications including the analysis of bird beaks, human skulls and boundary contours of stem cells. An anticipated goal is the generation of new and significant theoretical results in topological data analysis. Expected outcomes include a topologically motivated platform for shape analysis that is statistically rigorous and has firm mathematical foundations.
Read moreRead less
Connections in low-dimensional topology. This project aims to resolve important open questions in low-dimensional topology, by connecting hyperbolic geometry to invariants arising from quantum topology, cluster algebras, and spinors.
The spaces studied in this project, namely 3-manifolds and knots, arise in applications across engineering and science. The project expects to generate new insights into these spaces by applying tools connecting them to hyperbolic geometry.
Expected outcomes inclu ....Connections in low-dimensional topology. This project aims to resolve important open questions in low-dimensional topology, by connecting hyperbolic geometry to invariants arising from quantum topology, cluster algebras, and spinors.
The spaces studied in this project, namely 3-manifolds and knots, arise in applications across engineering and science. The project expects to generate new insights into these spaces by applying tools connecting them to hyperbolic geometry.
Expected outcomes include efficient techniques to compute important data about 3-manifolds and knots, particularly certain polynomials encoding geometry, and exact calculations of circle packings.
This should provide significant benefits, such as progress on difficult conjectures in hyperbolic geometry.
Read moreRead less
Advances in index theory. The laws of nature are often expressed in terms of differential equations, which if elliptic, have an index being the number of solutions minus the number of constraints imposed. The Atiyah-Singer Index Theorem gives a striking calculation of this index and the projects involve innovative extensions of this theory with novel applications.
Advances in Index Theory. The laws of nature are often expressed in terms of differential equations which, if 'elliptic', have an 'index' being the number of solutions minus the number of constraints imposed. The Atiyah-Singer Index Theorem gives a striking calculation of this 'index', and this project involves innovative extensions of this theory with novel applications.
Discovery Early Career Researcher Award - Grant ID: DE120102657
Funder
Australian Research Council
Funding Amount
$375,000.00
Summary
Group actions and K-theory: a new direction. This project investigates cutting-edge research in the mathematics of symmetries arising in nature. The aim is to significantly advance the frontiers of our knowledge by introducing new examples, original methods and a modern perspective.
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
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
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