Computing with Lie groups and algebras: nilpotent orbits and applications. This project aims to advance knowledge of an important class of Lie algebras, for which recent work has shown that a deeper mathematical theory, and better computational tools are required. Lie theory is a mathematical area with rich applications in the physical sciences. Expected outcomes from this project include the first systematic treatment of these algebras, new powerful algorithms to compute with them, and explicit ....Computing with Lie groups and algebras: nilpotent orbits and applications. This project aims to advance knowledge of an important class of Lie algebras, for which recent work has shown that a deeper mathematical theory, and better computational tools are required. Lie theory is a mathematical area with rich applications in the physical sciences. Expected outcomes from this project include the first systematic treatment of these algebras, new powerful algorithms to compute with them, and explicit nilpotent orbit classifications that will solve open problems in black hole theory. This should significantly enhance fundamental mathematical research and the Lie functionality of leading computer algebra systems, and is expected to strengthen international linkages.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE140100088
Funder
Australian Research Council
Funding Amount
$378,628.00
Summary
Computing with matrix groups and Lie algebras: new concepts and applications. Computational algebra combines symbolic computation and pure research in algebra, and is concerned with the design of algorithms for solving mathematical problems endowed with algebraic structure. Matrix groups and Lie algebras are prominent algebraic objects describing the natural concept of symmetry. Despite being very common and important in science, there is a paucity of algorithms to study their structure. This pr ....Computing with matrix groups and Lie algebras: new concepts and applications. Computational algebra combines symbolic computation and pure research in algebra, and is concerned with the design of algorithms for solving mathematical problems endowed with algebraic structure. Matrix groups and Lie algebras are prominent algebraic objects describing the natural concept of symmetry. Despite being very common and important in science, there is a paucity of algorithms to study their structure. This project will develop deep new mathematical theories for computing with these objects, leading to ground-breaking advances in computational algebra, and providing powerful tools facilitating new research, including in other sciences. The new functionality will be used to solve two classification problems in group and Lie theory.Read moreRead less
Representation Theory: Path models and decompositions. The research in this proposal develops tools for capitalising on the benefits of symmetry in large complex systems. These techniques and processes are applicable for solving complex problems in large interactive systems. This project will involve young researchers and train them for problem solving in a wealth of fields, including management, the sciences, the financial industries, and the development of technologies. The research is in o ....Representation Theory: Path models and decompositions. The research in this proposal develops tools for capitalising on the benefits of symmetry in large complex systems. These techniques and processes are applicable for solving complex problems in large interactive systems. This project will involve young researchers and train them for problem solving in a wealth of fields, including management, the sciences, the financial industries, and the development of technologies. The research is in one of the most active cutting edge areas of pure mathematics and will contribute to maintaining Australia's position as a leading nationality in research in representation theory and its applications.
Read moreRead less
Geometric Group Theory. Groups arise naturally as symmetries of geometric objects. Often groups have an interesting geometric structure obtained by thinking of these geometric objects coursely. This project aims to study the subgroup structure of such groups and obtain homological, geometric and algorithmic information. It further investigates natural decompositions of groups with geometric structure along special subgroups so that the factors have simpler properties.{P
Problems of duality for semigroups and other algebras. The theory of natural dualities has emerged as a powerful tool in algebra and its applications, including logic, computer science and theoretical physics. The project aims to apply recently developed techniques to a particular class of mathematical objects of established application in areas such as automata and language theory; namely the class of semigroups. As well as the contribution to the theory of semigroups, the work will provide a ....Problems of duality for semigroups and other algebras. The theory of natural dualities has emerged as a powerful tool in algebra and its applications, including logic, computer science and theoretical physics. The project aims to apply recently developed techniques to a particular class of mathematical objects of established application in areas such as automata and language theory; namely the class of semigroups. As well as the contribution to the theory of semigroups, the work will provide an understanding of the limits and full potential of application of the general theory of natural dualities.Read moreRead less
Subtle Symmetries and the Refined Monster. The project plans to develop a new conceptual framework for the representations and characters of categorical groups. The field of representation theory exploits the symmetries of an object (eg a molecule) in order to facilitate its study. This project aims to investigate the case where the symmetries themselves are related by symmetries. Traditionally often ignored, this subtle but powerful information turns out to be at the heart of various deep pheno ....Subtle Symmetries and the Refined Monster. The project plans to develop a new conceptual framework for the representations and characters of categorical groups. The field of representation theory exploits the symmetries of an object (eg a molecule) in order to facilitate its study. This project aims to investigate the case where the symmetries themselves are related by symmetries. Traditionally often ignored, this subtle but powerful information turns out to be at the heart of various deep phenomena. It is anticipated that the project’s approach recasts and simplifies some important and difficult mathematics, providing a new approach to affine representation theory, to the foundations and symmetries of string theory, and the Refined Monster Conjecture.Read moreRead less
Rigidity in measured group theory and geometric group theory. Elite universities throughout the world have all made a point of being leaders in the field of pure mathematics. Geometric group theory and orbit equivalence are currently topical areas which attract many of the best young pure mathematicians as is demonstrated by recent invited talks at the International Congress of Mathematicians. This project will foster the development of these fields in Australia as well as nurturing existing e ....Rigidity in measured group theory and geometric group theory. Elite universities throughout the world have all made a point of being leaders in the field of pure mathematics. Geometric group theory and orbit equivalence are currently topical areas which attract many of the best young pure mathematicians as is demonstrated by recent invited talks at the International Congress of Mathematicians. This project will foster the development of these fields in Australia as well as nurturing existing efforts and international links. This proposal will also provide training and research experience for Australian honours and graduate students in mathematics.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE160100975
Funder
Australian Research Council
Funding Amount
$307,536.00
Summary
Algebraic groups and Springer theory. This project aims to explore representation theory, which is a study of the basic symmetries that occur in nature. By its nature, representation theory has applications to number theory, physics, national security and internet security, and other sciences. Generalised Springer theory plays an important role in representations of finite groups of Lie type. The project aims to develop an analogous theory in a more general setting that includes symmetric spaces ....Algebraic groups and Springer theory. This project aims to explore representation theory, which is a study of the basic symmetries that occur in nature. By its nature, representation theory has applications to number theory, physics, national security and internet security, and other sciences. Generalised Springer theory plays an important role in representations of finite groups of Lie type. The project aims to develop an analogous theory in a more general setting that includes symmetric spaces. Moreover, the project aims to address various outstanding problems in algebraic groups. The project also plans to explore the connection between the geometry of certain null-cones and deformations of Galois representations.Read moreRead less
Macdonald polynomials: Combinatorics and representations. This proposal is part of the aim to build a world class research team in algebraic combinatorics and combinatorial representation theory at the University of Melbourne, led by the two CI.
These fields are currently experiencing very rapid growth and development, and a strong Australia based team will further enhance the country's strong reputation in combinatorics and algebra.
The project will also provide a perfect training ground fo ....Macdonald polynomials: Combinatorics and representations. This proposal is part of the aim to build a world class research team in algebraic combinatorics and combinatorial representation theory at the University of Melbourne, led by the two CI.
These fields are currently experiencing very rapid growth and development, and a strong Australia based team will further enhance the country's strong reputation in combinatorics and algebra.
The project will also provide a perfect training ground for Higher Degree Students with interests in pure mathematics as well as computer
algebra and symbolic computation.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