01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
Appears in 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.