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
vote
2answers
55 views

All geodesics are inextendable?

I think the title is true, because geodesics has a tangent vector with a constant length parametrized by an affine parameter. Probably, it is easier to think about timelike or spacelike geodesics. ...
2
votes
0answers
69 views

Expectation of 2-form field $B_{MN}$ in string theory

In the context of string theory, in particular when we are dealing with a low energy effective action, if we have an effective action of the form, $$S_{\mathrm{eff}} \sim S^{(0)} + \alpha S^{(1)} + ...
1
vote
1answer
45 views

Why do derivatives act on vector fields on a worldsheet?

The covariant derivative of a vector $A^{\mu}$ at a point $x$ is defined as $$D_z A^{\mu}=\partial_zA^{\mu}+\Gamma^{\mu}_{\rho\sigma}(x)\partial_{z}x^{\rho}A^{\sigma}$$ where Greek symbols are ...
3
votes
2answers
307 views

Why don't global coordinates always exist for a manifold?

Let $M$ be a manifold and $(\phi,U)$ a patch. Then $\phi(P)=\bar{x}=\begin{bmatrix} x^1\\ x^2\\ \vdots\\ x^n \end{bmatrix}$ for each $P$ in $U$. But each $P$ in $M$ is in some patch, so this ...
1
vote
0answers
58 views

(Scalar) Ricci flatness of a metric

What is the physical meaning to vanishing Ricci scalar $R=0$ of a metric in general relativity? Note that this is not the same questions as the geometric meaning of $R_{\mu\nu}=0$ which has been asked ...
6
votes
1answer
2k views

Physical significance of Killing vector field along geodesic

Let us denote by $X^i=(1,\vec 0)$ the Killing vector field and by $u^i(s)$ a tangent vector field of a geodesic, where $s$ is some affine parameter. What physical significance do the scalar quantity ...
0
votes
0answers
53 views

Covariant Derivative Chain rule?

I want to prove that a covariant derivative of a vector $A^{\mu}(x(z))$ at the point $x(z)$ in general would be defined as $$D_z ...
1
vote
2answers
51 views

Proper time in general relativity

For general relativity, Wald's GR states that timelike curves, with the norm $g_{ab}T^{a}T^{b} < 0$, can be parameterized by the "proper time" $$\tau = \int (-g_{ab}T^{a}T^{b})^{1/2} dt.$$ This ...
0
votes
0answers
52 views

Writing this in a neater more compact way [on hold]

If one has $$ (\frac{d\omega^2}{dx^1} - \frac{d\omega^1}{dx^2}) (\theta^1 \wedge \theta ^2) +(\frac{d\omega^3}{dx^2} - \frac{d\omega^2}{dx^3}) (\theta^2 \wedge \theta ^3) +(\frac{d\omega^1}{dx^3} - ...
0
votes
1answer
36 views

Deduce the 3 dimensional Anti de Sitter space from the 4 dimensional case [on hold]

From $$AdS^4=\big\{(u,w,x,y,z) \in \mathbb{R} | -u²-w² +x² + y² + z²=-1 \big\}$$ parametrized by $$f(t,\rho, \theta, \phi) = (\sin t \cosh \rho, \cos t \cosh \rho, \sinh \rho \cos \theta, \sinh \rho ...
0
votes
0answers
29 views

Uniqueness of the Einstein tensor

This is related with an exercise 17.4-a in MTW Here what i want to show is the Einstein tensor $G_{\alpha\beta} = R_{\alpha\beta} - \frac{1}{2} R g_{\alpha \beta}$ is the only second-rank, symmetric ...
1
vote
1answer
98 views

How can we derive the gauge field Lagrangian?

I learned the gauge field Lagrangian is given in this form: $$\mathcal{L} = -\frac{1}{4} \mathrm{Tr}(F_{\mu \nu}F^{\mu \nu}).$$ But how one can derive this equation starting from defining the ...
5
votes
1answer
259 views

Do partial derivatives commute on tensors?

Do partial derivatives commute on tensors? For example, is $$\partial_{\rho}\partial_{\sigma}h_{\mu\nu} - \partial_{\sigma}\partial_{\rho}h_{\mu\nu}=0$$ correct?
1
vote
2answers
83 views

Derivation of the Riemann tensor confusion

I'm trying to understand the derivation of the Riemann curvature tensor as given in Foster and Nightingale's A Short Course In General Relativity, p. 102. They start by giving the covariant derivative ...
0
votes
0answers
39 views

Background field expansion in normal coordinates

Background field expansion following form $Y= X+\pi$ where $X$ is my background field and $\pi$ is the fluctuation. From the Normal coordinates we have the expansion of $\pi^{\mu} = ...
2
votes
0answers
30 views

“Projection of metric” vs. “projection of curvatures” [migrated]

Suppose we have a submanifold $M^n$ which is embedded in manifold $M^{n+2}$ and $g_{\mu \nu}$ denotes the metric of $M^{n+2}$. We know that the induced metric on the submanifold is defined by ...
20
votes
3answers
1k views

Is topology of universe observable?

There is an idea that the geometry of physical space is not observable(i.e. it can't be fixed by mere observation). It was introduced by H. Poincare. In brief it says that we can formulate our ...
2
votes
1answer
53 views

Is this covariant derivative identity true?

Trying to work through a textbook derivation of the geodesic deviation equation, I've calculated this identity:$$u_{;\beta}^{\alpha}u_{\alpha}=u_{\alpha;\beta}u^{\alpha}.$$ If this is true, I'm ...
2
votes
2answers
280 views

How are the Weyl & Riemann curvature tensors related to the stress energy tensor in GR?

Einstein's vacuum equations, that is without matter, allows the possibility of curvature without matter. For instance, we may consider gravitational waves. The question is: Is there some link ...
1
vote
0answers
41 views

Examples of warped product manifolds?

Bishop and O'Neil defined warped product manifolds. Space-times are good examples of such warped product manifolds. Is there a famous and important example of space-times $I×M$ where $M$ is itself a ...
1
vote
2answers
168 views

What is the physical meaning of the Eddington - Finkelstein coordinates?

I want to see a some physical process (experimental) that could explain the many transformations of coordinates into this mathematical procedure. (really two transformations, but i think that is a ...
6
votes
0answers
74 views

Is it possible to have fermions in Schwarzschild spacetime?

To my understanding Geroch proved that on 4-dimensional non-compact manifold a necessary and sufficient condition for a manifold to have a notion of spinors is to be parallelizabe .1 (General ...
2
votes
0answers
52 views

Is it possible to build a tensor with the following properties? [closed]

I am searching for a tensor in 4-dimensional space-time with two indices that satisfy: \begin{eqnarray} M_{;\mu }^{\mu \nu } &=&0 \\ M^{\mu \nu } &=&-M^{\mu \nu } \nonumber \\ ...
4
votes
1answer
70 views

Total derivative in action of the field theory

Consider a classical field theory. When applying the least action I see that a term is considered total derivative. We say that $$\int \partial_\mu (\frac {\partial L}{\partial(\partial_\mu ...
2
votes
1answer
178 views

Geodesic equation from Euler - Lagrange

There are several ways to derive the geodesic equation. One of which is the variational method which I seemed to understand it because it was written in great details. Then it was mentioned that the ...
3
votes
1answer
141 views

Susy QM and Atiyah-Singer index theorem

Consider maps $t\mapsto x^i(t)$ from circle to some Riemannian (spin) manifold and lagrangian $$ \mathcal L = \frac12 g_{ij}(x) \partial_t x^i \partial_t x^j + \frac12 g_{ij} \psi^j \left(\delta^i_k ...
1
vote
1answer
90 views

About Christoffel symbols in Riemann normal coordinates

According to the answer to this post, the Christoffel symbols in Riemann normal coordinates are approximated by $$\Gamma^{k}_{ij}(x)~\sim~\frac{1}{2} R^k{}_{ilj}(x_0) \xi^l \tag{5.10}$$ which came ...
6
votes
1answer
96 views

Does nature of singularity in black hole depend on material that fell in?

Electromagnetic waves have a tracesless stress energy tensor, and therefore if they are the only fields in a region of spacetime, the Ricci curvature scalar $R=0$ according to GR. However $R^{\mu\nu} ...
0
votes
1answer
72 views

Covariant derivative of stress-energy tensor for a scalar field [closed]

In order to prove that $$\nabla ^\mu T_{\mu\nu} =0$$ I want to find the covariant derivative of $$T_{\mu\nu} = \partial_\mu\phi \partial_\nu \phi -\frac{1}{2}g_{\mu\nu}(g ...
1
vote
0answers
38 views

Conditions for a diagonal induced metric?

Let $M$ be a manifold of dimension $n$ with a (say Lorentzian) metric $g$, that is diagonal in some choice of local coordinates. Let $S$ be manifold of dimension $k<n$ , embedded in $M$ by some ...
11
votes
4answers
335 views

Is partial derivative a vector or dual vector?

The textbook(Introduction to the Classical Theory of Particles and Fields, by Boris Kosyakov) defines a hypersurface by $$F(x)~=~c,$$ where $F\in C^\infty[\mathbb M_4,\mathbb R]$. Differentiating ...
1
vote
1answer
148 views

Positive Mass Theorem

I'm currently a third year undergrad writing about Minimal Surfaces. In particular, trapped surfaces and black holes. What does the Positive Mass Theorem have to do with this? And does the theorem ...
4
votes
1answer
195 views

What is discrete phase space?

I've been reading a little about the usual, continuous Wigner functions and phase space quasi-distributions in general, and I believe I understand the idea behind them. The Wigner function arises when ...
2
votes
2answers
57 views

Covariant derivative applied to a vector vs. applied to a matrix?

I know there are (say) two different definitions/representations of the covariant derivative: one is the covariant derivative applied to a vector $F$, which reads as $$DF=\partial F+iAF$$ ...
0
votes
1answer
137 views

Geodesic deviation on a unit sphere

Very little interest in the original version of this question so I've rejigged it hoping for a more positive response. I'm trying to use the geodesic deviation ...
7
votes
3answers
696 views

Covariant and contravariant vectors

Reading Weinberg's Gravitation and Cosmology, I came across the sentence (p.115, above equation (4.11.8)) The partial derivative operator $\partial/\partial x^\mu$ is a covariant vector, or in ...
7
votes
1answer
134 views

Betti multiplets in Kaluza Klein compactifications

It is well known that if the compactification manifold of a supergravity theory has non-zero Betti numbers, this may lead to the so called Betti multiplets in the spectrum of the low dimensional ...
3
votes
1answer
78 views

Ricci curvature of embedded spacetime

If I am not mistaken, there is a theorem which states that every Riemannian manifold can be embedded in the $n$-dimensional Euclidean space for some large-enough $n$. Does it also hold for ...
4
votes
1answer
314 views

Angular momentum in curved spacetime

It is known that the angular momentum components are also a representation of the $SU(2)$ generators. Given a non-trivial spacetime, say a black hole of some kind or AdS space, how can one define the ...
0
votes
1answer
78 views

What is Laplace operator of Schwarzschild-Spherical coordinates? [closed]

This is the Laplace operator of Spherical coordinates: What is the Laplace operator of Schwarzschild-Spherical coordinates? where the Differential displacement of Schwarzschild-Spherical ...
2
votes
4answers
167 views

Why does a bubble take a spherical shape?

I suspect this has something to do with thermodynamics and the isoperimetric inequality and I'm interested in a mathematical derivation of this result.
3
votes
1answer
115 views

Correct tetrad index notation

There seems to be some different conventions on the indexes of the tetrad. I am wondering which is the standard, which is correct, and which is an abuse of notation. In Sean Carroll's notes and in ...
0
votes
5answers
206 views

How to determine “timelike”-ness without using a coordinate system?

It has been stated here that: we can say, without introducing a coordinate system, that the interval associated with two events is timelike, lightlike, or spacelike. This assertion appears at ...
4
votes
2answers
183 views

Why do we need non-trivial fibrations?

I am currently reading this paper. I understand how the Bloch sphere $S^2$ is presented as a geometric representation of the observables of a two-state system: $$ \alpha |0\rangle + \beta |1\rangle ...
3
votes
3answers
430 views

Polyakov action: difference induced metric and dynamical metric

The Polyakov action is given by: $$ S_p ~=~ -\frac{T}{2}\int d^2\sigma \sqrt{-g}g^{\alpha\beta}\partial_{\alpha}X^{\mu}\partial_{\beta}X^{\nu}\eta_{\mu\nu} ~=~ -\frac{T}{2}\int d^2\sigma ...
1
vote
1answer
72 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 ...
1
vote
2answers
86 views

Good Fiber Bundles reference for Physicists

I'm a student of Physics and I have interest on the theory of Fiber Bundles because of the applications they have in Physics (gauge theory for example). What are good books to learn the theory of ...
1
vote
1answer
58 views

One step in deriving the Einstein-Hilbert action

In this amazing first principles derivation of the Einstein-Hilbert action there is one small manipulation needed to show $$c g_{ab,cd}\left(\eta^{ac}\eta^{bd} - \eta^{ab}\eta^{cd}\right)$$ is ...
5
votes
1answer
285 views

Geodesic deviation equation - why does the ordinary second derivative give the correct answer?

I've calculated the correct answer to my problem, but don't understand one of the assumptions I made when doing so. I used the geodesic deviation equation ...
7
votes
1answer
116 views

Why is it so coincident that Palatini variation of Einstein-Hilbert action will obtain an equation that connection is Levi-Civita connection?

There are two ways to do the variation of Einstein-Hilbert action. First one is Einstein formalism which takes only metric independent. After variation of action, we get the Einstein field equation. ...