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
3answers
261 views
+250

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
104 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
364 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
64 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
41 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
56 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
39 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
492 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
66 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
54 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
34 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
68 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
55 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
114 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
198 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
78 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
86 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
167 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
30 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
94 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
64 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
41 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
531 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
46 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
90 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 ...
0
votes
1answer
62 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 ...
3
votes
2answers
529 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
38 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 ...
2
votes
0answers
76 views

Does the covariant derivative of a derivative of the metric vanish?

The title holds the main question. For a little more backgroud: In a calculation I keep coming across terms of the form $$ D_M \partial_N e_P^A \overset{?}{=} 0$$ where $e_P^A$ is the vielbein and ...
1
vote
1answer
47 views

Generalized spin connection and dreibein in higher spin gravity

I am studying 3D higher spin gravity and I would like to know the mathematical and physical meaning of generalized spin connection and generalized dreibein that appear in this theory. It is well known ...
4
votes
1answer
143 views

Geodesic Deviation between Test Particles from Gravitational Wave

I'm having trouble understanding how Carroll (Spacetime and Geometry, p.296) explains the effect of a passing gravitational wave on test particles. If we have two geodesics with tangents $\vec{U}$, ...
1
vote
1answer
60 views

Geodesic deviation

In S. Carroll Lecture Notes on General Relativity, chapter 6, pages 152-153 we have equation (6.62) $$\tag{6.62} \frac{\partial^2}{\partial t^2} S^\mu=\frac{1}{2} S^\sigma \frac{\partial^2}{\partial ...
5
votes
2answers
143 views

Metric tensor in SRT

I just read on this webpage that we have (click me) $g_{\alpha \beta} = g_{\alpha}^{\beta} = g^{\alpha \beta}.$ Now, although I understand that the first and the last one are equal, I don't think ...
11
votes
2answers
825 views

Can a non-Euclidean space be descripted through an Euclidean space of higher dimension? So why use non-Euclidean?

If you draw a big triangle in Earth 2D surface you will have an approximated spherical triangle, this will be a non euclidean geometry. but from a 3D perspective, for example the same triangle from ...
1
vote
0answers
24 views

Norm of Killing vector field

Let us suppose we have a Killing vector field with $X^a = 1/2$ and $X^b = 1/3$ and $g_{ab}=1$ where the other $c$ and $d$ components are zero. Now we want to find its norm: The formula for finding ...
3
votes
1answer
76 views

Naturalness of tensor fields in general relativity?

In the third chapter of the book The Large Scale Structure of Space-Time, the authors say regarding the matter fields in general relativity: These fields will obey equations which can be expressed ...