Real Noncommutative Convexity II: Extremality and nc convex functions

Cet article développe la théorie de la convexité non commutative réelle en se concentrant sur les points extrêmes, la frontière de Choquet et les fonctions convexes, tout en analysant en détail leurs interactions avec la complexification.

L'essentiel

Imaginez que vous êtes un architecte qui conçoit des bâtiments, mais pas des bâtiments ordinaires. Vous travaillez avec des structures mathématiques complexes appelées ensembles convexes non commutatifs.

Pour faire simple, dans le monde classique (celui de la géométrie ordinaire), si vous prenez deux points et que vous tracez une ligne entre eux, tout ce qui est sur cette ligne fait partie de votre forme. C'est la "convexité".

Mais dans le monde non commutatif (celui des matrices et de la mécanique quantique), l'ordre des opérations compte. Si vous faites A puis B, ce n'est pas pareil que B puis A. Cela rend la géométrie beaucoup plus étrange et fascinante.

Ce papier, écrit par David Blecher et Caleb Becker McClure, est la suite d'une grande aventure mathématique. Voici ce qu'ils expliquent, traduit en langage courant avec des images :

1. Le Grand Défi : Le Monde Réel vs Le Monde Imaginaire

Jusqu'à présent, les mathématiciens avaient surtout étudié ces formes dans un monde "complexe" (qui utilise des nombres imaginaires, comme $i$, où $i^2 = -1$). C'est comme si on construisait des maisons en utilisant des matériaux qui n'existent que dans la théorie.

Le but de ce papier est de construire ces mêmes structures dans le monde réel (celui que nous voyons et touchons, avec des nombres "normaux").

• L'analogie : Imaginez que vous avez un plan d'architecte très sophistiqué pour un gratte-ciel en verre (le monde complexe). Ce papier demande : "Comment on construit ce même gratte-ciel avec du bois et de la pierre (le monde réel) ?"
• Le problème : Parfois, quand on passe du bois au verre (ou vice-versa), certaines pièces ne s'assemblent pas de la même façon. Les auteurs montrent comment faire ce passage sans que le bâtiment ne s'effondre.

2. Les Points Extrêmes : Les Sommets de la Montagne

Dans toute forme géométrique, il y a des points "spéciaux" :

• Les points extrêmes (Extreme points) : Ce sont les coins pointus, les sommets de la montagne. Si vous enlevez un de ces points, la forme change radicalement.
• Les points maximaux : Ce sont les points les plus "hauts" ou les plus "lointains" possibles dans une direction donnée.

La découverte clé du papier :
Dans le monde complexe, un point extrême reste toujours extrême. Mais dans le monde réel, c'est plus subtil.

• L'analogie : Imaginez un iceberg. La partie visible (le monde réel) peut avoir un sommet très pointu. Mais si vous regardez la partie sous l'eau (la complexification), ce sommet pourrait s'aplatir ou se diviser en plusieurs petits sommets.
• Les auteurs expliquent comment identifier ces sommets "vrais" dans le monde réel et comment ils se comportent quand on les plonge dans le monde complexe. Ils découvrent que certains points qui semblent "maximaux" dans le monde réel le restent parfaitement, tandis que d'autres, dits "extrêmes", peuvent se comporter de manière surprenante.

3. L'Enveloppe Convexe : Le Moulage en Plâtre

En mathématiques, si vous avez une forme bizarre (comme un nuage de points), son enveloppe convexe est la forme la plus simple (la plus "gonflée") qui contient tous ces points. C'est comme si vous preniez un élastique et que vous le tendiez autour de tous les points : l'élastique forme l'enveloppe.

• La grande nouvelle : Les auteurs prouvent que si vous faites cette opération (l'enveloppe) sur une forme réelle, puis que vous la transformez en forme complexe, vous obtenez exactement le même résultat que si vous aviez d'abord transformé la forme en complexe, puis fait l'enveloppe.
• L'image : C'est comme dire que si vous moulez une statue en argile (réel) puis la coulez en bronze (complexe), vous obtenez la même statue que si vous aviez d'abord fait le modèle en cire (complexe) puis l'aviez coulé en bronze. L'ordre des opérations ne change pas le résultat final !

4. Pourquoi est-ce important ?

Ces mathématiques ne sont pas juste des jeux d'esprit. Elles sont cruciales pour :

• La physique quantique : Pour comprendre comment les particules se comportent.
• L'informatique quantique : Pour créer des algorithmes plus puissants.
• L'ingénierie : Pour optimiser des systèmes complexes.

En résumé, ce papier est un guide de traduction. Il dit aux mathématiciens : "Ne vous inquiétez pas, même si le monde réel est plus difficile à visualiser que le monde complexe, vous pouvez utiliser les règles du monde complexe pour résoudre les problèmes du monde réel, à condition de faire attention à quelques pièges spécifiques."

C'est comme apprendre à conduire une voiture sur la neige (monde réel) en utilisant les connaissances acquises sur l'asphalte sec (monde complexe). Parfois, ça glisse différemment, mais les principes de base de la route restent les mêmes.

Résumé technique

1. Problème et Contexte

Ce travail poursuit le développement de la théorie de la convexité non commutative (nc) réelle, initiée dans un article précédent des mêmes auteurs [8], en s'appuyant sur la théorie complexe profonde développée par Davidson et Kennedy [16].

Le problème central réside dans l'extension des concepts fondamentaux de la convexité non commutative (points extrêmes, frontière de Choquet, enveloppes convexes, fonctions nc convexes) du cadre complexe au cadre réel. Bien que la convexité classique soit essentiellement une théorie réelle, la théorie nc complexe est souvent plus simple à manipiter. L'objectif est de comprendre comment les notions réelles interagissent avec la complexification (le passage d'un objet réel à son équivalent complexe) et d'établir des résultats structurels rigoureux dans le cadre réel, qui est crucial pour des applications en algèbres d'opérateurs, analyse fonctionnelle et physique mathématique.

Une difficulté majeure identifiée est que, contrairement aux éléments maximaux, les points extrêmes ou purs réels ne se comportent pas toujours bien lors de la complexification : un point extrême réel peut ne pas rester extrême dans sa complexification.

2. Méthodologie

La méthodologie repose sur une approche systématique combinant :

• L'analyse directe du cas réel : Définition et vérification des propriétés des points maximaux, purs et extrêmes dans les ensembles nc convexes réels, en adaptant les définitions de Davidson et Kennedy.
• La technique de complexification : Utilisation de la complexification d'un ensemble nc convexe réel $K$ (noté $K_c$) et de fonctions nc réelles pour transférer des résultats du cas complexe vers le cas réel. Les auteurs définissent soigneusement la complexification d'une fonction nc convexe et de son enveloppe convexe.
• L'analyse des représentations : Utilisation intensive de la théorie des représentations irréductibles des $C^*$-algèbres réelles et des applications unital completely positive (ucp).
• Comparaison des frontières : Étude détaillée de la relation entre la frontière de Choquet nc réelle et complexe, ainsi que la frontière de Shilov.

3. Contributions Clés et Résultats Principaux

A. Points Extrêmes, Purs et Maximaux

• Comportement sous complexification :
  • Les éléments maximaux (et les applications ucp maximales) se comportent parfaitement : un élément $x \in K$ est maximal réel si et seulement si $x + i0$ est maximal dans la complexification $K_c$ (Théorème 2.6, Corollaire 2.7).
  • En revanche, les points purs et extrêmes réels ne se complexifient pas toujours bien. Un point pur réel peut ne pas être pur dans $K_c$, et un point extrême réel peut ne pas être extrême dans $K_c$ (Exemples 3.4, 3.6).
  • Un critère est établi pour qu'un point extrême réel reste extrême après complexification : il doit être "complex-irréductible" (Corollaire 3.2).
• Frontière de Choquet et Shilov :
  • Les points nc extrêmes réels correspondent aux restrictions aux systèmes d'opérateurs réels des représentations frontières d'Arveson (Corollaire 2.14).
  • La frontière de Choquet nc réelle est dense dans la frontière de Shilov (Corollaire 2.24).
  • Pour les systèmes d'opérateurs de dimension finie, les frontières de Choquet et de Shilov coïncident (Corollaire 2.23).

B. Théorème de Krein-Milman Non Commutatif Réel

• Les auteurs prouvent directement le théorème de Krein-Milman non commutatif pour les ensembles nc convexes compacts réels : tout tel ensemble est l'enveloppe convexe nc de ses points extrêmes réels (Théorème 2.19).
• Ils établissent également la réciproque partielle de Milman (Théorème 2.20), démontrant que si l'enveloppe convexe nc fermée d'un sous-ensemble $X$ est $K$, alors tous les points extrêmes de $K$ sont contenus dans $X$.
• Une preuve détaillée de ce résultat est fournie dans l'annexe par Travis Russell, en s'assurant que les propriétés des représentations irréductibles réelles (issues de [19] et [32]) s'appliquent correctement.

C. Fonctions Convexes et Enveloppes

• Complexification des fonctions : Les auteurs introduisent la notion de complexification d'une fonction nc convexe réelle $f$ vers une fonction complexe $f_c$. Ils montrent que la construction de l'enveloppe convexe commute avec la complexification (Théorème 5.7, Lemme 5.6).
• Fonctions multivaluées : La théorie est étendue aux fonctions nc multivaluées auto-adjointes. Ils définissent l'enveloppe convexe $\bar{F}$ d'une telle fonction et montrent qu'elle est la plus grande fonction convexe minorant $F$.
• Inégalité de Jensen : Une version non commutative de l'inégalité de Jensen est établie pour les fonctions convexes réelles (Théorème 5.11) : pour une application cp $\mu$ de barycentre $x$, on a $f(x) \le \mu(f)$.

D. Enveloppe $C^*$ Réelle

• Le papier offre une nouvelle voie pour la construction de l'enveloppe $C^*$ d'un système d'opérateurs réel via les points maximaux et la frontière de Choquet, confirmant que l'enveloppe $C^*$ réelle est générée par les représentations frontières irréductibles.

4. Signification et Impact

Ce papier est fondamental pour plusieurs raisons :

1. Complétude de la théorie : Il comble le fossé entre la théorie complexe (souvent plus simple) et la théorie réelle (essentielle pour les applications physiques et les exemples concrets comme les spectrahedra).
2. Nuances subtiles : Il met en lumière des différences cruciales entre les cas réel et complexe, notamment le fait que la complexification ne préserve pas automatiquement l'extrémalité, ce qui nécessite des preuves directes et des conditions supplémentaires (comme l'irréductibilité complexe).
3. Outils pour les applications : En établissant que l'enveloppe convexe commute avec la complexification, les auteurs fournissent un outil puissant permettant de déduire rapidement des résultats réels profonds à partir de la théorie complexe existante, tout en évitant les pièges techniques liés à la complexification des points extrêmes.
4. Fondations pour la physique : La théorie développée est directement applicable à l'analyse des systèmes quantiques réels et à la théorie des opérateurs sur les espaces de Hilbert réels, domaines où la structure complexe n'est pas toujours présente ou naturelle.

En résumé, ce travail consolide la théorie de la convexité non commutative réelle, démontrant sa robustesse tout en cartographiant précisément ses interactions complexes avec la complexification, ouvrant ainsi la voie à de futures recherches en analyse fonctionnelle non commutative.