Konzewitschs Formel

Konzewitschs Formel (auch Konzewitschs Quantisierungsformel) ist eine Formel der mathematischen Physik. Sie beschreibt wie lokal ein Sternprodukt auf einer endlich-dimensionalen Poisson-Mannigfaltigkeit konstruiert werden kann. Dadurch entsteht eine Deformationsquantisierung der Poisson-Algebra.

Die Formel stammt von dem Mathematiker Maxim Konzewitsch.

Konzewitschs Formel

Der Operator besteht aus „Gewichten“ $w_{Γ}$ und Bidifferentialoperatoren $B_{Γ, π}$ , welche mit Hilfe von Graphen konstruiert werden. Zu jedem möglichen Graphen wird ein Gewicht und ein Bidifferentialoperator konstruiert.

Vorbereitung

Konstruktion des Graphens

Sei $Γ = (V, E)$ ein beschrifteter orientierter Graph ( $V$ = Knoten, $E$ = Kanten), der keine Schleifen besitzt, $n + 2$ Knoten und $2 n$ Kanten hat. Weiter soll sich $V$ in zwei geordnete Mengen ${1, \dots, n}$ und ${F, G}$ zerlegen lassen.

$Γ$ besitzt die Beschriftung $e_{1}^{1}, e_{1}^{2}, e_{2}^{1}, e_{2}^{2}, \dots, e_{n}^{1}, e_{n}^{2}$ , wobei $e_{k}^{j}$ mit $j \in {1, 2}$ bedeutet, dass die Kante in $k \in {1, \dots, n}$ beginnt.

Mit $G_{n}$ bezeichnen wir die Subklasse all dieser Graphen.

Beispiel: Der Graph im Bild besitzt folgende Kanten

(e_{1}^{1}, e_{1}^{2}, e_{2}^{1}, e_{2}^{2}, e_{3}^{1}, e_{3}^{2}) = ((1, F), (1, 2), (2, F), (2, G), (3, F), (3, G)) .

Konstruktion des Bidifferentialoperators

Sei $π \in 𝔛^{2} := Γ (\land^{2} T M)$ ein Poisson-Bivektorfeld einer Poisson-Mannigfaltigkeit $M$ . Weiter sei $I : E \to {1, \dots, d}$ eine Funktion, welche die Kanten neu beschriftet $(e_{1}^{1}, e_{1}^{2}, \dots, e_{n}^{1}, e_{n}^{2}) \mapsto (i_{1}, \dots, i_{d})$ , so dass die neue Beschriftungen unabhängig von den Indizes sind.

Für jeden zulässigen Graphen $Γ \in G_{n}$ assoziieren wir einen Bidifferentialoperator

B_{Γ, π} : C^{\infty} (M) \times C^{\infty} (M) \to C^{\infty} (M) .

Die Knoten $F$ und $G$ repräsentieren eine Funktion $f$ und $g$ und für jeden Knoten $k \in {1, \dots, n}$ assoziieren wir einen Tensor $π^{I (e_{k}^{1}) I (e_{k}^{2})}$ . Zu jeder Kante $i_{l}$ assoziieren wir zudem eine partielle Ableitung der Funktion oder des Tensors am Endknoten des Pfeils. Die Ableitungen werden in der durch die Beschriftung vorgeschriebenen Reihenfolge multipliziert.

Die allgemeine Formel für den Operator $B_{Γ, π}$ ist

B_{Γ, π} := \sum_{I : E \to {1, \dots, d}} [\prod_{k = 1}^{n} (\prod_{e \in E, e = (\cdot, k)} \partial_{I (e)}) π^{I (e_{k}^{1}) I (e_{k}^{2})}] (\prod_{e \in E, e = (\cdot, F)} \partial_{I (e)}) f (\prod_{e \in E, e = (\cdot, G)} \partial_{I (e)}) g .

Beispiel: Der zum Graphen im Bild assoziierte Bidifferentialoperator ist

(f, g) \mapsto \sum_{i_{1}, \dots, i_{6}} π^{i_{1}, i_{2}} \partial_{i_{2}} (π^{i_{3}, i_{4}}) π^{i_{5}, i_{6}} \partial_{i_{1}} \partial_{i_{3}} \partial_{i_{5}} (f) \partial_{i_{4}} \partial_{i_{6}} (g) .

Der Graph sagt, wir haben die Tensoren ${π^{i_{1}, i_{2}}, π^{i_{3}, i_{4}}, π^{i_{5}, i_{6}}}$ und wegen der Kante $i_{2}$ müssen wir $π^{i_{3}, i_{4}}$ ableiten. Die restlichen Kanten sind Ableitungen von $f$ bzw. $g$ .

Berechnung des Gewichts

Sei $ℍ$ die obere Halbebene ( $Im (z) > 0$ ) mit der hyperbolischen Metrik

d s^{2} = \frac{d x^{2} + d y^{2}}{y^{2}}

.

Definiere für $p \neq q \in ℍ$

ϕ (p, q) := \arg (\frac{q - p}{q - \bar{p}}) = \frac{1}{2 i} \log (\frac{(q - p) (\bar{q} - p)}{(q - \bar{p}) (\bar{q} - \bar{p})}) .

$ϕ (p, q)$ misst den Winkel zwischen der Geodäte $[p, q]$ und der Geodäte $[p, \infty]$ gegen den Uhrzeigersinn.

Sei $ℋ_{𝓃}$ der Raum der Konfiguration von $n$ nummerierten paarweise verschiedenen Punkten in $ℍ$

ℋ_{𝓃} := {(𝓅_{1}, \dots, 𝓅_{𝓃}) ∣ 𝓅_{𝓀} \in ℍ, 𝓅_{𝓀} \neq 𝓅_{𝓁} für 𝓀 \neq 𝓁} .

$ℋ_{𝓃} \subset ℂ^{𝓃}$ ist eine nicht-kompakte glatte $2 n$ -dimensional Mannigfaltigkeit.

Sei $Γ \in G_{n}$ ein Graph und $(p_{1}, \dots, p_{n}) \in ℋ_{𝓃}$ eine Konfiguration, dann können wir den Graphen auf $ℝ^{2} ≅ ℂ$ übertragen. Wir weisen jedem Punkt $p_{k}$ einen Knoten $1 \leq k \leq n$ zu, den Punkt $0 \in ℝ \subset ℂ$ dem Knoten $F$ und den Punkt $1 \in ℝ \subset ℂ$ dem Knoten $G$ .

Sei $e_{k}^{b} \in E$ eine Kante, dann definieren wir $ϕ_{e_{k}^{b}} := ϕ (k, b)$ .

Das Gewicht lässt sich wie folgt berechnen

w_{Γ} := \frac{1}{n! (2 π)^{2 n}} \int_{ℋ_{𝓃}} ⋀_{k = 1}^{n} (d ϕ_{e_{k}^{1}} \land d ϕ_{e_{k}^{2}}) .

Konzewitschs Formel

Sei $π$ ein Poisson-Bivektorfeld in einem offenen Gebiet in $ℝ^{d}$ . Dann definiert die Formel

f ⋆ g = \sum_{n = 0}^{\infty} t^{n} \sum_{Γ \in G_{n}} w_{Γ} B_{Γ, π} (f, g)

ein Sternprodukt auf der gegebenen Poisson-Mannigfaltigkeit $M$ . Seine Äquivalenzklasse ist unabhängig von den gewählten Koordinaten auf $M$ .

Physikalische Interpretation

Um eine physikalische Interpretation zu erhalten, wählen wir $t := \frac{i ℏ}{2}$ .

Globalisierung

Konzewitsch hat die Quantisierung von $ℝ^{d}$ auf eine allgemeine Poisson-Mannigfaltigkeit erweitert. Die Globalisierung stammt von Alberto Cattaneo, Giovanni Felder und Lorenzo Tomassini.

Literatur

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.
Chiara Esposito: Formality Theory: From Poisson Structures to Deformation Quantization (= Springer Briefs in Mathematical Physics. Band 2). Springer, 2014, ISBN 978-3-319-09290-4, S. 61–65.

Einzelnachweise

↑ 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.
↑ Alberto S. Cattaneo, Giovanni Felder, Lorenzo Tomassini: From local to global deformation quantization of Poisson manifolds. In: arXiv:math/0012228 [math.QA]. 2002, arxiv:math/0012228.

[1] 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.

[2] Alberto S. Cattaneo, Giovanni Felder, Lorenzo Tomassini: From local to global deformation quantization of Poisson manifolds. In: arXiv:math/0012228 [math.QA]. 2002, arxiv:math/0012228.