- Ddéfinitions λ(R), Sha(R), Θ(R)
- Hinterprétations (Sha(R) comme obstruction, Θ(R) paramètre d’ordre)
- Oextensions au-delà du relief fondateur
Ce que cela montre
qu’un domaine sans notation propre n’existe pas encore comme domaine. Relief fondateur : mod 30 ; relief candidat : E/ℚ(√−7).
Ce que cela ne prouve pas
une réduction des problèmes du millénaire (gardes de non-réduction).