Say I have a tensor equation like $G_{ab}=R_{ab}-\frac{1}{2}g_{ab}R$. Does this also imply that $G^{ab}=R^{ab}-\frac{1}{2}g^{ab}R$?

In general relativity, energy bends spacetime. However, this doesn’t mean that a fifth dimension for spacetime to “bend into” exists.” That is, spacetime isn’t embedded in a higher dimensional space, Instead, the curvature is said to be intrinsic. But what does that mean? One could imagine the sphere on a ball as an example of […]

Given the line element $$ds^2 = e^v dt^2 – e^{\lambda} dr^2 – r^2 d \theta^2 – r^2 \sin^2 \theta d \phi^2$$ we wish to compute the Christoffel symbols $\Gamma^{a}_{bc}$ using the geodesic equation. Our Lagrangian is $$L = g_{ab} {\dot{x}}^a {\dot{x}}^b = e^v \dot{t}^2 – e^{\lambda} \dot{r}^2 – r^2 \dot{\theta}^2 – r^2 \sin^2 \theta \dot{\phi}^2.$$ […]

Suppose $x:\mathbb{R}\to \mathbb{R}$ is parameterised by $\lambda$. What does it mean to take a derivative of a function $f(x)$ with respect to $\dot{x} = \frac{dx}{d\lambda}$. i.e. what does $\frac{df(x)}{d\dot{x}}$ mean? How do we compute it? Is $\frac{d}{d\dot{x}}=\frac{d}{d\frac{dx}{d\lambda}}=^{??} \frac{d\lambda}{dx}=^{??} 0$ ??? For example, how would one compute $\frac{d}{d\dot{x}} e^x$? (This question has arisen from an undergraduate […]

Seeing as proving the existence and/or uniqueness of the Levi-Civita connection seems to crop up in every single exam in Geometry and General Relativity, what is the most succinct proof of this, to memorize.

In answer to this question I suggested the following as a motivation for the definition of the Riemann tensor: Let $\mathcal M$ and $\mathcal N$ be two dim-$n$ Lorentzian manifolds with points $x\in\mathcal M$ and $y\in\mathcal N$. Then you can pick local coordinates on $\mathcal M$ and $\mathcal N$ such that the expressions for $g_{\mu\nu}$ […]

I would like to know if there are some open mathematical problems in General Relativity, that are important from the point of view of Physics. Is there something that still needs to be justified mathematically in order to have solid foundations?

I am currently a 3rd year undergraduate electronic engineering student. I have completed a course in dynamics, calculus I, calculus II and calculus III. I’ve started self studying tensor calculus, my sources are the video lecture series on the YouTube channel; “MathTheBeautiful” and the freeware textbook/notes; “Introduction to Tensor Calculus” by Kees Dullemond & Kasper […]

What would be a good Riemannian Geometry (or Differential Geometry) book that would go well with a General Relativity class (offered by a physics department)? I’m in one right now, but I’d like a pure math perspective on the math that’s introduced as I can imagine, inevitably some things would be swept under the rug […]

Since on Mathematics stackexchange I didn’t get an answer, I’ll try it here, since people here are more familiar with this topic (general relativity related). I am reading a dissertation of Porfyriadis “Boundary Conditions, Effective Action, and Virasoro Algebra for $AdS_3$”, and I am trying to solve a system of DE to get the appropriate […]

Intereting Posts

Find the determinant of the linear transformation $L(A)=A^T$ from $\mathbb{R}^{n\times n}$ to $\mathbb{R}^{n\times n}$
Show that $C_0(, \mathbb{R})$ is not $\sigma$-compact
The partial fraction expansion of $\frac{1}{x^n – 1}$.
n tasks assigned to n computers, what is the EX value of a computer getting 5 or more tasks?
How to prove $\lim_{x \to 2} x^2 = 4$ and make sure it's correct?
Is $\mathbf{R}^\omega$ in the uniform topology connected?
Proving that $\lim_{n\rightarrow \infty} \frac{n^k}{2^n}=0$
Cartesian product of compact sets is compact
does $\int _{1}^{\infty}\frac{p(x)}{e^x}$ converge?
Find $\alpha^{2016} + \beta^{2016} + \alpha^{2014} + \beta^{2014} \over \alpha^{2015} + \beta^{2015}$ for zeroes of the polynomial $x^2+3x +1$
Is $i = \sqrt{e^{\pi\sqrt{e^{\pi\sqrt\ldots}}}}$?
Number of real roots of the equation $2^x = 1+x^2$
Solve $\sum nx^n$
Is $$ the union of $2^{\aleph_0}$ perfect sets which are pairwise disjoint?
Hockey-Stick Theorem for Multinomial Coefficients