Le groupe qui classe les classes d'équivalence d'algèbres simples centrales sur un corps (ou les algèbres d'Azumaya sur un schéma), souvent décrit cohomologiquement comme H^2 du groupe multiplicatif en contexte étale ou galoisien ; il recueille les obstructions au scindage des algèbres et intervient comme invariant arithmétique et géométrique des variétés.

Principe

Les algèbres de division et les algèbres d'Azumaya, à équivalence de Morita près, forment un groupe abélien de torsion pour le produit tensoriel, et cette classification correspond aux classes de deuxième cohomologie de G_m, de sorte que la cohomologie encode l'obstruction à la trivialité des fibrés d'algèbres centraux simples.

Démonstration

Sur un corps K, le groupe de Brauer Br(K) classe les K-algèbres simples centrales à similitude près ; pour un corps de nombres, le comportement local-global de Br(K) et ses invariants (période et indice) contrôlent le scindage aux complétés et apparaissent dans les calculs d'obstruction pour les points rationnels sur des variétés.

Mauvaise application

Interpréter chaque élément de H^2(K,G_m) comme une algèbre matricielle concrète sans vérifier les hypothèses de finitude ou d'Azumaya, ou ignorer la nature de torsion (traiter le groupe comme libre), mène à des conclusions erronées sur la représentabilité par des algèbres simples centrales de dimension finie ou sur le recollement de données locales en globale.

Conséquence

Une utilisation correcte identifie quand des fibrés d'algèbres se scindent, quantifie les obstructions à la trivialité, fournit des invariants (période, indice) qui contraignent les modules et formes possibles, et fournit des coefficients utiles en descente, dualité et théories d'obstruction en géométrie arithmétique.

Inversion

Le point de vue inverse serait de tenter de classifier l'équivalence de Brauer uniquement par les dimensions de l'espace vectoriel ou uniquement par les corps de déploiement, perdant ainsi le contenu d'obstruction cohomologique codé par le produit tensoriel et les classes de Morita.

Limite

Défini pour des corps et pour des schémas (via les algèbres d'Azumaya ou H^2 étale de G_m) ; ses descriptions classiques exigent des outils de finitude et de comparaison local-global, et exclut les analogues naïfs pour des algèbres non associatives ou de dimension infinie sauf si la théorie est étendue de façon appropriée.

Tension sémantique

Se situe entre la classification algébrique explicite et la description cohomologique abstraite : on peut voir le groupe de Brauer concrètement via les algèbres simples centrales ou abstraitement comme H^2, et la tension apparaît lorsqu'on attend des représentants constructifs immédiats pour des classes cohomologiques quelconques.

Synthèse

Le groupe de Brauer est le groupe abélien de torsion qui mesure l'obstruction au scindage des algèbres simples centrales ou d'Azumaya : concrètement il classe les classes de Morita pour le produit tensoriel et, cohomologiquement, correspond à H^2(G_m), reliant phénomènes algébriques, géométriques et arithmétiques.