Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Non-Perturbative Construction of the Fermionic Projector on Globally Hyperbolic Manifolds II -- Space-Times of Infinite Lifetime

A Non-Perturbative Construction of the Fermionic Projector on Globally Hyperbolic Manifolds II --... A NON-PERTURBATIVE CONSTRUCTION OF THE FERMIONIC PROJECTOR ON GLOBALLY HYPERBOLIC MANIFOLDS II – SPACE-TIMES OF INFINITE LIFETIME FELIX FINSTER AND MORITZ REINTJES DECEMBER 2013 Abstract. The previous functional analytic construction of the fermionic projector on globally hyperbolic Lorentzian manifolds is extended to space-times of infinite lifetime. The construction is based on an analysis of families of solutions of the Dirac equation with a varying mass parameter. It makes use of the so-called mass oscillation property which implies that integrating over the mass parameter generates decay of the Dirac wave functions at infinity. We obtain a canonical decomposition of the solution space of the massive Dirac equation into two subspaces, independent of observers or the choice of coordinates. The constructions are illustrated in the examples of ultrastatic space-times and de Sitter space-time. Contents 1. Introduction 1 2. Preliminaries 3 3. The Weak Mass Oscillation Property 5 3.1. Basic Definitions 5 3.2. A Self-Adjoint Extension of S 7 3.3. The Fermionic Projector as an Operator-Valued Measure 8 4. The Strong Mass Oscillation Property 9 4.1. Definition and General Structural Results 9 4.2. Construction of the Fermionic Projector 13 4.3. Representation as a Distribution and Normalization 13 5. Example: Ultrastatic Space-Times 15 5.1. The Weak Mass Oscillation Property using Mass Derivatives 17 5.2. The Strong Mass Oscillation Property using a Plancherel Method 20 6. Example: De Sitter Space-Time 22 References 28 1. Introduction In the recent paper [9], the fermionic projector was constructed non-perturbatively in a space-time of finite lifetime. In the present paper, we extend the construction to space-times of infinite lifetime. In order to introduce the problem, we begin with M.R. is supported by the Deutsche Forschungsgemeinschaft (DFG), RE 3471/2-1. arXiv:1312.7209v4 [math-ph] 12 Oct 2020 2 F. FINSTER AND M. REINTJES the simplest possible example: the Minkowski vacuum. We thus consider the vacuum Dirac equation (iγ ∂ − m)ψ(x) = 0 in Minkowski space (M,h., .i). On solutions of the Dirac equation one has the scalar product 0 3 (ψ|φ) := (ψγ φ)(t,~x) d x (1.1) † 0 (which by current conservation is independent of t; here ψ ≡ ψ γ is the so-called adjoint spinor). Moreover, on wave functions with suitable decay at infinity (which do not need to be solutions of the Dirac equation), we can introduce a Lorentz invariant inner product by integrating over space-time, <ψ|φ> = ψ(x)φ(x) d x . (1.2) In [9] we proceeded by representing the space-time inner product (1.2) with respect to the scalar product (1.1) as <ψ|φ> = (ψ|Sφ) (1.3) with a signature operator S. Then the positive and negative spectral subspaces of the operator S gave the desired splitting of the solution space into two subspaces. Unfortunately, in Minkowski space an identity of the form (1.3) makes no mathematical sense. Namely, the right side of (1.3) is defined only if ψ and φ are solutions of the Dirac equation. But on solutions, the left side of (1.3) is ill-defined because the time integral in (1.2) will in general diverge. Our method to overcome this problem is to work with families of solutions with a varying mass parameter. This can be understood most easily if one takes the spatial Fourier transform, d k ik~x ˆ ~ ψ(t,~x) = ψ(t, k) e . 3 (2π) Then a family of solutions has the representation ~ ~ −itω(k,m) itω(k,m) ˆ ~ ~ ~ ψ (t, k) = c (k, m) e + c (k, m) e m + − ~ ~ 2 2 with suitable spinor-valued coefficients c , where we set ω(k, m) := |k| + m . For a suitable class of solutions (for example families which are smooth and compactly supported in m and ~x), the coefficients c are smooth functions of m. If m 6= 0, the ±itω(m,k) derivative ∂ ω(k, m) is non-zero, implying that the phase factors e oscillate in m. The larger t is chosen, the faster these phase factors oscillate if m is varied. This implies that if we integrate over m by setting ˆ ~ ˆ ~ (pψ)(t, k) = ψ (t, k) dm , (1.4) we obtain destructive interference of a superposition of waves with different phases (here I ⊂ R\{0} is an interval containing the support of c (k, .)). If t is increased, the integrand oscillates faster in m, so that the integral becomes smaller. We thus obtain decay in time. This intuitive picture that oscillations in the mass parameter give rise to decay for large times is made mathematically precise by the mass oscillation THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 3 property. We shall prove that, using the mass oscillation property, one can give (1.3) a mathematical meaning by inserting suitable mass integrals, <pψ|pφ> = (ψ |S φ ) dm . (1.5) m m m m We thus obtain a family of bounded linear operators S . For any fixed mass m, the positive and negative spectral subspaces of the operator S give rise to a canonical decomposition of the solution space into two subspaces. It it the main purpose of this paper to make such ideas and methods applicable in the general setting of globally hyperbolic manifolds. After the preliminaries in Section 2, we begin by stating the most general assumptions on the Dirac operator in space-time under which mass oscillations can be studied, referred to as the weak mass oscillation property (Section 3). In this setting, the operators S cannot be defined for fixed m, but only the combination S dm is defined as an operator-valued measure. In Section 4 we introduce stronger assumptions (the strong mass oscillation property) which ensure that the operators S are bounded operators which are uniquely defined for any m ∈ I. We point out that we state the mass oscillation properties purely in terms of the solution spaces of the Dirac equation. This has the advantage that we do not need to make any assumptions on the asymptotic behavior of the metric at infinity. The strong mass oscillation property also makes it possible to define the fermionic projector as an integral operator with a distributional kernel. In the last two sections we illustrate the abstract constructions by simple examples. Section 5 is devoted to the Dirac operator in ultrastatic space-times, possibly involving an arbitrary static magnetic field. We find that in this ultrastatic situation, the positive and negative spectral subspaces of the operator S coincide precisely with the solutions of positive and negative frequency. We thus obtain agreement with the “frequency splitting” commonly used in quantum field theory. Section 6 treats the Dirac operator in the de Sitter space-time. In this case, the positive and negative spectral subspaces of the operator S give a non-trivial interpolation between the spaces of positive and negative frequency as experienced by observers at asymptotic times t → ±∞. In all these examples, the main task is to prove the mass oscillation properties. Establishing the weak mass oscillation property will always be an intermediate step for proving the strong mass oscillation property. We finally remark that (1.4) and (1.5) can also be written with a Dirac distribution as <ψ |φ ′> = δ(m − m ) (ψ |S φ ) . (1.6) m m m m m m Such “δ-normalizations in the mass parameter” are commonly used in the perturba- tive treatment (see [4, 6] and [5, §2.1] or more recently [11]). The mass oscillation property makes it possible to give such normalizations a rigorous meaning in the non- perturbative treatment. 2. Preliminaries As in [9], we let (M, g) be a smooth, globally hyperbolic Lorentzian spin manifold of dimension k ≥ 2. For the signature of the metric we use the convention (+,−, . . . ,−). We denote the corresponding spinor bundle by SM. Its fibres S M are endowed with [k/2]−1 an inner product ≺.|.≻ of signature (n, n) with n = 2 (where [.] is the Gauß bracket; for details see [2, 14]), which we refer to as the spin scalar product. Clif- ford multiplication is described by a mapping γ which satisfies the anti-commutation 4 F. FINSTER AND M. REINTJES relations, γ : T M → L(S M) with γ(u)γ(v) + γ(v)γ(u) = 2g(u, v) 11 . x x S (M) We again write Clifford multiplication in components with the Dirac matrices γ and use the short notation with the Feynman dagger, γ(u) ≡ u γ ≡ u/. The metric connections on the tangent bundle and the spinor bundle are denoted by ∇. The sections of the spinor bundle are also referred to as wave functions. We denote the ∞ ∞ smooth sections of the spinor bundle by C (M, SM). Similarly, C (M, SM) denotes the smooth sections with compact support. On the wave functions, one has the Lorentz invariant inner product ∞ ∞ <.|.> : C (M, SM) × C (M, SM) → C , <ψ|φ> = ≺ψ|φ≻ dµ . (2.1) x M The Dirac operator D is defined by j ∞ ∞ D := iγ ∇ + B : C (M, SM) → C (M, SM) , where B ∈ L(S ) (the “external potential”) can be any smooth and symmetric multi- plication operator. For a given real parameter m ∈ R (the “mass”), the Dirac equation reads (D − m)ψ = 0 . (2.2) For clarity, we always denote solutions of the Dirac equation by a subscript m. We mainly consider solutions in the class C (M, SM) of smooth sections with spatially sc compact support. On such solutions, one has the scalar product (ψ |φ ) = 2π ≺ψ |ν/φ ≻ dµ (x) , (2.3) m m m m m x where N denotes any Cauchy surface and ν its future-directed normal (due to current conservation, the scalar product is in fact independent of the choice of N; for details see [9, Section 2]). Forming the completion gives the Hilbert space (H , (.|.) ). m m ∧ ∨ The retarded and advanced Green’s operators s and s are mappings (for details m m see for example [1]) ∧ ∨ ∞ ∞ s , s : C (M, SM) → C (M, SM) . m m 0 sc Taking their difference gives the so-called causal fundamental solution k , ∨ ∧ ∞ ∞ k := s − s : C (M, SM) → C (M, SM) ∩ H . (2.4) m m m m 0 sc 2πi These operators can be represented as integral operators with distributional kernels; for example, (k φ)(x) = k (x, y)φ(y) dµ (y) . m m M The operator k is useful for two reasons. First, it can be used to construct a solution of the Cauchy problem: Proposition 2.1. Let N be any Cauchy surface. Then the solution of the Cauchy problem (D − m)ψ = 0 , ψ| = ψ ∈ C (N, SM) N N THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 5 has the representation ψ (x) = 2π k (x, y)ν/ ψ (y) dµ (y) . m m N N Second, the operator k can be regarded as the signature operator of the inner prod- uct (2.1) when expressed in terms of the scalar product (2.3): Proposition 2.2. For any ψ ∈ H and φ ∈ C (M, SM), m m (ψ | k φ) = <ψ |φ> . m m m m Proposition 2.1 is stated and proved in [9, Section 2]. For the proof of Proposition 2.2 we refer to [3, Proposition 2.2] or [9, Section 3.1]. 3. The Weak Mass Oscillation Property 3.1. Basic Definitions. In a space-time of infinite life time, the space-time inner product <ψ |φ > of two solutions ψ , φ ∈ H is in general ill-defined, because the m m m m m time integral in (2.1) may diverge. In order to avoid this difficulty, we shall consider families of solutions with a variable mass parameter. The so-called mass oscillation property will make sense of the space-time integral in (2.1) after integrating over the mass parameter. More precisely, we consider the mass parameter in a bounded open interval, m ∈ I := (m , m ). For a given Cauchy surface N, we consider a function ψ (x, m) ∈ S M L R N x with x ∈ N and m ∈ I. We assume that this wave function is smooth and has compact support in both variables, ψ ∈ C (N × I, SM). For every m ∈ I, we let ψ(., m) be the solution of the Cauchy problem for initial data ψ (., m), (D − m)ψ(x, m) = 0 , ψ(x, m) = ψ (x, m) ∀ x ∈ N . (3.1) Since the solution of the Cauchy problem is smooth and depends smoothly on pa- rameters, we know that ψ ∈ C (M × I, SM). Moreover, due to finite propagation speed, ψ(., m) has spatially compact support. Finally, the solution is clearly compactly supported in the mass parameter m. We summarize these properties by writing ψ ∈ C (M × I, SM) , (3.2) sc,0 where C (M × I, SM) denotes the smooth wave functions with spatially compact sc,0 support which are also compactly supported in I. We often denote the dependence on m by a subscript, ψ (x) := ψ(x, m). Then for any fixed m, we can take the scalar product (2.3). On families of solutions ψ, φ ∈ C (M × I, SM) of (3.1), we introduce sc,0 a scalar product by integrating over the mass parameter, (ψ|φ) := (ψ |φ ) dm (3.3) m m m (where dm is the Lebesgue measure). Forming the completion gives the Hilbert space (H, (.|.)). It consists of measurable functions ψ(x, m) such that for almost all m ∈ I, the function ψ(., m) is a weak solution of the Dirac equation which is square integrable over any Cauchy surface. Moreover, this spatial integral is inte- grable over m ∈ I, so that the scalar product (3.3) is well-defined. We denote the norm on H by k.k. For the applications, it is useful to introduce a subspace of the solutions of the form (3.2): 6 F. FINSTER AND M. REINTJES ∞ ∞ Definition 3.1. We let H ⊂ C (M × I, SM) ∩ H be a subspace of the smooth sc,0 solutions with the following properties: (i) H is invariant under multiplication by smooth functions in the mass param- eter, ∞ ∞ ∞ η(m)ψ(x, m) ∈ H ∀ ψ ∈ H , η ∈ C (I) . ∞ ∞ (ii) The set H := {ψ(., m)| ψ ∈ H } is a dense subspace of H , i.e. (.|.) H = H ∀ m ∈ I . We refer to H as the domain for the mass oscillation property. ∞ ∞ The simplest choice is to set H = C (M × I, SM) ∩ H, but in some applications sc,0 ∞ ∞ it is preferable to choose H as a proper subspace of C (M × I, SM) ∩ H. sc,0 Our motivation for considering a variable mass parameter is that integrating over the mass parameter should improve the decay properties of the wave function for large times (similar as explained in the introduction in the vacuum Minkowski space). This decay for large times should also make it possible to integrate the Dirac operator in the inner product (2.1) by parts without boundary terms, <Dψ|φ> = <ψ|Dφ> , implying that the solutions for different mass parameters should be orthogonal with respect to this inner product. Instead of acting with the Dirac operator, it is technically easier to work with the operator of multiplication by m, which we denote by T : H → H , (Tψ) = m ψ . m m In view of property (ii) in Definition 3.1, this operator leaves H invariant, ∞ ∞ T| : H → H . Moreover, T is a symmetric operator, and it is bounded because the interval I is, T = T ∈ L(H) . (3.4) Finally, integrating over m gives the operation ∞ ∞ p : H → C (M, SM) , pψ = ψ dm . sc The next definition should be regarded as specifying the minimal requirements needed for the construction of the fermionic projector (stronger assumptions which give rise to additional properties of the fermionic projector will be considered in Section 4 below). Definition 3.2. The Dirac operator D on the globally hyperbolic manifold (M, g) has the weak mass oscillation property in the interval I ⊂ R with domain H (see Definition 3.1) if the following conditions hold: (a) For every ψ, φ ∈ H , the function ≺pφ|pψ≻ is integrable on M. Moreover, for any ψ ∈ H there is a constant c(ψ) such that |<pψ|pφ>| ≤ ckφk ∀ φ ∈ H . (3.5) (b) For all ψ, φ ∈ H , <pTψ|pφ> = <pψ|pTφ> . (3.6) THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 7 Clearly, in a given space-time one must verify if the assumptions in this definition are satisfied. Before explaining in various examples how this can be done (see Sections 5 and 6), we now proceed by working out the consequence of the weak mass oscillation property abstractly. 2 ∞ 3.2. A Self-Adjoint Extension of S . In view of the inequality (3.5), every ψ ∈ H gives rise to a bounded linear functional on H . By continuity, this linear functional can be uniquely extended to H. The Riesz representation theorem allows us to repre- sent this linear functional by a vector u ∈ H, i.e. (u|φ) = <pψ|pφ> ∀ φ ∈ H . Varying ψ, we obtain the linear mapping S : H → H , (Sψ|φ) = <pψ|pφ> ∀ φ ∈ H . This operator is symmetric because (Sψ|φ) = <pψ|pφ> = (ψ|Sφ) ∀ φ, ψ ∈ H . Moreover, (3.6) implies that the operators S and T commute, ST = T S : H → H . (3.7) For the construction of the fermionic projector we need a spectral calculus for the operator S. Therefore, we would like to construct a self-adjoint extension of the opera- tor S. A general method for constructing self-adjoint extensions of symmetric operators is provided by the Friedrichs extension (see for example [15, §33.3]). Since this method only applies to semi-bounded operators, we are led to working with the operator S . We thus introduce the scalar product ∞ ∞ hψ|φi = (ψ|φ) + (Sψ|Sφ) : H × H → C . Clearly, the corresponding norm is bounded from below by the norm k.k. Thus, forming the completion gives a subspace of H, h.|.i H 2 := H ⊂ H . (3.8) 2 2 Proposition 3.3. Introducing the operator S with domain of definition D(S ) by D S = u ∈ H such that hu|φi ≤ c(u)kφk ∀ φ ∈ H 2 2 2 S S S 2 2 2 S : D(S ) ⊂ H → H , (S ψ|φ) = hψ|φi 2 − (ψ|φ) ∀ φ ∈ H 2 , S S this operator is self-adjoint. The operator T maps D(S ) to itself and commutes with S , 2 2 2 S T = T S : D(S ) → H . (3.9) Proof. The self-adjointness of S follows exactly as in the standard construction of the Friedrichs extension (see for example [15, Theorem 33.3.4] for the operator L := S +1). 2 2 2 Let us show that T (D(S )) ⊂ D(S ). Thus let u ∈ D(S ). Then u ∈ H 2, so that by definition (3.8) there is a series u ∈ H which converges to u in the topology given by h.|.i 2. Next, for any φ ∈ C (M × I, SM), we have the inequality sc,0 (3.7) hTφ|Tφi 2 = (Tφ|Tφ) + (STφ|STφ) = (Tφ|φ) + (TSφ|STφ) ≤ kTk hφ|φi 2 , S S showing that the operator T is also bounded on H . As a consequence, the series Tu converges in H 2 to Tu. Moreover, it follows from (3.4) and (3.7) that hTu |φi 2 = (Tu |φ) + (STu |Sφ) = (u |Tφ) + (Su |STφ) = hu |Tφi 2 . (3.10) n n n n n n S S 8 F. FINSTER AND M. REINTJES Taking the limit n → ∞, it follows that hTu|φi 2 ≤ c(u) kTφk ≤ c(u) kTk kφk . We conclude that Tu ∈ D(S ). To prove (3.9), we first evaluate the operator product on u . Then we know 2 2 from (3.10) and (3.4) that S Tu = TS u . Taking the limit n → ∞ gives the n n result. The property (3.9) together with the fact that T is bounded guarantees that the resolvent of S commutes with T . More specifically, 2 −1 2 −1 2 −1 (S − i) , T = −(S − i) S , T (S − i) . 2 −1 The operators (S − i) and T are both normal and bounded and commute with each other. The spectral theorem for bounded commuting normal operators (see for example [15, Sections 18 and 31.6], also cf. [16, Section VIII.5]) implies that there is a spectral measure E on σ(S ) × I such that 2 q p q S T = ρ m dE ∀ p, q ∈ N . (3.11) ρ,m σ(S )×I 3.3. The Fermionic Projector as an Operator-Valued Measure. Acting with the operator k as defined in (2.4) for each m separately gives the operator k : C (M × I, SM) → H , (kψ) = k ψ . m m m This makes it possible to introduce the fermionic projector P as an operator-valued measure on I. Namely, for any f ∈ C (I) we define ˆ ˆ 1 1 2 2 f(m) dP (m) = f(m) ρ ± S ρ dE k ± ρ,m I σ(S )×I (3.12) : C (M × I, SM) → H . The next proposition explains the normalization of the fermionic projector. This normalization can be understood as the spatial normalization, expressed in a functional calculus form (for the spatial normalization see [9, Section 2.3] or the elementary discussion in [11, Section 2]). Proposition 3.4. (normalization) Assume that the operator S commutes with the spectral measure E in the sense that ∞ 2 SE = E S on H for all Borel sets U ⊂ σ(S ) × I . U U ′ 0 ∞ Then for any s, s ∈ {±1} and all f, g ∈ C (I) and ψ, φ ∈ C (M × I, SM), ˆ ˆ ˆ ′ ′ f(m) dP (m)ψ g(m ) dP ′(m )φ = δ ′ f(m)g(m) <ψ | (dP (m)φ) > . s s ss m s m I I I This condition was omitted in the print version of the paper. However, as pointed out to us by Albert Much, it is not satisfied in general and needs to be verified in the applications. THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 9 Proof. Using the continuous functional calculus, we obtain ˆ ˆ ′ ′ f(m) dP (m)ψ g(m ) dP (m )φ ± ± I I 1 1 −1 = f(m)g(m) ρ k(ψ) ρ ± S dE k(φ) ρ,m 4 2 σ(S )×I 1 1 1 (∗) 2 2 = f(m)g(m) ρ k(ψ) (ρ ± S)dE k(φ) ρ,m 2 2 σ(S )×I ˆ ˆ = k(ψ) f(m)g(m) dP (m)φ = f(m)g(m) <ψ | (dP (m)φ) > , s m s m I I 2 2 where in (∗) we multiplied out (ρ ± S) and used that S = ρ. In the last step we applied (3.3) and Proposition 2.2. This gives the result in the case s = s . The calculation for s 6= s is similar, but in (∗) we get zero. The following proposition, which is an immediate consequence of the continuous functional calculus, explains in which sense our construction is independent of the choice of the interval I. Proposition 3.5. (independence of the choice of I) Suppose that we have two mass intervals I = (m ˇ , m ˇ ) ⊂ I = (m , m ) . L R L R We denote all the objects constructed in I with an additional check and let ˇι and πˇ be the natural injection and projection operators, ψ(x, m) if m ∈ I ˇι : H → H , ˇι(ψ) (x, m) = 0 otherwise . πˇ : H → H , πˇ(ψ) = ψ| . M×I Then ˆ ˆ f(m) dP (m) = πˇ f(m) dP (m) ˇι ∀ f ∈ C (I) ± ± I I ˆ ˆ ˇ ˇ f(m) dP (m) = ˇι f(m) dP (m) πˇ ∀ f ∈ C (I) . ± ± I I 4. The Strong Mass Oscillation Property 4.1. Definition and General Structural Results. Definition 4.1. The Dirac operator D on the globally hyperbolic manifold (M, g) has the strong mass oscillation property in the interval I = (m , m ) with do- L R main H (see Definition 3.1), if there is a constant c > 0 such that |<pψ|pφ>| ≤ c kφ k kψ k dm ∀ ψ, φ ∈ H . (4.1) m m m m Theorem 4.2. The following statements are equivalent: (i) The strong mass oscillation property holds. (ii) There is a constant c > 0 such that for all ψ, φ ∈ H , the following two relations hold: |<pψ|pφ>| ≤ ckψkkφk (4.2) <pTψ|pφ> = <pψ|pTφ> . (4.3) 10 F. FINSTER AND M. REINTJES (iii) There is a family of linear operators S ∈ L(H ) which are uniformly bounded, m m sup kS k < ∞ , m∈I such that <pψ|pφ> = (ψ |S φ ) dm ∀ ψ, φ ∈ H . (4.4) m m m m Proof. The implication (iii)⇒(i) follows immediately from the estimate ˆ ˆ |<pψ|pφ>| ≤ (ψ |S φ ) dm ≤ sup kS k kψ k kφk dm . m m m m m m m m m∈I I I In order to prove the implication (i)⇒(ii), we first apply the Schwarz inequality to (4.1) to obtain |<pψ|pφ>| ≤ c kφ k kψ k dm m m m m ˆ ˆ 1 1 2 2 2 2 ≤ c kφ k dm kψ k dm = c kφkkψk , m m m m I I proving (4.2). Next, for given N ∈ N we subdivide the interval I = (m , m ) by L R choosing the intermediate points m = (m − m ) + m , ℓ = 0, . . . , N . ℓ R L L Moreover, we choose non-negative test functions η , . . . , η ∈ C (R) which form a 1 N partition of unity and are supported in small subintervals, meaning that η = 1| and suppη ⊂ (m , m ) , (4.5) ℓ I ℓ ℓ−2 ℓ+1 ℓ=1 where we set m = m −1 and m = m +1. For any smooth function η ∈ C (R) −1 L N+1 R ∞ ∞ we define the operator η(T ) ∈ L(H) : H → H by η(T )ψ = η(m) ψ . Then by linearity, <pTψ|pφ> − <pψ|pTφ> = <pT η (T )ψ |pη ′(T )φ> − <pη (T )ψ |pT η ′(T )φ> ℓ ℓ ℓ ℓ ℓ,ℓ =1 ′ ′ = <p T − m η (T )ψ |pη (T )φ> − <pη (T )ψ |p T − m η (T )φ> . ℓ ℓ ℓ ℓ ℓ ℓ ℓ,ℓ =1 Taking the absolute value and applying (4.1), we obtain <pTψ|pφ> − <pψ|pTφ> ≤ c |m − m | η (m)η (m) kφ k kψ k dm . m m m m ℓ ℓ ℓ ℓ,ℓ =1 THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 11 In view of the second property in (4.5), we only get a contribution if |ℓ − ℓ | ≤ 1. Moreover, we know that |m − m | ≤ 2|I|/N on the support of η . Thus ℓ ℓ 6c|I| <pTψ|pφ> − <pψ|pTφ> ≤ η (m)kφ k kψ k dm ℓ m m m m ℓ=1 6c|I| = kφ k kψ k dm . m m m m Since N is arbitrary, we obtain (4.3). It remains to prove the implication (ii)⇒(iii). Combining (4.2) with the Fr´echet- Riesz theorem, there is a bounded operator S ∈ L(H) with <pψ|pφ> = (ψ|Sφ) ∀ ψ, φ ∈ H . The relation (4.3) implies that the operators S and T commute. Moreover, these two operators are obviously symmetric and thus self-adjoint. Hence the spectral theo- rem for commuting self-adjoint operators implies that there is a spectral measure F on σ(S) × I such that p q p q S T = ν m dF ∀ p, q ∈ N . (4.6) ν,m σ(S)×I For given ψ, φ ∈ H , we introduce the Borel measure µ on I by ψ,φ µ (Ω) = ν d(ψ|F φ) . (4.7) ψ,φ ν,m σ(S)×Ω Then µ (I) = (ψ|Sφ) and ψ,φ µ (Ω) = ν d χ (T )ψ F χ (T )φ = (χ (T )ψ |Sχ (T )φ) . ψ,φ Ω ν,m Ω Ω Ω σ(S)×I Since the operator S is bounded, we conclude that ˆ ˆ (3.3) 2 2 ′ |µ (Ω)| ≤ ckχ (T )ψkkχ (T )φk = c kψk dm kψk ′ dm ψ,φ Ω Ω m m Ω Ω ≤ c|Ω| sup kψ k sup kφ ′k ′ . (4.8) m m m m m∈Ω m ∈Ω This shows that the measure µ is absolutely continuous with respect to the Lebesgue measure. The Radon-Nikodym theorem (see [17, Theorem 6.9] or [12, §VI.31]) implies that there is a unique function f ∈ L (I, dm) such that ψ,φ µ (Ω) = f (m) dm . (4.9) ψ,φ ψ,φ Moreover, the estimate (4.8) gives the pointwise bound |f (m)| ≤ ckψ k kφ k . ψ,φ m m m m Using this inequality, we can apply the Fr´echet-Riesz theorem to obtain a unique operator S ∈ L(H ) such that m m f (m) = (ψ |S φ ) and kS k ≤ c . (4.10) m m m m m ψ,φ 12 F. FINSTER AND M. REINTJES Combining the above results, for any ψ, φ ∈ H we obtain <pψ|pφ> = (ψ|Sφ) = ν d(ψ | F φ) ν,m σ(S)×I ˆ ˆ ˆ = dµ = f (m) dm = (ψ |S φ ) dm . ψ,φ ψ,φ m m m m I I I This concludes the proof. Comparing the statement of Theorem 4.2 (ii) with Definition 3.2, we immediately obtain the following result. Corollary 4.3. The strong mass oscillation property implies the weak mass oscillation property. We next show uniqueness as well as the independence of the choice of the interval I. Proposition 4.4. (uniqueness of S ) The family (S ) in the statement of The- m m m∈I orem 4.2 can be chosen such that for all ψ, φ ∈ H , the expectation value f (m) := ψ,φ (ψ |S φ ) is continuous in m, m m m m f ∈ C (I) . (4.11) ψ,φ The family (S ) with the properties (4.4) and (4.11) is unique. Moreover, choosing m m∈I ˇ ˇ two intervals I and I with m ∈ I ⊂ I and 0 6∈ I, and denoting all the objects constructed in I with an additional check, we have S = S . (4.12) m m Proof. Let us show that the function f is continuous. To this end, we choose a ψ,φ function η ∈ C (I). Then for any ε > 0 which is so small that B (suppη) ⊂ I, we obtain ˆ ˆ f (m + ε) − f (m) η(m) dm = f (m) η(m − ε) − η(m) dm ψ,φ ψ,φ ψ,φ I I ˆ ˆ (∗) = < η(m − ε) − η(m) ψ dm | pφ> = < η(m) ψ − ψ dm | pφ> , m m+ε m I I where in (∗) we used (4.6) and (4.7). Applying (4.2), we obtain f (m + ε) − f (m) η(m) dm ≤ ckψ − ψk kφk sup|η| , ψ,φ ψ,φ +ε I I where the vector ψ ∈ H is defined by (ψ ) := ψ . Since lim kψ − ψk = +ε +ε m m+ε +ε εց0 0 and η is arbitrary, we conclude that f is continuous (4.11). This continuity ψ,φ is important because it implies that the function f is uniquely defined pointwise ψ,φ (whereas in (4.9) this function could be modified arbitrarily on sets of measure zero). In order to prove (4.12), we first note that the spectral measures dE and dF ρ,m ν,m (cf. (3.11) and (4.6)) are related to each other by √ √ dE = dF + dF . ρ,m ρ,m − ρ,m A direct computation yields that the definitions (3.12) and (4.13) agree if the strong mass oscillation property holds (see also (4.7), (4.9) and (4.10)). The relation (4.12) then follows from Proposition 3.5. We remark that by considering higher difference quotients and taking the limit ε ց 0, one could even prove that f ∈ C (I) is smooth, but this is not of relevance here. ψ,φ 0 THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 13 4.2. Construction of the Fermionic Projector. Theorem 4.2 and Proposition 4.4 are very useful because for every m ∈ I they provide a unique operator S ∈ L(H ), m m referred to as the fermionic signature operator corresponding to the mass m. This makes it possible to proceed with methods similar to [9]. From Definition 4.4, the operator S is obviously symmetric. Thus the spectral theorem gives rise to the spectral decomposition S = ν dE , m ν σ(S ) where E is the spectral measure (see for example [16]). The spectral measure gives rise to the spectral calculus f(S ) = f(ν) dE , m ν σ(S ) where f is a bounded Borel function. Definition 4.5. Assume that the Dirac operator D on (M, g) satisfies the strong mass oscillation property (see Definition 4.1). We define the operators P : C (M, SM) → H by P = χ (S )k and P = −χ (S )k (4.13) + m m − m m [0,∞) (−∞,0) (where χ denotes the characteristic function). The fermionic projector P is defined by P = P . Proposition 4.6. For all φ, ψ ∈ C (M, SM), the operators P are symmetric, <P φ| ψ> = <φ| P ψ> . ± ± Moreover, the image of P is the positive respectively negative spectral subspace of S , ± m i.e. ∞ ∞ P (C (M, SM)) = E (H ) , P (C (M, SM)) = E (H ) . (4.14) + (0,∞) m − (−∞,0) m 0 0 Proof. According to Proposition 2.2, <P φ| ψ> = (P φ| k ψ) = − χ (S )k φ k ψ − − m m (−∞,0) m m m = − k φ χ (S )k ψ = <φ| P ψ> . m m m − (−∞,0) The proof for P is similar. The relations (4.14) follow immediately from the fact that k (C (M, SM)) is dense in H . m m 4.3. Representation as a Distribution and Normalization. Similar as in [9, Theorem 3.12], the fermionic projector can be represented by a two-point distribution on M. As usual, we denote the space of test functions (with the Fr´echet topology) by D and define the space of distributions D as its dual space. Theorem 4.7. Assume that the strong mass oscillation property holds. Then there is ′ ∞ a unique distribution P ∈ D (M ×M) such that for all φ, ψ ∈ C (M, SM), <φ|Pψ> = P(φ ⊗ ψ) . Proof. According to Proposition 2.2 and Definition 4.5, <φ|Pψ> = (k φ| Pψ) = −(k φ| χ (S )k ψ) . m m m m (−∞,0) Since the norm of the operator χ (S ) is bounded by one, we conclude that (−∞,0) |<φ|Pψ>| ≤ kk φk kk ψk = (<φ|k φ> <ψ|k ψ>) , m m m m 14 F. FINSTER AND M. REINTJES where in the last step we again applied Proposition 2.2. As k ∈ D (M × M), the right side is continuous on D(M ×M). We conclude that also <φ|Pψ> is continuous on D(M × M). The result now follows from the Schwartz kernel theorem (see [13, Theorem 5.2.1], keeping in mind that this theorem applies just as well to bundle- valued distributions on a manifold simply by working with the components in local coordinates and a local trivialization). Exactly as explained in [9, Section 3.5], it is convenient to use the standard notation with an integral kernel P (x, y), <φ|Pψ> = ≺φ(x)| P (x, y)ψ(y)≻ dµ (x) dµ (y) x M M M×M (Pψ)(x) = P (x, y)ψ(y) dµ (y) (where P (., .) coincides with the distribution P above). In view of Proposition 4.6, we know that the last integral is not only a distribution, but a function which is square integrable over every Cauchy surface. Moreover, the symmetry of P shown in Proposition 4.6 implies that P (x, y) = P (y, x) , where the star denotes the adjoint with respect to the spin scalar product. Finally, exactly as shown in [9, Proposition 3.13], the spatial normalization property of Propo- sition 4.8 makes it possible to obtain a representation of the fermionic projector in terms of one-particle states. To this end, one chooses an orthonormal basis (ψ ) of j j∈N the subspace χ (S ) ⊂ H . Then m m (−∞,0) P (x, y) = − |ψ (x)≻≺ψ (y)| j j j=1 with convergence in D (M ×M). We now specify the normalization of the fermionic projector. We introduce an operator Π by Π : H → H , (Π ψ )(x) = −2π P (x, y)ν (ψ )| (y) dµ (y) , (4.15) m m m m N N where N is any Cauchy surface. Proposition 4.8. (spatial normalization) The operator Π is a projection operator on H . Proof. According to Proposition 2.1, the spatial integral in (4.15) can be combined with the factor k in (4.13) to give the solution of the corresponding Cauchy problem. Thus Π : H → H , (Π ψ )(x) = χ (S )ψ , m m m m m (−∞,0) showing that Π is a projection operator. Instead of the spatial normalization, one could also consider the mass normalization (for details on the different normalization methods see [11]). To this end, one needs THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 15 to consider families of fermionic projectors P indexed by the mass parameter. Then for all φ, ψ ∈ C (M, SM), we can use (4.4) and Proposition 2.2 to obtain ˆ ˆ <p(P φ)|p(P ′ψ)> = (P φ|S P ψ) dm = (k φ|S χ (S )k ψ) dm m m m m m m m m (−∞,0) m m m I I = <φ|S χ (S )k ψ> dm = −<φ|p(S P ψ)> , m (−∞,0) m m m m which can be written in a compact formal notation similar to (1.6) as P P = δ(m − m ) (−S )P . m m m m Due to the factor (−S ) on the right, in general the fermionic projector does not satisfy the mass normalization condition. The mass normalization condition could be arranged by modifying the definition (4.13) to −1 S χ (S )k . m m (−∞,0) Here we prefer to work with the spatial normalization. For a detailed discussion of the different normalization methods we refer to [11, Section 2]. We finally remark that corresponding causal fermion systems can be constructed exactly as in [9, Section 4] by introducing regularization operators (R ) , computing ε ε>0 the local correlation operators F (x) and defining the universal measure by dρ = F dµ . 5. Example: Ultrastatic Space-Times In this section we prove that the strong mass oscillation property holds for the Dirac operator in complete ultrastatic space-times, even if an arbitrary static magnetic field is present. Thus we let (M, g) be a k-dimensional complete space-time which is ultrastatic in the sense that it is the product M = R ×N with a metric of the form 2 2 ds = dt − g , where g is a Riemannian metric on N. The completeness of M implies that also N is complete. Moreover, we assume that N is spin. Let D denote the intrinsic Dirac operator on N. In order to introduce the magnetic field, we let A be a smooth vector field on N (the “vector potential”) and set D = D + A , (5.1) A N where the slash again denotes Clifford multiplication. Using standard elliptic theory (see [18, Proposition 8.2.7] and [10]), the operator D with domain C (N, SN) is essentially self-adjoint on the Hilbert space L (N, SN). Thus its closure, which we again denote by D , is a self-adjoint operator with domain D(D ). The spectral A A theorem yields D = λ dF , (5.2) A λ σ(D ) where dF denotes the spectral-measure of D . λ A The Dirac operator in the ultrastatic space-time (M, g) in the presence of the mag- netic field A can be written in block matrix notation as i∂ −D t A D = . (5.3) D −i∂ A t 16 F. FINSTER AND M. REINTJES Since the Dirac operator is time independent, we can separate the time dependence with a plane wave ansatz, −iωt ψ(t, x) = e χ(x) . The sign of ω gives a natural decomposition of the solution space into two subspaces. This is often referred to as “frequency splitting,” and the subspaces are called the solutions of positive and negative energy, respectively. This is the main result of this section. Theorem 5.1. On any interval I = (m , m ) with m , m > 0, the Dirac opera- L R L R tor (5.3) has the strong mass oscillation property with domain ∞ ∞ H := C (M × I, SM) ∩ H . (5.4) sc,0 The operators S in the representation (4.4) all have the spectrum {±1}. The eigen- spaces corresponding to the eigenvalues ±1 coincide with the solutions of positive and negative frequency, respectively. We remark that the reason why the spectral decomposition of S gives the frequency splitting can already be understood in the perturbative treatment as explained in [4, Section 5]. As a corollary, the above theorem clearly yields the strong mass oscillation property for the Dirac operator in the Minkowski vacuum. We now begin with preparations for the proof, which will be completed at the end of Section 5.2. The space-time inner product (2.1) and the scalar product (2.3) take the form ˆ ˆ ˆ ∞ ∞ D E 1 0 <φ|ψ> = dt ≺ψ|φ≻ dµ (x) = dt ψ φ (5.5) (t,x) N 2 2 0 −1 L (N,SN) −∞ N −∞ 1 0 (φ|ψ) = ≺ψ| φ≻ dµ (x) = 2π hψ(t)|φ(t)i 2 2 (5.6) (t,x) N L (N,SN) 0 −1 (where in the last line t is arbitrary due to current conservation). In the following constructions, we will also work with the last scalar product without requiring that φ and ψ are solutions of the Dirac equation. In this case, the scalar product will depend on time, and we denote it by (φ|ψ) = 2π hψ(t)|φ(t)i 2 2 . L (N,SN) We usually write the Dirac equation in the Hamiltonian form as 0 D 11 0 i∂ ψ = Hψ with H = + m . D 0 0 −11 Substituting the spectral decomposition (5.2), we get m λ H = dF . λ −m σ(D ) In order to bring the dynamics into a more explicit form, we diagonalize the 2 × 2- matrix, m λ = ω Π − ω Π , + − λ −m where we set 2 2 ω = λ + m . (5.7) THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 17 The matrices and Π are orthogonal projections, i.e. Π Π ′ = δ ′ Π ∀ s, s ∈ {±} . s s ss s A short computation shows that 11 1 m λ Π = Π (λ, m) = ± . (5.8) ± ± λ −m 2 2ω Applying the functional calculus, the solution of the Dirac equation of mass m with initial data ψ | = ψ (0) ∈ C (N, SM) can be written as m t=0 m −itH(m) t ψ (t) = e ψ (0) = U (λ) dF ψ (0) , (5.9) m m λ m σ(D ) where U is the unitary 2 × 2-matrix t −itω(λ,m) itω(λ,m) U (λ) = e Π (λ, m) + e Π (λ, m) . (5.10) + − 5.1. The Weak Mass Oscillation Property using Mass Derivatives. In prepa- ration for the strong mass oscillation property, we shall now prove the weak mass oscillation property. Let ψ ∈ H as defined in (5.4). Then ˆ ˆ (pψ)(t) = dm U (λ) dF ψ (0) . (5.11) λ m I σ(D ) For estimates of such expressions, it is helpful to observe that U (λ) is a 2× 2-matrix which commutes with the spectral measure dF . In particular, the matrix entries of the inner integral in (5.11) can be written as g(m) := f(λ, m) dF ψ(m) ∈ L (N, SN) (5.12) σ(D ) ∞ ∞ with f ∈ C (I × R) and ψ ∈ C (N × I, SN) (where we use the notation ψ(m) = ψ (.) ∈ C (N, SN)). In the next lemma it is shown that this function is differentiable and that we may interchange the differentiation with the integral. Since this is a somewhat subtle point, we give the proof in detail. Lemma 5.2. Let ψ ∈ C (N × I, SN) be a smooth family of wave functions on N. Moreover, let f ∈ C (I ×R) be a smooth function such that f and all its mass deriva- tives are polynomially bounded, i.e. for all p ∈ N there is ℓ ∈ N and a constant c > 0 such that p 2ℓ |∂ f(λ, m)| ≤ c 1 + λ ∀ λ ∈ R, m ∈ I . (5.13) Then the function g defined by (5.12) satisfies the bound 2ℓ g(m) ≤ c 1 + D ψ . (5.14) 2 A 2 L (N,SN) L (N,SN) Moreover, the function g is smooth in m and (p) p g (m) = dF ∂ f(λ, m) ψ(m) . (5.15) σ(D ) A 18 F. FINSTER AND M. REINTJES Proof. For the proof of the bound (5.14), we may omit the mass dependence. Then the spectral calculus yields ˆ ˆ f(λ) dF ψ = |f(λ)| dhψ|F ψi 2 λ λ L (N,SN) L (N,SN) σ(D ) σ(D ) A A (5.13) 2 2 2ℓ 2ℓ ≤ c 1 + λ dhψ|F ψi 2 = c 1 + D ψ . λ 2 L (N,SN) A L (N,SN) σ(D ) In order to prove that g is differentiable, we consider the difference quotient and subtract the expected derivative, g(m + ε) − g(m) φ := − dF ∂ f(λ, m) ψ(m) . ε m σ(D ) By rearranging the terms, we obtain f(λ, m + ε) ψ(m + ε) − f(λ, m) ψ(m) φ = dF − ∂ f(λ, m) ψ(m) ε λ m σ(D ) f(λ, m + ε) − f(λ, m) = dF − ∂ f(λ, m) ψ(m) (5.16) λ m σ(D ) n o ψ(m + ε) − ψ(m) + f(λ, m + ε) − ∂ ψ(m) (5.17) + f(λ, m + ε) − f(λ, m) ∂ ψ(m) . (5.18) The contribution (5.17) can be estimated immediately with the help of (5.14) (with the function ψ(m) in (5.12) replaced by the expression in the curly brackets in (5.17)). We thus obtain ψ(m + ε) − ψ(m) 2ℓ k(5.17)k 2 ≤ c 1 + D − ∂ ψ(m) , L (N,SN) m ε L (N,SN) and this converges to zero as ε ց 0 because ψ is smooth and has compact support. The term (5.18), on the other hand, is estimated by decomposing the λ-integral into the integrals over the regions [−L, L] and R \ [−L, L] and estimating similar as in the proof of (5.14), dF f(λ, m + ε) − f(λ, m) ∂ ψ(m) λ m L (N,SN) −L ≤ k∂ ψ(m)k 2 sup f(λ, m + ε) − f(λ, m) . (5.19) L (N,SN) (λ,m)∈[−L,L]×I Moreover, using again (5.13), dF f(λ, m + ε) − f(λ, m) ∂ ψ(m) λ m L (N,SN) R\[−L,L] 2 2ℓ ≤ 4c 1 + λ d ∂ ψ(m), F ∂ ψ(m) m λ m 2 L (N,SN) R\[−L,L] 4c 2ℓ+2 ≤ 1 + λ d ∂ ψ(m), F ∂ ψ(m) m m λ 2 4 L (N,SN) R\[−L,L] 4c 2ℓ+2 = 1 + D ψ . (5.20) 4 L (N,SN) L THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 19 The term (5.20) can be made arbitrarily small by choosing L sufficiently large. The term (5.19), on the other hand, tends to zero as ε ց 0 for any fixed L due to the locally uniform convergence of f(λ, m + ε) to f(λ, m) (note that f is smooth in view of (5.10) and (5.8)). This shows that (5.18) tends to zero as ε ց 0. Finally, the contribution (5.16) can be estimated just as (5.18) by considering the regions [−L, L] and R \ [−L, L] separately. We conclude that in the limit ε ց 0, the vectors φ converge to zero in L (N, SN). This shows (5.15) in the case p = 1. The relation for general p follows immediately by induction. Lemma 5.3. The time evolution operator in the vacuum has the representation ∂ ∂ 2 t t t t t U (λ) = A (λ) + B (λ) + C (λ) (5.21) m m m m ∂m ∂m t t t with matrices A , B and C which are bounded uniformly in time by m m m t t t 2 kA (λ)k + kB (λ)k + kC (λ)k ≤ c 1 + λ ∀ m ∈ I m m m with a constant c which may depend on the choice of the interval I (here k.k denotes any norm on the 2×2-matrices, and we again assume that I = (m , m ) with m , m > 0). L R L R Proof. We can generate factors of t by differentiating the exponentials in (5.10) with respect to ω. With the help of (5.7), we can then rewrite the ω-derivatives as m- derivatives. We thus obtain ∂ ω ∂ ω ∂ 2 ±iωt ±iωt ±iωt t e = − e = − e . ∂ω m ∂m m ∂m A straightforward computation in which one uses the product rule inductively gives the result. Lemma 5.4. For any ψ ∈ H , there is a constant C = C(ψ) such that (pψ)| ≤ . t 2 1 + t Proof. Using that the operators U are unitary, we immediately obtain (pψ)| ≤ dm kψ k . t m m In order to prove time decay, we apply the identity (5.21) to (5.11). Then Lemma 5.2 allows us to integrate by parts, ˆ ˆ ∂ ∂ 2 t t t t (pψ)| = dm dF A + B + C ψ (0) t λ m m m m ∂m ∂m M σ(D ) ˆ ˆ t 2 t t = dm dF A (λ) ∂ ψ (0) − B (λ) ∂ ψ (0) + C (λ) ψ (0) . λ m m m m m m m m M σ(D ) Now can use the estimate of Lemma 5.3 together with (5.14) to obtain ˆ ˆ 2 2 a t (pψ)| ≤ c dm (1 + λ ) dF ∂ ψ (0) t λ m σ(D ) t a=0,2 2 a = c dm (1 + D )∂ ψ (0) , (5.22) A m a=0,2 20 F. FINSTER AND M. REINTJES where in the last step we used the spectral calculus. Proposition 5.5. On any interval I = (m , m ) with m , m > 0, the Dirac opera- L R L R tor (5.3) has the weak mass oscillation property with domain (5.4). Proof. For every ψ, φ ∈ H , the Schwarz inequality gives ˆ ˆ ∞ ∞ |<pψ|pφ>| = (pψ)| γ (pφ)| dt ≤ (pψ)| (pφ)| dt . t t t t t t t −∞ −∞ Applying Lemma 5.4 together with the estimate (pφ)| = (φ |φ ) dm dm t m t I×I 2 2 ′ 2 ≤ kφ k + kφ k dm dm = |I|kφk , m m I×I we obtain the inequality (3.5) with dt c = C |I| < ∞ . 1 + t −∞ The identity (3.6) follows by integrating the Dirac operator in space-time by parts, <pTψ|pφ> = <pDψ|pφ> = <Dpψ|pφ> = ≺Dpψ|pφ≻(x) d x ˆ (5.23) (∗) = ≺pψ|Dpφ≻(x) d x = <pψ|Dpφ> = <pψ|pTφ> . In (∗) we used that the Dirac operator is formally self-adjoint with respect to <.|.>. Moreover, we do not get boundary terms in view of the time decay in Lemma 5.4. 5.2. The Strong Mass Oscillation Property using a Plancherel Method. We now give the proof of Theorem 5.1. Before beginning, we point out that the method of working with mass derivatives in the previous section gave the inequality (3.5) with a constant c which depended on the derivatives of ψ (cf. (5.22)). For the strong mass oscillation property, however, this constant must depend only on the L -norm of ψ (see (4.2)). For this reason, working with mass derivatives and an integration-by- parts argument in the mass parameter is not appropriate for proving the strong mass oscillation property. Instead, we shall use the following Plancherel method. First, in view of the decay established in Lemma 5.4, we know that for any ψ, φ ∈ H , the function ≺pψ|pφ≻ is integrable. Moreover, the time integral can be carried out with the help of Plancherel’s theorem, ˆ ˆ <pψ|pφ> = dt ≺pψ|pφ≻ dµ (x) (t,x) −∞ N D E dω 1 0 c c = pψ(ω) pφ(ω) , (5.24) 2 2 0 −1 2π L (N,SN) −∞ where iωt pψ(ω) = (pψ)(t) e dt . −∞ THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 21 In order to compute this Fourier transform, we take the representation (5.9) and (5.10), integrate over the mass parameter, and rewrite the mass integral as an integral over ω, ˆ ˆ −sitω(λ,m) (pψ)(t) = dm e Π (λ, m) dF ψ (0) s λ m I σ(D ) s=± ˆ ˆ dm 2 2 −siωt = dω χ 2 2 ω − λ e Π (λ, m) dF ψ (0) , s λ m (m ,m ) 2 2 L R dω m= ω −λ 0 σ(D ) s=± 2 2 2 2 where the characteristic function χ 2 2 ω − λ vanishes unless ω − λ ∈ I. (m ,m ) L R Using (5.7), we obtain ˆ ˆ |ω| −iωt 2 2 = dω e χ 2 2 ω − λ Π (λ, m) dF ψ (0) . s m (m ,m ) L R 2 2 −∞ σ(D ) A m= ω −λ , s=sign(ω) This shows that |ω| 2 2 pψ(ω) = 2π χ 2 2 ω − λ Π (λ, m) dF ψ (0) . s λ m (m ,m ) L R 2 2 σ(D ) A m= ω −λ , s=sign(ω) Using this formula in (5.24) and applying the spectral calculus for D , we obtain ˆ ˆ ∞ 2 2 2 <pψ|pφ> = 2π dω χ 2 2 ω − λ (m ,m ) L R −∞ σ(D ) D E 1 0 × Π (λ, m) ψ (0) dF Π (λ, m) φ (0) . s m λ s m 2 2 2 2 0 −1 L (N,SN) m= ω −λ , s=sign(ω) A short computation using (5.8) shows that 1 0 Π (λ, m) Π (λ, m) = Π (λ, m) . s s s 0 −1 s|ω| Hence ˆ ˆ 2 2 <pψ|pφ> = 2π dω χ 2 2 ω − λ (m ,m ) L R −∞ σ(D ) × ψ (0) dF Π (λ, m) φ (0) √ m λ s m 2 2 L (N,SN) 2 2 m= ω −λ , s=sign(ω) ˆ ˆ = 2π dm s d ψ (0) F Π (λ, m) φ (0) , m λ s m 2 2 L (N,SN) I σ(D ) s=± where in the last step we transformed back to the integration variable m. Using (5.6), we obtain the identity ˆ ˆ <pψ|pφ> = dm d ψ F Π (λ, m) − Π (λ, m) φ . (5.25) m λ + − m I σ(D ) The inequality (4.1) follows immediately by applying the Schwarz inequality and using that the matrices Π have norm one. Finally, comparing (5.25) with (4.4), one sees that the eigenvalues and correspond- ing eigenspaces of the operator S coincide precisely with those of the matrix Π −Π . m + − Hence S has the spectrum {±1}, and in view of (5.10) the eigenspaces are precisely the subspaces of positive and negative frequency. This completes the proof of Theo- rem 5.1. 22 F. FINSTER AND M. REINTJES 6. Example: De Sitter Space-Time We consider the de Sitter space-time M = R × S with the line element 2 2 2 2 ds = dt − R(t) ds and R(t) = cosh t , (6.1) where ds is the line element on the three-dimensional unit sphere. This is a special case of the Friedmann-Robertson-Walker metric obtained for a specific choice of the scaling function. The Dirac operator was computed in [8] (see also [7, Appendix A]) to be 3R(t) 1 0 D 3 D = iγ ∂ + + , (6.2) −D 3 0 2R(t) R(t) where D 3 is the Dirac operator on S . The inner products (2.1) and (2.3) take the form ˆ ˆ <ψ|φ> = dt ≺ψ|φ≻(t, x) R(t) dµ 3(x) (6.3) −∞ S 0 3 (ψ |φ ) = 2π ≺ψ|γ φ≻(t, x) R(t) dµ 3(x) , (6.4) m m m † 0 0 where ≺ψ|φ≻ = ψ γ φ and γ = diag(1, 1,−1,−1) (here dµ 3 is the normalized volume measure on S ). In order to separate the Dirac equation (2.2), one uses that, being an elliptic operator on a bounded domain, the Dirac operator on S has a purely discrete spectrum and finite-dimensional eigenspaces. More specifically, the eigenvalues are (see [14] or the detailed computations in [8, Appendix A]), n o 3 5 7 σ(D 3) = ± , ± , ± , . . . 2 2 2 with corresponding eigenspaces of dimensions dim ker(D 3 − λ) = λ − . Since the Dirac operator (6.2) obviously commutes with D 3, the solution spaces can be decomposed into eigenspaces of D 3. We use the notation M M (λ) (λ) H = H , H = H . λ∈σ(D ) λ∈σ(D ) 3 3 S S We also refer to the eigenspaces of D 3 as spatial modes. Next, we choose H as the proper subspace of C (M × S, SM) ∩ H of solutions composed of a finite number of sc,0 spatial modes, n o ∞ ∞ (λ) H = ψ ∈ C (M × S, SM) ∩ H ψ ∈ H with Λ ∈ R (6.5) sc,0 |λ|≤Λ (this choice clearly has all the properties demanded in Definition 3.1; the reason for this choice will be explained after Lemma 6.2 below). This is our main result: Theorem 6.1. On any interval I = (m , m ) with m , m > 0, the Dirac operator L R L R in the de Sitter space-time has the strong mass oscillation property with domain (6.5). THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 23 The remainder of this section is devoted to the proof of this theorem. Choosing a (λ) normalized eigenspinor φ of D 3 corresponding to the eigenvalue λ, we employ the ansatz (λ) u (m, t) φ (x) − 1 ψ = R(t) (6.6) (λ) u (m, t) φ (x) to obtain the coupled system of ordinary differential equations u m −λ/R u 1 1 i = (6.7) u −λ/R −m u dt 2 2 for the complex-valued functions u and u . The inner products (6.3) and (6.4) become 1 2 <ψ|ψ> = (u u˜ − u u˜ ) dt (6.8) 1 1 2 2 −∞ (ψ |ψ ) = 2π (u u˜ + u u˜ ) = 2πhu, u˜i 2 . (6.9) m m m 1 1 2 2 Using that the matrix in (6.7) is Hermitian, one easily verifies that hu, u˜i = 0 , (6.10) dt showing that the scalar product (6.9) is indeed time independent. We refer to a wave function of the form (6.6) as a single spatial mode. The asymptotics of solutions of (6.7) for large times can be described with a simple Gro¨nwall-type estimate: Lemma 6.2. Asymptotically as t → ±∞, every solution of (6.7) is of the form −imt e f 1 ± u(t) = + E (t) (6.11) imt ± e f with the error term bounded by ± ± ∓t kE (t)k ≤ kf k exp 2|λ| e (6.12) (thus E (t) decays exponentially as t → ±∞). Proof. Substituting into (6.7) the ansatz −imt e f (t) u(t) = , (6.13) imt e f (t) we obtain for f the differential equation 2imt df λ 0 e = − f . (6.14) −2imt e 0 dt R Taking the norm, we obtain the differential inequality df |λ| ≤ kfk . (6.15) dt R Let us first show that f(t) has a limit as t → ±∞. To this end, we first apply Kato’s inequality to (6.15), d |λ| kfk ≤ kfk . (6.16) dt R 24 F. FINSTER AND M. REINTJES We may assume that our solution is nontrivial, so that kfk 6= 0. Thus we may divide by kfk, d |λ| log kfk ≤ . dt R Since the scaling function grows exponentially for large t (cf. (6.1)), we conclude that kfk is bounded and converges as t → ±∞. Using this a-priori bound in (6.15), we infer that f has bounded variation, implying that lim f exists. We set t→±∞ f = lim f(t) . t→±∞ In order to estimate kf − f k, we divide (6.16) by kfk and integrate from t to any t > t , |λ| kf(t)k ≤ kf(t )k exp dτ . R(τ) Substituting this inequality into (6.15) gives ˆ  ˆ t t df |λ| |λ| d |λ| ≤ kf(t )k exp dτ = kf(t )k exp dτ . 0 0 dt R(t) R(τ) dt R(τ) t t 0 0 Integrating on both sides from t to some t > t gives 0 0 |λ| kf(t) − f(t )k ≤ kf(t )k exp dτ . 0 0 R(τ) Now we take the limit t → −∞ to obtain |λ| f(t) − f ≤ kf(t )k exp dτ . R(τ) −∞ Employing the estimate −t R(t) = cosh t ≥ , we conclude that − t f(t) − f ≤ kf(t )k exp 2|λ| e . Using this estimate in (6.13) and comparing with (6.11) gives the desired estimate for E . The estimate for E is derived similarly. As is typical for a Gro¨nwall estimate, the error bound (6.12) grows exponentially in λ. In particular, our estimate is not uniform in the spatial modes. It is not clear how to improve this estimate to for example polynomial growth in λ. This is the reason why with the choice (6.5) we always restrict attention to a finite number of spatial modes. ∞ (λ) Lemma 6.3. For every single mode ψ ∈ C (M × I, SM) ∩ H , the corresponding sc,0 coefficients f in (6.11) are smooth in m, ± ∞ 2 f ∈ C (I,C ) . Proof. Evaluating ψ at time t = 0, we get a smooth family u(m, t = 0). Consequently, the function f is smooth, ∞ 2 f| ∈ C (I,C ) . t=0 0 THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 25 Taking these initial conditions and solving the equation (6.14), we get a family of solutions which clearly depend smoothly on m. Differentiating (6.14) with respect to (p) the mass and setting f := ∂ f, we obtain (1) 2imt 2imt df λ 0 e λ 0 e (1) = f + 2it f −2imt −2imt e 0 −e 0 dt R R and thus (1) df |λ| |λ| (1) ≤ kf k + 2|t| kfk . (6.17) dt R R Again applying the Kato inequality, we obtain similar to (6.16) the differential inequal- ity ´ ´ t |λ| t |λ| d |λ| (1) − R R e kf (t)k ≤ e 2|t| kf(t)k . dt R(t) Integrating on both sides and using the exponential growth of R(t) at infinity, we (1) conclude that kf (t)k converges as t → ±∞. Using this fact in (6.17), we infer (1) (p) that also the vector f (t) converges as t → ±∞. The higher derivatives f can be estimated inductively by differentiating (6.14) p times with respect to m, taking the norm, and integrating the resulting differential inequality. ∞ (λ) Lemma 6.4. For every single mode ψ ∈ C (M × I, SM) ∩ H , the corresponding sc,0 function u in (6.6) satisfies the inequality c(ψ) (pu)(t) ≤ . (6.18) 1 + t Proof. Integrating the asymptotic expansion (6.11) over the mass parameter gives ˆ ˆ −imt e f pu = dm + E dm . (6.19) imt e f I I The integral over the error term can be estimated by ± ± ∓t E dm ≤ |I| sup kE k ≤ c(ψ)e , (6.20) m∈I where in the last step we applied (6.12) and used that sup kf k is bounded by Lemma 6.3. Writing the first summand in (6.19) as ! ! ˆ ˆ ± ± −imt 2 −imt e f (t) f 1 d e 0 1 1 dm = − dm , imt imt ± 2 2 ± 0 e t dm e f (t) f I I 2 2 we can integrate by parts to obtain the estimate −imt e f |I| c(ψ) 1 2 ± dm ≤ sup k∂ f k ≤ . imt ± 2 2 t t e f m∈I Combining this estimate with (6.20), we obtain (6.18). Proposition 6.5. The Dirac operator in the de Sitter space-time has the weak mass oscillation property with domain (6.5). 26 F. FINSTER AND M. REINTJES Proof. Suppose that ψ, φ ∈ H . Since ψ and φ only involve a finite number of spatial modes, we may restrict attention to one of them. Moreover, using orthonormality of the spatial eigenfunctions, we may assume that φ and ψ have the same spatial dependence. Then the Schwarz inequality yields k(pφ)| k ≤ kφ(m)k dm ≤ |I| kφk . t m Combining this inequality with (6.3), (6.4) and Lemma 6.4, we obtain ˆ ˆ ∞ ∞ |<pψ|pφ>| ≤ |I| kφk k(pu)(t)k dt ≤ kφk dt , 1 + t −∞ −∞ proving (3.5). The property (3.6) follows by integrating the Dirac operator by parts according to (5.23), where in (∗) we again use that the Dirac operator is formally self-adjoint with respect to <.|.>. Moreover, we do not get boundary terms in view of the time decay in (6.18). ˜ ˜ Our next task is to compute the inner product <pψ|pψ> for two single modes ψ, ψ ∈ (λ) H with the same spatial dependence. We write the result of Lemma 6.2 as ! ! + − −imt −imt e f (m) e f (m) 1 1 u(m, t) = Θ(t) + Θ(−t) + E (t) , (6.21) imt + imt − e f (m) e f (m) 2 2 where Θ is the Heaviside function, and the error term decays exponentially as t → ±∞, −|t| kE (t)k ≤ c e . (6.22) For the function ψ we use the same notation with an additional tilde. (λ) Lemma 6.6. For any single modes ψ, ψ ∈ H with the same spatial dependence, s s s s ˜ ˜ ˜ <pψ|pψ> = π f (m)f (m) − f (m)f (m) dm . (6.23) 1 2 1 2 s=± Proof. We first explain why the error terms E (t) and E (t) do not enter the formula. m m ˜ To this end, we again use the partition of unity (η ) introduced in the proof of ℓ ℓ=1,...,N Theorem 4.2 (see (4.5)). Since we already know that the weak mass oscillation property p p holds, we conclude from (3.6) inductively that <pT ψ|pφ> = <pψ|pT φ> for all p. Using the continuous functional calculus corresponding to the spectral theorem (3.11), we conclude that ˜ ˜ ′ ′ <pη (T )ψ |pη (T )ψ> = <p η η (T ) ψ |pψ> , ℓ ℓ ℓ ℓ which implies by the right side of (4.5) that <pη (T )ψ |pη (T )ψ> = 0 unless |ℓ − ℓ | ≤ 1 . ℓ ℓ Estimating the integrals of the error terms by |I| η (m)E (t) ≤ supkE (t)k ℓ m m and using the bound (6.22), the contribution by the error terms tends to zero as N → ∞. It remains to consider the first two summands in (6.21). Because of the Heaviside + − + − ˜ ˜ functions, we only get the product of f with f and of f with f . Moreover, the a b a b THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 27 following argument shows why it suffices to consider the contributions where the lower + + indices coincide: For example, the contribution involving f and f is 1 2 ˆ ¨ + + i(m+m ˜ )t A := dt f (m) f (m ˜ ) e dm dm ˜ . 1 2 0 I×I Using the distributional equation PP iωt e = πδ(ω) + i (6.24) (where PP denotes the principal value of the integral), we can use the fact that m +m ˜ is bounded away from zero to obtain + + f (m)f (m) 1 2 A = dm dm ˜ . m + m ˜ I×I Again inserting the partition of unity (η ) and taking the limit N → ∞ gives ℓ ℓ=1,...,N zero. The other contributions for a 6= b are treated similarly. s s We conclude that it suffices to take into account the products of the form f with f a a with a = 1, 2 and s = ±1. Thus <pψ|pψ> ˆ ¨ ′ ′ i(m−m )t + + −i(m−m )t + + ˜ ˜ = dt e f (m) f (m ˜ ) − e f (m) f (m ˜ ) dm dm ˜ 1 1 2 2 0 I×I ˆ ¨ ′ ′ − − −i(m−m )t − − i(m−m )t ˜ ˜ + dt e f (m) f (m ˜ ) − e f (m) f (m ˜ ) dm dm ˜ , 1 1 2 2 −∞ I×I and applying (6.24) gives + + + + − − − − ˜ ˜ ˜ ˜ ˜ <pψ|pψ> = π f f − f f + f f − f f dm (6.25) 1 1 2 2 1 1 2 2 PP + + + + ˜ ˜ + i f (m) f (m ˜ ) + f (m) f (m ˜ ) (6.26) 1 1 2 2 m − m ˜ I×I − − − − ˜ ˜ − f (m) f (m ˜ ) − f (m) f (m ˜ ) dm dm ˜ . (6.27) 1 1 2 2 Using current conservation (6.10) together with (6.11), we may evaluate the scalar product asymptotically as t → ±∞ to obtain X X + + − − ˜ ˜ f (m) f (m ˜ ) = f (m) f (m ˜ ) . a a a a a=1,2 a=1,2 This implies that the terms (6.26) and (6.27) cancel each other, giving the result. Proof of Theorem 6.1. Suppose that ψ, ψ ∈ H . Then we decompose them into spa- tial modes, i.e. K(λ) (λ) (λ) X X 3 (u ) (m, t) φ (x) − k k ψ = R(t) , (λ) (λ) (u ) (m, t) φ (x) k=1 |λ|<|Λ| k k 28 F. FINSTER AND M. REINTJES (λ) and similarly for ψ. Choosing the spatial wave functions φ to be orthonormal, we can apply Lemma 6.6 to each mode to obtain K(λ) ˆ X X X (λ) (λ) s s ˜ ˜ |<pψ|pψ>| ≤ π (f ) (m) (f ) (m) dm . k k s=± k=1 |λ|<|Λ| (λ) (λ) Using current conservation (6.10), we can compute the norms of u and u˜ asymp- k k totically as t → ±∞ with the help of Lemma 6.2. This gives K(λ)ˆ X X (λ) (λ) |<pψ|pψ>| ≤ 2π u (m) u˜ (m) dm . k k |λ|<|Λ| k=1 Applying the Schwarz inequality gives the result. We finally explain what the result of Lemma 6.6 means for the decomposition of the solution space. Comparing (6.23) with (4.4), one sees that now the spectral subspaces of the fermionic signature operator S no longer coincide with the solutions of positive and negative frequency. This is also clear because in the time-dependent setting of the de Sitter space-time, the “frequency” of a solution is only defined asymptotically as t → ±∞, but not globally or at intermediate times. Instead, the sum over s in (6.21) corresponds to the fact that we must take a suitable “interpolation” of the frequency splittings as experienced by observers at asymptotic times t → ±∞. Here the notion of “interpolation” can be understood similar as explained in [4, Section 5] and [9, Section 6]. Acknowledgments: We would like to thank Christian Ro¨ken for helpful discussions and comments. We are grateful to Andreas Platzer for helpful comments on the manuscript. References [1] C. B¨ar, N. Ginoux, and F. Pf¨affle, Wave Equations on Lorentzian Manifolds and Quantization, ESI Lectures in Mathematics and Physics, European Mathematical Society (EMS), Zu¨rich, 2007. [2] H. Baum, Spinor structures and Dirac operators on pseudo-Riemannian manifolds, Bull. Polish Acad. Sci. Math. 33 (1985), no. 3-4, 165–171. [3] J. Dimock, Dirac quantum fields on a manifold, Trans. Amer. Math. Soc. 269 (1982), no. 1, 133–147. [4] F. Finster, Definition of the Dirac sea in the presence of external fields, arXiv:hep-th/9705006, Adv. Theor. Math. Phys. 2 (1998), no. 5, 963–985. [5] , The Principle of the Fermionic Projector, hep-th/0001048, hep-th/0202059, hep-th/0210121, AMS/IP Studies in Advanced Mathematics, vol. 35, American Mathematical Society, Providence, RI, 2006. [6] F. Finster and A. Grotz, The causal perturbation expansion revisited: Rescaling the interacting Dirac sea, arXiv:0901.0334 [math-ph], J. Math. Phys. 51 (2010), 072301. [7] F. Finster and C. Hainzl, A spatially homogeneous and isotropic Einstein-Dirac Cosmology, arXiv:1101.1872 [math-ph], J. Math. Phys. 52 (2011), 042501. [8] F. Finster and M. Reintjes, The Dirac equation and the normalization of its solutions in a closed Friedmann-Robertson-Walker universe, arXiv:0901.0602 [math-ph], Class. Quantum Grav. 26 (2009), no. 10, 105021. [9] , A non-perturbative construction of the fermionic projector on globally hyperbolic mani- folds I – Space-times of finite lifetime, arXiv:1301.5420 [math-ph], Adv. Theor. Math. Phys. 19 (2015), no. 4, 761–803. [10] F. Finster and C. Ro¨ken, Self-adjointness of the Dirac Hamiltonian for a class of non-uniformly elliptic boundary value problems, arXiv:1512.00761 [math-ph], Annals of Mathematical Sciences and Applications 1 (2016), no. 2, 301—-320. THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 29 [11] F. Finster and J. Tolksdorf, Perturbative description of the fermionic projector: Normalization, causality and Furry’s theorem, arXiv:1401.4353 [math-ph], J. Math. Phys. 55 (2014), no. 5, [12] P.R. Halmos, Measure Theory, Springer, New York, 1974. [13] L. H¨ormander, The Analysis of Linear Partial Differential Operators. I, second ed., Grundlehren der Mathematischen Wissenschaften, vol. 256, Springer-Verlag, Berlin, 1990. [14] H.B. Lawson, Jr. and M.-L. Michelsohn, Spin Geometry, Princeton Mathematical Series, vol. 38, Princeton University Press, Princeton, NJ, 1989. [15] P.D. Lax, Functional Analysis, Pure and Applied Mathematics (New York), Wiley-Interscience [John Wiley & Sons], New York, 2002. [16] M. Reed and B. Simon, Methods of Modern Mathematical Physics. I, Functional analysis, second ed., Academic Press Inc., New York, 1980. [17] W. Rudin, Real and Complex Analysis, third ed., McGraw-Hill Book Co., New York, 1987. [18] M.E. Taylor, Partial Differential Equations. II, second ed., Applied Mathematical Sciences, vol. 116, Springer, New York, 2011. ¨ ¨ ¨ Fakultat fur Mathematik, Universitat Regensburg, D-93040 Regensburg, Germany Email address: finster@ur.de IMPA - Instituto Nacional de Matematica Pura e Aplicada, Rio de Janeiro, Brasil Email address: moritzreintjes@gmail.com http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png General Relativity and Quantum Cosmology arXiv (Cornell University)

A Non-Perturbative Construction of the Fermionic Projector on Globally Hyperbolic Manifolds II -- Space-Times of Infinite Lifetime

Download PDF
29 pages

Loading next page...
 
/lp/arxiv-cornell-university/a-non-perturbative-construction-of-the-fermionic-projector-on-globally-gVnq6dCM0x

References

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

ISSN
1095-0761
eISSN
ARCH-3332
DOI
10.4310/ATMP.2016.v20.n5.a2
Publisher site
See Article on Publisher Site

Abstract

A NON-PERTURBATIVE CONSTRUCTION OF THE FERMIONIC PROJECTOR ON GLOBALLY HYPERBOLIC MANIFOLDS II – SPACE-TIMES OF INFINITE LIFETIME FELIX FINSTER AND MORITZ REINTJES DECEMBER 2013 Abstract. The previous functional analytic construction of the fermionic projector on globally hyperbolic Lorentzian manifolds is extended to space-times of infinite lifetime. The construction is based on an analysis of families of solutions of the Dirac equation with a varying mass parameter. It makes use of the so-called mass oscillation property which implies that integrating over the mass parameter generates decay of the Dirac wave functions at infinity. We obtain a canonical decomposition of the solution space of the massive Dirac equation into two subspaces, independent of observers or the choice of coordinates. The constructions are illustrated in the examples of ultrastatic space-times and de Sitter space-time. Contents 1. Introduction 1 2. Preliminaries 3 3. The Weak Mass Oscillation Property 5 3.1. Basic Definitions 5 3.2. A Self-Adjoint Extension of S 7 3.3. The Fermionic Projector as an Operator-Valued Measure 8 4. The Strong Mass Oscillation Property 9 4.1. Definition and General Structural Results 9 4.2. Construction of the Fermionic Projector 13 4.3. Representation as a Distribution and Normalization 13 5. Example: Ultrastatic Space-Times 15 5.1. The Weak Mass Oscillation Property using Mass Derivatives 17 5.2. The Strong Mass Oscillation Property using a Plancherel Method 20 6. Example: De Sitter Space-Time 22 References 28 1. Introduction In the recent paper [9], the fermionic projector was constructed non-perturbatively in a space-time of finite lifetime. In the present paper, we extend the construction to space-times of infinite lifetime. In order to introduce the problem, we begin with M.R. is supported by the Deutsche Forschungsgemeinschaft (DFG), RE 3471/2-1. arXiv:1312.7209v4 [math-ph] 12 Oct 2020 2 F. FINSTER AND M. REINTJES the simplest possible example: the Minkowski vacuum. We thus consider the vacuum Dirac equation (iγ ∂ − m)ψ(x) = 0 in Minkowski space (M,h., .i). On solutions of the Dirac equation one has the scalar product 0 3 (ψ|φ) := (ψγ φ)(t,~x) d x (1.1) † 0 (which by current conservation is independent of t; here ψ ≡ ψ γ is the so-called adjoint spinor). Moreover, on wave functions with suitable decay at infinity (which do not need to be solutions of the Dirac equation), we can introduce a Lorentz invariant inner product by integrating over space-time, <ψ|φ> = ψ(x)φ(x) d x . (1.2) In [9] we proceeded by representing the space-time inner product (1.2) with respect to the scalar product (1.1) as <ψ|φ> = (ψ|Sφ) (1.3) with a signature operator S. Then the positive and negative spectral subspaces of the operator S gave the desired splitting of the solution space into two subspaces. Unfortunately, in Minkowski space an identity of the form (1.3) makes no mathematical sense. Namely, the right side of (1.3) is defined only if ψ and φ are solutions of the Dirac equation. But on solutions, the left side of (1.3) is ill-defined because the time integral in (1.2) will in general diverge. Our method to overcome this problem is to work with families of solutions with a varying mass parameter. This can be understood most easily if one takes the spatial Fourier transform, d k ik~x ˆ ~ ψ(t,~x) = ψ(t, k) e . 3 (2π) Then a family of solutions has the representation ~ ~ −itω(k,m) itω(k,m) ˆ ~ ~ ~ ψ (t, k) = c (k, m) e + c (k, m) e m + − ~ ~ 2 2 with suitable spinor-valued coefficients c , where we set ω(k, m) := |k| + m . For a suitable class of solutions (for example families which are smooth and compactly supported in m and ~x), the coefficients c are smooth functions of m. If m 6= 0, the ±itω(m,k) derivative ∂ ω(k, m) is non-zero, implying that the phase factors e oscillate in m. The larger t is chosen, the faster these phase factors oscillate if m is varied. This implies that if we integrate over m by setting ˆ ~ ˆ ~ (pψ)(t, k) = ψ (t, k) dm , (1.4) we obtain destructive interference of a superposition of waves with different phases (here I ⊂ R\{0} is an interval containing the support of c (k, .)). If t is increased, the integrand oscillates faster in m, so that the integral becomes smaller. We thus obtain decay in time. This intuitive picture that oscillations in the mass parameter give rise to decay for large times is made mathematically precise by the mass oscillation THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 3 property. We shall prove that, using the mass oscillation property, one can give (1.3) a mathematical meaning by inserting suitable mass integrals, <pψ|pφ> = (ψ |S φ ) dm . (1.5) m m m m We thus obtain a family of bounded linear operators S . For any fixed mass m, the positive and negative spectral subspaces of the operator S give rise to a canonical decomposition of the solution space into two subspaces. It it the main purpose of this paper to make such ideas and methods applicable in the general setting of globally hyperbolic manifolds. After the preliminaries in Section 2, we begin by stating the most general assumptions on the Dirac operator in space-time under which mass oscillations can be studied, referred to as the weak mass oscillation property (Section 3). In this setting, the operators S cannot be defined for fixed m, but only the combination S dm is defined as an operator-valued measure. In Section 4 we introduce stronger assumptions (the strong mass oscillation property) which ensure that the operators S are bounded operators which are uniquely defined for any m ∈ I. We point out that we state the mass oscillation properties purely in terms of the solution spaces of the Dirac equation. This has the advantage that we do not need to make any assumptions on the asymptotic behavior of the metric at infinity. The strong mass oscillation property also makes it possible to define the fermionic projector as an integral operator with a distributional kernel. In the last two sections we illustrate the abstract constructions by simple examples. Section 5 is devoted to the Dirac operator in ultrastatic space-times, possibly involving an arbitrary static magnetic field. We find that in this ultrastatic situation, the positive and negative spectral subspaces of the operator S coincide precisely with the solutions of positive and negative frequency. We thus obtain agreement with the “frequency splitting” commonly used in quantum field theory. Section 6 treats the Dirac operator in the de Sitter space-time. In this case, the positive and negative spectral subspaces of the operator S give a non-trivial interpolation between the spaces of positive and negative frequency as experienced by observers at asymptotic times t → ±∞. In all these examples, the main task is to prove the mass oscillation properties. Establishing the weak mass oscillation property will always be an intermediate step for proving the strong mass oscillation property. We finally remark that (1.4) and (1.5) can also be written with a Dirac distribution as <ψ |φ ′> = δ(m − m ) (ψ |S φ ) . (1.6) m m m m m m Such “δ-normalizations in the mass parameter” are commonly used in the perturba- tive treatment (see [4, 6] and [5, §2.1] or more recently [11]). The mass oscillation property makes it possible to give such normalizations a rigorous meaning in the non- perturbative treatment. 2. Preliminaries As in [9], we let (M, g) be a smooth, globally hyperbolic Lorentzian spin manifold of dimension k ≥ 2. For the signature of the metric we use the convention (+,−, . . . ,−). We denote the corresponding spinor bundle by SM. Its fibres S M are endowed with [k/2]−1 an inner product ≺.|.≻ of signature (n, n) with n = 2 (where [.] is the Gauß bracket; for details see [2, 14]), which we refer to as the spin scalar product. Clif- ford multiplication is described by a mapping γ which satisfies the anti-commutation 4 F. FINSTER AND M. REINTJES relations, γ : T M → L(S M) with γ(u)γ(v) + γ(v)γ(u) = 2g(u, v) 11 . x x S (M) We again write Clifford multiplication in components with the Dirac matrices γ and use the short notation with the Feynman dagger, γ(u) ≡ u γ ≡ u/. The metric connections on the tangent bundle and the spinor bundle are denoted by ∇. The sections of the spinor bundle are also referred to as wave functions. We denote the ∞ ∞ smooth sections of the spinor bundle by C (M, SM). Similarly, C (M, SM) denotes the smooth sections with compact support. On the wave functions, one has the Lorentz invariant inner product ∞ ∞ <.|.> : C (M, SM) × C (M, SM) → C , <ψ|φ> = ≺ψ|φ≻ dµ . (2.1) x M The Dirac operator D is defined by j ∞ ∞ D := iγ ∇ + B : C (M, SM) → C (M, SM) , where B ∈ L(S ) (the “external potential”) can be any smooth and symmetric multi- plication operator. For a given real parameter m ∈ R (the “mass”), the Dirac equation reads (D − m)ψ = 0 . (2.2) For clarity, we always denote solutions of the Dirac equation by a subscript m. We mainly consider solutions in the class C (M, SM) of smooth sections with spatially sc compact support. On such solutions, one has the scalar product (ψ |φ ) = 2π ≺ψ |ν/φ ≻ dµ (x) , (2.3) m m m m m x where N denotes any Cauchy surface and ν its future-directed normal (due to current conservation, the scalar product is in fact independent of the choice of N; for details see [9, Section 2]). Forming the completion gives the Hilbert space (H , (.|.) ). m m ∧ ∨ The retarded and advanced Green’s operators s and s are mappings (for details m m see for example [1]) ∧ ∨ ∞ ∞ s , s : C (M, SM) → C (M, SM) . m m 0 sc Taking their difference gives the so-called causal fundamental solution k , ∨ ∧ ∞ ∞ k := s − s : C (M, SM) → C (M, SM) ∩ H . (2.4) m m m m 0 sc 2πi These operators can be represented as integral operators with distributional kernels; for example, (k φ)(x) = k (x, y)φ(y) dµ (y) . m m M The operator k is useful for two reasons. First, it can be used to construct a solution of the Cauchy problem: Proposition 2.1. Let N be any Cauchy surface. Then the solution of the Cauchy problem (D − m)ψ = 0 , ψ| = ψ ∈ C (N, SM) N N THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 5 has the representation ψ (x) = 2π k (x, y)ν/ ψ (y) dµ (y) . m m N N Second, the operator k can be regarded as the signature operator of the inner prod- uct (2.1) when expressed in terms of the scalar product (2.3): Proposition 2.2. For any ψ ∈ H and φ ∈ C (M, SM), m m (ψ | k φ) = <ψ |φ> . m m m m Proposition 2.1 is stated and proved in [9, Section 2]. For the proof of Proposition 2.2 we refer to [3, Proposition 2.2] or [9, Section 3.1]. 3. The Weak Mass Oscillation Property 3.1. Basic Definitions. In a space-time of infinite life time, the space-time inner product <ψ |φ > of two solutions ψ , φ ∈ H is in general ill-defined, because the m m m m m time integral in (2.1) may diverge. In order to avoid this difficulty, we shall consider families of solutions with a variable mass parameter. The so-called mass oscillation property will make sense of the space-time integral in (2.1) after integrating over the mass parameter. More precisely, we consider the mass parameter in a bounded open interval, m ∈ I := (m , m ). For a given Cauchy surface N, we consider a function ψ (x, m) ∈ S M L R N x with x ∈ N and m ∈ I. We assume that this wave function is smooth and has compact support in both variables, ψ ∈ C (N × I, SM). For every m ∈ I, we let ψ(., m) be the solution of the Cauchy problem for initial data ψ (., m), (D − m)ψ(x, m) = 0 , ψ(x, m) = ψ (x, m) ∀ x ∈ N . (3.1) Since the solution of the Cauchy problem is smooth and depends smoothly on pa- rameters, we know that ψ ∈ C (M × I, SM). Moreover, due to finite propagation speed, ψ(., m) has spatially compact support. Finally, the solution is clearly compactly supported in the mass parameter m. We summarize these properties by writing ψ ∈ C (M × I, SM) , (3.2) sc,0 where C (M × I, SM) denotes the smooth wave functions with spatially compact sc,0 support which are also compactly supported in I. We often denote the dependence on m by a subscript, ψ (x) := ψ(x, m). Then for any fixed m, we can take the scalar product (2.3). On families of solutions ψ, φ ∈ C (M × I, SM) of (3.1), we introduce sc,0 a scalar product by integrating over the mass parameter, (ψ|φ) := (ψ |φ ) dm (3.3) m m m (where dm is the Lebesgue measure). Forming the completion gives the Hilbert space (H, (.|.)). It consists of measurable functions ψ(x, m) such that for almost all m ∈ I, the function ψ(., m) is a weak solution of the Dirac equation which is square integrable over any Cauchy surface. Moreover, this spatial integral is inte- grable over m ∈ I, so that the scalar product (3.3) is well-defined. We denote the norm on H by k.k. For the applications, it is useful to introduce a subspace of the solutions of the form (3.2): 6 F. FINSTER AND M. REINTJES ∞ ∞ Definition 3.1. We let H ⊂ C (M × I, SM) ∩ H be a subspace of the smooth sc,0 solutions with the following properties: (i) H is invariant under multiplication by smooth functions in the mass param- eter, ∞ ∞ ∞ η(m)ψ(x, m) ∈ H ∀ ψ ∈ H , η ∈ C (I) . ∞ ∞ (ii) The set H := {ψ(., m)| ψ ∈ H } is a dense subspace of H , i.e. (.|.) H = H ∀ m ∈ I . We refer to H as the domain for the mass oscillation property. ∞ ∞ The simplest choice is to set H = C (M × I, SM) ∩ H, but in some applications sc,0 ∞ ∞ it is preferable to choose H as a proper subspace of C (M × I, SM) ∩ H. sc,0 Our motivation for considering a variable mass parameter is that integrating over the mass parameter should improve the decay properties of the wave function for large times (similar as explained in the introduction in the vacuum Minkowski space). This decay for large times should also make it possible to integrate the Dirac operator in the inner product (2.1) by parts without boundary terms, <Dψ|φ> = <ψ|Dφ> , implying that the solutions for different mass parameters should be orthogonal with respect to this inner product. Instead of acting with the Dirac operator, it is technically easier to work with the operator of multiplication by m, which we denote by T : H → H , (Tψ) = m ψ . m m In view of property (ii) in Definition 3.1, this operator leaves H invariant, ∞ ∞ T| : H → H . Moreover, T is a symmetric operator, and it is bounded because the interval I is, T = T ∈ L(H) . (3.4) Finally, integrating over m gives the operation ∞ ∞ p : H → C (M, SM) , pψ = ψ dm . sc The next definition should be regarded as specifying the minimal requirements needed for the construction of the fermionic projector (stronger assumptions which give rise to additional properties of the fermionic projector will be considered in Section 4 below). Definition 3.2. The Dirac operator D on the globally hyperbolic manifold (M, g) has the weak mass oscillation property in the interval I ⊂ R with domain H (see Definition 3.1) if the following conditions hold: (a) For every ψ, φ ∈ H , the function ≺pφ|pψ≻ is integrable on M. Moreover, for any ψ ∈ H there is a constant c(ψ) such that |<pψ|pφ>| ≤ ckφk ∀ φ ∈ H . (3.5) (b) For all ψ, φ ∈ H , <pTψ|pφ> = <pψ|pTφ> . (3.6) THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 7 Clearly, in a given space-time one must verify if the assumptions in this definition are satisfied. Before explaining in various examples how this can be done (see Sections 5 and 6), we now proceed by working out the consequence of the weak mass oscillation property abstractly. 2 ∞ 3.2. A Self-Adjoint Extension of S . In view of the inequality (3.5), every ψ ∈ H gives rise to a bounded linear functional on H . By continuity, this linear functional can be uniquely extended to H. The Riesz representation theorem allows us to repre- sent this linear functional by a vector u ∈ H, i.e. (u|φ) = <pψ|pφ> ∀ φ ∈ H . Varying ψ, we obtain the linear mapping S : H → H , (Sψ|φ) = <pψ|pφ> ∀ φ ∈ H . This operator is symmetric because (Sψ|φ) = <pψ|pφ> = (ψ|Sφ) ∀ φ, ψ ∈ H . Moreover, (3.6) implies that the operators S and T commute, ST = T S : H → H . (3.7) For the construction of the fermionic projector we need a spectral calculus for the operator S. Therefore, we would like to construct a self-adjoint extension of the opera- tor S. A general method for constructing self-adjoint extensions of symmetric operators is provided by the Friedrichs extension (see for example [15, §33.3]). Since this method only applies to semi-bounded operators, we are led to working with the operator S . We thus introduce the scalar product ∞ ∞ hψ|φi = (ψ|φ) + (Sψ|Sφ) : H × H → C . Clearly, the corresponding norm is bounded from below by the norm k.k. Thus, forming the completion gives a subspace of H, h.|.i H 2 := H ⊂ H . (3.8) 2 2 Proposition 3.3. Introducing the operator S with domain of definition D(S ) by D S = u ∈ H such that hu|φi ≤ c(u)kφk ∀ φ ∈ H 2 2 2 S S S 2 2 2 S : D(S ) ⊂ H → H , (S ψ|φ) = hψ|φi 2 − (ψ|φ) ∀ φ ∈ H 2 , S S this operator is self-adjoint. The operator T maps D(S ) to itself and commutes with S , 2 2 2 S T = T S : D(S ) → H . (3.9) Proof. The self-adjointness of S follows exactly as in the standard construction of the Friedrichs extension (see for example [15, Theorem 33.3.4] for the operator L := S +1). 2 2 2 Let us show that T (D(S )) ⊂ D(S ). Thus let u ∈ D(S ). Then u ∈ H 2, so that by definition (3.8) there is a series u ∈ H which converges to u in the topology given by h.|.i 2. Next, for any φ ∈ C (M × I, SM), we have the inequality sc,0 (3.7) hTφ|Tφi 2 = (Tφ|Tφ) + (STφ|STφ) = (Tφ|φ) + (TSφ|STφ) ≤ kTk hφ|φi 2 , S S showing that the operator T is also bounded on H . As a consequence, the series Tu converges in H 2 to Tu. Moreover, it follows from (3.4) and (3.7) that hTu |φi 2 = (Tu |φ) + (STu |Sφ) = (u |Tφ) + (Su |STφ) = hu |Tφi 2 . (3.10) n n n n n n S S 8 F. FINSTER AND M. REINTJES Taking the limit n → ∞, it follows that hTu|φi 2 ≤ c(u) kTφk ≤ c(u) kTk kφk . We conclude that Tu ∈ D(S ). To prove (3.9), we first evaluate the operator product on u . Then we know 2 2 from (3.10) and (3.4) that S Tu = TS u . Taking the limit n → ∞ gives the n n result. The property (3.9) together with the fact that T is bounded guarantees that the resolvent of S commutes with T . More specifically, 2 −1 2 −1 2 −1 (S − i) , T = −(S − i) S , T (S − i) . 2 −1 The operators (S − i) and T are both normal and bounded and commute with each other. The spectral theorem for bounded commuting normal operators (see for example [15, Sections 18 and 31.6], also cf. [16, Section VIII.5]) implies that there is a spectral measure E on σ(S ) × I such that 2 q p q S T = ρ m dE ∀ p, q ∈ N . (3.11) ρ,m σ(S )×I 3.3. The Fermionic Projector as an Operator-Valued Measure. Acting with the operator k as defined in (2.4) for each m separately gives the operator k : C (M × I, SM) → H , (kψ) = k ψ . m m m This makes it possible to introduce the fermionic projector P as an operator-valued measure on I. Namely, for any f ∈ C (I) we define ˆ ˆ 1 1 2 2 f(m) dP (m) = f(m) ρ ± S ρ dE k ± ρ,m I σ(S )×I (3.12) : C (M × I, SM) → H . The next proposition explains the normalization of the fermionic projector. This normalization can be understood as the spatial normalization, expressed in a functional calculus form (for the spatial normalization see [9, Section 2.3] or the elementary discussion in [11, Section 2]). Proposition 3.4. (normalization) Assume that the operator S commutes with the spectral measure E in the sense that ∞ 2 SE = E S on H for all Borel sets U ⊂ σ(S ) × I . U U ′ 0 ∞ Then for any s, s ∈ {±1} and all f, g ∈ C (I) and ψ, φ ∈ C (M × I, SM), ˆ ˆ ˆ ′ ′ f(m) dP (m)ψ g(m ) dP ′(m )φ = δ ′ f(m)g(m) <ψ | (dP (m)φ) > . s s ss m s m I I I This condition was omitted in the print version of the paper. However, as pointed out to us by Albert Much, it is not satisfied in general and needs to be verified in the applications. THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 9 Proof. Using the continuous functional calculus, we obtain ˆ ˆ ′ ′ f(m) dP (m)ψ g(m ) dP (m )φ ± ± I I 1 1 −1 = f(m)g(m) ρ k(ψ) ρ ± S dE k(φ) ρ,m 4 2 σ(S )×I 1 1 1 (∗) 2 2 = f(m)g(m) ρ k(ψ) (ρ ± S)dE k(φ) ρ,m 2 2 σ(S )×I ˆ ˆ = k(ψ) f(m)g(m) dP (m)φ = f(m)g(m) <ψ | (dP (m)φ) > , s m s m I I 2 2 where in (∗) we multiplied out (ρ ± S) and used that S = ρ. In the last step we applied (3.3) and Proposition 2.2. This gives the result in the case s = s . The calculation for s 6= s is similar, but in (∗) we get zero. The following proposition, which is an immediate consequence of the continuous functional calculus, explains in which sense our construction is independent of the choice of the interval I. Proposition 3.5. (independence of the choice of I) Suppose that we have two mass intervals I = (m ˇ , m ˇ ) ⊂ I = (m , m ) . L R L R We denote all the objects constructed in I with an additional check and let ˇι and πˇ be the natural injection and projection operators, ψ(x, m) if m ∈ I ˇι : H → H , ˇι(ψ) (x, m) = 0 otherwise . πˇ : H → H , πˇ(ψ) = ψ| . M×I Then ˆ ˆ f(m) dP (m) = πˇ f(m) dP (m) ˇι ∀ f ∈ C (I) ± ± I I ˆ ˆ ˇ ˇ f(m) dP (m) = ˇι f(m) dP (m) πˇ ∀ f ∈ C (I) . ± ± I I 4. The Strong Mass Oscillation Property 4.1. Definition and General Structural Results. Definition 4.1. The Dirac operator D on the globally hyperbolic manifold (M, g) has the strong mass oscillation property in the interval I = (m , m ) with do- L R main H (see Definition 3.1), if there is a constant c > 0 such that |<pψ|pφ>| ≤ c kφ k kψ k dm ∀ ψ, φ ∈ H . (4.1) m m m m Theorem 4.2. The following statements are equivalent: (i) The strong mass oscillation property holds. (ii) There is a constant c > 0 such that for all ψ, φ ∈ H , the following two relations hold: |<pψ|pφ>| ≤ ckψkkφk (4.2) <pTψ|pφ> = <pψ|pTφ> . (4.3) 10 F. FINSTER AND M. REINTJES (iii) There is a family of linear operators S ∈ L(H ) which are uniformly bounded, m m sup kS k < ∞ , m∈I such that <pψ|pφ> = (ψ |S φ ) dm ∀ ψ, φ ∈ H . (4.4) m m m m Proof. The implication (iii)⇒(i) follows immediately from the estimate ˆ ˆ |<pψ|pφ>| ≤ (ψ |S φ ) dm ≤ sup kS k kψ k kφk dm . m m m m m m m m m∈I I I In order to prove the implication (i)⇒(ii), we first apply the Schwarz inequality to (4.1) to obtain |<pψ|pφ>| ≤ c kφ k kψ k dm m m m m ˆ ˆ 1 1 2 2 2 2 ≤ c kφ k dm kψ k dm = c kφkkψk , m m m m I I proving (4.2). Next, for given N ∈ N we subdivide the interval I = (m , m ) by L R choosing the intermediate points m = (m − m ) + m , ℓ = 0, . . . , N . ℓ R L L Moreover, we choose non-negative test functions η , . . . , η ∈ C (R) which form a 1 N partition of unity and are supported in small subintervals, meaning that η = 1| and suppη ⊂ (m , m ) , (4.5) ℓ I ℓ ℓ−2 ℓ+1 ℓ=1 where we set m = m −1 and m = m +1. For any smooth function η ∈ C (R) −1 L N+1 R ∞ ∞ we define the operator η(T ) ∈ L(H) : H → H by η(T )ψ = η(m) ψ . Then by linearity, <pTψ|pφ> − <pψ|pTφ> = <pT η (T )ψ |pη ′(T )φ> − <pη (T )ψ |pT η ′(T )φ> ℓ ℓ ℓ ℓ ℓ,ℓ =1 ′ ′ = <p T − m η (T )ψ |pη (T )φ> − <pη (T )ψ |p T − m η (T )φ> . ℓ ℓ ℓ ℓ ℓ ℓ ℓ,ℓ =1 Taking the absolute value and applying (4.1), we obtain <pTψ|pφ> − <pψ|pTφ> ≤ c |m − m | η (m)η (m) kφ k kψ k dm . m m m m ℓ ℓ ℓ ℓ,ℓ =1 THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 11 In view of the second property in (4.5), we only get a contribution if |ℓ − ℓ | ≤ 1. Moreover, we know that |m − m | ≤ 2|I|/N on the support of η . Thus ℓ ℓ 6c|I| <pTψ|pφ> − <pψ|pTφ> ≤ η (m)kφ k kψ k dm ℓ m m m m ℓ=1 6c|I| = kφ k kψ k dm . m m m m Since N is arbitrary, we obtain (4.3). It remains to prove the implication (ii)⇒(iii). Combining (4.2) with the Fr´echet- Riesz theorem, there is a bounded operator S ∈ L(H) with <pψ|pφ> = (ψ|Sφ) ∀ ψ, φ ∈ H . The relation (4.3) implies that the operators S and T commute. Moreover, these two operators are obviously symmetric and thus self-adjoint. Hence the spectral theo- rem for commuting self-adjoint operators implies that there is a spectral measure F on σ(S) × I such that p q p q S T = ν m dF ∀ p, q ∈ N . (4.6) ν,m σ(S)×I For given ψ, φ ∈ H , we introduce the Borel measure µ on I by ψ,φ µ (Ω) = ν d(ψ|F φ) . (4.7) ψ,φ ν,m σ(S)×Ω Then µ (I) = (ψ|Sφ) and ψ,φ µ (Ω) = ν d χ (T )ψ F χ (T )φ = (χ (T )ψ |Sχ (T )φ) . ψ,φ Ω ν,m Ω Ω Ω σ(S)×I Since the operator S is bounded, we conclude that ˆ ˆ (3.3) 2 2 ′ |µ (Ω)| ≤ ckχ (T )ψkkχ (T )φk = c kψk dm kψk ′ dm ψ,φ Ω Ω m m Ω Ω ≤ c|Ω| sup kψ k sup kφ ′k ′ . (4.8) m m m m m∈Ω m ∈Ω This shows that the measure µ is absolutely continuous with respect to the Lebesgue measure. The Radon-Nikodym theorem (see [17, Theorem 6.9] or [12, §VI.31]) implies that there is a unique function f ∈ L (I, dm) such that ψ,φ µ (Ω) = f (m) dm . (4.9) ψ,φ ψ,φ Moreover, the estimate (4.8) gives the pointwise bound |f (m)| ≤ ckψ k kφ k . ψ,φ m m m m Using this inequality, we can apply the Fr´echet-Riesz theorem to obtain a unique operator S ∈ L(H ) such that m m f (m) = (ψ |S φ ) and kS k ≤ c . (4.10) m m m m m ψ,φ 12 F. FINSTER AND M. REINTJES Combining the above results, for any ψ, φ ∈ H we obtain <pψ|pφ> = (ψ|Sφ) = ν d(ψ | F φ) ν,m σ(S)×I ˆ ˆ ˆ = dµ = f (m) dm = (ψ |S φ ) dm . ψ,φ ψ,φ m m m m I I I This concludes the proof. Comparing the statement of Theorem 4.2 (ii) with Definition 3.2, we immediately obtain the following result. Corollary 4.3. The strong mass oscillation property implies the weak mass oscillation property. We next show uniqueness as well as the independence of the choice of the interval I. Proposition 4.4. (uniqueness of S ) The family (S ) in the statement of The- m m m∈I orem 4.2 can be chosen such that for all ψ, φ ∈ H , the expectation value f (m) := ψ,φ (ψ |S φ ) is continuous in m, m m m m f ∈ C (I) . (4.11) ψ,φ The family (S ) with the properties (4.4) and (4.11) is unique. Moreover, choosing m m∈I ˇ ˇ two intervals I and I with m ∈ I ⊂ I and 0 6∈ I, and denoting all the objects constructed in I with an additional check, we have S = S . (4.12) m m Proof. Let us show that the function f is continuous. To this end, we choose a ψ,φ function η ∈ C (I). Then for any ε > 0 which is so small that B (suppη) ⊂ I, we obtain ˆ ˆ f (m + ε) − f (m) η(m) dm = f (m) η(m − ε) − η(m) dm ψ,φ ψ,φ ψ,φ I I ˆ ˆ (∗) = < η(m − ε) − η(m) ψ dm | pφ> = < η(m) ψ − ψ dm | pφ> , m m+ε m I I where in (∗) we used (4.6) and (4.7). Applying (4.2), we obtain f (m + ε) − f (m) η(m) dm ≤ ckψ − ψk kφk sup|η| , ψ,φ ψ,φ +ε I I where the vector ψ ∈ H is defined by (ψ ) := ψ . Since lim kψ − ψk = +ε +ε m m+ε +ε εց0 0 and η is arbitrary, we conclude that f is continuous (4.11). This continuity ψ,φ is important because it implies that the function f is uniquely defined pointwise ψ,φ (whereas in (4.9) this function could be modified arbitrarily on sets of measure zero). In order to prove (4.12), we first note that the spectral measures dE and dF ρ,m ν,m (cf. (3.11) and (4.6)) are related to each other by √ √ dE = dF + dF . ρ,m ρ,m − ρ,m A direct computation yields that the definitions (3.12) and (4.13) agree if the strong mass oscillation property holds (see also (4.7), (4.9) and (4.10)). The relation (4.12) then follows from Proposition 3.5. We remark that by considering higher difference quotients and taking the limit ε ց 0, one could even prove that f ∈ C (I) is smooth, but this is not of relevance here. ψ,φ 0 THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 13 4.2. Construction of the Fermionic Projector. Theorem 4.2 and Proposition 4.4 are very useful because for every m ∈ I they provide a unique operator S ∈ L(H ), m m referred to as the fermionic signature operator corresponding to the mass m. This makes it possible to proceed with methods similar to [9]. From Definition 4.4, the operator S is obviously symmetric. Thus the spectral theorem gives rise to the spectral decomposition S = ν dE , m ν σ(S ) where E is the spectral measure (see for example [16]). The spectral measure gives rise to the spectral calculus f(S ) = f(ν) dE , m ν σ(S ) where f is a bounded Borel function. Definition 4.5. Assume that the Dirac operator D on (M, g) satisfies the strong mass oscillation property (see Definition 4.1). We define the operators P : C (M, SM) → H by P = χ (S )k and P = −χ (S )k (4.13) + m m − m m [0,∞) (−∞,0) (where χ denotes the characteristic function). The fermionic projector P is defined by P = P . Proposition 4.6. For all φ, ψ ∈ C (M, SM), the operators P are symmetric, <P φ| ψ> = <φ| P ψ> . ± ± Moreover, the image of P is the positive respectively negative spectral subspace of S , ± m i.e. ∞ ∞ P (C (M, SM)) = E (H ) , P (C (M, SM)) = E (H ) . (4.14) + (0,∞) m − (−∞,0) m 0 0 Proof. According to Proposition 2.2, <P φ| ψ> = (P φ| k ψ) = − χ (S )k φ k ψ − − m m (−∞,0) m m m = − k φ χ (S )k ψ = <φ| P ψ> . m m m − (−∞,0) The proof for P is similar. The relations (4.14) follow immediately from the fact that k (C (M, SM)) is dense in H . m m 4.3. Representation as a Distribution and Normalization. Similar as in [9, Theorem 3.12], the fermionic projector can be represented by a two-point distribution on M. As usual, we denote the space of test functions (with the Fr´echet topology) by D and define the space of distributions D as its dual space. Theorem 4.7. Assume that the strong mass oscillation property holds. Then there is ′ ∞ a unique distribution P ∈ D (M ×M) such that for all φ, ψ ∈ C (M, SM), <φ|Pψ> = P(φ ⊗ ψ) . Proof. According to Proposition 2.2 and Definition 4.5, <φ|Pψ> = (k φ| Pψ) = −(k φ| χ (S )k ψ) . m m m m (−∞,0) Since the norm of the operator χ (S ) is bounded by one, we conclude that (−∞,0) |<φ|Pψ>| ≤ kk φk kk ψk = (<φ|k φ> <ψ|k ψ>) , m m m m 14 F. FINSTER AND M. REINTJES where in the last step we again applied Proposition 2.2. As k ∈ D (M × M), the right side is continuous on D(M ×M). We conclude that also <φ|Pψ> is continuous on D(M × M). The result now follows from the Schwartz kernel theorem (see [13, Theorem 5.2.1], keeping in mind that this theorem applies just as well to bundle- valued distributions on a manifold simply by working with the components in local coordinates and a local trivialization). Exactly as explained in [9, Section 3.5], it is convenient to use the standard notation with an integral kernel P (x, y), <φ|Pψ> = ≺φ(x)| P (x, y)ψ(y)≻ dµ (x) dµ (y) x M M M×M (Pψ)(x) = P (x, y)ψ(y) dµ (y) (where P (., .) coincides with the distribution P above). In view of Proposition 4.6, we know that the last integral is not only a distribution, but a function which is square integrable over every Cauchy surface. Moreover, the symmetry of P shown in Proposition 4.6 implies that P (x, y) = P (y, x) , where the star denotes the adjoint with respect to the spin scalar product. Finally, exactly as shown in [9, Proposition 3.13], the spatial normalization property of Propo- sition 4.8 makes it possible to obtain a representation of the fermionic projector in terms of one-particle states. To this end, one chooses an orthonormal basis (ψ ) of j j∈N the subspace χ (S ) ⊂ H . Then m m (−∞,0) P (x, y) = − |ψ (x)≻≺ψ (y)| j j j=1 with convergence in D (M ×M). We now specify the normalization of the fermionic projector. We introduce an operator Π by Π : H → H , (Π ψ )(x) = −2π P (x, y)ν (ψ )| (y) dµ (y) , (4.15) m m m m N N where N is any Cauchy surface. Proposition 4.8. (spatial normalization) The operator Π is a projection operator on H . Proof. According to Proposition 2.1, the spatial integral in (4.15) can be combined with the factor k in (4.13) to give the solution of the corresponding Cauchy problem. Thus Π : H → H , (Π ψ )(x) = χ (S )ψ , m m m m m (−∞,0) showing that Π is a projection operator. Instead of the spatial normalization, one could also consider the mass normalization (for details on the different normalization methods see [11]). To this end, one needs THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 15 to consider families of fermionic projectors P indexed by the mass parameter. Then for all φ, ψ ∈ C (M, SM), we can use (4.4) and Proposition 2.2 to obtain ˆ ˆ <p(P φ)|p(P ′ψ)> = (P φ|S P ψ) dm = (k φ|S χ (S )k ψ) dm m m m m m m m m (−∞,0) m m m I I = <φ|S χ (S )k ψ> dm = −<φ|p(S P ψ)> , m (−∞,0) m m m m which can be written in a compact formal notation similar to (1.6) as P P = δ(m − m ) (−S )P . m m m m Due to the factor (−S ) on the right, in general the fermionic projector does not satisfy the mass normalization condition. The mass normalization condition could be arranged by modifying the definition (4.13) to −1 S χ (S )k . m m (−∞,0) Here we prefer to work with the spatial normalization. For a detailed discussion of the different normalization methods we refer to [11, Section 2]. We finally remark that corresponding causal fermion systems can be constructed exactly as in [9, Section 4] by introducing regularization operators (R ) , computing ε ε>0 the local correlation operators F (x) and defining the universal measure by dρ = F dµ . 5. Example: Ultrastatic Space-Times In this section we prove that the strong mass oscillation property holds for the Dirac operator in complete ultrastatic space-times, even if an arbitrary static magnetic field is present. Thus we let (M, g) be a k-dimensional complete space-time which is ultrastatic in the sense that it is the product M = R ×N with a metric of the form 2 2 ds = dt − g , where g is a Riemannian metric on N. The completeness of M implies that also N is complete. Moreover, we assume that N is spin. Let D denote the intrinsic Dirac operator on N. In order to introduce the magnetic field, we let A be a smooth vector field on N (the “vector potential”) and set D = D + A , (5.1) A N where the slash again denotes Clifford multiplication. Using standard elliptic theory (see [18, Proposition 8.2.7] and [10]), the operator D with domain C (N, SN) is essentially self-adjoint on the Hilbert space L (N, SN). Thus its closure, which we again denote by D , is a self-adjoint operator with domain D(D ). The spectral A A theorem yields D = λ dF , (5.2) A λ σ(D ) where dF denotes the spectral-measure of D . λ A The Dirac operator in the ultrastatic space-time (M, g) in the presence of the mag- netic field A can be written in block matrix notation as i∂ −D t A D = . (5.3) D −i∂ A t 16 F. FINSTER AND M. REINTJES Since the Dirac operator is time independent, we can separate the time dependence with a plane wave ansatz, −iωt ψ(t, x) = e χ(x) . The sign of ω gives a natural decomposition of the solution space into two subspaces. This is often referred to as “frequency splitting,” and the subspaces are called the solutions of positive and negative energy, respectively. This is the main result of this section. Theorem 5.1. On any interval I = (m , m ) with m , m > 0, the Dirac opera- L R L R tor (5.3) has the strong mass oscillation property with domain ∞ ∞ H := C (M × I, SM) ∩ H . (5.4) sc,0 The operators S in the representation (4.4) all have the spectrum {±1}. The eigen- spaces corresponding to the eigenvalues ±1 coincide with the solutions of positive and negative frequency, respectively. We remark that the reason why the spectral decomposition of S gives the frequency splitting can already be understood in the perturbative treatment as explained in [4, Section 5]. As a corollary, the above theorem clearly yields the strong mass oscillation property for the Dirac operator in the Minkowski vacuum. We now begin with preparations for the proof, which will be completed at the end of Section 5.2. The space-time inner product (2.1) and the scalar product (2.3) take the form ˆ ˆ ˆ ∞ ∞ D E 1 0 <φ|ψ> = dt ≺ψ|φ≻ dµ (x) = dt ψ φ (5.5) (t,x) N 2 2 0 −1 L (N,SN) −∞ N −∞ 1 0 (φ|ψ) = ≺ψ| φ≻ dµ (x) = 2π hψ(t)|φ(t)i 2 2 (5.6) (t,x) N L (N,SN) 0 −1 (where in the last line t is arbitrary due to current conservation). In the following constructions, we will also work with the last scalar product without requiring that φ and ψ are solutions of the Dirac equation. In this case, the scalar product will depend on time, and we denote it by (φ|ψ) = 2π hψ(t)|φ(t)i 2 2 . L (N,SN) We usually write the Dirac equation in the Hamiltonian form as 0 D 11 0 i∂ ψ = Hψ with H = + m . D 0 0 −11 Substituting the spectral decomposition (5.2), we get m λ H = dF . λ −m σ(D ) In order to bring the dynamics into a more explicit form, we diagonalize the 2 × 2- matrix, m λ = ω Π − ω Π , + − λ −m where we set 2 2 ω = λ + m . (5.7) THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 17 The matrices and Π are orthogonal projections, i.e. Π Π ′ = δ ′ Π ∀ s, s ∈ {±} . s s ss s A short computation shows that 11 1 m λ Π = Π (λ, m) = ± . (5.8) ± ± λ −m 2 2ω Applying the functional calculus, the solution of the Dirac equation of mass m with initial data ψ | = ψ (0) ∈ C (N, SM) can be written as m t=0 m −itH(m) t ψ (t) = e ψ (0) = U (λ) dF ψ (0) , (5.9) m m λ m σ(D ) where U is the unitary 2 × 2-matrix t −itω(λ,m) itω(λ,m) U (λ) = e Π (λ, m) + e Π (λ, m) . (5.10) + − 5.1. The Weak Mass Oscillation Property using Mass Derivatives. In prepa- ration for the strong mass oscillation property, we shall now prove the weak mass oscillation property. Let ψ ∈ H as defined in (5.4). Then ˆ ˆ (pψ)(t) = dm U (λ) dF ψ (0) . (5.11) λ m I σ(D ) For estimates of such expressions, it is helpful to observe that U (λ) is a 2× 2-matrix which commutes with the spectral measure dF . In particular, the matrix entries of the inner integral in (5.11) can be written as g(m) := f(λ, m) dF ψ(m) ∈ L (N, SN) (5.12) σ(D ) ∞ ∞ with f ∈ C (I × R) and ψ ∈ C (N × I, SN) (where we use the notation ψ(m) = ψ (.) ∈ C (N, SN)). In the next lemma it is shown that this function is differentiable and that we may interchange the differentiation with the integral. Since this is a somewhat subtle point, we give the proof in detail. Lemma 5.2. Let ψ ∈ C (N × I, SN) be a smooth family of wave functions on N. Moreover, let f ∈ C (I ×R) be a smooth function such that f and all its mass deriva- tives are polynomially bounded, i.e. for all p ∈ N there is ℓ ∈ N and a constant c > 0 such that p 2ℓ |∂ f(λ, m)| ≤ c 1 + λ ∀ λ ∈ R, m ∈ I . (5.13) Then the function g defined by (5.12) satisfies the bound 2ℓ g(m) ≤ c 1 + D ψ . (5.14) 2 A 2 L (N,SN) L (N,SN) Moreover, the function g is smooth in m and (p) p g (m) = dF ∂ f(λ, m) ψ(m) . (5.15) σ(D ) A 18 F. FINSTER AND M. REINTJES Proof. For the proof of the bound (5.14), we may omit the mass dependence. Then the spectral calculus yields ˆ ˆ f(λ) dF ψ = |f(λ)| dhψ|F ψi 2 λ λ L (N,SN) L (N,SN) σ(D ) σ(D ) A A (5.13) 2 2 2ℓ 2ℓ ≤ c 1 + λ dhψ|F ψi 2 = c 1 + D ψ . λ 2 L (N,SN) A L (N,SN) σ(D ) In order to prove that g is differentiable, we consider the difference quotient and subtract the expected derivative, g(m + ε) − g(m) φ := − dF ∂ f(λ, m) ψ(m) . ε m σ(D ) By rearranging the terms, we obtain f(λ, m + ε) ψ(m + ε) − f(λ, m) ψ(m) φ = dF − ∂ f(λ, m) ψ(m) ε λ m σ(D ) f(λ, m + ε) − f(λ, m) = dF − ∂ f(λ, m) ψ(m) (5.16) λ m σ(D ) n o ψ(m + ε) − ψ(m) + f(λ, m + ε) − ∂ ψ(m) (5.17) + f(λ, m + ε) − f(λ, m) ∂ ψ(m) . (5.18) The contribution (5.17) can be estimated immediately with the help of (5.14) (with the function ψ(m) in (5.12) replaced by the expression in the curly brackets in (5.17)). We thus obtain ψ(m + ε) − ψ(m) 2ℓ k(5.17)k 2 ≤ c 1 + D − ∂ ψ(m) , L (N,SN) m ε L (N,SN) and this converges to zero as ε ց 0 because ψ is smooth and has compact support. The term (5.18), on the other hand, is estimated by decomposing the λ-integral into the integrals over the regions [−L, L] and R \ [−L, L] and estimating similar as in the proof of (5.14), dF f(λ, m + ε) − f(λ, m) ∂ ψ(m) λ m L (N,SN) −L ≤ k∂ ψ(m)k 2 sup f(λ, m + ε) − f(λ, m) . (5.19) L (N,SN) (λ,m)∈[−L,L]×I Moreover, using again (5.13), dF f(λ, m + ε) − f(λ, m) ∂ ψ(m) λ m L (N,SN) R\[−L,L] 2 2ℓ ≤ 4c 1 + λ d ∂ ψ(m), F ∂ ψ(m) m λ m 2 L (N,SN) R\[−L,L] 4c 2ℓ+2 ≤ 1 + λ d ∂ ψ(m), F ∂ ψ(m) m m λ 2 4 L (N,SN) R\[−L,L] 4c 2ℓ+2 = 1 + D ψ . (5.20) 4 L (N,SN) L THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 19 The term (5.20) can be made arbitrarily small by choosing L sufficiently large. The term (5.19), on the other hand, tends to zero as ε ց 0 for any fixed L due to the locally uniform convergence of f(λ, m + ε) to f(λ, m) (note that f is smooth in view of (5.10) and (5.8)). This shows that (5.18) tends to zero as ε ց 0. Finally, the contribution (5.16) can be estimated just as (5.18) by considering the regions [−L, L] and R \ [−L, L] separately. We conclude that in the limit ε ց 0, the vectors φ converge to zero in L (N, SN). This shows (5.15) in the case p = 1. The relation for general p follows immediately by induction. Lemma 5.3. The time evolution operator in the vacuum has the representation ∂ ∂ 2 t t t t t U (λ) = A (λ) + B (λ) + C (λ) (5.21) m m m m ∂m ∂m t t t with matrices A , B and C which are bounded uniformly in time by m m m t t t 2 kA (λ)k + kB (λ)k + kC (λ)k ≤ c 1 + λ ∀ m ∈ I m m m with a constant c which may depend on the choice of the interval I (here k.k denotes any norm on the 2×2-matrices, and we again assume that I = (m , m ) with m , m > 0). L R L R Proof. We can generate factors of t by differentiating the exponentials in (5.10) with respect to ω. With the help of (5.7), we can then rewrite the ω-derivatives as m- derivatives. We thus obtain ∂ ω ∂ ω ∂ 2 ±iωt ±iωt ±iωt t e = − e = − e . ∂ω m ∂m m ∂m A straightforward computation in which one uses the product rule inductively gives the result. Lemma 5.4. For any ψ ∈ H , there is a constant C = C(ψ) such that (pψ)| ≤ . t 2 1 + t Proof. Using that the operators U are unitary, we immediately obtain (pψ)| ≤ dm kψ k . t m m In order to prove time decay, we apply the identity (5.21) to (5.11). Then Lemma 5.2 allows us to integrate by parts, ˆ ˆ ∂ ∂ 2 t t t t (pψ)| = dm dF A + B + C ψ (0) t λ m m m m ∂m ∂m M σ(D ) ˆ ˆ t 2 t t = dm dF A (λ) ∂ ψ (0) − B (λ) ∂ ψ (0) + C (λ) ψ (0) . λ m m m m m m m m M σ(D ) Now can use the estimate of Lemma 5.3 together with (5.14) to obtain ˆ ˆ 2 2 a t (pψ)| ≤ c dm (1 + λ ) dF ∂ ψ (0) t λ m σ(D ) t a=0,2 2 a = c dm (1 + D )∂ ψ (0) , (5.22) A m a=0,2 20 F. FINSTER AND M. REINTJES where in the last step we used the spectral calculus. Proposition 5.5. On any interval I = (m , m ) with m , m > 0, the Dirac opera- L R L R tor (5.3) has the weak mass oscillation property with domain (5.4). Proof. For every ψ, φ ∈ H , the Schwarz inequality gives ˆ ˆ ∞ ∞ |<pψ|pφ>| = (pψ)| γ (pφ)| dt ≤ (pψ)| (pφ)| dt . t t t t t t t −∞ −∞ Applying Lemma 5.4 together with the estimate (pφ)| = (φ |φ ) dm dm t m t I×I 2 2 ′ 2 ≤ kφ k + kφ k dm dm = |I|kφk , m m I×I we obtain the inequality (3.5) with dt c = C |I| < ∞ . 1 + t −∞ The identity (3.6) follows by integrating the Dirac operator in space-time by parts, <pTψ|pφ> = <pDψ|pφ> = <Dpψ|pφ> = ≺Dpψ|pφ≻(x) d x ˆ (5.23) (∗) = ≺pψ|Dpφ≻(x) d x = <pψ|Dpφ> = <pψ|pTφ> . In (∗) we used that the Dirac operator is formally self-adjoint with respect to <.|.>. Moreover, we do not get boundary terms in view of the time decay in Lemma 5.4. 5.2. The Strong Mass Oscillation Property using a Plancherel Method. We now give the proof of Theorem 5.1. Before beginning, we point out that the method of working with mass derivatives in the previous section gave the inequality (3.5) with a constant c which depended on the derivatives of ψ (cf. (5.22)). For the strong mass oscillation property, however, this constant must depend only on the L -norm of ψ (see (4.2)). For this reason, working with mass derivatives and an integration-by- parts argument in the mass parameter is not appropriate for proving the strong mass oscillation property. Instead, we shall use the following Plancherel method. First, in view of the decay established in Lemma 5.4, we know that for any ψ, φ ∈ H , the function ≺pψ|pφ≻ is integrable. Moreover, the time integral can be carried out with the help of Plancherel’s theorem, ˆ ˆ <pψ|pφ> = dt ≺pψ|pφ≻ dµ (x) (t,x) −∞ N D E dω 1 0 c c = pψ(ω) pφ(ω) , (5.24) 2 2 0 −1 2π L (N,SN) −∞ where iωt pψ(ω) = (pψ)(t) e dt . −∞ THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 21 In order to compute this Fourier transform, we take the representation (5.9) and (5.10), integrate over the mass parameter, and rewrite the mass integral as an integral over ω, ˆ ˆ −sitω(λ,m) (pψ)(t) = dm e Π (λ, m) dF ψ (0) s λ m I σ(D ) s=± ˆ ˆ dm 2 2 −siωt = dω χ 2 2 ω − λ e Π (λ, m) dF ψ (0) , s λ m (m ,m ) 2 2 L R dω m= ω −λ 0 σ(D ) s=± 2 2 2 2 where the characteristic function χ 2 2 ω − λ vanishes unless ω − λ ∈ I. (m ,m ) L R Using (5.7), we obtain ˆ ˆ |ω| −iωt 2 2 = dω e χ 2 2 ω − λ Π (λ, m) dF ψ (0) . s m (m ,m ) L R 2 2 −∞ σ(D ) A m= ω −λ , s=sign(ω) This shows that |ω| 2 2 pψ(ω) = 2π χ 2 2 ω − λ Π (λ, m) dF ψ (0) . s λ m (m ,m ) L R 2 2 σ(D ) A m= ω −λ , s=sign(ω) Using this formula in (5.24) and applying the spectral calculus for D , we obtain ˆ ˆ ∞ 2 2 2 <pψ|pφ> = 2π dω χ 2 2 ω − λ (m ,m ) L R −∞ σ(D ) D E 1 0 × Π (λ, m) ψ (0) dF Π (λ, m) φ (0) . s m λ s m 2 2 2 2 0 −1 L (N,SN) m= ω −λ , s=sign(ω) A short computation using (5.8) shows that 1 0 Π (λ, m) Π (λ, m) = Π (λ, m) . s s s 0 −1 s|ω| Hence ˆ ˆ 2 2 <pψ|pφ> = 2π dω χ 2 2 ω − λ (m ,m ) L R −∞ σ(D ) × ψ (0) dF Π (λ, m) φ (0) √ m λ s m 2 2 L (N,SN) 2 2 m= ω −λ , s=sign(ω) ˆ ˆ = 2π dm s d ψ (0) F Π (λ, m) φ (0) , m λ s m 2 2 L (N,SN) I σ(D ) s=± where in the last step we transformed back to the integration variable m. Using (5.6), we obtain the identity ˆ ˆ <pψ|pφ> = dm d ψ F Π (λ, m) − Π (λ, m) φ . (5.25) m λ + − m I σ(D ) The inequality (4.1) follows immediately by applying the Schwarz inequality and using that the matrices Π have norm one. Finally, comparing (5.25) with (4.4), one sees that the eigenvalues and correspond- ing eigenspaces of the operator S coincide precisely with those of the matrix Π −Π . m + − Hence S has the spectrum {±1}, and in view of (5.10) the eigenspaces are precisely the subspaces of positive and negative frequency. This completes the proof of Theo- rem 5.1. 22 F. FINSTER AND M. REINTJES 6. Example: De Sitter Space-Time We consider the de Sitter space-time M = R × S with the line element 2 2 2 2 ds = dt − R(t) ds and R(t) = cosh t , (6.1) where ds is the line element on the three-dimensional unit sphere. This is a special case of the Friedmann-Robertson-Walker metric obtained for a specific choice of the scaling function. The Dirac operator was computed in [8] (see also [7, Appendix A]) to be 3R(t) 1 0 D 3 D = iγ ∂ + + , (6.2) −D 3 0 2R(t) R(t) where D 3 is the Dirac operator on S . The inner products (2.1) and (2.3) take the form ˆ ˆ <ψ|φ> = dt ≺ψ|φ≻(t, x) R(t) dµ 3(x) (6.3) −∞ S 0 3 (ψ |φ ) = 2π ≺ψ|γ φ≻(t, x) R(t) dµ 3(x) , (6.4) m m m † 0 0 where ≺ψ|φ≻ = ψ γ φ and γ = diag(1, 1,−1,−1) (here dµ 3 is the normalized volume measure on S ). In order to separate the Dirac equation (2.2), one uses that, being an elliptic operator on a bounded domain, the Dirac operator on S has a purely discrete spectrum and finite-dimensional eigenspaces. More specifically, the eigenvalues are (see [14] or the detailed computations in [8, Appendix A]), n o 3 5 7 σ(D 3) = ± , ± , ± , . . . 2 2 2 with corresponding eigenspaces of dimensions dim ker(D 3 − λ) = λ − . Since the Dirac operator (6.2) obviously commutes with D 3, the solution spaces can be decomposed into eigenspaces of D 3. We use the notation M M (λ) (λ) H = H , H = H . λ∈σ(D ) λ∈σ(D ) 3 3 S S We also refer to the eigenspaces of D 3 as spatial modes. Next, we choose H as the proper subspace of C (M × S, SM) ∩ H of solutions composed of a finite number of sc,0 spatial modes, n o ∞ ∞ (λ) H = ψ ∈ C (M × S, SM) ∩ H ψ ∈ H with Λ ∈ R (6.5) sc,0 |λ|≤Λ (this choice clearly has all the properties demanded in Definition 3.1; the reason for this choice will be explained after Lemma 6.2 below). This is our main result: Theorem 6.1. On any interval I = (m , m ) with m , m > 0, the Dirac operator L R L R in the de Sitter space-time has the strong mass oscillation property with domain (6.5). THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 23 The remainder of this section is devoted to the proof of this theorem. Choosing a (λ) normalized eigenspinor φ of D 3 corresponding to the eigenvalue λ, we employ the ansatz (λ) u (m, t) φ (x) − 1 ψ = R(t) (6.6) (λ) u (m, t) φ (x) to obtain the coupled system of ordinary differential equations u m −λ/R u 1 1 i = (6.7) u −λ/R −m u dt 2 2 for the complex-valued functions u and u . The inner products (6.3) and (6.4) become 1 2 <ψ|ψ> = (u u˜ − u u˜ ) dt (6.8) 1 1 2 2 −∞ (ψ |ψ ) = 2π (u u˜ + u u˜ ) = 2πhu, u˜i 2 . (6.9) m m m 1 1 2 2 Using that the matrix in (6.7) is Hermitian, one easily verifies that hu, u˜i = 0 , (6.10) dt showing that the scalar product (6.9) is indeed time independent. We refer to a wave function of the form (6.6) as a single spatial mode. The asymptotics of solutions of (6.7) for large times can be described with a simple Gro¨nwall-type estimate: Lemma 6.2. Asymptotically as t → ±∞, every solution of (6.7) is of the form −imt e f 1 ± u(t) = + E (t) (6.11) imt ± e f with the error term bounded by ± ± ∓t kE (t)k ≤ kf k exp 2|λ| e (6.12) (thus E (t) decays exponentially as t → ±∞). Proof. Substituting into (6.7) the ansatz −imt e f (t) u(t) = , (6.13) imt e f (t) we obtain for f the differential equation 2imt df λ 0 e = − f . (6.14) −2imt e 0 dt R Taking the norm, we obtain the differential inequality df |λ| ≤ kfk . (6.15) dt R Let us first show that f(t) has a limit as t → ±∞. To this end, we first apply Kato’s inequality to (6.15), d |λ| kfk ≤ kfk . (6.16) dt R 24 F. FINSTER AND M. REINTJES We may assume that our solution is nontrivial, so that kfk 6= 0. Thus we may divide by kfk, d |λ| log kfk ≤ . dt R Since the scaling function grows exponentially for large t (cf. (6.1)), we conclude that kfk is bounded and converges as t → ±∞. Using this a-priori bound in (6.15), we infer that f has bounded variation, implying that lim f exists. We set t→±∞ f = lim f(t) . t→±∞ In order to estimate kf − f k, we divide (6.16) by kfk and integrate from t to any t > t , |λ| kf(t)k ≤ kf(t )k exp dτ . R(τ) Substituting this inequality into (6.15) gives ˆ  ˆ t t df |λ| |λ| d |λ| ≤ kf(t )k exp dτ = kf(t )k exp dτ . 0 0 dt R(t) R(τ) dt R(τ) t t 0 0 Integrating on both sides from t to some t > t gives 0 0 |λ| kf(t) − f(t )k ≤ kf(t )k exp dτ . 0 0 R(τ) Now we take the limit t → −∞ to obtain |λ| f(t) − f ≤ kf(t )k exp dτ . R(τ) −∞ Employing the estimate −t R(t) = cosh t ≥ , we conclude that − t f(t) − f ≤ kf(t )k exp 2|λ| e . Using this estimate in (6.13) and comparing with (6.11) gives the desired estimate for E . The estimate for E is derived similarly. As is typical for a Gro¨nwall estimate, the error bound (6.12) grows exponentially in λ. In particular, our estimate is not uniform in the spatial modes. It is not clear how to improve this estimate to for example polynomial growth in λ. This is the reason why with the choice (6.5) we always restrict attention to a finite number of spatial modes. ∞ (λ) Lemma 6.3. For every single mode ψ ∈ C (M × I, SM) ∩ H , the corresponding sc,0 coefficients f in (6.11) are smooth in m, ± ∞ 2 f ∈ C (I,C ) . Proof. Evaluating ψ at time t = 0, we get a smooth family u(m, t = 0). Consequently, the function f is smooth, ∞ 2 f| ∈ C (I,C ) . t=0 0 THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 25 Taking these initial conditions and solving the equation (6.14), we get a family of solutions which clearly depend smoothly on m. Differentiating (6.14) with respect to (p) the mass and setting f := ∂ f, we obtain (1) 2imt 2imt df λ 0 e λ 0 e (1) = f + 2it f −2imt −2imt e 0 −e 0 dt R R and thus (1) df |λ| |λ| (1) ≤ kf k + 2|t| kfk . (6.17) dt R R Again applying the Kato inequality, we obtain similar to (6.16) the differential inequal- ity ´ ´ t |λ| t |λ| d |λ| (1) − R R e kf (t)k ≤ e 2|t| kf(t)k . dt R(t) Integrating on both sides and using the exponential growth of R(t) at infinity, we (1) conclude that kf (t)k converges as t → ±∞. Using this fact in (6.17), we infer (1) (p) that also the vector f (t) converges as t → ±∞. The higher derivatives f can be estimated inductively by differentiating (6.14) p times with respect to m, taking the norm, and integrating the resulting differential inequality. ∞ (λ) Lemma 6.4. For every single mode ψ ∈ C (M × I, SM) ∩ H , the corresponding sc,0 function u in (6.6) satisfies the inequality c(ψ) (pu)(t) ≤ . (6.18) 1 + t Proof. Integrating the asymptotic expansion (6.11) over the mass parameter gives ˆ ˆ −imt e f pu = dm + E dm . (6.19) imt e f I I The integral over the error term can be estimated by ± ± ∓t E dm ≤ |I| sup kE k ≤ c(ψ)e , (6.20) m∈I where in the last step we applied (6.12) and used that sup kf k is bounded by Lemma 6.3. Writing the first summand in (6.19) as ! ! ˆ ˆ ± ± −imt 2 −imt e f (t) f 1 d e 0 1 1 dm = − dm , imt imt ± 2 2 ± 0 e t dm e f (t) f I I 2 2 we can integrate by parts to obtain the estimate −imt e f |I| c(ψ) 1 2 ± dm ≤ sup k∂ f k ≤ . imt ± 2 2 t t e f m∈I Combining this estimate with (6.20), we obtain (6.18). Proposition 6.5. The Dirac operator in the de Sitter space-time has the weak mass oscillation property with domain (6.5). 26 F. FINSTER AND M. REINTJES Proof. Suppose that ψ, φ ∈ H . Since ψ and φ only involve a finite number of spatial modes, we may restrict attention to one of them. Moreover, using orthonormality of the spatial eigenfunctions, we may assume that φ and ψ have the same spatial dependence. Then the Schwarz inequality yields k(pφ)| k ≤ kφ(m)k dm ≤ |I| kφk . t m Combining this inequality with (6.3), (6.4) and Lemma 6.4, we obtain ˆ ˆ ∞ ∞ |<pψ|pφ>| ≤ |I| kφk k(pu)(t)k dt ≤ kφk dt , 1 + t −∞ −∞ proving (3.5). The property (3.6) follows by integrating the Dirac operator by parts according to (5.23), where in (∗) we again use that the Dirac operator is formally self-adjoint with respect to <.|.>. Moreover, we do not get boundary terms in view of the time decay in (6.18). ˜ ˜ Our next task is to compute the inner product <pψ|pψ> for two single modes ψ, ψ ∈ (λ) H with the same spatial dependence. We write the result of Lemma 6.2 as ! ! + − −imt −imt e f (m) e f (m) 1 1 u(m, t) = Θ(t) + Θ(−t) + E (t) , (6.21) imt + imt − e f (m) e f (m) 2 2 where Θ is the Heaviside function, and the error term decays exponentially as t → ±∞, −|t| kE (t)k ≤ c e . (6.22) For the function ψ we use the same notation with an additional tilde. (λ) Lemma 6.6. For any single modes ψ, ψ ∈ H with the same spatial dependence, s s s s ˜ ˜ ˜ <pψ|pψ> = π f (m)f (m) − f (m)f (m) dm . (6.23) 1 2 1 2 s=± Proof. We first explain why the error terms E (t) and E (t) do not enter the formula. m m ˜ To this end, we again use the partition of unity (η ) introduced in the proof of ℓ ℓ=1,...,N Theorem 4.2 (see (4.5)). Since we already know that the weak mass oscillation property p p holds, we conclude from (3.6) inductively that <pT ψ|pφ> = <pψ|pT φ> for all p. Using the continuous functional calculus corresponding to the spectral theorem (3.11), we conclude that ˜ ˜ ′ ′ <pη (T )ψ |pη (T )ψ> = <p η η (T ) ψ |pψ> , ℓ ℓ ℓ ℓ which implies by the right side of (4.5) that <pη (T )ψ |pη (T )ψ> = 0 unless |ℓ − ℓ | ≤ 1 . ℓ ℓ Estimating the integrals of the error terms by |I| η (m)E (t) ≤ supkE (t)k ℓ m m and using the bound (6.22), the contribution by the error terms tends to zero as N → ∞. It remains to consider the first two summands in (6.21). Because of the Heaviside + − + − ˜ ˜ functions, we only get the product of f with f and of f with f . Moreover, the a b a b THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 27 following argument shows why it suffices to consider the contributions where the lower + + indices coincide: For example, the contribution involving f and f is 1 2 ˆ ¨ + + i(m+m ˜ )t A := dt f (m) f (m ˜ ) e dm dm ˜ . 1 2 0 I×I Using the distributional equation PP iωt e = πδ(ω) + i (6.24) (where PP denotes the principal value of the integral), we can use the fact that m +m ˜ is bounded away from zero to obtain + + f (m)f (m) 1 2 A = dm dm ˜ . m + m ˜ I×I Again inserting the partition of unity (η ) and taking the limit N → ∞ gives ℓ ℓ=1,...,N zero. The other contributions for a 6= b are treated similarly. s s We conclude that it suffices to take into account the products of the form f with f a a with a = 1, 2 and s = ±1. Thus <pψ|pψ> ˆ ¨ ′ ′ i(m−m )t + + −i(m−m )t + + ˜ ˜ = dt e f (m) f (m ˜ ) − e f (m) f (m ˜ ) dm dm ˜ 1 1 2 2 0 I×I ˆ ¨ ′ ′ − − −i(m−m )t − − i(m−m )t ˜ ˜ + dt e f (m) f (m ˜ ) − e f (m) f (m ˜ ) dm dm ˜ , 1 1 2 2 −∞ I×I and applying (6.24) gives + + + + − − − − ˜ ˜ ˜ ˜ ˜ <pψ|pψ> = π f f − f f + f f − f f dm (6.25) 1 1 2 2 1 1 2 2 PP + + + + ˜ ˜ + i f (m) f (m ˜ ) + f (m) f (m ˜ ) (6.26) 1 1 2 2 m − m ˜ I×I − − − − ˜ ˜ − f (m) f (m ˜ ) − f (m) f (m ˜ ) dm dm ˜ . (6.27) 1 1 2 2 Using current conservation (6.10) together with (6.11), we may evaluate the scalar product asymptotically as t → ±∞ to obtain X X + + − − ˜ ˜ f (m) f (m ˜ ) = f (m) f (m ˜ ) . a a a a a=1,2 a=1,2 This implies that the terms (6.26) and (6.27) cancel each other, giving the result. Proof of Theorem 6.1. Suppose that ψ, ψ ∈ H . Then we decompose them into spa- tial modes, i.e. K(λ) (λ) (λ) X X 3 (u ) (m, t) φ (x) − k k ψ = R(t) , (λ) (λ) (u ) (m, t) φ (x) k=1 |λ|<|Λ| k k 28 F. FINSTER AND M. REINTJES (λ) and similarly for ψ. Choosing the spatial wave functions φ to be orthonormal, we can apply Lemma 6.6 to each mode to obtain K(λ) ˆ X X X (λ) (λ) s s ˜ ˜ |<pψ|pψ>| ≤ π (f ) (m) (f ) (m) dm . k k s=± k=1 |λ|<|Λ| (λ) (λ) Using current conservation (6.10), we can compute the norms of u and u˜ asymp- k k totically as t → ±∞ with the help of Lemma 6.2. This gives K(λ)ˆ X X (λ) (λ) |<pψ|pψ>| ≤ 2π u (m) u˜ (m) dm . k k |λ|<|Λ| k=1 Applying the Schwarz inequality gives the result. We finally explain what the result of Lemma 6.6 means for the decomposition of the solution space. Comparing (6.23) with (4.4), one sees that now the spectral subspaces of the fermionic signature operator S no longer coincide with the solutions of positive and negative frequency. This is also clear because in the time-dependent setting of the de Sitter space-time, the “frequency” of a solution is only defined asymptotically as t → ±∞, but not globally or at intermediate times. Instead, the sum over s in (6.21) corresponds to the fact that we must take a suitable “interpolation” of the frequency splittings as experienced by observers at asymptotic times t → ±∞. Here the notion of “interpolation” can be understood similar as explained in [4, Section 5] and [9, Section 6]. Acknowledgments: We would like to thank Christian Ro¨ken for helpful discussions and comments. We are grateful to Andreas Platzer for helpful comments on the manuscript. References [1] C. B¨ar, N. Ginoux, and F. Pf¨affle, Wave Equations on Lorentzian Manifolds and Quantization, ESI Lectures in Mathematics and Physics, European Mathematical Society (EMS), Zu¨rich, 2007. [2] H. Baum, Spinor structures and Dirac operators on pseudo-Riemannian manifolds, Bull. Polish Acad. Sci. Math. 33 (1985), no. 3-4, 165–171. [3] J. Dimock, Dirac quantum fields on a manifold, Trans. Amer. Math. Soc. 269 (1982), no. 1, 133–147. [4] F. Finster, Definition of the Dirac sea in the presence of external fields, arXiv:hep-th/9705006, Adv. Theor. Math. Phys. 2 (1998), no. 5, 963–985. [5] , The Principle of the Fermionic Projector, hep-th/0001048, hep-th/0202059, hep-th/0210121, AMS/IP Studies in Advanced Mathematics, vol. 35, American Mathematical Society, Providence, RI, 2006. [6] F. Finster and A. Grotz, The causal perturbation expansion revisited: Rescaling the interacting Dirac sea, arXiv:0901.0334 [math-ph], J. Math. Phys. 51 (2010), 072301. [7] F. Finster and C. Hainzl, A spatially homogeneous and isotropic Einstein-Dirac Cosmology, arXiv:1101.1872 [math-ph], J. Math. Phys. 52 (2011), 042501. [8] F. Finster and M. Reintjes, The Dirac equation and the normalization of its solutions in a closed Friedmann-Robertson-Walker universe, arXiv:0901.0602 [math-ph], Class. Quantum Grav. 26 (2009), no. 10, 105021. [9] , A non-perturbative construction of the fermionic projector on globally hyperbolic mani- folds I – Space-times of finite lifetime, arXiv:1301.5420 [math-ph], Adv. Theor. Math. Phys. 19 (2015), no. 4, 761–803. [10] F. Finster and C. Ro¨ken, Self-adjointness of the Dirac Hamiltonian for a class of non-uniformly elliptic boundary value problems, arXiv:1512.00761 [math-ph], Annals of Mathematical Sciences and Applications 1 (2016), no. 2, 301—-320. THE FERMIONIC PROJECTOR IN SPACE-TIMES OF INFINITE LIFETIME 29 [11] F. Finster and J. Tolksdorf, Perturbative description of the fermionic projector: Normalization, causality and Furry’s theorem, arXiv:1401.4353 [math-ph], J. Math. Phys. 55 (2014), no. 5, [12] P.R. Halmos, Measure Theory, Springer, New York, 1974. [13] L. H¨ormander, The Analysis of Linear Partial Differential Operators. I, second ed., Grundlehren der Mathematischen Wissenschaften, vol. 256, Springer-Verlag, Berlin, 1990. [14] H.B. Lawson, Jr. and M.-L. Michelsohn, Spin Geometry, Princeton Mathematical Series, vol. 38, Princeton University Press, Princeton, NJ, 1989. [15] P.D. Lax, Functional Analysis, Pure and Applied Mathematics (New York), Wiley-Interscience [John Wiley & Sons], New York, 2002. [16] M. Reed and B. Simon, Methods of Modern Mathematical Physics. I, Functional analysis, second ed., Academic Press Inc., New York, 1980. [17] W. Rudin, Real and Complex Analysis, third ed., McGraw-Hill Book Co., New York, 1987. [18] M.E. Taylor, Partial Differential Equations. II, second ed., Applied Mathematical Sciences, vol. 116, Springer, New York, 2011. ¨ ¨ ¨ Fakultat fur Mathematik, Universitat Regensburg, D-93040 Regensburg, Germany Email address: finster@ur.de IMPA - Instituto Nacional de Matematica Pura e Aplicada, Rio de Janeiro, Brasil Email address: moritzreintjes@gmail.com

Journal

General Relativity and Quantum Cosmology – arXiv (Cornell University)

Published: Dec 27, 2013

There are no references for this article.