Eine Korrespondenz in der modularen Darstellungstheorie, die Blöcke der Gruppenalgebra eines endlichen Gruppes über einem Körper der Charakteristik p mit Blöcken der Gruppenalgebra des Normalisators eines p-Untergruppes (des Defektgruppes) verknüpft, unter Verwendung des Brauer-Homomorphismus und damit die globale Blockzerlegung mit der lokalen Untergruppenstruktur verbindend.

Prinzip

Prinzip des lokalen Kontrolle des Defekts: Ein Block B von kG mit Defektgruppe P hat einen zugeordneten Brauer-Korrespondenten b in kN_G(P) mit Defekt P, erhalten durch den Brauer-Homomorphismus auf zentralen Idempotenten; Fusion, Defektgruppen und lokale Struktur regeln die Blockkorrespondenz.

Demonstration

Ist B ein p-Block von kG mit Defektgruppe P, so ist sein Brauer-Korrespondent ein Block b von kN_G(P) mit demselben Defekt, so dass der Brauer-Homomorphismus das zentrale Idempotent von B auf das von b abbildet; bei zyklischen Defektgruppen ist diese Korrespondenz explizit und vereinfacht die Blockanalyse erheblich.

Fehlanwendung

Die Korrespondenz unreflektiert in Charakteristik null oder für Algebren anzuwenden, bei denen p die Gruppenordnung nicht teilt, oder Bijektivität bzw. Eindeutigkeit anzunehmen, ohne Fusion-Stabilität und die Voraussetzungen für die Existenz eines Brauer-Korrespondenten zu prüfen.

Konsequenz

Ermöglicht die Reduktion von Fragen über globale Blöcke auf lokale Untergruppendaten und ist grundlegend für die Formulierung und Prüfung lokal–globaler Vermutungen in der modularen Darstellungstheorie, etwa hinsichtlich Charakteren, Quellen und Blockäquivalenzen.

Umkehrung

Zu versuchen, einen globalen Block eindeutig aus einem beliebigen lokalen Block von N_G(P) ohne Kompatibilitätsdaten oder Fusionsbedingungen zu rekonstruieren, scheitert im Allgemeinen; die Korrespondenz ist keine einfache globale Rekonstruktionsvorschrift, sondern eine kontrollierte lokale Zuordnung unter Defektbedingungen.

Abgrenzung

Bezieht sich auf die modulare Darstellungstheorie über einem Körper der Charakteristik p, der |G| teilt; sie betrifft Blöcke mit angegebenen Defektgruppen und nutzt den Brauer-Homomorphismus und gilt nicht in semisimpel-losen Situationen der Charakteristik null oder außerhalb des modularen Rahmens.

Semantische Spannung

Es besteht eine Spannung zwischen der Brauer-Korrespondenz und umfassenderen lokal–globalen Vermutungen (Alperin, Broué u.a.), sowie zwischen dem Brauer-Map als algebraischem Homomorphismus und Blockkorrespondenzen, die zusätzliche strukturelle Hypothesen für Existenz oder Eindeutigkeit benötigen.

Synthese

Die Brauer-Korrespondenz verknüpft einen globalen p-Block mit einem lokalen Block des Normalisators seiner Defektgruppe mittels des Brauer-Homomorphismus: Defektgruppen und Fusionsdaten bestimmen, welche lokalen Blöcke korrespondieren, wodurch modulare Darstellungsprobleme über lokale Untergruppenstruktur untersucht werden können.