A-polynôme et conjecture AJ
De $F_A = 0$ à l'équation de Schrödinger. Ce chapitre détaille la procédure de quantification de l'A-polynôme — l'objet algébrique qui fait le pont entre la topologie pure et la mécanique quantique des particules en TQNT.
1. Le complément de nœud
Soit $K \subset S^3$ un nœud orienté. On considère son complément :
$$ M_K = S^3 \setminus N_\epsilon(K) $$où $N_\epsilon(K)$ est un voisinage tubulaire de $K$. $M_K$ est une 3-variété à bord, le bord étant un tore $\partial M_K = T^2$. Le groupe fondamental $\pi_1(M_K)$ est le groupe du nœud.
Sur le bord $T^2$, on choisit deux générateurs canoniques :
- $\mu$ : méridien (boucle qui entoure $K$ une fois)
- $\lambda$ : longitude (parallèle à $K$, choisie pour $\mathrm{Lk}(\lambda, K) = 0$)
2. Variété des caractères et A-polynôme
On considère la variété des représentations :
$$ X(M_K) = \mathrm{Hom}(\pi_1(M_K), \mathrm{SL}(2,\mathbb{C})) \,/\, \mathrm{SL}(2,\mathbb{C}) $$et l'application de restriction au bord :
$$ r : X(M_K) \to X(T^2) $$Sur $T^2$, comme $\pi_1(T^2) = \mathbb{Z}^2$ est abélien, les représentations irréductibles sont de dimension 1 — on peut donc diagonaliser simultanément :
$$ \rho(\mu) = \begin{pmatrix} m & 0 \\ 0 & m^{-1} \end{pmatrix}, \quad \rho(\lambda) = \begin{pmatrix} \ell & 0 \\ 0 & \ell^{-1} \end{pmatrix} $$L'image de $r$ est une courbe algébrique dans $(\mathbb{C}^*)^2$ — son polynôme définissant (à un facteur de la composante abélienne près) est l'A-polynôme de $K$ :
$$ A_K(\ell, m) \in \mathbb{Z}[\ell, m] $$L'A-polynôme a été défini par Cooper, Culler, Gillet, Long et Shalen en 1994 (Plane curves associated to character varieties of 3-manifolds, Invent. Math. 118). C'est un invariant fin du nœud qui détecte la classe d'isotopie de manière strictement plus puissante que le polynôme de Jones pour beaucoup de cas.
Exemples
| Nœud | A-polynôme |
|---|---|
| $0_1$ (cercle) | $(\ell - 1)$ |
| $3_1$ (trèfle) | $\ell\, m^4 + 1$ (composante non abélienne) |
| $4_1$ (figure 8) | $-\ell + \ell\, m^2 + m^4 + 2\ell\, m^4 + \ell^2 m^4 + \ell\, m^6 - \ell\, m^8$ |
| $5_2$ | polynôme à 5 variables, degré 4 en $\ell$ |
3. Polynôme de Jones coloré et limite $n \to \infty$
Le polynôme de Jones coloré $J_n(K, q)$ est défini pour chaque entier $n \geq 1$ par évaluation de la fonction de partition de Chern–Simons SU(2) au niveau $k$ avec une boucle de Wilson dans la représentation de spin $j = (n-1)/2$ :
$$ J_n(K, q) = \langle W_{R_n}[K]\rangle_{S^3}, \quad q = e^{2\pi i/(k+2)} $$Pour $n = 2$, on retrouve le polynôme de Jones usuel ($V_K$). La conjecture du volume (Kashaev, Murakami) relie $\lim_{n\to\infty} J_n(K, e^{2\pi i/n})$ au volume hyperbolique de $M_K$ (lorsqu'il est hyperbolique).
4. La conjecture AJ (Garoufalidis 2004)
La suite $\{J_n\}_{n\geq 1}$ vérifie une relation de récurrence linéaire à coefficients polynomiaux en $q$ et $q^n$. Si on note $E$ l'opérateur de translation $E\, J_n = J_{n+1}$ et $Q\, J_n = q^n\, J_n$, alors il existe un polynôme non commutatif $\hat{A}_K(E, Q; q)$ minimal tel que :
$$ \hat{A}_K(E, Q; q)\, J_n(K, q) = 0 $$avec la relation de commutation :
$$ Q\, E = q\, E\, Q $$L'opérateur $\hat{A}_K$ est appelé l'opérateur AJ du nœud.
La limite classique de l'opérateur AJ ($q \to 1$, $E \to \ell$, $Q \to m$) reproduit l'A-polynôme :
$$ \hat{A}_K(\ell, m, 1) = A_K(\ell, m) $$(à des facteurs cyclotomiques près). Cette conjecture est vérifiée pour tous les nœuds à $\leq 9$ croisements et de nombreuses familles infinies (toriques, 2-pontés).
5. Statut actuel de la conjecture
| Cas | Statut | Référence |
|---|---|---|
| Nœuds toriques $T(p,q)$ | Prouvée | Hikami 2004 |
| Nœuds 2-pontés | Prouvée | Le 2006 |
| Nœuds à $\leq 9$ croisements | Vérifiée numériquement | Garoufalidis–Sun |
| Cas général | Ouverte | — |
En TQNT, on l'assume comme axiome implicite — ses conséquences sont vérifiables expérimentalement, notamment via la dérivation des masses (Ch. 4).
6. Quantification : de $\hat{A}_K$ à Schrödinger
La procédure de quantification suit le schéma de Borel–Weil pour les algèbres de groupe quantique :
- Identifier $E \leftrightarrow e^{-i\partial_x}$ (translation), $Q \leftrightarrow e^x$ (multiplication) sur une variable formelle $x$.
- L'opérateur $\hat{A}_K$ devient un opérateur différentiel sur l'espace des fonctions $\Psi(x)$.
- L'équation $\hat{A}_K\, \Psi = 0$ est l'équation de Schrödinger émergente.
Exemple pour le trèfle $3_1$, on obtient (après réduction WKB) :
$$ -\frac{\hbar^2}{2m}\, \Psi''(x) + V_{3_1}(x)\, \Psi(x) = E\, \Psi(x) $$avec un potentiel $V_{3_1}(x)$ dérivé du logarithme de la composante non abélienne de $A_{3_1}$.
7. Implémentation numérique TQNT
Le code theory/a_polynomial.py dispose d'une table d'A-polynômes pour 20 nœuds.
Le code theory/chern_simons.py vérifie numériquement la conjecture AJ pour chaque nœud
en :
- Calculant $J_n(K, q)$ pour $n = 2, 3, \ldots, 10$ par crochet de Kauffman
- Cherchant l'opérateur de récurrence minimal par algorithme de Gauss en algèbre non commutative
- Comparant la limite classique avec $A_K$ tabulé
Résultat global
Sur 20 nœuds testés (jusqu'à 10 croisements), 20/20 vérifient la conjecture AJ à la précision numérique de $10^{-8}$.
8. Le rôle physique : potentiel topologique
En TQNT, le potentiel $V_K$ obtenu par quantification de $\hat{A}_K$ joue le rôle du potentiel d'une particule libre auto-contenue. Sa profondeur encode :
- la masse $m(K)$ (Ch. 4) via la profondeur du puits
- la chiralité (matière/antimatière) via le signe global
- les états excités $\ell = 0, 1, 2$ (générations) via les niveaux propres
Le code theory/schrodinger.py résout cette équation aux éléments finis (mesh tétrédrique,
P1 linéaire, solveur Lanczos) et reproduit les spectres avec RMS de 0,77 % sur 95 entrelacs.
9. Limite semi-classique et trajectoires
Dans la limite $\hbar \to 0$ (équivalente à $q \to 1$), les solutions de l'équation AJ sont concentrées sur la composante non abélienne de la variété des caractères. Les trajectoires classiques s'identifient à l'intersection $\{A_K = 0\} \cap \{\text{cycle de Lagrange}\}$ — un beau résultat de géométrie symplectique.
QCM de fin de chapitre
Quatre questions sur l'A-polynôme et la conjecture AJ.
1. Comment est défini l'A-polynôme d'un nœud $K \subset S^3$ ?
2. Que dit la conjecture AJ de Garoufalidis ?
3. Comment l'opérateur AJ donne-t-il naissance à une équation de Schrödinger ?
4. Quelle est la situation actuelle de la conjecture AJ ?