Exploratory Experimentation and Computation in the Mathematical Sciences: Theory and Practice. Seemingly disparate mathematical research projects rely on subtle experimental mathematics methods, and have unveiled weaknesses in current computer algebra systems and symbolic-numeric-graphic tools. The project attacks issues of efficiency, effectiveness, reliability, and certifiability in high-precision mathematical and scientific computation. This will be done by developing enhanced tools for advan ....Exploratory Experimentation and Computation in the Mathematical Sciences: Theory and Practice. Seemingly disparate mathematical research projects rely on subtle experimental mathematics methods, and have unveiled weaknesses in current computer algebra systems and symbolic-numeric-graphic tools. The project attacks issues of efficiency, effectiveness, reliability, and certifiability in high-precision mathematical and scientific computation. This will be done by developing enhanced tools for advanced computation of special functions driven by pursuit of challenging research problems. The focus is on tractable components that arose in prior research on effective high-precision algorithms for multiple integrals, such as arise throughout mathematical physics, number theory and elsewhere.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE120102369
Funder
Australian Research Council
Funding Amount
$375,000.00
Summary
Higher representation theory. Representation theory lies at the very centre of mathematics, with applications in all areas of mathematics and mathematical physics; at some level it is about observing the symmetries of a system and exploiting them, and this has been invaluable. This project will explore the forefront of the modern, higher version of this research field.
New constructions and techniques for tensor categories. The goal of this project is to make fundamental advances in the structure theory of tensor categories. Such categories play crucial roles in numerous fields of mathematics, physics and beyond. New methods, theory and examples will be developed, inspired by algebra, representation theory and geometry. These will then be applied in the foundational study of tensor categories for (dis)proving several of the most important open conjectures in t ....New constructions and techniques for tensor categories. The goal of this project is to make fundamental advances in the structure theory of tensor categories. Such categories play crucial roles in numerous fields of mathematics, physics and beyond. New methods, theory and examples will be developed, inspired by algebra, representation theory and geometry. These will then be applied in the foundational study of tensor categories for (dis)proving several of the most important open conjectures in the field. This will open new perspectives for applications in other areas, most notably in representation theory. Other benefits include enhanced international collaboration and scientific capacity in Australia.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE150101161
Funder
Australian Research Council
Funding Amount
$330,000.00
Summary
Quantum Groups and Categorification in Geometric Representation Theory. Representation theory, the mathematical study of symmetry, has applications in diverse areas such as particle physics, computer science, and molecular biology. This project aims to use a new family of quantum groups to prove a network of conjectures about categorical and geometric representation theory. The project aims to answer a long-standing open question in geometric representation theory concerning two families of geom ....Quantum Groups and Categorification in Geometric Representation Theory. Representation theory, the mathematical study of symmetry, has applications in diverse areas such as particle physics, computer science, and molecular biology. This project aims to use a new family of quantum groups to prove a network of conjectures about categorical and geometric representation theory. The project aims to answer a long-standing open question in geometric representation theory concerning two families of geometric spaces underlying the theory of Lie groups. Representation theory is a strength of Australian mathematics, and this project aims to undertake pressing research at the forefront of this dynamic field.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE190101099
Funder
Australian Research Council
Funding Amount
$420,256.00
Summary
Representation theory: studies of symmetry shadows. This project aims to solve fundamental problems in representation theory by combining cutting-edge techniques and developing novel higher level structures. Representation theory is the mathematical study of symmetry, an essential concept in science. Since the 1990s, mathematicians have been observing shadows of a more general notion of symmetry but so far have failed to explain it. Expected outcomes include a structural explanation of these sh ....Representation theory: studies of symmetry shadows. This project aims to solve fundamental problems in representation theory by combining cutting-edge techniques and developing novel higher level structures. Representation theory is the mathematical study of symmetry, an essential concept in science. Since the 1990s, mathematicians have been observing shadows of a more general notion of symmetry but so far have failed to explain it. Expected outcomes include a structural explanation of these shadows, new mathematical software to understand them and solutions to important conjectures. This project will make a significant contribution to the field of representation theory, with ramifications in mathematical physics and computer science.Read moreRead less
New dualities in modular representation theory. This project aims to introduce new geometric techniques in the modular representation theory of the general linear group, and resolve fundamental questions about modular representations of orthogonal and symplectic groups. Representation theory, the mathematical study of symmetry, has applications in many areas ranging from physics to computer science. The modular setting, where the characteristic of the field is positive, is a source of the deepes ....New dualities in modular representation theory. This project aims to introduce new geometric techniques in the modular representation theory of the general linear group, and resolve fundamental questions about modular representations of orthogonal and symplectic groups. Representation theory, the mathematical study of symmetry, has applications in many areas ranging from physics to computer science. The modular setting, where the characteristic of the field is positive, is a source of the deepest conjectures in this subject. Recent breakthroughs have provided approaches to some problems in modular representation theory that were previously inaccessible. This project will promote research at the forefront of the field, and help maintain Australia's international standing. It will train Australian postgraduates, who will be able to apply their research skills in industry, and strengthen the country's ties to a vibrant international community.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE140100633
Funder
Australian Research Council
Funding Amount
$395,169.00
Summary
Problems in the Langlands Program. The Langlands program is an international research program sitting at the interface of number theory, representation theory, algebraic geometry, and mathematical physics. The aim of this project is to prove three conjectures in this program. Settling these conjectures would lead to significant advances in the Langlands program by strengthening connections between this program and the geometry of loop groups, representations of finite groups, and representations ....Problems in the Langlands Program. The Langlands program is an international research program sitting at the interface of number theory, representation theory, algebraic geometry, and mathematical physics. The aim of this project is to prove three conjectures in this program. Settling these conjectures would lead to significant advances in the Langlands program by strengthening connections between this program and the geometry of loop groups, representations of finite groups, and representations of affine Kac-Moody algebras at the critical level.Read moreRead less
Categorical symmetries in representation theory. This project aims to develop categorical symmetries of central objects in mathematics such as braid groups, the Hilbert scheme of points, and the Virasoro algebra. The concept of symmetry is an important organising principle in science. Representation theory is the field of mathematics concerned with studying symmetries. The problems proposed have connections to many different areas including algebra, geometry, topology, and mathematical physics. ....Categorical symmetries in representation theory. This project aims to develop categorical symmetries of central objects in mathematics such as braid groups, the Hilbert scheme of points, and the Virasoro algebra. The concept of symmetry is an important organising principle in science. Representation theory is the field of mathematics concerned with studying symmetries. The problems proposed have connections to many different areas including algebra, geometry, topology, and mathematical physics. This project expects to advance pure mathematics and provide potential benefit in many related fields.Read moreRead less
Low dimensional categories. This project plans to study fundamental examples of higher categories in dimensions 2, 3, and 4, with the goal of understanding their essential features and building appropriate tools and theoretical frameworks for working with them. This work would have applications in several areas of mathematics including representation theory, low dimensional topology and topological quantum computing. Higher categories let us study the possible shapes of space (dimensions 2, 3, a ....Low dimensional categories. This project plans to study fundamental examples of higher categories in dimensions 2, 3, and 4, with the goal of understanding their essential features and building appropriate tools and theoretical frameworks for working with them. This work would have applications in several areas of mathematics including representation theory, low dimensional topology and topological quantum computing. Higher categories let us study the possible shapes of space (dimensions 2, 3, and 4, are the relevant ones for the world we live in), and also the dimensions in which we find the most interesting examples. The project plans to investigate particular examples related to exceptional Lie algebras, fusion categories, and categorical link invariants.Read moreRead less
Topics in triangulated categories. This project in pure mathematics, more specifically in modern homological algebra, builds on work started by the chief investigator in the last five years. What has already been done has achieved striking results, solving very different problems that have been open for two decades. And there seem to be many directions in which it could be pursued further.
The international mathematical community seems intrigued by what the chief investigator has achieved recen ....Topics in triangulated categories. This project in pure mathematics, more specifically in modern homological algebra, builds on work started by the chief investigator in the last five years. What has already been done has achieved striking results, solving very different problems that have been open for two decades. And there seem to be many directions in which it could be pursued further.
The international mathematical community seems intrigued by what the chief investigator has achieved recently - judging by invitations to give prestigious talks and the feedback at these events. The expected outcome is major progress in our understanding of derived categories, as well as diverse applications. The benefit will be to enhance the international stature of Australian science.Read moreRead less