Trisections, triangulations and the complexity of manifolds. This project aims at practical representations of 3-dimensional and 4-dimensional spaces as needed in applications. Topology is the mathematical study of the shapes of spaces. Geometry endows spaces with additional structure such as distance, angle and curvature. Special combinatorial structures, such as minimal triangulations, are often closely connected to geometric structures or topological properties. This project aims to construct ....Trisections, triangulations and the complexity of manifolds. This project aims at practical representations of 3-dimensional and 4-dimensional spaces as needed in applications. Topology is the mathematical study of the shapes of spaces. Geometry endows spaces with additional structure such as distance, angle and curvature. Special combinatorial structures, such as minimal triangulations, are often closely connected to geometric structures or topological properties. This project aims to construct computable invariants, connectivity results for triangulations, and algorithms to recognise fundamental topological properties and structures such as trisections and bundles.Read moreRead less
Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially facto ....Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially factor huge groups into smaller building-block groups in a manner akin to factoring an integer into its prime factors. The anticipated goal is to include the outcomes in publicly available symbolic algebra computer packages. As the theory of symmetry has broad applications in the mathematical and physical sciences, there is the potential for far reaching benefits.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
Algebraic Schubert geometry and unitary reflection groups. This project aims to generalise the recent work of Elias and Williamson to the complex case. Fundamental to the study of symmetry are the ubiquitous Coxeter groups, which have an associated set of critically important ‘Kazhdan-Lusztig polynomials’. For some Coxeter groups, these may be interpreted in terms of classical geometry, leading to deep positivity properties for their coefficients. Elias and Williamson have recently shown that th ....Algebraic Schubert geometry and unitary reflection groups. This project aims to generalise the recent work of Elias and Williamson to the complex case. Fundamental to the study of symmetry are the ubiquitous Coxeter groups, which have an associated set of critically important ‘Kazhdan-Lusztig polynomials’. For some Coxeter groups, these may be interpreted in terms of classical geometry, leading to deep positivity properties for their coefficients. Elias and Williamson have recently shown that this geometry may be simulated algebraically for any Coxeter group, so positivity for Kazhdan-Lusztig polynomials holds for all Coxeter groups. This result has explosive consequences in many areas of geometry and algebra. This project is designed to extend these results to complex unitary reflection groups, with potentially dramatic consequences in number theory, representation theory and topology.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE190101231
Funder
Australian Research Council
Funding Amount
$390,000.00
Summary
Integrable systems from gauge theories. This project aims to construct and describe three important integrable systems and to produce new significant results in representation theory and mathematical physics. The focus of the project is the theory of integrable systems, a breakthrough area in modern mathematics, and it will use tools from geometric representation theory to study the interrelation between geometry and mathematical physics. Originating from string theory, the project will not only ....Integrable systems from gauge theories. This project aims to construct and describe three important integrable systems and to produce new significant results in representation theory and mathematical physics. The focus of the project is the theory of integrable systems, a breakthrough area in modern mathematics, and it will use tools from geometric representation theory to study the interrelation between geometry and mathematical physics. Originating from string theory, the project will not only provide a deeper understanding of the universe, it will also train young mathematicians and other highly qualified individuals with the potential to make a significant impact to technology, security, and the economy though their specialised skills.Read moreRead less
Australian Laureate Fellowships - Grant ID: FL200100141
Funder
Australian Research Council
Funding Amount
$3,077,547.00
Summary
Real groups and the Langlands program. This program aims to address deep longstanding questions about real groups, algebraic objects which describe the basic symmetries occurring in nature. The study of these basic symmetries is central in all areas of mathematics and they come up in many applications. The expected outcomes include solving a central 50 year old problem of unitarity as well as making major progress in the Langlands program, a grand unification scheme of mathematics. The benefits ....Real groups and the Langlands program. This program aims to address deep longstanding questions about real groups, algebraic objects which describe the basic symmetries occurring in nature. The study of these basic symmetries is central in all areas of mathematics and they come up in many applications. The expected outcomes include solving a central 50 year old problem of unitarity as well as making major progress in the Langlands program, a grand unification scheme of mathematics. The benefits include raising Australia's international research profile, building a large network of international collaboration with top institutions in the world, and increasing capacity in number theory and algebraic geometry, which are playing an ever more important role in technology. Read moreRead less
Symmetric functions and Hodge polynomials. This project aims to explain a connection between two seemingly disparate mathematical notions: mixed Hodge polynomials of certain varieties, naturally arising in algebraic geometry, and Macdonald polynomials from the theory of symmetric functions. This project will resolve this connection using symmetric function theory, algebraic combinatorics and representation theory. This project could enhance Australia's international reputation in algebraic combi ....Symmetric functions and Hodge polynomials. This project aims to explain a connection between two seemingly disparate mathematical notions: mixed Hodge polynomials of certain varieties, naturally arising in algebraic geometry, and Macdonald polynomials from the theory of symmetric functions. This project will resolve this connection using symmetric function theory, algebraic combinatorics and representation theory. This project could enhance Australia's international reputation in algebraic combinatorics, combinatorial representation theory and algebraic geometry.Read moreRead less
New directions in Hecke algebras. To goal of this project is to make fundamental advances in representation theory, a powerful branch of mathematics focused on taking abstract mathematical structures and ``representing'' them in a concrete and useful way. In particular we aim to prove a series of long standing and influential conjectures by George Lusztig concerning the representation theory of Hecke algebras, objects which are ubiquitous in modern algebra. Our work will lead to new discoveries, ....New directions in Hecke algebras. To goal of this project is to make fundamental advances in representation theory, a powerful branch of mathematics focused on taking abstract mathematical structures and ``representing'' them in a concrete and useful way. In particular we aim to prove a series of long standing and influential conjectures by George Lusztig concerning the representation theory of Hecke algebras, objects which are ubiquitous in modern algebra. Our work will lead to new discoveries, a fundamentally deeper understanding of Kazhdan-Lusztig theory, and will drive future research. Benefits include enhanced international collaboration and increasing capacity in pure mathematics, especially in the cutting-edge area of representation theory.Read moreRead less
Affine flags, folded galleries and euclidean reflection groups. This project aims to answer important geometric questions about subvarieties of the affine flag variety which are fundamental to algebraic geometry and number theory. It will answer basic questions about these central objects of mathematics, affine flags and their subspaces, using powerful new methods which combine ideas from geometry and algebra. The project expects to include finding the patterns of non-emptiness of these subvar ....Affine flags, folded galleries and euclidean reflection groups. This project aims to answer important geometric questions about subvarieties of the affine flag variety which are fundamental to algebraic geometry and number theory. It will answer basic questions about these central objects of mathematics, affine flags and their subspaces, using powerful new methods which combine ideas from geometry and algebra. The project expects to include finding the patterns of non-emptiness of these subvarieties and formulae for their dimension. It will develop and apply new methods which combine folded galleries and the geometry of Euclidean reflection groups, and these methods will have applications in algebraic combinatorics and representation theory. The project will also inspire productive connections between geometric group theory, a new and fast-growing area, and the classical fields of algebraic geometry, algebraic combinatorics and representation theory.Read moreRead less
Finite dimensional integrable systems and differential geometry. Mathematical models of many processes in science (physics, engineering) and in the real world (nature, economics) are governed by complicated systems of differential equations. An important, distinguished class of such models is described by integrable systems, the systems for which one can provide a comprehensive qualitative picture, and in many cases, a complete solution. Using recently developed, powerful methods of integrable s ....Finite dimensional integrable systems and differential geometry. Mathematical models of many processes in science (physics, engineering) and in the real world (nature, economics) are governed by complicated systems of differential equations. An important, distinguished class of such models is described by integrable systems, the systems for which one can provide a comprehensive qualitative picture, and in many cases, a complete solution. Using recently developed, powerful methods of integrable systems and differential geometry, this project will focus on a range of important, interconnected theoretical problems in both disciplines. The expected outcomes will provide new, deep, mathematically and physically significant results which will lead to applications and developments across a range of fields.Read moreRead less