title: Quantification géométrique
text: # Quantification géométrique
  
  En physique mathématique, la quantification géométrique est une approche formelle du passage de la mécanique classique à la mécanique quantique fondée sur la géométrie symplectique. Par exemple, des liens peuvent être tissés entre :
  
  * l'équation de Hamilton et l'équation de Heisenberg;
  * le crochet de Poisson et le commutateur quantique.
  
  Physiquement parlant, la quantification géométrique consiste à mettre un chapeau ${\hat {\cdot }}$ sur les observables classiques d'une variété symplectique $(M,\omega )$ donnée. Mathématiquement parlant, la quantification géométrique consiste à définir un monomorphisme d'algèbres allant de l'algèbre de Poisson d'une variété symplectique à l'algèbre d'endomorphismes autoadjoints d'un espace de Hilbert.
  
  Le programme de quantification géométrique fut initié par Jean-Marie Souriau vers 1960. Le but, à terme, est de définir la quantification de Dirac dans un contexte géométrique, i.e. où les coordonnées locales ne jouent qu'un rôle auxiliaire. Ce faisant, la quantification géométrique n'utilise que des concepts géométriques e.g. des variétés symplectiques, des fibrés, des sections de fibrés, des dérivées covariantes, etc. L'intérêt d'une telle construction géométrique de la mécanique quantique vient, en particulier, du fait que la relativité générale est fondée sur la géométrie différentielle.
  
  La quantification géométrique fut l'un des principaux moteurs de recherche en géométrie symplectique des années '60 aux années '80.
  
  Remarque : Dans l'exposé qui suit, la convention de signe employée pour le crochet de Poisson est celle $\{f,g\}=\sum _{i}(\partial _{p_{i}}f)(\partial _{q^{i}}g)-(\partial _{q^{i}}f)(\partial _{p_{i}}g)$ utilisée par Landau et Lifschitz, Souriau, Kirillov, Woodhouse puis McDuff et Salamon et non celle $\{f,g\}=\sum _{i}(\partial _{q^{i}}f)(\partial _{p_{i}}g)-(\partial _{p_{i}}f)(\partial _{q^{i}}g)$ employée par Dirac, Arnold, Goldstein et de Gosson.
  
  ## Historique
  
  1913 : Niels Bohr élabore son modèle atomique, le modèle de Bohr. Ce modèle sera raffiné par Arnold Sommerfeld pour en faire le modèle de Bohr-Sommerfeld.
  
  1925 : En janvier 1925, Louis de Broglie établit les ondes de phase. En juillet 1925, Werner Heisenberg définit la mécanique matricielle. En décembre 1925, Paul Dirac pose les trois conditions quantiques devant être vérifiées par une éventuelle procédure de quantification :
  
  1. l'application $f\mapsto {\hat {f}}$ doit être $\mathbb {R}$-linéaire,
  
  2. si $f$ est constante, alors ${\hat {f}}$ doit être l'opérateur multiplication,
  
  3. $[{\hat {f}}_{1},{\hat {f}}_{2}]=-i\hbar {\widehat {\{f_{1},f_{2}\}}}$ où $\{\cdot ,\cdot \}$ est le crochet de Poisson et où $\hbar$ est la constante de Planck réduite. Remarquons que dans le papier de Dirac en 1925 il utilisait la convention de signe opposée du crochet de Poisson de sorte qu'il n'avait pas le signe négatif du côté droit de cette équation.
  
  1926 : Dans une série de papiers, Erwin Schrödinger pose la fonction d'onde $\psi$ et l'équation de Schrödinger.
  
  1927 : Hermann Weyl introduit la quantification de Weyl, tentative d'associer une observable (un opérateur auto-adjoint) à une fonction réelle sur l'espace des phases.
  
  1953 : Jean-Marie Souriau définit la notion de variété symplectique $(M,\omega )$.
  
  1958 : André Weil pose le théorème d'intégralité de Weil. Dans le contexte de la quantification géométrique, ce théorème stipule que la forme symplectique $\omega$ sur $M$ est la forme de courbure d'un $\mathbb {C} ^{\times }$-fibré principal préquantique $P\to M$ si et seulement si la seconde classe de cohomologie de de Rham de la forme symplectique est entière, i.e. $[\omega ]\in H^{2}(M;2\pi \hbar \mathbb {Z} )$. Le théorème d'intégralité de Weil, qui s'écrit de manière équivalente comme $[\omega ]=2\pi \hbar c_{1}$ pour $c_{1}$ la première classe de Chern du $\mathbb {C} ^{\times }$-fibré $P$, est un cas particulier de la théorie de Chern-Weil.
  
  1960 : Jean-Marie $Souriau^,$ définit la préquantification géométrique. Tout comme la théorie de Kaluza-Klein est fondée sur un $\mathrm {U} (1)$-fibré principal dont la variété de base est l'espace-temps, la préquatification de Souriau est fondée sur un $\mathrm {U} (1)$-fibré principal dont la variété de base est une variété symplectique.
  
  1964 : Roger Penrose établit que l'équation d'une onde scalaire sans masse sur un espace-temps courbe $(+,-,-,-)$ de dimension 4 contient un terme de courbure scalaire, i.e. $(\square -R/6)\psi =0$. Cette équation est laissée invariante par la transformation $g_{ij}\mapsto e^{2\varphi }g_{ij}$, $\psi \mapsto e^{-\varphi }\psi$.
  
  1968 : N. A. Chernikov et E. A. Tagirov établissent que l'équation de Klein-Gordon sur un espace-temps courbe $(+,-,-,-)$ est $(\square -R/6)\psi =-\left(mc/\hbar \right)^{2}\psi$. Cette équation est laissée invariante par la transformation $g_{ij}\mapsto e^{2\varphi }g_{ij}$, $\psi \mapsto e^{-\varphi }\psi$, $m\mapsto e^{-\varphi }m$.
  
  70's : La quantification géométrique avance avec, notamment, les travaux d'Alexandre Kirillov, de Bertram Kostant, de Shlomo Sternberg, de Robert J. Blattner, etc. La notion de polarisation et de correction métaplectique est introduite.
  
  80's : Il est question de quantification métaplectique-c. Grosso modo, au lieu d'un produit tensoriel "$Mp\otimes U(1)$", on prend une extension non-triviale $U(1)$ du groupe symplectique. L'avantage est que la quantification s'applique à tous les $(\mathbb {C} P^{n},\omega _{\mathrm {FS} })$ et non qu'aux $(\mathbb {C} P^{n},\omega _{\mathrm {FS} })$ de dimension complexe paire (à vérifier).
  
  ## Généralités
  
  En mécanique classique :
  
  Considérons une variété symplectique $(M,\omega )$ munie d'un hamiltonien $H_{t}$. Le champ vectoriel hamiltonien $X_{t}$ de $H_{t}$ sur $M$ est défini par $\omega (\cdot ,X_{t})=-dH_{t}$. Le flot hamiltonien $\varphi _{t}$ de $H_{t}$ est le flot du champ vectoriel $X_{t}$, c'est-à-dire :
  
      $X_{t}={\frac {d\varphi _{t}}{dt}}\circ \varphi _{t}^{-1}$
  
  Considérons une observable classique $f_{t}$ définie sur $M$. Rappelons que le crochet de Poisson entre $H_{t}$ et $f_{t}$ peut s'écrire comme $\{H_{t},f_{t}\}=df_{t}(X_{t})$. L'évolution dynamique de l'observable $f_{t}$ par le flot hamiltonien $\varphi _{t}$ est donnée par le pull-back :
  
      $\varphi _{t}^{*}f_{t}=f_{t}\circ \varphi _{t}$
  
  La dérivée temporelle totale de $\varphi _{t}^{*}f_{t}$ est l'équation d'Hamilton :
  
      ${\frac {d}{dt}}\left(\varphi _{t}^{*}f_{t}\right)=\varphi _{t}^{*}\left(\{H_{t},f_{t}\}+{\frac {\partial f_{t}}{\partial t}}\right)$
  
  En mécanique quantique :
  
  Considérons un espace de Hilbert ${\mathcal {H}}$ muni d'un opérateur hamiltonien ${\hat {H}}_{t}$. L'opérateur d'évolution temporelle unitaire $U(t,t_{0})$ correspondant à l'hamiltonien ${\hat {H}}(t)$ est défini par :
  
      ${\hat {H}}(t)=i\hbar {\frac {dU(t,t_{0})}{dt}}\circ U(t,t_{0})^{-1}$
  
  Considérons une observable quantique ${\hat {f}}_{t}$ agissant sur ${\mathcal {H}}$. Selon la représentation de Heisenberg, l'évolution dynamique de l'observable ${\hat {f}}_{t}$ par l'hamiltonien ${\hat {H}}_{t}$ est donnée par l'action adjointe :
  
      $\mathrm {Ad} _{U(t,t_{0})}^{-1}\circ {\hat {f}}_{t}=U(t,t_{0})^{-1}\circ {\hat {f}}_{t}\circ U(t,t_{0})$
  
  La dérivée temporelle totale de $\mathrm {Ad} _{U(t,t_{0})}^{-1}\circ {\hat {f}}_{t}$ est l'équation de Heisenberg :
  
      ${\frac {d}{dt}}\left(\mathrm {Ad} _{U(t,t_{0})}^{-1}\circ {\hat {f}}_{t}\right)=\mathrm {Ad} _{U(t,t_{0})}^{-1}\circ \left({\frac {i}{\hbar }}\left[{\hat {H}}_{t},{\hat {f}}_{t}\right]+{\frac {\partial {\hat {f}}_{t}}{\partial _{t}}}\right)$
  
  ## Correspondances entre la mécanique classique et la mécanique quantique
  
  On remarque ici une panoplie de correspondances entre la mécanique classique et la mécanique quantique. Par exemple :
  
  * L'hamiltonien classique $H_{t}$ correspond à l'hamiltonien quantique ${\hat {H}}_{t}$
  * L'observable classique $f_{t}$ correspond à l'observable quantique ${\hat {f}}_{t}$
  * Le flot hamiltonien $\varphi _{t}$ correspond l'opérateur d'évolution unitaire $U(t,t_{0})$
  * Le pull-back $\varphi _{t}^{*}$ correspond à l'action adjointe $\mathrm {Ad} _{U(t,t_{0})}^{-1}$
  * L'équation d'Hamilton correspond à l'équation de Heisenberg
  * Le crochet de Poisson correspond au commutateur quantique via ${\frac {i}{\hbar }}\left[{\hat {f}}_{t},{\hat {g}}_{t}\right]={\widehat {\{f_{t},g_{t}\}}}$
  
  À cette liste pourrait s'ajouter ces correspondances importantes :
  
  * L'état classique $x\in (M,\omega )$ correspond au vecteur d'état quantique $|\psi (t_{0})\rangle \in {\mathcal {H}}$
  * Une orbite hamiltonienne classique $x(t)=\varphi _{t}(x)$ correspond à une orbite hamiltonienne quantique $|\psi (t)\rangle =U(t,t_{0})|\psi (t_{0})\rangle$
  
  Ces deux dernières correspondances sont à prendre avec un grain de sel. En effet, dans l'espace des phases, l'état classique $x\in \mathbb {R} ^{2n}$ possède une position $q$ et un momentum $p$ bien déterminé. En quantique, au contraire, le principe d'incertitude empêche de savoir en même temps la valeur de ${\hat {q}}$ et de ${\hat {p}}$. Une meilleure analogie est en termes de mécanique statistique. Sur la variété symplectique $(M,\omega )$ repose la forme volume canonique de Liouville $\Omega =\omega ^{\wedge n}/n!$. À une fonction de densité de probabilités $\rho :M\to \mathbb {R} _{\geq 0}$ correspond une densité de probabilités $d\mu =\rho \Omega$ :
  
      $\int _{M}d\mu =\int _{M}\rho \Omega =1$
  
  Vient alors deux correspondances entre la mécanique statistique et la mécanique quantique :
  
  * L'égalité $\int _{M}d\mu =1$ correspond à la condition de normalisation $\langle \psi |\psi \rangle =1$
  * L'espérance classique $\langle f_{t}\rangle _{\rho }:=\int _{M}f_{t}\rho \Omega$ correspond à l'espérance quantique $\langle {\hat {f}}_{t}\rangle _{\psi }:=\langle \psi |{\hat {f}}_{t}|\psi \rangle$.
  
  La première correspondance peut sembler relativement inutile. Toutefois, elle indique que les fonctions d'ondes quantiques sont des demi-densités de probabilités. Cette relation $\psi \approx {\sqrt {d\mu }}$ est à l'origine de la correction métaplectique.
  
  Enfin, il existe une autre analogie. En mécanique classique, on peut définir l'évolution dynamique d'un système classique de deux manières différentes mais équivalentes. La première est de se dire que les observables classiques $f_{t}\in {\mathcal {C}}^{\infty }(M;\mathbb {R} )$ sont fixés sur $M$ alors que les états classiques $x\in M$ évoluent dans le temps en étant poussés par le flot hamiltonien :
  
      ${\begin{aligned}\varphi _{t}:M&\to M\\x&\mapsto \varphi _{t}(x)\end{aligned}}$
  
  La seconde est de se dire que les états classiques $x\in M$ sont fixés alors que les observables classiques évoluent dans le temps en étant tirés par le flot hamiltonien :
  
      ${\begin{aligned}\varphi _{t}:{\mathcal {C}}^{\infty }(M;\mathbb {R} )&\to {\mathcal {C}}^{\infty }(M;\mathbb {R} )\\f_{t}&\mapsto \varphi _{t}^{*}f_{t}=f_{t}\circ \varphi _{t}\end{aligned}}$
  
  Ces deux manières sont équivalentes en ce sens que l'évolution temporelle de la valeur numérique obtenue par évaluation d'une observable classique sur un état classique est la même :
  
      $(f_{t}\circ \varphi _{t})(x)=f_{t}(\varphi _{t}(x))$
  
  Ces deux manières équivalentes de voir les choses correspondent respectivement à la représentation de Schrödinger où les états quantiques évoluent comme :
  
      ${\begin{aligned}{\mathcal {H}}&\to {\mathcal {H}}\\|\psi \rangle &\mapsto U(t,t_{0})|\psi \rangle \end{aligned}}$
  
  et à la représentation de Heisenberg où les observables quantiques évoluent comme :
  
      ${\begin{aligned}\mathrm {End} ({\mathcal {H}})&\to \mathrm {End} ({\mathcal {H}})\\{\hat {f}}_{t}&\mapsto \mathrm {Ad} _{U(t,t_{0})}^{-1}\circ {\hat {f}}_{t}\end{aligned}}$
  
  ## Règles à suivre pour une procédure de quantification géométrique
  
  Le but de la quantification géométrique est d'associer à une observable classique $f_{t}$ sur une variété symplectique $(M,\omega )$ un opérateur quantique ${\hat {f}}_{t}$ sur un espace de Hilbert ${\mathcal {H}}$.
  
  Une procédure de quantification géométrique donnée doit être géométrique au sens où elle ne doit pas dépendre d'un choix de coordonnées locales particulières sur la variété $M$. Cette procédure doit de plus satisfaire les trois conditions de Dirac énoncées plus haut. Enfin, la procédure doit pourvoir construire les systèmes quantiques usuels de la mécanique quantique, e.g. :
  
      ${\begin{aligned}q&\mapsto {\hat {q}}=q\\p&\mapsto {\hat {p}}=-i\hbar {\frac {\partial }{\partial q}}\\H_{t}=p^{2}/2m+V(q,t)&\mapsto {\hat {H}}_{t}=-(\hbar ^{2}/2m)\Delta +V({\hat {q}},t)\end{aligned}}$
  
  ## Tentatives de quantifications géométriques
  
  Première tentative : D'abord, on se donne $\Omega :=\omega ^{\wedge n}/n!\in \Omega ^{2n}(M;\mathbb {R} )$, la forme volume de Liouville canonique induite par la forme symplectique $\omega$ sur $M$. On considère alors la première quantification naïve suivante :
  
  * Un état quantique est une fonction $\psi :M\to \mathbb {C}$.
  * Le produit hermitien d'états quantiques est $\langle \psi _{1}|\psi _{2}\rangle :=\int _{M}{\overline {\psi }}_{1}\psi _{2}\Omega$.
  * L'espace de Hilbert est l'espace des fonctions de carrés sommables ${\mathcal {H}}:=L^{2}(M;\mathbb {C} )$, pour le produit hermitien qui précède.
  * La quantification d'observables $f\mapsto {\hat {f}}$ est :
  
      ${\hat {f}}:=-i\hbar X_{f}$
  
  où $X_{f}$ est le champ vectoriel hamiltonien de $f$. Ici, l'opérateur ${\hat {f}}$ agit sur $\psi$ par dérivée de Lie ${\hat {f}}\psi =-i\hbar X_{f}\psi$. Le commutateur quantique correspond au crochet de Lie de champs vectoriels. Ce faisant, en utilisant la relation $X_{\{f,g\}}=[X_{f},X_{g}]$ entre le crochet de Poisson et le crochet de Lie, la quantification naïve vérifie bien l'axiome 3. de la quantification de Dirac. Cette quantification satisfait aussi l'axiome 1. Mais elle ne satisfait pas l'axiome 2. puisque pour une fonction constante $f=1$ on a $X_{f}=0$, ce qui ne donne pas l'opérateur de multiplication $f$.
  
  Seconde tentative : Au lieu de considérer des fonctions complexes $\psi :M\to \mathbb {C}$, on considère des sections $\psi \in \Gamma (E)$ pour $E\to M$ d'un fibré en droites hermitiennes avec connexion $(E,A,h)$ sur $M$. D'abord on se donne :
  
  * $\pi :P\to M$, un $\mathbb {C} ^{\times }$-fibré principal
  * $\rho :\mathbb {C} ^{\times }\to \mathrm {Aut} (\mathbb {C} )$, la représentation canonique du groupe structurel matriciel $\mathbb {C} ^{\times }=\mathrm {GL} (1;\mathbb {C} )$, i.e. $\rho (z)v=zv,\forall z\in \mathbb {C} ^{\times },\forall v\in \mathbb {C}$.
  * $E:=P\times _{\rho }\mathbb {C}$, le fibré associé canonique. C'est un fibré en droites complexes.
  * $\mathbb {C} =\mathrm {Lie} (\mathbb {C} ^{\times })$, l'algèbre de Lie du groupe structurel
  * $A\in \Omega ^{1}(P;\mathbb {C} )$, une 1-forme de connexion
  * $F\in \Omega ^{2}(M;\mathbb {C} )$, la 2-forme de courbure de $A$ sur $M$.
  * $h\in \Gamma ({\overline {E}}^{*}\otimes E^{*})$, une structure hermitienne pour le fibré en droites $E$.
  
  On suppose que :
  
  * $d_{A}h=0$, i.e. que $h$ est $A$-adaptée. Ceci est équivalent à dire que $F$ est à valeurs purement imaginaires.
  * $\omega =i\hbar F$. Par la théorie de Chern-Weil, on sait que la seconde classe de cohomologie de de Rham de la 2-forme de courbure sur $M$ est entière, i.e. $[F]/(2\pi i)\in H^{2}(M;\mathbb {Z} )$. Ceci se traduit par la fameuse condition d'intégralité de Weil $[\omega ]\in H^{2}(M;2\pi \hbar \mathbb {Z} )$ sur la forme symplectique $\omega$. Cette condition sur la forme symplectique est nécessaire et suffisante pour que la variété symplectique $(M,\omega )$ soit préquantifiable, i.e. qu'elle admette un fibré en droites hermitiennes avec connexion dont la courbure concorde avec la forme symplectique tel que décrit plus haut.
  
  On considère alors le contexte quantique suivant :
  
  * Un état quantique est une section $\psi \in \Gamma (E)$
  * Le produit hermitien est $\langle \psi _{1}|\psi _{2}\rangle :=\int h(\psi _{1},\psi _{2})\Omega$
  * L'espace de Hilbert est l'espace des fonctions de carrés sommables ${\mathcal {H}}:=L^{2}(M;E)$, pour le produit hermitien qui précède.
  * La quantification d'observables $f\mapsto {\hat {f}}$ est :
  
      ${\hat {f}}=-i\hbar \nabla _{X_{f}}+f$
  
  où $\nabla _{X_{f}}\psi =\iota _{X_{f}}d_{A}\psi$ est la dérivée covariante de $\psi$ dans la direction du champ vectoriel hamiltonien $X_{f}$.
  
  Cette procédure de quantification satisfait les trois axiomes de quantification de Dirac. Toutefois, elle ne donne pas les bons opérateurs. Donnons-nous une section trivialisante locale $s_{\mu }:(U_{\mu }\subset M)\to (\pi ^{-1}(U_{\mu })\subset P)$. Elle tire la forme de connexion $A$ en bas à $A_{\mu }:=s_{\mu }^{*}A\in \Omega ^{1}(U_{\mu };\mathbb {C} )$. Cette dernière forme différentielle complexe induit un potentiel symplectique local complexe $\lambda _{\mu }:=i\hbar A_{\mu }\in \Omega ^{1}(U_{\mu };\mathbb {C} )$, i.e. $\omega =d\lambda _{\mu }$ sur $U_{\mu }$. Une section $\psi \in \Gamma (E)$ correspond à une fonction $\rho$-équivariante $\psi ^{\sharp }:P\to \mathbb {C}$. Cette fonction se tire via $s_{\mu }$ à une fonction $\psi _{\mu }:=s_{\mu }^{*}\psi ^{\sharp }:U_{\mu }\to \mathbb {C}$ sur $U_{\mu }$. La dérivée covariante de $\psi$ par un champ vectoriel $X\in {\mathfrak {X}}(M)$ s'écrit alors localement :
  
      $(\nabla _{X}\psi )_{\mu }:=X\psi _{\mu }+A_{\mu }(X)\psi _{\mu }$
  
  Considérons de plus des coordonnées de Darboux $(p_{j},q^{j})_{j=1,...,n}$ sur $U_{\mu }$, i.e. $\omega |_{U_{\mu }}=\sum _{j}dp_{j}\wedge dq^{j}$ et le potentiel symplectique $\lambda _{\mu }=\sum _{j}p_{j}dq^{j}$. Alors, la quantification d'une observable $f$ est explicitement donnée par :
  
      ${\hat {f}}=-i\hbar X_{f}-L_{f}$
  
  où $L_{f}:=\sum _{j}p_{j}{\frac {\partial f}{\partial p_{j}}}-f$ est la transformée de Legendre de $f$. En particulier, la quantification des observables classiques $p_{j}$, $q^{j}$ et $H={\frac {1}{2m}}\sum _{i,j}g^{ij}p_{i}p_{j}+V(q)$ donne :
  
      ${\hat {p}}_{j}=-i\hbar {\frac {\partial }{\partial q^{j}}}$
      ${\hat {q}}^{j}=i\hbar {\frac {\partial }{\partial p_{j}}}+q^{j}$
      ${\hat {H}}=-i\hbar \left(\sum _{i,j}{\frac {p_{i}}{m}}{\frac {\partial }{\partial q^{i}}}-\sum _{j}{\frac {\partial V}{\partial q^{i}}}{\frac {\partial }{\partial p_{i}}}\right)-\left({\frac {1}{2m}}\sum _{i,j}g^{ij}p_{i}p_{j}-V(q)\right)$
  
  On remarque qu'il y a un terme de trop dans l'opérateur ${\hat {q}}^{j}$ et que l'opérateur hamiltonien n'est pas bon. Il faut alors considérer un espace d'états quantiques plus petit, où les fonctions d'ondes sont covariantes constantes dans une certaine direction. Ceci mène vers la notion de polarisation, i.e. un feuilletage lagrangien de la variété symplectique $(M,\omega )$. Ce feuilletage doit satisfaire une condition quantique d'intégralité relié aux vieilles théories quantiques de Niels Bohr et d'Arnold Sommerfeld.
  
  Troisième tentative : Il existe trois types de polarisations sur une variété symplectique $(M,\omega )$ :
  
  * les polarisations réelles
  * les polarisations complexes (ou Kähler)
  * les polarisations mixtes (certaines directions réelles et d'autres complexes)
  
  Par simplicité de la présentation, ne considérons que les polarisations réelles. Une polarisation réelle ${\mathcal {L}}$ sur $(M,\omega )$ est la donnée d'un feuilletage de $M$ dont les feuilles sont des sous-variétés lagrangiennes. En coordonnées locales de Darboux $(p_{j},q^{j})_{j=1,...,n}$, deux exemples de polarisations sont la polarisation verticale ${\mathcal {L}}_{\mathrm {ver} }$ dont les feuilles lagrangiennes sont les espaces $\{(p,q):q=const.\}$ et la polarisation horizontale ${\mathcal {L}}_{\mathrm {hor} }$ dont les feuilles lagrangiennes sont les espaces $\{(p,q):p=const.\}$. Au lieu de considérer toutes les sections $\psi \in \Gamma (E)$, on ne considère que celles qui sont covariantes constantes dans la direction d'une polarisation donnée ${\mathcal {L}}$ . Ceci donne lieu à un espace de Hilbert restreint ${\mathcal {H}}({\mathcal {L}})$. Le noyau BKS sert à passer d'une polarisation à l'autre. Par exemple, le passage de la polarisation polarisation horizontale ${\mathcal {L}}_{\mathrm {hor} }$ à la polarisation verticale ${\mathcal {L}}_{\mathrm {ver} }$ donne lieu à une transformation unitaire ${\mathcal {H}}({\mathcal {L}}_{\mathrm {ver} })\to {\mathcal {H}}({\mathcal {L}}_{\mathrm {hor} })$ communément appelée transformée de Fourier. Maintenant qu'on a en main la notion de polarisation, reconsidérons la quantification des opérateurs. En coordonnées de Darboux avec le potentiel symplectique $\lambda _{\mu }=\sum _{j}p_{j}dq^{j}$ et la polarisation verticale, on voit que les opérateurs ci-haut ${\hat {p}}_{j}$, ${\hat {q}}^{j}$ et ${\hat {H}}$ deviennent :
  
      ${\hat {p}}_{j}=-i\hbar {\frac {\partial }{\partial q^{j}}}$
      ${\hat {q}}^{j}=q^{j}$
      ${\hat {H}}=-i\hbar \sum _{i,j}{\frac {p_{i}}{m}}{\frac {\partial }{\partial q^{i}}}-\left({\frac {1}{2m}}\sum _{i,j}g^{ij}p_{i}p_{j}-V(q)\right)$
  
  Bien que les deux opérateur ${\hat {p}}_{j}$ et ${\hat {q}}_{j}$ sont ceux attendus, l'opérateur hamiltonien n'est toujours pas bon. Ceci est dû au fait que le flot hamiltonien de l'hamiltonien $H$ ne préserve pas la polarisation verticale, i.e. ne la laisse pas invariante. Ce faisant, l'opérateur hamiltonien ici n'envoie pas ${\mathcal {H}}({\mathcal {L}}_{\mathrm {ver} })$ en lui-même mais en un autre espace de Hilbert. Pour corriger le tir, il faut prendre une limite sur une itération de transformations unitaires via le noyau BKS. Ce processus correspond à la notion d'intégrale de chemin de Feynman. On trouve alors le bon opérateur hamiltonien. Ensuite il y a d'autres problèmes (quoi donc ?) et il faut introduire la notion de correction métaplectique. Cette correction métaplectique ne peut pas quantifier tous les $\mathbb {C} P^{n}$ alors il faut la corriger pour la correction métaplectique-c.
  
  ## Résultats
  
  La quantification géométrique de l'hamiltonien classique d'une particule électriquement chargée sur une variété riemannienne de dimension $n$ :
  
      $H(p,q)={\frac {1}{2m}}\sum _{i,j=1}^{n}g^{ij}(q)p_{i}p_{j}+V(q)$
  
  est :
  
      ${\hat {H}}=-{\frac {\hbar ^{2}}{2m}}\left(\Delta -{\frac {1}{6}}R\right)+V$
  
  Ici, $\Delta$ est l'opérateur de Laplace-Beltrami et $R$ est la courbure scalaire de la métrique riemannienne $g_{ij}$. En particulier :
  
  * Lorsque $R=0$, on retrouve l'opérateur hamiltonien suggéré en 1926 par Schrödinger qui sert, en particulier, à établir le spectre atomique de l'atome d'hydrogène en coordonnées sphériques.
  * Lorsque $n=3$, l'équation de Schrödinger $i\hbar {\frac {\partial \psi (q,t)}{\partial t}}={\hat {H}}\psi (q,t)$ pour cet hamiltonien correspond aussi à l'approximation non-relativiste de l'équation de Klein-Gordon sur un espace-temps courbe de signature $(+,-,-,-)$
  
      $\left(\square -{\frac {1}{6}}R\right)\psi =-\left({\frac {mc}{\hbar }}\right)^{2}\psi$
  
  Enfin, la quantification géométrique peut être utilisée dans un contexte de dimension 5 en théorie de Kaluza-Klein pour quantifier la charge électrique.
  
  