The Sakai scheme-Askey table correspondence, analogues of isomonodromy and determinantal point processes. The Australian mathematical sciences enjoys two research groups with active interests on Painleve equations in applied mathematics which are able to address difficult problems. Such a problem is to give a formulation of Sakai's 2001 classification of the Painleve equations in a form most suitable for applications. For this links will be made with a seemingly distinct area of mathematics - t ....The Sakai scheme-Askey table correspondence, analogues of isomonodromy and determinantal point processes. The Australian mathematical sciences enjoys two research groups with active interests on Painleve equations in applied mathematics which are able to address difficult problems. Such a problem is to give a formulation of Sakai's 2001 classification of the Painleve equations in a form most suitable for applications. For this links will be made with a seemingly distinct area of mathematics - the Askey table from the theory of hypergeometric orthogonal polynomials. A number of tractable PhD projects are suggested by this proposal.Read moreRead less
The canonical stratification of jet spaces. Singularities occur everywhere in nature, from the formation and collapse of stars to the morphology of living embryos. They appear whenever the geometry of surfaces or spaces undergoes a process of twisting, folding, or collapsing on itself. Singularity Theory is the study of such phenomena, an important branch of modern mathematics which has close connections with many other branches of mathematics and applied sciences. Singularity Theory lies at the ....The canonical stratification of jet spaces. Singularities occur everywhere in nature, from the formation and collapse of stars to the morphology of living embryos. They appear whenever the geometry of surfaces or spaces undergoes a process of twisting, folding, or collapsing on itself. Singularity Theory is the study of such phenomena, an important branch of modern mathematics which has close connections with many other branches of mathematics and applied sciences. Singularity Theory lies at the crossroads of the paths connecting the most important areas of applications of mathematics with its most abstract parts. Analytic Singularity Theory is a central part of Singularity Theory. This project would lead to substantially new advancements in Analytic Singularity Theory.Read moreRead less
Symmetry in Differential Geometry. Differential geometry is a major branch of mathematics studying shape by using calculus and differential equations. This is a fundamental research project in this area, especially concerned with the interaction between geometry, differential equations, and symmetry. The mathematical notion of symmetry was already formalised early last century and nowadays lies at the very heart of mathematics and physics. Advances in this area provide essential tools in basic s ....Symmetry in Differential Geometry. Differential geometry is a major branch of mathematics studying shape by using calculus and differential equations. This is a fundamental research project in this area, especially concerned with the interaction between geometry, differential equations, and symmetry. The mathematical notion of symmetry was already formalised early last century and nowadays lies at the very heart of mathematics and physics. Advances in this area provide essential tools in basic science and unexpected technological benefits can easily arise (for example, in medical imaging). Fundamental mathematical research is absolutely necessary if Australia is to maintain a presence on the international scientific stage.
Read moreRead less
Classification and Invariants in Complex Differential Geometry. Differential geometry is the study of shape using calculus and differential equations. This is a fundamental research project in this area. Complex differential geometry refers to geometry based on the complex numbers, generally a rich and intriguing setting. Geometries will be distinguished by the construction of suitable invariants, both algebraic and analytic. Classification problems will be solved by these means. Of particular i ....Classification and Invariants in Complex Differential Geometry. Differential geometry is the study of shape using calculus and differential equations. This is a fundamental research project in this area. Complex differential geometry refers to geometry based on the complex numbers, generally a rich and intriguing setting. Geometries will be distinguished by the construction of suitable invariants, both algebraic and analytic. Classification problems will be solved by these means. Of particular interest are geometries with a high degree of symmetry, a critical feature that pervades both mathematics and physics. Twistor theory provides the unifying theme for this project.Read moreRead less
Proper Group Actions in Complex Geometry. The results of the project will enhance Australia's performance in several key mathematical areas as well as mathematical applications to physics critical for expanding Australia's knowledge base and research capability. The project has strong international aspects, it will foster the international competitiveness of Australian research and establish long-term collaborations between Australian researchers and high profile world experts in the area of the ....Proper Group Actions in Complex Geometry. The results of the project will enhance Australia's performance in several key mathematical areas as well as mathematical applications to physics critical for expanding Australia's knowledge base and research capability. The project has strong international aspects, it will foster the international competitiveness of Australian research and establish long-term collaborations between Australian researchers and high profile world experts in the area of the proposal. It will create an opportunity for a Ph.D. graduate to be involved in top-class research as a Research Associate, and will attract Ph.D. and honours students thus enabling research training in a high-quality mathematical environment.Read moreRead less
Normal forms and Chern-Moser connection in the study of Cauchy-Riemann Manifolds. This research project is aimed at a systematic study of Cauchy-Riemann manifolds, their holomorphic mappings and automorphisms, by means of a unifying approach based on
Chern-Moser type normal forms. The importance of Cauchy-Riemann manifolds stems from the fact that they bridge complex structure and holomorphy with the Riemannian nature of real manifolds. Construction of an analogue of the Chern-Moser normal form ....Normal forms and Chern-Moser connection in the study of Cauchy-Riemann Manifolds. This research project is aimed at a systematic study of Cauchy-Riemann manifolds, their holomorphic mappings and automorphisms, by means of a unifying approach based on
Chern-Moser type normal forms. The importance of Cauchy-Riemann manifolds stems from the fact that they bridge complex structure and holomorphy with the Riemannian nature of real manifolds. Construction of an analogue of the Chern-Moser normal form for multicodimensional Levi-nondegenerate CR-manifolds and extension of CR-mappings between them are major goals in complex analysis. Identification of Chern-Moser chains and equivariant linearisation of isotropy automorphisms are major goals in geometry.Read moreRead less
Geometric structures in representation theory. Mathematics underpins every aspect of people's interactions with nature (e.g. physics) and with each other (e.g. finance). Its uses range from formulating physical laws in order to understand and predict nature, to analysis of financial concepts and transactions. This project will formulate and develop three new fundamental mathematical concepts: cellular algebras, eigenspace geometries, and diagram algebras. Benefits include enhancement of Australi ....Geometric structures in representation theory. Mathematics underpins every aspect of people's interactions with nature (e.g. physics) and with each other (e.g. finance). Its uses range from formulating physical laws in order to understand and predict nature, to analysis of financial concepts and transactions. This project will formulate and develop three new fundamental mathematical concepts: cellular algebras, eigenspace geometries, and diagram algebras. Benefits include enhancement of Australia's position at the very frontier of world class mathematical research, and a myriad of potential applications to physics, coding theory, information technology, electronic security and experimental design.Read moreRead less
The geometry of exotic nilpotent cones. This research will describe the geometry of some important objects which sit at the boundary of algebra, geometry, and combinatorics. It has intrinsic value as a significant addition to the heritage of mathematical thought, and will strengthen Australian traditions in these areas of mathematics.
Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Control of Markov jumping processes with constraints. The project outcomes will constitute the set of tools for modelling and optimisation of complex stochastic systems and will lead to new and more precise characterisations of optimal behaviour of complex controllable systems arising in Resource Management, Engineering and Telecommunications. Therefore, the project fits to the research priority areas Breakthrough Science and Frontier Technologies in the topic of mathematical modelling and optim ....Control of Markov jumping processes with constraints. The project outcomes will constitute the set of tools for modelling and optimisation of complex stochastic systems and will lead to new and more precise characterisations of optimal behaviour of complex controllable systems arising in Resource Management, Engineering and Telecommunications. Therefore, the project fits to the research priority areas Breakthrough Science and Frontier Technologies in the topic of mathematical modelling and optimisation of Complex Systems.Read moreRead less