Définition
Une équivalence (sous hypothèses) entre les modules de systèmes locaux complexes semisimples (représentations du groupe fondamental) sur une variété kählérienne compacte ou projective lisse et les modules de fibrés de Higgs polystables à classes de Chern rationnelles nulles, médiée par des métriques harmoniques et la théorie de Hodge non abélienne.

Principe

Principe
La théorie de Hodge non abélienne traduit des données différentielles-topologiques (connexions plates ou systèmes locaux) en données algébro-géométriques (fibrés de Higgs avec conditions de stabilité) via une métrique harmonique résolvant les équations de Hitchin–Simpson ; la stabilité et l'annulation des classes de Chern sélectionnent les objets ad hoc pour une équivalence.

Démonstration

Démonstration
Sur une courbe projective complexe lisse, Narasimhan–Seshadri et Hitchin–Simpson impliquent que les représentations unitaires irréductibles correspondent aux fibrés stables avec champ de Higgs nul, et plus généralement que les représentations complexes semisimples correspondent aux fibrés de Higgs polystables à classes de Chern nulles via la correspondance de Hodge non abélienne.

Mauvaise application

Mauvaise application
Appliquer la correspondance sans vérifier les hypothèses (kählérienne compacte, stabilité, annulation des classes de Chern) ou supposer un comportement identique en situation non compacte, singulière ou à ramification sauvage ; la confusion entre la décomposition de Hodge abélienne et la correspondance non abélienne est fréquente.

Conséquence

Conséquence
Établit des liens profonds entre géométrie algébrique, géométrie différentielle et théorie des représentations : les espaces de modules de systèmes locaux et de fibrés de Higgs correspondent (souvent comme espaces analytiques réels ou complexes), permettant des techniques issues des variations de Hodge, des heuristiques de symétrie miroir et des aperçus du Langlands géométrique.

Inversion

Inversion
Les traductions inverses (des fibrés de Higgs vers les systèmes locaux et réciproquement) font partie de l'équivalence mais nécessitent la résolution d'EDP non linéaires (équations de Hitchin) ou l'application de la correspondance de Riemann–Hilbert ; en situation sauvage ou irrégulière l'inversion naïve échoue et doit être remplacée par des analogues irréguliers/non linéaires.

Limite

Limite
Exige des hypothèses de compacité kählérienne ou projective, un contrôle des singularités et des conditions de stabilité/polystabilité ; des variantes existent pour les cas non compacts ou irréguliers (parabolique, modéré, sauvage) mais réclament des données supplémentaires et sont techniquement plus délicates.

Tension sémantique

Tension sémantique
Voisine de la correspondance de Riemann–Hilbert et de la théorie de Hodge classique, la tension tient à la différence entre décompositions linéaires abéliennes et équivalences modulaires intrinsèquement non linéaires : la Hodge non abélienne est une équivalence dépendante métriquement plutôt qu'une identification purement algébrique.

Synthèse

Synthèse
La Correspondance De Hodge Non Abélienne est le dictionnaire non linéaire entre mondes plats/représentationnels et théoriques de Higgs : sous hypothèses de compacité et de stabilité, des métriques harmoniques réalisent une équivalence entre systèmes locaux semisimples et fibrés de Higgs polystables à classes de Chern nulles, tissant ensemble analyse, géométrie et topologie.