Übertragen von CFT-Korrelationen von R3R3\mathbb{R}^3 nach S3S3S^3

Es scheint eine einfache Methode zu geben, um die Korrelationen einer CFT zu übertragen R 3 Zu S 3 aber ich verstehe nicht warum das funktionieren soll.

Die Idee ist, dass irgendwie, weil, D S S 3 2 = 4 ( 1 + | R | 2 ) 2 D S R 3 2 Daraus folgt, dass alles, was man tun muss, darin besteht, alle Vorkommen von zu ersetzen R R ' von 2 ( R R ' ) ( 1 + | R | 2 ) ( 1 + | R ' | 2 )

  • Warum soll das funktionieren?

  • Was ist die notwendige Beziehung zwischen den beiden CFTs, ​​damit dies funktioniert?

    (Wenn man dies zum Beispiel auf die freie Skalarfeldtheorie anwendet, stellt sich heraus, dass dies für die Laplace-Operatoren gilt R 3 oder S 3 die beiden 2-Punkt-Funktionen erfüllen jeweils unterschiedliche PDEs und stammen daher von zwei verschiedenen Lagrange-Funktionen - da wir sowieso wussten, dass die Lagrange-Funktion für den konform gekoppelten Skalar auf dem flachen Raum nicht dieselbe ist wie die Lagrange-Funktion für den konform gekoppelten Skalar auf S 3 )

  • Ist es Teil einer allgemeinen Idee, die zwischen anderen Mannigfaltigkeitspaaren funktionieren würde?

Ich nehme an, man könnte eine stereografische Projektion aus verwenden S 3 Zu R 3 , wobei diese Abbildung konform ist.
@Trimok Kannst du das etwas näher erläutern? Wie ist man auf diese Karte gekommen? Und für welche Art von CFTs zwischen welchen Arten von Verteilern wäre so etwas zulässig?
Ich hatte keine genaue Vorstellung, aber ich stelle fest, dass die D S S 3 2 Die von Ihnen angegebenen Metriken entsprechen einer stereografischen Projektion: ϕ ( X , j , z , w ) = ( X 1 w , j 1 w , z 1 w ) , Und ϕ 1 ( A , B , C ) = ( 2 A 1 + R 2 , 2 B 1 + R 2 , 2 C 1 + R 2 , 1 + R 2 1 + R 2 ) , mit R 2 = A 2 + B 2 + C 2

Antworten (1)

Beide R 3 Und S 3 sind explizit symmetrische Räume vom Rang 1, als homogene Räume sind sie gegeben durch:

R 3 = ICH S Ö ( 3 ) / S Ö ( 3 )

Und

S 3 = S Ö ( 4 ) / S Ö ( 3 )

Die Bedeutung davon, dass sie Rang-1-symmetrische Räume sind, besteht darin, dass es nur eine „Zwei-Punkte“-Invariante auf ihnen gibt, dh jede Funktion von zwei Punkten R 1 Und R 2 invariant unter der Automorphismusgruppe ( ICH S Ö ( 3 ) im Fall von R 3 Und S Ö ( 4 ) im Fall von S 3 ) muss eine Funktion einer einzigen Zweipunkt-Invariante sein, die als geodätischer Abstand angenommen werden kann:

D ( R 1 , R 2 ) = | R 1 R 2 |

im Fall von R 3 Und

D ( R 1 , R 2 ) = | R 1 R 2 | 1 + R 1 R 2 1 + R 2 R 2

In den stereographischen Projektionskoordinaten von S 3 ( R ist der Radius der Kugel).

Daher ist diese Ersetzung die natürliche, die angenommen werden muss, um die Invarianz beizubehalten. Auch in der Grenze, wo der Radius der Kugel gegen unendlich geht, die R 3 Funktionen erhalten werden

Tiefer, ICH S Ö ( 3 ) erhalten Sie bei S Ö ( 4 ) durch einen Verformungsprozess namens Wigner-İnönü-Kontraktion. Bitte lesen Sie den folgenden erklärenden Artikel von Shu-Heng Shao. Dies ist eine singuläre Grenze, von der man keine glatten Abbildungen erwarten kann R Zu R = schließlich ist die Topologie anders.

Aus diesem Grund kann man nicht erwarten, dass die Kontraktion von Gruppenrepräsentationen eins zu eins ist, bitte lesen Sie diesen kürzlich erschienenen Artikel von B. Cahen über die Kontraktion von Gruppenrepräsentationen. Beispielsweise sind unitäre irreduzible Darstellungen von nicht kompakten Gruppen unendlich dimensional, während für kompakte Gruppen endlich dimensional, aber es ist bekannt, dass die diskreten Darstellungen der nicht kompakten Gruppen in die Grenze zu den (immer diskreten) Darstellungen der kompakten Gruppen gehen.

Nun können zwei Punktfunktionen in Summen von Eigenfunktionen der Laplaceschen Trägergruppendarstellungen zerlegt werden.

Ein berühmtes Beispiel ist der durch die Eigenwerte des Laplace-Operators zerlegbare Wärmekern, der im semiklassischen Limes allein von der geodätischen Distanz abhängt:

K ( R 1 , R 2 , β ) = N ψ N ( R 1 ) ψ N ( R 2 ) e β E N H e S S ich A N ( D ( R 1 , R 2 ) 2 ) e D ( R 1 , R 2 ) 2 4 β

Wo ψ N ist die der Energie entsprechende Eigenfunktion des Laplace-Operators E N . Diese Funktionen tragen Darstellungen der Automorphismusgruppe, die bei der Kontraktion Grenzen haben.

Um also die analoge Zweipunktfunktion auf der Kugel zu erhalten, sollten die harmonischen Funktionen durch die entsprechenden Eigenfunktionen des Laplace-Operators auf der Kugel ersetzt werden. In diesem Fall erhält man automatisch die geodätische Entfernung auf der Kugel im Grenzbereich.