AGAGAP · Algebraic Group Actions in Geometry, Arithmetic, and Physics
Horizon 2020 — Marie Skłodowska-Curie Actions
- Duration
- 2017-08-17 → 2019-08-16
- EU contribution
- €195,455
- Participants
- 1
- Scheme
- MSCA-IF-EF-ST
Lines connect the coordinator with its partners.
Results in brief
Algebraic Group Actions in Geometry, Arithmetic, and Physics
"Symmetry in geometry has historically been a major driver of scientific development, particularly in physics. It also has a broad and seemingly innate appeal to our sense of aesthetics, order and beauty in nature. Mathematicians have a highly evolved set of tools for working with symmetries that are in a sense ""compact"" and localized, like rotational motion. They have a much harder time with symmetries that relate points very far away from each other, like translations. It turns out that many natural ""flows"" can be interpreted in terms of non-compact symmetries. Work of the beneficiary and the supervisor addresses these non-compact flows in a range of geometric, and ultimately physical, settings. This project exploits what may be termed ""hidden non-compact symmetries"" that are canonically attached to many geometric objects. These do not arise as symmetries of the objects themselves, but rather as symmetries of a higher dimensional object, with the original geometric object representing the higher dimensional object ""up to non-compact symmetry"". In effect, each point of the original geometric object represents a non-compact ""flow"" along the higher dimensional object. For a primitive picture, one can think of a cylinder as a higher dimensional object, which reduces to a line, using circular symmetry, and alternately reduces to a circle, using translational symmetry perpendicular to the base. The main idea is that it turns out this canonically associated higher dimensional object, equipped with the symmetry, is often much simpler than the original object. The main goal of the project is to develop and apply tools for these non-compact symmetries to a range of well-known, and in some cases very long standing, problems about the original geometric objects. There are three broad areas of application: geometry, arithmetic (or number theory), and physics of quantum systems. The geometry questions have roots in old problems dating to the time of Newton: given n points in the plane, what is the minimal degree polynomial curve that passes through them (various constraints also can be put on how the curve looks near these points)? Various conjectures and partial results exist, but it is still wide open. For number theory, much like in Fermat's Last Theorem, one can ask how many integer solutions exist to a system of polynomial equations. Refinements of these questions in special cases, about the rate of growth of number of points solving the equations with respect to a natural ""height"" measure, can be studied with the techniques of the project. Finally, in physics, a robust quantum entanglement classification, with application to quantum information, can be studied with these techniques. Quantum information and computing has many potential applications to technology and society as a whole, as has been well-covered in the popular science media."
Data: CORDIS, © European Union
Project objective
Geometry, arithmetic, and quantum physics historically have had many points of intersection. This project will use recent techniques in algebraic group actions, especially those of Kirwan, to address problems of overlapping interest to distinct research groups at the University of Oxford – Algebraic Geometry, Number Theory, Mathematical Physics, and the Centre for Quantum Mathematics and Computation. Consider the following long-standing, a priori unrelated, questions. What is the minimal degree curve that passes through n points in general position in the plane (Nagata conjecture)? What is the growth rate of the number of integer lattice points in a variety (for us, universal torsor over a Fano variety) with respect to a height function (Manin conjecture)? How can one work with quantum entanglements of different qualitative character and associated entropies in a rigorous yetexperimentally friendly way? These open questions turn out to admit a common source, at least in a large class of problems of interest. The crucialingredient is a suitable ""homotopic replacement for a universal torsor"" -- arising, in nice cases, from a key difference with topology, since in algebraic geometry algebraic affine line bundles needn't be vector bundles -- that often allows one to reduce to studying a simpler problem in group actions attached to an affine space rather than to a complicated variety or even more complicated universal torsor.""
Original text from CORDIS.
Participants
- THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD · OxfordCoordinatorUnited Kingdom
Links
Data: CORDIS, © European Union
