geometric pseudodifferential calculus with applications
play

GEOMETRIC PSEUDODIFFERENTIAL CALCULUS WITH APPLICATIONS TO QFT ON - PowerPoint PPT Presentation

GEOMETRIC PSEUDODIFFERENTIAL CALCULUS WITH APPLICATIONS TO QFT ON CURVED SPACETIMES JAN DEREZI NSKI Dep. of Math. Meth. in Phys. Faculty of Physics, University of Warsaw in collaboration with WOJCIECH KAMI NSKI, ADAM LATOSI NSKI and


  1. GEOMETRIC PSEUDODIFFERENTIAL CALCULUS WITH APPLICATIONS TO QFT ON CURVED SPACETIMES JAN DEREZI´ NSKI Dep. of Math. Meth. in Phys. Faculty of Physics, University of Warsaw in collaboration with WOJCIECH KAMI´ NSKI, ADAM LATOSI´ NSKI and DANIEL SIEMSSEN

  2. 1. Balanced Geometric Weyl Quantization 2. Schr¨ odinger operators on Riemannian manifolds, the asymptotics of their inverse 3. Klein-Gordon operators on Lorentzian manifolds, their self-adjointness, distinguished inverses and bisolutions (propagators). 4. Asymptotics of propagators

  3. BALANCED GEOMETRIC WEYL QUANTIZATION The usual Weyl quantization of b ∈ S ′ ( R d × R d ) is the operator Op( b ) : S ( R d ) → S ′ ( R d ) with the kernel � x + y d p � i � h ( y − x ) p Op( b )( x, y ) := b , p e (2 πh ) d . 2 Hilbert-Schmidt operators correspond to square inte- grable symbols: � (2 πh ) − d TrOp( a ) ∗ Op( b ) = a ( z, p ) b ( z, p )d z d p.

  4. Consider a (pseudo-)Riemannian manifold M . There exists a neighborhood of the diagonal Ω ⊂ M × M with the property that every pair ( x, y ) ∈ Ω is joined by a unique geodesics [0 , 1] ∋ τ �→ γ x,y ( τ ) such that γ x,y × γ x,y ⊂ Ω . It is called a geodesically convex neigh- borhood of the diagonal.

  5. Let x ∈ M and u ∈ T x M . We will write x + u := exp x ( u ) . Let ( x, y ) ∈ Ω . The symbol y − x will denote the unique vector in T x M tangent to the geodesics γ x,y such that x + ( y − x ) = y. ( y − x ) τ will denote the vector in T x + τ ( y − x ) M such that � � x + τ ( y − x ) + (1 − τ )( y − x ) τ = y.

  6. The Van Vleck–Morette determinant is defined as 1 � ∂ ( y − x ) � | g ( x ) | 2 � � ∆( x, y ) := . � � 1 ∂y | g ( y ) | 2 Note that ∆( x, y ) = ∆( y, x ) , ∆( x, x ) = 1 .

  7. If B is an operator C ∞ c ( M ) → D ′ ( M ) then its kernel is a distribution in D ′ ( M × M ) such that � f, g ∈ C ∞ � f | Bg � = f ( x ) B ( x, y ) g ( y )d x d y, c ( M ) . We will treat elements of C ∞ c ( M ) not as scalar func- tions, but as half-densities. With this convention, the kernel of an operator is a half-density on M × M .

  8. We will say that M is geodesically simple if each pair of points is joined by a unique geodesics, so that Ω = M × M . Assume first that M is geodesically simple. Consider a function on the phase space, often called a symbol T ∗ M ∋ ( z, p ) ∋ b ( z, p ) .

  9. The balanced geometric Weyl quantization of b , de- noted Op( b ) , is the operator with the kernel 1 1 2 | g ( x ) | 4 | g ( y ) | 4 1 Op( b )( x, y ) :=∆( x, y ) 1 � � � � g z | 2 d p � i h up � � × b z, p e (2 πh ) d , where z := x + y − x , u := ( y − x ) 1 2 . 2

  10. Note that T ∗ M possesses a natural density, hence there is a natural identification of scalars with half-densities. Up to a coefficient, the quantization that we defined is unitary from L 2 ( T ∗ M ) to operators on L 2 ( M ) equipped with the Hilbert-Schmidt scalar product: 1 � c ( x, p ) b ( x, p )d x d p = TrOp( c ) ∗ Op( b ) . (2 πh ) d T ∗ M

  11. Define the star product Op( a ⋆ b ) = Op( a )Op( b ) . Here is its asymptotic expansion in Planck’s constant: a α b α − a α b α ( a ⋆ b ) ∼ ab + h i � � 2 + h 2 � a α 1 α 2 b α 1 α 2 − 2 a α 2 α 1 b α 1 − 1 α 2 + a α 1 α 2 b α 1 α 2 � � 8 a α 2 b α 1 α 3 + a α 1 α 3 b α 2 �� 12 R α 1 α 2 a α 2 b α 1 − 1 24 R βα 1 α 2 α 3 p β + 1 � + . . . Lower indices—horizontal (spatial) derivatives. Upper indices—vertical (momentum) derivatives.

  12. If M is not geodesically simple, in the definition of Op( b ) we need to put a cutoff χ equal 1 in a neigh- borhood of the diagonal and supported in Ω . This does not affect the semiclassical expansion of the starproduct.

  13. SCHR¨ ODINGER OPERATORS ON A RIEMANNIAN MANIFOLD AND THE ASYMPTOTICS OF THEIR INVERSE Consider a symbol quadratic in the momenta, with the principal part given by the Riemannian metric: k ( z, p ) = g µν ( z ) � �� � p µ − A µ ( z ) p ν − A ν ( z ) + Y ( z ) . Its quantization is a magnetic Schr¨ odinger operator K := Op( k ) = | g | − 1 1 2 g µν (i h∂ ν + A ν ) | g | − 1 4 (i h∂ µ + A µ ) | g | 4 + 1 6 R + Y.

  14. K is a self-adjoint operator on L 2 ( M ) . We are inter- ested in the corresponding W ( t ) := e − tK , Re t > 0 heat semigroup G := 1 and Green’s operator (inverse) K. They are closely related: � ∞ G = W ( t )d t. 0

  15. We would like to compute the asymptotics of their ker- nels. We make the ansatz � � W ( t ) = Op w ( t ) , ∞ t n w ( t, z, p ) ∼ e − tk ( z,p ) � n ! w n ( z, p ) , n =0 w 0 ( z, p ) = 1 .

  16. By applying the geometric pseudodifferential calculus one can iteratively find � α . � � w n ( z, p ) = w n,α ( z ) p − A ( z ) � � It is easy to see that w n is a polynomial in p − A ( z ) of degree ≤ 3 2 n . Using the fact that the principal symbol is given by the metric we show that degree ≤ n .

  17. From this one obtains 1 1 1 W ( t, x, y ) ∼ W ( t, x, y ) := ∆ 2 ( x, y ) | g ( x ) | 4 | g ( y ) | 4 1 d 2 (4 πth 2 ) | g ( z ) | 2 � ∞ ( − t ) k − 1 � 4 tvg − 1 ( z ) v − tY ( z ) v β B k,β ( z )e − i vA ( z ) , � × exp k ! k =0 where as usual z := x + y − x v = u , u := ( y − x ) 1 2 , h. 2

  18. What is the meaning of ∼ ? We can write 1 1 1 W ( t, x, y ) := ∆ 2 ( x, y ) | g ( x ) | 4 | g ( y ) | 4 1 d 2 (4 πth 2 ) | g ( z ) | 2 − 1 � � 4 tvg − 1 ( z ) v − tY ( z ) B ( t, z, v )e − i vA ( z ) . × exp Then formally ∞ ( − t ) k v β B k,β ( z ) + O ( h ∞ ) . � B ( t, z, v ) = k ! k =0

  19. Maybe we can fix h = 1 and replace O ( h ∞ ) with O ( t ∞ ) . For geodesically simple manifolds, perhaps we can re- place it by O ( | v | ∞ ) .

  20. In the literature 1 1 1 W ( t, x, y )∆ 2 ( x, y ) | g ( x ) | 4 | g ( y ) | 4 1 d | g ( z ) | 2 (4 πt ) 2 − 1 � 4 t ( x − y ) 2 � × exp B ( t, x, y ) ∞ t n � B ( t, x, y ) ∼ n ! B n ( x, y ) , n =0 is called the Minackshisundaram-Pleijel expansion or the Schwinger-De Witt expansion.

  21. The usual way to find this expansion is to solve recur- sively the differential equation ( ∂ t + K ) W ( t, x, y ) = 0 , t > 0 , W (0 , x, y ) = δ ( x, y ) . This method does not give a unique answer for all coef- ficients, unlike the pseudodifferential calculus.

  22. Assume that Y > 0 . By integrating the heat kernel we obtain an asymptotics of Green’s operator: 1 1 1 ∞ G ( x, y ) := ∆ 2 ( x, y ) | g ( x ) | 4 | g ( y ) | 4 u β W k,β ( z )e − i uA ( z ) � d (4 π ) 2 k =0 � k +1 − d 2 �� ug − 1 ( z ) u 2 �� ug − 1 ( z ) uY ( z ) × 2 K k +1 − d , 4 Y ( z ) 2 where K m are the MacDonald functions.

  23. Using the well-known expansions of the MacDonald func- tions we obtain a version of the Hadamard expansion 1 1 1 4 e − i uA ( z ) G ( x, y ) ∼ G ( x, y ) = ∆ 2 ( x, y ) | g ( x ) | 4 | g ( y ) | � 1 − d �� ug − 1 ( z ) u u α w α ( z ) 2 � × α � ug − 1 ( z ) u u α v α ( z ) � � � + log . α (In odd dimensions the term with the logarithm is ab- sent).

  24. KLEIN-GORDON OPERATORS, THEIR INVERSES AND BISOLUTIONS (PROPAGATORS) Assume that M is equipped with the metric tensor g , the electromagnetic potential A and the scalar potential (or “mass squared”) Y . Consider the operator K := | g | − 1 1 2 g µν (i ∂ ν + A ν ) | g | − 1 4 + Y 4 (i ∂ µ + A µ ) | g | If M is a Riemannian manifold, then K would be called a Schr¨ odinger operator. We consider a globally hyperbolic Lorentzian manifold, and then K is called a Klein-Gordon operator. Its math- ematical theory is much more complicated!

  25. We say that G is a bisolution of K if GK = KG = 0 . We say that G is an inverse (Green’s operator if GK = KG = 1 l . In quantum field theory an important role is played by certain distinguished bisolutions and inverses. We will call them propagators.

  26. The most important propagators on the Minkowski space: the forward/backward or advanced/retarded propagator d p e i xp � G ∨ / ∧ ( p ) := (2 π ) 4 ( p 2 + m 2 ∓ i0sgn p 0 ) , the Feynman/anti-Feynman propagator d p e i xp � G F / F ( p ) := (2 π ) 4 ( p 2 + m 2 ∓ i0) , the Pauli-Jordan propagator � d p e i xp sgn( p 0 ) δ ( p 2 + m 2 ) G PJ ( p ) := , (2 π ) 4 and the positive/negative frequency bisolution � d p e i xp θ ( ± p 0 ) δ ( p 2 + m 2 ) G (+) / ( − ) ( p ) := . (2 π ) 4

  27. In QFT textbooks, the Pauli-Jordan propagator expresses commutation relations of fields, and hence it is often called the commutator function. The positive frequency bisolution is the vacuum expec- tation of a product of two fields and is often called the 2-point function. The Feynman propagator is the vacuum expectation of the time-ordered product of fields and is used to evaluate Feynman diagrams.

  28. It is well-known that on an arbitrary globally hyperbolic spacetime one can define the forward propagator (inverse) G ∨ and the backward propagator (inverse) G ∧ . Their difference is a bisolution called sometimes the Pauli-Jordan propagator (bisolution) G PJ := G ∨ − G ∧ . All of them have a causal support. We will jointly call them classical propagators. They are relevant for the Cauchy problem.

Recommend


More recommend