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

learn more… | top users | synonyms

3
votes
1answer
29 views

How can we see that the Riemann curvature tensor is covariant?

The Riemann curvature tensor, using the conventions of wikipedia, is written in terms of Christoffel symbols as: $$ \tag{1} R^\lambda_{\,\,\mu \nu \rho} = \partial_\nu \Gamma^\lambda_{\,\,\rho \mu} - ...
0
votes
0answers
33 views

Kleppner derivation of Lorentz transformation

I am reading Kleppner.(Lorentz transformations) He said,we take the most general transformation relating the coordinates of a given event in the two systems to be of the form $$x'=Ax +Bt, y'=y, z'=z, ...
4
votes
2answers
133 views

Is a local Lorentz frame a coordinate chart on a spacetime manifold?

I am just starting to learn GR. I'm alternating between studying physics books and studying math books. I keep seeing the term Lorentz frame and I'm not sure what it means mathematically. Is a ...
-1
votes
0answers
18 views

Concept of Chern number [on hold]

I'm going to work on Chern number, but I don't have any idea what concept it has. I don't know what does in mean if Chern number is for example 1, or 0, or 2.
0
votes
0answers
32 views

Betti Numbers for sphere and torus, cycles and Poincare Duality [on hold]

In the book String Theory and M-Theory by Becker, Becker and Schwarz, the Betti Number $b_p$ is defined as the number of $p$-cycles which are not boundaries. What is a $p$ cycle? Does it have to be ...
2
votes
2answers
231 views

If gravitation is due to space-time curvature, how can a body free-fall in a straight line?

According to general relativity, Gravity is due to space-time curvature. Then all paths must be curved. If so, how can there be any straight line motion? The body must follow a curved path. So, there ...
1
vote
1answer
66 views

Can a spacetime solution in GR have no Killing vector fields?

Sometimes Killing vector fields in a given spacetime are described as giving information about a symmetry of that particular spacetime solution. If I look at the requirement of a Killing vector field ...
3
votes
0answers
55 views

Time functions in general relativity

In my general relativity notes a function $f$ is called time function, if $\nabla f$ is time-like past-pointing. Say that we are in Schwarzschild spacetime and I want to check if $f=t$ is a time ...
-1
votes
1answer
50 views

Norm of summation of vectors

If we have a vector $\partial_v$ and we want o find its norm, we easily say (According to the given metric) that the norm of that vector is:$ g^{vv}\partial_v\partial_v$. My question what if we have ...
0
votes
1answer
49 views

Do the concepts of intrinsic and extrinsic curvatures imply that all spaces are embedded in a higher dimensional space?

The concepts of intrinsic and extrinsic curvature seem to imply that all spaces must be embedded in a higher dimensional space? What does this imply for physical reality?
4
votes
1answer
72 views

Conformal Killing fields on Schwarzschild

I am trying to understand which are the conformal Killing Fields on the Schwarzschild spacetime. I say that $X$ is a conformal Killing field on $S$ ($S$ is Schwarzschild) if there exists a function ...
6
votes
2answers
149 views

Akin to gauge field, why GR's lagrangian is not $R_{abcd}R^{abcd}$? What's the mathematical or physical meaning of $R_{abcd}R^{abcd}$?

For gauge field theory, the Lagrangian of the gauge field is $$\mathcal{L}=-\frac{1}{4}\mathrm{tr}(\mathcal{F}_{\mu\nu}\mathcal{F}^{\mu\nu})=-\frac{1}{8}F_{a\ \mu\nu}F^{a \ \mu\nu}$$ The field ...
3
votes
1answer
60 views

Why do we need frame-fields to describe fermions in SUGRA?

I'm learning about the frame formalism and read that to couple fermions to gravity you need to go to the frame-formalism. As a motivation to learn more about frame-fields would someone sketch me why ...
0
votes
2answers
86 views

How does covariant derivative act on Christoffel Symbols?

the question is how the covariant derivative acts on the following? $\nabla_\nu(\Gamma^\alpha_{\mu\lambda}R^{\beta\lambda})=?$ and ...
0
votes
0answers
28 views

Euclidean AdS space in Poincaré coordinates

I have read anti-de Sitter (AdS) space and its Euclidean version both in Global and Poincaré coordinates. For Lorentzian case it is clear how one Poincaré patch cover only one half of the whole AdS ...
2
votes
1answer
70 views

From affine space to a manifold?

One of the several definitions of an affine space goes like this. Let $M$ be an arbitrary set whose elements are called points, let $\mathcal{V}$ be a vector space of dimension $n$, and let ...
0
votes
0answers
39 views

Maps on manifolds

I am reading the SUPERGRAVITY textbook of Freedman and Van Proyen. I am reading that in the sphere we can introduce two patches that their union covers the whole sphere. Ok, I understand why we need ...
0
votes
0answers
50 views

Coordinate Symbol confusion in general relativity

In a previous post (Finding the metric tensor from the Einstein field equation?), the equation used lambda, rho mu and nu (not sure of the names of the letters!) for the Ricci tensor and swapped to a, ...
2
votes
2answers
120 views

Geometric interpretation of $\vec v \cdot \operatorname{curl} \vec v = 0$

In this Math.SE question, I asked a question to which I was hoping to get a simple intuitive answer. Instead I received an otherwise perfectly correct but very mathematical one. Obviously, the words ...
1
vote
0answers
60 views

Manifold for Schwarzschild and Bertotti-Robinson

In short: what is the manifold in discussion for Schwarzschild metric $$ ds^2 = -(1-\frac {2M}r)dt^2 + \frac1{1-\frac{2M}r} dr^2 + r^2 (d\theta^2 + \sin^2 \theta d\phi^2)$$ and Bertotti-Robinson ...
2
votes
1answer
49 views

Integration and Differentiation of Proper Time

My question concerns the general relativity setting. Integration: Proper time is defined by $$\tau = \int_P\sqrt{g_{\mu\nu}dx^\mu dx^\nu}$$ but happens when $g_{\mu\nu}\neq 0$ for $\mu\neq \nu$ ? For ...
3
votes
0answers
62 views

Is the metric-induced topology relevant at all in a (psuedo) Riemannian manifold? [duplicate]

A (pseudo) Riemannian manifold is a tuple: $$(M,g)$$ where $M$ is a smooth manifold (in particular, a topological space with an atlas) and $g$ is a (pseudo) Riemannian metric tensor. It is apparent ...
1
vote
0answers
40 views

Free fall coordinates/Fermi (normal) coordinates

It makes sense intuitively given the equivalent principle, and I've seen many times it stated, that for a free fall (geodesic) path in an arbitrary spacetime, we can choose our coordinate system to ...
2
votes
3answers
268 views

Magnetic monopole and vector potential

Does anyone know how to prove (in a simple way if possible) that it is impossible to define a single-valued globally defined magnetic vector potential $\vec{A}$ on the manifold ...
6
votes
0answers
79 views

Can some components of metric be Finslerian while the others be Riemannian?

A Finsler metric reduces to a Riemann metric in case it loses its dependence on velocities. Now, my question is this: Can we have a Finsler metric in which some components of the metric have velocity ...
4
votes
1answer
78 views

field solutions for covariant derivative of vector field constrained to zero

Question: What do the solutions of $\nabla_\mu A^\nu = 0 $ look like? And is it possible for spacetime curvature to somehow restrict the solution to $A^\nu = 0$? Here is my current ...
2
votes
0answers
53 views

Intuition behind $U(1)$-gauge model of Electrodynamics in a general spacetime

As the article Electrodynamics in general spacetime greatly explains, the $U(1)$-gauge theory is a good base for working in non-simply connected spaces. But I wonder whether there is a deep reason to ...
2
votes
1answer
78 views

The relationship between the structure of spacetime and the existence of spinor field?

We all know that the existence of spinor fields implies that spacetime must be time-orientable. Thus that spacetime is time-orientable is a necessary condition for existence of spinor fields. Geroch, ...
0
votes
0answers
11 views

Determination of Ricci tensor and Scalar curvature from vielbeins [migrated]

Consider the following metric: $ds^2=h(r)\bigg(dr^2+r^2\big(d\theta^2+\sin^2\theta ~d\phi^2+(d\psi+\cos\theta ~d\phi)^2\big)\bigg)$ We can try to compute the Ricci scalar of this metric by using ...
4
votes
3answers
83 views

Geodesic Equation from variation: Is the squared lagrangian equivalent?

It is well known that geodesics on some manifold $M$, covered by some coordinates ${x_\mu}$, say with a Riemannian metric can be obtained by an action principle . Let $C$ be curve $\mathbb{R} \to M$, ...
2
votes
1answer
70 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 ...
1
vote
3answers
77 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. ...
3
votes
2answers
344 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 ...
0
votes
0answers
57 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
66 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 ...
1
vote
0answers
61 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 ...
0
votes
0answers
36 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 ...
2
votes
2answers
94 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
43 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
1answer
58 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 ...
1
vote
0answers
45 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 ...
2
votes
0answers
55 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
77 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 ...
1
vote
1answer
101 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 ...
0
votes
1answer
81 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
43 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 ...
3
votes
1answer
149 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 ...
2
votes
2answers
65 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$$ ...
11
votes
4answers
381 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 ...