12
votes
2answers
944 views

Is topology of universe observable?

There is an idea that the geometry of physical space is not observable(i.e. it can't be fixed by mere observation). It was introduced by H. Poincare. In brief it says that we can formulate our ...
0
votes
0answers
29 views

Hodge star operator [migrated]

Again I have issues with notations. The hodge star operator is defined as : (m is the dimension of the manifold) $$\star: \Omega^{r}(M) \rightarrow \Omega^{m-r}(M)$$ $$\star(dx^{\mu_{1}} \wedge ...
4
votes
2answers
141 views

Metric tensor in special and general relativity

I'm having trouble understanding the metric tensor in general relativity. What I've understood so far has come from my course lecture notes used in conjunction with "The Road to Reality" by Roger ...
2
votes
0answers
39 views

Avoiding Pseudo-tensors when addressing global conservation of energy in GR

Discussions about global conservation of energy in GR often invoke the use of the stress-energy-momentum pseudo-tensor to offer up a sort of generalization of the concept of energy defined in a way ...
1
vote
0answers
39 views

Laplacian in tensor [on hold]

Find $\vec \nabla^2\phi $ when $$ds^{2}=-dt^{2}+a^{2}(t)[dx^{2}+dy^{2}+dz^{2}] $$ or $$g_{ij}=\begin{bmatrix} -1 & 0 &0 &0 \\ 0 &a^{2}(t) &0 &0 \\ 0&0 ...
2
votes
1answer
181 views

How to properly construct the electromagnetic tensor in curved space-time?

How do I properly construct the electromagnetic tensor in curved space-time? I have my curved spacetime metric $(+,-,-,-)$ and my magnetic vector potential $A$. I tried two ways but not sure which is ...
2
votes
1answer
87 views

Computing the Christoffel symbols with the geodesic equation

I would like to compute the Christoffel symbols of the second kind using the geodesic equation. To practice, I have tried the Schwarzschild Ansatz $$ g_{00} = \mathrm e^\nu,\quad g_{11} = - \mathrm ...
3
votes
1answer
149 views

Is the apparent lack of (Ricci) curvature in the Schwarzschild metric due to a choice of coordinates?

I've been lightly studying GR lately. Something that has been bothering me has been the lack of (Ricci) curvature produced from the Schwarzschild metric in the few lectures I've watched, as well as ...
1
vote
0answers
50 views

Variation of the purely covariant Riemann tensor

I need to find the variation of the purely covariant Riemann tensor with respect to the metric $g^{\mu \nu}$, i.e. $\delta R_{\rho \sigma \mu \nu}$. I know that, $R_{\rho \sigma \mu \nu} = g_{\rho ...
3
votes
1answer
67 views

Geodesics in AdS3

I'm having some trouble doing an easy computation with the AdS space. I'm considering $\text{AdS}_3$ space with the Poincaré coordinates, so the metric reads $$ds^2 = \frac{R^2}{z^2}(dz^2 - dt^2 + ...
2
votes
0answers
41 views

How to prove that a time-oriented spacetime possesses a nowhere vanishing timelike vector field?

Penrose gave a very brief proof to this question. Since the spacetime is paracompact, there exists a positive definite metric called $h_{ab}$. Then, the nowhere vanishing time-like vector field $V^a$ ...
0
votes
0answers
27 views

freedom of choice of 1-form in canonical representation of generic local field corresponds to gauge choice?

So it is a question in Gravitation Wheeler, Thorne and Misner 4.2 Exercise. Given F=$dp_{i}\wedge dq^{i}$. Using canonical transformation from p to $\bar{p}$ and q to $\bar{q}$, one gets ...
2
votes
1answer
57 views

A question on 1 form [closed]

If $d\,\sigma=0$ and $\sigma$ is non trivially with basis' coefficient 0, then $\sigma$ is a exterior derivative of a scalar function. I knew $d^{2} =0$. So it seems that all I am quoting is that ...
2
votes
1answer
55 views

The Einstein-Hilbert Action On-Shell

If one consider the Maxwell action as $$S=-\int \mathrm{d^{4}}x\! \ \frac{1}{4}F_{ab}F^{ab} \,$$ one find the usual Maxwell equation $$\partial_{a}F^{ab}=0$$ Then one can simply arrive the following ...
4
votes
4answers
149 views

What makes a coordinate curved?

Bear with me while I try to explain exactly what the question is. The question Can a curvature in time (and not space) cause acceleration? is imagining a coordinate system in which the curvature is ...
0
votes
0answers
15 views

Angular diameter distance in an inhomogeneous universe?

Computing the angular diameter distance $D_{A}$ is a well known academic exercise in an homogeneous Universe. But now suppose that we are in an inhomogeneous Universe and that I am interested in ...
4
votes
0answers
49 views

Asymtotically flat spacetime applicable for spacetimes which are not diffeomorphic to $\mathbb{R}^4$

I wanted to investigate changes on a compact 4-manifold $M$. More specifically it is the K3-surface. I follow a paper by Asselmeyer-Maluga from 2012. The idea there was to make sure that the manifold ...
1
vote
1answer
77 views

Second fundamental form

How do I calculate the integral of the trace of the second fundamental form on a surface? The formula used in the Gibbons, Hawking, York paper Action integrals and partition functions in quantum ...
6
votes
2answers
145 views

Killing vectors in flat FLRW metric

I have the flat FLRW metric, $$ ds^2=-dt^2+a(t)^2(dx^2+dy^2+dz^2) $$ and a geodesic $\gamma(s)=(t(s),x(s),y(s),z(s))$ with parameter $s$. Two of the Killing vectors of the metric are $ \partial_x$ ...
2
votes
0answers
48 views

The relationship between Lorentz Lie algebra and curvature

Here I transfered the question from the comment The relationship between spin and spinor curvature How $\mathcal{R}_{ab} = \frac{1}{4}R_{abst}\gamma^s \gamma^t$ is from $\Psi \mapsto \Psi + ...
2
votes
1answer
134 views

Two definitions of Riemann curvature tensor

I am relatively used to the coordinate free expression of the Riemann tensor: $$ R(X, Y)Z=\nabla_X\nabla_Y Z - \nabla_Y\nabla_X Z - \nabla_{[X, Y]} Z, $$ where $\nabla$ is the Levi-Civita connection ...
2
votes
2answers
103 views

Time-like Killing vector in FRW metric?

The spatially flat FRW metric in cartesian co-ordinates is given by: $$ds^2 = -dt^2 + a^2(t)(dx^2 + dy^2 + dz^2)$$ As I understand it there are Killing vectors in the $x$, $y$, $z$ directions implying ...
1
vote
1answer
80 views

How big or small is a reference frame in Relativity?

What exactly is a frame of reference? Does it have an objective existence and if so what is it? What's the size of a reference frame? Is a reference frame the same size for a stationary frame of ...
2
votes
1answer
85 views

Is the scalar curvature of the Schwarzschild solution 0?

The Schwarzschild solution is meant to be a solution of the vacuum Einstein equations. That is $$R_{\mu\nu}=0.$$ So, the Ricci tensor must be null for $r>0$. Now, if the scalar curvature is ...
4
votes
0answers
78 views

Lie derivative of Dirac Delta

In the setting of general relativity, I came across a source term of the wave equation of the following form: $$ \frac{1}{\sqrt{q}}\,\delta^{(3)}(p-\gamma(t)) $$ where $p\in M$ is a point in our 4d ...
2
votes
2answers
76 views

Covariant derivative of a covariant tensor wrt superscript

Is it true that when you take the covariant derivative of a covariant tensor, do you always have to do with a subscript? What if you do it wrt a superscript?Does the first term (with the partial ...
2
votes
0answers
37 views

Geodesic Deviation between Test Particles from Gravitational Wave

I'm having trouble understanding how Carroll (Spacetime and Geometry p.296) explains the effect of a passing gravitational wave on test particles. If we have two geodesics with tangents $\vec{U}$, ...
2
votes
0answers
70 views

Calculate the Riemann tensor and Ricci tensor [closed]

Given a metric tensor $\gamma_{ij}$ (where $i, j = 1, 2, 3$; the metric tensor of 3- dimensional space is denoted by $\gamma_{ij}$ to distinguish it from the metric tensor $g_{\mu\nu}$ of ...
3
votes
1answer
96 views

The relationship between spin and spinor curvature

The identity, $$ -\gamma^b{\mathcal{R}}_{ab} = {\mathcal{R}}_{ab}\gamma^b = \frac{1}{2}\gamma^b R_{ab}$$ is presented in the answer to the question Dirac Equation in General Relativity. How does ...
8
votes
2answers
314 views

AdS Space Boundary and Geodesics

I'm new to working with AdS space and am primarily concerned with black holes. I'm just playing round with the metric for AdS$_4$ $$ds^2=-f(r)dt^2+f^{-1}(r)dr^2+r^2d\zeta^2$$ for $f(r)=r^2+m $, ...
2
votes
0answers
87 views

Simple General Relativity Relation [closed]

Given the identity $$\nabla_a(R^{ab}-\frac{1}{2}R g^{ab})=0,$$ how do I then show that $R_{ab}=0$ implies $$\nabla_a R^a_{\space \space \space bcd}=0$$
2
votes
4answers
185 views

Where does the idea gravity=curvature of spacetime really come from?

I have been searching for quite a while but mostly found the answer: Einstein's genius. Quite unsatisfactory. I know and understand that the idea gravity=curvature of spacetime works. Furthermore I ...
5
votes
0answers
68 views

How is foliation of manifolds' theory useful in General Relativity?

I am interested on getting some hints on how Foliations Theory of Manifolds can be used fruitfully on General Relativity. I just started my Ph.D on Mathematics this semester focusing on studying ...
2
votes
1answer
100 views

Stuck following derivation of geodesic equation

In the book "Reflections on Relativity" by Kevin Brown, there is a chapter called "Relatively Straight", in which he derives the geodesic equations using the Euler equation. Online version Just ...
3
votes
1answer
217 views

Gregory-Laflamme Instability of Black Strings and $p$-Branes

In a paper by Gregory and Laflamme (http://arxiv.org/abs/hep-th/9301052) in 1993, it was demonstrated that black strings and $p$-branes which were solutions to certain low energy string theories were ...
2
votes
4answers
166 views

GR matter-free equations and Schwarzschild geometry

I am reading some lecture notes on General relativity (undergraduate level) and I do not understand a sequence of statements about the topics in the title. After stating that the for matter-free ...
1
vote
1answer
67 views

Knots and singularities

Can space-time singularities be treated as mathematical knots occurring in dimensions greater than four? I just drew an analogy with knots in one-dimensional strings. When a rubber-band is looped over ...
3
votes
1answer
109 views

Taylor expansion of the metric

Consider a coordinate change $$ x^a\mapsto \tilde x^a=x^a+\epsilon y^a $$ In the note I am reading, the author calculate the change of metric by $$ g_{ab}(x) = \tilde g_{ab}(\tilde x)=\tilde ...
5
votes
2answers
181 views

Confusion about Lie derivative on metric

According to this site, the Lie derivative of a $(0,2)$-tensor is $$ \mathcal{L}_XT_{ab}=\partial_XT_{ab}+T_{cb}\partial_aX^c+T_{ac}\partial_bX^c $$ However, according the same website, the Lie ...
1
vote
0answers
67 views

About the proof of the second Bianchi Identity

The second Bianchi Identity is $$ \nabla_{[a}R_{bc]de}=0 $$ As far as I know, the proof (say, Walfram Mathword) start by stating the representation of Riemann tensor in local inertial coordinates $$ ...
13
votes
2answers
280 views

Global Properties of Spacetime Manifolds

When solving the Einstein field equations, $$R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}R = 8\pi GT_{\mu\nu}$$ for a particular stress-energy tensor, we obtain the metric of the spacetime manifold, ...
2
votes
1answer
52 views

de Rham Cohomology of Schwarzschild Manifold

Let $C^p(M)$ denote the group of closed $p$-forms on the manifold $M$, and $Z^p(M)$ the group of all exact $p$-forms on the manifold $M$. The de Rham cohomology is given by the quotient, ...
1
vote
1answer
86 views

proper distance and proper length

I am wondering if I mix up the notion of proper distance and proper length. I have two cuves in Schwarzschild space-time describing the flight of two photons (think of it as photons guided in by ...
3
votes
2answers
263 views

Space-time Topologies?

When it comes to questions of existence of bounds for PDE's and such, one must often make some assumptions regarding the topology of the space-time to use well known theorems. My question is ...
2
votes
2answers
50 views

Show that two families of curves are orthogonal (without using orthogonal trajectories)

I'm reading through Hartle's General Relativity and came across this question: Consider the following coordinate transformation from rectangular coordinates $(x,y)$, labeling points in the plane ...
2
votes
0answers
60 views

$M^{+}_4$ Randall-Sundrum Brane Calculation

The basic Randall-Sundrum model is given by the metric, $$\mathrm{d}s^2 = e^{-2|\sigma|}\left[ \mathrm{d}t^2 -\mathrm{d}x^2-\mathrm{d}y^2 - \mathrm{d}z^2 \right]-\mathrm{d}\sigma^2$$ where $\sigma$ ...
9
votes
0answers
151 views

Differential geometry of Lie groups

In Weinberg's Classical Solutions of Quantum Field Theory, he states whilst introducing homotopy that groups, such as $SU(2)$, may be endowed with the structure of a smooth manifold after which they ...
8
votes
1answer
115 views

Evaluating the Einstein-Hilbert action

The Einstein-Hilbert action is given by, $$I = \frac{1}{16\pi G} \int_{M} \mathrm{d}^d x \, \sqrt{-g} \, R \, \, + \, \, \frac{1}{8\pi G}\int_{\partial M} \mathrm{d}^{d-1}x \, \sqrt{-h} \, K$$ ...
2
votes
1answer
74 views

Are covariant derivatives of Killing vector fields symmetric?

I'm reading the Lecture Notes on General Relativity by Matthias Blau, and in section 9.1 (point 1) he writes: Let $K^\mu$ be a Killing vector field, and ${x^\mu(\tau)}$ be a geodesic. Then the ...
3
votes
3answers
326 views

Why Hausdorff and Paracompact manifold in GR?

What can we say about the transition map if the manifold is a Hausdorff space? Why do we need the manifolds to be Hausdorff and paracompact in General Relativity?