Projet COGENT (Horizon Europe, appel à projets 2023)
Action : Doctoral Networks
Panel : Mathematics
Statut du projet : SIGNED

The aim of COGENT is to develop, analyze and apply efficient algorithms in three core areas where computer algebra plays an important role: Cohomology, Geometry and Explicit Number Theory. These will have applications to a broad range of mathematical problems, and will touch as well upon related topics like cryptography and quantum computing. Such applications of mathematics are expected to have a wide-ranging impact on economic and societal problems. Recent years have seen a plethora of high-flying projects and a dazzling variety of applications of methods in computer algebra. One of the emerging challenges is to combine ideas of different areas of computer algebra, to share expertise between them, and to educate young researchers in theoretical and practical methods with a focus of transferring knowledge and training software development skills. COGENT provides an innovative training program to facilitate this and has ambition to stimulate interdisciplinary knowledge exchange between number theorists, algebraists, geometers, computer scientists and industrial actors facing real-life challenges in symbolic computation in order to bridge key knowledge gaps. This will address the urgent need for computer assisted investigations of several longstanding conjectures in mathematics, and EU industry’s need for workers with an advanced mathematical and computational skill set. Not only do we expect to merge the best known tools for these purposes with innovative approaches and ideas to extract previously inaccessible cohomological information of the underlying arithmetic groups, but we also anticipate finding new hitherto unknown concepts as we intend to enhance the currently available data pool by a whole order of magnitude. The latter will allow the researchers to find hidden patterns, with the ambition to form a solid basis for formulating novel cornerstone conjectures, ideally in the spirit of the famous Million-Dollar Birch and Swinnerton-Dyer Conjecture.

Mots clés : cohomology of arithmetic groups, explicit algebraic number theory and k theory, heck operators, voronoi reduction and lattices, computational group theory, proof assistant, quantum computing

Participants :
- Université de Sheffield (Royaume-Uni) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Université de Durham (Royaume-Uni) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Université technique Carolo-Wilhelmina de Brunswick (Allemagne) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 521078.4 €
- Université d'Oklahoma (Etats-Unis) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Colorado State University System (Etats-Unis) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Université du Massachusetts (Etats-Unis) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Université nationale d'Irlande à Galway (Irlande) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 859464.0 €
- Msm programing drustvo s ogranicenom odgovornoscu za usluge (Croatie) — Partner, associated partner, Organismes privés (hors enseignement), subvention : 0.0 €
- Université du Michigan (Etats-Unis) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Université libre d'Amsterdam (Pays-Bas) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 274370.4 €
- ID Quantique (Switzerland) (Suisse) — Partner, associated partner, Organismes privés (hors enseignement), subvention : 0.0 €
- Université Grenoble Alpes (France) — Coordinator, beneficiary, Enseignement supérieur ou secondaire, subvention : 816670.4 €
- Université de Caroline du Nord à Greensboro (Etats-Unis) — Partner, associated partner, Enseignement supérieur ou secondaire, subvention : 0.0 €
- Université de Bordeaux (France) — Partner, beneficiary, Enseignement supérieur ou secondaire, subvention : 282693.6 €