Mathematical discipline which uses the techniques of calculus to study geometric problems. General relativity is written in this language.

learn more… | top users | synonyms (1)

20
votes
6answers
1k views

Proving that interval preserving transformations are linear

In almost all proofs I've seen of the Lorentz transformations one starts on the assumption that the required transformations are linear. I'm wondering if there is a way to prove the linearity: Prove ...
1
vote
1answer
184 views

If a point r lies in the boundary of the chronological future of another point p, why does the chronological future of r belong to that of p?

I am studying the global causality of the spacetime. Here, I come across a problem. Suppose a point $r\in \partial I^+(p)$. $I^+(p)$ is the chronological future of a different point $p$ in ...
5
votes
1answer
58 views

Particle on $S^1$ and $U(1)$-principal bundle

I have a question arisen from a simple QM problem: let consider a boson on $S^1$ minimally coupled with a constant gauge field $A$. Taking the stationary Schrödinger (S) or Klein-Gordon (KG) equation ...
2
votes
2answers
218 views

Timelike Boundary

I was reading in a paper (see 1st paragraph of introduction section in http://arxiv.org/pdf/1510.00709.pdf) that in AdS space, waves can reach the boundary in finite time and, since said boundary is ...
0
votes
1answer
16 views

Relationship between fracture of solid plates and its curvature

I do some school projects about fracture of glass, my assumption is this phenomenon related to the curvature of these plates, specifically, fracture starts from the point which is having “maximum” ...
1
vote
1answer
156 views

Generalized spin connection and dreibein in higher spin gravity

I am studying 3D higher spin gravity and I would like to know the mathematical and physical meaning of generalized spin connection and generalized dreibein that appear in this theory. It is well known ...
6
votes
2answers
180 views

What manifold is spacetime?

In General Relativity, spacetime is a $4$-dimensional manifold with one Lorentzian metric tensor defined on it. In the Special Relativity case what manifold is spacetime is quite clear: it is ...
2
votes
1answer
20 views

Two Robertson-Walker observers, at what time will a light signal be received?

Here is a question I have that is inspired by this question here. The spacetime metric of a radiation-filled, spatially flat ($k = 0$) Robertson-Walker universe is given by$$ds^2 = - dT^2 + T[dx^2 + ...
4
votes
1answer
270 views
1
vote
1answer
68 views

When and where to check the formal definition of a manifold

In most texts on GR we are first introduced to a formal and rigorous definition of a manifold. We then learn the point that in GR "any coordinate system" might be used for the 4D spacetime metric. ...
3
votes
1answer
116 views

Diffeomorphism invariance and geodesic action

I'm trying to understand the role of diffeomorphism and isometry invariance in the geodesic action in GR: $$ S = \int_{\tau_1}^{\tau_2} \! d\tau~ g_{ab}(x(\tau)) \frac{dx^a}{d\tau} \frac{dx^a}{d\tau} ...
0
votes
1answer
115 views

Torsion-free, symmetric connection and non-coordinate basis

The torsion tensor is defined as (Hawking p.34) \begin{equation} \mathbf{T}(\mathbf{X},\mathbf{Y}) = \nabla_{\mathbf{X}}\mathbf{Y} - \nabla_{\mathbf{Y}}\mathbf{X} - [\mathbf{X},\mathbf{Y}]. ...
1
vote
1answer
42 views

About periodicity of coordinates given a metric

If I am given a metric how do I decide which coordinate is periodic? Eg. can I look at metric in plane polar coordinates and tell that θ direction is periodic. Also How do I calculate the period of ...
1
vote
2answers
78 views

Using $\sqrt{-g}$ in integrals of proper volume

I am a little confused over integration using proper volume element. When do we use $\sqrt{-g}$ in calculations? For example, in many calculations involving stars, say when using TOV equation, this ...
3
votes
1answer
47 views

Difference between Fermi and Riemann normal coordinates

What is the difference between Fermi normal coordinates and Riemann normal coordinates? Which one of them is related to the vanishing of the Christoffel symbols?
3
votes
1answer
52 views

From states in string theory to differential forms

This question is probably really easy and isn't usually discussed in textbooks. So suppose when we construct states in string theory we obtain something like $\left|- \right\rangle \otimes \left|+ ...
12
votes
3answers
1k views

Equivalence of definitions of ADM Mass

ADM Mass is a useful measure of a system. It is often defined (Wald 293) $$M_{ADM}=\frac{1}{16\pi} \lim_{r \to \infty} \oint_{s_r} (h_{\mu\nu,\mu}-h_{\mu\mu,\nu})N^{\nu} dA$$ Where $s_r$ is two ...
1
vote
0answers
29 views

Geodesic tangent vector in a Riemannian 4-space

I am doing a question in Lewis Ryder's introduction to General relativity. I am very close to the answer but not quite there. The question is: A Riemannian 4-space has metric $$ds^2 = ...
4
votes
1answer
211 views

How can I mathematically describe the parallel transport in the Roman soldiers example?

I've been trying to understand parallel transport. Many of the descriptions present a mathematical version: $\nabla_V X = 0$. And/or they present an example involving soldiers (usually Roman) ...
3
votes
1answer
48 views

Is this equation $\nabla_a\sqrt{-g}=0$ correct? [duplicate]

Is the equation $$\nabla_a\sqrt{-g}=0$$ correct? Here $\nabla_a$ is the Levi-Civita connection, and $g$ is the determinant of metric $g_{ab}$. Apparently, we have $\nabla_ag_{bc}=0$, but I am not sure ...
-1
votes
1answer
31 views

Conformal Transformation: Minkowski sheet to cylinder

What conformal transformation can I make to 2d Minkowski with metric $ds^2=-dt^2+dx^2$ to show that it is conformal to a cylinder?
0
votes
0answers
32 views

What is the Metric Tensor? [duplicate]

I was studying Einstein's Field Equation, and this was the most common symbol. Can you explain what it is and how it could be used?
4
votes
0answers
31 views

Conformal Connections in Physics [closed]

For my diploma thesis in Mathematics I investigate conformal connections (as an example of Cartan connections). All in all the thesis should deal with geometric aspects (associated bundles, ...
2
votes
2answers
432 views

Locally flat coordinate and Locally inertial frame

I am having some doubts on myself regarding the above concepts in General Relativity. First, I want to point out how I understand them so far. A male observer follows a timelike worldline ($\gamma$) ...
4
votes
2answers
117 views

Why is the covariant derivative of the determinant of the metric zero?

This question, metric determinant and its partial and covariant derivative, seems to indicate $$\nabla_a \sqrt{g}=0.$$ Why is this the case? I've always learned that $$\nabla_a f= \partial_a f,$$ ...
7
votes
1answer
201 views

Homotopy proof of the lack of foliation of the Gödel metric

A common proof of the lack of foliation of the Gödel universe, apparently mostly copy pasted from Hawking and Ellis, goes thusly : A closed timelike curve must cross a spacelike hypersurface ...
6
votes
1answer
174 views

Continuity Equation in Differential Geometry

I'm looking for a derivation of the mass continuity that applies in general on symplectic manifolds. In particular the "the amount of change in the mass in a volume is just amount that flows in or ...
5
votes
2answers
268 views

Non-trivial scalar quantity

Is there any scalar quantity made of only the Christoffel symbols, determinant of a metric and tensors, not derivatives? In other words, can we construct a scalar quantity which cannot be written in ...
6
votes
1answer
84 views

Use partial or covariant derivatives when deriving equations of a field theory?

I feel like this question has been asked before but I can't find it. would the Euler Lagrange equation for, say, the standard model Lagrangian be $$\frac{\partial L}{\partial \phi}=\partial_\mu ...
0
votes
1answer
60 views

Straight lines in general relativity

This question stems from a possibly misguided attempt to understand General Relativity. I am about to leave High school for college, I do however have a rudimentary understanding of tensors, and I ...
3
votes
1answer
226 views

What are the equations of motion for the scalar field in the tetrad formalism?

The action of a massless scalar field in curved spacetime is given by: \begin{equation} S(\phi)=\int d^{4}x \sqrt{-g}\left(g^{\mu\nu}\phi_{,\mu}\phi_{,\nu}\right) \end{equation} Now the action can ...
1
vote
0answers
71 views

Euler-Lagrange equations in General Relativity

When obtaining the Euler Lagrange equations for a scalar field with higher order derivatives in curved space is it the same to use $$ -\partial_\nu\partial_\mu\frac{\partial \sqrt{-g} ...
1
vote
1answer
57 views

Spacetime manifold surgery: is this result still a valid etc. spacetime?

Given a valid classical GR spacetime manifold $M$ (i.e. 4D, Lorentzian, Hausdorff, paracompact, ?etc.), and $B\subset M$, a closed spatial subset (e.g. a closed ball at fixed $t$) to be excised, ...
15
votes
0answers
148 views

Curvature Invariants in General Relativity and Singularities

Suppose that I want to check if a given metric is singular or not. I'm interested in curvature singularities, not coordinate singularities, so I can look to scalars made with Ricci, Riemann and Weyl ...
3
votes
2answers
783 views

Orthochronous Lorentz transformations are time-preserving and $SL(2,\mathbb{R})$

Let's consider the pseudosphere/hyperboloid in $\mathbb{R}^{1,2}$ given by $$x^2+y^2-z^2=-R^2.$$ We know that the Lorentz group $$O(1,2)=\{ A \in Mat(3,\mathbb{R}): A^tGA=G \},$$ where ...
0
votes
1answer
38 views

Causal structure, time orientability and equivalence classes

Quoting from this Wikipedia article, if $(M,g)$ is a Lorentzian manifold then the tangent vectors at each point in the manifold can be classified into three different types. Using a $(+,-,-,-)$ metric ...
1
vote
1answer
2k views

General Relativity: Christoffel symbol identity

I want to show that $$\Gamma ^{\mu}_{\mu \nu}=\partial _\nu (\ln \sqrt{|g|}) .$$ (Here $|g|$ denotes the determinant of the metric.) Working out the left hand side:\begin{align} \Gamma ^{\mu}_{\mu ...
8
votes
7answers
810 views

Is there a physical interpretation of a tensor as a vector with additional qualities?

What is a tensor? has been asked before, with the most highly up-voted answer defining a tensor of rank $k$ as a vector of a tensor of rank $k-1$. But if a scalar is defined as a physical quantity ...
3
votes
1answer
452 views

Stokes' theorem in complex coordinates (CFT)

I am studying CFT, where I encounter Stokes' theorem in complex coordinates: $$ \int_R (\partial_zv^z + \partial_{\bar{z}}v^{\bar{z}})dzd\bar{z} = i \int_{\partial R}(v^{z}d\bar{z} - v^{\bar{z}}dz). ...
0
votes
1answer
295 views

What are the mathematical models for force, acceleration and velocity?

In mechanics, the space can be described as a Riemann manifold. Forces, then, can be defined as vector fields of this manifold. Accelerations are linear functions of forces, so they are covector ...
8
votes
1answer
143 views

Acceleration of particle “held in place” at $x = 1$ [closed]

The metric components in a two-dimensional spacetime are given in terms of the coordinates $(t, x)$ by$$ds^2 = -\cosh x\,dt^2 + dx^2.$$Consider a particle that is "held in position" at $x = 1$. What ...
2
votes
0answers
42 views

Books about non-euclidean geometry [duplicate]

I study physics and want to know the best books to learn non-euclidean geometry in an easy way.
3
votes
1answer
61 views

Equivariant cohomology and Mayer-Vietoris sequence

I'm reading this article upon topological field theory and I'm a bit confused about the way he compute equivariant cohomology of $S^2$ wrt $\mathrm{U}(1)$, i.e. $H^\bullet_{S^1}(S^2)$. You can find ...
3
votes
1answer
167 views

Local translations in curved spacetime

A global Poincare transformation on a scalar field induces $$\delta(a, \lambda)\phi(x) = [a^{\mu}+\lambda^{\mu\nu}x_{\nu}]\partial_{\mu}\phi(x). \tag{11.46}$$ In curved spacetime we replace $a^{\mu} ...
0
votes
0answers
36 views

GR - curve (in)completeness & (in)extendibility

Seeking clarification of the distinction between completeness of geodesics/extendibility of curves in GR spacetimes? (Confirm: not the geodesic completeness of a spacetime but the completeness of an ...
1
vote
0answers
61 views

Relation between second covariant derivative of Killing vector and Riemann tensor [closed]

I need to prove that $$D_\mu D_\nu \xi^\alpha = - R^\alpha_{\mu\nu\beta} \xi^\beta$$ where D is covariant derivative and R is Riemann tensor. $\xi$ is a Killing vector. I have proved that $$D_\mu ...
6
votes
1answer
115 views

Two “Robertson-Walker observers,” velocity of baseball as seen by second observer right before it's caught?

The spacetime metric of a spatially flat ($k = 0$) radiation dominated FLRW universe is given by$$ds^2 = -dT^2 + T[dx^2 + dy^2 + dz^2].$$Consider two "Robertson-Walker observers," i.e., observers with ...
13
votes
3answers
2k views

Book covering differential geometry and topology required for physics and applications

I am a physics undergrad, and interested to learn Topology so far as it has use in Physics. Currently I am trying to study Topological solitons but bogged down by some topological concepts. I am not ...
0
votes
0answers
35 views

Help needed to understand Kerr coordinate transformation

The (uncharged) Kerr metric for a black hole of mass $M$ and angular momentum $Ma$ takes the form $$ds^{2} = \Sigma\Big(\frac{dr^{2}}{\Delta} + d\theta^{2}\Big) + (r^{2} + a^{2})\text{sin}^{2}\theta ...
2
votes
1answer
671 views