Non-standard Holomorphic Structures on Line Bundles over the Quantum Projective Line

Résumé technique : Structures holomorphes non standards sur les fibrés en droites sur la droite projective quantique

Énoncé du problème
Cet article traite d'une question fondamentale en géométrie complexe non commutative concernant l'unicité des structures holomorphes sur les fibrés en droites sur la droite projective quantique, $\mathbb{C}P^1_q$. En géométrie complexe classique, la structure holomorphe sur un fibré en droites $\mathcal{O}(n)$ sur la sphère de Riemann $\mathbb{C}P^1$ est unique à un équivalence de jauge près. Khalkhali, Landi et Van Suijlekom ont établi précédemment que les fibrés en droites quantiques $L_n$ sur $\mathbb{C}P^1_q$ partagent de nombreuses caractéristiques classiques, ce qui les a conduits à conjecturer que l'unicité de la structure holomorphe pourrait également se vérifier dans le cadre quantique. Plus précisément, ils se demandaient si toute structure holomorphe sur $L_n$ est équivalente par jauge à la connexion $\bar{\partial}$ standard. Cet article apporte une réponse négative à cette question, démontrant l'existence d'une infinité de structures holomorphes non équivalentes par jauge sur ces fibrés.

Méthodologie
Les auteurs utilisent le cadre de la géométrie différentielle non commutative, en utilisant spécifiquement la structure algébrique du groupe quantique $A(SU_q(2))$ et de son quotient, l'algèbre de la droite projective quantique $A(\mathbb{C}P^1_q)$.

1. Configuration algébrique : L'étude se concentre sur les fibrés en droites quantiques $L_n$, définis comme des sous-bimodules spécifiques de $A(SU_q(2))$. La structure holomorphe standard est définie via une connexion $\bar{\partial}$ plate, notée $\nabla^{(n)}$.
2. Perturbation des connexions : Toute autre connexion $\bar{\partial}$ sur $L_n$ est exprimée comme une perturbation de la connexion standard : $\nabla_\theta = \nabla^{(n)} - \Phi(n)(\cdot \theta)$, où $\theta$ est une forme $(0,1)$. Le problème de la recherche de structures non standards revient à trouver $\theta$ tel que la connexion résultante soit plate mais non équivalente par jauge à $\nabla^{(n)}$.
3. Analyse de l'équivalence de jauge : Les auteurs affinent la définition de l'équivalence de jauge. Alors que les transformations de jauge classiques nécessitent des éléments inversibles au sein de l'algèbre polynomiale $A(\mathbb{C}P^1_q)$, les auteurs montrent que, dans le cadre quantique, il faut considérer des éléments inversibles $g$ dans la $C^*$-complétion $C(\mathbb{C}P^1_q)$ qui appartiennent également au domaine de l'opérateur $\bar{\partial}$ (et dont les inverses sont également dans le domaine).
4. Calcul fonctionnel sur $C^*(1, B_0)$ : Une étape technique cruciale consiste à restreindre l'analyse à la sous-algèbre $C^*$ engendrée par l'élément auto-adjoint $B_0$. En utilisant l'isomorphisme de calcul fonctionnel $\Psi: C^*(1, B_0) \to C(\text{sp}(B_0))$, le problème de la résolution de l'équation exponentielle non commutative $\bar{\partial}g = g\bar{\partial}f$ est traduit en une équation aux différences impliquant un opérateur de dérivée $q$, $\bar{\delta}$, sur le spectre de $B_0$.
5. Points défectueux et sections holomorphes : Les auteurs introduisent le concept de « points défectueux » pour une fonction $f$, définis comme des indices $n$ où une condition de différence spécifique échoue. Ils prouvent qu'une connexion $\nabla_{\bar{\partial}f}$ est équivalente par jauge à la connexion standard si et seulement si $f$ ne possède pas de points défectueux. De plus, ils analysent le noyau de la connexion perturbée (sections holomorphes) et montrent que la dimension de ce noyau est un invariant de la classe d'équivalence de jauge.

Contributions clés et résultats

• Théorème 1.1 (Existence de structures non standards) : Pour $0 < q < 1$, tout fibré en droites quantique $L_n$ sur $\mathbb{C}P^1_q$ admet une connexion $\bar{\partial}$ plate qui n'est pas équivalente par jauge à la structure standard. Ceci est réalisé en construisant des fonctions $f$ spécifiques possédant des « points défectueux » qui empêchent l'existence d'une transformation de jauge inversible $g$ satisfaisant l'équation différentielle requise.
• Proposition 1.2 (Dimension non bornée du noyau) : Les auteurs démontrent que pour le fibré trivial $L_0$, et pour tout entier $N$, il existe une connexion $\bar{\partial}$ telle que la dimension de l'espace des sections holomorphes (le noyau de $\nabla$) est au moins $N$.
• Théorème 1.3 (Infinité de classes) : En combinant le résultat précédent avec le fait que la dimension du noyau est finie pour toute connexion (une conséquence de la structure de triplet spectral), les auteurs concluent qu'il existe une infinité de classes d'équivalence de jauge de structures holomorphes sur $L_n$.
• Classification via les points défectueux : L'article établit une correspondance entre l'équivalence de jauge des connexions $\nabla_{\bar{\partial}f}$ et $\nabla_{\bar{\partial}h}$ et les ensembles de points défectueux de $f$ et $h$. Plus précisément, si les ensembles de points défectueux sont identiques, les connexions sont équivalentes par jauge.

Signification
La principale signification de ce travail est la résolution d'une question ouverte posée par Khalkhali, Landi et Van Suijlekom. Elle révèle une divergence distincte entre la géométrie complexe classique et la géométrie complexe non commutative : alors que le fibré en droites classique $\mathcal{O}(n)$ possède une structure holomorphe unique à un équivalence de jauge près, son analogue quantique $L_n$ admet un espace de modules riche de structures non équivalentes.

L'article souligne que la condition de « platitude », qui est automatique pour des raisons de dimension dans le cas classique, interagit avec la structure algébrique non commutative pour permettre une prolifération de structures holomorphes distinctes. La capacité de construire des connexions avec des dimensions de sections holomorphes arbitrairement grandes (mais finies) sert d'invariant concret pour distinguer ces classes. Les auteurs notent que ce phénomène n'a pas de contrepartie dans le monde commutatif et suggèrent que la classification de ces structures (le groupe de Picard de $\mathbb{C}P^1_q$) demeure un problème ouvert et complexe, particulièrement lorsque l'analyse devient plus complexe dans les espaces projectifs quantiques de dimension supérieure où la platitude n'est pas automatique.