01:07:11
publiée le 23 décembre 2025
Organising large proofs: techniques, tools, and future
De Georges Gonthier
Apparaît dans la collection : Skorobogatov 60
A l'aide d'un théorème de dualité en cohomologie plate, dû à Artin, Mazur et Milne, on étudie le défaut de principe de Hasse, d'approximation faible et d'approximation forte sur les espaces homogènes de groupes réductifs à stabilisateurs réductifs, définis sur des corps globaux. Ces résultats étendent le cas désormais bien connu des corps de nombres. Au passage, on démontre des suites de Poitou-Tate pour des complexes de tores. Il s'agit d'un travail en commun avec David Harari.