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)

4
votes
1answer
93 views

Why do we need connections, if we have the Lie derivative?

When I learned about the covariant derivative, it was motivated as a way of defining a good differentiation operation on tensors. To do this, we had to define a connection on the manifold, which was a ...
5
votes
1answer
110 views

What do we exactly mean by a “topological object” in physics?

I have been working on topological defects like monopoles, etc. for some time. One think that I have not been able to understand is the physical meaning of the phrase "topological object". I have ...
4
votes
1answer
78 views

Negative mass thin shell collapse

Suppose we have a collapsing light-like (ingoing) shell with negative mass and decreasing further. The shell is radiating and so the exterior region is that of the outgoing Vaidya solution. $$ds^2 = -...
4
votes
2answers
163 views

When does causal separation imply no spacelike separation?

(See here for notation.) In Minkowski space, if $p\prec q$, then there is no spacelike curve $c:[0,1]\to \mathbb{R}^{n-1,1}$ with $c(0)=p$ and $c(1)=q$. This is obvious from a spacetime diagram. Here ...
4
votes
0answers
211 views

How does one determine if a spacetime is globally hyperbolic?

A spacetime $M$ is said to be globally hyperbolic if it is strongly causal and if the sets $J^+(p)\cap J^-(q)$, for all $p,q\in M$, are compact. (For more information, see the Wiki article on causal ...
1
vote
1answer
46 views

Vierbeins in General Relativty; degrees of freedom?

I am self-learning GR. I want to ask if vierbeins $e^b_{\ \ \nu}$ need to satisfy any relations or if I am free to choose any type of vierbein I like So I have been looking into tetrads again. I ...
2
votes
1answer
142 views

Quotient space in the book The Large scale structure of space-time

On page 79, the author states One is thus concerned only with $\mathbf{Z}$ modulo a component parallel to $\mathbf{V}$, i.e. only with the projection of $\mathbf{Z}$ at each point $q$ into the ...
1
vote
2answers
80 views

What are world lines as opposed to arbitrary curves in spacetime?

In GR the spacetime manifold is equipped with a metric which makes it a Lorentzian manifold. It is the metric that is doing the separation of space and time (so that we end up with three dimensions of ...
2
votes
0answers
41 views

Could a 3+1 space be embedded in a 4+1 space and retain its 3+1 characteristics? [closed]

I'm confused because I can conceptualize this embedding scenario in two seemingly incompatible ways. Which of the following scenarios are possible?: 1) 4+1 space automatically enforces 4 dimensions ...
1
vote
1answer
42 views

ADHM construction and Momentum Map

while I was reading about ADHM construction I had some troubles with precise geometrical identification of the various quantities. My doubts is well manifest in these two Wikipedia pages 1) ADHM ...
1
vote
1answer
57 views

Killing equation manipulation

Why does the killing equation $$K_{\mu;\nu}+ K_{\nu;\mu} = 0$$ equal $$K_{\mu,\nu}+ K_{\nu,\mu} -2\Gamma^{\rho}_{\mu\nu}K_{\rho} = 0 $$ when in general a covariant derivative $V_{\beta;\alpha} = (\...
3
votes
1answer
157 views

Fermi-Propagated Jacobi equation in the book The Large scale structure of space-time

On page 81, equation (4.6), the author use the Fermi derivative to write the Jacobi equation \begin{equation} \tag{4.6} \frac{{D^2}_\text{F}}{\partial s^2} {}_{\bot}Z^a = -{R^a}_{bcd}{}_{\bot}Z^cV^bV^...
0
votes
1answer
101 views

The Lie derivative of the metric $g_{ab}$ and index notation

I don't quite know where to start this question. I'm essentially not understanding how to compute the Lie derivative of a given metric and vector. So I have the following definition: $$ \left(\...
1
vote
1answer
96 views

Extrinsic curvature components

I'm trying to understand how to derive the extrinsic curvature (in order to understand some calculation on fluid/gravity dynamics). But I hit a wall in my progress. I stuck at trying to verify the ...
6
votes
3answers
229 views

How do we measure Schwarzschild coordinates?

In special relativity, we make a big fuss about setting up inertial frames of reference, and then constructing coordinate systems using networks of clocks and rulers. This gives an unambiguous ...
1
vote
1answer
73 views

A question regarding $f(R)$ Lagrangians

Consider the class of Lagrangian known as $f(R)$ Lagrangians where the Lagrangian is some function $f(R)$, \begin{equation} S=\int\sqrt{g}d^4x\ f(R) \end{equation} assuming there are no (or ignoring)...
1
vote
0answers
64 views

Complex tetrad vs. Real metric

I asked this question almost a month ago on mathoverflow (http://mathoverflow.net/q/228138/) but received no response. I thought I could have better luck here: I have a question on the relationship ...
3
votes
1answer
87 views

Is it possible to integrate a function over a null hypersurface?

For $f$ a compactly supported function on a spacetime $(\mathcal{M},g)$, one may define its integral over $\mathcal{M}$ by $$f\longmapsto \int_\mathcal{M}\star f,$$ where $\star$ is the Hodge star of ...
0
votes
2answers
88 views

How do you know what kind of space(time) you have when solving the Einstein Field Equations?

I'm experimenting with the EFE, and I ''invented'' a metric; a diagonal non-zero metric, and I discovered that the Riemann tensors are equal to zero which implies the Einstein tensor $G_{mn}$ equals ...
3
votes
0answers
55 views

Physical meaning of the Morse functions? [closed]

What is the physical correspondence of the Morse functions in a physical system? Currently I am studying Mirror symmetry but I can not get a physical intuition out of it.
1
vote
1answer
65 views

How does the gravitational field behave inside a star?

The interior gravitational field of a star with constant density is given by $ds^{2}=-\left(\frac{P_{c}+\rho_{0}}{P(r)+\rho_{0}}\right)^{2}dt^{2}+\frac{dr^{2}}{1-\frac{8\pi\rho_{0}}{3}r^{2}}+r^{2}d\...
1
vote
0answers
26 views

Manifold corners and M theory

I am currently trying to understand a paper by Hisham Sati on manifold corners and M theory. The background is that M theory admits manifolds with corners. One of the results in the paper is that the ...
3
votes
1answer
63 views

Derivation of the Cartan Field equation

Please help me understand how, in this introduction to spacetime and fields, the Einstein Cartan equation: $$C^k_{\hspace{2mm} [ji]}-\delta_{[i}^{k}C^l_{\hspace{2mm} j]l}=\frac{\kappa}{2}s_{ij}^{\...
1
vote
0answers
51 views

Why Dirac monopole is a topological defect in a $U(1)$ gauge theory? [duplicate]

How does $U(1)$ gauge group at long distances, give rise to magnetic monopoles? Also why is it said that Dirac monopole is a topological defect in a compact $U(1)$ gauge theory?
11
votes
4answers
942 views

Coordinates vs. Geometries: How can we know two coordinate systems describe the same geometry?

Specifically, I'm asking this because I'm taking a class on General Relativity, and in Hartle's book Gravity, in Ch. 12, after having spent some time using Schwarzschild coordinates, we are introduced ...
1
vote
0answers
54 views

Metric defining an sphere [closed]

I want to find for which cases this metric can define an sphere: $$\frac{1}{P^2}\left(\mathrm d\theta^2+\sin^2 \theta\; \mathrm d\phi^2\right)$$ where $P=\sin^2 \theta+K\cos^2 \theta$, with $K$ the ...
2
votes
0answers
67 views

Differential geometry and tensors using Cartan method: advantages over other methods in Physics? [closed]

Let me begin with a simple example. I am trying to calculate the Christoffel symbols, the Ricci and the Curvature tensor for the metric of the surface (parabolic-like): $ds^2=(1+u^2)du^2+u^2d\theta$ ...
1
vote
1answer
69 views

Problem on parallel transport [closed]

I've been trying to go through an example for parallel transport but I cannot quite follow the solution. A surface (paraboloid) is given by the parametric equation $r(ρ, φ)$ = $ρ \cos(φ)\hat{i}$ + $ρ ...
0
votes
1answer
45 views

Is there a parametrization for the shape of space?

I was thinking about how the space is curved. And how do we know that the shape of space arround a singularity is something like that: So I was trying to make a similar parametrization of this kind ...
6
votes
1answer
104 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 \frac{\...
1
vote
3answers
134 views

Is the local Lorentz transformation a general coordinate transformation?

There is a saying in Nakahara's Geometry, Topology and Physics P371 about principal bundles and associated vector bundles: In general relativity, the right action corresponds to the local Lorentz ...
0
votes
1answer
60 views

Integrals of Chern class, $c_i$ in YM theories

I am a bit confused with the definition of the 1st (and 2nd by extension) Chern class in YM theories. I understand that in general $c_i \in H^{2i}(M,\mathbb{Z})$ where $M$ is a smooth manifold. Then, ...
1
vote
1answer
84 views

GR Tetrads & ZAMO example

I am self-learning GR. Intro: Tetrads are a way of representing general relativity in a coordinate-independent fashion. I am having trouble understanding tetrad notations. Basically, I know that I ...
1
vote
1answer
71 views

Difference between local inertial frame and coordinate chart

In the most cases the local inertial frame is definied "physically" but I'm searching for a mathematically meaningful definition of the local inertial frame to solve my problem: Is the local ...
1
vote
1answer
77 views

Monodromy matrix and differential equations

What is the significance of monodromy matrix in the context of differential equations? I have seen some papers(1,2,3 etc) in CFT which use the monodromy method to compute conformal blocks at large ...
1
vote
0answers
50 views

Spherical metric multiply by a function

I know that if I want to get the metric for a two sphere I consider a Cartesian flat space, I change to spherical coordinates and then I consider that the radio is constant (so the space is not flat ...
0
votes
1answer
34 views

Displacement vector in terms of a position vector and velocity [closed]

Is it correct to say that, given $t_0\in\mathbb{R}$, a point on a curve $\gamma$ in $\mathbb{R}^3$ would be given by $$\gamma(t)=\gamma(t_0)+(t-t_0)\dot{\gamma}(t)$$ for all $t>t_0$? I'm guessing ...
2
votes
1answer
147 views

How can I understand $\mathrm ds^2 = -c\,\mathrm dt^2 + [\mathrm dx-v_s(t)f(r_s)\mathrm dt]^2 +\mathrm dy^2 +\mathrm dz^2 $ in the simplest way?

How can I understand this equation $$\mathrm ds^2 = -c\,\mathrm dt^2 + [\mathrm dx-v_s(t)f(r_s)\mathrm dt]^2 +\mathrm dy^2 +\mathrm dz^2 $$ in the simplest way? I am a 13 year old boy who is totally ...
2
votes
1answer
58 views

Homogenuous Maxwell Equations in the Language of Differential Forms

I understand that if I define electric field to be $E=E_i dx^i$, magnetic field to be $B=B_1 dx^2 \wedge dx^3 + B_2 dx^3 \wedge dx^1 + B_3 dx^1 \wedge dx^2 $, and field strength to be $F= dx^0 \wedge ...
2
votes
1answer
117 views

Why only gauge transformations in electromagnetism?

first of all, I need to say that I'm a mathematician, so this question may sound a little stupid. Keeping this is mind, please, try to use coordinate-free notations. Along this question, I will use ...
15
votes
2answers
620 views

Stokes theorem in Lorentzian manifolds

I've fallen accross the following curious property (in p.10 of these lectures): in order to be able to apply Stokes theorem in Lorentzian manifolds, we must take normals to the boundary of the volume ...
2
votes
1answer
96 views

Geometric derivation of quantum mechanics from Lagrangian mechanics

I have used classical Lagrangian mechanics for quite a while, and what I like about it is that everything can be derived from a very small number of geometric principles. There are just three things ...
2
votes
3answers
164 views

Why is the Ricci tensor defined as $R^\mu _{\nu \mu \sigma}$?

The Ricci tensor is defined as the contraction of the Riemann tensor in its upper and the second lower index. I was wondering why it is defined this way. What happens if the Ricci tensor is defined ...
1
vote
1answer
36 views

Why are the integrability conditions necessary and sufficient for the existence of a canonical transformation's generating function?

Consider a canonical transformation $(p,q) \rightarrow (P,Q)$ under a generating function $F$. The condition for form invariance of Hamiltonian equations of motion looks like : $$\sum_{s}P_s\dot{Q_s} ...
0
votes
0answers
23 views

Numerical simulation of strong field gravitational vacuum solutions colliding

I am interested in the current state of knowledge of strong field General Relativity learned from numerical investigations of gravitational wave packets colliding with each other or black holes. If ...
0
votes
1answer
58 views

Schwarzschild manifold

I am given the following metric $$ds^2 = \frac{dr^2}{1-2m/r} + r^2dS,$$ where $dS$ is the standard metric on the unit sphere $S^2$. I am told that this is isometric to $\mathbb{R}^3$ or (taking its ...
5
votes
2answers
83 views

Black hole singularity from collapsing light vs dust

Consider two black holes, one formed from a spherical cloud of electromagnetic radiation, and one formed from a non-interacting dust solution. The stress energy tensor is traceless for ...
1
vote
1answer
79 views

Meaning of $R=0$, $R_{ab}=0$. $R_{abcd}=0$

First let me state some definition The Einstein tensor is given by \begin{align} G_{\mu\nu} = R_{\mu\nu} - \frac{1}{2} g_{\mu\nu} R \end{align} and note that \begin{align} G^{\mu}_{\phantom{\mu} \...
0
votes
0answers
33 views

Identity $ \epsilon_{abcd} R^{cd}_{\phantom{cd}mn} = \epsilon_{mncd} R^{cd}_{\phantom{cd}ab}$ in vacuum

starting from \begin{align} \epsilon_{\rho\lambda\xi \kappa} R^{\xi \kappa}_{\phantom{ab} \sigma\tau} + \epsilon_{\rho\sigma \xi \kappa} R^{\xi \kappa}_{\phantom{ab} \tau \lambda} + \epsilon_{\rho \...
1
vote
1answer
47 views

In the orthonormal tetrad method, what is the relation between basis one forms and commutation coefficients?

If $\omega_i$ are dual basis one forms corresponding to an orthonormal tetrad basis $e_i$, and given that the commutation coefficients $C_{ij}^k$ are defined by \begin{equation} [e_i,e_j]=C_{ij}^k ...