Lien en théorie géométrique des représentations qui assigne, à certaines orbites nilpotentes et à leurs fibres de Springer, des représentations du groupe de Weyl, reliant la topologie et la géométrie de variétés associées à un groupe réductif aux représentations combinatoires et linéaires de son groupe de Weyl.

Principe

Principe de cohomologie et de monodromie : l'action du groupe de Weyl sur la cohomologie (ou la cohomologie maximale) des fibres de Springer produit des représentations ; la décomposition en faisceaux pervers et les techniques de cycles proches organisent la façon dont les strates géométriques engendrent des modules irréductibles du groupe de Weyl.

Démonstration

Pour GL_n, la fibre de Springer au-dessus d'une matrice nilpotente de type de Jordan donné par une partition a des composantes irréductibles indexées par les tableaux de Young standards de cette forme ; la cohomologie de dimension maximale porte alors la représentation de Specht du groupe symétrique correspondante, illustrant concrètement la correspondance.

Mauvaise application

Supposer une bijection naïve entre orbites individuelles et représentations irréductibles sans tenir compte des systèmes locaux, des groupes de composantes ou de la nécessité de considérer la cohomologie graduée ; étendre la correspondance telle quelle à des caractéristiques arbitraires sans vérifier les conditions de 'bonne' caractéristique peut être invalide.

Conséquence

Fournit une construction géométrique de nombreuses représentations du groupe de Weyl et un pont entre la géométrie des orbites nilpotentes et les données de théorie des caractères ; elle soutient les liens entre cohomologie d'intersection, faisceaux caractéres et l'étude des singularités en théorie des représentations.

Inversion

Inverser la correspondance consisterait à tenter d'assigner des fibres de Springer ou des orbites géométriques à partir de représentations abstraites du groupe de Weyl ; un tel inverse n'est pas canonique car plusieurs sources géométriques peuvent donner la même représentation et des systèmes locaux interviennent.

Limite

Formulée pour des groupes réductifs sur C (ou sur un corps algébriquement clos de bonne caractéristique) et leur cône nilpotent ; la correspondance de base peut nécessiter un raffinement en correspondance de Springer généralisée pour gérer les centralisateurs disconnexes, les systèmes locaux non triviaux ou les phénomènes en mauvaise caractéristique.

Tension sémantique

Il existe une tension entre la correspondance de Springer classique et ses variantes généralisées ou modulaires ; elle est aussi en concurrence conceptuelle avec d'autres constructions géométriques de représentations comme la théorie de Deligne–Lusztig, qui relie d'autres données géométriques aux représentations des groupes.

Synthèse

La correspondance de Springer décrit comment la topologie des fibres de Springer et la géométrie des orbites nilpotentes produisent des représentations du groupe de Weyl : la cohomologie munie de son action de monodromie fournit des modules du groupe de Weyl, reliant strates géométriques et décompositions faisceautiques à des objets représentationnels concrets.