Project acronym AAMOT
Project Arithmetic of automorphic motives
Researcher (PI) Michael Harris
Host Institution (HI) INSTITUT DES HAUTES ETUDES SCIENTIFIQUES
Call Details Advanced Grant (AdG), PE1, ERC-2011-ADG_20110209
Summary The primary purpose of this project is to build on recent spectacular progress in the Langlands program to study the arithmetic properties of automorphic motives constructed in the cohomology of Shimura varieties. Because automorphic methods are available to study the L-functions of these motives, which include elliptic curves and certain families of Calabi-Yau varieties over totally real fields (possibly after base change), they represent the most accessible class of varieties for which one can hope to verify fundamental conjectures on special values of L-functions, including Deligne's conjecture and the Main Conjecture of Iwasawa theory. Immediate goals include the proof of irreducibility of automorphic Galois representations; the establishment of period relations for automorphic and potentially automorphic realizations of motives in the cohomology of distinct Shimura varieties; the construction of p-adic L-functions for these and related motives, notably adjoint and tensor product L-functions in p-adic families; and the geometrization of the p-adic and mod p Langlands program. All four goals, as well as the others mentioned in the body of the proposal, are interconnected; the final goal provides a bridge to related work in geometric representation theory, algebraic geometry, and mathematical physics.
Summary
The primary purpose of this project is to build on recent spectacular progress in the Langlands program to study the arithmetic properties of automorphic motives constructed in the cohomology of Shimura varieties. Because automorphic methods are available to study the L-functions of these motives, which include elliptic curves and certain families of Calabi-Yau varieties over totally real fields (possibly after base change), they represent the most accessible class of varieties for which one can hope to verify fundamental conjectures on special values of L-functions, including Deligne's conjecture and the Main Conjecture of Iwasawa theory. Immediate goals include the proof of irreducibility of automorphic Galois representations; the establishment of period relations for automorphic and potentially automorphic realizations of motives in the cohomology of distinct Shimura varieties; the construction of p-adic L-functions for these and related motives, notably adjoint and tensor product L-functions in p-adic families; and the geometrization of the p-adic and mod p Langlands program. All four goals, as well as the others mentioned in the body of the proposal, are interconnected; the final goal provides a bridge to related work in geometric representation theory, algebraic geometry, and mathematical physics.
Max ERC Funding
1 491 348 €
Duration
Start date: 2012-06-01, End date: 2018-05-31
Project acronym analysisdirac
Project The analysis of the Dirac operator: the hypoelliptic Laplacian and its applications
Researcher (PI) Jean-Michel Philippe Marie-José Bismut
Host Institution (HI) UNIVERSITE PARIS-SUD
Call Details Advanced Grant (AdG), PE1, ERC-2011-ADG_20110209
Summary This proposal is devoted to the applications of a new hypoelliptic Dirac operator,
whose analytic properties have been studied by Lebeau and myself. Its construction connects classical Hodge theory with the geodesic flow, and more generally any geometrically defined Hodge Laplacian with a dynamical system on the cotangent bundle. The proper description of this object can be given in analytic, index theoretic and probabilistic terms, which explains both its potential many applications, and also its complexity.
Summary
This proposal is devoted to the applications of a new hypoelliptic Dirac operator,
whose analytic properties have been studied by Lebeau and myself. Its construction connects classical Hodge theory with the geodesic flow, and more generally any geometrically defined Hodge Laplacian with a dynamical system on the cotangent bundle. The proper description of this object can be given in analytic, index theoretic and probabilistic terms, which explains both its potential many applications, and also its complexity.
Max ERC Funding
1 112 400 €
Duration
Start date: 2012-02-01, End date: 2017-01-31
Project acronym ANIMETRICS
Project Measurement-Based Modeling and Animation of Complex Mechanical Phenomena
Researcher (PI) Miguel Angel Otaduy Tristan
Host Institution (HI) UNIVERSIDAD REY JUAN CARLOS
Call Details Starting Grant (StG), PE6, ERC-2011-StG_20101014
Summary Computer animation has traditionally been associated with applications in virtual-reality-based training, video games or feature films. However, interactive animation is gaining relevance in a more general scope, as a tool for early-stage analysis, design and planning in many applications in science and engineering. The user can get quick and visual feedback of the results, and then proceed by refining the experiments or designs. Potential applications include nanodesign, e-commerce or tactile telecommunication, but they also reach as far as, e.g., the analysis of ecological, climate, biological or physiological processes.
The application of computer animation is extremely limited in comparison to its potential outreach due to a trade-off between accuracy and computational efficiency. Such trade-off is induced by inherent complexity sources such as nonlinear or anisotropic behaviors, heterogeneous properties, or high dynamic ranges of effects.
The Animetrics project proposes a modeling and animation methodology, which consists of a multi-scale decomposition of complex processes, the description of the process at each scale through combination of simple local models, and fitting the parameters of those local models using large amounts of data from example effects. The modeling and animation methodology will be explored on specific problems arising in complex mechanical phenomena, including viscoelasticity of solids and thin shells, multi-body contact, granular and liquid flow, and fracture of solids.
Summary
Computer animation has traditionally been associated with applications in virtual-reality-based training, video games or feature films. However, interactive animation is gaining relevance in a more general scope, as a tool for early-stage analysis, design and planning in many applications in science and engineering. The user can get quick and visual feedback of the results, and then proceed by refining the experiments or designs. Potential applications include nanodesign, e-commerce or tactile telecommunication, but they also reach as far as, e.g., the analysis of ecological, climate, biological or physiological processes.
The application of computer animation is extremely limited in comparison to its potential outreach due to a trade-off between accuracy and computational efficiency. Such trade-off is induced by inherent complexity sources such as nonlinear or anisotropic behaviors, heterogeneous properties, or high dynamic ranges of effects.
The Animetrics project proposes a modeling and animation methodology, which consists of a multi-scale decomposition of complex processes, the description of the process at each scale through combination of simple local models, and fitting the parameters of those local models using large amounts of data from example effects. The modeling and animation methodology will be explored on specific problems arising in complex mechanical phenomena, including viscoelasticity of solids and thin shells, multi-body contact, granular and liquid flow, and fracture of solids.
Max ERC Funding
1 277 969 €
Duration
Start date: 2012-01-01, End date: 2016-12-31
Project acronym ANTICS
Project Algorithmic Number Theory in Computer Science
Researcher (PI) Andreas Enge
Host Institution (HI) INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
Call Details Starting Grant (StG), PE6, ERC-2011-StG_20101014
Summary "During the past twenty years, we have witnessed profound technological changes, summarised under the terms of digital revolution or entering the information age. It is evident that these technological changes will have a deep societal impact, and questions of privacy and security are primordial to ensure the survival of a free and open society.
Cryptology is a main building block of any security solution, and at the heart of projects such as electronic identity and health cards, access control, digital content distribution or electronic voting, to mention only a few important applications. During the past decades, public-key cryptology has established itself as a research topic in computer science; tools of theoretical computer science are employed to “prove” the security of cryptographic primitives such as encryption or digital signatures and of more complex protocols. It is often forgotten, however, that all practically relevant public-key cryptosystems are rooted in pure mathematics, in particular, number theory and arithmetic geometry. In fact, the socalled security “proofs” are all conditional to the algorithmic untractability of certain number theoretic problems, such as factorisation of large integers or discrete logarithms in algebraic curves. Unfortunately, there is a large cultural gap between computer scientists using a black-box security reduction to a supposedly hard problem in algorithmic number theory and number theorists, who are often interested in solving small and easy instances of the same problem. The theoretical grounds on which current algorithmic number theory operates are actually rather shaky, and cryptologists are generally unaware of this fact.
The central goal of ANTICS is to rebuild algorithmic number theory on the firm grounds of theoretical computer science."
Summary
"During the past twenty years, we have witnessed profound technological changes, summarised under the terms of digital revolution or entering the information age. It is evident that these technological changes will have a deep societal impact, and questions of privacy and security are primordial to ensure the survival of a free and open society.
Cryptology is a main building block of any security solution, and at the heart of projects such as electronic identity and health cards, access control, digital content distribution or electronic voting, to mention only a few important applications. During the past decades, public-key cryptology has established itself as a research topic in computer science; tools of theoretical computer science are employed to “prove” the security of cryptographic primitives such as encryption or digital signatures and of more complex protocols. It is often forgotten, however, that all practically relevant public-key cryptosystems are rooted in pure mathematics, in particular, number theory and arithmetic geometry. In fact, the socalled security “proofs” are all conditional to the algorithmic untractability of certain number theoretic problems, such as factorisation of large integers or discrete logarithms in algebraic curves. Unfortunately, there is a large cultural gap between computer scientists using a black-box security reduction to a supposedly hard problem in algorithmic number theory and number theorists, who are often interested in solving small and easy instances of the same problem. The theoretical grounds on which current algorithmic number theory operates are actually rather shaky, and cryptologists are generally unaware of this fact.
The central goal of ANTICS is to rebuild algorithmic number theory on the firm grounds of theoretical computer science."
Max ERC Funding
1 453 507 €
Duration
Start date: 2012-01-01, End date: 2016-12-31
Project acronym BLOWDISOL
Project "BLOW UP, DISPERSION AND SOLITONS"
Researcher (PI) Franck Merle
Host Institution (HI) UNIVERSITE DE CERGY-PONTOISE
Call Details Advanced Grant (AdG), PE1, ERC-2011-ADG_20110209
Summary "Many physical models involve nonlinear dispersive problems, like wave
or laser propagation, plasmas, ferromagnetism, etc. So far, the mathematical under-
standing of these equations is rather poor. In particular, we know little about the
detailed qualitative behavior of their solutions. Our point is that an apparent com-
plexity hides universal properties of these models; investigating and uncovering such
properties has started only recently. More than the equations themselves, these univer-
sal properties are essential for physical modelisation.
By considering several standard models such as the nonlinear Schrodinger, nonlinear
wave, generalized KdV equations and related geometric problems, the goal of this pro-
posal is to describe the generic global behavior of the solutions and the profiles which
emerge either for large time or by concentration due to strong nonlinear effects, if pos-
sible through a few relevant solutions (sometimes explicit solutions, like solitons). In
order to do this, we have to elaborate different mathematical tools depending on the
context and the specificity of the problems. Particular emphasis will be placed on
- large time asymptotics for global solutions, decomposition of generic solutions into
sums of decoupled solitons in non integrable situations,
- description of critical phenomenon for blow up in the Hamiltonian situation, stable
or generic behavior for blow up on critical dynamics, various relevant regularisations of
the problem,
- global existence for defocusing supercritical problems and blow up dynamics in the
focusing cases.
We believe that the PI and his team have the ability to tackle these problems at present.
The proposal will open whole fields of investigation in Partial Differential Equations in
the future, clarify and simplify our knowledge on the dynamical behavior of solutions
of these problems and provide Physicists some new insight on these models."
Summary
"Many physical models involve nonlinear dispersive problems, like wave
or laser propagation, plasmas, ferromagnetism, etc. So far, the mathematical under-
standing of these equations is rather poor. In particular, we know little about the
detailed qualitative behavior of their solutions. Our point is that an apparent com-
plexity hides universal properties of these models; investigating and uncovering such
properties has started only recently. More than the equations themselves, these univer-
sal properties are essential for physical modelisation.
By considering several standard models such as the nonlinear Schrodinger, nonlinear
wave, generalized KdV equations and related geometric problems, the goal of this pro-
posal is to describe the generic global behavior of the solutions and the profiles which
emerge either for large time or by concentration due to strong nonlinear effects, if pos-
sible through a few relevant solutions (sometimes explicit solutions, like solitons). In
order to do this, we have to elaborate different mathematical tools depending on the
context and the specificity of the problems. Particular emphasis will be placed on
- large time asymptotics for global solutions, decomposition of generic solutions into
sums of decoupled solitons in non integrable situations,
- description of critical phenomenon for blow up in the Hamiltonian situation, stable
or generic behavior for blow up on critical dynamics, various relevant regularisations of
the problem,
- global existence for defocusing supercritical problems and blow up dynamics in the
focusing cases.
We believe that the PI and his team have the ability to tackle these problems at present.
The proposal will open whole fields of investigation in Partial Differential Equations in
the future, clarify and simplify our knowledge on the dynamical behavior of solutions
of these problems and provide Physicists some new insight on these models."
Max ERC Funding
2 079 798 €
Duration
Start date: 2012-04-01, End date: 2017-03-31
Project acronym EXPRESSIVE
Project EXPloring REsponsive Shapes for Seamless desIgn of Virtual Environments
be retained
Researcher (PI) Marie-Paule Renée Cani
Host Institution (HI) INSTITUT POLYTECHNIQUE DE GRENOBLE
Call Details Advanced Grant (AdG), PE6, ERC-2011-ADG_20110209
Summary Despite our great expressive skills, we humans lack an easy way of communicating the 3D shapes we imagine, and even more so when it comes to dynamic shapes. Over centuries humans used drawing and sculpture to convey shapes. These tools require significant expertise and time investment, especially if one aims to describe complex or dynamic shapes. With the advent of virtual environments one would expect digital modeling to replace these traditional tools. Unfortunately, conventional techniques in the area have failed, since even trained computer artists still create with traditional media and only use the computer to reproduce already designed content.
Could digital media be turned into a tool, even more expressive and simpler to use than a pen, to convey and refine both static and dynamic 3D shapes? This is the goal of this project. Achieving it will make shape design directly possible in virtual form, from early drafting to progressive refinement and finalization of an idea. To this end, models for shape and motion need to be totally rethought from a user-centered perspective . Specifically, we propose the new paradigm of responsive 3D shapes – a novel representation separating morphology from isometric embedding – to define high-level, dynamic 3D content that takes form, is refined, moves and deforms based on user intent, expressed through intuitive interaction gestures.
Scientifically, while the problem we address belongs to Computer Graphics, it calls for a new convergence with Geometry, Simulation and Human Computer Interaction. In terms of impact, the resulting “expressive virtual pen” for 3D content will not only serve the needs of artists, but also of scientists and engineers willing to refine their thoughts by interacting with prototypes of their objects of study, educators and media aiming at quickly conveying their ideas, as well as anyone willing to communicate a 3D shape This project thus opens up new horizons for science, technology and society.
Summary
Despite our great expressive skills, we humans lack an easy way of communicating the 3D shapes we imagine, and even more so when it comes to dynamic shapes. Over centuries humans used drawing and sculpture to convey shapes. These tools require significant expertise and time investment, especially if one aims to describe complex or dynamic shapes. With the advent of virtual environments one would expect digital modeling to replace these traditional tools. Unfortunately, conventional techniques in the area have failed, since even trained computer artists still create with traditional media and only use the computer to reproduce already designed content.
Could digital media be turned into a tool, even more expressive and simpler to use than a pen, to convey and refine both static and dynamic 3D shapes? This is the goal of this project. Achieving it will make shape design directly possible in virtual form, from early drafting to progressive refinement and finalization of an idea. To this end, models for shape and motion need to be totally rethought from a user-centered perspective . Specifically, we propose the new paradigm of responsive 3D shapes – a novel representation separating morphology from isometric embedding – to define high-level, dynamic 3D content that takes form, is refined, moves and deforms based on user intent, expressed through intuitive interaction gestures.
Scientifically, while the problem we address belongs to Computer Graphics, it calls for a new convergence with Geometry, Simulation and Human Computer Interaction. In terms of impact, the resulting “expressive virtual pen” for 3D content will not only serve the needs of artists, but also of scientists and engineers willing to refine their thoughts by interacting with prototypes of their objects of study, educators and media aiming at quickly conveying their ideas, as well as anyone willing to communicate a 3D shape This project thus opens up new horizons for science, technology and society.
Max ERC Funding
2 498 116 €
Duration
Start date: 2012-04-01, End date: 2017-03-31
Project acronym FlowMachines
Project Flow Machines: Interacting with Style
Researcher (PI) Francois Pachet
Host Institution (HI) UNIVERSITE PIERRE ET MARIE CURIE - PARIS 6
Call Details Advanced Grant (AdG), PE6, ERC-2011-ADG_20110209
Summary Content creation is a fundamental activity for developing identities in modern individuals. Yet creativity is hardly addressed by computer science. This project addresses the issue of content creation from the perspective of Flow machines. Flow machines are interactive systems that learn how to generate content, text or music, in the user’s style. Thanks to controlled generation mechanisms, the user can then steer the machine to generate content that fits with their intentions. Flow interactions induce a multiplicative effect that boosts creativity and prompts the user to reflect on their own style. This vision stems from the success stories of several computer-assisted musical systems that showed how interactive dialogs with self-learning interactions provoke flow states.
To enables full control of stylistic generation, the scientific challenge is the reification of style as a flexible texture. This challenge will be addressed by pursuing three original directions in the fields of statistical learning and combinatorial optimization: 1) the formulation of Markov-based generation as a constraint problem, 2) the development of feature generation techniques for feeding machine learning algorithms and 3) the development of techniques to transform descriptors into controllers.
Two large-scale studies will be conducted with well-known creators using these Flow machines, during which the whole creation process will be recorded, stored, and analyzed, providing the first complete chronicles of professional-level artifacts. The artifacts, a music album and a novel, will be published in their respective ecosystems, and the reaction of the audience will be measured and analyzed to further assess the impact of Flow machines on creation. The technologies developed and the pilot studies will serve as pioneering experiments to turn Flow machines into a field of study and explore other domains of creation.
Summary
Content creation is a fundamental activity for developing identities in modern individuals. Yet creativity is hardly addressed by computer science. This project addresses the issue of content creation from the perspective of Flow machines. Flow machines are interactive systems that learn how to generate content, text or music, in the user’s style. Thanks to controlled generation mechanisms, the user can then steer the machine to generate content that fits with their intentions. Flow interactions induce a multiplicative effect that boosts creativity and prompts the user to reflect on their own style. This vision stems from the success stories of several computer-assisted musical systems that showed how interactive dialogs with self-learning interactions provoke flow states.
To enables full control of stylistic generation, the scientific challenge is the reification of style as a flexible texture. This challenge will be addressed by pursuing three original directions in the fields of statistical learning and combinatorial optimization: 1) the formulation of Markov-based generation as a constraint problem, 2) the development of feature generation techniques for feeding machine learning algorithms and 3) the development of techniques to transform descriptors into controllers.
Two large-scale studies will be conducted with well-known creators using these Flow machines, during which the whole creation process will be recorded, stored, and analyzed, providing the first complete chronicles of professional-level artifacts. The artifacts, a music album and a novel, will be published in their respective ecosystems, and the reaction of the audience will be measured and analyzed to further assess the impact of Flow machines on creation. The technologies developed and the pilot studies will serve as pioneering experiments to turn Flow machines into a field of study and explore other domains of creation.
Max ERC Funding
2 240 120 €
Duration
Start date: 2012-08-01, End date: 2017-07-31
Project acronym GEODYCON
Project Geometry and dynamics via contact topology
Researcher (PI) Vincent Maurice Colin
Host Institution (HI) UNIVERSITE DE NANTES
Call Details Starting Grant (StG), PE1, ERC-2011-StG_20101014
Summary I intend to cross ressources of holomorphic curves techniques and traditional topological methods to study some fundamental questions in symplectic and contact geometry such as:
- The Weinstein conjecture in dimension greater than 3.
- The construction of new invariants for both smooth manifolds and Legendrian/contact manifolds, in particular, try to define an analogue of Heegaard Floer homology in dimension larger than 3.
- The link, in dimension 3, between the geometry of the ambient manifold (especially hyperbolicity) and the dynamical/topological properties of its Reeb vector fields and contact structures.
- The topological characterization of odd-dimensional manifolds admitting a contact structure.
A crucial ingredient of my program is to understand the key role played by open book decompositions in dimensions larger than three.
This program requires a huge amount of mathematical knowledges. My idea is to organize a team around Ghiggini, Laudenbach, Rollin, Sandon and myself, augmented by two post-docs and one PhD student funded by the project. This will give us the critical size to organize a very active working seminar and to have a worldwide attractivity and recognition.
I also plan to invite one confirmed researcher every year (for 1-2 months), to organize one conference and one summer school, as well as several focused weeks.
Summary
I intend to cross ressources of holomorphic curves techniques and traditional topological methods to study some fundamental questions in symplectic and contact geometry such as:
- The Weinstein conjecture in dimension greater than 3.
- The construction of new invariants for both smooth manifolds and Legendrian/contact manifolds, in particular, try to define an analogue of Heegaard Floer homology in dimension larger than 3.
- The link, in dimension 3, between the geometry of the ambient manifold (especially hyperbolicity) and the dynamical/topological properties of its Reeb vector fields and contact structures.
- The topological characterization of odd-dimensional manifolds admitting a contact structure.
A crucial ingredient of my program is to understand the key role played by open book decompositions in dimensions larger than three.
This program requires a huge amount of mathematical knowledges. My idea is to organize a team around Ghiggini, Laudenbach, Rollin, Sandon and myself, augmented by two post-docs and one PhD student funded by the project. This will give us the critical size to organize a very active working seminar and to have a worldwide attractivity and recognition.
I also plan to invite one confirmed researcher every year (for 1-2 months), to organize one conference and one summer school, as well as several focused weeks.
Max ERC Funding
887 600 €
Duration
Start date: 2012-01-01, End date: 2016-12-31
Project acronym GEOPARDI
Project Numerical integration of Geometric Partial Differential Equations
Researcher (PI) Erwan Faou
Host Institution (HI) INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
Call Details Starting Grant (StG), PE1, ERC-2011-StG_20101014
Summary "The goal of this project is to develop new numerical methods for the approximation of evolution equations possessing strong geometric properties such as Hamiltonian systems or stochastic differential equations. In such situations the exact solutions endow with many physical properties that are consequences of the geometric structure: Preservation of the total energy, momentum conservation or existence of ergodic invariant measures. However the preservation of such qualitative properties of the original system by numerical methods at a reasonable cost is not guaranteed at all, even for very precise (high order) methods.
The principal aim of geometric numerical integration is the understanding and analysis of such problems: How (and to which extend) reproduce qualitative behavior of differential equations over long time? The extension of this theory to partial differential equations is a fundamental ongoing challenge, which require the invention of a new mathematical framework bridging the most recent techniques used in the theory of nonlinear PDEs and stochastic ordinary and partial differential equations. The development of new efficient numerical schemes for geometric PDEs has to go together with the most recent progress in analysis (stability phenomena, energy transfers, multiscale problems, etc..)
The major challenges of the project are to derive new schemes by bridging the world of numerical simulation and the analysis community, and to consider deterministic and stochastic equations, with a general aim at deriving hybrid methods. We also aim to create a research platform devoted to extensive numerical simulations of difficult academic PDEs in order to highlight new nonlinear phenomena and test numerical methods."
Summary
"The goal of this project is to develop new numerical methods for the approximation of evolution equations possessing strong geometric properties such as Hamiltonian systems or stochastic differential equations. In such situations the exact solutions endow with many physical properties that are consequences of the geometric structure: Preservation of the total energy, momentum conservation or existence of ergodic invariant measures. However the preservation of such qualitative properties of the original system by numerical methods at a reasonable cost is not guaranteed at all, even for very precise (high order) methods.
The principal aim of geometric numerical integration is the understanding and analysis of such problems: How (and to which extend) reproduce qualitative behavior of differential equations over long time? The extension of this theory to partial differential equations is a fundamental ongoing challenge, which require the invention of a new mathematical framework bridging the most recent techniques used in the theory of nonlinear PDEs and stochastic ordinary and partial differential equations. The development of new efficient numerical schemes for geometric PDEs has to go together with the most recent progress in analysis (stability phenomena, energy transfers, multiscale problems, etc..)
The major challenges of the project are to derive new schemes by bridging the world of numerical simulation and the analysis community, and to consider deterministic and stochastic equations, with a general aim at deriving hybrid methods. We also aim to create a research platform devoted to extensive numerical simulations of difficult academic PDEs in order to highlight new nonlinear phenomena and test numerical methods."
Max ERC Funding
971 772 €
Duration
Start date: 2011-09-01, End date: 2016-08-31
Project acronym GTMT
Project Group Theory and Model Theory
Researcher (PI) Eric Herve Jaligot
Host Institution (HI) CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
Call Details Starting Grant (StG), PE1, ERC-2011-StG_20101014
Summary The project is located between logic and mathematics, more precisely between model theory and group theory. There are extremely difficult questions arising about the model theory of groups, notably the question of the construction of new groups with prescribed algebraic properties and at the same time good model-theoretic properties. In particular, it is an important question, both in model theory and in group theory, to build new stable groups and eventually new nonalgebraic groups with a good dimension notion.
The present project aims at filling these gaps. It is divided into three main directions. Firstly, it consists in the continuation of the classification of groups with a good dimension notion, notably groups of finite Morley rank or related notions. Secondly, it consists in a systematic inspection of the combinatorial and geometric group theory which can be applied to build new groups, keeping a control on their first order theory. Thirdly, and in connection to the previous difficult problem, it consists in a very systematic and general study of infinite permutation groups.
Summary
The project is located between logic and mathematics, more precisely between model theory and group theory. There are extremely difficult questions arising about the model theory of groups, notably the question of the construction of new groups with prescribed algebraic properties and at the same time good model-theoretic properties. In particular, it is an important question, both in model theory and in group theory, to build new stable groups and eventually new nonalgebraic groups with a good dimension notion.
The present project aims at filling these gaps. It is divided into three main directions. Firstly, it consists in the continuation of the classification of groups with a good dimension notion, notably groups of finite Morley rank or related notions. Secondly, it consists in a systematic inspection of the combinatorial and geometric group theory which can be applied to build new groups, keeping a control on their first order theory. Thirdly, and in connection to the previous difficult problem, it consists in a very systematic and general study of infinite permutation groups.
Max ERC Funding
366 598 €
Duration
Start date: 2011-10-01, End date: 2013-12-31