Sternprodukt

Das Sternprodukt ist ein mathematischer Operator auf einer Poisson-Mannigfaltigkeit, der die Multiplikation der Algebra der glatten komplexwertigen Funktionen deformiert, so dass eine nicht-kommutative assoziative Algebra entsteht.

Der Operator ist eine sogenannte „Deformierungsquantisierung“, eine Formalisierung der Quantisierung aus der Physik, welches den Übergang eines Systems aus der klassischen Physik in die Quantenphysik bezeichnet. Das Sternprodukt ist ein Spezialfall einer formalen Deformation.

Einführung

Eine Poisson-Algebra, welche zusätzlich eine *-Algebra ist, nennt man Poisson-*-Algebra.

Die klassischen Observablen in der Physik bilden eine kommutative Poisson-*-Algebra ${\mathcal {A}}_{C}\subseteq C^{\infty }(M)$ von glatten, komplexen Funktionen auf einer Poisson-Mannigfaltigkeit $(M,\pi )$ , wohingegen die Quanten-Observablen eine *-Algebra ${\mathcal {A}}_{QM}$ von Operatoren auf einem Unterraum $D$ eines Hilbertraum $H\supseteq D$ bilden.

Die Quanten-Observablen sind Familien von selbstadjungierten Operatoren und ${\mathcal {A}}_{QM}$ ist im Allgemeinen nicht-kommutativ.

Der Übergang eines Systems aus der klassischen Mechanik in die Quantenmechanik nennt man „Quantisierung“. Eine Quantisierungsmethode ist die sogenannte „Deformierungsquantisierung“ (die von Flato, Lichnerowicz und Sternheimer eingeführt wurde), wobei die Struktur der Algebra der klassischen Observablen deformiert wird, sodass eine nicht-kommutative Algebra von Quanten-Observablen entsteht (statt die Observablen zu ändern).

Formale Deformation

Sei $R$ ein kommutativer Ring und ${\mathcal {A}}$ eine (assoziative) Algebra über $R$ . Sei $R[[\lambda ]]$ der Ring der formalen Potenzreihen und mit ${\mathcal {A}}[[\lambda ]]$ bezeichne man die Algebra der formalen Potenzreihen über $R[[\lambda ]]$ mit Koeffizienten in ${\mathcal {A}}$ .

Dann nennt man $\star$ eine formale Deformation des Multiplikationsoperators $\cdot$ (der Algebra ${\mathcal {A}}$ ), wenn $\star$ eine $R[[\lambda ]]$ -bilineare Abbildung ist

{\displaystyle \star

so dass für jedes $u,v\in {\mathcal {A}}[[\lambda ]]$

u\star v=uv\quad \operatorname {mod} \lambda

wobei $uv$ die Multiplikation für formale Potenzreihen ist:

uv:=\sum \limits _{n=0}^{\infty }\lambda ^{n}\sum \limits _{k=0}^{n}u_{k}v_{n-k},\quad u_{k},v_{k}\in {\mathcal {A}}

Definition

Sei $(M,\pi )$ eine Poisson-Mannigfaltigkeit, wobei $\pi$ der Poisson-Tensor ist.

Ein Sternprodukt $\star$ ist eine formale Deformation auf $C^{\infty }(M)[[\lambda ]]$ , das heißt es ist eine $\mathbb {C} [[\lambda ]]$ -bilineare Multiplikation

\star :C^{\infty }(M)[[\lambda ]]\times C^{\infty }(M)[[\lambda ]]\to C^{\infty }(M)[[\lambda ]]

der Form:

f\star g=\sum \limits _{r=0}^{\infty }\lambda ^{r}C_{r}(f,g)

wobei die $C_{r}$ $\mathbb {C}$ -bilineare Abbildungen sind

C_{r}:C^{\infty }(M)\times C^{\infty }(M)\to C^{\infty }(M)

so dass Folgendes gilt:

Der $\star$ ist assoziativ: $(f\star g)\star h=f\star (g\star h)$ für alle $f,g,h\in C^{\infty }(M)$
$C_{0}(f,g)=fg$
$C_{1}(f,g)-C_{1}(g,f)=i\{f,g\}\quad$ (wobei $\{,\}$ die Poisson-Klammern bezeichnet)
$1\star f=f=f\star 1$ für alle $f\in C^{\infty }(M)$

Falls die $C_{r}$ bidifferentiale Operatoren sind, nennt man $\star$ ein differentielles Sternprodukt.

Falls jedes $C_{r}$ ein bidifferentialer Operator der Ordnung $r$ in jedem Argument ist, so nennt man $\star$ ein natürliches Sternprodukt.

Man nennt ein $\star$ vom Weyl-Typ, falls $C_{r}(f,g)=(-1)^{r}C_{r}(g,f)$ und $\star$ hermitesch ist, das heißt es gilt ${\overline {f\star g}}={\bar {f}}\star {\bar {g}}$ (mit Konvention ${\bar {\lambda }}=\lambda$ )

Erläuterungen

Die assoziative Struktur der Multiplikation wird gleichzeitig mit der Lie-Struktur der Poisson-Klammern deformiert.

Beispiele

Das Moyal-Produkt $\star _{W}$ auf $M:=\mathbb {R} ^{2n}$ mit einer kanonischen symplektischen Form ${\displaystyle \pi$ und der Planckschen Konstante ${\displaystyle \lambda$ ist ein Sternprodukt. Für $f,g\in C^{\infty }(\mathbb {R^{2n}} )$ gilt

f\star _{W}g:=f(q,p)\exp \left({\frac {\mathrm {i} \hbar }{2}}\left({\overset {\leftarrow }{\partial _{q}}}{\overset {\rightarrow }{\partial _{p}}}-{\overset {\leftarrow }{\partial _{p}}}{\overset {\rightarrow }{\partial _{q}}}\right)\right)g(q,p)

.

Existenz

Auf symplektischen Mannigfaltigkeiten

De Wilde und Lecomte bewiesen, dass auf jeder symplektischen Mannigfaltigkeit ein differentielles Sternprodukt existiert.

Auf Poisson-Mannigfaltigkeiten

Maxim Konzewitsch bewies, dass sich jede endlichdimensionale Poisson-Mannigfaltigkeit quantisieren lässt, was die Existenz von differentiellen Sternprodukten auf beliebigen Poisson-Mannigfaltigkeiten impliziert. Er zeigte, dass die Menge der Äquivalenzklassen der differentiellen Sternprodukte auf einer Poisson-Mannigfaltigkeit $(M,P)$ mit der Menge der Äquivalenzklassen von Poisson-Deformationen von $P$ übereinstimmt.

Einzelnachweise

↑ Chiara Esposito: Formality Theory. Springer Verlag, 2015, ISBN 978-3-319-09289-8.
↑ Stefan Waldmann: Poisson-Geometrie und Deformationsquantisierung. Springer Verlag, 2001, ISBN 978-3-540-72517-6, S. 374.
↑ Marc de Wilde, Pierre B. A. Lecomte: Existence of star-products and of formal deformations of the Poisson Lie algebra of arbitrary symplectic manifolds. In: Letters in Mathematical Physics. Band 7, Nr. 6, 1. November 1983, S. 487–496, doi:10.1007/BF00402248.
↑ Maxim Kontsevich: Deformation Quantization of Poisson Manifolds. In: Letters in Mathematical Physics. Band 66, Nr. 3, 1. Dezember 2003, S. 157–216, doi:10.1023/B:MATH.0000027508.00421.bf, arxiv:q-alg/9709040v1.

[1] Chiara Esposito: Formality Theory. Springer Verlag, 2015, ISBN 978-3-319-09289-8.

[2] Stefan Waldmann: Poisson-Geometrie und Deformationsquantisierung. Springer Verlag, 2001, ISBN 978-3-540-72517-6, S. 374.

[3] Marc de Wilde, Pierre B. A. Lecomte: Existence of star-products and of formal deformations of the Poisson Lie algebra of arbitrary symplectic manifolds. In: Letters in Mathematical Physics. Band 7, Nr. 6, 1. November 1983, S. 487–496, doi:10.1007/BF00402248.

[4] Maxim Kontsevich: Deformation Quantization of Poisson Manifolds. In: Letters in Mathematical Physics. Band 66, Nr. 3, 1. Dezember 2003, S. 157–216, doi:10.1023/B:MATH.0000027508.00421.bf, arxiv:q-alg/9709040v1.