Algebraic categories and categorical algebra. Algebra is the study of operations, such as addition and multiplication, and the relationships between these operations. This project will study two exciting new branches of algebra, quantum algebra and postmodern algebra, which will lead to important advances in physics, geometry, and computing.
Towards a new concrete theory of cohomology: a fundamental concept in geometry. This project will develop a geometric linearisation method related to Witt vectors, an exotic but important number system. This will let us take one more step towards solving a fifty-year-old mystery: to find the elusive universal linearisation in algebraic geometry, which is the linearisation that controls all the others.
Quantum symmetries: mathematical models for topological matter. This project aims to investigate quantum symmetries, new mathematical objects which allow an algebraic description of topological phases of matter. The project expects to bridge the current gap between our mathematical and physical understandings of these topological phases of matter. The project will develop innovative tools for analysing and constructing new exotic symmetries, and provide an extensive survey of examples. It is exp ....Quantum symmetries: mathematical models for topological matter. This project aims to investigate quantum symmetries, new mathematical objects which allow an algebraic description of topological phases of matter. The project expects to bridge the current gap between our mathematical and physical understandings of these topological phases of matter. The project will develop innovative tools for analysing and constructing new exotic symmetries, and provide an extensive survey of examples. It is expected to build national research capacity in an emerging field and put Australia at the forefront of the mathematics of topological matter.Read moreRead less
Topology through applications: geometry, number theory and physics. Topology is the part of geometry that remains invariant under deformation (as in the inflation of a balloon). We will apply this flexibility to investigate deep problems in several disciplines as diverse as number theory, geometry and the mathematics of string theory.
Explicit methods in number theory: Computation, theory and application. This project aims to use explicit estimates to unify three problems in number theory: primitive roots, Diophantine quintuples, and linear independence of zeroes of the Riemann zeta-function. It will use computational and analytic number theory to reduce the quintuples problem to a soluble level. Pursuing relations between the zeta zeroes will overhaul many current results. This project will apply its findings about primitive ....Explicit methods in number theory: Computation, theory and application. This project aims to use explicit estimates to unify three problems in number theory: primitive roots, Diophantine quintuples, and linear independence of zeroes of the Riemann zeta-function. It will use computational and analytic number theory to reduce the quintuples problem to a soluble level. Pursuing relations between the zeta zeroes will overhaul many current results. This project will apply its findings about primitive roots to signal processing, cryptography and cybersecurity.Read moreRead less
Algebraic evolution and evolutionary algebra. Algebra and biology have developed in extraordinary ways over the last half century yet, to date, the use of algebraic ideas in biology has been limited. This project will address this by modelling evolutionary processes in bacteria using algebraic ideas.
Homomorphic cryptography: computing on encrypted data. This project is driven by the groundbreaking applications of a new cryptographic technology that allows analysis of encrypted (scrambled) data without needing to decrypt (unscramble) it first. The results of this project can be used to enable secure remote data storage, electronic auctions and voting, and protecting medical records.
Enriched categories: Applications in geometry and logic. The project aims to apply enriched categories to fields including algebraic and differential geometry and theoretical computer science. Enriched categories, introduced in Australia in the 1960s, underlie major mathematical results such as Grothendieck’s revolutionary work in algebraic geometry. Emerging scientific areas like higher differential geometry and homotopy type theory urgently need the formalism of enriched categories to be made ....Enriched categories: Applications in geometry and logic. The project aims to apply enriched categories to fields including algebraic and differential geometry and theoretical computer science. Enriched categories, introduced in Australia in the 1960s, underlie major mathematical results such as Grothendieck’s revolutionary work in algebraic geometry. Emerging scientific areas like higher differential geometry and homotopy type theory urgently need the formalism of enriched categories to be made applicable to them. Success in this could rapidly develop these areas and solidify Australia's position as a leading international force in mathematics.Read moreRead less
Quasi-subtractive varieties: a unified framework for substructural, modal and quantum logic. An algebraic theory is proposed that provides a common umbrella for a plethora of non-classical logics. At the same time, it identifies a core that these logics share with classical algebras.
Structure of relations: algebra and applications. Relations and relational structures form the fundamental mathematical essence required for studying computational problems and computational systems. This project will provide new algebraic methods for solving old problems in the theory of relations, informing our understanding of computational complexity and the nature of computing.