Extension of representations and homogeneous spaces. The CI is an early-career researcher who is establishing her research program. The proposed project will allow her to broaden the scope of this program by involving other young Australians, including students. The project involves taking a new approach to a classical problem in representation theory; the outcomes will be of interest to a broad range of the mathematical community in Australia and overseas.
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
Equivalence Relations, Group Actions, and Descriptive Set Theory. This project is a contribution to basic and foundational research in the area of Pure Mathematics generally and Mathematical Logic specifically. Logic in particular appears in disciplines as diverse as Computer Science,Linguistics, and Philosophy, and the development of logic in these fields has been profoundly influenced by the foundational work of mathematical logicians. The innovative techniques introduced in this proposal will ....Equivalence Relations, Group Actions, and Descriptive Set Theory. This project is a contribution to basic and foundational research in the area of Pure Mathematics generally and Mathematical Logic specifically. Logic in particular appears in disciplines as diverse as Computer Science,Linguistics, and Philosophy, and the development of logic in these fields has been profoundly influenced by the foundational work of mathematical logicians. The innovative techniques introduced in this proposal will enable Australia to maintain a position at the forefront of Pure Mathematics, and by recruiting a recent winner of the highly prestigious Karp prize the country will be instantly established as one of the leading centers of Mathematical Logic.Read moreRead less
Algorithmic approaches to braids and their generalisations. This project combines theoretical methods from pure mathematics with computational experiments in order to gain new knowledge. The objects of interest, so-called braid groups and generalisations, are important for many fields of mathematics, but also have applications for data security. Both the theoretical outcomes of this project and the algorithms developed will strengthen Australia as a centre of cutting-edge research in computatio ....Algorithmic approaches to braids and their generalisations. This project combines theoretical methods from pure mathematics with computational experiments in order to gain new knowledge. The objects of interest, so-called braid groups and generalisations, are important for many fields of mathematics, but also have applications for data security. Both the theoretical outcomes of this project and the algorithms developed will strengthen Australia as a centre of cutting-edge research in computational algebra. Moreover, the results can lead to new technologies for protecting confidential data, which are more efficient and hence cheaper to implement than existing alternatives. Secure identification of legitimate users in the context of online banking is one possible field of application.Read moreRead less
Group algorithms: Complexity, Theory and Practice. The symmetry of a mathematical or physical system is often best described by an abstract structure called a group, and groups are commonly represented as groups of permutations or matrices. In this project we shall design and analyse a general algorithmic framework for computing with finite groups. In the context of permutation groups and matrix groups we will produce prototype implementations. The proposed framework has the potential to revolut ....Group algorithms: Complexity, Theory and Practice. The symmetry of a mathematical or physical system is often best described by an abstract structure called a group, and groups are commonly represented as groups of permutations or matrices. In this project we shall design and analyse a general algorithmic framework for computing with finite groups. In the context of permutation groups and matrix groups we will produce prototype implementations. The proposed framework has the potential to revolutionise algorithmic group theory as it draws together theoretical and computational models of groups.Read moreRead less
Computing with large groups: probability distributions and fast randomised algorithms. Fast algorithms produced by the project will impact on the practical management of symmetry in large scale searches, which have important industrial applications. Hence the project addresses the Priority Goals Breakthrough Science and Smart Information Use. The project will enhance Australia's leading position in Computational Algebra. Implementations of our algorithms will be incorporated in the Computer Alge ....Computing with large groups: probability distributions and fast randomised algorithms. Fast algorithms produced by the project will impact on the practical management of symmetry in large scale searches, which have important industrial applications. Hence the project addresses the Priority Goals Breakthrough Science and Smart Information Use. The project will enhance Australia's leading position in Computational Algebra. Implementations of our algorithms will be incorporated in the Computer Algebra system Magma, based at the University of Sydney, distributed world-wide, and used intensively in research and teaching. The project will attract international and Australian graduate students and postdoctoral researchers, and strengthen research activities in Australia by enhancing already strong international collaborations. Read moreRead less
Totally disconnected groups and their algebras. Groups are algebraic objects which convey symmetry much as
numbers convey size. For example, the symmetries of a
crystal form a crystallographic group and the classification of
crystallographic groups describes all possible crystal
structures. Totally disconnected groups arise as
symmetries of network structures having nodes and a `neighbour'
relation, as models of crystals do, but which are not rigid like
crystals. Powerful techniques for a ....Totally disconnected groups and their algebras. Groups are algebraic objects which convey symmetry much as
numbers convey size. For example, the symmetries of a
crystal form a crystallographic group and the classification of
crystallographic groups describes all possible crystal
structures. Totally disconnected groups arise as
symmetries of network structures having nodes and a `neighbour'
relation, as models of crystals do, but which are not rigid like
crystals. Powerful techniques for analysing totally
disconnected groups have recently been discovered and this
project aims to develop those techniques. The resulting
significant advances in the understanding of symmetry will
extend the range of applications of
group theory.
Read moreRead less
Lie-type methods for totally disconnected groups. Groups are algebraic objects which convey symmetry, much as numbers convey size. For example, the rotations of a sphere form a group. This rotation group is one of a class known as the Lie groups that is well understood and has important applications. Totally disconnected groups arise as symmetries of network structures having nodes and a `neighbour' relation between nodes. The Australian investigator has discovered powerful methods for analysing ....Lie-type methods for totally disconnected groups. Groups are algebraic objects which convey symmetry, much as numbers convey size. For example, the rotations of a sphere form a group. This rotation group is one of a class known as the Lie groups that is well understood and has important applications. Totally disconnected groups arise as symmetries of network structures having nodes and a `neighbour' relation between nodes. The Australian investigator has discovered powerful methods for analysing totally disconnected groups which have parallels with Lie group techniques. This project will develop these parallels and establish links with international researchers on Lie groups.Read moreRead less
Graded semisimple deformations. Recent advances in representation theory have revealed beautiful new structures in the classical representation theory of the symmetric groups and Hecke algebras. These discoveries have provided us with new algebras, the cyclotomic KLR algebras, that encode deep properties of fundamental objects in algebraic combinatorics and geometric representation theory. The cyclotomic quiver Hecke algebras are central to several open problems in mathematics but they are still ....Graded semisimple deformations. Recent advances in representation theory have revealed beautiful new structures in the classical representation theory of the symmetric groups and Hecke algebras. These discoveries have provided us with new algebras, the cyclotomic KLR algebras, that encode deep properties of fundamental objects in algebraic combinatorics and geometric representation theory. The cyclotomic quiver Hecke algebras are central to several open problems in mathematics but they are still poorly understood, with even basic properties like their dimensions being unknown. This project will establish a new framework for studying these algebras that will remove the current obstacles in this field and alllow us to prove substantial new results that advance the theory.Read moreRead less
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