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)

-1
votes
1answer
19 views

Global Hyperbolicity in spacetime Manifold

If space time is timelike or null geodesically incomplete but cannot be embedded in a larger spacetime then we say that it has singularity. What does incompleteness means here?
2
votes
0answers
91 views

Two dimensional spacetime and the Gauss Bonnet theorem

Generally two dimensional spacetimes are deemed to be static, as the Gauss Bonnet theorem implies that the Einstein Hilbert action would be a constant independent of $g$. But as far as I can tell, ...
3
votes
0answers
77 views

Usage of tensors in physics

As I understand it, tensors are multi-linear maps that map vectors (and dual vectors) to real (or complex) numbers, but I'm hoping to gain some intuition as to why they are useful in physics. Is it ...
3
votes
0answers
72 views

Scalar Curvature of a Conformally Flat Metric

Suppose that you have a metric $g_{\mu\nu}=\phi^2\eta_{\mu\nu}$ for some function $\phi$. There is a standard formula for what the scalar curvature $R$ looks like in terms of $\phi$, which is given by ...
5
votes
1answer
65 views

Coupling a spinor field to a preexisting scalar field?

So I'm not a physicist, but I'm thinking about a mathematical problem where I think physical insight might be useful. We're working on a Riemannian manifold $(M,g)$ (positive definite metric) with a ...
5
votes
1answer
245 views

Killing tensor and Riemann tensor identity

I know that if we have a Killing vector then it's straightforward to show the identity: $$\nabla_a \nabla_b K_c = R_{cba}^k K_d$$ I'm now trying to show the following identity for a $(0,2)$ Killing ...
0
votes
0answers
26 views

Are general coordinate transformations and diffeomorphisms the same? [duplicate]

Infinitesimal diffeomorphisms $x{}^\mu \rightarrow x{}^\mu + \xi{}^\mu$ (with $\xi{}^\mu \ll 1$) change geometric objects by means of the Lie derivative, that is, $X \rightarrow X + \mathcal{L}_\xi \, ...
1
vote
0answers
83 views

Question on $E_8$ and twistor space [on hold]

The Kahler $4$ form constructed from two-forms $\{\alpha, \beta\} \in H^2(M,\mathbb Z)$, and $M$ a $4$-manifold, is induced by $\alpha\wedge\beta$ with the map $H^2(M, \mathbb Z)\otimes H^2(M, \mathbb ...
4
votes
1answer
228 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) ...
5
votes
1answer
65 views

Signature of $f: \Lambda^2(\mathbb{R}^4) \times \Lambda^2(\mathbb{R}^4) \to \mathbb{R}$, $f(\omega, \omega') = \omega \wedge \omega'$ [closed]

Define$$f: \Lambda^2(\mathbb{R}^4) \times \Lambda^2(\mathbb{R}^4) \to \Lambda^4(\mathbb{R}^4) \cong \mathbb{R}, \quad f(\omega, \omega') = \omega \wedge \omega'.$$ What is the signature of $f$? ...
7
votes
1answer
214 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 ...
4
votes
1answer
98 views

Covariant derivative of a covariant derivative

I'm trying to find the covariant derivative of a covariant derivative, i.e. $\nabla_a (\nabla_b V_c)$. This is something I've taken for granted a lot in calculations, namely I though that by the ...
4
votes
0answers
35 views

Schwarzschild metric, speed of ball as measured by observer who catches the ball, just before ball is caught? [closed]

Inspired by this question here. The Schwarzschild metric, describing the exterior gravitational field of a planet of mass $M$ and radius $R$, is given by$$ds^2 = -(1 - 2M/r)\,dt^2 + (1 - ...
3
votes
0answers
31 views

Induced metric is a scalar for transformation from $x\to x'$? (Poisson E.A p.62)

I have a (simple) question about the induced metric $h_{ab}$. In Poisson E.A. (a relativist toolkit) it says in p. 62 that the induced metric $$h_{ab}=g_{{\alpha}{\beta}} \frac{\partial ...
0
votes
0answers
21 views

torsion tensor proof [closed]

I looked up torsion tensor derivation on 2 different books, and encountered 2 different situations, so my mind has been confused. For the first image, I could totally understand how torsion tensor was ...
1
vote
0answers
30 views

probability of striking the circular ring by gas molecules

In kinetic theory we use probabilistic case to derive pressure, no. Of molecules having speed c to c+dc or in such cases.and to derive such equations we introduce a term called "SOLID ANGLE" I come ...
3
votes
1answer
64 views

How do you actually use the geodesic equation?

The geodesic equation used in general relativity is the following: $$ {d^2 x^\mu \over ds^2} =- \Gamma^\mu {}_{\alpha \beta}{d x^\alpha \over ds}{d x^\beta \over ds}. $$ It states that the ...
4
votes
1answer
31 views

Lie Derivative of Kahler 2-form

Suppose there is a Killing vector $k$ on a Kahler manifold $M$. By definition, $k$ generates isometries of the metric. That is, $L_kg=0$, where $L$ is the Lie derivative. At the same time, there is a ...
2
votes
2answers
76 views

Lie derivative for a covariant derivative of vector

I would like to calculate the $\mathcal{L}_\xi(\nabla_a K^b)$ for the case where $\mathcal{L}_\xi(K^b)=0$ The only Idea that I have is that $$\mathcal{L}_\xi(\nabla_a ...
7
votes
3answers
628 views

How to show that every Killing vector field is a matter collineation?

Various texts make this claim, but no proof is given. Explicitly, let $L$ denote the Lie derivative. Suppose $L_X g_{ab} = 0$ for some vector field $X$, called a Killing vector field. Suppose that ...
2
votes
0answers
52 views

Determinants in path integrals in gauge theories and geometry

I know that in the formalism of path integral it is easy to show how determinants, corresponding to gauge fixing condition and FP ghosts, appear. But there is strict explanation of these determinants ...
1
vote
1answer
46 views

Why is the Einstein Static Universe represented as an infinite cylinder when it seems like only half a cylinder?

The Einstein static universe metric is $$ds^2=-dt^2 + d\chi^2 + \sin(\chi)^2d\Omega^2$$ where $-\infty<t<\infty$ , $0<\chi<\pi$ and $d\Omega^2$ is the metric on a $S^2$. It describes the ...
6
votes
3answers
118 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 + ...
3
votes
1answer
55 views

Torsion in kerr black holes

In General Relativity, we generally assume that the derivative operator is torsion-free, i.e., second covariant derivatives commute on functions. However, in Kerr black holes, spacetime is dragged ...
5
votes
2answers
292 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 ...
4
votes
0answers
26 views

Orthogonal geodesics to hypersurfaces [migrated]

Say we have a Riemannian manifold $(M, g)$ with vector field $Y$, obeying: $g(Y, Y) = 1$; and the $1$-form $\varphi(X) = g(X, Y)$ is $d$-closed, $d\varphi = 0$. I know that the integral curves of ...
3
votes
1answer
40 views

Problem books for concept building in applications of Riemannian and other geometries to mechanics

As a student of physics I have learned solving Euler equations for rigid bodies by solving examples and exercises in self-contained books rather than understanding the proofs of Euler equations (I ...
1
vote
0answers
11 views

Lapse Function and Shift Vector in Minkowski and de Sitter

I'd like to find the lapse function and shift vector in 1+1 Minkowski as well as 1+1 de Sitter (flat foliation) for a region foliated this way: The $y$-axis represents time while the x-axis ...
4
votes
1answer
51 views

Schwarzschild metric, acceleration of ball before it's dropped [duplicate]

The Schwarzschild metric, describing the exterior gravitational field of a planet of mass $M$ and radius $R$, is given by$$ds^2 = -(1 - 2M/r)\,dt^2 + (1 - 2M/r)^{-1}\,dr^2 + r^2(d\theta^2 + ...
3
votes
1answer
46 views

Why does the 'Jacobian of at least one combination of $n$ functions shall be different from zero'?

I've started reading The Variational Principles of Mechanics by Cornelius Lanczos; here is the concerned excerpt from p. 11: The generalized coordinates $q_1,q_2,\ldots, q_n$ may or may not have a ...
0
votes
1answer
45 views

Wald's Equation 3.3.6

I have an issue with Eq. 3.3.6 of Wald's General Relativity. There he would like to prove that for Gaussian normal coordinates, the geodesic tangent field remains orthogonal to all coordinate basis ...
1
vote
0answers
51 views

Flux with or without sources

I want to check whether my understanding about flux is correct. So let me consider a $d$-dimensional spacetime manifold $M$ and a $(p+2)$-form flux (or field strength) $F$. Then there are two ...
23
votes
4answers
1k views

The Lagrangian as a metric

My question is, can the (classical) Lagrangian be thought of as a metric? That is, is there a meaningful sense in which we can think of the least-action path from the initial to the final ...
4
votes
1answer
235 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 ...
4
votes
1answer
57 views

How can you tell if spherical-like coordinates are locally flat across the origin?

In general relativity, with spherical-like coordinates in a radial gauge, I have a metric that looks like: $$-g_{tt}\mathrm{d}t^2 + g_{rr}\mathrm{d}r^2 + r^2(\mathrm{d}\theta^2 + \sin^2\theta\ ...
0
votes
0answers
49 views

What is basic tensor algebra in teleparallel equivalent of general relativity?

Teleparallel gravity represents a viable alternative to general relativity where gravitation comes from torsion rather that curvature. The theory is based on a new modified connection, and the ...
1
vote
1answer
317 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 ...
3
votes
0answers
68 views

A question on the Chern number and the winding number?

Let $\mid \psi(x,y) \rangle$ be a normalized wavefunction living in a $d$-dimensional Hilbert space and depend on two real parameters $(x,y)$ that belong to a closed surface (e.g., $S^2, T^2$, ...). ...
3
votes
1answer
469 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). ...
1
vote
2answers
73 views

Straight line null geodesics in Minkowski, De Sitter and Schwarzschild

I'm trying to understand which part of the following metric determines whether photons travel on a "straight" line (thinking of $(t,r,\theta,\phi)$ as a flat background), the metric I'm considering ...
3
votes
0answers
29 views

Integral curves of vector field are geodesics [migrated]

Say we have a Riemannian manifold $(M, g)$ with vector field $X$ obeying the following: $g(X, X) = 1$; and the $1$-form $\varphi(Y) = g(Y, X)$ is $d$-closed, $d\varphi = 0$. Does it necessarily ...
0
votes
0answers
25 views

Volume form of the AdS_{4} Space

Regarding the unit radius $AdS_{4}$ space, the metric in global coordinates, is given by: $$ds^{2}_{AdS_{4}}=\frac{1}{\cos^{2}{\rho}}[dt^{2}-d\rho^{2}-\sin^{2}\rho d\Omega_{2}^{2}]$$ where ...
0
votes
0answers
30 views

AdS boundary global vs Poincare'

Is the global boundary of AdS the same of the boundary written in Poincare' coordinates?
1
vote
1answer
52 views

Anomalies and determinant bundle curvature

I heard that anomalies and curvature of determinant bundle are related. Namely, curvature of determinant bundle is related to Chern-Simons form (which are involved in description of gauge anomalies). ...
8
votes
3answers
885 views

The geodesic line on Poincare half plane

I was calculating the geodesic lines on Poincare half plane but I found I somehow missed a parameter. It would be really helpful if someone could help me find out where my mistake is. My calculation ...
3
votes
1answer
180 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
44 views

Tensors Contracting Indices

I'm pretty confused regarding the components of a tensor once you take its trace (or contraction). I'll use $B\in T_2^1(V)$ to be specific. Let $V$ be an $n$-dimensional vector space with basis ...
20
votes
6answers
2k 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
63 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 ...