Singularity and regularity for Monge-Ampere type equations. The Monge-Ampere equation, as a premier nonlinear partial differential equation, arises in several areas including geometry, physics, and optimal transportation. Many important problems and applications are related to the regularity of solutions, which are obstructed by singularities. This project aims to classify the geometry of the singular sets, and to establish a comprehensive regularity theory for general Monge-Ampere type equation ....Singularity and regularity for Monge-Ampere type equations. The Monge-Ampere equation, as a premier nonlinear partial differential equation, arises in several areas including geometry, physics, and optimal transportation. Many important problems and applications are related to the regularity of solutions, which are obstructed by singularities. This project aims to classify the geometry of the singular sets, and to establish a comprehensive regularity theory for general Monge-Ampere type equations by using innovative approaches and developing cutting-edge technologies in partial differential equations. Expected outcomes include the resolution of outstanding open problems. This project will significantly enhance Australia’s leadership and expertise in a major area of mathematics and applications.Read moreRead less
Interplay between Ergodic Theory, Additive Combinatorics and Ramsey Theory. This project aims to address fundamental problems in Number Theory and Combinatorics by developing new innovative ergodic theoretic methods. Expected outcomes of the project include finding new patterns in dense subsets of trees, obtaining rigorous number-theoretic results emphasising the independence of addition and multiplication, finding infinite patterns in dense subsets of primes, and developing a multi-dimensional ....Interplay between Ergodic Theory, Additive Combinatorics and Ramsey Theory. This project aims to address fundamental problems in Number Theory and Combinatorics by developing new innovative ergodic theoretic methods. Expected outcomes of the project include finding new patterns in dense subsets of trees, obtaining rigorous number-theoretic results emphasising the independence of addition and multiplication, finding infinite patterns in dense subsets of primes, and developing a multi-dimensional analogue of the dense model theory for primes. This project will provide significant benefits to Australian research via an intensive collaboration with best international and Australian researchers working in ergodic and number theory as well as will be used to educate a new generation of Australian students. 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
A Functional Analysis of the Hypoelliptic Laplacian. Strike a bell, a sphere, or any geometrical object, and it rings. The frequencies of ringing are the mathematical spectrum, which encodes deep secrets about the shape of the object. The spectrum of the hypoelliptic laplacian is known to carry deep truths in mathematics and physics, but it remains difficult to understand. We propose a new analytic foundation, which will replace the so far non-analytical ad hoc approach, and make accessible many ....A Functional Analysis of the Hypoelliptic Laplacian. Strike a bell, a sphere, or any geometrical object, and it rings. The frequencies of ringing are the mathematical spectrum, which encodes deep secrets about the shape of the object. The spectrum of the hypoelliptic laplacian is known to carry deep truths in mathematics and physics, but it remains difficult to understand. We propose a new analytic foundation, which will replace the so far non-analytical ad hoc approach, and make accessible many new results. It is key to better understanding differential equations which lie at the boundary between quantum mechanics and the classical world. This will pave the way for Australian leadership in a new century of differential equations and geometry, and training of young mathematicians.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
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
Pseudorandomness in Number Theory, Dynamics and Cryptography. The aim of the project is to investigate various aspects of randomness, design new and analyse previously known constructions of randomness extractors of practical use. As a dual aim, we will also investigate the pseudorandomness of some classical number-theoretic objects. The significance of this project is in a large number of theoretical and practical applications and in new methods which will be developed. Expected outcomes includ ....Pseudorandomness in Number Theory, Dynamics and Cryptography. The aim of the project is to investigate various aspects of randomness, design new and analyse previously known constructions of randomness extractors of practical use. As a dual aim, we will also investigate the pseudorandomness of some classical number-theoretic objects. The significance of this project is in a large number of theoretical and practical applications and in new methods which will be developed. Expected outcomes include new cryptographically strong hash functions and progress towards several famous open conjectures such as Sarnak’s conjecture. These new results and methods will be highly beneficial for both theoretical mathematics and also for such practical areas as cryptography and information security.Read moreRead less
Monge-Ampere type equations and their applications. The study of Monge-Ampere equations has attracted major attention in mathematics in recent years, due to many significant applications in geometry, physics and applied science. This project aims to resolve challenging problems involving Monge-Ampere type equations, by utilising new ideas and breakthroughs made by the proposer. A comprehensive regularity theory for Monge-Ampere type equations, particularly in the degenerate case, is expected to ....Monge-Ampere type equations and their applications. The study of Monge-Ampere equations has attracted major attention in mathematics in recent years, due to many significant applications in geometry, physics and applied science. This project aims to resolve challenging problems involving Monge-Ampere type equations, by utilising new ideas and breakthroughs made by the proposer. A comprehensive regularity theory for Monge-Ampere type equations, particularly in the degenerate case, is expected to be established. Innovative cutting-edge techniques and interdisciplinary approaches are expected to be developed. Anticipated outcomes of this project include the resolution of outstanding open problems and continuing enhancement of Australian leadership and expertise in a major area of mathematics.Read moreRead less
Categorification and KLR algebras. AIMS This project will solve three problems at the forefront of representation theory: the centre conjecture for graded Hecke algebras, concretely connecting crystals with KLR algebras and describing the grading and radical filtrations Specht modules.
SIGNIFICANCE Solving any of these problems will represent a serious advance in the field and have a lasting impact and creating new areas of research.
EXPECTED OUTCOMES We will remove major bottlenecks in our u ....Categorification and KLR algebras. AIMS This project will solve three problems at the forefront of representation theory: the centre conjecture for graded Hecke algebras, concretely connecting crystals with KLR algebras and describing the grading and radical filtrations Specht modules.
SIGNIFICANCE Solving any of these problems will represent a serious advance in the field and have a lasting impact and creating new areas of research.
EXPECTED OUTCOMES We will remove major bottlenecks in our understanding of KLR algebras.
BENEFITS In addition to the mathematical benefits, the skills and expertise that are required for, and will be enhanced by, this project are readily transferable and highly sought after by industry, including the financial, IT and education sectors.Read moreRead less