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
vote
1answer
16 views

Second covariant derivative, computation problem

I am having a question on the wikipedia article http://en.wikipedia.org/wiki/Second_covariant_derivative Using the notation therein I don't get why $(\nabla_{u}\nabla_{v}w ...
0
votes
3answers
46 views

Covariant Derivative of Kronecker Delta

I am reading Carroll's book on GR right now, and I ran into a little trouble in his chapter 3 on curvature. He is establishing the properties of the covariant derivative, and claims that the fact that ...
-1
votes
1answer
25 views

Global Hyperbolicity in spacetime Manifold [on hold]

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?
3
votes
0answers
81 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 ...
5
votes
1answer
66 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 ...
0
votes
0answers
28 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 \, ...
3
votes
0answers
75 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 ...
1
vote
0answers
83 views

Question on $E_8$ and twistor space [closed]

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 ...
5
votes
1answer
66 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$? ...
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 ...
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 ...
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 ...
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 ...
3
votes
1answer
56 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 ...
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 - ...
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 ...
5
votes
1answer
246 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 ...
4
votes
1answer
101 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
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 + ...
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
48 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
52 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 ...
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\ ...
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
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 ...
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 ...
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
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
30 views

AdS boundary global vs Poincare'

Is the global boundary of AdS the same of the boundary written in Poincare' coordinates?
0
votes
0answers
26 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 ...
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). ...
1
vote
2answers
75 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 ...
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 ...
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 ...
0
votes
1answer
18 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” ...
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 + ...
0
votes
1answer
121 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
48 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 ...
3
votes
1answer
51 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
61 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|+ ...
2
votes
2answers
90 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 ...
6
votes
2answers
189 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 ...
1
vote
0answers
31 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 = ...
3
votes
1answer
50 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
32 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?
5
votes
0answers
34 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, ...