arxiv: v2 [math.dg] 17 Sep 2014
|
|
- Shannon Fleming
- 6 years ago
- Views:
Transcription
1 arxiv: v [math.dg] 17 Sep 014 On the validity of the definition of angular momentum in general relativity Po-Ning Chen, Lan-Hsuan Huang, Mu-Tao Wang and Shing-Tung Yau Abstract. We exam the validity of the definition of the ADM angular momentum without the parity assumption. Explicit examples of asymptotically flat hypersurfaces in the Minkowski spacetime with zero ADM energy-momentum vector and finite non-zero angular momentum vector are presented. We also discuss the Beig-Ó Murchadha-Regge-Teitelboim center of mass and study analogous examples in the Schwarzschild spacetime. 1. Introduction After decades of study, the energy-momentum proposed by Arnowitt, Deser, and Misner [1] for asymptotically flat initial data sets has been well-accepted as a fundamental concept in general relativity. Schoen-Yau s theorem[0]see also Witten [1]) establishes the most important positivity property of the definition. In addition, the rigidity property that the mass is strictly positive unless the initial data set can be embedded into the Minkowski spacetime is also obtained. Bartnik also proves the ADM energy is a coordinate invariant quantity [3]. Above-mentioned properties hold under rather general asymptotically flat decay assumptions at spatial infinity. There have been considerable efforts and interests to complete the definitions of total conserved quantities by supplementing with the angular momentum and center of mass. For example, see [19] for the angular momentum and [4, 18, 14] for the center of mass. Those definitions using flux integrals have applications in, for instance, the gluing construction of[14, 13]. However, they are more complex for at least the following two reasons: 1) The definition involves not only an asymptotically flat coordinate system but also the asymptotic Killing fields.
2 P.-N. Chen, L.-H. Huang, M.-T. Wang and S.-T. Yau ) The corresponding Killing fields are either boost fields or rotation fields, which are of higher order near spatial infinity in comparison to translating Killing field used in the definition of the ADM energy-momentum vector, so there is the issue of finiteness of the integrals. The issue of finiteness has been addressed by Ashtekar-Hansen[], Regge- Teitelboim [19], Chruściel [11], etc. Among them, Regge-Teitelboim proposed a parity condition on the asymptotically flat coordinate system. In particular, explicit divergent examples violating such a parity condition were constructed in [16, 6, 7]. In this note, we address the question about the validity of the ADM angular momentum and the Beig-Ó Murchadha-Regge-Teitelboim BORT) center of mass without assuming the parity condition. In particular, we provide explicit examples of spacelike hypersurfaces of finite angular momentum and center of mass in the Minkowski and Schwarzschild spacetimes. In the following, we recall the definition of asymptotically flat initial data sets and state the main results of this note. An initial data set is a three-dimensional manifold M equipped with a Riemannian metric g and a symmetric 0,)-tensor k. On an initial data set, one can define the mass density µ and the current density J by µ = 1 Rg k g +tr g k) ), J = div g k dtr g k). Definition 1.1. Let q > 1, p > 3 and ǫ > 0. The initial data set M,g,k) is asymptotically flat if for some compact subset K M, M \ K consists of a finite number of components M 1,..., M I such that each M i end) is diffeomorphic to the complement of a compact set in R 3. Under the diffeomorphisms, and g ij δ ij = O r q ), k ij = O 1 r p ) µ = Or 3 ǫ ), J = Or 3 ǫ ). The subscript in the big O notations indicates the order of derivatives which have the corresponding decay rates. Namely, f = O 1 r a ) means f = Or a ) and f = Or a 1 ). Note that it is necessary to assume q > 1 and p > 3 in order to prove positivity, rigidity, and coordinate invariance of the ADM definition of energy-momentum and mass by Schoen-Yau [0], Witten [1], and Chruściel [1] see also, for example, [9, 10, 5]). It is often convenient to consider the conjugate momentum π = k tr g k)g.
3 On the validity of angular momentum 3 It contains the same information as k because k = π 1 tr gπ)g. Then the Einstein constraint equations become R g π g + 1 tr gπ) = µ, div g π = J. We will refer M,g,π) as an initial data set below. Theorem 1. Let M,g,π) be an asymptotically flat initial data set. In addition, suppose π satisfies π = πr p +π 3) r 3 +o 1 r 3 ) where 3 < p < 3 and π and π 3) are 0,)-tensors independent of r on the unit sphere S. Assume further that J = Or 4 ǫ ) for some ǫ > 0. Then the ADM angular momentum is always finite. Theorem. There exist asymptotically flat spacelike hypersurfaces in the Minkowski spacetime with zero ADM energy-momentum, but the ADM angular momentum is finite and non-zero. Theorem 3. There exist asymptotically flat spacelike hypersurfaces in the Minkowski spacetime with zero ADM energy-momentum, but the BORT center of mass is finite and non-zero. Theorem 4. There exist asymptotically flat spacelike hypersurfaces in the Schwarzschild spacetime of mass m > 0 whose ADM energy-momentum vector is m,0,0,0) and the ADM angular momentum is finite and greater than m. The above examples do not satisfy the Regge-Teitelboim condition. Hence, it is unclear whether the angular momentum and center of mass satisfy the corresponding change of coordinates when they are computed with respect to another asymptotically flat coordinate system cf. [15]). The properties ofthe ADM and BORT definitions are in contrast to those ofthe recent definition of total conserved quantities on asymptotically flat initial data sets in [8], where, for example, the new definitions of angular momentum and center of mass integrals always vanish for hypersurfaces in the Minkowski spacetime. This note is organized as follows. In Section, we rewrite the ADM angular momentum integral in the spherical coordinates. In Section 3, we develop criteria to ensure the finiteness of the ADM angular momentum and BORT center of mass and prove Theorem 1. In Section 4, we discuss examples of hypersurfaces in the Minkowski spacetime and prove Theorem and Theorem 3. In Section 5, we prove Theorem 4.. ADM angular momentum and BORT center of mass We first recall the definition of ADM angular momentum and BORT center of mass.
4 4 P.-N. Chen, L.-H. Huang, M.-T. Wang and S.-T. Yau Definition.1 [19, 4]). Let M, g, π) be an asymptotically flat initial data set. The center of mass C and angular momentum JY) with respect to a rotation vector field Y = x x, for some i = 1,,3, are defined by i and C i = 1 16π lim r x =r x i j,k k JY) = 1 8π lim r x =r gjk x k g ) kk x j x j x ) g ] ki δ ki ) xk x g kk δ kk ) xi dσ 0 x j,k.1) π jk Y jxk x dσ 0,.) where dσ 0 is the area measure of the standard sphere of radius r. Our goal is to express the ADM angular momentum in the spherical coordinates. Let {r,u a },a = 1,, be the spherical coordinates corresponding to {x i }. The rule for change of variable is x i = r x i where x i,i = 1,,3, are the three coordinate functions on the unit sphere S. We have g ij dx i dx j = g ij x i x j )dr +rg ij x i Similarly, u a xj du a dr+r g ij x i u a x j u bdua du b. π ij = π ij x i x j )dr x i +rπ ij u a xj du a dr +r x i x j π ij u a u bdua du b = π rr dr +π ra drdu a +π ab du a du b. In particular, we see that if π ij = Or p ), then π rr = Or p ), π ra = Or p+1 ), and π ab = Or p+ ). Let σ and ǫ be the standard metric and area form on the unit sphere, respectively. Proposition.. Let M,g,π) be asymptotically flat and let {x i } be an asymptotically flat coordinate system. Let {r,u a },a = 1,, be the spherical coordinates corresponding to {x i }. Then the angular momentum integral.) can be written in the spherical coordinates: Jx i x j xj x i) = 1 8π lim r r ǫ ij l xl ǫ bc b π rc dµ S. S where dµ S is the standard measure on the unit sphere. It is understood that π rc = π rc r,u a ) is considered as a one-form on S that depends on r and the integral S ǫ ij l xl ǫ bc b π rc dµ S becomes a function of r only. Note that ǫ bc b π rc = dπ rc where is the Hodge dual with respect ot the metric σ. In particular, this is zero when π rc r,u a ) is a closed one-form on S. This fact will be used in Proposition 4.4.
5 On the validity of angular momentum 5 Proof. To compute the angular momentum, we need the following change of variable formulae: x i = 1 x i r u a σab u b + xi r, x i x j xj x i = xi xj xi xj ua u a) σab u b. Hence, we obtain πx i x j xj x i, r ) = xi xj xi xj ua u a) σab π br. It is easy to check that x i xj xi xj ua u a = ǫ a b ǫij l b x l, where ǫ a b is the area form on S and ǫ ij l is the volume form on R3, raised by the standard metrics on S and R 3, respectively. Therefore, S x i xj xi xj ua u a) σac π rc dµ S = S ǫ ij l xl ǫ bc b π rc dµ S. 3. Finite angular momentum Let M,g,π) be an initial data set where π = k tr g k)g is the conjugate momentum. In this section, we consider some criteria on g,π) to ensure the finiteness of the ADM angular momentum integral Leading terms of the momentum tensor Assume that the momentum tensor π has the following expansion π = πr p +π 3) r 3 +o 1 r 3 ) 3.1) where π and π 3) are symmetric 0,)-tensors independent of r on S and 3 < p < 3. This condition is closely related to the Ashtekar-Hansen condition []. We can rewrite π in 3.1) in the spherical coordinates, π = r p βdr +r 1 p α a drdu a +r p h ab du a du b +O 1 r 3 ), 3.) for a function β, a one-form α a, and a symmetric tensor h ab on S independent of r. We will show that if M,g,π) is asymptotically flat and π satisfies 3.1), then the angular momentum is always finite. We recall the following lemma. Lemma 3.1 [17, Lemma.3]). Let h be a symmetric 0,) tensor on R 3 satisfying h = h 00 dr +h 0a drdu a +h ab du a du b.
6 6 P.-N. Chen, L.-H. Huang, M.-T. Wang and S.-T. Yau Then div δ h = [ r r r h 00 )+r σ 1 u a σ σ ab h 0a ) r 3 σ ] ab h ab dr [ +r r r h 0a )+ σ 1 u a σ σ bc h ac )+ 1 h bc u a σbc ] du a. Proposition 3.. Let M, g, π) be asymptotically flat. In addition, suppose π satisfies 3.). Then div g π = r 1 p[ p)β + ] a α a h dr [ +r p 3 p)α a + b ĥ b a + 1 ] u ah du a +Or 1 p q ). In particular, if J = Or 4 ǫ ) for some ǫ > 0, then the constraint equations imply p)β + a α a h = 0 where h = σ ab h ab and ĥab = h ab 1 h σ ab. 3 p)α a + b ĥ b a + 1 uah = 0, 3.3) Proof. The constraintequationsimply div g π = Or 4 ǫ ). Bythe assumption g = δ+or q ), wehavediv g π = div δ π+or 1 q p ). Thepropositionfollows from applying Lemma 3.1. Proof of Theorem 1. By 3.3) and observing c a h = a c h, we obtain ǫ ac c α a = 1 ĥ 3 p ǫac c b b a. This is always perpendicular to x l by integration by parts twice and the equation b c x l = x l σ bc. Hence, by π ra = r 1 p α a + r π ra ) + o 1 r ) and Proposition., Jx i x j xj x i) = 1 ] [r 8π lim 3 p ǫ ij r l xl ǫ ac c α a S = 1 8π for all i,j {1,,3}. S ǫ ij l xl ǫ ac c π ) ra dµ S. dµ S 1 ǫ ij 8π l xl ǫ ac c π ra ) dµ S S We remark that Theorem 1 can be compared with the following example of divergent angular momentum. Although the leading term of π in Example 1 is of the form πr for a symmetric 0,)-tensor π on S, it does not contradict Theorem 1 since the next term is of the order r q where q is strictly less than 1. In fact, this next term cannot be of the order r 3, in view of Theorem 1.
7 On the validity of angular momentum 7 Example 1 [16, Section 3]). Given q 1,1) and functions α,β defined on the unit sphere, there exists a vacuum initial data set R 3,g,π) with the following expansions at infinity g ij dx i dx j = 1+ A r + α r ) dr + 1+ A r α ) r σ ab du a du b +O r 1 q ) r π ij dx i dx j = β r dr + r u a B i x i drdu a + B i x i σ ab du a du b +O 1 r q ), i i for some constants A,B i,i = 1,,3. If one chooses α = x 1 ), and β = x 1 x 3, then the angularmomentum J with respecttothe rotationvectorfield x 1 3 x 3 1 diverges. 3.. Fall-off rates of the initial data set We recall a theorem about finiteness and well-definedness of angular momentum for asymptotically flat manifolds by Chruściel [11]. Theorem 3.3 [11]). Let M,g,π) be an asymptotically flat initial data set. In addition, suppose g = δ +O r q ), π = O 1 r p ), and J = Or 4 ǫ ). where p+q > 3 and ǫ > 0. Then the ADM angular momentum is finite. Remark. The theorem is proved by applying the divergence theorem to.) and then observing div g π jk Y j ) = i π ij )Y j +π ij L Y g) ij. The constraint equation implies that i π ij = J j and the fall-off rate implies that π ij L Y g) ij is integrable. Hence, div g π jk Y j ) is integrable. Therefore, the angular momentum.) is finite and is independent of the family of surfaces used to compute the limit. 4. Hypersurfaces in the Minkowski spacetime A spacelike slice in the Minkowski spacetime can always be written as the graph t = fr,u a ) for some function f defined on R 3, where {r,u a },a = 1,, are the spherical coordinates Non-zero angular momentum Theorem 4.1. Suppose f = r 1 3Au a ) where A = x 1 x ) 3. Then the hypersurface t = f in the Minkowski spacetime satisfies E = 0, P = 0, and C = 0. The ADM angular momentum JY) is finite for any Y = x x,i = 1,,3 i and Jx 1 x x x 1) =
8 8 P.-N. Chen, L.-H. Huang, M.-T. Wang and S.-T. Yau Remark. This example is exactly on the borderline case of Theorem 3.3 with and p+q = 3. g = δ +O r 4/3 ) and π = O 1 r 5/3 ) To prove the above theorem, we need the following computational results. Denote by ḡ = dr + r σ ab du a du b the standard metric on R 3. The induced metric on the hypersurface t = f is g = 1 f r)dr f r f a drdu a +r σ ab f a f b )du a du b and the second fundamental form of the hypersurface is k = 1 1 f i j f)dx i dx j, where is covariant derivative of ḡ and {x i } is an arbitrary coordinate chart on R 3. In the sphericalcoordinate system ofḡ, the only non-trivialchristoffel symbols are Γ r ab = r σ ab, Γ a br = r 1 δb a, and Γ c ab. The second fundamental form in the spherical coordinates is thus 1 [ k = frr dr +f ra Γ b 1 f ar f b)drdu a +f ab Γ r ab f r Γ c ab f c)du a du b]. Proposition4.. Assume t = fr,u a ) is a spacelike hypersurface in the Minkowski spacetime. Suppose the momentum tensor in the spherical coordinates is of the form π = π rr dr +π ra drdu a +π ab du a du b. Then π ra = 1 1 f [ f ra r 1 f a +f rr +r f +r 1 f r )f r f a + f ] rf a ḡ lq f 1 f ḡkp p f q ) k l f), 4.1) where f denotes the Laplacian of fu a,r) with respect to the standard metric σ ab on S only derivatives with respect to u a are involved). Proof. We recall the relation between the Hessians of f with respect to g and ḡ: 1 i j f = 1 f i j f). 4.) We note that k = 1 f i j f)dx i dx j where is the covariant derivative with respect to the induced metric g. Thus tr g k = 1 f f, where is the Laplace operator of g. Therefore, π ra = k ra tr g k)g ra = 1 1 f f ra r 1 f a )+ 1 f f)f r f a.
9 On the validity of angular momentum 9 From 4.), we compute f = 1 1 f gkl k l f) = where we use 1 f + 1 f g kl = ḡ kl + ḡkp ḡ lq f p f q 1 f. ) 1 ḡ lq f 1 f ḡkp p f q ) k l f), Note that f = f rr +r f)+r 1 f r. Thus we obtain the desired identity. Proposition 4.3. Let f = Au a )r p for some real number p and a function Au a ) defined on S. If 0 < p < 1, we have π ra = A a p 1)r p 1 [ 1 +A a p 3p+1)A +pa A+ p 1) A ]r 3p 3 +o 1 r 3p 3 ). 4.3) If p = 0, we obtain Proof. Note that π ra = r 1 A a 1 r 3 A A a +o 1 r 3 ). 4.4) f r = par p 1, f rr = App 1)r p, f ra = A a pr p 1, f a = A a r p, f = A)r p. Thus, f = f r ) +r σ ab f a f b = p A + σ ab A a A b )r p. We check that the denominator of 4.1) has the following expansion 1 = 1+ p A + A ) r p +o 1 r p ). 4.5) 1 f Continuing the calculation of terms in π ra of 4.1), we arrive at f ra r 1 f a +f rr +r f +r 1 f r )f r f a = A a p 1)r p 1 + pp 1)A+ A)r p +par p ) par p 1 )A a r p ) = A a p 1)r p 1 +pp+1)a+ A)pAA a r 3p 3. Combining the above computations, we obtain the desired statement. Proposition 4.4. Let t = r p Au a ) be a hypersurface in the Minkowski spacetime. Suppose p = 1 3. Then the angular momentum integral is finite and Jx i x j xj x i) = 1 [ ǫ ij 4π l xl d da A A A ]) dµ S. 4.6) S Proof. By Proposition., the terms in 4.3) which are closed one-forms on S do not contribute to the angular momentum integral. By setting p = 1 3 and letting r go to infinity, we prove the identity.
10 10 P.-N. Chen, L.-H. Huang, M.-T. Wang and S.-T. Yau Our goal is to find a function A on S so that 4.6) is not zero for some i,j {1,,3}. Lemma 4.5. Let i,j {1,,3}, i j. Let p,q be positive even integers. We have the following inductive formulae x i ) p x j ) q pp 1) dµ S = x i ) p x j ) q dµ S S p+q)p+q +1) S qq 1) + x i ) p x j ) q dµ S, p+q)p+q +1) S x i ) q dµ S = 4π S 1+q, x i ) x j ) q 1 dµ S = S q +3)q +1) 4π, x i ) p x j ) q p 1)p 3) 3 4π dµ S = for p 4. S q +1)q +3) q +p 3) q +p 1)q +p+1) Proof. Denote by and the Laplace operator and gradient with respect to the standard metric on S. Then x i = x i and xi x j = δ ij x i x j. 4.7) Therefore, x i ) p x j ) q ) =pp 1) x i ) p x j ) q +qq 1) x i ) p x j ) q p+q)p+q +1) x i ) p x j ) q. Integrating by parts, we obtain the first formula. The remaning equations follow by induction. Proposition 4.6. Let A = x 1 x ) 3. Then [ x 3 d da A A A ]) dµ S = 16π S Proof. In this proof, we denote x i simply by x i. Using 4.7), we compute A = 0A+6x 1 x, A = x ) 6 +9x 1 ) x ) 4 16x 1 ) x ) 6, and thus A A A = 4A 3x 1 ) x ) 4 x ) 6. The term 4A does not contribute to the integral. We simplify dda 3x 1 ) x ) 4 x ) 6 )) = 6x ) 8 +6x 1 ) x ) 6 ) dx 1 dx ) = x 3 6x ) 8 +6x 1 ) x ) 6 ). It suffices to show that S x 3 ) 6x ) 8 + 6x 1 ) x ) 6 )dµ S 0. Using x 1 ) = 1 x 3 ) x ), we have x 3 ) 6x ) 8 +6x 1 ) x ) 6 )dµ S S ) =6 x 3 ) x ) 8 dµ S + x 3 ) x ) 6 dµ S x 3 ) 4 x ) 6 dµ S S S S = 16π 7 11.
11 On the validity of angular momentum 11 Lemma 4.5 is used in the last equality. Proof of Theorem 4.1. Note that the fall-off rate f = O r 1/3 ) implies that E = 0, and thus P = 0 by the positive mass theorem. By Proposition 4.4, the angular momentum is finite. We only need to show that it is not zero with respect to one of the rotation vector fields. By Proposition 4.4 and Proposition 4.6, Jx 1 x x x 1) = 1 [ x 3 d da A A A ]) dµ S = 4π S Furthermore, we can see that the center of mass is zero with respect to the coordinate chart {x}. In fact, it is easy to see that in the coordinate chart {x}, the coordinate spheres are symmetric with respect to reflection through the origin since the function f is even. Remark. Note that hypersurfaces of the form t = r 1 3Au a ) do not satisfy the Regge-Teitelboim condition unless A is an odd function. If A is odd, by Proposition 4.4, the angular momentum is zero. Remark. It is worthwhile to remark that the total angular momentum integral.) may be computed with respect to the induced metric on the spheres { x = r}. Under the Regge-Teitelboim asymptotics, the limiting value is the same. However, our example in Theorem 4.1 does not satisfy the Regge- Teitelboim assumption, and the limiting value may differ by a finite vector when the integral is computed with respect to the induced metric. Nevertheless, the angular momentum with respect to the induced metric still can be non-zero. 4.. Non-zero center of mass We construct a hypersurface in the Minkowski space with zero energy, linear momentum, and angular momentum, but its center of mass integral is not zero. Theorem 4.7. Suppose that f = Au a ) where A = x 1 + x 1 x. Then the hypersurface t = f in the Minkowski spacetime satisfies E = 0, P = 0, and J = 0. The components of the center of mass integral C α are C 1 = 0, C = 1 5, C3 = 0. To prove the theorem, we need the following computational result for the center of mass integral. Proposition 4.8. Let t = fr,u a ) = Au a ) be a hypersurface in the Minkowski spacetime for some function A C S ). Then the center of mass integral is finite and C i = 1 A x i dµ S. 4.8) 8π S
12 1 P.-N. Chen, L.-H. Huang, M.-T. Wang and S.-T. Yau Proof. Note that the induced metric on the graph is g ij = δ ij f i f j. The integrand of the center of mass integral.1) becomes x i gjk x k g ) ) kk x j g x j x ki δ ki ) xk x g kk δ kk ) xi x j,k k = x i f jk f k f kk f j +f kj f k ) xj x ) x k xi f k f i + f x x j,k k = x i j,k f kj f k f kk f j ) xj x + k x k xi f k f i f x x. Note that j f jx j = r r f and j f jx j ) k = j f kjx j + f k. Since f is independent of r, we have f i x i = 0 and f kj x j = f k. i Therefore, we obtain C i = 1 16π lim 1 x i f kj f k f kk f j )x j + f k f i x k f x i) dσ 0 r x =r r j,k k = 1 16π lim 1 x i f kj f k )x j f x i) dσ 0 r x =r r j,k = 1 8π lim r x =r f xi r dσ 0 = 1 8π j S A x i dµ S. Proof of Theorem 4.7. From the fall-off rates of g and π, it is easy to see that E = 0 and P = 0. By Proposition. and 4.4), the angular momentum is zero. By Proposition 4.8, the center of mass integral is finite. We only need to show that it is not zero for some i = 1,,3. Let A = x 1 + x 1 x. By Proposition 4.8 and Equation 4.7), C = 1 8π = 1 8π = 1 4π = 1 4π A x dµ S S x 1 + x 1 x ) x dµ S S x x1 x 1 x )dµ S S S [ x ) x 1 ) x ) ]dµ S = 1 5. In the last equality, we use Lemma 4.5. By a similar computation, one shows that C 1 = C 3 = 0
13 On the validity of angular momentum 13 Remark. The induced metric g and the second fundamental form k for the hypersurface t = Au a ) is g ij = δ ij +Or ), k ij = Or ). In general, the Regge-Teitelboim condition does not hold on these hypersurfaces unless the function A is odd. However, if A is odd, it is easy to see that the center of mass integral is zero due to parity. Remark. One can construct hypersurfaces with finite and non-zero center of mass integral defined by t = r k Au a ) + r k Bu a ) for some 1 k 0. In particular, if k = 1, A is odd and B is even, then the induced metric and second fundamental form satisfy g ij = δ ij +Or 1 ), k ij = Or 3 ) g odd ij = Or ), k even ij = Or 5 ). The fall-off rates of k and k even are on the borderline cases for the Regge- Teitelboim condition. 5. Hypersurfaces in the Schwarzschild spacetime In this section, our goal is to find spacelike hypersurfaces in the Schwarzschild spacetime whose angular momentum is not zero. The Schwarzschild spacetime metric of mass m outside the event horizon is given by ds = 1 m r ) dt + 1 m r ) 1 dr +r σ abdu a du b, where r > m, {u a },a = 1,, are spherical coordinates on the unit sphere, and the σ ab is the metric on the unit sphere. The exterior of a spacelike hypersurface in the Schwarzschild space is the graph of t = fr,u a ) for r > m. Let ḡ be the metric on the slice {t = 0} and be the covariantderivative of ḡ. Theorem 5.1. The exterior of a spacelike hypersurface in the Schwarzschild spacetime of mass m can be expressed as the graph of t = fr,u a ),r > m. Suppose f = r 1 3Au a ) where A = x 1 x ) 3. Then the spacelike hypersurface is asymptotically flat and satisfies E = m, P = 0, and C = 0. The angular momentum JY) is finite for any Y = x i x,i = 1,,3 and Jx 1 x x x 1) = Remark. Rescaling f by a constant λ > 0, we have asymptotically flat manifolds of mass m and of arbitrarily large angular momentum. In particular, this provides an explicit example that the mass-angular momentum inequality m J does not hold for the ADM definition cf. [17]).
14 14 P.-N. Chen, L.-H. Huang, M.-T. Wang and S.-T. Yau In order to obtain the momentum tensor and then the angular momentum, we first compute the first and second fundamental forms of a spacelike hypersurface in the Schwarzschild spacetime. Proposition 5.. The induced metric of a hypersurface t = fr,u a ) in the Schwarzschild spacetime of mass m is [ g = 1 m ) 1 1 m ) ] fr dr 1 m ) f r f a drdu a r r r [ + r σ ab 1 m r )f a f b ] du a du b. Denote by g rr, g ra, and g ab the coefficients of the inverse metric. The inverse metric is considered as a,0) tensor. Then g rr = 1 m ) ) 1 m r + ) r 1 m 1 r f f r ) 1 m g ra r r σ ab = ) f 1 m 1 bf r r f g ab = r σ ab bd r 4 σ ac σ + ) f 1 m 1 cf d. r f The timelike unit normal vector is ν = 1 m r 1 ) 1 f [ 1 m r ) 1 t + 1 m r )f r r +r σ ab f a b ] Proof. For any coordinate system{x} on the{t = 0}-slice, the induced metric on the hypersurface t = fx) is g ij = ḡ ij +f i f j g tt = ḡ ij f i f j 1 m ) r and the inverse metric is g ij = ḡ ij ḡ ik ḡ jl f k f l + ). 1 m 1 r f Using the spherical coordinates {r,u a } on the 0-slice and noting ) 1 ḡ 1 m = r 0 ab, 0 r σ we obtain the first two equations. Let e r = r +f r t and e a = a +f a t,a = 1, be a basis of the tangent space of the graph. It is straightforward to check that the unit timelike vector ν is normal to e r and e a..
15 On the validity of angular momentum 15 Proposition 5.3. Let k be the second fundamental form of t = fr,u a ) in the Schwarzschild spacetime of mass m. Let w = 1 m ) 1 f r. Then k = k rr dr +k ra drdu a +k ab du a du b where k rr = 1 m f rr +3f r w r 1 m ) 1 f 3 m r r r k ra = 1 f ra f a w r +f m a r 1 m ) 1 f r k ab = 1 m f ab +r σ ab f a f b w r )f r 1 m r 1 m r m r f a r ) ) 1 m r ) Γ cabf c ). Proof. Let e r = r +f r t and e a = a +f a t,a = 1, be tangent vectors of the graph. Recall k ij = ds ν, ds e i e j ). The Christoffel symbols of ds are Γ r rr = 1 m ) 1 m r r Γ b ra = 1 r δb a Γ r ab = 1 m r Γ t rt = m r 1 m r Γ r tt = m r 1 m r ) σ ab r ) 1 Γ c ab are the same as those on S, and all other Christoffel symbols are zero. The desired result follows from direct computations. Proof of Theorem 5.1. It follows from the fall-off rate p = 1 3 that E = m. To obtain the angular momentum, we compute π ra = k ra tr g k)g ra. By Proposition 5. and Proposition 5.3 and letting fr,u a ) = r 1 3Au a ), we check that π ra = k ra tr g k)g ra = 1 [ f ra f a w r +f m a r +f rr +r f ] +r 1 f r )f r f a +or 3p 3 ). where 1 w = 1 1 ) m 1 f r ), =1 m r + 1 p A+ A )r p +or p ). ) )
16 16 P.-N. Chen, L.-H. Huang, M.-T. Wang and S.-T. Yau Therefore, comparing with 4.3) of the hypersurface in the Minkowski spacetime, the only extra term involving m that would contribute to the angular momentum integral is m f ra f ) a = p )ma a r p. r r Since the above term is a closed form on S, its contribution to the angular momentum is zero by Proposition.. As computed in Proposition 4.4 and by Proposition 4.6, we conclude that Jx 1 x x x 1) = 1 x 3 d 4π S [ da A A A ]) dµ S = For the linear momentum, we apply the invariance of mass for asymptotically flat spacetime by Chruściel in [1]. Since the hypersurface and the static slice are both asymptotically flat of order 3 and they differ by a supertranslation of order O r 1 3), the ADM mass and linear momentum of the hypersurface are the same as those of the static slice. Hence the linear momentum of the hypersurface is zero. For the center of mass, since the hypersurface is symmetric with respect to the origin of the coordinate system {x i }, its center of mass is zero. Acknowledgements. P.-N. Chen was partially supported by NSF DMS L.-H. Huang was partially supported by NSF DMS M.-T. Wang was partially supported by NSF DMS and DMS S.-T. Yau was partially supported by NSF through DMS and PHY This material is based upon work partially supported by NSF under Grant No , while the second author was in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the Fall 013 program in Mathematical General Relativity. We also thank the referee for very careful reading and for pointing out some missing factors in the computations of the first version of the paper. References 1. R. Arnowitt, S. Deser, and C. W. Misner, The dynamics of general relativity, Gravitation: An introduction to current research, Wiley, New York, 196, pp MR #118). Abhay Ashtekar and R. O. Hansen, A unified treatment of null and spatial infinity in general relativity. I. Universal structure, asymptotic symmetries, and conserved quantities at spatial infinity, J. Math. Phys ), no. 7, MR #0188) 3. Robert Bartnik, The mass of an asymptotically flat manifold, Comm. Pure Appl. Math ), no. 5, MR b:58144)
17 On the validity of angular momentum R. Beig and N. Ó Murchadha, The Poincaré group as the symmetry group of canonical general relativity, Ann. Physics ), no., MR c:83046) 5. P. Bizoń and E. Malec, On Witten s positive-energy proof for weakly asymptotically flat spacetimes, Classical Quantum Gravity ), no. 6, L13 L18. MR f:83030c) 6. Carla Cederbaum and Christopher Nerz, Explicit riemannian manifolds with unexpectedly behaving center of mass, Ann. Henri Poincaré 014). 7. Pak-Yeung Chan and Luen-Fai Tam, A note on center of mass, arxiv: Po-Ning Chen, Mu-Tao Wang, and Shing-Tung Yau, Conserved quantities in general relativity: from the quasi-local level to spatial infinity, arxiv: [math.dg]. 9. Piotr T. Chruściel, A remark on the positive-energy theorem, Classical Quantum Gravity ), no. 6, L115 L11. MR f:83030a) 10., Corrigendum: A remark on the positive-energy theorem, Classical Quantum Gravity ), no. 4, MR f:83030b) 11., On angular momentum at spatial infinity, Classical Quantum Gravity ), no. 6, L05 L10. MR h:83035) 1., On the invariant mass conjecture in general relativity, Comm. Math. Phys ), no., MR m:83033) 13. Piotr T. Chruściel and Erwann Delay, On mapping properties of the general relativistic constraints operator in weighted function spaces, with applications, Mém. Soc. Math. Fr. N.S.) 003), no. 94, vi+103. MR f:83008) 14. Justin Corvino and Richard M. Schoen, On the asymptotics for the vacuum Einstein constraint equations, J. Differential Geom ), no., MR e:58044) 15. Lan-Hsuan Huang, On the center of mass of isolated systems with general asymptotics, Classical Quantum Gravity 6 009), no. 1, 01501, 5. MR , Solutions of special asymptotics to the Einstein constraint equations, Classical Quantum Gravity 7 010), no. 4, 4500, 10. MR a:83006) 17. Lan-Hsuan Huang, Richard Schoen, and Mu-Tao Wang, Specifying angular momentum and center of mass for vacuum initial data sets, Comm. Math. Phys ), no. 3, MR j:83009) 18. Gerhard Huisken and Shing-Tung Yau, Definition of center of mass for isolated physical systems and unique foliations by stable spheres with constant mean curvature, Invent. Math ), no. 1-3, MR m:53037) 19. Tullio Regge and Claudio Teitelboim, Role of surface integrals in the Hamiltonian formulation of general relativity, Ann. Physics ), MR #1115) 0. Richard M. Schoen and Shing Tung Yau, Proof of the positive mass theorem. II, Comm. Math. Phys ), no., MR i:83045) 1. Edward Witten, A new proof of the positive energy theorem, Comm. Math. Phys ), no. 3, MR e:83035)
18 18 P.-N. Chen, L.-H. Huang, M.-T. Wang and S.-T. Yau Po-Ning Chen Department of Mathematics, Columbia University, New York, NY Lan-Hsuan Huang Department of Mathematics, University of Connecticut, Storrs, CT Mu-Tao Wang Department of Mathematics, Columbia University, New York, NY Shing-Tung Yau Department of Mathematics, Harvard University, Cambridge, MA
arxiv: v1 [math.dg] 3 Jan 2014
ON THE VALIDITY OF THE DEFINITION OF ANGULAR MOMENTUM IN GENERAL RELATIVITY arxiv:40.0597v [math.dg] 3 Jan 204 PO-NING CHEN, LAN-HSUAN HUANG, MU-TAO WANG, AND SHING-TUNG YAU Abstract. We exam the validity
More informationQuasi-local mass and isometric embedding
Quasi-local mass and isometric embedding Mu-Tao Wang, Columbia University September 23, 2015, IHP Recent Advances in Mathematical General Relativity Joint work with Po-Ning Chen and Shing-Tung Yau. The
More informationAn introduction to General Relativity and the positive mass theorem
An introduction to General Relativity and the positive mass theorem National Center for Theoretical Sciences, Mathematics Division March 2 nd, 2007 Wen-ling Huang Department of Mathematics University of
More informationQuasi-local Mass and Momentum in General Relativity
Quasi-local Mass and Momentum in General Relativity Shing-Tung Yau Harvard University Stephen Hawking s 70th Birthday University of Cambridge, Jan. 7, 2012 I met Stephen Hawking first time in 1978 when
More informationQuasi-local Mass in General Relativity
Quasi-local Mass in General Relativity Shing-Tung Yau Harvard University For the 60th birthday of Gary Horowtiz U. C. Santa Barbara, May. 1, 2015 This talk is based on joint work with Po-Ning Chen and
More informationarxiv: v1 [math.dg] 4 Sep 2009
SOME ESTIMATES OF WANG-YAU QUASILOCAL ENERGY arxiv:0909.0880v1 [math.dg] 4 Sep 2009 PENGZI MIAO 1, LUEN-FAI TAM 2 AND NAQING XIE 3 Abstract. Given a spacelike 2-surface in a spacetime N and a constant
More informationarxiv:gr-qc/ v1 24 Jun 2004
A new geometric invariant on initial data for Einstein equations ergio Dain 1, 1 Albert-Einstein-Institut, am Mühlenberg 1, D-14476, Golm, Germany. (Dated: July 11, 2004) For a given asymptotically flat
More informationLocalizing solutions of the Einstein equations
Localizing solutions of the Einstein equations Richard Schoen UC, Irvine and Stanford University - General Relativity: A Celebration of the 100th Anniversary, IHP - November 20, 2015 Plan of Lecture The
More informationLevel sets of the lapse function in static GR
Level sets of the lapse function in static GR Carla Cederbaum Mathematisches Institut Universität Tübingen Auf der Morgenstelle 10 72076 Tübingen, Germany September 4, 2014 Abstract We present a novel
More informationMINIMIZING PROPERTIES OF CRITICAL POINTS OF QUASI-LOCAL ENERGY
MINIMIZING PROPERTIES OF CRITICAL POINTS OF QUASI-LOCAL ENERGY PO-NING CHEN, MU-TAO WANG, AND SHING-TUNG YAU arxiv:30.53v [math.dg] 5 Jun 03 Abstract. In relativity, the energy of a moving particle depends
More informationGeneral Relativity and Important Physical Quantities
General Relativity and Important Physical Quantities Shing-Tung Yau Harvard University 2nd LeCosPA Symposium December 14, 2015 This talk is based on joint work with Po-Ning Chen and Mu-Tao Wang. Exactly
More informationCOMPUTING ASYMPTOTIC INVARIANTS WITH THE RICCI TENSOR ON ASYMPTOTICALLY FLAT AND HYPERBOLIC MANIFOLDS. Introduction
COMPUTING ASYMPTOTIC INVARIANTS WITH THE RICCI TENSOR ON ASYMPTOTICALLY FLAT AND HYPERBOLIC MANIFOLDS MARC HERZLICH Abstract. We prove in a simple and coordinate-free way the equivalence bteween the classical
More informationRIGIDITY OF STATIONARY BLACK HOLES WITH SMALL ANGULAR MOMENTUM ON THE HORIZON
RIGIDITY OF STATIONARY BLACK HOLES WITH SMALL ANGULAR MOMENTUM ON THE HORIZON S. ALEXAKIS, A. D. IONESCU, AND S. KLAINERMAN Abstract. We prove a black hole rigidity result for slowly rotating stationary
More informationGeometric inequalities for black holes
Geometric inequalities for black holes Sergio Dain FaMAF-Universidad Nacional de Córdoba, CONICET, Argentina. 3 August, 2012 Einstein equations (vacuum) The spacetime is a four dimensional manifold M with
More informationUmbilic cylinders in General Relativity or the very weird path of trapped photons
Umbilic cylinders in General Relativity or the very weird path of trapped photons Carla Cederbaum Universität Tübingen European Women in Mathematics @ Schloss Rauischholzhausen 2015 Carla Cederbaum (Tübingen)
More informationON THE CENTER OF MASS OF ASYMPTOTICALLY HYPERBOLIC INITIAL DATA SETS
ON THE CENTER OF MASS OF ASYMPTOTICALLY HYPERBOLIC INITIAL DATA SETS CARLA CEDERBAUM, JULIEN CORTIER, AND ANNA SAKOVICH Abstract. We define the (total center of mass for suitably asymptotically hyperbolic
More informationLIST OF PUBLICATIONS. Mu-Tao Wang. March 2017
LIST OF PUBLICATIONS Mu-Tao Wang Publications March 2017 1. (with P.-K. Hung, J. Keller) Linear stability of Schwarzschild spacetime: the Cauchy problem of metric coefficients. arxiv: 1702.02843v2 2. (with
More informationAn Overview of Mathematical General Relativity
An Overview of Mathematical General Relativity José Natário (Instituto Superior Técnico) Geometria em Lisboa, 8 March 2005 Outline Lorentzian manifolds Einstein s equation The Schwarzschild solution Initial
More informationTHE BONDI-SACHS FORMALISM JEFF WINICOUR UNIVERSITY OF PITTSBURGH. Scholarpedia 11(12):33528 (2016) with Thomas Mädler
THE BONDI-SACHS FORMALISM JEFF WINICOUR UNIVERSITY OF PITTSBURGH Scholarpedia 11(12):33528 (2016) with Thomas Mädler NULL HYPERSURFACES u = const Normal co-vector @ u is null g @ u @ u =0 Normal vector
More informationHamiltonian stationary cones and self-similar solutions in higher dimension
arxiv:080.0359v1 [math.dg] 4 Feb 008 Hamiltonian stationary cones and self-similar solutions in higher dimension Yng-Ing Lee* and Mu-Tao Wang** June 07, 007, last revised February 3, 008 *Department of
More informationRigidity of outermost MOTS: the initial data version
Gen Relativ Gravit (2018) 50:32 https://doi.org/10.1007/s10714-018-2353-9 RESEARCH ARTICLE Rigidity of outermost MOTS: the initial data version Gregory J. Galloway 1 Received: 9 December 2017 / Accepted:
More informationInequalities for the ADM-mass and capacity of asymptotically flat manifolds with minimal boundary
Inequalities for the ADM-mass and capacity of asymptotically flat manifolds with minimal boundary Fernando Schwartz Abstract. We present some recent developments involving inequalities for the ADM-mass
More informationarxiv: v3 [math.ap] 27 Jan 2015
TIME EVOLUTION OF ADM AND CMC CENTER OF MASS IN GENERAL RELATIVITY CHRISTOPHER NERZ arxiv:1312.6274v3 [math.ap] 27 Jan 2015 Abstract. It is shown by several authors going back to Huisken-Yau that asymptotically
More informationON THE STATIC METRIC EXTENSION PROBLEM
ON THE STATIC METRIC EXTENSION PROBLEM STEFAN CZIMEK Abstract. The subject of this Master thesis under the guidance of M. Eichmair is the following theorem of J. Corvino and R. Schoen [5]: Minimal mass
More informationarxiv:gr-qc/ v1 24 Feb 2004
A poor man s positive energy theorem arxiv:gr-qc/0402106v1 24 Feb 2004 Piotr T. Chruściel Département de Mathématiques Faculté des Sciences Parc de Grandmont F37200 Tours, France Gregory J. Galloway Department
More informationarxiv: v1 [math.dg] 11 Apr 2016
QUASI-LOCAL ENERGY WITH RESPECT TO A STATIC SPACETIME PO-NING CHEN, MU-TAO WANG, YE-KAI WANG, AND SHING-TUNG YAU arxiv:604.02983v [math.dg] Apr 206 Abstract. This article considers the quasi-local energy
More informationEvaluating quasilocal energy and solving optimal embedding equation at null infinity arxiv: v2 [math.dg] 2 Oct 2010
Evaluating quasilocal energy and solving optimal embedding equation at null infinity arxiv:1002.0927v2 [math.dg] 2 Oct 2010 PoNing Chen, Mu-Tao Wang, and Shing-Tung Yau February 3, 2010, revised September
More informationNull Cones to Infinity, Curvature Flux, and Bondi Mass
Null Cones to Infinity, Curvature Flux, and Bondi Mass Arick Shao (joint work with Spyros Alexakis) University of Toronto May 22, 2013 Arick Shao (University of Toronto) Null Cones to Infinity May 22,
More information8 Symmetries and the Hamiltonian
8 Symmetries and the Hamiltonian Throughout the discussion of black hole thermodynamics, we have always assumed energy = M. Now we will introduce the Hamiltonian formulation of GR and show how to define
More informationAngular momentum and Killing potentials
Angular momentum and Killing potentials E. N. Glass a) Physics Department, University of Michigan, Ann Arbor, Michigan 4809 Received 6 April 995; accepted for publication September 995 When the Penrose
More informationUNIQUENESS OF STATIC BLACK-HOLES WITHOUT ANALYTICITY. Piotr T. Chruściel & Gregory J. Galloway
UNIQUENESS OF STATIC BLACK-HOLES WITHOUT ANALYTICITY by Piotr T. Chruściel & Gregory J. Galloway Abstract. We show that the hypothesis of analyticity in the uniqueness theory of vacuum, or electrovacuum,
More informationFOLIATIONS BY STABLE SPHERES WITH CONSTANT MEAN CURVATURE FOR ISOLATED SYSTEMS WITHOUT ASYMPTOTIC SYMMETRY
FOLIATIONS BY STABLE SPHERES WITH ONSTANT MEAN URVATURE FOR ISOLATED SYSTEMS WITHOUT ASYMPTOTI SYMMETRY HRISTOPHER NERZ Abstract. In 1996, Huisken-Yau showed that every three-dimensional Riemannian manifold
More informationarxiv:math/ v1 [math.dg] 19 Nov 2004
arxiv:math/04426v [math.dg] 9 Nov 2004 REMARKS ON GRADIENT RICCI SOLITONS LI MA Abstract. In this paper, we study the gradient Ricci soliton equation on a complete Riemannian manifold. We show that under
More informationOn the mass of asymptotically hyperbolic manifolds
On the mass of asymptotically hyperbolic manifolds Mattias Dahl Institutionen för Matematik, Kungl Tekniska Högskolan, Stockholm April 6, 2013, EMS/DMF Joint Mathematical Weekend Joint work with Romain
More informationGeneral Relativity and Cosmology Mock exam
Physikalisches Institut Mock Exam Universität Bonn 29. June 2011 Theoretische Physik SS 2011 General Relativity and Cosmology Mock exam Priv. Doz. Dr. S. Förste Exercise 1: Overview Give short answers
More informationNOTE ON ASYMPTOTICALLY CONICAL EXPANDING RICCI SOLITONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 NOTE ON ASYMPTOTICALLY CONICAL EXPANDING RICCI SOLITONS JOHN LOTT AND PATRICK WILSON (Communicated
More informationCausality, hyperbolicity, and shock formation in Lovelock theories
Causality, hyperbolicity, and shock formation in Lovelock theories Harvey Reall DAMTP, Cambridge University HSR, N. Tanahashi and B. Way, arxiv:1406.3379, 1409.3874 G. Papallo, HSR arxiv:1508.05303 Lovelock
More informationHyperbolic Geometric Flow
Hyperbolic Geometric Flow Kefeng Liu Zhejiang University UCLA Page 1 of 41 Outline Introduction Hyperbolic geometric flow Local existence and nonlinear stability Wave character of metrics and curvatures
More informationOLIVIA MILOJ March 27, 2006 ON THE PENROSE INEQUALITY
OLIVIA MILOJ March 27, 2006 ON THE PENROSE INEQUALITY Abstract Penrose presented back in 1973 an argument that any part of the spacetime which contains black holes with event horizons of area A has total
More informationRecovering General Relativity from Hořava Theory
Recovering General Relativity from Hořava Theory Jorge Bellorín Department of Physics, Universidad Simón Bolívar, Venezuela Quantum Gravity at the Southern Cone Sao Paulo, Sep 10-14th, 2013 In collaboration
More informationMass, quasi-local mass, and the flow of static metrics
Mass, quasi-local mass, and the flow of static metrics Eric Woolgar Dept of Mathematical and Statistical Sciences University of Alberta ewoolgar@math.ualberta.ca http://www.math.ualberta.ca/~ewoolgar Nov
More informationÜbungen zu RT2 SS (4) Show that (any) contraction of a (p, q) - tensor results in a (p 1, q 1) - tensor.
Übungen zu RT2 SS 2010 (1) Show that the tensor field g µν (x) = η µν is invariant under Poincaré transformations, i.e. x µ x µ = L µ νx ν + c µ, where L µ ν is a constant matrix subject to L µ ρl ν ση
More informationAsymptotic Behavior of Marginally Trapped Tubes
Asymptotic Behavior of Marginally Trapped Tubes Catherine Williams January 29, 2009 Preliminaries general relativity General relativity says that spacetime is described by a Lorentzian 4-manifold (M, g)
More informationWARPED PRODUCTS PETER PETERSEN
WARPED PRODUCTS PETER PETERSEN. Definitions We shall define as few concepts as possible. A tangent vector always has the local coordinate expansion v dx i (v) and a function the differential df f dxi We
More informationGeometric inequalities for black holes
Geometric inequalities for black holes Sergio Dain FaMAF-Universidad Nacional de Córdoba, CONICET, Argentina. 26 July, 2013 Geometric inequalities Geometric inequalities have an ancient history in Mathematics.
More informationNon-existence of time-periodic vacuum spacetimes
Non-existence of time-periodic vacuum spacetimes Volker Schlue (joint work with Spyros Alexakis and Arick Shao) Université Pierre et Marie Curie (Paris 6) Dynamics of self-gravitating matter workshop,
More informationarxiv: v1 [math.dg] 1 Jul 2014
Constrained matrix Li-Yau-Hamilton estimates on Kähler manifolds arxiv:1407.0099v1 [math.dg] 1 Jul 014 Xin-An Ren Sha Yao Li-Ju Shen Guang-Ying Zhang Department of Mathematics, China University of Mining
More informationarxiv: v1 [gr-qc] 2 Feb 2015
arxiv:1502.00424v1 [gr-qc] 2 Feb 2015 Valiente Kroon s obstructions to smoothness at infinity James Grant Department of Mathematics, University of Surrey, Paul Tod Mathematical Institute University of
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationTHE INITIAL VALUE FORMULATION OF GENERAL RELATIVITY
THE INITIAL VALUE FORMULATION OF GENERAL RELATIVITY SAM KAUFMAN Abstract. The (Cauchy) initial value formulation of General Relativity is developed, and the maximal vacuum Cauchy development theorem is
More informationCharge, geometry, and effective mass
Gerald E. Marsh Argonne National Laboratory (Ret) 5433 East View Park Chicago, IL 60615 E-mail: geraldemarsh63@yahoo.com Abstract. Charge, like mass in Newtonian mechanics, is an irreducible element of
More informationSolving Einstein s Equation Numerically III
Solving Einstein s Equation Numerically III Lee Lindblom Center for Astrophysics and Space Sciences University of California at San Diego Mathematical Sciences Center Lecture Series Tsinghua University
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationExact Solutions of the Einstein Equations
Notes from phz 6607, Special and General Relativity University of Florida, Fall 2004, Detweiler Exact Solutions of the Einstein Equations These notes are not a substitute in any manner for class lectures.
More informationInverse Mean Curvature Vector Flows in Spacetimes
Inverse Mean Curvature Vector Flows in Spacetimes Hangjun Xu April 1, 2014 Contents 1 Introduction: 3 minutes 1 2 Motivation: 18 minutes 2 2.1 Riemannian Penrose Inequality..................... 2 2.2 Inverse
More informationThermodynamics of black holes from the Hamiltonian point of view
Thermodynamics of black holes from the Hamiltonian point of view Ewa Czuchry Yukawa Institute for Theoretical Physics, Kyoto University, Kitashirakawa-Oiwake-Cho, Sakyo-ku, Kyoto 606-8502, Japan Jacek
More informationA Summary of the Black Hole Perturbation Theory. Steven Hochman
A Summary of the Black Hole Perturbation Theory Steven Hochman Introduction Many frameworks for doing perturbation theory The two most popular ones Direct examination of the Einstein equations -> Zerilli-Regge-Wheeler
More informationMy Personal Journey on the Geometric Aspect of General Relativity
My Personal Journey on the Geometric Aspect of General Relativity Shing-Tung Yau Harvard University The first annual meeting of ICCM 2017 Sun Yat-sen University, Guangzhou December 28, 2017 This talk is
More informationThe Horizon Energy of a Black Hole
arxiv:1712.08462v1 [gr-qc] 19 Dec 2017 The Horizon Energy of a Black Hole Yuan K. Ha Department of Physics, Temple University Philadelphia, Pennsylvania 19122 U.S.A. yuanha@temple.edu December 1, 2017
More informationTensors, and differential forms - Lecture 2
Tensors, and differential forms - Lecture 2 1 Introduction The concept of a tensor is derived from considering the properties of a function under a transformation of the coordinate system. A description
More informationIn 1973 R. Penrose [13] made a physical argument
Black Holes, Geometric Flows, and the Penrose Inequality in General Relativity Hubert L. Bray In 1973 R. Penrose [13] made a physical argument that the total mass of a spacetime containing black holes
More informationCharge, geometry, and effective mass in the Kerr- Newman solution to the Einstein field equations
Charge, geometry, and effective mass in the Kerr- Newman solution to the Einstein field equations Gerald E. Marsh Argonne National Laboratory (Ret) 5433 East View Park Chicago, IL 60615 E-mail: gemarsh@uchicago.edu
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
More informationTheory. V H Satheeshkumar. XXVII Texas Symposium, Dallas, TX December 8 13, 2013
Department of Physics Baylor University Waco, TX 76798-7316, based on my paper with J Greenwald, J Lenells and A Wang Phys. Rev. D 88 (2013) 024044 with XXVII Texas Symposium, Dallas, TX December 8 13,
More informationBondi mass of Einstein-Maxwell-Klein-Gordon spacetimes
of of Institute of Theoretical Physics, Charles University in Prague April 28th, 2014 scholtz@troja.mff.cuni.cz 1 / 45 Outline of 1 2 3 4 5 2 / 45 Energy-momentum in special Lie algebra of the Killing
More informationSection 2. Basic formulas and identities in Riemannian geometry
Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l
More informationarxiv: v2 [math.dg] 28 Jul 2017
ALMOST RIGIDITY OF THE POSITIVE MASS THEOREM FOR ASYMPTOTICALLY HYPERBOLIC MANIFOLDS WITH SPHERICAL SYMMETRY arxiv:1705.07496v2 [math.dg] 28 Jul 2017 ANNA SAKOVICH AND CHRISTINA SORMANI Abstract. We use
More informationCurved Spacetime I. Dr. Naylor
Curved Spacetime I Dr. Naylor Last Week Einstein's principle of equivalence We discussed how in the frame of reference of a freely falling object we can construct a locally inertial frame (LIF) Space tells
More informationarxiv:gr-qc/ v1 6 Dec 2000
Initial data for two Kerr-lie blac holes Sergio Dain Albert-Einstein-Institut, Max-Planc-Institut für Gravitationsphysi, Am Mühlenberg 1, D-14476 Golm, Germany (April 5, 2004) We prove the existence of
More informationCalculus of Variations
Calc. Var. DOI 10.1007/s00526-011-0402-2 Calculus of Variations Extension of a theorem of Shi and Tam Michael Eichmair Pengzi Miao Xiaodong Wang Received: 13 November 2009 / Accepted: 31 January 2011 Springer-Verlag
More informationBlack Holes and Thermodynamics I: Classical Black Holes
Black Holes and Thermodynamics I: Classical Black Holes Robert M. Wald General references: R.M. Wald General Relativity University of Chicago Press (Chicago, 1984); R.M. Wald Living Rev. Rel. 4, 6 (2001).
More informationarxiv: v2 [gr-qc] 30 Mar 2014
Geometric inequalities for black holes arxiv:1401.8166v2 [gr-qc] 30 Mar 2014 Sergio Dain Facultad de Matemática, Astronomía y Física, FaMAF, Universidad Nacional de Córdoba, Instituto de Física Enrique
More informationUNIVERSITY OF DUBLIN
UNIVERSITY OF DUBLIN TRINITY COLLEGE JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Faculty of Engineering, Mathematics and Science school of mathematics Trinity Term 2015 Module MA3429
More informationRIGIDITY OF TIME-FLAT SURFACES IN THE MINKOWSKI SPACETIME
RIGIDITY OF TIME-FLAT SURFACES IN THE MINKOWSKI SPACETIME PO-NING CHEN, MU-TAO WANG, AND YE-KAI WANG Abstract. A time-flat condition on spacelike 2-surfaces in spacetime is considered ere. Tis condition
More informationSyllabus. May 3, Special relativity 1. 2 Differential geometry 3
Syllabus May 3, 2017 Contents 1 Special relativity 1 2 Differential geometry 3 3 General Relativity 13 3.1 Physical Principles.......................................... 13 3.2 Einstein s Equation..........................................
More informationEnergy in General Relativity
Energy in General Relativity Sergio Dain FaMAF-Universidad Nacional de Córdoba, CONICET, Argentina. March, 2015 1 / 137 Energy Energy is a central concept in Physics: it has many forms, it is always conserved.
More informationCritical metrics on connected sums of Einstein four-manifolds
Critical metrics on connected sums of Einstein four-manifolds University of Wisconsin, Madison March 22, 2013 Kyoto Einstein manifolds Einstein-Hilbert functional in dimension 4: R(g) = V ol(g) 1/2 R g
More informationWarped Products. by Peter Petersen. We shall de ne as few concepts as possible. A tangent vector always has the local coordinate expansion
Warped Products by Peter Petersen De nitions We shall de ne as few concepts as possible. A tangent vector always has the local coordinate expansion a function the di erential v = dx i (v) df = f dxi We
More informationNon-existence of time-periodic dynamics in general relativity
Non-existence of time-periodic dynamics in general relativity Volker Schlue University of Toronto University of Miami, February 2, 2015 Outline 1 General relativity Newtonian mechanics Self-gravitating
More informationA NOTE ON FISCHER-MARSDEN S CONJECTURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 3, March 1997, Pages 901 905 S 0002-9939(97)03635-6 A NOTE ON FISCHER-MARSDEN S CONJECTURE YING SHEN (Communicated by Peter Li) Abstract.
More informationStability of Black Holes and Black Branes. Robert M. Wald with Stefan Hollands arxiv: Commun. Math. Phys. (in press)
Stability of Black Holes and Black Branes Robert M. Wald with Stefan Hollands arxiv:1201.0463 Commun. Math. Phys. (in press) Stability It is of considerable interest to determine the linear stablity of
More informationCOMPLETE SPACELIKE HYPERSURFACES IN THE DE SITTER SPACE
Chao, X. Osaka J. Math. 50 (203), 75 723 COMPLETE SPACELIKE HYPERSURFACES IN THE DE SITTER SPACE XIAOLI CHAO (Received August 8, 20, revised December 7, 20) Abstract In this paper, by modifying Cheng Yau
More informationBMS current algebra and central extension
Recent Developments in General Relativity The Hebrew University of Jerusalem, -3 May 07 BMS current algebra and central extension Glenn Barnich Physique théorique et mathématique Université libre de Bruxelles
More informationThe hyperbolic positive energy theorem
The hyperbolic positive energy theorem Piotr T. Chruściel Erwann Delay January 17, 2019 arxiv:1901.05263v1 [math.dg] 16 Jan 2019 Abstract We show that the causal-future-directed character of the energy-momentum
More informationκ = f (r 0 ) k µ µ k ν = κk ν (5)
1. Horizon regularity and surface gravity Consider a static, spherically symmetric metric of the form where f(r) vanishes at r = r 0 linearly, and g(r 0 ) 0. Show that near r = r 0 the metric is approximately
More informationEnergy method for wave equations
Energy method for wave equations Willie Wong Based on commit 5dfb7e5 of 2017-11-06 13:29 Abstract We give an elementary discussion of the energy method (and particularly the vector field method) in the
More informationRiemannian Curvature Functionals: Lecture I
Riemannian Curvature Functionals: Lecture I Jeff Viaclovsky Park City athematics Institute July 16, 2013 Overview of lectures The goal of these lectures is to gain an understanding of critical points of
More informationTO GET SCHWARZSCHILD BLACKHOLE SOLUTION USING MATHEMATICA FOR COMPULSORY COURSE WORK PAPER PHY 601
TO GET SCHWARZSCHILD BLACKHOLE SOLUTION USING MATHEMATICA FOR COMPULSORY COURSE WORK PAPER PHY 601 PRESENTED BY: DEOBRAT SINGH RESEARCH SCHOLAR DEPARTMENT OF PHYSICS AND ASTROPHYSICS UNIVERSITY OF DELHI
More informationStationarity of non-radiating spacetimes
University of Warwick April 4th, 2016 Motivation Theorem Motivation Newtonian gravity: Periodic solutions for two-body system. Einstein gravity: Periodic solutions? At first Post-Newtonian order, Yes!
More informationGravitation: Tensor Calculus
An Introduction to General Relativity Center for Relativistic Astrophysics School of Physics Georgia Institute of Technology Notes based on textbook: Spacetime and Geometry by S.M. Carroll Spring 2013
More informationThe Hodge Star Operator
The Hodge Star Operator Rich Schwartz April 22, 2015 1 Basic Definitions We ll start out by defining the Hodge star operator as a map from k (R n ) to n k (R n ). Here k (R n ) denotes the vector space
More informationarxiv:math/ v2 [math.dg] 11 Aug 2005
1 arxiv:math/0506005v2 [math.dg] 11 Aug 2005 O THE UIQUEESS OF THE FOLIATIO OF SPHERES OF COSTAT MEA CURVATURE I ASYMPTOTICALLY FLAT 3-MAIFOLDS Jie Qing and Gang Tian Abstract. In this note we study constant
More informationCollapse of Kaluza-Klein Bubbles. Abstract. Kaluza-Klein theory admits \bubble" congurations, in which the
UMDGR{94{089 gr{qc/940307 Collapse of Kaluza-Klein Bubbles Steven Corley and Ted Jacobson 2 Department of Physics, University of Maryland, College Park, MD 20742{4 Abstract Kaluza-Klein theory admits \bubble"
More informationPROOF OF THE RIEMANNIAN PENROSE INEQUALITY USING THE POSITIVE MASS THEOREM
j. differential geometry 59 (2001) 177-267 PROOF OF THE RIEMANNIAN PENROSE INEQUALITY USING THE POSITIVE MASS THEOREM HUBERT L. BRAY Abstract We prove the Riemannian Penrose Conjecture, an important case
More informationInflation in Flatland
Inflation in Flatland Austin Joyce Center for Theoretical Physics Columbia University Kurt Hinterbichler, AJ, Justin Khoury, 1609.09497 Theoretical advances in particle cosmology, University of Chicago,
More informationPAPER 52 GENERAL RELATIVITY
MATHEMATICAL TRIPOS Part III Monday, 1 June, 2015 9:00 am to 12:00 pm PAPER 52 GENERAL RELATIVITY Attempt no more than THREE questions. There are FOUR questions in total. The questions carry equal weight.
More informationOn the ADM charges of multiple black holes
On the ADM charges of multiple black holes István Rácz Wigner Research Center for Physics, H-1121 Budapest, Hungary Abstract arxiv:1608.02283v4 gr-qc 6 Feb 2017 Initial data sets of multiple black hole
More informationDain's invariant on non-time symmetric initial data sets
Dain's invariant on non-time symmetric initial data sets Kroon, JAV; Williams, JL 2017 IOP Publishing Ltd For additional information about this publication click this link. http://qmro.qmul.ac.uk/xmlui/handle/123456789/24527
More informationMONOTONICITY FORMULAS FOR PARABOLIC FLOWS ON MANIFOLDS RICHARD S. HAMILTON
COMMUNICATIONS IN ANALYSIS AND GEOMETRY Volume 1, Number 1, 127-137, 1993 MONOTONICITY FORMULAS FOR PARABOLIC FLOWS ON MANIFOLDS RICHARD S. HAMILTON Recently Michael Struwe [S] and Gerhard Huisen [Hu2]
More information