Abstract
What happens when a warp bubble has mass? This seemingly innocent question forces one to carefully formalize exactly what one means by a warp bubble, exactly what one means by having the warp bubble “move” with respect to the fixed stars, and forces one to more carefully examine the notion of mass in warp-drive spacetimes. This is the goal of the present article. In this process, we will see that often-made throw-away comments regarding “payloads” are even simpler than commonly assumed, while there are two further, distinct yet subtle ways in which a mass can appear in connection with a warp drive space-time: One, that the warp bubble (not its payload) has the mass; two, that the mass is a background feature in front of which the warp drive moves. For simplicity, we consider generic Natário warp drives with zero-vorticity flow field. The resulting spacetimes are sufficiently simple to allow an exact and fully explicit computation of all of the stress-energy components, and verify that (as expected) the null energy condition (NEC) is violated. Likewise the weak, strong, and dominant energy conditions (WEC, SEC, DEC) are violated. Indeed, this confirms the community’s folk wisdom, and recent (fully general, but implicit) results of the present authors which closed previous gaps in the argument. However, folk wisdom should be carefully and critically examined before being believed, and the present examples for general results will greatly aid physical intuition.
Similar content being viewed by others
1 Introduction
Warp bubbles and warp drives by now have a quite extensive 27-year history in the general relativity community. First formulated by Alcubierre in 1994 [1], two distinct modifications (zero-expansion and generic) were subsequently developed by Natário [2] in 2001. Considerable work along these lines has continued [3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21], largely focussing on the Alcubierre and Natário zero-expansion variants, culminating in a recent focus on zero-vorticity warp drives [22,23,24,25], and the closely related, and very recently introduced notions of tractor/pressor/stressor beams [26, 27].
A mainstay in warp drive research past and present has been the study of energy conditions in such space-times, just as in many other reverse-engineered space-time geometries such as wormholes, the Gödel universe, or Krasnikov hypertubes. Specifically, this last year has seen multiple misguided claims [22,23,24, 28,29,30,31,32,33] as to the asserted possible avoidance/amelioration of the known energy condition violations in warp drive spacetimes; violations that were first established over 20 years ago, to varying degrees of generality. We have previously provided [25], for the first time, a full proof of NEC violations in all generic Natário warp drive spacetimes (using implicit arguments in the form of a proof by contradiction), thereby firmly establishing that those claims of non-violation are irretrievably erroneous. In the current article we will focus on the zero-vorticity case of Natário warp drives to provide a particularly simple, straightforward and fully explicit calculation showing exactly where the key difficulty lies. In counterpoint we should specifically mention that energy condition violations are not the absolute prohibition that they have often been taken to be in the past—energy condition violations are instead an invitation to think very carefully about the underlying physics [25,26,27, 34,35,36].
Additionally, and possibly more importantly than yet-another demonstration of violated energy conditions, this allows for the first time an explicit discussion of the meaning of mass in warp drive space-times. We start by asking the innocent sounding question “What happens when one puts a Schwarzschild black hole into a warp bubble?”. Answering this question forces one to focus on several basic and fundamental issues: What does one mean by a moving warp bubble? How does one formalize the notion of mass for a warp bubble?
In order to answer these questions, we shall first set up the general framework (making use of the asymptotic flatness of generic Natário warp drives), including a discussion of three distinct notions of mass in a warp bubble context. (That the notion of mass in any general relativistic context is a subtle one might be gleaned from references [37,38,39], and the textbook discussions in [40, Chapter 19] and [41, Chapter 11.2].) We then specialize to zero-vorticity warp bubbles, (which are closely related to the Painlevé–Gullstrand version of Schwarzschild spacetime), and carefully distinguish a moving zero-vorticity warp bubble from, for instance, the Painlevé–Gullstrand version of Schwarzschild spacetime.
This allows us to define a precise notion of motion (of the warp bubble with respect to the fixed stars), and explicitly calculate the stress-energy tensor. Within this zero-vorticity framework we then first develop a Schwarzschild-based warp drive—wherein a Schwarzschild black hole is embedded in a warp bubble, and then develop a more specialized framework suitable for describing a finite-mass payload (spacecraft) embedded in a warp bubble. The zero-vorticity case is sufficiently simple to allow fully explicit computation of the stress-energy, and explicitly verify violations of the NEC. In this regard the zero-vorticity warp bubble closely follows the fully explicit computations that have previously been carried out for the Alcubierre and zero-expansion warp bubbles.
The article is organized as follows: In Sect. 2, we introduce the notation used in this paper, and the geometry and basic facts of the generic Natário warp drive. We also explain the three distinct physical ways in which a warp drive spacetime can be combined with relativistic notions of mass. Two of these are investigated subsequently. Section 3 then gives the special zero-vorticity case of the generic Natário warp drive on which we will build our analysis. In Sect. 4, we define a warped Schwarzschild spacetime, colloquially referred to as a “black-warp spacetime”, a Schwarzschild black hole engineered to move through spacetime in a prescribed manner, and then investigate its properties. Subsequently Sect. 5 replaces the central black hole by a regular finite-mass payload inside the warp bubble. In Sect. 6, we conclude and discuss future directions.
2 Natário generic warp drives
Let us first discuss generic Natário class of warp drives [2]. This generic Natário class is broad enough to cover almost all of the relevant literature.
2.1 Metric, co-tetrad, and tetrad
The Natário generic warp bubbles all have line elements explicitly of the form [2]:
The spatial 3-slices are flat Euclidean space; the lapse function is unity; all of the physics is encoded in the flow vector \(v^i(t,\vec x)\), which is the negative of what is usually called the shift vector in the ADM formalism [42, 43]. Furthermore, this space-time is assumed to be asymptotically flat. Originally/Traditionally warp drives are subject to the added assumption of global hyperbolicity, but we think this is a misleading property to assume, as many of the more problematic features of warp drives space-times can then not be properly discussed.Footnote 1
Also note that this set-up certainly includes more than just warp drives: Schwarzschild in Painlevé–Gullstrand coordinates is contained in this form. This will play a role in what is to come in Sect. 4. Also, the static patch of the de Sitter universe can in suitable coordinates be cast in this form, as can all spatially flat FLRW spacetimes [44]. Neither of these examples can or should be considered a warp drive. Since—apart from warp drives themselves—it is clear that other space-times (or parts of space-times) can fit into this general Painlevé–Gullstrand form, it is important to raise the question: How can we safely tell apart a warp drive from a non-warp metric in unusual coordinates? As a first step in order to answer this question, an additional interpretative dance around the flow vector \(v^i(t,\vec x)\) has to be undertaken.
Usually, this involves giving the flow vector a “Newtonian” interpretation, whatever this means in general relativity, and wilfully ignoring the fact that the previous non-warp-drive examples allow this interpretation just as well. Still (and sadly?) this is needed to make the very important distinction between superluminal and subluminal warp drives (\(v^i v_i > 1\) and \(v^i v_i < 1\), respectively). Below, in Sect. 3.1, we will employ a co-moving perspective to make this pseudo-Newtonian picture of \(v^i\) clearer. A good, additional requirement is then to demand that this metric is not static. This gives a better notion of movement, though it remains somewhat unclear if this asymptotic flatness and non-staticity are enough to exclude non-warp space-times.
Back to our main line of inquiry: From this line element one can easily read off a suitable orthonormal co-tetrad
and the corresponding orthonormal tetrad
Viewed as \(4\times 4\) matrices these are simply
which satisfy the orthogonality conditions
It is then a straightforward if somewhat tedious exercise to use the ADM formalism to calculate all of the orthonormal components of the Riemann, Ricci, and Einstein tensors—see reference [25] for full details.
A useful feature of these co-tetrads and tetrads is to note that the (space)–(space) portion is just the ordinary Kronecker delta, an observation which can be used to simplify the (space)–(space) portion of many calculations. For instance for any \(T^0_2\) tensor \(X_{ab}\) we have
So for covariant spatial indices, within the Natario generic class of spacetimes, one need not bother distinguishing orthonormal form Cartesian components.
2.2 Three specific simplified sub-classes
There are three major specific simplified sub-classes of the generic Natário class of warp drives that are of particular interest.
-
Alcubierre: For the Alcubierre warp bubble the flow field \(\vec v(t,\vec x)\) is auto-parallel. That is
$$\begin{aligned} \vec v(t,\vec x) = v(t,\vec x)\; \hat{v}; \qquad \hat{v} = \hbox {(constant)}. \end{aligned}$$(2.7)In this situation explicit computation shows that the NEC, and so the SEC, WEC and DEC, are all explicitly violated. See specifically the original discussion in [1], and the subsequent follow-up discussions in [12,13,14,15,16,17], and [20, 21].
-
Zero-expansion: For the zero-expansion warp bubble the flow field \(\vec v(t,\vec x)\) is taken to be solenoidal (divergence free). That is
$$\begin{aligned} \nabla \cdot \vec v(t,\vec x) = 0. \end{aligned}$$(2.8)In this situation explicit computation shows that the NEC, and so the SEC, WEC and DEC, are all explicitly violated. See specifically the original discussion in [2], and subsequent follow-up discussions in [14,15,16,17], and [20].
-
Zero-vorticity: For the zero-vorticity warp bubble the flow field \(\vec v(\vec t,x)\) is potential. That is [22,23,24],
$$\begin{aligned} \vec v(t,\vec x) = \nabla \Phi (t,\vec x). \end{aligned}$$(2.9)In this situation the NEC, and so the SEC, WEC and DEC, energy conditions are still violated.
Many of the early discussions of energy condition violations in warp drive spacetimes often relied on either approximations or specific choices for the flow field to facilitate easy calculation. As said in the introduction, in previous work [25], the present authors provided a first, general proof of NEC violations of the generic Natário warp drive. While the proof of NEC violations is fully general, it proceeds indirectly (a proof by contradiction) and hence implicitly—the proof cannot tell explicitly where energy condition violations happen; just that they must occur.
It is the zero-vorticity warp bubble that we shall focus on in the current article. Specifically, this is the form most appropriate to make the appearance of notions of mass in a warp drive explicit, as it can be easily compared to Schwarzschild in Painlevé–Gullstrand form. Additionally, we shall make use of its simplicity to highlight where violations of the NEC occur, independent of mass. This should provide the added benefit of yielding better intuition for the general proof of [25].
2.3 ADM mass in warp drive spacetimes
Ever since their inception, a common side remark concerning warp-drive spacetimes was how the presence of a finite-mass space-ship (the payload) inside the warp bubble might or might not change the technical details. In this section we shall briefly explain why this particular concern is not really all that troublesome, and how non-zero masses actually can play a role in warp drive metrics. At a minimum, there are three distinct ways in which mass can appear in a warp drive metric:
-
A
As a mass (a payload, presumably a space-ship) inside the warp bubble.
-
B
As the mass of the warp bubble itself (for sufficiently high mass this could be called a “black warp”).
-
C
As an external mass the warp drive is passing by.
First of all, case A: Warp drives are a prime example of metric engineering, specifically reverse engineering. As a reverse-engineered metric, it need not concern itself with possible interaction between its constituent parts: The metric is already fixed, essentially it is given by fiat. To illustrate this, take any massive space-time metric \(g_{{M}}\) and any warp metric \(g_{\text {warp}}\). Suppose that the interior of the warp bubble has roughly radius R, and write the geodesic distance from the warp bubble’s centre as r. Now, let \(f_R(r)\ge 0\) be a smooth bump function centred on the middle of the warp bubble, such that \(f_R(r)=0\) for any \(r\ge R\), and \(f_R(r)=1\) for some inner radius \(R_0<R\). Any sufficiently advanced civilization interested in reverse-engineering spacetime metrics, (not just in the sense of the purely mathematical, technical meaning of “metric engineering” as it is used in this article!), could now easily engineer a new metric
Inside the warp bubble, within the radius \(R_0\), this will just be the metric of the mass inside. After a distance R from the centre is reached, only the warp drive metric contributes. In between \(R_0\) and R, the technology (indistinguishable from magic) of the arbitrarily advanced civilization will enforce a smooth transition between these two parts. Most importantly, the mass of the whole space-time will only depend on the warp bubble itself, as the new metric \(g_{\text {warp}}\) effectively screens and possibly cancels completely the interior mass. In spirit, this may remind some readers of various proposals for regular black holes. Variations on this will be discussed in Sect. 5.
This brings us to the second possibility, that of case B, that the warp bubble itself has a non-zero mass. This is most easily described in the Natário framework for generic warp bubbles (2.1), wherein the warp drive metric is not just locally in ADM form, but actually is also globally hyperbolic. In this framework the ADM mass is defined by the large-distance asymptotic falloff in the flow vector
Then this case B simply means that this warp metric has a finite ADM mass. For this reason, we will call this a “Schwarzschild-based warp drive” in Sect. 4 below. There are one quirky, and two important things to notice here. Starting with the important, moving to the quirky:
-
One, most extant warp drive metrics have ADM mass that is identically zero, as it keeps the headaches for interpreting the metric to a minimum. Specifically, both the Alcubierre and zero-expansion warp drives have identically zero ADM mass; whereas the zero-vorticity warp drive can, but need not, have a non-zero ADM mass. One does however want the ADM mass to be both non-negative and finite. A negative ADM mass is observationally disfavoured, astronomers have looked for such objects and not seen them [45], and is also theoretically disfavoured [46, 47]—causing problems for both chronology protection and gravitational lensing; one would expect unusual caustics which do not seem to correspond to anything astronomers have ever seen [48, 49]. Infinite ADM masses are perhaps worse; completely undermining the notion of asymptotic flatness. Put differently, finiteness of the ADM mass places mild constraints on the fall-off of the metric components, for them not to be picked up by the integral in the equivalent formulation \(M= \int \rho \, {\mathrm {d}}V\) of the ADM mass [25].
-
Two, as this discussion only depends on the asymptotic fall-off region of the warp bubble, this ADM mass is—according to the previous paragraph—entirely independent of whatever masses might be hidden inside the warp bubble.
-
Three, speaking about hiding: If the warp bubble’s mass is significant enough to be hidden behind a horizon, one could properly call this a “black-warp” space-time. Here, it would be some kind of compact horizon buzzing (or crawling...) through space-time, reminiscent of the interpretation of the C-metric as an accelerated black hole—albeit with no strings attached [50, 51].
Implementing option C can be significantly harder: Here, the idea is to let the warp drive move through another space-time that possibly has a finite mass M of its own. The simplest example to imagine is a warp bubble moving outside of, and manoeuvring around, a Schwarzschild black hole. (Especially a superluminal warp drive might have interesting, geometric things to say about how the compact black hole horizon and the non-compact warp drive horizon entwine; but that is another story and shall be told another time).
The most common examples, (albeit without a mass), are attempts (usually unsuccessful or otherwise doubtful for various reasons) to implement a warp bubble together with a cosmological constant. If we now focus on the mass aspects of this situation, it is easiest to interpret if the warp bubble by itself generates no mass contributions. Essentially, this means that in this situation the warp drive metric is to be engineered as a zero ADM mass example of the second option, and then added to the “background” metric \(g_M\) of ADM mass M in a comparable but inverted way to the previously discussed option (2.10):
This would, however, be by far not the only possibility. Any less obvious change to the metric \(g_M\) would require very careful thought as to whether or not other features, that should not change, might have changed.
If the warp drive part has a non-vanishing mass by itself, this will likely lead to subtle issues of disentangling the masses—a common issue with notions of mass in non-static situations. (Remember that the warp drive itself should be moving; the metric hence cannot be static!) This is not unique to this (rather unphysical) context. General relativity simply eschews straightforward implementations of notions of (total) mass and quasi-local mass based on the more familiar Newtonian gravity. (See for instance references [37,38,39], and the textbook discussions in [40, Chapter 19] and [41, Chapter 11.2]). In particular, this should make us very worried if a “metric-engineered” warp drive (by itself or with a “background” metric) has an undefined (vulgo: infinite) ADM mass.
Lastly, it is obviously possible to combine the cases A to C in varied ways. As this only obfuscates otherwise easily discussed physics, we will opt not to indulge in this needless complication.
3 Zero-vorticity warp drives
Let us now adapt and extend some of the discussion above, to refine the definition of a zero-vorticity warp bubble.
3.1 Metric: the notion of motion
For zero vorticity we can explicitly write the metric (line element) in the form:
Let us now extend the previous discussion, to make it more precise and manageable. Specifically, we will aim to divide the spacetime geometry into a “base geometry” and a “warp field”.
To make the warp bubble interesting, you want it to “move”. The easiest way to do this is (we shall soon note at least one alternative) to ensure that \( \Phi (t,\vec x)\) really is time-dependent, and the easiest way to ensure that is to enforce
That is, the zero-vorticity warp drive line element is taken to be
This is to be interpreted as follows: Start with some static asymptotically flat “base” spacetime geometry, described by the line element
where we choose \(\vec v(\vec x) = \nabla \Phi (\vec x) \rightarrow 0\) at spatial infinity. We then subject this “base” spacetime to a time-dependent spatial translation \(\vec x_*(t)\), the “warp field”. This is manifestly a specific example of a zero-vorticity warp drive, and it is important to note that the instances of vorticity-free warp drives given in [22,23,24] explicitly fall under this classification. This particular version of the warp bubble has been carefully chosen to make the flow vector asymptote to zero at large distances—so in this coordinate system the “fixed stars” are at rest, while the “warp bubble” is moving.
Alternatively, one could choose coordinates \(\bar{x}^a\) comoving with the warp bubble:
so that
In these comoving coordinates the spacetime metric is
At spatial infinity, where \(v^i(\bar{x}^k)= \nabla ^i\Phi (\bar{x}^k)\rightarrow 0\), we see that
So in these coordinates it is the “warp bubble” that is “at rest”, while the “fixed stars” are moving.
Either one of these two coordinate equivalent spacetime line elements,
represents exactly the same spacetime physics, and they are equally valid ways of representing the warp bubble—which one you use is a matter of choice—but however one does it, one needs either the explicit spatial shift \(x_*^i(t)\) or the warp flow \(v_*^i(t)=\dot{x}_*^i(t) \) to encode the “notion of motion” of the warp bubble with respect to the fixed stars.
In either situation, either by setting the spatial shift \(x_*^i(t)\rightarrow 0\), or by setting the flow \(v_*^i(t)\rightarrow 0\), one recovers the same “base” spacetime geometry
(For the base geometry, since one has switched off the warp bubble, one does not need to distinguish \(x^i\) from \(\bar{x}^i\)).
Now that we have refined the zero-vorticity notion of warp drive by introducing these notions of “base” and “warp”, we can ask more precisely targeted question such as this: “How precisely does the stress-energy tensor change when you switch the warp field on or off?”. Fortunately all of the relevant tools have been developed in earlier work [25].
3.2 Einstein tensor and stress-energy tensor
For the generic Nararió warp drive, and so also for the zero-vorticity warp drive, we have previously determined the full stress-energy tensor in [25]. Let us now split the zero-vorticity warp bubble into “base” and “warp” and adopt comoving coordinates, dropping the over-bar on the \(\bar{x}^i\) for brevity, so that
For the extrinsic curvature \(K_{ij} = v_{(i,j)}\), using the fact that the warp field \(v_*^k(t)\) is spatially constant, \(\partial _i v_*^k(t)=0\), we have the particularly simple result that
In these comoving coordinates, the extrinsic curvature does not change as you switch on the warp field. In contrast, for the Eulerian 4-velocity we have
This is a simple linear sum of the base spacetime contribution and the warp field contribution. This in turn affects the Lie derivatives of the extrinsic curvature. Specifically
and
Feeding this into the Einstein tensor, for the tetrad components we find
Applying the Einstein equations, for the tetrad components one has
So we see that it is only the spatial parts of the stress-energy that are affected by switching on the warp field—and even then the effect is rather simple—a contribution linear in the warp field \(v_*^k(t)\).
If we explicitly make use of the zero-vorticity condition then one sees
Now consider the average pressure \(\bar{p} = {1\over 3} \delta ^{\hat{i}\hat{j}}\, T_{\hat{i}\hat{j}} = {1\over 3} \delta ^{ij}\, T_{ij}\). From the above we have
We can rewrite this as
Furthermore for the quantity \((\rho + \bar{p})\) that is of direct relevance to testing the NEC
Note the effect of switching on the warp bubble is linear in the warp field \(v_*^k(t)\).
4 Schwarzschild-based warp drive
Now, using the framework developed above, let us develop the notion of a Schwarzschild-based warp drive—the above option B that might at times be called a black-warp space-time.
4.1 Schwarzschild spacetime in Painlevé–Gullstrand form
It is well-known that Schwarzschild spacetime can be represented in Painlevé–Gullstand form as follows:
Here \(r= |\vec x| = \sqrt{x^2+y^2+z^2}\), and \(\hat{r}^i \) is the radial unit vector: \(\hat{r}^i = {x^i\over r} = {x^i\over |\vec x|}\).
This is fully equivalent to writing
When written in this manner the Schwarzschild spacetime has a number of interesting features, including the fact that these coordinates are horizon-penetrating, and that the so-called “drip” geodesics (corresponding to radially infalling geodesics that start from spatial infinity with zero 3-velocity) are particularly simple. (See for instance references [52,53,54]). The relevant potential \(\Phi \) is easily seen to be
(This is not the usual Newtonian potential).
4.2 Line element for Schwarzschild-based warp drive
Elevating the Painlevé–Gullstrand form of Schwarzschild to a Schwarzschild-based warp drive (black-warp spacetime) merely amounts to the replacement \(\vec x \rightarrow \vec x - \vec x_*(t)\) so that the spacetime metric becomes:
In this coordinate system the “fixed stars” are “at rest” and the warp bubble is “moving”. At large distances
If we change to comoving coordinates \(\bar{x}^i = x^i-x_*^i(t) \) then by our previous arguments the black-warp line element becomes
In this coordinate system the “fixed stars” are “moving” and the warp bubble is “at rest”. At large distances one now has
4.3 Energy conditions for Schwarzschild-based warp drive
In view of the fact that the “base” stress-energy is zero for Schwarzschild spacetime, in coordinates moving with the Schwarzschild-based warp drive we have the very simple results
Without any calculation, since \(\rho =0\), while \(T_{ij}\ne 0\), we immediately deduce DEC violations.
Furthermore taking the spatial trace
Note that
and consequently
Thence
But the key observation here is that the inner product \(\left\{ \vec v_*(t) \cdot \hat{r}\right\} \) changes sign as one moves from front to back of the warp bubble; therefore there are regions (an entire hemisphere in fact) where \(\bar{p}\) is negative. Since \(\rho =0\) by construction, there is consequently an entire hemisphere where \(\rho +\bar{p} <0\) and the NEC is explicitly violated. (So, since DEC \(\implies \) WEC \(\implies \) NEC, and SEC \(\implies \) NEC, the explicit violation of the NEC implies that all of the SEC, WEC, and DEC are also violated).
5 Regular warp bubble containing a massive payload
Let us now modify the Schwarzschild-based warp drive (black-warp spacetime), to bring it more into line with what we would expect a warp bubble containing a payload (spacecraft) to look like. As discussed in Sect. 2.2, we can expect this to have surprisingly little impact on the physical situation based on general arguments. However, there is nothing like practice to understand something, so let us re-examine the NEC in this context once more. Having done so, we can then also slightly modify and further generalize the argument.
5.1 Localized regular base spacetime
To avoid horizons and singularities, and more closely envisage the notion of a spaceship embedded in a warp bubble, one can modify the base spacetime by making it regular at short distances and Schwarzschild at large distances. Specifically choose some finite radius \(a > 2m\) and set:
The \(\Phi (r) = {\mathcal {O}}(r^2) \) condition keeps the curvature and stress-energy finite at the origin. (The location of the spacecraft). The differentiability condition at \(r=a\) keeps \(\nabla \Phi \) continuous, and so keeps the metric continuous. (Hence the Christoffel symbols are at worst discontinuous and the Riemann tensor at worst contains thin-shell delta functions). For \(r>a\) one has a vacuum Schwarzschild exterior.
The argument presented above for the Schwarzschild-based warp drive (black-warp spacetime) then guarantees (once one switches on a non-zero warp velocity \(\vec v_*\)) violation of the NEC in the exterior region \(r>a\) over the entire hemisphere where \(\left\{ \vec v_*\cdot \hat{r}\right\} <0\).
5.2 Asymptotically Schwarzschild base spacetime
One can also extend the argument to a base spacetime that is only asymptotically Schwarzschild. Specifically let us set
The \(\Phi (r) = {\mathcal {O}}(r^2)\) condition keeps the curvature and stress-energy finite at the origin. The differentiability condition at all r keeps \(\nabla \Phi \) continuous, and so keeps the metric continuous. For \(r\rightarrow \infty \) one asymptotically approaches a vacuum Schwarzschild exterior with Misner–Sharp quasi-local mass \(m(r) = m\;\left[ 1 +{\mathcal {O}}(r^{-n})\right] \) while the ADM mass is simply m. Then it is easy to check that
and consequently
Thence at sufficiently large distances there is again an entire hemisphere, (defined by \( \left\{ \vec v_*(t) \cdot \hat{r} \right\} <0\) ), where \(\bar{p}<0\). So the NEC, (and consequently all of the SEC, WEC, and DEC), are again violated at asymptotically large distances.
6 Conclusions
As we have seen, mass in warp drives is more than just a question of a “payload”—there are two more cases to consider: The possibilities of a “background” with mass or the possibility the “warp bubble” itself being massive. Our guide for this discussion was that the assumed asymptotic flatness of a warp drive allows invoking the concept of an ADM mass, and hence, to studying how the ADM mass influences and is influenced by the presence of a warp drive.
Additionally, we re-investigated the status of energy conditions in these space-times. Certainly, the status of the energy conditions in all of these classes has already been covered in the fully general arguments presented in the authors’ previous study [25]. Still, the present article can explicitly show where violations of the NEC (and hence all other common energy conditions) occur. This was possible by specializing to the case of zero-vorticity Natário warp drive with sufficient emphasis on how the mass can enter. Given that proofs of energy condition violations often involve implicit or indirect arguments (like the proofs by contradiction), this provides additional, helpful intuition about their location and these decades-old results and convictions concerning warp drives. And as the discussion in the literature amply shows, in the case of warp drives (particularly those of the superluminal variety) their violations of energy conditions are a sign of “bad physics”—though these violations themselves by themselves are at best a warning sign [34, 35].
For the future one could try to develop further generalizations of the notion of warp bubble, outside of the Natário generic class. This could be done either by relaxing the unit-lapse condition, or by allowing the spatial 3-slices to deviate from being geometrically flat. (Perhaps conformally 3-flat.) The “massive background” case discussed here can certainly be considered as first step in this direction. However, there is a crucial and unavoidable trade-off between tractability and generality. If the construction is too general then not only are stress-energy computations increasingly infeasible [25], but it also becomes much trickier to even define what one means by the “warp bubble”, and how to disentangle the “warp field” from the “payload” from the “rest of the universe”. We hope to further explore such issues in future work. Future work will also study how the (non-compact) horizon of a superluminal warp drive might interact with the compact horizon of a black hole either moving as a warp drive, inside a warp drive as payload, or present as an external immovable background geometry.
Lastly, a word on the most glaring, open problem: A self-consistent formulation of warp drives. Simply calculating the stress-energy tensor by reverse-engineering the Einstein equations is telling us little about the actual matter sourcing the warp drive. We know that a more realistic scenario would entail reverse-engineering at the very least something like Einstein–Klein–Gordon or Einstein–Maxwell. With a proverbial “here be dragons”, one could go a step further and look at quantized fields on a fixed background. However, the background being fixed, this is unlikely to answer how the quantized field is actually sourcing anything if it is not yet a source term of the Einstein equation determining the warp drive metric. An added difficulty is that a superluminal warp drive comfortably overstays its welcome in the well-established field of curved space-time quantum field theory, as it cannot be globally hyperbolic [18]. While there is movement beyond global hyperbolicity (see, for example, [55]), one could still opt for the full glory: Dealing with the full semi-classical Einstein equations involving a quantized field on a (backreacting) background space-time [56, 57]. While this would certainly (finally) address and answer the begged question of the usual invocation of arbitrarily advanced civilizations/magic by nebulous statements such as “the negative energy densities would have to be provided by quantum matter”—here be dragons, indeed.
Data Availability
We declare that this manuscript has no data associated to it.
Notes
And we would like to caution the reader that this assumption might possibly invite proponents of faulty logic, who then conclude the absence of causality issues in superluminal warp drives based on its assumed global hyperbolicity. Much more serious physics issues than the energy condition can occur and need to be addressed in warp drive space-times. A minimal definition ensures easy access to these discussions.
References
Alcubierre, M.: The Warp drive: Hyperfast travel within general relativity. Class. Quantum Gravity 11, L73–L77 (1994). https://doi.org/10.1088/0264-9381/11/5/001. [arXiv:gr-qc/0009013 [gr-qc]]
Natário, J.: Warp drive with zero expansion. Class. Quantum Gravity 19, 1157–1166 (2002). https://doi.org/10.1088/0264-9381/19/6/308. [arXiv:gr-qc/0110086 [gr-qc]]
Everett, A.E.: Warp drive and causality. Phys. Rev. D 53, 7365–7368 (1996). https://doi.org/10.1103/PhysRevD.53.7365
Everett, A.E., Roman, T.A.: A superluminal subway: the Krasnikov tube. Phys. Rev. D 56, 2100–2108 (1997). https://doi.org/10.1103/PhysRevD.56.2100. [arXiv:gr-qc/9702049 [gr-qc]]
Hiscock, W.A.: Quantum effects in the Alcubierre warp drive space-time. Class. Quantum Gravity 14, L183–L188 (1997). https://doi.org/10.1088/0264-9381/14/11/002. [arXiv:gr-qc/9707024 [gr-qc]]
Pfenning, M.J.: Quantum inequality restrictions on negative energy densities in curved space-times. [arXiv:gr-qc/9805037 [gr-qc]]
Low, R.J.: Speed limits in general relativity. Class. Quantum Gravity 16, 543–549 (1999). https://doi.org/10.1088/0264-9381/16/2/016. [arXiv:gr-qc/9812067 [gr-qc]]
Olum, K.D.: Superluminal travel requires negative energies. Phys. Rev. Lett. 81, 3567–3570 (1998). https://doi.org/10.1103/PhysRevLett.81.3567. [arXiv:gr-qc/9805003 [gr-qc]]
Van Den Broeck, C.: A warp drive with reasonable total energy requirements. Class. Quantum Gravity 16, 3973–3979 (1999). https://doi.org/10.1088/0264-9381/16/12/314. [arXiv:gr-qc/9905084 [gr-qc]]
Van Den Broeck, C.: On the (im)possibility of warp bubbles. [arXiv:gr-qc/9906050 [gr-qc]]
Clark, C., Hiscock, W.A., Larson, S.L.: Null geodesics in the Alcubierre warp drive space-time: the view from the bridge. Class. Quantum Gravity 16, 3965–3972 (1999). https://doi.org/10.1088/0264-9381/16/12/313. [arXiv:gr-qc/9907019 [gr-qc]]
Visser, M., Bassett, B., Liberati, S.: Perturbative superluminal censorship and the null energy condition. AIP Conf. Proc. 493(1), 301–305 (1999). https://doi.org/10.1063/1.1301601. [arXiv:gr-qc/9908023 [gr-qc]]
Alcubierre, M.: Warp propulsion, wormholes, time travel. Sterne Weltraum S 6, 70–76 (2001)
Lobo, F.S.N., Crawford, P.: Weak energy condition violation and superluminal travel. Lect. Notes Phys. 617, 277–291 (2003). [arXiv:gr-qc/0204038 [gr-qc]]
Lobo, F.S.N., Visser, M.: Fundamental limitations on warp drive spacetimes. Class. Quantum Gravity 21, 5871–5892 (2004). https://doi.org/10.1088/0264-9381/21/24/011. [arXiv:gr-qc/0406083 [gr-qc]]
Lobo, F.S.N., Visser, M.: Linearized warp drive and the energy conditions. In: Proceedings of the Spanish Relativity Meeting-2004. Miraflores de la Sierra, Madrid, (2004). [arXiv:gr-qc/0412065 [gr-qc]]
Lobo, F. S. N.: Exotic solutions in general relativity: traversable wormholes and warp drive spacetimes. In: Classical and Quantum Gravity Research, pp. 1–78. Nova Science Publishers (2008). ISBN 978-1-60456-366-5. [arXiv:0710.4474 [gr-qc]]
Finazzi, S., Liberati, S., Barceló, C.: Semiclassical instability of dynamical warp drives. Phys. Rev. D 79, 124017 (2009). https://doi.org/10.1103/PhysRevD.79.124017. [arXiv:0904.0141 [gr-qc]]
McMonigal, B., Lewis, G.F., O’Byrne, P.: The Alcubierre warp drive: on the matter of matter. Phys. Rev. D 85, 064024 (2012). https://doi.org/10.1103/PhysRevD.85.064024. [arXiv:1202.5708 [gr-qc]]
Alcubierre, M., Lobo, F.S.N.: Wormholes, warp drives and energy conditions. Fundam. Theor. Phys. 189, 1–279 (2017). https://doi.org/10.1007/978-3-319-55182-1. [arXiv:2103.05610 [gr-qc]]
Alcubierre, M., Lobo, F.S.N.: Warp drive basics. Fundam. Theor. Phys. 189, 257–279 (2017). https://doi.org/10.1007/978-3-319-55182-1_11. [arXiv:2103.05610 [gr-qc]]
Lentz, E.W.: Breaking the warp barrier: hyper-fast solitons in Einstein–Maxwell-plasma theory. Class. Quantum Gravity 38(7), 075015 (2021). https://doi.org/10.1088/1361-6382/abe692. [arXiv:2006.07125 [gr-qc]]
Lentz, E.W.: Hyper-fast positive energy warp drives. In: Proceedings of the MG-16 Conference, Rome, July 2021. [arXiv:2201.00652 [gr-qc]]
Fell, S.D.B., Heisenberg, L.: Positive energy warp drive from hidden geometric structures. Class. Quantum Gravity 38, 15 (2021). https://doi.org/10.1088/1361-6382/ac0e47. [arXiv:2104.06488 [gr-qc]]
Santiago, J., Schuster, S., Visser, M.: Generic warp drives violate the null energy condition. Phys. Rev. D 105(6), 064038 (2022). https://doi.org/10.1103/PhysRevD.105.064038. [arXiv:2105.03079 [gr-qc]]
Santiago, J., Schuster, S., Visser, M.: Tractor beams, pressor beams and stressor beams in general relativity. Universe 7(8), 271 (2021). https://doi.org/10.3390/universe7080271. [arXiv:2106.05002 [gr-qc]]
Visser, M., Santiago, J., Schuster, S.: Tractor beams, pressor beams, and stressor beams within the context of general relativity. In: Proceedings of the MG-16 Conference, Rome, July 2021. [arXiv:2110.14926 [gr-qc]]
Bobrick, A., Martire, G.: Introducing physical warp drives. Class. Quantum Gravity 38(10), 105009 (2021). https://doi.org/10.1088/1361-6382/abdf6e. [arXiv:2102.06824 [gr-qc]]
Santos-Pereira, O.L., Abreu, E.M.C., Ribeiro, M.B.: Dust content solutions for the Alcubierre warp drive spacetime. Eur. Phys. J. C 80(8), 786 (2020). https://doi.org/10.1140/epjc/s10052-020-8355-2. [arXiv:2008.06560 [gr-qc]]
Santos-Pereira, O.L., Abreu, E.M.C., Ribeiro, M.B.: Fluid dynamics in the warp drive spacetime geometry. Eur. Phys. J. C 81(2), 133 (2021). https://doi.org/10.1140/epjc/s10052-021-08921-3. [arXiv:2101.11467 [gr-qc]]
Santos-Pereira, O.L., Abreu, E.M.C., Ribeiro, M.B.: Charged dust solutions for the warp drive spacetime. Gen. Rel. Grav. 53(2), 23 (2021). https://doi.org/10.1007/s10714-021-02799-y. [arXiv:2102.05119 [gr-qc]]
Santos-Pereira, O.L., Abreu, E.M.C., Ribeiro, M.B.: Perfect fluid warp drive solutions with the cosmological constant. Eur. Phys. J. Plus 136(9), 902 (2021). https://doi.org/10.1140/epjp/s13360-021-01899-7. [arXiv:2108.10960 [gr-qc]]
Santos-Pereira, O.L., Abreu, E.M.C., Ribeiro, M.B.: Warp drive dynamic solutions considering different fluid sources. In: MG16 Conference Proceedings. [arXiv:2111.01298 [gr-qc]]
Barceló, C., Visser, M.: Twilight for the energy conditions? Int. J. Mod. Phys. D 11, 1553–1560 (2002). https://doi.org/10.1142/S0218271802002888. [arXiv:gr-qc/0205066 [gr-qc]]
Curiel, E.: A Primer on Energy Conditions. Einstein Stud. 13, 43–104 (2017). https://doi.org/10.1007/978-1-4939-3210-8_3. [arXiv:1405.0403 [physics.hist-ph]]
Kontou, E.A., Sanders, K.: Energy conditions in general relativity and quantum field theory. Class. Quantum Gravity 37(19), 193001 (2020). https://doi.org/10.1088/1361-6382/ab8fcf. [arXiv:2003.01815 [gr-qc]]
Wang, M.T.: Quasi-local mass and isometric embedding with reference to a static spacetime. Adv. Stud. Pure Math. 85, 453–462 (2020). https://doi.org/10.2969/aspm/08510453. [arXiv:2010.12677 [gr-qc]]
Szabados, László. B.: Quasi-local energy-momentum and angular momentum in general relativity. Living Rev. Relativ. 12, 4 (2009). https://doi.org/10.12942/lrr-2009-4
Cabrera Pacheco, A.J., Cederbaum, C.: A survey on extensions of Riemannian manifolds and Bartnik mass estimates. arXiv:1904.05830
Misner, C.W., Thorne, K.S., Wheeler, J.A.: Gravitation. Freeman, San Francisco (1973)
Wald, Robert: General Relativity. University of Chicago Press, Chicago (1984)
Arnowitt, R.L., Deser, S., Misner, C.W.: The dynamics of general relativity, originally published in Gravitation: an introduction to current research Witten, L. (ed.). Wiley, chapter 7, pp. 227–265. Republished as: Gen. Rel. Grav. 40(2008), 1997–2027 (1962). https://doi.org/10.1007/s10714-008-0661-1 [arXiv:gr-qc/0405109 [gr-qc]]
Gourgoulhon, E.: 3+1 Formalism and Bases of Numerical Relativity. Lecture Notes in Physics, vol. 846. Springer, Berlin (2012). [arXiv:gr-qc/0703035 [gr-qc]]
Gaur, R., Visser, M.: Cosmology in Painleve–Gullstrand coordinates. [arXiv:2207.08375 [gr-qc]]
Takahashi, R., Asada, H.: Observational upper bound on the cosmic abundances of negative-mass compact objects and ellis wormholes from the sloan digital sky survey quasar lens search. Astrophys. J. Lett. 768, L16 (2013). https://doi.org/10.1088/2041-8205/768/1/L16. arXiv:1303.1301 [astro-ph.CO]]
Bondi, H.: Negative mass in general relativity. Rev. Mod. Phys. 29, 423–428 (1957). https://doi.org/10.1103/RevModPhys.29.423
Penrose, R., Sorkin, R.D., Woolgar, E.: A Positive mass theorem based on the focusing and retardation of null geodesics. [arXiv:gr-qc/9301015 [gr-qc]]
Cramer, J.G., Forward, R.L., Morris, M.S., Visser, M., Benford, G., Landis, G.A.: Natural wormholes as gravitational lenses. Phys. Rev. D 51, 3117–3120 (1995). https://doi.org/10.1103/PhysRevD.51.3117. [arXiv:astro-ph/9409051 [astro-ph]]
Izumi, K., Hagiwara, C., Nakajima, K., Kitamura, T., Asada, H.: Gravitational lensing shear by an exotic lens object with negative convergence or negative mass. Phys. Rev. D 88, 024049 (2013). https://doi.org/10.1103/PhysRevD.88.024049. [arXiv:1305.5037 [gr-qc]]
Griffiths, J.B., Krtouš, P., Podolský, J.: Interpreting the \(C\)-metric. Class. Quantum Gravity 23, 6745–6766 (2006). https://doi.org/10.1088/0264-9381/23/23/008. [arXiv:gr-qc/0609056 [gr-qc]]
Griffiths, J.B., Podolský, J.: Exact Space-Times in Einstein’s General Relativity. Cambridge Monographs of Mathematical Physics. Cambridge University Press, Cambridge (2009)
Baines, J., Berry, T., Simpson, A., Visser, M.: Unit-lapse versions of the Kerr spacetime. Class. Quantum Gravity 38(5), 055001 (2021). https://doi.org/10.1088/1361-6382/abd071. [arXiv:2008.03817 [gr-qc]]
Baines, J., Berry, T., Simpson, A., Visser, M.: Painlevé–Gullstrand form of the Lense–Thirring spacetime. Universe 7(4), 105 (2021). https://doi.org/10.3390/universe7040105. [arXiv:2006.14258 [gr-qc]]
Baines, J., Berry, T., Simpson, A., Visser, M.: Killing tensor and carter constant for Painlevé–Gullstrand form of Lense–Thirring Spacetime. Universe 7(12), 473 (2021). https://doi.org/10.3390/universe7120473. [arXiv:2110.01814 [gr-qc]]
Janssen, D.W.: Quantum fields on semi-globally hyperbolic space-times. Commun. Math. Phys. 391, 669–705 (2022). https://doi.org/10.1007/s00220-022-04328-7. [arXiv:2111.01643 [gr-qc]]
Meda, P., Pinamonti, N., Siemssen, D.: Existence and uniqueness of solutions of the semiclassical Einstein equation in cosmological models. Ann. Henri Poincaré 22, 3965–4015 (2021). https://doi.org/10.1007/s00023-021-01067-8. [arXiv:2007.14665 [math-ph]]
Sanders, K.: Static symmetric solutions of the semi-classical Einstein–Klein–Gordon system. Ann. Henri Poincaré 23, 1321–1358 (2022). https://doi.org/10.1007/s00023-021-01115-3. [arXiv:2007.14311 [math-ph]]
Acknowledgements
MV was directly supported by the Marsden Fund, via a grant administered by the Royal Society of New Zealand. SS acknowledges support from the technical and administrative staff at the Charles University, and financial support from Czech Science Foundation grant No 22-14791 S. JS was supported by the Hellenic Foundation for Research and Innovation (H.F.R.I.), under the “First Call for H.F.R.I. Research Projects to support Faculty members and Researchers and the procurement of high-cost research equipment grant”. (Project Number: 789).
Funding
Open access funding provided by HEAL-Link Greece.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Schuster, S., Santiago, J. & Visser, M. ADM mass in warp drive spacetimes. Gen Relativ Gravit 55, 14 (2023). https://doi.org/10.1007/s10714-022-03061-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-022-03061-9