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

learn more… | top users | synonyms

11
votes
7answers
137 views

How can a set of components fail to make up a vector?

Many books in Physics insist to define vectors are objects with components with the property that the components transform in a proper way under a change of coordinates. Now, in mathematics, on the ...
0
votes
1answer
52 views

Is my Summary of a Spinor Bundle Associated with a String Worldsheet Correct?

I've been having difficulty finding a source that lists all the properties of the spinor bundle of a string worldsheet explicitly, so I've had a go at creating my own description. I'd really ...
4
votes
1answer
457 views

Step by step algorithm to solve Einstein's equations

I cannot completely understand what is a regular method to solve Einstein's equations in GR when there are no handy hints like spherical symmetry or time-independence. E.g. how can one derive ...
1
vote
1answer
81 views

What is the covariant basis around a Schwarzschild black hole?

First of all, I'm not interested in time for this question. So lets consider a 3-manifold whose metric is the spatial part of the Schwarzschild metric, so it has the event horizon and the singularity ...
0
votes
1answer
45 views

Lie derivative in this paper [on hold]

In this paper http://arxiv.org/abs/1210.2332 it says in (3.19) p. 8 that $$L_{V}z^A =0$$ but I don't know much about Lie derivatives except what I saw now through wikipedia ...
1
vote
0answers
19 views

Free Components of the Riemann Tensor

Knowing the symmetries of the Riemann tensor, it is known that in 4-dimensional space we would have only 20 free components. My question is: How one can decide which components are necessary to ...
0
votes
1answer
47 views

Will a stress-energy tensor have the same identities as it's metric?

Say I have a metric tensor where $$g_{00} = -c^{2}\ and $$ $$g_{01}=g_{02}=g_{03}=0$$ and $$g_{12}=g_{13}=g_{23}$$ and $$g_{11}=g_{22}=g_{33}$$ My question is straightforward: would the same or ...
4
votes
2answers
1k views

Can anyone please explain Hawking-Penrose Singularity Theorems and geodesic incompleteness?

Can anyone please explain Hawking-Penrose Singularity Theorems and geodesic incompleteness? In easy to understand plain English please.
1
vote
0answers
15 views

2D CFT for nontrivial topology

What is a systematic way to calculate a general $N$-points correlation function of 2D CFT for a nontrivial topology? Piece by piece of this can be found in many different CFT and String Theory ...
-2
votes
3answers
326 views

Given the Wikipedia notion of “arc length”, how is its manifestly real “signed variant” to be called and denoted?

I am dissatisfied with the presentation (not to say "definition") of "arc length", in its "Generalization to (pseudo-)Riemannian manifolds", as given in Wikipedia. (Who isn't?. But I'll sketch it here ...
4
votes
1answer
129 views

Does magnetic monopole violate $U(1)$ gauge symmetry?

Does a magnetic monopole violate $U(1)$ gauge symmetry? In what sense and why? Insofar as I know, there are at least two types of magnetic monopoles. One is the Dirac monopole while the other is the ...
0
votes
1answer
81 views

How to find a metric of a general observer?

Yes, that's it. How to find a particular metric of an observer in general relativity? Let's say we have a static metric: ...
2
votes
1answer
373 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 ...
0
votes
1answer
69 views

Geodesic equation

I have a technical question about the geodesic equation. Assume we have a frame $(E_{1},E_{2},E_{3},E_{4})$ (not necessarily a coordinate frame). Assume we have a parametrized curve $\gamma(s)\in M$ ...
-1
votes
0answers
36 views

Hodge star related question [migrated]

If we have expression (1) $$\star (F \wedge d\alpha)$$ where $$ (F \wedge d\alpha)$$ is a $2$-form field strength ($F$ and $d\alpha$ are 1 forms)and $\star$ represents Hodge star. How can we ...
0
votes
1answer
44 views

Understanding the covariant derivative and its relation to parallel transport

I have been reading section 3.1 of Wald's GR book in which he introduces the notion of a covariant derivative. As I understand, this is introduced as the (partial) derivative operators $\partial_{a}$ ...
3
votes
2answers
61 views

Symplectic structure and isomorphisms

In his book Mathematical Methods of Classical Mechanics, V.I. Arnold writes To each vector $\xi$, tangent to a symplectic manifold $(M^{2n},\omega^2)$ at the point $\mathbf{x}$, we associate a ...
1
vote
0answers
42 views

The Covariant Spinor Derivative in the Locally Supersymmetric Generalisation of the Polyakov Action and Potential Mistakes in the Literature

Questions) I recently came upon the thesis The Landscape of Free Fermionic Gauge Models by D. G. Moore and G.B. Cleaver. On pages 20 and 21 they explain that the locally supersymmetric action, ...
4
votes
2answers
507 views

Metric tensor in special and general relativity

I'm having trouble understanding the metric tensor in general relativity. What I've understood so far has come from my course lecture notes used in conjunction with "The Road to Reality" by Roger ...
3
votes
1answer
69 views

Inverse Metric Tensor

First the setup: Let $\mathcal M$ be a $2$-dimensional manifold. Let $U_P$ be some open neighbourhood of a point $P \in \mathcal M$. Let $\mathcal F : U_P \rightarrow \mathbb R \times \mathbb R$ be ...
4
votes
1answer
56 views

Fastest way to find the curvature terms from a given metric [closed]

I want to find the spherically symmetric, static solutions to Einstein's equations $$ R_{\mu \nu} - \frac{1}{2}Rg_{\mu \nu} = 0 $$ in four dimensions using the metric $$ g_{\mu \nu}dx^{\mu}dx^{\nu} ...
0
votes
1answer
36 views

Given any metric, how to find the straight line path between two points? [closed]

Say we are given a two-dimensional metric $$ds^2=f_1(x)dx^2+f_2(x)dy^2,$$ for any kind of function. How do we calculate the distance along a straight line path (not the shortest possibly) between, ...
2
votes
1answer
73 views

Are the Jacobi equation and the geodesic deviation equation related?

On page 111 in his book Riemannian Geometry, Manfredo Do Carmo states what he calls the Jacobi equation \begin{equation} \frac{D^2J}{dt^2} + R(\gamma'(t),J(t))\gamma'(t) = 0 \end{equation} ...
1
vote
0answers
57 views

Quadratic order perturbation terms in the expansion of Ricci tensor [closed]

I want to expand Einstein-Hilbert action for the metric $$ g_{\mu \nu} = \eta_{\mu \nu} + h_{\mu \nu} $$ up to quadratic order in $h_{\mu \nu}$. For this purpose I need to calculate the Ricci tensor ...
1
vote
2answers
117 views

Is there an accepted axiomatic approach to general relativity?

I am reading Steven Weinberg's book Gravitation and Cosmology. He makes a big deal out of the equivalence principle and showed a bunch of deductions you can make based on it. This surprised me since ...
1
vote
0answers
23 views

Lagrangian of a particle on a torus. Calculations right? [closed]

I just want to calculate the motion of a particle on a torus. But it involves some complex calculation. I just want to see if I did everything right. $$f(\phi,\theta)= \begin{pmatrix} (R+ r \cos ...
9
votes
3answers
205 views

Why do the Einstein field equations (EFE) involve the Ricci curvature tensor instead of Riemann curvature tensor?

I am just starting to learn general relativity. I don't understand why we use the Ricci curvature tensor. I thought the Riemann curvature tensor contains "more information" about the curvature. Why is ...
2
votes
1answer
80 views

Doubt regarding the dimension of a manifold

I'm very unsure about all this business so please forgive any inaccuracies in my question. Essentially what I'm having trouble understanding right now is how we "decide" the dimensionality of a ...
1
vote
1answer
44 views

Invariance of the low energy effective string action

It is well known that the action of General Relativity $$S = \frac{1}{16\pi G}\int R\;\sqrt{-g} d^D X$$ is invariant under "diffeomorphisms". The low energy effective action for bosonic strings is ...
1
vote
1answer
88 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 ...
3
votes
0answers
87 views

Chocolate dynamics

Now I have found a possible model on how to describe chocolate when it is chewed. It has to do with geometrical transformations when a curve $\gamma$ intersects a manifold $M$. The chocolate is ...
5
votes
2answers
172 views

Is a spinor in some sense connected to space?

Spinors transform under the representation of $SL(2,\mathbb{C})$ which is the double cover of the Lorentz group $SO(1,3)$ - or in the non-relativistic case under $SU(2)$, the double cover of $SO(3)$. ...
1
vote
1answer
34 views

What does “local composite symmetry” mean in ${\cal N}=8$ $d=5$ supergravity?

What does it mean "local composite symmetry" in supergravity? Specifically, I don't understand very well the local composite symmetry ${\rm USp}(8)$ in ${\cal N}=8$ $d=5$ supergravity.
4
votes
3answers
178 views

Geometric meaning of parallel transport

The definition of parallel transport of a vector $v^b$ along a curve $C$ with tangent field $\it{t}^a$ is given by Wald's GR as $$t^a \nabla_a v^b = 0$$ Is it correct to think of $\nabla_a v^b$ as ...
0
votes
0answers
42 views

Geometric meaning of $\nabla_{[i}x^i \nabla_{j]}x^j$ [migrated]

I am teaching myself tensor calculus. In some of my calculations the term $\nabla_{[i}x^i \nabla_{j]}x^j$ keeps turning up. In 2 dimensions this is up to a constant the determinant of the ...
5
votes
1answer
112 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 ...
0
votes
0answers
31 views

Penrose diagram (Reissner-Nordstrom metric)

I try to derive the Penrose diagram for the Reissner-Nordstrom metric $$ \text d s^2 = -\frac{(r-r_+)(r-r_-)}{r^2}\text d t^2 + \frac{r^2}{(r-r_+)(r-r_-)}\text d r^2 + r^2 \text d \Omega^2\;,\qquad ...
1
vote
0answers
28 views

Assigning an asymptotic power to the volume form?

I was reading about the covariant theory of asymptotic symmetries in this review: http://arxiv.org/abs/hep-th/0111246 I have a question about eq. (1.8), but before I ask I should describe what the ...
1
vote
1answer
95 views

Physical visualisation of curvature

I was wondering-how do you visualise curvature in the context of general relativity. The gravity well and trampoline analogies are quite wrong, so I want a more realistic approach to it (say, the way ...
1
vote
0answers
62 views

Spin connection and covariant derivative

How to prove explicitly (i.e., to don't postulate it) that by including Lorentz indices $a$ the covariant derivative $D_{\mu}$ looks like $$ D_{\mu}A^{\nu a} = \partial_{\mu}A^{\nu a} + ...
1
vote
2answers
66 views

Properties of Hodge Duality

So we know that Hodge duality works this way $$⋆(dx^i_1 \wedge ... \wedge dx^i_p)= \frac{1}{(n-p)!} \epsilon^{i_1..i_p}_{i_{p+1}..i_n} dx^{i_{p+1} } \wedge dx^{i_n}$$ where $p$ represents the $p$ in ...
-1
votes
0answers
45 views

Hodge star on both 0-form and 1-form

How does Hodge dulaity work on both a 0-form and a 1-form? that is for example $\star {(\partial _x \alpha dx)}$ where $\alpha$ is complex function. Related to Properties of Hodge Duality
1
vote
1answer
50 views

What does this Hodge dual symbol $\star_3$ mean?

We know that in this $$\star {f(...)}$$ the $\star$ represents the Hodge dual. But in this: $\star_3 f(...)$ what does specifically the $\star_3$ symbol mean?
7
votes
4answers
539 views

Can a metric in General Relativity, Supergravity, String Theory, etc., be asymmetric?

Why is it that all problems I encountered until now have metrics that when represented in a matrix form turn out to be symmetric? Aren't there asymmetric matrices representing some metrics?
23
votes
4answers
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 ...
0
votes
1answer
47 views

Duality and 1 forms

If a Killing vector is equal to: $$X= -\frac{1}{\sqrt{2}}\partial _t + \frac{\alpha}{\sqrt{2}}\partial_1.$$ But as far as I know is that the dual of a vector is a 1-form, so can I represent that ...
4
votes
3answers
91 views

If a Killing vector field is timelike, can it be set to $\partial/\partial t$?

If one has a Killing vector that turned out to be a timelike Killing vector field because of negative norm. Can we set this Killing vector field equal to $\partial/\partial t$?
6
votes
5answers
144 views

Is $ds^2$ just a number or is it actually a quantity squared?

I originally thought $ds^2$ was the square of some number we call the spacetime interval. I thought this because Taylor and Wheeler treat it like the square of a quantity in their book Spacetime ...
3
votes
2answers
531 views

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

Let's consider the psuedosphere/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 ...
1
vote
1answer
39 views

components of mixed tensor with same indices

If my tensor $a^{\mu\nu}=$ matrix of 4*4 size (let's say, in 1+3 dimensions with mostly negative convention for the metric), what is $a^{\mu}_{\mu}$ ? Is it the trace or the vector of diagonal ...