Discovery Early Career Researcher Award - Grant ID: DE230100303
Funder
Australian Research Council
Funding Amount
$352,200.00
Summary
New Foundations for Algebraic Geometry. Differential calculus is one of the most important and widely applied areas of mathematics. Differential categories are a modern foundational theory of differential calculus with applications throughout mathematics and computing. This project aims to use differential categories to create new foundations for algebraic geometry, and to generate new knowledge on the connection between algebraic and differential geometry. The generality of these foundations wi ....New Foundations for Algebraic Geometry. Differential calculus is one of the most important and widely applied areas of mathematics. Differential categories are a modern foundational theory of differential calculus with applications throughout mathematics and computing. This project aims to use differential categories to create new foundations for algebraic geometry, and to generate new knowledge on the connection between algebraic and differential geometry. The generality of these foundations will allow for novel applications of algebraic geometry with significant benefits to computer science, such as in machine learning and differentiable programming. We expect this to build Australia's profile in these important fields and help train the next generation of mathematicians.Read moreRead less
Categorical representation theory and applications. Symmetry is everywhere, and nature is designed symmetrically: Snails make their shells, spiders design their webs, and bees build hexagonal honeycombs, all based on the concept of symmetry. Symmetry is a general principle which plays an important role in various areas of knowledge and perception, ranging from arts to natural sciences and mathematics.
The 21th century way of the study of symmetries is categorical representation theory. The proj ....Categorical representation theory and applications. Symmetry is everywhere, and nature is designed symmetrically: Snails make their shells, spiders design their webs, and bees build hexagonal honeycombs, all based on the concept of symmetry. Symmetry is a general principle which plays an important role in various areas of knowledge and perception, ranging from arts to natural sciences and mathematics.
The 21th century way of the study of symmetries is categorical representation theory. The project aims are to strengthen this young field by advancing the theory and by finding applications from where its significance arises. The outcome will be new results on categorical representations and this will have benefits within mathematics, cryptography and also in physics/chemistry in the long run.Read moreRead less
Braid groups via representation theory and machine learning. This project aims to address questions about the representation theory of braid groups with important consequences in low-dimensional topology. This project expects to make significant progress on central open problems surrounding knot invariants, and create new tools that will have wide applicability in representation theory. It will pioneer the use of highly innovative methods from category theory and machine learning recently develo ....Braid groups via representation theory and machine learning. This project aims to address questions about the representation theory of braid groups with important consequences in low-dimensional topology. This project expects to make significant progress on central open problems surrounding knot invariants, and create new tools that will have wide applicability in representation theory. It will pioneer the use of highly innovative methods from category theory and machine learning recently developed by the investigators. Potential benefits of this project include: the resolution of important long-standing conjectures about braid groups, the development of emerging technology with significant implications for representation theory, and the training of Australian scientists in a vital area of research.Read moreRead less
Categorical geometry and perfect group schemes. The aims of this project are to construct novel geometric theories based on newly discovered tensor categories, to apply the theories to solve open problems in representation theory, algebra and category theory, and to establish profitable new connections between the influential theories of affine group schemes and classifying spaces. The geometric theories will be developed in a universal way, generalising both classical algebraic geometry and sup ....Categorical geometry and perfect group schemes. The aims of this project are to construct novel geometric theories based on newly discovered tensor categories, to apply the theories to solve open problems in representation theory, algebra and category theory, and to establish profitable new connections between the influential theories of affine group schemes and classifying spaces. The geometric theories will be developed in a universal way, generalising both classical algebraic geometry and super geometry from physics, and specialising to infinitely many new theories. This universality ensures a significantly broader basis for long term applications of geometry in many areas of science. Other benefits include enhanced international collaboration and scientific capacity in Australia.Read moreRead less
Graded Symmetry in Algebra and Analysis. This project will study graded symmetries in mathematics by modelling them as groupoids and inverse semigroups. Groupoids have been at the centre of mathematical interest for a long time, but have gained special prominence in recent years as a focal point for algebra, analysis and dynamics. The majority of groupoids can be naturally graded. The project introduces graded combinatorial invariants for groupoids (such as graded homology) and relates them to t ....Graded Symmetry in Algebra and Analysis. This project will study graded symmetries in mathematics by modelling them as groupoids and inverse semigroups. Groupoids have been at the centre of mathematical interest for a long time, but have gained special prominence in recent years as a focal point for algebra, analysis and dynamics. The majority of groupoids can be naturally graded. The project introduces graded combinatorial invariants for groupoids (such as graded homology) and relates them to their Steinberg and C*-algebra counterparts (such as graded K-theory). The outcome is to give sought-after unified invariants bridging algebra and analysis, and to exhaust the class of groupoids for which these much richer invariants will furnish a complete classification. Read moreRead less