Abstract
The study of physical effects of quatum fields in black hole spacetimes, which is related to questions such as the validity of the strong cosmic censorship conjecture, requires a Hadamard state describing the physical situation. Here, we consider the theory of a free scalar field on a Kerr-de Sitter spacetime, focussing on spacetimes with sufficiently small angular momentum of the black hole and sufficiently small cosmological constant. We demonstrate that an extension of the Unruh state, which describes the expected late-time behaviour in spherically symmetric gravitational collapse, can be rigorously constructed for the free scalar field on such Kerr-de Sitter spacetimes. In addition, we show that this extension of the Unruh state is a Hadamard state in the black hole exterior and in the black hole interior up to the inner horizon. This provides a physically motivated Hadamard state for the study of free scalar fields in rotating black hole spacetimes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recently, there has been a renewed interest in the behaviour of quantum fields in black hole spacetimes of charged or rotating black holes [1,2,3,4,5,6,7,8,9,10,11]. The behaviour of the field near the inner horizon is particularly interesting, because it is connected to the strong cosmic censorship conjecture [12, 13], which holds in the linear regime classically for Kerr-de Sitter [14], but is violated in Reissner-Nordström-de Sitter [15,16,17].
An important open question in theoretical physics today is the merger of general relativity and quantum field theory into a theory of quantum gravity. While no such theory is known as of yet, one step towards it is restricting its possible low-energy behaviour by studying quantum field theory on curved spacetimes.
One feature of quantum field theory in curved spacetimes is that even for a free scalar field, there is no unique ground state on a generic curved spacetime (see [18] for the definition of a ground state in the algebraic framework). Thus, there is also no preferred Fock space build from (finite) excitations of such a state. More generally, it is no longer clear which of the unitarily inequivalent Hilbert space representations one should choose for the quantum theory [19].
When studying a physical effect of some quantum field in a curved spacetime, an important first step is the identification of a quantum state or a class of quantum states which adequately describes the given physical situation. This implies that the state should satisfy the Hadamard property. This property is a regularity requirement which is necessary to allow for the assignment of finite expectation values with finite fluctuations to non-linear observables [20, 21], for example the stress-energy tensor of the quantum field.
For scalar quantum fields on Schwarzschild spacetimes, there are two well-studied options: the Hartle-Hawking state [22,23,24,25] and the Unruh state [26, 27]. The Hartle-Hawking state is a global thermal equilibrium state at the Hawking temperature of the black hole, which corresponds to the black hole’s surface gravity divided by \(2\pi \).
In contrast, the Unruh state is not a thermal equilibrium state. It is a stationary state that can be thought of as describing a hot body, namely the black hole, immersed in vacuum. In particular, it contains no particles coming from past null infinity, while at future null infinity, one finds an energy flux consistent with black-body radiation at the Hawking temperature. Due to this, it is generally considered to be the appropriate state for the description of spherically symmetric gravitational collapse [27,28,29,30].
Physically, it is clear how to construct the Unruh state [26] and its analogues on other black hole spacetimes. However, the rigorous proof of their existence and Hadamard property are quite difficult.
So far, analogues of the Unruh state have been costructed, includig a proof of their Hadamard property, on Schwarzschild de-Sitter [31] and Reissner-Nordström-de Sitter [5] spacetimes, as well as for massless fermions on slowly rotating Kerr spacetimes [32]. But to our knowledge, an analogue of the Unruh state on Kerr or Kerr-de Sitter spacetimes for scalar fields has not been rigorously constructed as of yet.
One of the main difficulties in extending the previous results for the scalar field to spacetimes with rotating black holes is that, due to the appearance of the ergosphere, the exterior region of the Kerr(-de Sitter) spacetime is not static. The static nature of the black hole exterior region is necessary for the proof of the Hadamard property of the Unruh state in the form given in [27, 31] for the Schwarzschild (-de Sitter) spacetime. Hence, a direct adaptation of this proof is not possible.
In this paper, we will define the Unruh state on Kerr-de Sitter spacetimes with sufficiently slow rotation and sufficiently small cosmological constant and prove its Hadamard property. We will combine the techniques used in [5, 27, 31] with ideas developed in [32], which we generalize to the Kerr-de Sitter spacetime. These ideas enable us to prove the Hadamard condition in some subregion of the black hole exterior. A careful analysis of some arguments from [5] then allow us to extend the proof to the whole spacetime.
The rest of the paper is organised as follows. In Sect. 2 we introduce the geometric setup of the spacetime. Section 3 introduces the scalar field. The Unruh state is defined in Sect. 4 and its Hadamard property is shown in Sect. 5. We briefly summarize in Sect. 6. Throughout the paper we work in geometrical units \(\hbar =c=G=k_B=1\).
2 Geometric Setup
In this paper, we are considering an axisymmetric, rotating, non-charged black hole in the presence of a positive cosmological constant \(\Lambda \). The cosmological constant \(\Lambda \), as well as the black hole mass M and the angular momentum parameter a should be chosen in such a way that the function
\(\lambda =\Lambda /3\), has three distinct real, positive roots \(r_-<r_+<r_c\). In particular, we set \(M=1\). The admissible parameter range in the \((a,\lambda )\)-plane is depicted in Fig. 2. Here, we consider \(0<\lambda <1/27\) and \(0<a\) sufficiently small. In this case, the Boyer-Lindquist blocks \({\textrm{I}}=\mathbb {R}_t\times (r_+,r_c)\times (\mathbb {S}^2_{\theta ,\varphi })\), \({\textrm{II}}=\mathbb {R}_t\times (r_-,r_+)\times (\mathbb {S}^2_{\theta ,\varphi })\), and \({\textrm{III}}=\mathbb {R}_t\times (r_c,\infty )\times (\mathbb {S}^2_{\theta ,\varphi })\) are all non-empty. The regions \({\textrm{I}}\) and \({\textrm{III}}\) are the exterior of the black hole, with \({\textrm{III}}\) being the region beyond the cosmological horizon. The region \({\textrm{II}}\) is the interior of the black hole up to its inner horizon.
The metric on these blocks in Boyer-Lindquist coordinates \((t,r,\theta ,\varphi )\) is given byFootnote 1
where
We will chose \(\partial _t\) to be future-pointing in the part of \({\textrm{I}}\) where it is timelike.
In order to join multiple of these blocks, one can introduce so-called \(KdS^*\) and \({}^{*}KdS\) coordinates, which allow a continuation of the Boyer-Lindquist blocks through the ingoing or outgoing piece of the horizon \(\{r=r_i\}\), \(i\in \{-,+,c\}\) [33]. The spacetime we consider will then be the block \({\textrm{I}}\) joined in the \(KdS^*\) coordinates via \(\mathcal {H}^R\subset \{r=r_+\}\) to block \({\textrm{II}}\) and in the \({}^{*}KdS\) coordinates via \(\mathcal {H}_c^L \subset \{r=r_c\}\) to block \({\textrm{III}}\). We will refer to this spacetime as M.
The coordinates used for most of the computations in this paper are a combination of the \(KdS^*\) and \({}^{*}KdS\) coordinates, tailored to one of the horizons \(\{r=r_X\}\). Taking \(X \in \{+,c\}\), they are defined by
We will also call \(r_*(r)\), defined by \(\,\text {d}r_* = \chi (r^2+a^2)/\Delta _r \,\text {d}r\), the “tortoise coordinate”. The coordinates \(u_X\) and \(v_X\) range from \(-\infty \) to \(\infty \) in each of the Boyer-Lindquist blocks. In order to extend through the horizon at \(r_X\), we define
We can then construct Kruskal-type coordinates. On \({\textrm{I}}\), they are given by
As a result, \({\textrm{I}}\) corresponds to \(\{U_+\!<0,\!V_+\!>0\!\}\!\times \! \mathbb {S}^2_{\theta _+\!,\varphi _+\!}\) (or \(\{U_c>0\!,V_c<0\!\}\!\times \! \mathbb {S}^2_{\theta _c\!,\varphi _c}\!\)). Since the metric remains finite and non-degenerate as \(U_X,V_X\rightarrow 0\), one can extend the spacetime to the Kruskal block \(M_X=\mathbb {R}_{U_X}\times \mathbb {R}_{V_X}\times \mathbb {S}^2_{\theta _X,\varphi _X}\) [33]. We then have \(M\cap M_+=\{V_+>0\}\) and \(M\cap M_c=\{U_c>0\}\). The submanifolds \(\mathcal {H}=\{V_+=0\}\subset M_+\) and \(\mathcal {H}_c=\{U_c=0\}\subset M_c\) will be used later to construct the Unruh state. \(\mathcal {H}\) consists of the three pieces \(\mathcal {H}^L=\{V_+=0, U_+>0\}\), \(\mathcal {H}^-=\{V_+=0, U_+<0\}\) and the bifurcation sphere \(\mathcal {B_+}=\{U_+=V_+=0\}\), while \(\mathcal {H}_c\) consists of \(\mathcal {H}_c^R=\{U_c=0,V_c>0\}\), \(\mathcal {H}_c^-=\{U_c=0,V_c<0\}\) and \(\mathcal {B}_c=\{U_c=V_c=0\}\). Both \(\mathcal {H}\) and \(\mathcal {H}_c\) are part of the manifold \(\tilde{M}=M_+\cup M_c\), where the blocks \({\textrm{I}}\) in \(M_+\) and \(M_c\) are identified with each other. Correspondingly, M can be embedded into \(\tilde{M}\).
The Penrose diagram for M and \(\tilde{M}\) is shown in Fig. 1.
Before moving on to the scalar field, let us show some results that will become important later on. The first one is a result on covectors on \(\mathcal {H}\), parametrized in Kruskal coordinates. Note that a covector \(k\in T_x^* M\) will be called future directed, or future pointing, if \(\langle k,v\rangle >0\) for any timelike vector v in the future lightcone \(V_x^+\).
Lemma 2.1
Denote by \(\psi _+:M_+\rightarrow \mathbb {R}^2\times \mathbb {S}^2\) the coordinate map of the +-Kruskal coordinates. If \((U_+,\theta ,\varphi _+,\xi ,\sigma _\theta ,\sigma _\varphi )\in T^*(\mathbb {R}\times \mathbb {S}^2)\), then there is a unique \(\eta (\xi ,\sigma _\theta ,\sigma _\varphi )\in \mathbb {R}\) such that \(\psi _+^*(U_+,0,\theta ,\varphi _+,\xi ,\eta ,\sigma _\theta ,\sigma _\varphi )\) is null and does not lie in the conormal space of \(\mathcal {H}\), \(N^*(\mathcal {H})\), iff \(\xi \ne 0\). In this case \(\psi _+^*(U_+,0,\theta ,\varphi _+,\xi ,\eta ,\sigma _\theta ,\sigma _\varphi )\) is future pointing iff \(\xi >0\).
Proof
On \(\mathcal {H}\), the metric takes the form (see e.g. [33])
for some smooth functions \(g_{\mu \nu }\), of which \(g_{UV}<0\), \(g_{\theta \theta }>0\) and \(g_{\varphi \varphi }>0\).Footnote 2 Thus
If \(\xi =0\), then this can only be zero if also \(\sigma _\theta =0\) and \(\sigma _{\varphi }=0\). But then \((\xi , \eta ,\sigma _\theta ,\sigma _\varphi )=(0,\eta ,0)\in N^*(\mathcal {H})\). Hence we must have \(\xi \ne 0\). And in turn, if \(\xi \ne 0\), then \((\xi , \eta ,\sigma _\theta ,\sigma _\varphi )\) cannot be in \(N^*(\mathcal {H})\). Moreover, the null condition can be solved for \(\eta (\xi ,\sigma _\theta ,\sigma _\varphi )\), and since it is linear in \(\eta \), there will be a unique solution. The rest follows from the fact that \(\partial _{U_+}\) is a future-pointing null vector on \(\mathcal {H}\), and since \(\xi \ne 0\) we have \(\langle (\xi ,\eta ,\sigma _\theta ,\sigma _\varphi ),\partial _{U_+}\rangle =\xi \ne 0\). By introducing normal coordinates one can then show that \((\xi ,\eta ,\sigma _\theta ,\sigma _\varphi )\) is future pointing iff \(\xi >0\). \(\square \)
The same proof with \(U\leftrightarrow V\) and \(+\leftrightarrow c\) shows the corresponding statement for covectors on \(\mathcal {H}_c\).
Next, we show two results based on the behaviour of null geodesics in M. There are three constants of motion: The energy \(E=-g( \gamma ^\prime ,\partial _t)\), the angular momentum in the direction of the rotation axis \(L=g( \gamma ^\prime ,\partial _\varphi )\), and the Carter constant K [35]. Here, \(\gamma ^\prime \) is the tangent vector of the geodesic \(\gamma \).
With the help of these constants, the geodesic equation can be separated and written as [33, 36, 37]
for light-like geodesics, which entails \(K\ge 0\). One can convince oneself that
With this, we can show the following Lemma:
Lemma 2.2
There exists a \(\lambda _0>0\) and an \(a_0>0\), such that for all \(0<\lambda <\lambda _0\) and any \(0<a<a_0\), any inextendible null geodesic on M that does not approach \(\mathcal {H}\) or \(\mathcal {H}_c\) in the past must intersect the region in which the vector fields
are both timelike.
Proof
First, let us note that many of the results of [32, 38] on the null geodesics on Kerr can be extended to Kerr-de Sitter, see for example the results in [33, 36, 37]. The resulting description of the null geodesics on Kerr-de Sitter is relayed to App. 6. With these results, one finds that it is sufficient to consider null geodesics in region \({\textrm{I}}\). For such geodesics, there are two possibilities not to approach \(\mathcal {H}\) or \(\mathcal {H}_c\) in the past: One is that R(r) has two distinct zeros in \(r_+<r<r_c\), in between which it is positive. In this case \(r(\tau )\) will oscillate between the two zeros. This cannot happen due to the form of R. The other is that R(r) has a double root \(r_0\). In this case \(r(\tau )=r_0\) for all \(\tau \), or \(r_0\) is approached asymptotically.
Hence we look for double roots of R(r). Let us first assume \(E=0\). In this case,
and hence there exists no solution for the geodesic if \(\tfrac{L^2\chi ^2}{K}>1\), since \(a^2\lambda <1\) in the whole parameter range. The condition for the double root of R(r) can be written as \(\partial _r\Delta _r(r_0)=0\) and \(\Delta _r(r_0)=a^2\frac{L^2\chi ^2}{K}\). By the above, this needs to be smaller than or equal to \(a^2\). By choosing \(\lambda \) smaller than \(\sim 0.0332\), one can ensure that this condition is not met and that there are no double roots of R(r) with \(E=0\).
Hence we can restrict ourselves to the case \(E\ne 0\). Introducing the rescaled \(l=L/E\) and \(k=K/\chi ^2E^2\), one can then write
with
It is then easy to see that if \(q<0\), \(\gamma \) needs to be positive, since otherwise \(\Theta (\theta )\) is negative for any \(\theta \) and no solution for the geodesic exists. But in this case all coefficients in the polynomial R(r) are positive, so \(R(r)>0\) for all \(r>0\). Hence, there cannot be a double zero of R(r) in \(r>0\). This implies that q needs to be non-negative.
Next, one can take the conditions for the double zero of R(r) and solve them for l and k. One finds
where a prime denotes a derivative with respect to r. From this, one then finds
This form for q is very similar to the one found in [32] for the Kerr spacetime. Notice that the terms proportional to \(\lambda \) enter with a minus sign. Hence they reduce the range of r for which the expression in brackets is positive. One finds that the double roots of R(r) must either lie in \(r\in [0,r_1]\) for some \(r_1<r_+\), which is not of interest to us, or in \(r\in \left[ 3-\frac{2\sqrt{1-27\lambda }}{\sqrt{3}}a+\mathcal {O}(a^2),3+\frac{2\sqrt{1-27\lambda }}{\sqrt{3}}a+\mathcal {O}(a^2)\right] \), compare [32, Lemma C.1].
The vector fields \(\partial _{t_X}\) satisfy
where \(\rho _X=\rho (r_X,\theta )=r_X^2+a^2\cos ^2\theta \). The numerator is monotonously decreasing in \(\cos ^2\theta \), and the denominator is always positive. Hence we can estimate
where we took into account that \((r-3)\) is of order a for any possible value of \(r_0\).
Hence for \(\lambda \lesssim 0.332\), by a continuity argument as in [32], there must be some \(a_0>0\) such that \(\langle \partial _{t_X},\partial _{t_X}\rangle \vert _{r=r_0}<0\) for all possible values of \(r_0\) as long as \(0 \le a < a_0\).
We have also tested this numerically by checking that \(\chi ^2 \rho ^2 (r_X^2+a^2)^2\,g( \partial _{t_X},\partial _{t_X})<0\) for both X for all allowed values of \(r_0\) for fixed \(\lambda \), varying \(\lambda \) over its allowed range. We find that for all allowed values of \(\lambda \), \(a_0\sim 0.7\), with only a percent-level variation of that value. \(\square \)
Figure 2 depicts the parameter region allowed by the subextremality condition, as well as the approximate parameter regions in which the above Lemma and mode stability [39, 40] hold. The above Lemma is valid in a large portion of the parameter space. However, it cannot cover the case of rapidly rotating black holes with a small cosmological constant, which would be very interesting to study and for which mode stability results have been obtained recently [40]. Hence, a different strategy would be necessary to prove the Hadamard property of the Unruh state in this regime.
In addition to the Lemma above, the analysis of the null geodesics on Kerr-de Sitter also allows us to show
Proposition 2.3
M and \(\tilde{M}\) are globally hyperbolic.
Proof
Thouroughly checking the arguments made in [38] for the case of a Kerr spacetime, we find that the results of [38] and [32, App. C] on the behaviour of null geodesics in Kerr extend to Kerr- de Sitter with only minimal modifications; see also [33].
In addition, let us note that the function \(x(r)=r_*(r)-r\) is strictly monotonic on \((r_+,r_c)\) and ranges from \(-\infty \) at \(r_+\) to \(\infty \) at \(r_c\). As a result, for any \(T\gg 1\), there will be a unique solution \(r_T\) of \(x(r)=-T\) near \(r_+\) and a unique solution \(r_T^\prime \) of \(x(r)=T\) near \(r_c\). We may choose T large enough such that \(r_T<r_0<r_T^\prime \) for any double root \(r_0\) of R(r). We then set \(u_T\) to be
with
and some \(\chi \in C^\infty (\mathbb {R})\), \(\chi =1\) on \((-\infty , r_-+\epsilon ]\), and \(\chi =0\) on \(\left( 1/2 (r_++r_-),\infty \right) \), see [32, App. C.6.2]. Then one can explicitly check that \(\nabla u_T\) is timelike over the whole range of \(r_-<r<\infty \): on \(\{r_T<r<r_T^\prime \}\), one finds
where the inequality follows from the fact that \(\Delta _r>0\) in this region.
For \(\{r_-\le r\le r_T\}\), we use the metric in \(KdS*\)-coordinates [33], combined with the fact that \(v^\prime (r)\ge 1\) and \(v^\prime (r)=1\) when \(\Delta _r \ge 0\). Similarly, on \(\{r_T^\prime \le r\}\), we combine the inverse metric in \(*KdS\)-coordinates [33] with the fact that \(v(r)=r\). In both cases, we find
The term in the brackets is a polynomial in r with a single root \(r_0\) in \(r>0\). Moreover, the polynomial is negative for all \(r>r_0\). One can use \(\Delta _r(r_-)=0\) to reduce the terms in the bracket at \(r=r_-\) to \(\chi (\chi -2)a^2-2\chi r^2\), which is strictly negative in the whole range of spacetime parameters under consideration since \(1<\chi <2\). Therefore, \(\,\text {d}u_T\) is time-like on M, compare also [32, App. C.6.2]. Moreover, for any inextendible future-directed null geodesic \(\gamma \) one has \(\sup _\gamma u_T=\infty \) and \(\inf _\gamma u_T=-\infty \) by the extension of the results of [32, 38] to Kerr-de Sitter described in App. 6 and [33]. Since \(u_T\) thus satisfies the conditions of [32, Cor. C.7], this shows that the spacetime M is globally hyperbolic. We also notice that \(\Sigma _{n,t_0}\equiv \{u_n=t_0\}\) is a family of Cauchy surfaces of M converging to \(\mathcal {H}^L\cup \{t=t_0, r_+<r<r_c\}\cup \mathcal {H}_c^R\) as \(n\rightarrow \infty \).
In addition, we may adapt [32, Prop. C.12], by choosing
where \(\sim \) is the identification of \({\textrm{I}}\subset M_+\) with \({\textrm{I}}\subset M_c\) in \(\tilde{M}\). Then repeating the proof of [32, Prop. C.12] for this hypersurface, we see by direct inspection that it is achronal and, using the results collected in App. 6, that any inextendible future-directed null geodesic must enter \(I^+(\Sigma _M)\) and \(I^-(\Sigma _M)\) [32, 33, 38]. By [32, Thm. C.6], \(\tilde{M}\) is a globally hyperbolic manifold. \(\square \)
3 The Scalar Field
In this work, we consider the quantization of a real scalar field \(\Phi \) satisfying the Klein–Gordon equation
where \(m>0\) is a constant and \(\nabla _\mu \) is the covariant derivative on \(\tilde{M}\). Since \(\tilde{M}\) is globally hyperbolic, there are unique retarded and advanced fundamental solutions \(E^\pm :C_0^\infty (\tilde{M})\rightarrow C^\infty (\tilde{M})\) for the Klein-Gordon operator \(\mathcal {K}\) on \(\tilde{M}\). Here and in the following, \(C^\infty _{(0)}(N)\) denotes the space of smooth, complex (and compactly supported) functions on N. The commutator function \(E=E^+-E^-:C_0^\infty (\tilde{M})\rightarrow S(\tilde{M})\) maps compactly supported functions to the space of solution to the Klein-Gordon equation with compact support on spacelike hypersurfaces, which we denote \(S(\tilde{M})\). This space can be equipped with a symplectic form
where \(\Sigma \) is any piecewise smooth spacelike Cauchy surface, \(n^a_\Sigma \) its future pointing normal vector and \(\,\text {d}vol_\gamma \) the volume element associated to the induced metric \(\gamma \) on \(\Sigma \). Note that \(\sigma \) is independent of the choice of Cauchy surface by Gauß’s law [41]. It can be shown [41] that
and hence \(E:C_0^\infty (\tilde{M})/\mathcal {K}(C_0^\infty (\tilde{M}))\rightarrow S(\tilde{M})\) is a symplectomorphism. The same structure can be constructed for M by restricting
We can then define the algebra of observables in the following way, see for example [5, 42]:
Definition 3.1
The algebra of observables for the free scalar field, \(\mathcal {A}\), is the free *-algebra generated by the unit element \(\textbf{1}\) and the elements \(\Phi (f)\), \(f\in C_0^\infty (M)\), subject to the relations
-
Linearity \(\Phi (\alpha f+ g)=\alpha \Phi (f)+ \Phi (g)\quad \forall f,g\in C_0^\infty (M)\), \(\alpha \in \mathbb {C}\)
-
Klein-Gordon equation \(\Phi (\mathcal {K}f)=0 \quad \forall f\in C_0^\infty (M)\)
-
Hermiticiy \((\Phi (f))^*=\Phi (\bar{f})\quad \forall f\in C_0^\infty (M)\)
-
Commutator property \(\left[ \Phi (f),\Phi (g)\right] =iE(f,g)\textbf{1} \quad \forall f,g\in C_0^\infty (M)\)
Definition 3.2
A state on \(\mathcal {A}\) is a linear map \(\omega : \mathcal {A} \rightarrow \mathbb {C}\), such that \(\omega ( \textbf{1})=1\) and \(\omega (A^*A)\ge 0\) \( \forall A\in \mathcal {A}\).
Any state will be determined by its n-point functions
A particular class of states are the so-called quasi-free or Gaussian states. They have the property that \(W_n^\omega =0\) for n odd and \(W_n^\omega \) for n even can be expressed in terms of the two-point function \(W_2^\omega \) with the help of Wick’s formula. Hence, a quasi-free state is completely determined by its two-point function. Turning the argument around, for a bi-distribution \(w\in \mathcal {D}^\prime (M\times M)\) to be the two-point function of a quasi-free state on the algebra \(\mathcal {A}\), it must satisfy
-
Weak bi-solution \(w( \mathcal {K} (f) \otimes g) = w(f \otimes \mathcal {K} (g) )=0 \quad \forall f,g\in C_0^\infty (M)\)
-
Positivity \(w(\bar{f} \otimes f)\ge 0\quad \forall f \in C_0^\infty (M)\)
-
Commutator property \(w(f \otimes g)-w(g \otimes f)=i E(f,g) \quad \forall f,g\in C_0^\infty (M)\).
3.1 The Wavefront Set and the Hadamard Property
For a state to be considered physically reasonable, one usually also demands it to be of Hadamard type. Radzikowski [43] showed that in the case of a quasi-free state, the original formulation [44] of this condition is equivalent to a condition on the wavefront set of the two-point function, \(W_2^\omega (x,y)\). So let us first introduce the wavefront set.
We will denote by
the Fourier-Plancherel transform of \(f\in \mathcal {E}^\prime (\mathbb {R}^n)\).
Definition 3.3
Let \(u\in \mathcal {D}^\prime (\mathbb {R}^n)\) a distribution, i.e. \(u:C_0^\infty (\mathbb {R}^n)\rightarrow \mathbb {C}\) is a linear map which is continuous in the inductive limit topology on the test functions \(C_0^\infty (\mathbb {R}^n)\). Let \((x,k)\in \mathbb {R}^n\times (\mathbb {R}^n \backslash \{ 0 \} )\). Then (x, k) is a direction of rapid decrease for u if there exists a function \(\chi \in C_0^\infty (\mathbb {R}^n)\), \(\chi (x)\ne 0\) and an open conic neighbourhood of k, \(V_k\subset \mathbb {R}^n \backslash \{ 0 \}\), i.e. if \(k^\prime \in V_k\), then \(\lambda k^\prime \in V_k\) for all \(\lambda >0\), so that for any \(N\in \mathbb {N}\) there is a \(C_N>0\) with [45, Sec. 8.1]
i.e. the function \(\widehat{\chi u}\) is rapidly decreasing in \(\xi \in V_k\). The wavefront set of u is the set of all \((x,k)\in \mathbb {R}^n\times (\mathbb {R}^n \backslash \{ 0 \} )\) which are not of rapid decrease for u.
A different characterization of the wavefront set due to [46, Prop.2.1], which we will use later, is
Proposition 3.4
([46]) Let \((x,k)\in \mathbb {R}^n\times (\mathbb {R}^n\backslash \{0\})\), \(u\in \mathcal {D}^\prime (\mathbb {R}^n)\). Then \((x,k)\notin {{\,\textrm{WF}\,}}(u)\) iff there exist an open neighbourhood \(V\subset (\mathbb {R}^n\backslash \{0\})\) of k, some \(h\in C_0^\infty (\mathbb {R}^n)\) with \(h(0)=1\) and some \(g\in C_0^\infty (\mathbb {R}^n)\): \(\hat{g}(0)=1\) such that \(\forall p\ge 1\), \(\forall N\in \mathbb {N}\), \(\exists C_N>0\), \(\lambda _N>0\) such that
If \(u\in \mathcal {D}^\prime (N)\), where N is an arbitrary smooth manifold, we can define its wavefront set \({{\,\textrm{WF}\,}}(u)\subset T^*N\backslash o\), where o is the zero section, such that its restriction (in the base variable) to a coordinate patch \(N_\psi \subset N\) with the coordinate map \(\psi : N_\psi \rightarrow \mathcal {U}_\psi \subset \mathbb {R}^n\) is [45, Thm. 8.2.4]
For a distribution \(u\in \mathcal {D}^\prime (N\times N)\), we will also define the primed wavefront set
Let us now come back to the Hadamard property.
Definition 3.5
A quasi-free state \(\omega \) on \(\mathcal {A}\) has the Hadamard property if it satisfies the microlocal spectrum condition [43]
Here \((x_1,k_1)\sim (x_2,k_2)\) means that \(x_1\) and \(x_2\) can be connected by a null geodesic, to which \(k_1\) is cotangent at \(x_1\) and \(k_2\) is the same as \(k_1\) parallel transported to \(x_2\) along the geodesic. Recall that a covector \(\xi \in T^*_xM\) is future-directed, if \(\langle \xi ,v\rangle >0\) for all timelike \(v\in V^+_x\).
4 The Unruh State on Slowly-Rotating Kerr-de Sitter
In this section, we will specify the two-point function of the Unruh state on the Kerr-de Sitter spacetime M and show that it indeed satisfies the conditions for being the two-point function of a state on \(\mathcal {A}\). The two-point function of the state will be a combination of the Kay-Wald two-point function [44] on the past event horizon \(\mathcal {H}\) and the past cosmological horizon \(\mathcal {H}_c\).
We will use the notation \(\mathcal {H}_+=\mathcal {H}\), \(L_+=U_+\), \(l_+=u_+\), \(L_c=V_c\), \(l_c=v_c\) and \(\Omega _X=(\theta ,\varphi _X)\). We will denote by \(\,\text {d}^2 \Omega _X\) the volume element of \(\mathbb {S}^2_{\theta ,\varphi _X}\), and we will identify \(\mathcal {H}_X=\mathbb {R}_{L_X}\times \mathbb {S}^2_{\theta ,\varphi _X}\) and \(\mathcal {H}_X^-=\mathbb {R}_{l_X}\times \mathbb {S}^2_{\theta ,\varphi _X}\) unless specified otherwise.
Definition 4.1
For \(\phi ,\psi \in C^\infty _0(\mathcal {H}_X)\), we define
with \(\chi \) as in (3). The two-point function of the Unruh state is then defined as
for any two test functions \(f,h\in C_0^\infty (M)\).
4.1 Well-Definedness of the Unruh Two-Point Function
While E(f) is compactly supported when restricted to any spacelike Cauchy surface of M for any \(f\in C_0^\infty (M)\), it is not compactly supported on the light-like hypersurfaces \(\mathcal {H}\) and \(\mathcal {H}_c\). Hence the convergence of the integrals in (21) is not automatic. Thus, before we can show that (21) is the two-point function of a state on \(\mathcal {A}\), we need to demonstrate that it is indeed well-defined in the sense that the integrals converge.
For the proof we will make use of the estimates in [34]. However, their results only hold for \(\vert a\vert \ll 1\) or \(\lambda \ll 1/27\) and \(\vert a\vert <1\), so that from now on we restrict ourselves to this parameter region.Footnote 3
Proposition 4.2
If \(0<a\ll 1\) or \(\lambda \ll 1/27\) and \(0<a<1\), then w(f, h) as defined in (21) is a well-defined bi-distribution \(w\in \mathcal {D}^\prime (M\times M)\).
Proof
In [34], as also analysed in [5, Thm. 4.4], the authors prove, after an application of the \(t\rightarrow -t\), \(\varphi \rightarrow -\varphi \) symmetry and Sobolev embedding, the estimate
for points sufficiently close to \(i^-\). \(\varphi _*\) corresponds to the \(\varphi \)-coordinate in the \(KdS^*\) (\({}^{*}KdS\)) coordinates near \(r_+\) \((r_c)\) [34]. The coordinate \(t_*\) corresponds to t on \((r_++\delta ,r_c-\delta )\) for some small \(\delta >0\) and approaches \(u_+\) near \(\mathcal {H}^-\) and \(v_c\) near \(\mathcal {H}_c^-\) up to finite terms. This allows the estimates
for points sufficiently close to \(i^-\) for some \(0<\delta ^\prime <\delta \). The constants depend on the concrete implementation of \(t_*\). \(\alpha \) is the spectral gap of the Klein-Gordon operator on this spacetime.
As described in [5], the constants C can be estimated by \(C^\prime \left\| f \right\| _{C^{m(N)}}\) using the Fredholm property of the Klein-Gordon operator derived in [34]. Assuming that \({{\,\textrm{supp}\,}}(f)\subset K\) for some compact region \(K\subset M\), and that \(V_i\), \(i=1,\dots 4\) are linearly independent smooth vector fields on K,
where \(\beta \in \mathbb {N}^4\), \(\vert \beta \vert =\beta _1+\beta _2+\beta _3+\beta _4\), and \(V^\beta =\prod _iV_i^{\beta _i}\). The constant \(C^\prime \) will depend on K.
Noting that \(\partial _{t_*}\rightarrow \partial _{u_+}\) for \(r\rightarrow r_+\) and \(\partial _{t_*}\rightarrow \partial _{v_c}\) for \(r\rightarrow r_c\) together with the relation between \(L_X\) and \(l_X\) then yield for \(n=0,1\) and \(N\in \mathbb {N}\)
for any \(f\in C_0^\infty (M)\), sufficiently close to \(i^-\), where \(m\in \mathbb {N}\) depends on N or n respectively.
In addition, by the support properties of E, there are constants \(U_f\) and \(V_f\) such that \({{\,\textrm{supp}\,}}(E(f)\vert _{\mathcal {H}})\subset \{U_+\le U_f\}\) and \({{\,\textrm{supp}\,}}(E(f)\vert _{\mathcal {H}_c})\subset \{V_c\le V_f\}\), and \(U_f\), \(V_f\) only depend on the support of f.
Now, let us consider the first part of (21), \(w_+(f,h)\). Utilizing the estimate (25b), we can integrate by parts twice to get
Let us keep \(\epsilon \) fixed for the moment, and let \(U_0>0\) be a constant such that the estimate (25b) holds for \(U_+\le -U_0\) for both f and h. We define \(I=[-U_0,\infty )\) and \(I^\textrm{c}=\mathbb {R}\backslash I\) and split the integral into integrals \(A_j\), \(j\in \{1,2,3,4\}\), over the regions \(D_j\),Footnote 4
The integration regions are indicated in Fig. 3.
On \(D_1\), the integrand is supported on the compact subset \([-U_0,U_f]\times [-U_0,U_h]\times \mathbb {S}^2\). We thus find
for some \(C_1>0\). Note that \(\log (\cdot -i\epsilon )\in L^1_{loc}(\mathbb {R})\), and that it converges for \(\epsilon \rightarrow 0\) in \(L^1_{loc}(\mathbb {R})\) to some \(l\in L^1_{loc}(\mathbb {R})\). In addition, the suprema can be estimated by some \(C^k\)-norm of f and h due to the continuity of the causal propagator.
To estimate \(\vert A_2\vert \), we further split \(D_2\) into \(D_2^a=I\times [-U_0-\delta , -U_0)\times \mathbb {S}^2\) and \(D_2^b=I\times (-\infty , -U_0-\delta )\times \mathbb {S}^2\), where \(\delta >0\) is some constant. Then the term \(A_2^a\) can be estimated similar to \(A_1\) by
For \(A_2^b\), we utilize that for any \(c>0\), \(\beta >0\), there is a constant \(C_{c,\beta }>0\) such that \(\vert \log (y-i\epsilon )\vert \le C_{c,\beta }\vert y\vert ^\beta \) for all \(\vert y\vert >c\). Together with the estimate (25b) and the coordinate change \(U_+^\prime \rightarrow -U_+^\prime \), we find
We can now choose \(\beta =\alpha /2\kappa _+\) and estimate \(\vert U_++U_+^\prime \vert \le \vert U_+^\prime \vert \left( 1+\tfrac{\vert U_f\vert }{U_0}\right) \) to get
The term \(A_3\) can be estimated in the same way as \(A_2\).
Finally, we have for \(A_4\) by a sign flip in both variables
By [47, Lemma 6.3], this integral is finite and converges for \(\epsilon \rightarrow 0\) to some finite number.
As a result, we find in the limit \(\epsilon \rightarrow 0\)
where \(K\subset M\) is a compact subset such that \({{\,\textrm{supp}\,}}(f)\subset K\) and \({{\,\textrm{supp}\,}}(h)\subset K\) and m is chosen as the maximum of the different values for m appearing in the estimates above.
By interchanging \(U\leftrightarrow V\) and \(+\leftrightarrow c\), the same estimates can be obtained for \(w_c(f,h)\). Hence for any \(f,h\in C_0^\infty (K)\), where \(K\subset M\) is some compact set, there is a \(m\in \mathbb {N}\), such that
Thus w(f, h) is a well-defined bi-distribution and by the Schwartz kernel theorem, its kernel w(x, y) is in \(\mathcal {D}^\prime (M\times M)\). \(\square \)
As a result of the estimates (25b) and (25c) and their coordinate transform, we get that for any \(f\in C_0^\infty (M)\),
and for any \(f\in C_0^\infty ({\textrm{I}})\)
Next, we can prove the necessary properties for w(f, h) to define a two-point function of a state on the algebra \(\mathcal {A}\). First of all, we notice that \(E(\mathcal {K}(f))\!=\!0\), hence w(f, h) is a weak bi-solution to the Klein–Gordon equation (11).
To prove positivity, let us note that the results of [27, sec. 3] can be translated to the present case by a careful adaptation of the appearing constants, see also [44]. In particular, the Hilbert space isomorphisms provided by [27, Prop. 3.2 a)] and [27, Prop. 3.3 a)] still hold if the constant \(r_S^2\) in front of the integrals in \(A_X\) (or \(\lambda _{KW}\) in the notation of [27]) is replaced by \((r_X^2+a^2)/\chi \), and if, in [27, Prop. 3.3 a)], \((2r_S)^{-1}\) is replaced by \(\kappa _X\) to accommodate for the different connection between \(l_X\) and \(L_X\):
Proposition 4.3
-
1.
Equipping \(C_0^\infty (\mathcal {H}_X)\) with the hermitian sesquilinear form \(A_X(\bar{\cdot },\cdot )\), the map
$$\begin{aligned}&F:C_0^\infty (\mathcal {H}_X)\rightarrow L^2(\mathbb {R}_+\times \mathbb {S}^2; \nu _X(\eta ) \,\text {d}\eta \,\text {d}^2\Omega _X) \end{aligned}$$(30a)$$\begin{aligned}&\phi \mapsto F(\phi )=\left. (2\pi )^{-\tfrac{1}{2}}\int e^{i\eta L_X}\phi (L_X,\theta ,\varphi _X)\,\text {d}L_X\right| _{\{\eta \ge 0\}} \, , \end{aligned}$$(30b)with \(\nu _X(\eta )=2\eta (r_X^2+a^2)\chi ^{-1}\), is an isometry and by continuity and linearity extends to a Hilbert space isomorphism mapping \(\overline{(C_0^\infty (\mathcal {H}_X),A_X(\bar{\cdot },\cdot ))}\), the Hilbert completion of \((C_0^\infty (\mathcal {H}_X),A_X(\bar{\cdot },\cdot ))\), onto \(L^2(\mathbb {R}_+\times \mathbb {S}^2; \nu _X(\eta )\,\text {d}\eta \,\text {d}^2\Omega _X)\) [27, Prop. 3.2 a)].
-
2.
The map
$$\begin{aligned} \tilde{F}:C_0^\infty (\mathcal {H}_X^-)&\rightarrow L^2(\mathbb {R}\times \mathbb {S}^2; \mu _X(\omega )\,\text {d}\omega \,\text {d}^2\Omega _X) \end{aligned}$$(31a)$$\begin{aligned} \phi&\mapsto \tilde{F}(\phi )=(2\pi )^{-\tfrac{1}{2}}\int e^{i\omega l_X}\phi (l_X,\theta ,\varphi _X)\,\text {d}l_X \, , \end{aligned}$$(31b)$$\begin{aligned} \mu _X(\omega )&=\frac{r_X^2+a^2}{\chi }\frac{\omega e^{\pi \omega /\kappa _X}}{\sinh \left( \pi \omega /\kappa _X\right) }\, , \end{aligned}$$(31c)is an isometry when \(C_0^\infty (\mathcal {H}_X^-)\) is equipped with the hermitian sesquilinear form \(A_X(\bar{\cdot },\cdot )\). \(\tilde{F}\) uniquely extends to a Hilbert space isomorphism from \(\overline{C_0^\infty (\mathcal {H}_X^-)}\), as a Hilbert subspace of \(\overline{(C_0^\infty (\mathcal {H}_X), A_X(\bar{\cdot },\cdot ))}\), to \( L^2(\mathbb {R}\times \mathbb {S}^2; \mu _X(\omega )\,\text {d}\omega \,\text {d}^2\Omega _X)\) [27, Prop. 3.3 a)].
-
3.
Any \(\phi \in S(\mathcal {H}_X^-)\) can be identified with an element in \(\overline{(C_0^\infty (\mathcal {H}_X),A_X(\bar{\cdot },\cdot ))}\) as described in [27, Prop. 3.3 b)]. Moreover, this identification is such that \(\tilde{F}\) agrees with the Fourier-Plancherel transform in \(l_X\).
Let us provide a brief sketch for the proof of the third point in Proposition 4.3 as given in [27, App. C]. The starting point for the proof is that for all \(\phi \in S(\mathcal {H}_X^-)\), \(\phi \) and \(\partial _{l_X}\phi \) lie in \(L^2(\mathbb {R}\times \mathbb {S}^2, \,\text {d}l_X\,\text {d}\Omega _X)\). Therefore, \(\phi \) lies in the Sobolev space \(H^1(\mathbb {R}\times \mathbb {S}^2)_{l_X}\) of functions which are square integrable and have a square integrable \(l_X\)-derivative. It remains to show that iff \((\phi _n)_{n\in \mathbb {N}},\, (\phi ^\prime _n)_{n\in \mathbb {N}}\subset C_0^\infty (\mathcal {H}_X^-)\) are two sequences converging to \(\phi \in S(\mathcal {H}^-_X)\) in \(H^1(\mathcal {H}_X^-)\), then in \(\overline{(C_0^\infty (\mathcal {H}_X), A_X(\bar{\cdot },\cdot ))}\) they are of Cauchy type and their difference converges to zero. The claim follows from the density of \(C_0^\infty (\mathbb {R}\times \mathbb {S}^2)\) in \(H^1(\mathbb {R}\times \mathbb {S}^2)_{l_X}\), an application of the Fourier-Plancherel transform and the isometry property of \(\tilde{F}\).
We may now define the maps
where \(\xi \in C^\infty (\mathbb {R}_{L_X})\) is a real cutoff function such that \(\xi (x)=1\) for \(x>x_0\) and \(\xi (x)=0\) for \(x<x_1\) for some \(x_1<x_0<0\). This is well-defined since \(\xi E(f)\vert _{\mathcal {H}_X}\) is compactly supported for any such \(\xi \) and any \(f\in C_0^\infty (M)\), while the second term can be understood by using the third part of the above proposition, see [27]. They satisfy
Proposition 4.4
The maps \(K_X\) are independent of \(\xi \), linear, and we can write
Proof
Let \(\xi \) and \(\xi ^\prime \) be two functions satisfying the above conditions, and \(f\in C_0^\infty (M)\). Then
Hence, the map is independent of the choice of \(\xi \). The linearity follows from the fact that E, F, and multiplication by a bounded smooth function are all linear maps. Moreover, we have by the isometry property of F, for \(f,h\in C_0^\infty (M)\),
where we used \(L^2\) as a short-hand notation for \(L^2(\mathbb {R}_+\times \mathbb {S}^2;\nu _X(\eta )\,\text {d}\eta \,\text {d}^2\Omega _X)\). In the last step, we used that \(\xi \) is real and that \(\overline{E(f)}=E(\bar{f})\). Combining the results for the two horizons gives the desired identity. \(\square \)
As an immediate consequence of this result, the two-point function satisfies positivity. It remains to show the commutator property.
4.2 The Commutator Property
In this section, we show
Proposition 4.5
For \(0<a\ll 1\) or \(\lambda \ll 1/27\) and \(0<a<1\), w(f, h) satisfies the commutator property, i.e.
Proof
The proof follows closely that of [27, Thm. 2.1]: first, we notice that by using \(\Im (x-i0^+)^{-2}=-\pi \delta ^{(1)}(x)\) and partial integration, one finds [5]
Second, by (13), \(E(f,h)=\sigma (E(f),E(h))\) and \(\sigma \) is independent of the Cauchy surface \(\Sigma \) it is computed on. So let us take as a Cauchy surface [27] \(\mathcal {H}^L\cup \mathcal {B}_+\cup \Sigma _{t_0}\cup \mathcal {B}_c\cup \mathcal {H}_c^R\), where \(\Sigma _{t_0}=\{t=t_0, r_+<r<r_c\}\). Defining
one can then write
We then focus on the integral over \(\Sigma _{t_0}\), and aim to take the limit \(t_0\rightarrow -\infty \).
As a first step, we will split the integral further into integrals over
where \(\delta ^\prime \) is the same constant that appears in the estimate (25a).
Focussing first on \(\Sigma _0\), we use Boyer-Lindquist coordinates to compute the normal vector
and the determinant \(\vert \gamma \vert =\vert g_{rr}g_{\theta \theta }g_{\varphi \varphi }\vert \). Here we denote by \(g_{\mu \nu }\) the elements of the metric in the Boyer-Lindquist coordinates, and by \(g^{\mu \nu }\) the element of the inverse metric, which can be found in [37]. Written out explicitly, the integral then reads
The integration region is compact, and the factors appearing in front of \(J_a[f,h]\) can be bounded by constants of order \((\delta ^\prime )^{-1}\). Together with the estimate (25a), this means
and the contribution of this term vanishes as \(t_0\rightarrow -\infty \).
Next, let us analyse the integral over \(\Sigma _+\). The integral over \(\Sigma _c\) then works analogously. To do so, we change to Kruskal-type coordinates and note that
Starting from a fixed \(t_0\), we choose a \(U_1< 0\) such that \(U_+(t,r_++\delta ^\prime )\le U_1\forall t\le t_0\). We then note that for any \(t_0\), \(\Sigma _+\cap \{U_1\le U_+\}\) is one smooth piece of the boundary of a compact region in \(\tilde{M}\), with the two other pieces given as \(\mathcal {H}^-\cap \{U_1\le U_+\}\) and
Since E(f) and E(h) satisfy (11) on \(\tilde{M}\), \(J_a[f,h]\) is a conserved current and we find by an application of Stoke’s theorem
The surface \(S_{t_0}\), given in Kruskal coordinates, corresponds to the interval \([0,e^{2\kappa _+t_0}U_1]\) times \(\mathbb {S}^2\). Since \(J_a[f,h]n^a\) is a smooth function on \(S_{t_0}\), the second term vanishes as \(t_0\rightarrow -\infty \) and one finds
compare also the proof of [27, Thm. 2.1].
The integral over \(\Sigma _+\backslash \{U_1 \le U_+ \}\) will now be performed in the variables \((u_+,v_+,\theta ,\varphi _+)\). In these coordinates,
where \(u_1=-\kappa _+^{-1}\ln \vert U_1\vert \). With this, one can derive by a direct computation the explicit formula
Here,
is a function of r and \(\theta \) that vanishes as \(r\rightarrow r_+\). Due to the estimate (25b), the currents \(J_{u_+}[f,h]\), \(J_{v_+}[f,h]\) and \(J_{\varphi _+}[f,h]\) can be bounded by \(C e^{2\alpha u_+}\). Note that by the construction of \(\Sigma _+\), \(r(u_+)\) ranges at most from \(r_+\) to \(r_++\delta ^\prime \), independent of \(t_0\). Thus, the additional factors in the integral can be estimates by
while the cutoff function can be estimated by 1. Combining these estimates, the integrand on the right hand side can be bounded by \(C(f,h,\delta ^\prime )e^{2\alpha u_+}\), which is independent of \(t_0\) and integrable on \((-\infty ,u_1)\times \mathbb {S}^2\). By the dominated convergence theorem, we may thus take the limit \(t_0\rightarrow -\infty \) under the integral sign. This corresponds to taking \(r_*=t_0-u_+\rightarrow -\infty \) and hence r to \(r_+\). One finds
Changing back to Kruskal-type coordinates one notes that
which thus vanishes in the limit \(t_0\rightarrow -\infty \). The final result is
Collecting the pieces, we thus find
This finishes the proof. \(\square \)
Summarizing, we have shown in this section that w(f, h) indeed defines the two-point function for some state on \(\mathcal {A}\).
5 The Hadamard Property
Finally, we would like to demonstrate that the quasi-free state defined by the two-point function w(f, h) is a Hadamard state. The strategy of the proof will be as follows: To show that the condition on the wavefront set of w is satisfied, we start by demonstrating that instead of considering all points in \(T^*(M\times M)\), it is sufficient to focus on the primed wavefront set restricted to the diagonal
and in addition it suffices to consider k null. Moreover, instead of considering points \((x,k)\in T^*M\), one can work with bicharacteristic strips
After this, we proceed similar to [27] and show the Hadamard property in a subregion \(\mathcal {O}\) of M first. As in [27], in this subregion, the Hadamard property follows from a slight modification of the proof of [48, Thm. 5.1]. However, in contrast to [27], one cannot take this subregion to be the whole region \({\textrm{I}}\). Nonetheless, by Lemma 2.2, \(\mathcal {O}\) will still be sufficiently large to cover all cases B(x, k), where the null geodesic corresponding to the projection of B(x, k) to the manifold, which we will call bicharacteristic and denote \(B_M(x,k)\), does not end at one of the horizons \(\mathcal {H}\) or \(\mathcal {H}_c\).
It then remains to consider cases B(x, k) where the corresponding null geodesic ends at one of the horizons. To handle these cases, we will use a number of cutoff-functions to split the two-point function into a piece whose wavefront set may contain \((x,k;x,-k)\) and a remainder. We will compute the wavefront set of the first piece explicitly, and then show that \((x,k;x,-k)\) is a direction of rapid decrease for the remainder.
This part of the proof is similar in idea to the proof in [47, 49], though some aspects of it are more complicated. For example, the splitting of the two-point function depends on both x and k. This idea was also applied in [5], but was not made very explicit in that paper.
Before we start the proof, let us define the forward and backward null cones
Then, as a first step, we note that by the Propagation of Singularities theorem [50, Lemma 6.5.5], if \((x_1,k_1;x_2,k_2)\in T^*(M\times M)\backslash o\) is in \({{\,\textrm{WF}\,}}^\prime (w)\), then \(k_1\) and \(k_2\) are null covectors (or zero) and \(B(x_1,k_1)\times B(x_2,k_2)\subset {{\,\textrm{WF}\,}}^\prime (w)\). Hence, instead of considering points \((x,k;y,l)\in T^*(M\times M)\), we can consider any pair of bicharacteristic strips \(B(x,k)\times B(y,l)\), freely choosing any representative.
Additionally, as a consequence of [50, Thm.6.5.3] and as noted in the proof thereof, denoting the integral kernel of E also by E,
Next, let us demonstrate the following Lemma, which is related to [51, Prop. 6.1]:
Lemma 5.1
If the two-point function w satisfies
where \(\Delta _{T^*(M\times M)}\) is the diagonal in \(T^*(M\times M)\), then the corresponding quasi-free state on \(\mathcal {A}\) has the Hadamard property.
Proof
Assume (47) holds. Then, if \((x,k;x,k)\in {{\,\textrm{WF}\,}}^\prime (w)\), \((x,-k;x,-k)\) cannot be in \({{\,\textrm{WF}\,}}^\prime (w)\).
Let us first assume \(B_M(x_0,k_x)\ne B_M(y_0,k_y)\) for \(k_x\), \(k_y\) both non-zero, or one of them, say \(k_x\), is zero but \(B_M(y_0,k_y)\) does not intersect \(\{x_0\}\). Then we can find some spacelike Cauchy surface \(\Sigma \) of M, which is intersected by the corresponding bicharacteristics in two distinct points \(x_1\) and \(y_1\). Let the functions \(f,h\in C_0^\infty (M;\mathbb {R})\) be supported in spacelike separated neighbourhoods of \(x_1\) and \(y_1\). By Proposition 4.4, we can write
After fixing some coordinates on a neighbourhood of \(x_1\) and \(y_1\), we write \({f_{k}(x)=(2\pi )^{-2}e^{i k\cdot x} f(x)}\), where \(k\cdot x\) should be understood as the usual product in \(\mathbb {R}^4\). We can then use the Cauchy-Schwarz inequality to deduce that [5]
Since the supports of f and h are spacelike separated, we have by the commutator property at spacelike separation
If \({{\,\textrm{WF}\,}}^\prime (w)\cap \Delta _{T^*(M\times M)}\subset \mathcal {N}^+\times \mathcal {N}^+\), then one can choose f and h so that at least one of the two estimates for \(\vert w(f_k, h_l)\vert ^2\) is rapidly decreasing in (k, l) in a small conic neighbourhood of \((k_x,k_y)\) parallel transported to \((x_1,y_1)\), and hence such points are not in the wavefront set of w.
In the case where \(k_x=0\), but \(B_M(y_0,k_y)\) contains \(x_0\), the above argument does not hold, since no points of the bicharacteristics of \((x_0,0)\) and \((y_0,k_y)\) are spacelike separated. However, we may use that \({{\,\textrm{WF}\,}}(E)\), which by the commutator property is the same as \(WF(w-\tilde{w})\), \(\tilde{w} (f,h)=w(h,f)\), does not contain points of the form (x, 0; y, k). Hence, if such a point is in \({{\,\textrm{WF}\,}}(w)\), it must also be in \({{\,\textrm{WF}\,}}(\tilde{w})\), so that the two singular contributions can cancel out. This entails that (y, k; x, 0) must be in \({{\,\textrm{WF}\,}}(w)\) if (x, 0; y, k) is [27]. Let \(f,h\in C_0^\infty (M;\mathbb {R})\) supported in small neighbourhoods of \(x_0\). Then if
is not rapidly decreasing in \(\vert k\vert \), then
must not be rapidly decreasing in \(\vert k\vert \) either. Again, if \({{\,\textrm{WF}\,}}^\prime (w)\cap \Delta _{T^*(M\times M)}\subset \mathcal {N}^+\times \mathcal {N}^+\), one can find f, h so that at least one of the two estimates decreases rapidly, excluding any points of the form (x, 0; y, k) from \({{\,\textrm{WF}\,}}(w)\).
It remains to consider bicharacteristics with identical projections to the manifold. They can be represented by points in \(T^*(M\times M)\) of the form \((x_0,k_x;x_0,b k_x)\) with \(b\ne 0\), \(b\in \mathbb {R}\). Then, as above, taking some \(f,h\in C_0^\infty (M;\mathbb {R})\) supported in small neighbourhoods of \(x_0\), we get
By our assumption, this is rapidly decreasing for some choice of f and h in a small conic neighbourhood of \((k_x,b k_x)\) unless \((x_0,k_x)\in \mathcal {N}^+\) and \((x_0,b k_x)\in \mathcal {N}^-\), or in other words \((x_0,k_x)\in \mathcal {N}^+\) and \(b<0\). Combining this with the other cases above, we have shown that our assumption entails \({{\,\textrm{WF}\,}}^\prime (w)\subset \mathcal {N}^+\times \mathcal {N}^+\). This also means that \({{\,\textrm{WF}\,}}^\prime (\tilde{w})\subset \mathcal {N}^-\times \mathcal {N}^-\), so the two wavefront sets do not overlap. Then, similar to the case above, we can use that \(E=w-\tilde{w}\) and thus
where the third equal sign is due to the fact that the wavefront sets of w and \(\tilde{w}\) do not overlap, see also the proof of [51, Prop. 6.1]. \({{\,\textrm{WF}\,}}^\prime (w)\) only intersects \(\mathcal {C}^+\), while \({{\,\textrm{WF}\,}}^\prime (\tilde{w})\) only intersects \(\mathcal {C}^-\). So the above equation can only be satisfied if
Hence we see that it is actually sufficient to show that \({{\,\textrm{WF}\,}}^\prime (w)\cap \Delta _{T^*(M\times M)}\) is contained in \( \mathcal {N}^+\times \mathcal {N}^+\) [32]. \(\square \)
After this consideration, we now want to prove the Hadamard condition in a subregion \(\mathcal {O}\) of M. We choose \(\mathcal {O}\subset {\textrm{I}}\) to be the open region in \({\textrm{I}}\) where the Killing vector fields \(\partial _{t_X}\) are timelike for both \(X=+\) and \(X=c\). As was demonstrated in Lemma 2.2, any inextendible null geodesic not ending at either \(\mathcal {H}\) or \(\mathcal {H}_c\) in the past must pass through \(\mathcal {O}\) as long as a, \(\lambda \) are sufficiently small. Applying also the Propagation of Singularity theorem, we can even consider all points in the set
Thus, our goal is to show
Proposition 5.2
Let w(f, h) as defined in (21). Then
Proof
In the following, we will show that
for any \(x_0\in \mathcal {O}\). By Lemma 5.1, and the Propagation of Singularities theorem, this result will then imply (49).
The proof, similar to the one of [27, Prop. 4.3], follows largely part 1) and 2) of the proof of [48, Thm. 5.1], which is based on the characterization of the wavefront set by [46, Prop. 2.1]. Parts 3)-6) of the proof of [48, Thm. 5.1] are already covered by Lemma 5.1.
The first step in our adaptation of the proof is to show that the pieces \(w_X\) of our two-point function are “KMS like” [27] at inverse temperature \(2\pi \kappa _X^{-1}\) with respect to the isometries induced by \(\partial _{t_X}\), which is weaker than the passivity condition used in [48], but still sufficient:
Lemma 5.3
Denote by \(\phi ^X_b\) the flow generated by the Killing field \(\partial _{t_X}\) acting on \(f\in C_0^\infty ({\textrm{I}})\) by \(\phi _b^Xf(u_X,v_X,\theta ,\varphi _X)=f(u_X-b,v_X-b,\theta ,\varphi _X)\). Then
Moreover, \(w_X\) is “KMS like” [27] at inverse temperature \(2\pi \kappa _X^{-1}\), i.e. for any \(h\in C_0^\infty (\mathbb {R};\mathbb {R})\) and any pair \(f_{1/2}\in C_0^\infty ({\textrm{I}};\mathbb {R})\) of real test functions
Proof
Since \(\partial _{t_X}\) are Killing fields, the commutator function E satisfies \(E(\phi _b^X f)(u_X,v_X,\theta ,\varphi _X)=E(f)(u_X-b,v_X-b,\theta ,\varphi _X)\). The first claim thus follows immediately from the definition of \(K_X^{\textrm{I}}\). Next, let \(h \in C^\infty _0(\mathbb {R};\mathbb {R})\) and \(f_{1/2}\in C_0^\infty ({\textrm{I}};\mathbb {R})\). Then
By the definition of \(K_X^{\textrm{I}}\), if f is a real function, then \(\overline{K_X^{\textrm{I}}(f)}(\omega , \theta ,\varphi _X)=K_X^{\textrm{I}}(f)(-\omega ,\theta ,\varphi _X)\). Combining this with the fact that \(\mu _X(\omega )=e^{2\pi \omega /\kappa _X}\mu _X(-\omega )\), we can write the above as
The last step works since \(\hat{h}(t)\), the Fourier transform of a compactly supported function, is entire analytic and vanishes for \(\Re t\rightarrow \pm \infty \) as long as \(\Im t\) remains finite. In addition, for any \(f_{1/2}\in C_0^\infty ({\textrm{I}};\mathbb {R})\), the function
has an analytic continuation to \(\Im t\in [0,2\pi /\kappa _X)\). This can be seen by an explicit calculation using the form of \(\mu (\omega )\), as well as the estimate (25b) or (25c). \(\square \)
This Lemma can be applied to show the parts of [48, Prop. 2.1] which are relevant for the present case, by following the proof of [48, Prop. 2.1] step by step:Footnote 5
Lemma 5.4
For any \((g_1^\lambda )_{\lambda >0}\), \((g_2^\lambda )_{\lambda >0}\subset C_0^\infty (\mathcal {O};\mathbb {R})\) such that \(w_X(g_i^\lambda ,g_i^\lambda )\le c\left( 1+\lambda ^{-1}\right) ^{s}\) for some \(c>0\) and \(s>0\), there exist \(h\in C_0^\infty (\mathbb {R}^2):\hat{h}(0)=1\) and for any \((k_0,k_0^\prime )\in \mathbb {R}^2\backslash \{0\}\), such that \(k_0^\prime >0\), there is an open neighbourhood \(V_\epsilon \) in \(\mathbb {R}^2\backslash \{0\}\) of \((k_0,k_0^\prime )\) such that \(k_2>\epsilon >0\, \forall (k_1,k_2)\in V_\epsilon \) and such that \(\forall N\in \mathbb {N}\) \(\exists C_N>0\), \(\lambda _N>0\):
As mentioned in the proof of [48, Prop. 2.1], by an application of [46, Lemma 2.2 b)], this continues to hold when \(\hat{h}\) is replaced by \(\phi \cdot \hat{h}\) for some \(\phi \in C_0^\infty (\mathbb {R}^2)\) after potentially shrinking \(V_\epsilon \). It also continues to hold if the functions \(g_i^\lambda \) depend on additional parameters, see [48, Rem. 2.2].
Following the proof of [48, Thm. 5.1], let us now consider any fixed point \(x_0\in \mathcal {O}\). In a neighbourhood \(\mathcal {U}_{x_0}\) of \(x_0\), we then define a coordinate chart
where \(t_{X,0}\) and \(\textbf{x}\) are chosen such that \(\psi (x_0)=0\), for example by taking \(\textbf{x}(x)\) to be the Cartesian coordinates corresponding to \((r(x), \theta (x), \varphi _X(x))\), and then shifting the origin of the coordinates to \(\textbf{x}(x_0)\).
The coordinate chart should be built in such a way that there is some constant \(c>0\) so that for \(\vert t\vert <c\), the diffeomorphism \(\rho ^X_t\) induced by Killing vector field \(\partial _{t_X}\) can be written as
on a sufficiently small neighbourhood \(K\subset \mathcal {U}_{x_0}\) of \(x_0\). In addition, spatial translations \(\rho _{\textbf{y}}\), for \(\textbf{y}\) in a sufficiently small neighbourhood B of 0 in \(\mathbb {R}^{3}\), are defined on K by
The corresponding pullbacks acting on functions on K are then written as \(\phi ^X_t\), which was already used earlier, and \(R_{\textbf{y}}\).
By our assumption, \(\partial _{t_X}\) is timelike and future-pointing on \(\mathcal {O}\). As a consequence, a null-covector \((x,k)\in T^*_{\mathcal {O}}M\) is future-pointing iff \(k^0=\langle k,\partial _{t_X} \rangle >0\).
After the construction of the coordinate chart, let us consider \((x_0,k_x)\!\in \!\! \mathcal {N}^-\), with \(x_0\) in \(\mathcal {O}\). We will use the description of the wavefront set given in Proposition 3.4, see also [48, Lemma 3.1], to show that \((x_0,k_x; x_0,-k_x)\) is not in \({{\,\textrm{WF}\,}}(w)\).
To this end, let us define \(H\in C_0^\infty (\psi (\mathcal {U}_{x_0})\times \psi (\mathcal {U}_{x_0}))\) as \(H(t_X,\textbf{x},t_X^\prime ,\textbf{x}^\prime )=\phi (t_X,t_X^\prime )\hat{h}(t_X,t_X^\prime )\zeta (\textbf{x},\textbf{x}^\prime )\), where we take the \(h\in C_0^\infty (\mathbb {R}^2)\) as in Lemma 5.4, and \(\phi \in C_0^\infty ((-c,c);\mathbb {R})\), \(\zeta \in C_0^\infty (B\times B; \mathbb {R})\) such that \(H(0)=1\).
We identify \(T^*_{x_0}M\) with \(\mathbb {R}^4\) in our coordinate chart \(\psi \). Then, we take \(V\subset (\mathbb {R}^4\times \mathbb {R}^4)\backslash \{0\}\) to be an open neighbourhood of \((k_x,-k_x)\) such that for all \((k,k^\prime )\in V\), \((k^0,k^{\prime 0})=(\langle k,\partial _{t_X}\rangle ,\langle k^\prime ,\partial _{t_X}\rangle )\in V_\epsilon \), with \(V_\epsilon \) as in Lemma 5.4 for some \(\epsilon >0\).
In addition, let us note that functions of the form as in Proposition 3.4 satisfy the condition of Lemma 5.4: let \(g_i\in C_0^\infty (\psi (\mathcal {U}_{x_0});\mathbb {R})\) with support in a sufficiently small neighbourhood \(\psi (K)\) of 0. Let us also assume \(\widehat{g_1\!\otimes \! g_2}(0,0)\!\!=\!1\). Then, taking any \(p\ge 1\) and \(\lambda \le 1\), we set \(g_i^{\lambda }(x)=g_i(\lambda ^{-p}(\psi (x)))\) for \(x\in \mathcal {U}_{x_0}\) and \(g_i^{\lambda }(x)=0\) outside of \(\mathcal {U}_{x_0}\). For \(\lambda >1\), set \(g_i^\lambda (x)=g_i^1(x)\). Then \({{\,\textrm{supp}\,}}(g_i^\lambda )\subset K\), so that time translations by \(t\in (-c,c)\) and spatial translations by \(\textbf{y}\in B\) as defined above are well-defined for all \(\lambda \). Moreover, we can use that by (27),
and since the functions \(g_i^\lambda \) are supported away from the horizons, this norm can be taken using partial derivatives in the \(\psi \)-coordinate system as the linear independent vector fields. Taking into account that \(\partial _x f(\lambda ^{-p}x)=\lambda ^{-p}\partial _yf(y)\vert _{y=\lambda ^{-p}x}\), we get for \(\lambda <1\)
Hence, the \(g_i^\lambda \) of the form as in Proposition 3.4 satisfy the condition of Lemma 5.4 for \(c=C^{\prime \prime }\left\| g_i \right\| _{C^m}^2\) and \(s=2mp\).
Then the claim (50) follows from Lemma 5.4 and the form of the wavefront set as in Proposition 3.4 by using the estimate
This completes the proof of Proposition 5.2.\(\square \)
We have thus established the Hadamard property in a subregion of M, which must be intersected by all null geodesics which do not end at either \(\mathcal {H}\) or \(\mathcal {H}_c\). Applying Lemma 5.1, the remaining case we need to consider is
Proposition 5.5
Let \((x_0,k_0)\in T^*M\backslash o\) such that \(B_M(x_0,k_0)\cap \mathcal {O}=\emptyset \). Assume that \(\lambda \), a are chosen such that Lemma 2.2 and the results of [34] are valid. If \((x_0,k_0;x_0,k_0)\) is in \({{\,\textrm{WF}\,}}^\prime (w)\), then \((x_0,k_0)\in \mathcal {N}^+\).
Proof
We will work in the +-Kruskal coordinates, and assume that \(B_M(x_0,k_0)\) intersects \(\mathcal {H}\). The case where it intersects \(\mathcal {H}_c\) works analogously. We will denote by \(\psi _+:M_+\rightarrow \mathbb {R}^2\times \mathbb {S}^2\) the coordinate diffeomorphism of the Kruskal coordinates, and we will write \((U,\Omega , \xi ,\sigma )\) for points in \(T^*(\mathbb {R}\times \mathbb {S}^2)\), where \(V_+=0\), i.e. \(\Omega =(\theta ,\varphi _+)\) and \(\sigma \in T^*_{\Omega }(\mathbb {S}^2)\). We will also identify \(T_x^*M\) with \(\mathbb {R}^4\) in these coordinates, so that covectors at different points can be compared.
Let \(K\subset M\) be a compact neighbourhood of \(x_0\), and V a small conic neighbourhood of \(k_0\) identified with an element of \(\mathbb {R}^4\) under \(\psi _+\). We may choose them such that there is a compact set \(\mathcal {U}\subset \mathcal {H}\) such that all \(B_M(x,k)\) with \(x\in K\), and \(k\in V\) intersect \(\mathcal {H}\) in the interior of \(\mathcal {U}\).
We can then find a function \(h\in C_0^\infty (\mathbb {R}\times \mathbb {S}^2)\) such that \(h=1\) on \(\mathcal {U}\). Let us also define a function \(\zeta \in C_0^\infty (\tilde{M})\) such that \(\zeta \vert _{\mathcal {H}}=1\) on \({{\,\textrm{supp}\,}}(h)\). Then, following the ideas in [47, 49], we may consider the splitting:
Here, we have denoted the restriction to \(\mathcal {H}\) by \(tr_{\mathcal {H}}\).
As mentioned above, we will start by analysing the first piece on the right hand side of (57), and show that its contribution to the wavefront set satisfies (47).
To do so, we notice that \(\zeta \cdot E \), \(tr_{\mathcal {H}}\) and \(h \cdot A_+\cdot h\) are properly supported, i.e they satisfy [45, Eq. (8.2.13)]. Thus, we may apply [45, Thm. 8.2.14] to determine the wavefront set from the wavefront sets of \(A_+\), \(tr_{\mathcal {H}}\) and E. We find by direct computation (see also [5, 47])
and by an application of [45, Thm. 8.2.4]
Taking into account Lemma 2.1, which is an analogue of [49, Lemma 5.1],Footnote 6 we find by [45, Thm. 8.2.14]
This shows the result for the first piece.
Finally, we want to show that for the remaining terms on the right hand side of (57), \((x_0,k_0;x_0,-k_0)\) is a direction of rapid decrease. Together with the analysis above, this will complete the proof of Proposition 5.5.
Recall the notation \(f_k(x)=(2\pi )^{-2}f(x) e^{i k x}\), and that, after some choice of coordinate system,
Then we can show that
Lemma 5.6
Let \((x_0,k_0)\in \mathcal {N}\), with \(B_M(x_0,k_0)\) intersecting \(\mathcal {H}\). Identify \(k_0\) with an element of \(\mathbb {R}^4\) under \(\psi _+\). Let K be a sufficiently small compact neighbourhood of \(x_0\) covered by the +-Kruskal coordinate chart, and let \(V\subset \mathbb {R}^4\backslash \{0\}\) be a sufficiently small conic neighbourhood of \(k_0\), such that \(B_M(x,k)\) intersects \(\mathcal {H}\) in some compact set \(\mathcal {U}\) for all \(x\in K\) and all \(k\in V\). Let \(h\in C_0^\infty (\mathcal {H})\) be such that \(h=1\) on \(\mathcal {U}\). Then, there is a function \(f\in C_0^\infty (M)\), with \(f(x_0)=1\), an open conic neighbourhood \(V_{k_0}\subset \mathbb {R}^4\backslash \{0\}\) of \(k_0\), and \(\forall \) \(N\in \mathbb {N}\), there are \(C_N\), \(\tilde{C}_N>0\) such that
Proof
Let us define the set
Let \(\Sigma _{k_0}\) be a Cauchy surface of \(\tilde{M}\) such that \(\Sigma _{k_0}\) coincides with \(\mathcal {H}\) in \(\mathcal {H}\cap \{U_1<U_+<U_2\}\). \(U_1<0\), \(U_2>U_f\) (see proof of Proposition 4.2 for the definition) are chosen such that \({{\,\textrm{supp}\,}}(h)\subset \Sigma _{k_0}\cap \mathcal {H}\).
Let \(\Sigma _{\pm }\) be two other Cauchy surfaces such that \(\Sigma _{k_0}\subset I^+(\Sigma _-)\cap I^-(\Sigma _+)\) and \(K\subset J^+(\Sigma _+)\backslash \Sigma _+\).
Let \(\tilde{h}\), \( h^\prime \in C_0^\infty (\tilde{M})\) be real positive functions such that \(\tilde{h}\vert _{\mathcal {H}}=h\), \({{\,\textrm{supp}\,}}(\tilde{h})\cap \mathcal {H}_c=\emptyset \), \(\tilde{h}+ h^\prime =1\) in a neighbourhood of \(J^-(K)\cap J^+(\Sigma _-)\cap J^-(\Sigma _+)\) and that there is an open neighbourhood \(\mathcal {V}\subset \tilde{M}\) of \( B_M(K,V)\) which does not intersect \({{\,\textrm{supp}\,}}( h^\prime )\).
Let \(\eta \in C^\infty (\tilde{M})\) be defined by \(\eta =1\) in a neighbourhood of \(B_M(K,V)\), such that \({{\,\textrm{supp}\,}}(\eta ) \subset \mathcal {V}\).
Finally, let \(\chi \in C^\infty (\tilde{M})\) be a cutoff-function which is equal to one in \(J^+(\Sigma _+)\) and vanishes in \(J^-(\Sigma _-)\).
An illustration is shown in Fig. 4.
Then, we note that for any function \(g\in C_0^\infty (M)\) with support in K, \(\tilde{g}\equiv \mathcal {K}(\chi E(g))\in C_0^\infty (\tilde{M})\) has support contained in \(J^-(K)\cap J^+(\Sigma _-)\cap J^-(\Sigma _+)\) and \(E(\tilde{g})=E(g)\). In addition, we have \(\tilde{g}=\tilde{h} \tilde{g}+ h^\prime \tilde{g}\) by construction.
Applying the linearity of E, as well as the properties of the fundamental solutions, we thus find for any such function
Since \(\tilde{h}\vert _{\mathcal {H}}=h\) and \({{\,\textrm{supp}\,}}(\tilde{h})\cap \mathcal {H}_c=\emptyset \), \((1-h)E(g)\vert _{\mathcal {H}}\) and \(E(g)\vert _{\mathcal {H}_c}\) are determined by the last three terms in the last line above restricted to \(\mathcal {H}\) or \(\mathcal {H}_c\) respectively.
By a careful consideration of the supports of the different functions, we find that the second and third term above satisfy
This allows us to further split them as
\(\eta [\mathcal {K},\tilde{h}]\chi E(g)\) is then supported in \(J^+(\Sigma _+)\cap J^+(\mathcal {H}\cup \mathcal {H}_c)\), while \(\eta [\mathcal {K},\tilde{h}](1-\chi )E(g)\) is supported in \(J^-(\Sigma _-)\cap J^-(\mathcal {H}\cup \mathcal {H}_c)\). Hence the corresponding pieces will not give any contribution on \(\mathcal {H}\cup \mathcal {H}_c\).
After setting up this construction, the next step is to find the compactly supported function f. We will do so by considering the remaining terms that we have identified above.
Let us start with the last term, \(E(h^\prime \tilde{g})\). We note that
Applying the property (46) of the commutator function, the support properties of \(h^\prime \), and the fact that differentiation and multiplication by smooth functions do not increase the wavefront set, we find that
\(\forall (y,l)\in T^*M\), using the identification of \((x_0,k_0)\) with an element of \(\mathbb {R}^4\times \mathbb {R}^4\) under \(\psi _+\). Let us also fix some coordinate system for y and l which covers \({{\,\textrm{supp}\,}}(h^\prime )\). Then, by Lemma 6.1, there is a function \(f_1\!\in \! C_0\!^\infty \!(M)\) with \(f_1\!(x_0)\!=\!1\) and \({{\,\textrm{supp}\,}}( f_1)\subset K\) and an open conic neighbourhood \(\tilde{V}_{ k_0}\subset \mathbb {R}^4\backslash \{0\}\) of \(k_0\), and for any \(N,N^\prime \in \mathbb {N}\) there is a constant \(\tilde{C}_{NN^\prime }>0\) such that
We now turn to the remaining pieces of the second and third term in the last line of (64). The support of \((1-\eta )[\mathcal {K},\tilde{h}]\chi \) is compact and disjoined from \( B_M(K,V)\). Thus, this term can be handled in the same way as \( h^\prime \tilde{g}\) by using Lemma 6.1. We find some open conic neighbourhood \(V^\prime _{k_0}\) of \( k_0\) in the +-Kruskal coordinates and some function \(f_2 \in C_0^\infty (M)\) supported in K with \(f_2(x_0)=1\) such that an estimate of the form () with some \(C^\prime _{NN^\prime }\!>\!0\) holds for \(((1-\eta )[\mathcal {K},\tilde{h}]\chi \otimes f_2) \cdot E\) for all covectors \((l,k)\in \mathbb {R}^4\times {V}^\prime _{k_0}\) for any \(N,\, N^\prime \in \mathbb {N}\).
The term \(E^-((1-\eta )[\mathcal {K},\tilde{h}](1-\chi )E(g))\) can be treated by an application of Lemma 6.1 in the same way to get \(f_3\in C_0^\infty (M)\), \(V^{\prime \prime }_{k_0}\subset \mathbb {R}^4\backslash \{0\}\) and constants \(C^{\prime \prime }_{NN^\prime }\) such that an estimate of the form () holds for \(((1-\eta )\![\!\mathcal {K},\!\tilde{h}](1-\chi )\! \otimes \! f_3) \cdot E\) for all \(N,\, N^\prime \in \mathbb {N}\) and for all \((l,k)\in \mathbb {R}^4\times {V}^{\prime \prime }_{k_0}\).
By an application of [45, Lemma 8.1.1], the above estimates continue to hold if we replace \(f_1\), \(f_2\) and \(f_3\) by
All three estimates hold for \(k\in V_{k_0}\), where we define \(V_{k_0}\) to be the intersection of \(\tilde{V}_{k_0}\), \(V^{\prime }_{k_0}\) and \(V^{\prime \prime }_{k_0}\).
In the following, we return to the estimate () with \(f_1\) replaced by f. By taking \(N^\prime \) large enough and applying the Fourier inversion formula and (61), one can conclude from () that for any \(N\in \mathbb {N}\), there is a positive constant \(C_N\) so that
and therefore with the estimates (25b) and (25c) from [34]
for any \(N\in \mathbb {N}\) for some positive constants C,\(C_N\).
Similar estimates can be obtained for the other two terms in the same way. One finds
and
for some C, \(C_N\) for any N.
Adding up the different pieces then finishes the proof of the Lemma. \(\square \)
Let us return to (57), and consider for example the second term. Let us multiply the term by \(f\otimes f\), where f is the function from the above Lemma. Working in +-Kruskal coordinates, the Fourier transform of this product, evaluated at \((k^\prime ,k)\), can be written as
From the above lemma, we know that \(\vert (1-h)\cdot E(f_{k^\prime })\vert _{\mathcal {H}}\vert \) is rapidly decreasing for \(k^\prime \) in a neighbourhood of \(k_0\). It only remains to note, using the estimates (25b) and (25c), that \(\vert h E(f_k)\vert _{\mathcal {H}}\vert \vert \lesssim \vert U_+\vert ^{-\alpha /\kappa _+} C (1-\vert k\vert ^M)\) for some fixed M, i.e. they grow at most polynomially in k. The polynomial growth is suppressed by the rapid decay of the other part in the conic neighbourhood
of \((k_0,-k_0)\) [27]. Combining this with the estimates from the proof of Proposition 4.2, we find that \((x_0,k_0;x_0,-k_0)\) is indeed a direction of rapid decrease for this term. The argument for the other terms works along the same lines. This shows \((x_0,k_0;x_0,-k_0)\) is a direction of rapid decrease for the remaining pieces of \(w_+\) in (57) and for \(w_c\).
Together with the analysis of the first piece in (57), this shows that \((x_0,k_0)\) is in \(\mathcal {N}^+\) if \((x_0,k_0;x_0,k_0)\) is in \({{\,\textrm{WF}\,}}^\prime (w)\). \(\square \)
Thus, also taking into account our previous results from Proposition 5.2 and Lemma 5.1, the state determined by w has the Hadamard property.
6 Summary
In this paper, we have constructed the Unruh state for a free real scalar field on a Kerr-de Sitter spacetime.
For technical reasons, we had to restrict ourselves to either slow rotation, i.e. small a, and moderate cosmological constant \(\Lambda \), or to small \(\Lambda \) and at most moderate a to show the well-definedness of our two-point function in Proposition 4.2. The condition of having either a or \(\Lambda \) small could be dropped once mode stability results become available for the whole parameter range of sub-extremal Kerr-de Sitter black holes. Those results are believed to hold, but are difficult to show rigorously. The condition that both a and \(\Lambda \) should be at most moderately large however is directly connected to our proof of the Hadamard property of the Unruh state. In particular, it is necessary for the validity of Lemma 2.2, which guarantees that all null geodesics not ending at one of the horizons in the past must cross a region in which the vector fields \(\partial _{t_+}\) and \(\partial _{t_c}\) are both time-like. Lifting this restriction would thus require a new strategy for the proof.
We have defined the two-point function for our state using the Kay-Wald two-point function [44] on the horizons \(\mathcal {H}\) and \(\mathcal {H}_c\). Making use of the decay results from [34], it was shown that the two-point function is well-defined, and can indeed be considered as the two-point function of a quasi-free Hadamard state on the CCR- algebra of the free scalar field on the Kerr-de Sitter spacetime.
This is not a contradiction to the no-go theorem of Kay and Wald [44], since we expect that the Hadamard property of the state will break down at \(\mathcal {H}\) and \(\mathcal {H}_c\), see also [32, Rem. 8.4].
We have also seen in Lemma 5.3 that when restricted to real testfunctions with support in the exterior region \({\textrm{I}}\), the Unruh state is “KMS-like” [27]. Roughly speaking, this means that asymptotically near \(\mathcal {H}\), the state is thermal with inverse temperature \(2\pi \kappa _+^{-1}\) with respect to the isometries generated by \(\partial _{t_+}\), while asymptotically near \(\mathcal {H}_c\), it is thermal with inverse temperature \(2\pi \kappa _c^{-1}\) with respect to the isometries generated by \(\partial _{t_c}\). Or, stated differently, in the asymptotic past, “in”-movers and “out”-movers are thermally populated at different temperatures. This behaviour is exactly what one would expect from the generalization of the Schwarzschild Unruh vacuum to Kerr-de Sitter.
Moreover, the form of the two-point function derived in Proposition 4.4 indicates that the quantum field in this state is expanded in positive-frequency modes with respect to the coordinate \(U_+\) outgoing from the past event horizon and modes with positive frequency with respect to \(V_c\) incoming from the past cosmological horizon. Therefore, the Unruh state constructed in this paper agrees with the one used for the numerical investigation of the evaporation of rotating black holes in [52].
Considering also the physical motivation for the Unruh state on Schwarzschild, the Unruh state on Kerr-de Sitter is a physically well-motivated state. Its rigorous construction presented here is thus an important step for the study of quantum effects on rotating black hole spacetimes.
Notes
This coordinate system does not cover the axis where \(\sin \theta =0\). However, it can be shown that this metric can be extended to the axis [33].
The reason is that the necessary mode stability results, in particular the presence of a spectral gap \(\alpha >0\) for quasi-normal mode solutions of the massive wave equation, have only been proven by perturbation of the results on Schwarzschild-de Sitter (\(a=0\)) [39] or Kerr (\(\lambda =0\))[40]. One would expect that mode stability holds in the whole subextremal regime, but this remains to be shown, see also [34, Rem.3.6].
If \(U_f\le -U_0\) or \(U_h\le -U_0\), the the corresponding parts of the integral just drop out.
This result, together with [45, Thm. 8.2.4] also allows one to make sense of the map \(tr_{\mathcal {H}}\circ E:C_0^\infty (M)\rightarrow C^\infty (\mathbb {R}\times \mathbb {S}^2)\) without the cutoff function \(\zeta \).
The same singularity structure holds for the \(\tau \)-derivative of the azimuthal coordinates of the \(KdS*\)- and \(*KdS\)-coordinate systems.
References
Ottewill, A.C., Winstanley, E.: The Renormalized stress tensor in Kerr space-time: general results. Phys. Rev. D 62, 084018 (2000). https://doi.org/10.1103/PhysRevD.62.084018
Levi, A., Eilon, E., Ori, A., Meent, M.: Renormalized stress-energy tensor of an evaporating spinning black hole. Phys. Rev. Lett. 118(14), 141102 (2017). https://doi.org/10.1103/PhysRevLett.118.141102
Lanir, A., Levi, A., Ori, A., Sela, O.: Two-point function of a quantum scalar field in the interior region of a Reissner-Nordstrom black hole. Phys. Rev. D 97(2), 024033 (2018). https://doi.org/10.1103/PhysRevD.97.024033
Sela, O.: Quantum effects near the Cauchy horizon of a Reissner-Nordström black hole. Phys. Rev. D 98(2), 024025 (2018). https://doi.org/10.1103/PhysRevD.98.024025
Hollands, S., Wald, R.M., Zahn, J.: Quantum instability of the Cauchy horizon in Reissner-Nordström-deSitter spacetime. Class. Quant. Grav. 37(11), 115009 (2020). https://doi.org/10.1088/1361-6382/ab8052
Hollands, S., Klein, C., Zahn, J.: Quantum stress tensor at the Cauchy horizon of the Reissner-Nordström-de Sitter spacetime. Phys. Rev. D 102(8), 085004 (2020). https://doi.org/10.1103/PhysRevD.102.085004
Zilberman, N., Levi, A., Ori, A.: Quantum fluxes at the inner horizon of a spherical charged black hole. Phys. Rev. Lett. 124(17), 171302 (2020). https://doi.org/10.1103/PhysRevLett.124.171302
Klein, C., Zahn, J., Hollands, S.: Quantum (dis)charge of black hole interiors. Phys. Rev. Lett. 127(23), 231301 (2021). https://doi.org/10.1103/PhysRevLett.127.231301
Zilberman, N., Ori, A.: Quantum fluxes at the inner horizon of a near-extremal spherical charged black hole. Phys. Rev. D 104(2), 024066 (2021). https://doi.org/10.1103/PhysRevD.104.024066
Zilberman, N., Casals, M., Ori, A., Ottewill, A.C.: Two-point function of a quantum scalar field in the interior region of a Kerr black hole (2022) arXiv:2203.07780 [gr-qc]
Zilberman, N., Casals, M., Ori, A., Ottewill, A.C.: Quantum fluxes at the inner horizon of a spinning black hole (2022) arXiv:2203.08502 [gr-qc]
Penrose, R.: Gravitational collapse. Gravitational Radiation and Gravitational Collapse, Springer, Heidelberg (1974)
Christodoulou, D.: The Formation of Black Holes in General Relativity. European Mathematical Society Publishing House, Zürich (2009)
Dias, O.J.C., Eperon, F.C., Reall, H.S., Santos, J.E.: Strong cosmic censorship in de Sitter space. Phys. Rev. D 97(10), 104060 (2018). https://doi.org/10.1103/PhysRevD.97.104060
Cardoso, V., Costa, J.A.L., Destounis, K., Hintz, P., Jansen, A.: Quasinormal modes and Strong Cosmic Censorship. Phys. Rev. Lett. 120(3), 031103 (2018). https://doi.org/10.1103/PhysRevLett.120.031103
Cardoso, V., Costa, J.L., Destounis, K., Hintz, P., Jansen, A.: Strong cosmic censorship in charged black-hole spacetimes: still subtle. Phys. Rev. D 98(10), 104007 (2018). https://doi.org/10.1103/PhysRevD.98.104007
Dias, O.J.C., Reall, H.S., Santos, J.E.: Strong cosmic censorship for charged de Sitter black holes with a charged scalar field. Class. Quant. Grav. 36(4), 045005 (2019). https://doi.org/10.1088/1361-6382/aafcf2
Fewster, C.J., Rejzner, K.: Algebraic Quantum Field Theory–an introduction (2019) arXiv:1904.04051 [hep-th]
Wald, R.M.: Quantum Field Theory in Curved Space-Time and Black Hole Thermodynamics. Chicago Lectures in Physics, University of Chicago Press, Chicago (1995)
Hollands, S., Wald, R.M.: Local Wick polynomials and time ordered products of quantum fields in curved space-time. Commun. Math. Phys. 223, 289–326 (2001). https://doi.org/10.1007/s002200100540
Hollands, S., Wald, R.M.: Existence of local covariant time ordered products of quantum fields in curved space-time. Commun. Math. Phys. 231, 309–345 (2002). https://doi.org/10.1007/s00220-002-0719-y
Hartle, J.B., Hawking, S.W.: Path integral derivation of black hole radiance. Phys. Rev. D 13, 2188–2203 (1976). https://doi.org/10.1103/PhysRevD.13.2188
Israel, W.: Thermo field dynamics of black holes. Phys. Lett. A 57, 107–110 (1976). https://doi.org/10.1016/0375-9601(76)90178-X
Sanders, K.: On the construction of Hartle-Hawking-Israel states across a static bifurcate Killing horizon. Lett. Math. Phys. 105(4), 575–640 (2015). https://doi.org/10.1007/s11005-015-0745-2
Gérard, C.: The Hartle–Hawking–Israel state on spacetimes with stationary bifurcate Killing horizons. Rev. Math. Phys. 33(08), 2150028 (2021). https://doi.org/10.1142/S0129055X21500288
Unruh, W.G.: Notes on black hole evaporation. Phys. Rev. D 14, 870 (1976). https://doi.org/10.1103/PhysRevD.14.870
Dappiaggi, C., Moretti, V., Pinamonti, N.: Rigorous construction and Hadamard property of the Unruh state in Schwarzschild spacetime. Adv. Theor. Math. Phys. 15(2), 355–447 (2011). https://doi.org/10.4310/ATMP.2011.v15.n2.a4
Candelas, P.: Vacuum polarization in Schwarzschild space-time. Phys. Rev. D 21, 2185–2202 (1980). https://doi.org/10.1103/PhysRevD.21.2185
Balbinot, R.: Hawking radiation and the back reaction—a first approach. Class. Quant. Grav. 1(5), 573–577 (1984). https://doi.org/10.1088/0264-9381/1/5/010
Balbinot, R., Fabbri, A., Frolov, V.P., Nicolini, P., Sutton, P., Zelnikov, A.: Vacuum polarization in the Schwarzschild space-time and dimensional reduction. Phys. Rev. D 63, 084029 (2001). https://doi.org/10.1103/PhysRevD.63.084029
Brum, M., Jorás, S.E.: Hadamard state in Schwarzschild-de Sitter spacetime. Class. Quant. Grav. 32(1), 015013 (2015). https://doi.org/10.1088/0264-9381/32/1/015013
Gérard, C., Häfner, D., Wrochna, M.: The Unruh state for massless fermions on Kerr spacetime and its Hadamard property (2020) arXiv:2008.10995 [math-ph]
Borthwick, J.: Maximal Kerr-de Sitter spacetimes. Class. Quant. Grav. 35(21), 215006 (2018). https://doi.org/10.1088/1361-6382/aae3dc
Hintz, P., Vasy, A.: Analysis of linear waves near the Cauchy horizon of cosmological black holes. J. Math. Phys. 58(8), 081509 (2017). https://doi.org/10.1063/1.4996575
Carter, B.: Global structure of the Kerr family of gravitational fields. Phys. Rev. 174, 1559–1571 (1968). https://doi.org/10.1103/PhysRev.174.1559
Hackmann, E., Lämmerzahl, C., Kagramanova, V., Kunz, J.: Analytical solution of the geodesic equation in kerr-(anti-) de sitter space-times. Phys. Rev. D 81, 044020 (2010). https://doi.org/10.1103/PhysRevD.81.044020
Salazar, J.F., Zannias, T.: Behavior of causal geodesics on a Kerr-de Sitter spacetime. Phys. Rev. D 96(2), 024061 (2017). https://doi.org/10.1103/PhysRevD.96.024061
O’Neill, B.: The Geometry of Kerr Black Holes. Ak Peters Series. Taylor & Francis, (1995). https://books.google.de/books?id=W4nvAAAAMAAJ
Dyatlov, S.: Quasi-normal modes and exponential energy decay for the Kerr-de Sitter black hole. Commun. Math. Phys. 306, 119–163 (2011). https://doi.org/10.1007/s00220-011-1286-x
Hintz, P.: Mode stability and shallow quasinormal modes of Kerr-de Sitter black holes away from extremality (2021) arXiv:2112.14431 [gr-qc]
Dimock, J.: Algebras of local observables on a manifold. Comm. Math. Phys. 77(3), 219–228 (1980)
Fewster, C.J., Verch, R.: Algebraic quantum field theory in curved spacetimes. In: Advances in Algebraic Quantum Field Theory. pp. 125–189. Springer International Publishing, Cham (2015) https://doi.org/10.1007/978-3-319-21353-8_4
Radzikowski, M.J.: Micro-local approach to the Hadamard condition in quantum field theory on curved space-time. Commun. Math. Phys. 179, 529–553 (1996). https://doi.org/10.1007/BF02100096
Kay, B.S., Wald, R.M.: Theorems on the uniqueness and thermal properties of stationary, nonsingular, quasifree states on space-times with a bifurcate killing horizon. Phys. Rept. 207, 49–136 (1991). https://doi.org/10.1016/0370-1573(91)90015-E
Hörmander, L.: The Analysis of Linear Partial Differential Operators I. Springer, Berlin Heidelberg (1990). https://doi.org/10.1007/978-3-642-61497-2
Verch, R.: Wavefront sets in algebraic quantum field theory. Commun. Math. Phys. 205, 337–367 (1999). https://doi.org/10.1007/s002200050680
Hollands, S.: Aspects of quantum field theory in curved spacetime. PhD thesis, University of York (2000)
Sahlmann, H., Verch, R.: Passivity and microlocal spectrum condition. Commun. Math. Phys. 214, 705–731 (2000). https://doi.org/10.1007/s002200000297
Gérard, C., Wrochna, M.: Construction of Hadamard states by characteristic Cauchy problem. Anal. Part. Differ. Equ. 9(1), 111–149 (2016). https://doi.org/10.2140/apde.2016.9.111
Duistermaat, J.J., Hörmander, L.: Fourier integral operators. II. Acta Math. 128, 183–269 (1972). https://doi.org/10.1007/BF02392165
Strohmaier, A., Verch, R., Wollenberg, M.: Microlocal analysis of quantum fields on curved space-times: Analytic wavefront sets and Reeh-Schlieder theorems. J. Math. Phys. 43, 5514–5530 (2002). https://doi.org/10.1063/1.1506381
Gregory, R., Moss, I.G., Oshita, N., Patrick, S.: Black hole evaporation in de Sitter space. Class. Quant. Grav. 38(18), 185005 (2021). https://doi.org/10.1088/1361-6382/ac1a68
Acknowledgements
I would like to thank S. Hollands for suggesting this topic. I would also like to thank him and J. Zahn for fruitful discussions. This work has been funded by the Deutsche Forschungsgemeinschaft (DFG) under the Grant No. 406116891 within the Research Training Group RTG 2522/1.
Funding
Open Access funding enabled and organized by Projekt DEAL. This work has been funded by the Deutsche Forschungsgemeinschaft (DFG) under the Grant No. 406116891 within the Research Training Group RTG 2522/1.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Communicated by Karl-Henning Rehren.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: A Technical Lemma
In this appendix, we prove a technical Lemma that is used in the proof of the Hadamard property of our state. In particular, consider a statement on the wavefront set such as (65a),
for some \(h\in C_0^\infty (X)\), \(D\in \mathcal {D}^\prime (X\times Y)\) and \(X,Y\subset \mathbb {R}^n\). Then, according to Def. 3.3, for any (x, l), there exists a function \(\Phi _{(x,l)}\in C_0^\infty (X\times Y)\) with \(\Phi _{(x,l)}(x,y_0)=1\) and an open conic neighbourhood \(V_{(x,l)}\subset (\mathbb {R}^n\times \mathbb {R}^n)\backslash \{0\}\) of \((l,k_0)\) such that for any \(N\in \mathbb {N}\) there is a positive constant \(C^{(x,l)}_N>0\) with
The Lemma below shows that under an additional assumption, we can combine the estimates for each individual covector (x, l) to one estimate holding in a neighbourhood of all l and for all \(x\in {{\,\textrm{supp}\,}}(h)\). In addition, for this estimate we can choose the compactly supported function \(\Phi \) to be of the form \(\chi (x)f(y)\), with \(\chi (x)=1\) on the support of h and \(f\in C_0^\infty (Y)\) can be chosen such that its support is contained in any arbitrary but fixed compact neighbourhood of \(y_0\).
Lemma 6.1
Let \(X,\,Y\) \(\subset \mathbb {R}^n\). Let \((y_0,k_0)\in Y\!\times (\mathbb {R}^n\!\backslash \{0\})\), and let K be any compact neighbourhood of \(y_0\). Let \(D\!\in \! \mathcal {D}^\prime (X\!\times \! Y)\) such that \((x,k;y,0)\!\notin \! {{\,\textrm{WF}\,}}(D)\) for all \(x\in X\), \(y\in Y\), \(k\in \mathbb {R}^n\backslash \{0\}\). Let \(h\in C_0^\infty (X)\) such that
Then we can find a function \(f\in C_0^\infty (Y)\) with \(f(y_0)=1\) and support in K, and an open conic neighbourhood \(V_{k_0}\subset \mathbb {R}^n\backslash \{0\}\) of \(k_0\) so that for any \(N,N^\prime \in \mathbb {N}\) there are positive constants \(C_{NN^\prime }\) satisfying,
Proof
One key ingredient to this proof is [45, Lemma 8.1.1]: Let \(v \in \mathcal {E}^\prime (Z)\), \(Z\subset \mathbb {R}^m\), and \(\phi \in C_0^\infty (Z)\). Then if \((x,k)\in Z\times \mathbb {R}^m\backslash \{0\}\) is a direction of rapid decrease for v, it is a direction of rapid decrease for \(\phi \cdot v\).
By the definition of the wavefront set and our assumptions, for any \((x,l)\in {{\,\textrm{supp}\,}}(h)\times \mathbb {R}^n\), there exists a function \(\Phi _{(x,l)}\in C_0^\infty (X\times Y)\) with \(\Phi _{(x,l)}(x,y_0)=1\) and an open conic neighbourhood \(V_{(x,l)}\subset (\mathbb {R}^n\times \mathbb {R}^n)\backslash \{0\}\) of \((l,k_0)\) such that for any \(N\in \mathbb {N}\) there is a positive constant \(C^{(x,l)}_N>0\) with
We can also assume that \(\Phi _{(x,l)}\ge 0\). Otherwise, we could by [45, Lemma 8.1.1] multiply with another \(C_0^\infty \)-function \(\chi \) with \(\chi (x,y_0)=1\), such that \(\chi \Phi _{(x,l)}\ge 0\).
Instead of labelling \(V_{(x,l)}\) and \(\Phi _{(x,l)}\) by l, we can equally well label them by \(\lambda =l/\vert (l,k_0)\vert \). The new label \(\lambda \) lies in the open ball of unit radius around the origin in \(\mathbb {R}^n\). So far, this is only a relabelling, which is better suited for the following argument.
Since the sets \(V_{(x,\lambda )}\) are conic, we will as a simplification only consider their projection to \(\mathbb {S}^{2n-1}=\{(l^\prime ,k^\prime ):\vert (l^\prime ,k^\prime )\vert =1\}\). The projection of \(V_{(x,\lambda )}\ \) to \(\mathbb {S}^{2n-1}\) is an open neighbourhood of \((\lambda ,\sqrt{1-\vert \lambda \vert ^2}/\vert k_0\vert k_0)\).
By assumption, we know that \((x,l;y,0)\notin {{\,\textrm{WF}\,}}(h\cdot D)\). Hence, we find open conic neighbourhoods and compactly supported functions as above for \(\vert \lambda \vert =1\). Thus, for all x, we now have functions \(\Phi _{(x,\lambda )}\) and conic sets \(V_{(x,\lambda )}\) for all \(\lambda \) in the closed unit ball around the origin in \(\mathbb {R}^n\). The projections of the sets \(V_{(x,\lambda )}\) to \(\mathbb {S}^{2n-1}\) then form an open cover of the compact set
As a result, for any x the open cover of this set by \(\{\mathbb {S}^{2n-1} \cap V_{(x,\lambda )}\}_{\vert \lambda \vert \le 1}\) has a finite open subcover \(\{\mathbb {S}^{2n-1}\cap V_{(x,\lambda _i)}\}_{i=1,\dots , K}\) with corresponding functions \(\Phi _{(x,\lambda _i)}\).
We then define \(\Phi _{x}=\prod \limits _{i=1}^K\Phi _{(x,\lambda _i)}\in C_0^\infty (X\times Y)\). By [45, Lemma 8.1.1] with \(\phi =\prod \limits _{i\ne j}\Phi _{(x,\lambda _i)}\) and \(v=\Phi _{(x,\lambda _j)}h\cdot D\), one can show that \(\forall N\in \mathbb {N}\), there are constants \(C^{x}_N\) with
Varying j from 1 to K, this holds for all \((l^\prime ,k^\prime )\in V_{x}\equiv \bigcup _i V_{(x,\lambda _i)}\), and hence for all \((l^\prime ,k^\prime )\in \mathbb {R}^n\times V^{x}_{k_0}\), with \(V^{x}_{k_0}\) the open conic neighbourhood of \(k_0\) given by
Next, let us define
for some small \(\epsilon >0\). \(\{\mathcal {U}_{x}^\epsilon \}_{x\in {{\,\textrm{supp}\,}}(h)}\) forms an open cover of \({{\,\textrm{supp}\,}}(h)\times \{y_0\}\). Hence, we can find a finite open subcover \(\{\mathcal {U}_{x_i}^\epsilon \}_{i=1,\dots , M}\) of \({{\,\textrm{supp}\,}}(h)\times \{y_0\}\) and corresponding functions \(\Phi _i=\Phi _{x_i}\) which then satisfy
where \(\pi _Y:X\times Y\rightarrow Y\) is the projection to Y. Let \(\chi \in C_0^\infty (X\times Y)\), such that
Let \(f\in C_0^\infty (Y)\) be supported in \(\pi _Y\left( \bigcap \nolimits _{i=1}^M \mathcal {U}^\epsilon _{x_i}\right) \cap K\) and let \(f(y_0)=1\). Then \(\chi (x,y)f(y)\in C_0^\infty (X\times Y)\).
By [45, Lemma 8.1.1], for any i and for any \(N\in \mathbb {N}\), there are positive constants \(C^{i}_N\), such that
Hence
for all \((l,k)\in \bigcap _{i=1}^MV_{x_i}\supset \mathbb {R}^n\times V_{k_0}\), with \(V_{k_0}=\bigcap _{i=1}^MV^{x_i}_{k_0}\).
It remains to note that the euclidean norm of (l, k) in \(\mathbb {R}^{2n}\) is equivalent to \(\vert l\vert +\vert k\vert \), and that by an application of the binomial formula we get for any \(a,b>0\) and \(N>M\ge 0\),
\(\square \)
Appendix B: Null Geodesics on Kerr-de Sitter
In this appendix, we collect some results on the null geodesics on Kerr-de Sitter. Most of these results can be found in [33, 36, 37]. They extend the ones obtained in [38] and [32] for Kerr spacetimes to Kerr-de Sitter spacetimes, and are used in Sect. 2. We will describe the behaviour of inextendible future null geodesics \(\gamma \) on \(\tilde{M}\) and focus mostly on their radial motion.
Before we start, we mention that all horizons and the axis \(\{\sin \theta =0\}\) are totally geodesic submanifolds of \(\tilde{M}\) by [38, Thm. 1.7.12]. Therefore, a geodesic that does not lie entirely in one of the horizons or the axis but approaches one of these submanifolds must cross it transversally if it can be extended through that submanifold. We will begin with these geodesics, and discuss the ones contained in a horizon or the axis in the end. Note that any geodesic crossing the axis must have \(L=0\). In this case, the analysis in [37, Sec. 6] shows that the geodesic may be extended through the axis.
Let us start with geodesics \(\gamma \) intersecting \({\textrm{III}}\). Since \(\Delta _r<0\) on \({\textrm{III}}\), we find \(R(r)>0\) on \({\textrm{III}}\), and \(R(r)\rightarrow +\infty \) as \(r\rightarrow \infty \) unless \(K=E=0\). If \(K=E=0\), the equation for \(\theta (\tau )\) demands that also \(L=0\). In this case, the geodesic is completely contained in one of the horizons, as can be seen by following the analysis in [38, Sec. 4.2] using the results of [33] on the principal null directions in Kerr-de Sitter. If we exclude this case, then \(\gamma \vert _{\text {III}}\) will approach \(r\rightarrow \infty \) in the future, taking an infinite amount of proper time to do so, compare [37, Sec. 4]. To the past, the geodesics approach \(r=r_c\). Let us define [38]
and go to \(KdS*\)- or \(*KdS\)-coordinates. Then
where the upper (lower) sign is for \(\,\text {d}r/\,\text {d}\tau >(<)0\), [37, Eq. (65)–(70)].Footnote 7 In \({\textrm{III}}\), any future-directed geodesic has \(\,\text {d}r/\,\text {d}\tau >0\). Hence, it depends on the sign of \(\mathbb {P}(r_c)\) whether the \(KdS*\)- or \(*KdS\)-coordinate remains finite as r approaches \(r_c\) in finite proper time [37]: the geodesic will cross \(\mathcal {H}_c^L\) into \({\textrm{I}}\) if \(\mathbb {P}(r_c)>0\). If \(\mathbb {P}(r_c)<0\), the geodesic will cross \(\mathcal {H}_c^R\) into \({\textrm{I}}^\prime \), and if \(\mathbb {P}(r_c)=0\), which turns \(r_c\) into a simple root of R(r), the geodesic will cross the bifurcation sphere \(\mathcal {B}_c\) in finite proper time into \({\textrm{III}}^\prime \). To observe the last case, one can change to Kruskal coordinates and follow the proof of [38, Prop. 4.4.4], see also [37]. The discussion for region \({\textrm{III}}^\prime \) in \(\tilde{M}\) is the same, but with inverted time orientation.
Next, we consider \(\gamma \) intersecting \({\textrm{II}}\). Here we have \(R(r)>0\) as well, unless \(K=E=L=0\). In the latter case the geodesic must be contained in a horizon. \(\gamma \vert _{{\textrm{II}}}\) approaches \(r=r_-\) to the future and \(r=r_+\) to the past. It will reach the horizons or bifurcation spheres in finite proper time. To the past, the geodesic will cross \(\mathcal {H}^R\) into \({\textrm{I}}\) if \(\mathbb {P}(r_+)>0\) and \(\mathcal {H}^L\) into \({\textrm{I}}^\prime \) if \(\mathbb {P}(r_+)<0\). If \(\mathbb {P}(r_+)=0\), \(r_+\) becomes a simple root of R(r) and the geodesic will cross through \(\mathcal {B}_+\) into \({\textrm{II}}^\prime \).
Now, let us discuss geodesics intersecting region \({\textrm{I}}\). Here, R(r) can have two roots of which one might be located at \(r_+\) or \(r_c\), or a double root. If R(r) has two roots in \({\textrm{I}}\) then it must be negative between them. All other cases can be excluded by the structure of R(r). On \({\textrm{I}}\), the vector field \(V=(r^2+a^2)\partial _t+a^2\partial _\varphi \) is a future-pointing timelike vector field, and hence \(\mathbb {P}(r)=-g(\gamma ^\prime ,V)>0\) for the tangent vector \(\gamma ^\prime \) of \(\gamma \vert _{{\textrm{I}}}\), compare [33, 38]. This, together with (), leads to the following possibilities of radial motion for \(\gamma \vert _{\text {I}}\):
-
\(r_+\rightarrow r_c\) or \(r_c\rightarrow r_+\): The geodesic crosses \({\textrm{I}}\) in finite proper time from \(\mathcal {H}_c^-\) to \(\mathcal {H}^R\) or from \(\mathcal {H}^-\) to \(\mathcal {H}_c^L\).
-
\(r_+\rightarrow r_+\) or \(r_c\rightarrow r_c\): The geodesic enters \({\textrm{I}}\) from \( \mathcal {H}^-\) or \(\mathcal {H}_c^-\), is reflected at a simple root of R(r), and exits through \(\mathcal {H}^R\) or \(\mathcal {H}_c^L\). This takes finite proper time.
-
\(r_+\rightarrow r_0\) or \(r_c\rightarrow r_0\): The geodesic enters \({\textrm{I}}\) from \(\mathcal {H}^-\) or \(\mathcal {H}_c^-\) at finite proper time, and then asymptotically approaches the double root \(r_0\) of R(r), taking infinite proper time to do so.
-
\(r_0\rightarrow r_+\) or \(r_0\rightarrow r_c\): The geodesic exits \({\textrm{I}}\) through \(\mathcal {H}^R\) or \(\mathcal {H}^L_c\), and approaches the double root \(r_0\) of R(r) towards the past asymptotically, taking infinite proper time to do so.
-
\(r_0\rightarrow r_0\): The geodesic remains at \(r=r_0\) for all \(\tau \in \mathbb {R}\).
Finally, let us discuss geodesics contained in one of the horizons or the rotation axis. First, the geodesics contained in one of the horizons are complete and cross through the corresponding bifurcation sphere. This can be seen by introducing Kruskal-type coordinates, [33, Sec. 4.4.2]. The geodesic contained in the axis satisfy \(K=L=0\). In this case \(R(r)>0\), and depending on the sign of \(\,\text {d}r/\,\text {d}\tau \), they follow either lines of constant v or constant u [37, Sec. 6].
After this analysis, let us also mention that in the parameter regime where Lemma 2.2 holds, for any double root \(r_0\) of R(r) in \({\textrm{I}}\) with \(E\ne 0\), one can check that
This is non-vanishing. One can then follow the analysis in the proof of [32, Lemma C.4 1.i)] to show that any inextendible null geodesic in \({\textrm{I}}\) satisfies \(\sup _\gamma (t)=\infty \) and \(\inf _\gamma (t)=-\infty \).
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Klein, C.K.M. Construction of the Unruh State for a Real Scalar Field on the Kerr-de Sitter Spacetime. Ann. Henri Poincaré 24, 2401–2442 (2023). https://doi.org/10.1007/s00023-023-01273-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-023-01273-6