On algebraic tori of norm type (Q1061780): Difference between revisions

Soient \(K_ 1\) et \(K_ 2\) deux extensions finies galoisiennes, linéairement disjointes, d'un corps de nombres k, soit \(K=K_ 1K_ 2\) leur composé et soit \(G=Gal(K/k)\). L'A. étudie l'arithmétique de certains tores algébriques définis sur k et déployés par K en utilisant les techniques et résultats de \textit{V. E. Voskresenskij} [Izv. Akad. Nauk SSSR, Ser. Mat. 34, 3-19 (1970; Zbl 0254.14016); translated as Math. USSR, Izv. 4, 1-17 (1970); Algebraic tori (1977; Zbl 0499.14013)], \textit{J. J. Sansuc} et le rapporteur [Ann. Sci. Éc. Norm. Supér., IV. Sér. 10, 175-229 (1977; Zbl 0356.14007)] et \textit{J.J. Sansuc} [J. Reine Angew. Math. 327, 12-80 (1981; Zbl 0468.14007)]. L'article comprend deux parties indépendantes. Dans la première, \(K_ 1\) et \(K_ 2\) sont cycliques sur k, et l'A. identifie le groupe de Tate-Shafarevich {Russian{Sh}(T)} de plusieurs tores T définis sur k et déployés par K avec le groupe \(H^ 3(G,K^{\times})\). Pour \(K_ 1\) et \(K_ 2\) quadratiques, ceci éclaire le lien déjà observé par l'A. [Brauer group and diophantine geometry, in Brauer groups in ring theory and algebraic geometry, Lect. Notes Math. 917, 43-65 (1982; Zbl 0487.14006)] entre la non-nullité éventuelle de \(H^ 3(G,K^{\times})\) et des contre-exemples au principe de Hasse pour certaines variétés algébriques. Dans la seconde partie, sous la seule hypothèse que \(K_ 1/k\) est cyclique (et \(K_ 2/k\) galoisienne), l'A. montre que le principe de Hasse vaut pour l'équation \(N_{K_ 1/k}(x)\cdot N_{K_ 2/k}(y)=c,\) où c est dans \(k^{\times}\), \(N_{K_ i/k}\) est la norme de \(K_ i\) à k, et x et y sont des ''variables''. Ce joli résultat vaut en fait sans supposer \(K_ 2/k\) galoisienne [Sansuc, non publié]. Il implique que l'obstruction ''naïve'' au principe de Hasse ne suffit pas à rendre compte du contre-exemple de \textit{J. W. S. Cassels} et \textit{M. J. T. Guy} [Mathematika 13, 111-120 (1966; Zbl 0151.034)].