Pro-\(\ell\)-extensions of \(\mathfrak l\)-rational number fields (Q1363097)

Soit \(\ell\) un nombre premier. Un corps de nombres \(K\) contenant les racines \(\ell\)-ièmes de l'unité est \({\mathfrak L}\)-rationnel en une place \(\ell\)-adique (i.e. au dessus de \(\ell)\) \({\mathfrak L}\) lorsque la \(\ell\)-extension \(\ell\)-ramifiée \({\mathfrak L}\)-décomposée maximale de \(K\) est triviale. Lorsque le corps \(K\) est rationnel en son unique place \(\ell\)-adique, on retrouve la notion classique de \(\ell\)-rationalité ou de \(\ell\)-régularité. Mais s'il est rationnel en au moins deux places, il admet en tout et pour tout deux places \(\ell\)-adiques; les auteurs parlent alors de birationalité. Dans une seconde partie, l'interprétation kummérienne de la \({\mathfrak L}\)-rationalité permet d'étendre cette notion au cas des corps de nombres contenant ou non les racines \(\ell\)-ièmes de l'unité. L'article s'achève par l'étude de la propagation de la \({\mathfrak L}\)-rationalité dans une \(\ell\)-extension \(L\) de \(K\) lorsque \(\ell\) est impair.