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

learn more… | top users | synonyms

2
votes
1answer
349 views

Stress energy tensor and the covariant derivative of the 4-momentum

Another basic question. I have usually seen the stress energy tensor $T^{ij}$ described as the flow of the 4-momentum field $p^i$ along direction $x^j$ in spacetime with $p^0$ as energy and $x^0$ as ...
4
votes
1answer
262 views

Computing Curvature via Cartan Formalism

Given a metric $g_{\mu \nu}$, one can select an orthonormal basis $\omega^{\hat{a}}$ such that, $$ds^2= \omega^{\hat{t}}\otimes\omega^{\hat{t}} - \omega^{\hat{x}} \otimes \omega^{\hat{x}} - ...$$ By ...
1
vote
0answers
43 views

How to calculate the minimum number of extrinsic dimensions of a metric tensor?

The Question How does one calculate the minimum number of dimensions of an extrinsic space that can be used to define the metric tensor \begin{align} g_{mn} = \dfrac{\partial y^k}{\partial x^m} ...
2
votes
0answers
92 views

Questions about closed forms and cycles

I read the section closed forms and cycles in Arnold's Mathematical Methods of Classical Mechanics (page 196-200), but the problems in this section is too difficult to solve in the way following the ...
1
vote
0answers
116 views

Reissner-Nordström Black Holes

The Reissner-Nordström black holes are described by the metric, \begin{align} ds^2 = -\left(1-\frac{2M}{r}+\frac{Q^2}{r^2}\right)dt^2 + \frac{1}{1-\frac{2M}{r}+\frac{Q^2}{r^2}}+r^2d\Omega^2 ...
2
votes
1answer
149 views

Pseudo-Riemannian Manifolds with multiple temporal dimensions

Consider a Pseudo-Riemannian Manifold with signature $$ (\underbrace{+,\cdots,+}_p,\underbrace{-,\cdots,-}_q) $$ For any positive integers $p$ and $q$. Can this kind of manifold contain closed ...
3
votes
3answers
999 views

D'Alembertian for a scalar field

I have read that the D'Alembertian for a scalar field is $$ \Box = g^{\nu\mu}\nabla_\nu\nabla_\mu = \frac{1}{\sqrt{-g}}\partial_\mu (\sqrt{-g}\partial^\mu). $$ Exactly when is this correct? Only for ...
10
votes
3answers
694 views

How to prove the covariant derivative cannot be written as an eigendecomposition of the partial derivative?

The Question How does one prove that Rindler's definition of the covariant derivative of a covariant vector field $\lambda_a$ as \begin{align} \lambda_{a;c} = \lambda_{a,c} - \Gamma^{b}_{\ \ ca} ...
1
vote
1answer
166 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 ...
0
votes
5answers
248 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 ...
6
votes
3answers
289 views

Resources showing how to use differential forms in Physics

I've been learning for a while about multivectors and forms and how they simplify many things that in simple vector calculus seems to be complicated. The only problem until now is that differently ...
13
votes
1answer
748 views

How to prove that a spacetime is maximally symmetric?

In Carroll's book on general relativity, I found the following remark: In two dimensions, finding that $R$ is a constant suffices to prove that the space is maximally symmetric [...] In higher ...
8
votes
2answers
1k views

Does space curvature automatically imply extra dimensions?

Total newbie with basically no physics knowledge here :) I would welcome any correction to the steps of my reasoning that lead to my question, which could easily turn out to be invalid :) My current ...
0
votes
1answer
137 views

What is the meaning of “background” in General Relativity?

I was reading a book on Topological defects of the very early universe as an example of the fundamental groups, and they say that "in an expanding homogeneous and isotropic universe, the background ...
4
votes
0answers
79 views

Is it possible to build up holography in a closed manifold, i.e., in a manifold with a mathematical boundary?

I was wondering about the AdS/CFT correspondence basics. It is constructed on the idea of conformal compactification, in which a open manifold $M$ is homeomorphic related to a closed one $N$ through a ...
5
votes
1answer
137 views

$\mathcal{N}=2$ supersymmetry and $SU(2)$ holonomy

I was reading this Phys.SE question. I was unable to understand how an $SU(2)$ holonomy would produce $\mathcal{N}=2$ in four dimensions. Could anyone shed some light on this?
0
votes
0answers
104 views

Curvature based derivation of Schwarzchild Metric

I'm a third year maths undergrad and I'm trying to find (and follow) a curvature based derivation of the Schwarzchild metric, if there exists such a proof?
1
vote
1answer
115 views

What is the neatest way to describe a “non-autonomous” (lagrangian) system?

The configuration space of a system of particles $(m_i,x_i)$, $i=1,\dots,n$, subject to constraints $$\Phi (x)=0,\qquad \Phi\colon \mathbb R^{3n}\to \mathbb R ^{3n-k},\qquad x=(x_1,...,x_n),$$ if the ...
3
votes
2answers
438 views

Partial Differentiation of a Tensor

I have doubts in the statement that the partial or ordinary differentiation of tensor is not a tensor. The argument for this is that the partial differentiation of the tensor involves evaluating the ...
4
votes
0answers
145 views

Lie derivative of a scalar and PDE

I am reading about differential geometry, and in particular the Lie derivative and its relation to (relativistic) hydrodynamics. In particular, I was wondering if, given two scalar functions ...
6
votes
1answer
358 views

Riemannian manifold: Integration by parts of Lie derivative

How can we apply integration by parts to the Lie derivative? Background: In the Hamiltonian formulation of general relativity, we have the momentum constraint (using abstract index notation, $D_a$ is ...
6
votes
2answers
370 views

Must every isometry have an associated Killing vector?

I understand that the flows of Killing vector fields are isometries, and that one-parameter groups of isometries have an associated Killing vector which generates them, but are your Killing vectors ...
0
votes
0answers
121 views

How to implement wedge product and form in quantum mechanics?

For example use p-form for p identical fermion system? The Maxwell equations can be rewritten as a single function using forms plus an intrinsic equation showing the Faraday tensor is a two form. ...
3
votes
0answers
1k views

Further explanation of the Penrose Conjecture

I'm currently a third year maths undergrad, writing a dissertation on the application of minimal surfaces in space. I have recently come across the Penrose Conjecture that the mass of a spacetime is: ...
2
votes
7answers
444 views

Curvature of Spacetime

I have been exploring for some time both the Special and General Relativity, hoping to glean at least a conceptual grasp of their basic tenets. In reading the book "Gravitation" by Misner, Thorne and ...
1
vote
0answers
69 views

Bending a flat sheet

I am interested in the following problem: starting from a flat sheet, once can bend it into a (sector) of a cylinder isometrically. If further (orthogonal to the first plane) curvature is induced, the ...
1
vote
0answers
55 views

Contracting Indices in General relativity [duplicate]

I was reading a book about general relativity and I came across these two equations $$ \begin{align} \mathrm{g}^{\mu\nu}_{,\rho}+ \mathrm{g}^{\sigma\nu}{\Gamma}^{\mu}_{\sigma\rho}+ ...
2
votes
2answers
336 views

Bracket Notation on Tensor Indices

I know about the () symmetrisation and [] anti-symmetrisation brackets on tensor indices so long as they appear on their own, such as : $$V_{[\alpha \beta ]}=\frac{1}{2}\left ( V_{\alpha \beta ...
9
votes
1answer
349 views

Contracting Indices

Does anyone know how to get from (1) to (2) in the system $$ \begin{align} \mathrm{g}^{\mu\nu}_{,\rho}+ \mathrm{g}^{\sigma\nu}{{\Gamma}}^{\mu}_{\sigma\rho}+ ...
1
vote
1answer
70 views

Unable to resolve 2 equivalent geodesic equations

A free particle moves along geodesics, one form being \begin{split} \ddot x^\mu &= -\Gamma^{\mu}_{\sigma \rho} \dot x^\sigma \dot x^\rho \\ &= -\frac{1}{2}g^{\mu \nu}(\partial_\sigma g_{\rho ...
4
votes
1answer
96 views

Invariants of Connection Form

I am somewhat going out "on a limb" here, since I am much more grounded in the physics side of things than I am in mathematics. Nonetheless, I am wondering if someone is able to comment on the ...
3
votes
2answers
276 views

Vanishing of Weyl Tensor Contraction

Within the context of Einstein space-times, we know that the contraction of the Weyl tensor across a set of indices always vanishes, like so : $$C{^{\alpha }}_{\mu \alpha \nu }=0$$ From a purely ...
4
votes
2answers
598 views

Geodesics equations via variational principle

I would like to recover the (timelike) geodesics equations via the variational principle of the following action: $$ \mathcal{S}[x] = -m \int d\tau = -m \int \sqrt{-g_{\mu\nu}\,dx^{\mu}\,dx^{\nu}} $$ ...
1
vote
1answer
222 views

Symmetry, Transformations and non-linear transformations

I am a physics student. My mathematical background is quite weak. I just want to know the similarities (if there are any) or differences between coordinate transformation of two kinds : Rotation of ...
8
votes
1answer
264 views

Understanding Calculus Notation in Physics

I have just started a first-year calculus-based physics course about electromagnetism and waves. I am having trouble understanding what calculus notation means in the context of physics. Here is a ...
4
votes
1answer
112 views

Sign of $dr$ in Schwarzschild geodesics

There is an equation that relates energy $E$, angular momentum $L$ and other constants and variables to find $\left(\frac{dr}{d\tau}\right)^2$ in a plane. ...
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 ...
2
votes
1answer
77 views

Riemann normal chart and special relativity

When you pick Riemann normal coordinates at a point, then the Christoffel symbols vanish and the metric is flat, but the Riemann curvature tensor does not necessarily vanish. Since Einstein said that ...
2
votes
1answer
111 views

Finding the components of the Riemannian tensor given the components of a metric

I am looking at a manifold of dimension $n$ (And I am considering a local co-ordinates system $x_1,x_2,\ldots x_n$) and the metric defined by the components $g_{ij} = \frac{\delta_{ij}}{x_1^2}$. I'm ...
6
votes
1answer
112 views

In which field theories with fermions do string- and fivebrane structures not come up?

A year ago, username @Greg Graviton asked in a thread here about the Spin group as covering of the spatial rotations. A subquestion was: What other groups, even larger than SU(2) are there that ...
2
votes
0answers
102 views

Geometric quantization in Kepler problem in hydrogen atom

Why in the usual geometric quantization calculation the dimensions of eigenspaces is wrong (we can see this obstacle for Kepler problem in hydrogen atom). Here is a refference see
5
votes
1answer
205 views

Are conformal, Killing and homothetic vector fields the same in pseudo-riemannian manifolds?

I work in the Lorentzian manifolds, more generally in pseudo Riemannian manifolds and applications to general relativity. I know the definitions of conformal, Killing and homothetic vector fields in ...
4
votes
0answers
93 views

Timelike Loop Spaces as Projective Null Twistor Spaces

Let $\mathcal{M}$ be a spacetime, and let $\Omega\mathcal{M}$ denote the loop space of the spacetime. My idea is that the set of all closed timelike curves of $\mathcal{M}$ forms the projective null ...
1
vote
1answer
122 views

How can I show non-Abelian CS term is a total derivative?

I want to show:$$ Tr\left (F\tilde{F} \right )=\partial_{\mu}K^{\mu }=\partial_{\mu}\left (\varepsilon _{\mu \nu \rho \sigma }Tr\left ( F_{\nu \varrho }A_{\sigma }-\frac{2}{3}A_{\nu }A_{\rho ...
2
votes
1answer
67 views

Compatibility conditions of spinors and Riemannian Metrics

I came across an interesting article by Montesinos (J. Geom. Phys. 2 (1985), no. 2, 145–153.). In it, he finds that spin structures (as lifts of $SO(4)$) are not compatible with all Riemannian metrics ...
5
votes
4answers
282 views

Kähler and complex manifolds

I was wondering if anyone knows any good references concerning Kähler manifolds and complex manifolds? I am studying supergravity theories and for the simplest $\mathcal{N}=1$ supergravity we will get ...
7
votes
2answers
488 views

What is the geometrical interpretation of Ricci tensor?

In differential geometry and general relativity space is said to be flat if the Riemann tensor $R=0$. If the Ricci tensor on manifold $M$ is zero, it doesn't mean that the manifold itself is flat. So ...
3
votes
1answer
160 views

Schwarzschild geodesics

I've found on Wikipedia that energy $E$ and angular momentum $L$ of a particle are conserved quantities in Schwarzschild metric. It's written: $$L=mr^2 \frac {d\phi} {d\tau},$$ ...
3
votes
2answers
224 views

Lorentzian and Einstein Manifold

I am studying for my Bachelor thesis (in Mathematics). I and my advisor agreed on the Penrose-Hawking singularity theorems. My question is: 1) Which mathematical background should I focus on ...
3
votes
1answer
74 views

What is the need to consider a singular spacetime?

To have a consistent superstring theory (which is to avoid the conformal anomaly on the worldsheet CFT) we are forced to build our theory on the critical dimension $n=10$. However, the Standard ...