Multiplicative field invariants and the Brauer group (Q805677)

Soit G un groupe fini et V un vectoriel de dimension fini sur \({\mathbb{C}}\) sur lequel G agit fidèlement. On a donc une action induite de G sur le corps des fractions \({\mathbb{C}}(V)\) de l'algèbre symétrique de V. Dans Invent. Math. 77, 71-84 (1984; Zbl 0546.14014), l'A. montra que le corps des invariants \({\mathbb{C}}(V)^ G\) n'est pas nécessairement pur sur \({\mathbb{C}}\) (une question remontant à Emmy Noether). Pour ce faire, l'A. utilisa le groupe de Brauer non ramifié \(Br_{nr}(K)\) d'un corps de fonctions K/\({\mathbb{C}}\) (groupe des éléments de Br(K) non ramifiés en tout anneau de valuation discrète de corps des fractions K). Le groupe \(Br_{nr}(K)\) est nul lorsque K/\({\mathbb{C}}\) est pure. \textit{F. A. Bogomolov} [Math. USSR, Izv. 30, No.3, 455-485 (1988); traduction de Izv. Akad. Nauk SSSR, Ser. Mat. 51, No.3, 485-516 (1987; Zbl 0679.14025)] approfondit l'analyse de l'A. en donnant une formule exacte pour le groupe \(Br_{nr}({\mathbb{C}}(V)^ G):\) \[ Br_{nr}({\mathbb{C}}(V)^ G)=Ker[Res: H^ 2(G,{\mathbb{C}}^*)\to \prod_{A}H^ 2(A,{\mathbb{C}}^*) ]. \] Dans cette formule, G agit trivialement sur \({\mathbb{C}}\), et la restriction se fait par rapport à tous les sous-groupes abéliens de G. Soit maintenant M un réseau équipé d'une action fidèle de G, et soit \({\mathbb{C}}(M)\) le corps des fractions de l'algèbre de groupe \({\mathbb{C}}[M]\) de M. Dans J. Algebra 106, 221-238 (1987; Zbl 0622.13002), l'A. donne des exemples simples de tels G-réseaux M tels que \(Br_{nr}({\mathbb{C}}(M)^ G)\neq 0\), puis à partir de là de nouveaux exemples linéaires avec \({\mathbb{C}}(V)^ G\) non pur (pour un autre groupe G). Une autre motivation pour l'étude des corps \({\mathbb{C}}(M)^ G\) est qu'ils apparaissent (en général sous une forme ``tordue'') dans l'étude des invariants linéaires de groupes réductifs connexes [l'A., in Perspectives in ring theory, Proc. NATO Adv. Res. Workshop, Antwerp/Belg. 1987, NATO ASI Ser., Ser. C 233, 279-297 (1988; Zbl 0688.16020), et \textit{F. A. Bogomolov}, Math. USSR, Izv. 30 (loc. cit.) et Math. USSR, Sb. 66, No.1, 285-299 (1990); traduction de Mat. Sb. 180, No.2, 279-293 (1989)]. Mais dans ce cas, pour une représentation linéaire V ``presque libre'' de G reductif connexe, on a toujours \(Br_{nr}({\mathbb{C}}(V)^ G)=0\) (\textit{F. A. Bogolomov}, loc. cit.). Dans le présent article, l'A. établit la formule: \[ Br_{nr}({\mathbb{C}}(M)^ G)=Ker[Res: H^ 2(G,{\mathbb{C}}^*\oplus M)\to \prod_{A}H^ 2(A,{\mathbb{C}}^*\oplus M)], \] où ici la restriction se fait ici par rapport aux sous-groupes abéliens bicycliques \((=\) engendrés par au plus deux éléments) de G. L'A. donne une formule plus générale valable pour les actions ``tordues'' de G sur \({\mathbb{C}}[M].\) Un résultat général, valable pour une action fidèle quelconque de G sur un corps de fonctions K/\({\mathbb{C}}\) et sur lequel respose les travaux de l'A. et de Bogomolov, assure que \(Br_{nr}(K^ G)\) consiste en les classes dans \(Br(K^ G)\) dont la restriction à \(Br(K^ A)\) est non ramifiée pour tout sous-groupe abélien bicyclique A de G. On en déduit facilement que \(Br_{nr}({\mathbb{C}}(M)^ G)\) contient le membre de droite de la formule [se qui suffit pour les exemples de l'A. dans J. Algebra 106 (loc. cit.)]. La nullité de \(Br_{nr}({\mathbb{C}}(M)^ A)\) pour A cyclique peut s'établir assez facilement à partir de résultats de \textit{S. Endo} et \textit{T. Miyata} [Nagoya Math. J. 56, 85-104 (1975; Zbl 0301.14008)]. La nouveauté du présent article (au moins dans le cas non tordu) réside dans l'égalité \(Br_{nr}({\mathbb{C}}(M)^ A)=0\) pour A abélien bicyclique, d'où découle la formule générale. La démonstration de ce résultat-clé ne peut se résumer en quelques mots. Signalons simplement qu'une autre démonstration a été par la suite donnée par \textit{J. Barge} [Math. Ann. 283, No.3, 519-528 (1989; Zbl 0675.13003)]. Un rapport général sur ces questions a été rédigé par \textit{J.-J. Sansuc} et le rapporteur [``The rationality problem for fields of invariants under linear algebraic groups'', IX. Escuela Latinoamericana Matematicas, Santiago de Chile 1988)].