1: \documentclass[aps,twocolumn,showpacs]{revtex4}
2: %\documentclass[aps]{revtex4}
3: %\documentclass[aps,twocolumn]{revtex4}
4: %\documentstyle[aps,preprint]{revtex}
5: %\documentstyle[epsfig,aps]{revtex}
6: %\documentstyle[epsf,aps]{revtex}
7: %\textwidth 6.70in
8: %\renewcommand{\baselinestretch}{1.1}
9: \usepackage{graphicx}
10:
11:
12: \newcommand{\stac}[2]{\stackrel{\scriptscriptstyle {#1}}{#2}}
13:
14: \begin{document}
15: %\draft
16:
17:
18: %<<<<<<<<<<<<< TITLE >>>>>>>>>>>>>>>%
19: \title{Kinematical bound in asymptotically translationally invariant spacetimes}
20:
21:
22: %<<<<<<<<<<<<< AUTHOR >>>>>>>>>>>>>>>%
23: \author{Tetsuya Shiromizu$^{(1,2)}$, Daisuke Ida$^{(1)}$ and Shinya Tomizawa$^{(1)}$}
24:
25:
26: %<<<<<<<<<<<<< ADDRESS >>>>>>>>>>>>>>>%
27: \affiliation{$^{(1)}$Department of Physics, Tokyo Institute of Technology,
28: Tokyo 152-8551, Japan}
29:
30: \affiliation{$^{(2)}$Advanced Research Institute for Science and Engineering,
31: Waseda University, Tokyo 169-8555, Japan}
32:
33: %<<<<<<<<<<<<< DATE >>>>>>>>>>>>>>>%
34: \date{\today}
35:
36: %======================================%
37: %<<<<<<<<<<<<< ABSTRACT >>>>>>>>>>>>>>>%
38: %======================================%
39: \begin{abstract}
40: We present positive energy theorems in asymptotically translationally invariant
41: spacetimes which can be
42: applicable to black strings and charged branes. We also address the bound property
43: of the tension and charge of branes.
44: \end{abstract}
45:
46:
47: \pacs{98.80.Cq 04.50.+h 11.25.Wx}
48:
49: \maketitle
50: %\vskip1cm
51:
52:
53:
54:
55: %======================================%
56: %<<<<<<<<<<<< SECTION I >>>>>>>>>>>>>>%
57: %======================================%
58: %\baselineskip25pt
59: \label{sec:intro}
60: \section{Introduction}
61:
62: Asymptotic flatness is a useful working assumption in studying four-dimensional
63: general relativity, in particular in the field of the black hole physics.
64: Of course, this assumption is well justified for the gravitational phenomena of isolated systems within the Hubble horizon of our universe.
65: Within the framework of the string theory, on the other hand,
66: we have to take account of non-asymptotically
67: flat space-times, because the vacuum of the theory is considered to be four-dimensional
68: space-time times compact extra dimensions at low energy to realize our apparently four-dimensional universe.
69: For example, we need more insight into the black strings of branes, which are non-asymptotically
70: flat solutions typically arising in the supergravity theories, to extract some information on the
71: quantum gravity or the unified theory of interactions.
72:
73: The stability of the Schwarzschild space-time is one of fundamental properties of the black holes in
74: asymptotically flat space-time.
75: However, this is not the case for the black strings or branes;
76: namely, they are unstable under the linear perturbations of sufficiently long wave length
77: along the brane \cite{GL}.
78: We have no definitive answer concerning the end point of this Gregory-Laflamme instability,
79: but there are several possibilities; the final state might be naked singularities joining
80: array of black holes, or inhomogeneous black string or brane \cite{Gary}, and there also be
81: a possibility that there is no equilibrium state.
82: Since the subject concerns with non-asymptotically flat inhomogeneous
83: space-time, the analysis will be quite difficult. We would ultimately need dynamical analysis
84: directly solving the Einstein equation \cite{BS,Toby}.
85: It might be however also useful to have a kinematical bound irrelevant for the details of the
86: underlying theory for such non-asymptotically flat space-times.
87: Such a kinematical bound might be also useful to restrict the form of the metric
88: like the uniqueness theorem in asymptotically flat spacetimes \cite{Israel,UniqTheo1}.
89:
90: In this short report, utilizing
91: the spinorial approach, we present bound theorems (positive mass
92: theorem, BPS bound, positive tension theorem) in asymptotically
93: translationally invariant space-times.
94: Recently Traschen
95: discussed the positive mass theorem
96: in such space-times without horizon and gauge fields\cite{Jennie2}.
97: In this paper we will extend the Traschen's work to the cases with horizon in higher dimensions,
98: which is relevant for black string or brane space-times,
99: and include the gauge fields in four dimensions.
100:
101: The rest of the present paper is composed of two main parts.
102: In Sec. II, we present the positive mass theorem in higher dimensions with horizon. Then
103: we prove the positive energy and tension theorems for charged branes in Sec. III.
104: Finally we
105: give a discussion in Sec. IV. In the appendix A we give formulae for the
106: calculation of the boundary term at horizon.
107:
108:
109:
110: %======================================%
111: %<<<<<<<<<<<< SECTION II >>>>>>>>>>>>>>%
112: %======================================%
113: %\baselineskip25pt
114: \label{sec:ATI}
115:
116: \section{Asymptotically translationally invariant space-times}
117:
118: First of all, we must specify asymptotically translationally invariant
119: space-times. The metric of full space-times is given by
120: %===============================%
121: %
122: \begin{eqnarray}
123: ds^2=g_{\mu\nu}dx^\mu dx^\nu.
124: \end{eqnarray}
125: %
126: %===============================%
127: Let $n \propto \partial_t$ and $z \propto \partial_{x^1}$ to be timelike and spacelike unit
128: vector fields such that $n^\mu z_\mu =0$. In addition, $\hat r \propto \partial_{x^2}$ to be spacelike
129: perpendicular unit normal vector fields to $n$ and $z$, $\hat r^\mu n_\mu = \hat r^\mu z_\mu =0$.
130: We assume that
131: $z$ becomes to be proportional to asymptotically translational Killing vector toward the infinity
132: directed to $\hat r$. $x^\mu$, $x^i$, $x^I$, $x^A$ and $x^a$ spans the full space-times ${\cal M}$,
133: $(n-1)$-dimensional spacelike hypersurface $V_0$ normal to $n$, $(n-1)$-dimensional
134: timelike hypersurface $V_1$ normal to $z$,
135: $(n-2)$-dimensional spacelike submanifold $V_{01}$
136: orthogonal to $n$ and $z$, and $(n-3)$-dimensional spacelike submanifold $V_{012}$ orthogonal
137: to $n$, $z$, $\hat r$. Each induced metricies can be written as
138: %===============================%
139: %
140: \begin{eqnarray}
141: q_{ij}dx^i dx^j=(g_{\mu\nu}+n_\mu n_\nu ) dx^\mu dx^\nu
142: \end{eqnarray}
143: %
144: %===============================%
145: %===============================%
146: %
147: \begin{eqnarray}
148: h_{IJ}dx^I dx^J=(g_{\mu\nu}-z_\mu z_\nu ) dx^\mu dx^\nu
149: \end{eqnarray}
150: %
151: %===============================%
152: %===============================%
153: %
154: \begin{eqnarray}
155: p_{AB}dx^A dx^B=(g_{\mu\nu}+n_\mu n_\nu-z_\mu z_\nu) dx^\mu dx^\nu
156: \end{eqnarray}
157: %
158: %===============================%
159: and
160: %===============================%
161: %
162: \begin{eqnarray}
163: s_{ab}dx^a dx^b =(g_{\mu\nu}+n_\mu n_\nu -z_\mu z_\nu
164: -\hat r_\mu \hat r_\nu) dx^\mu dx^\nu.
165: \end{eqnarray}
166: %
167: %===============================%
168: Then $\mu,\nu=0,1,2,...,n$. $i=1,2,...,n$, $I=0,2,3,...,n$,
169: $A=2,3,...n$, $a=3,4,...,n$. (See FIG.\ref{fig1}.)
170:
171: We assume that the submanifold $V_{01}$ is $(n-2)$-dimensional asymptotically Euclid
172: space.
173:
174: \begin{figure}[htbp]
175: \begin{center}
176: \includegraphics[width=.70\linewidth]{Boundtheorem.eps}
177: \end{center}
178: \caption{Full space-time $\cal{M}$ can be foliated by
179: spacelike hypersurfaces $V_0$ normal to timelike vector
180: field $n\propto\partial_t$ and timelike hypersurfaces
181: $V_1$ normal to spacelike vector field $z\propto\partial_{x^1}$.
182: We can define coordinate $\{x^i\}=(x_1,x_2,\cdots,x_n)$ in $V_0$,
183: $\{x^I\}=(x_0,x_2,\cdots,x_n)$ in $V_1$ and $\{x^A\}=(x_2,\cdots,x_n)$
184: in $(n-2)-$dimensional spacelike surface $V_{01}$ normal to
185: both vector fields $n$ and $z$. Furthermore, we set
186: coordinate $\{x^a\}=(x_3,\cdots,x_n)$ in $(n-3)$-dimensional spacelike
187: submanifold $V_{012}$ normal to $n,z$ and $\hat{r}\propto\partial_{x^2}$.}
188: \label{fig1}
189: \end{figure}
190:
191: %======================================%
192: %<<<<<<<<<<<< SECTION III >>>>>>>>>>>>>%
193: %======================================%
194: %\baselineskip25pt
195: \label{sec:mass}
196:
197: \section{Positive mass theorem for black string}
198:
199: In this section, we present the positive energy theorem in asymptotically translationally
200: invariant space-time with horizon. See Ref. \cite{Jennie2} for cases without horizon.
201: If one thinks of the gravitational energy evaluated
202: in slices which has appropriate asymptotic boundaries and regular center, it is not necessary to take
203: the event horizon as the boundary term. However, the proof independent of the inner structure of horizon
204: is useful.
205:
206: Let consider a spinor $\epsilon$ satisfying Dirac-type equation\cite{Jennie2}
207: %===============================%
208: %
209: \begin{eqnarray}
210: \gamma^{A} \nabla_A \epsilon =0. \label{WittenEq}
211: \end{eqnarray}
212: %
213: %===============================%
214: Note that we usually suppose $\gamma^i \nabla_i \epsilon =0 $ for spinor to prove
215: the original positive energy theorem\cite{PET}. In asymptotically translationally invariant
216: space-times, it is likely that the existence of solutions to Eq. (\ref{WittenEq}),
217: which approaches constant spinor $\epsilon_0$, is guaranteed rather than the solution to
218: $\gamma^i \nabla_i \epsilon=0$. This is because
219: the space spanned by coordinate $ \lbrace x^A \rbrace $ is asymptotically flat
220: and we can expect almost same proof of the existence of solutions
221: with that in asymptotically flat space-times.
222:
223: Let us define the Nester tensor $E_{\mu\nu}$ by
224: %===============================%
225: %
226: \begin{eqnarray}
227: E^{\mu\nu}=\frac{1}{2}\biggl( \bar \epsilon \gamma^{\mu\nu\alpha}
228: \nabla_\alpha \epsilon +{\rm c.c.}\biggr)
229: \end{eqnarray}
230: %
231: %===============================%
232: and we obtain formula
233: %===============================%
234: %
235: \begin{eqnarray}
236: \nabla_\mu E^{\mu\nu}=\frac{1}{2}G^\nu_\mu \xi^\mu +{\overline {\nabla_\mu \epsilon}} \gamma^{\mu\nu\alpha}
237: \nabla_\alpha \epsilon\label{diverEq}
238: \end{eqnarray}
239: %
240: %===============================%
241: where $\bar \epsilon = \epsilon^\dagger \gamma^{\hat 0}$.
242: According to Ref. \cite{PET},
243: a surface integral of Nester tensor
244: at spatial infinity over $V_{02}$ gives ADM energy-momentum vector $P^\mu$, that is,
245: \begin{equation}
246: -P^\mu \xi_\mu=\frac{1}{16\pi}\int_{V_{02}^{\infty}}E^{\mu\nu}dS_{\mu\nu}.
247: \end{equation}
248: Integrating Eq.(\ref{diverEq}) over spacelike manifold $V_{02}$
249: and using Stokes's theorem and Eq.(\ref{WittenEq}), we obtain formula
250: %===============================%
251: %
252: \begin{eqnarray}
253: & & \int_{V_{02}^\infty}dS_{\hat0 \hat 2} E^{\hat 0 \hat 2}
254: - \int_{V_{02}^{\rm H}}dS_{\hat0 \hat 2} E^{\hat 0 \hat 2} \nonumber \\
255: & & ~~~~= \int dV_0 \biggl( 8\pi T^\mu_\nu \xi^\nu n_\mu +2| \nabla_A \epsilon|^2 \biggr),
256: \end{eqnarray}
257: %
258: %===============================%
259: where $\xi^\mu = -\bar \epsilon \gamma^\mu \epsilon$. Following the proof in \cite{PET}, we require a spinor $\epsilon$ approaches a constant spinor $\epsilon_0$ at infinity $V_{02}^{\infty}$.
260: In the above we used the Einstein equation $G_{\mu\nu}=8\pi T_{\mu\nu}$.
261: The first and second terms in the left-hand side are boundary terms at
262: infinity and horizon. The first term gives us the gravitational energy.
263: Thus, what we must focus on is the boundary term at the horizon. This is
264: non-trivial issue and the point here. We modify the proof in asymptotically
265: flat space-times with horizon\cite{BH}. The detail of the computation is
266: described in the appendix A. As a result, it becomes
267: %===============================%
268: %
269: \begin{widetext}
270: \begin{eqnarray}
271: \int_{V_{02}^H}dS_{\hat0 \hat 2} E^{\hat 0 \hat 2} & = &
272: \frac{1}{2}\int dS_{\hat 0 \hat 2} \Biggl[
273: \epsilon^\dagger ( \nabla_{\hat 2}
274: -\gamma^{\hat 2}\gamma^{\hat 1}\nabla_{\hat 1} ) \epsilon
275: +{\rm c.c} \Biggr] \nonumber \\
276: & = & \frac{1}{2}\int dS_{\hat 0 \hat 2}
277: \epsilon^\dagger \Biggl[ -\frac{1}{2}(K-K_{\hat 2 \hat 2}+k)\gamma^{\hat 2}
278: \gamma^{\hat 0} \epsilon - \gamma^{\hat 2} \gamma^{\hat 1} D_{\hat 1} \epsilon
279: -\gamma^{\hat 2} \gamma^a d_{a} \epsilon +\frac{1}{2}K_{\hat a \hat 2}\gamma^{\hat a}
280: \gamma^{\hat 0}\epsilon \Biggr]+{\rm c.c.} \nonumber \\
281: & = & \frac{1}{2}\int dS_{\hat 0 \hat 2}
282: \epsilon^\dagger \Biggl[ -\frac{1}{2}(K-K_{\hat 2 \hat 2}+k)\gamma^{\hat 2}
283: \gamma^{\hat 0} \epsilon + \psi \Biggr] +{\rm c.c.} \label{BT1}
284: \end{eqnarray}
285: \end{widetext}
286: %
287: %===============================%
288: where
289: %===============================%
290: %
291: \begin{eqnarray}
292: \psi = - \gamma^{\hat 2} \gamma^{\hat 1} D_{\hat 1} \epsilon
293: -\gamma^{\hat 2} \gamma^a d_{a} \epsilon +\frac{1}{2}K_{\hat a \hat 2}\gamma^{\hat a}
294: \gamma^{\hat 0}\epsilon.
295: \end{eqnarray}
296: %
297: %===============================%
298: $D_i, {\cal D}_A$ and $d_a$ are covariant derivative with respect to
299: $q_{ij}$, $p_{AB}$ and $s_{ab}$, respectively. $K_{ij}$ and $k_{ab}$
300: are defined by $K_{ij}=q_i^k \nabla_k n_j $ and $k_{ab}=s_a^c {\cal D}_c \hat r_b$,
301: respectively.
302:
303: At the horizon we impose
304: %===============================%
305: %
306: \begin{eqnarray}
307: \gamma^{\hat 2} \gamma^{\hat 0} \epsilon = \epsilon
308: \end{eqnarray}
309: %
310: %===============================%
311: and use $\theta_+ \propto K-K_{\hat 2 \hat 2}+k=0$ at the apparent horizon.
312: $\theta_+$ is the expansion of outgoing null geodesic congruence.
313: Then we can see the boundary term at the horizon vanishes. We used the fact that
314: $\psi$ anti-commutes with $\gamma^{\hat 2} \gamma^{\hat 0}$ and then
315: the contribution of $\psi$ to Eq. (\ref{BT1}) disappears. Finally
316: %===============================%
317: %
318: \begin{eqnarray}
319: E_{\rm ADM} & =& \frac{1}{8\pi|\epsilon_0|^2} \int_{V_{02}^\infty}dS_{\hat0 \hat 2} E^{\hat 0 \hat 2} \nonumber \\
320: & = & \frac{1}{8\pi |\epsilon_0|^2} \int dV_0 \biggl( 8\pi T^\mu_\nu \xi^\nu n_\mu +2| \nabla_A \epsilon|^2 \biggr).
321: \end{eqnarray}
322: %
323: %===============================%
324: Together with the dominant energy condition, we can see that $E_{\rm ADM}$ is
325: positive definite.
326:
327: Let us discuss $M=0$ cases. In this case,
328: %===============================%
329: %
330: \begin{eqnarray}
331: \nabla_{\hat A} \epsilon=0
332: \end{eqnarray}
333: %
334: %===============================%
335: and then
336: %===============================%
337: %
338: \begin{eqnarray}
339: {}^{(n)}R_{\hat A \hat B\mu\nu} \gamma^{\mu\nu} \epsilon=0.
340: \end{eqnarray}
341: %
342: %===============================%
343: From the above we see
344: %===============================%
345: %
346: \begin{eqnarray}
347: {}^{(n)}R_{\mu\nu \alpha \beta}=0.
348: \end{eqnarray}
349: %
350: %===============================%
351: This means that the space-time with zero energy is flat. Even for
352: asymptotically translationally invariant space-times, the ground state is
353: flat space-time.
354:
355:
356: \section{Bound theorems for charged branes in four dimensions}
357:
358: \subsection{Positive energy theorem for charged brane}
359:
360: In this subsection, we extend Traschen's study to cases with gauge field in four dimensions.
361: It is easy to extend to higher dimensions following Ref. \cite{GHT}.
362: For this we define the following covariant tensor motivated by N=2 supergravity\cite{N2PET}:
363: %===============================%
364: %
365: \begin{eqnarray}
366: \hat \nabla_\mu \epsilon = \nabla_\mu \epsilon +\frac{i}{4}F_{\alpha \beta}
367: \gamma^{\alpha \beta} \gamma_\mu \epsilon.
368: \end{eqnarray}
369: %
370: %===============================%
371: Let us consider spinor $\epsilon$ satisfying
372: %===============================%
373: %
374: \begin{eqnarray}
375: \gamma^A \hat \nabla_A \epsilon=0.
376: \end{eqnarray}
377: %
378: %===============================%
379: The Nester tensor is defined by
380: %===============================%
381: %
382: \begin{eqnarray}
383: \hat E^{\mu\nu} & = & \frac{1}{2}\biggl( \bar \epsilon \gamma^{\mu\nu\alpha}
384: \hat \nabla_\alpha \epsilon +{\bf c.c.} \biggr) \nonumber \\
385: & = & E^{\mu\nu}-i \bar \epsilon (F^{\mu\nu}-\gamma_5 \tilde F^{\mu\nu})\epsilon
386: \end{eqnarray}
387: %
388: %===============================%
389: and we obtain the following formula
390: %===============================%
391: %
392: \begin{eqnarray}
393: \nabla_\mu \hat E^{\mu\nu} & = & \frac{1}{2}G^\nu_{~\mu} \xi^\mu +
394: {\overline {\hat \nabla_\mu \epsilon}}
395: \gamma^{\mu \nu \alpha} \hat \nabla_\alpha \epsilon \nonumber \\
396: & & -i \bar \epsilon (\nabla_\mu F^{\mu\nu}-\gamma_5 \nabla_\nu \tilde F^{\mu\nu}) \epsilon \nonumber \\
397: & & + 4\pi \bar \epsilon T^{\mu \nu}(F)\gamma_\nu \epsilon
398: \end{eqnarray}
399: %
400: %===============================%
401: where $\tilde F^{\mu\nu}=(1/2)\epsilon^{\mu\nu\alpha\beta}F_{\alpha\beta}$ and
402: %===============================%
403: %
404: \begin{eqnarray}
405: T_{\mu\nu}(F)=\frac{1}{4\pi}
406: \Biggl( F_{\mu}^{~\alpha}F_{\nu\alpha}-\frac{1}{4}g_{\mu\nu}F^2 \Biggr).
407: \end{eqnarray}
408: %
409: %===============================%
410: Integrating over the spacelike hypersurface, we are resulted in
411: %===============================%
412: %
413: \begin{widetext}
414: \begin{eqnarray}
415: 8\pi \epsilon^\dagger_0 \Biggl[E_{\rm ADM }-i \gamma^{\hat 0}(Q_{\rm e}-\gamma_5 Q_{\rm m})\Biggr] \epsilon_0
416: & = & \int_{V_{02}^\infty} dS_{\mu\nu} \hat E^{\mu\nu} \nonumber \\
417: & = & \int_{V_0} d\Sigma
418: \Biggl[ G^\mu_\nu \xi^\nu n_\mu +2|\hat \nabla_A \epsilon|^2
419: -2i \bar \epsilon (j^\mu_{\rm e} -\gamma_5j^\mu_{\rm m} ) \epsilon
420: n_\mu - 8\pi T_{\mu\nu}(F)\xi^\mu n^\nu \Biggr] \nonumber \\
421: & = &
422: \int_{V_0} d\Sigma
423: \biggl( 8\pi T^\mu_\nu \xi^\nu n_\mu +2|\hat \nabla_A \epsilon|^2
424: -2i\bar \epsilon (j^\mu_{\rm e} -\gamma_5j^\mu_{\rm m} ) \epsilon n_\mu \biggr),
425: \end{eqnarray}
426: \end{widetext}
427: %
428: %===============================%
429: where
430: %===============================%
431: %
432: \begin{eqnarray}
433: Q_{\rm e}= \frac{1}{8\pi}\int dS_{\mu\nu} F^{\mu\nu}
434: \end{eqnarray}
435: %
436: %===============================%
437: %===============================%
438: %
439: \begin{eqnarray}
440: Q_{\rm m}= \frac{1}{8\pi}\int dS_{\mu\nu} \tilde F^{\mu\nu}
441: \end{eqnarray}
442: %
443: %===============================%
444: %===============================%
445: %
446: \begin{eqnarray}
447: j^\mu_{\rm e} =\nabla_\nu F^{\nu\mu}
448: \end{eqnarray}
449: %
450: %===============================%
451: and
452: %===============================%
453: %
454: \begin{eqnarray}
455: j^\mu_{\rm m} =\nabla_\nu \tilde F^{\nu\mu}.
456: \end{eqnarray}
457: %
458: %===============================%
459: From first line to second one, we used
460: the Einstein equation $G_{\mu\nu}=8\pi ( T_{\mu\nu}(F)+T_{\mu\nu})$. Using the
461: above and the dominant energy condition, we can obtain the BPS bound
462: %===============================%
463: %
464: \begin{eqnarray}
465: E_{\rm ADM} \geq {\sqrt {Q_{\rm e}^2 + Q_{\rm m}^2}}.
466: \end{eqnarray}
467: %
468: %===============================%
469: As the inequality is saturated, $\hat \nabla_{\hat A} \epsilon=0$ holds.
470: In general, $\hat \nabla_{\hat 0} \epsilon \neq 0$ and $\hat \nabla_{\hat 1}
471: \epsilon \neq 0$. Since $\hat \nabla_{\hat A} \epsilon$ can be regarded as
472: a infinitesimal local supersymmetric transformation of the gravitino,
473: it is well-known fact that a part of supersymmetry is broken.
474:
475: We note that the current BPS bound theorem is slightly different from
476: that given in Ref. \cite{GHT}.
477:
478: \subsection{Positive tension theorem for charged branes}
479:
480: Let discuss the issue on the positive tension theorem\cite{Jennie2} or
481: BPS bound\cite{1st}. As is discussed in \cite{Jennie2},
482: we can expect the tension of a brane is a conserved charge associated
483: with an asymptotic spatial translational Killing vector parallel
484: to the brane as ADM energy is one associated with an asymptotic time translational Killing vector. In analogy with the construction of positive energy theorem, the Nester tensor is
485: defined by
486: %===============================%
487: %
488: \begin{eqnarray}
489: \hat B^{\mu\nu} & = & \frac{1}{2}
490: \biggl( \tilde \epsilon \gamma^{\mu\nu\alpha}\hat \nabla_\alpha \epsilon
491: +{\rm c.c.} \biggr) \nonumber \\
492: & = & \frac{1}{2}
493: \biggl( \tilde \epsilon \gamma^{\mu\nu\alpha}\nabla_\alpha \epsilon
494: +{\rm c.c.} \biggr) \nonumber \\
495: & & -\frac{1}{2} \Biggl[ i\tilde \epsilon (F^{\mu\nu}-\gamma_5 \tilde F^{\mu\nu})
496: \epsilon + {\rm c.c.} \Biggr] \nonumber \\
497: & = & \frac{1}{2}
498: \biggl( \tilde \epsilon \gamma^{\mu\nu\alpha}\nabla_\alpha \epsilon
499: +{\rm c.c.} \biggr) =B^{\mu\nu}
500: \end{eqnarray}
501: %
502: %===============================%
503: where $\tilde \epsilon = \epsilon^\dagger \gamma^{\hat 1}$. The integration over time is
504: taken to be finite interval $\Delta t$.
505: We should note that time direction in the construction of the previous theorem is replaced with $x^1$ direction. In similar way as previous section,
506: we can easily show
507: %===============================%
508: %
509: \begin{eqnarray}
510: 8\pi \mu |\epsilon_0|^2
511: & = & \frac{1}{\Delta t} \int_{V_1} dt dS_{\hat A} B^{\hat A \hat 2} \nonumber \\
512: & = & \frac{1}{\Delta t} \int dV_1 \biggl(2 |\nabla_A \epsilon|^2
513: -8\pi T^{\rm tot}_{\mu \hat 1}\tilde \xi^\mu \biggr).
514: \end{eqnarray}
515: %
516: %===============================%
517: where $\tilde \xi^\mu = \tilde \epsilon \gamma^\mu \epsilon$ and
518: $T_{\mu\nu}^{\rm tot}=T_{\mu\nu}(F)+T_{\mu\nu}$.
519: We followed the Traschen's definition
520: of the tension. See Refs. \cite{Jennie1,Jennie2,1st} for the issue of the
521: definition.
522:
523: Note that the gauge field does not contribute to the tension.
524: Thus BPS bound cannot be proven although it has been argued
525: in Ref. \cite{1st}. To prove that in general cases, we must
526: improve the proof non-trivially.
527:
528: \section{Summary}
529:
530: In this paper we proved several bound theorems in asymptotically translationally
531: invariant space-times. More precisely we could prove the positive energy theorem
532: for space-times with event horizon such as black strings. We also proved
533: positive energy and tension theorem for charged brane configurations.
534: For current definition of the tension, the gauge field does not contribute to
535: the tension.
536:
537: The positive energy theorem for black string space-times might be able to get
538: insight into issue on the final fate. We might be able to
539: prove a sort of uniqueness theorem using the positive energy theorem.
540: Indeed, in asymptotically flat space-times, the uniqueness theorem for
541: static black holes can be proved in this line \cite{UniqTheo1}.
542:
543: %======================================%
544: %<<<<<<<<< Acknowledgments >>>>>>>>>>>%
545: %======================================%
546: %\baselineskip25pt
547: \section*{Acknowledgments}
548:
549: We would like to thank Norisuke Sakai for fruitful discussions. To complete this work, the
550: discussion during and after the YITP workshops YITP-W-01-15 and YITP-W-02-19
551: were useful. The work of TS was supported by Grant-in-Aid for Scientific
552: Research from Ministry of Education, Science, Sports and Culture of
553: Japan(No.13135208, No.14740155 and No.14102004). The work of DI was supported by JSPS.
554:
555:
556: \vskip 1cm
557:
558: \appendix
559:
560:
561:
562:
563: %======================================%
564: %<<<<<<<<<<<< SECTION A >>>>>>>>>>>>>>%
565: %======================================%
566:
567: \section{boundary term at horizon}
568:
569: Here we present some useful formulae. Using Dirac-Witten equation,
570: $\nabla_{\hat 2}\epsilon$, which appeared as the first term in the integrand of
571: the right-hand side in the first line of Eq. (\ref{BT1}), can be written as
572: %===============================%
573: %
574: \begin{eqnarray}
575: \nabla_{\hat 2}\epsilon & = & -\gamma^{\hat 2} \gamma^{\hat a} \nabla_{\hat a} \epsilon
576: \nonumber \\
577: & = & -\gamma^{\hat 2}\gamma^{\hat a} \biggl(
578: D_{\hat a} \epsilon+\frac{1}{2}K_{\hat a \hat i} \gamma^{\hat i} \gamma^{\hat 0} \epsilon
579: \biggr) \nonumber \\
580: & = & -\gamma^{\hat 2} \gamma^{\hat a} \biggl( {\cal D}_{\hat a} \epsilon
581: +\frac{1}{2}J_{\hat a \hat A} \gamma^{\hat A} \gamma^{\hat 1}\epsilon
582: +\frac{1}{2}K_{\hat a \hat i} \gamma^{\hat i} \gamma^{\hat 0} \epsilon \biggr) \nonumber \\
583: & = & -\gamma^{\hat 2} \gamma^{\hat a} \biggl( d_{\hat a}\epsilon
584: +\frac{1}{2}k_{\hat a \hat b} \gamma^{\hat b} \gamma^{\hat 2} \epsilon
585: +\frac{1}{2}J_{\hat a \hat A} \gamma^{\hat A} \gamma^{\hat 1}\epsilon \nonumber \\
586: & & ~~+\frac{1}{2}K_{\hat a \hat i} \gamma^{\hat i} \gamma^{\hat 0} \epsilon
587: \biggr) \nonumber \\
588: & = & -\gamma^{\hat 2} \gamma^{\hat a} d_{\hat a}\epsilon -\frac{1}{2}k \epsilon
589: -\frac{1}{2}J_{\hat a \hat A} \gamma^{\hat 2} \gamma_{\hat a} \gamma^{\hat A} \gamma^{\hat 1} \epsilon
590: \nonumber \\
591: & & -\frac{1}{2}K_{\hat a \hat i} \gamma^{\hat 2} \gamma^{\hat a} \gamma^{\hat i} \gamma^{\hat 0} \epsilon
592: \end{eqnarray}
593: %
594: %===============================%
595: where $J_{AB}$ is defined by $J_{AB}=p_A^C D_C z_B$.
596:
597: Let us define a scalar field $\phi$ by
598: %===============================%
599: %
600: \begin{eqnarray}
601: \phi := \epsilon^\dagger J_{\hat a \hat A} \gamma^{\hat 2} \gamma^{\hat a}
602: \gamma^{\hat A} \gamma^{\hat 1} \epsilon
603: = - \epsilon^\dagger J_{\hat a \hat 2} \gamma^{\hat 2} \gamma^{\hat a} \gamma^{\hat 1} \epsilon
604: +\epsilon^\dagger J_{\hat a}^{~\hat a} \epsilon^\dagger \gamma^{\hat 2} \gamma^{\hat 1} \epsilon.
605: \end{eqnarray}
606: %
607: %===============================%
608: It is easy to see that $\phi$ is pure imaginal, $\phi^*=-\phi$. Then
609: %===============================%
610: %
611: \begin{eqnarray}
612: {\rm Re} (\epsilon^\dagger \nabla_{\hat 2} \epsilon) & = &
613: -\epsilon^\dagger \gamma^{\hat 2} \gamma^{\hat a} d_{\hat a}\epsilon
614: -\frac{1}{2}k |\epsilon|^2+\frac{1}{2}K_{\hat a \hat 2} \epsilon^\dagger \gamma^{\hat a}
615: \gamma^{\hat 0} \epsilon \nonumber \\
616: & & - \frac{1}{2}K_{\hat a}^{\hat a} \epsilon^\dagger \gamma^{\hat 2} \gamma^{\hat 0} \epsilon
617: \end{eqnarray}
618: %
619: %===============================%
620: In a same way, we obtain the following formula for the
621: second term of the integrand in the right-hand side in the 1st line
622: of Eq. (\ref{BT1}):
623: %===============================%
624: %
625: \begin{eqnarray}
626: {\rm Re} (\epsilon^\dagger \gamma^{\hat 2} \gamma^{\hat 1}\nabla_{\hat 1} \epsilon)
627: & = & {\rm Re}\Biggl[ \epsilon^\dagger \gamma^{\hat 2} \gamma^{\hat 1}
628: \biggl( D_{\hat 1} \epsilon +\frac{1}{2}K_{\hat 1 \hat i} \gamma^{\hat i} \gamma^{\hat 0}\epsilon
629: \biggr) \Biggr] \nonumber \\
630: & = & {\rm Re} \Biggl[\epsilon^\dagger \gamma^{\hat 2} \gamma^{\hat 1} D_{\hat 1} \epsilon \Biggr]
631: \nonumber \\
632: & & + \frac{1}{2}K_{\hat 1 \hat 1}{\rm Re} \Biggr[ \epsilon^\dagger \gamma^{\hat 2} \gamma^{\hat 0}\epsilon
633: \Biggr]
634: \end{eqnarray}
635: %
636: %===============================%
637:
638:
639: \begin{thebibliography}{22}
640:
641:
642: \bibitem{GL}
643: R. Gregory and R. Laflamme, Phys. Rev. Lett. {\bf 70}, 2837(1993).
644:
645: \bibitem{Gary}
646: G. T. Horowitz and K. Maeda, Phys. Rev. Lett. {\bf 87},131301(2001);
647: Phys. Rev. {\bf D65},104028(2002).
648:
649: \bibitem{BS}
650: H. S. Reall, Phys. Rev. {\bf D64}, 044005(2001);
651: S. S. Gubser, Class. Quant. Grav. {\bf 19},4825(2002);
652: S. S. Gubser and A. Ozakin, JHEP {\bf 0305},010(2003);
653: M. W. Choptuik, L. Lehner, I. Olabarrieta, R. Petryk, F. Pretorius and H. Villegas,
654: Phys. Rev. {\bf D68},044001(2003);
655: E. Sorkin and T. Piran, Phys. Rev. Lett. {\bf 90},171301(2003);
656: B. Kol and T. Wiseman, Class. Quant. Grav. {\bf 20},3493(2003).
657:
658: \bibitem{Toby}
659: T. Wiseman, Class. Quant. Grav. {\bf 20}, 1137(2003);
660: Class. Quant. Grav. {\bf 20},1177(2003).
661:
662:
663: \bibitem{Israel}
664: W. Israel, Phys. Rev. {\bf 164},1776(1967);
665: B. Carter, Phys. Rev. Lett, {\bf 26}, 331(1971);
666: S. W. Hawking, Commun. Math. Phys. {\bf 25}, 152(1972);
667: D. C. Robinson, Phys. Rev. Lett. {\bf 34}, 905(1975);
668: For review, M. Heusler, {\it Black Hole Uniqueness Theorems}, (Cambridge University Press,
669: London, 1996).
670:
671: \bibitem{UniqTheo1}
672: G. W. Gibbons, D. Ida and T. Shiromizu, Phys. Rev. Lett. {\bf 89},041101(2002);
673: Phys. Rev. {\bf D66},044010(2002);
674: Prog. Theor. Phys. Suppl. {\bf 148},284(2003);
675: M. Rogatko, Phys. Rev. {\bf D67},084025(2003).
676:
677: \bibitem{Jennie2}
678: J. Traschen, hep-th/0308173.
679:
680: \bibitem{PET}
681: E. Witten, Commun. Math. Phys. {\bf 80}, 381(1981);
682: J. Nester, Phys. Lett. {\bf 83A}, 241(1981).
683:
684: \bibitem{BH}
685: G. W. Gibbons, S. W. Hawking, G. T. Horowitz and M. J. Perry, Commun. Math. Phys.
686: {\bf 88}, 295(1983).
687:
688:
689: \bibitem{GHT}
690: G. W. Gibbons, G. T. Horowitz and P. K. Townsend, Class. Quantum Grav. {\bf 12}, 297(1995).
691:
692: \bibitem{N2PET}
693: G. W. Gibbons and C. M. Hull, Phys. Lett. {\bf 109B},190(1982).
694:
695: \bibitem{Jennie1}
696: J. Traschen and D. Fox, hep-th/0103106.
697:
698: \bibitem{1st}
699: P. K. Townsend and M. Zamaklar, Class. Quantum Grav. {\bf 18}, 5269(2001).
700:
701: \bibitem{asympto}
702: A. Ashtekar, J. Bicak and B. G. Schmidt, Phys. Rev. {\bf D55}, 669(1997)
703:
704: \end{thebibliography}
705: \end{document}
706:
707:
708:
709: