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)

4
votes
1answer
143 views

The relationship between Lorentz Lie algebra and curvature

Here I transfered the question from the comment The relationship between spin and spinor curvature How $\mathcal{R}_{ab} = \frac{1}{4}R_{abst}\gamma^s \gamma^t$ is from $\Psi \mapsto \Psi + ...
4
votes
1answer
105 views

The properity of $\mathbb{R}^4$ that has infinitely many differential structures is related to Yang-Mills field?

I heard a saying that $\mathbb{R}^4$ having infinitely many differential structures which are not diffeomorphic to each other has a relationship with Yang-Mills field. Does anyone can explain it, and ...
4
votes
1answer
113 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. ...
4
votes
1answer
116 views

Metric of a manifold foliated by maximally symmetric submanifold

I am reading the last chapter (Schwarzchild solution and Black Holes) of Sean Caroll's GR notes (http://arxiv.org/abs/gr-qc/9712019). While talking about spherical symmetry, he says how the ...
4
votes
1answer
97 views

Are there any restrictions on building the topology of spacetime out of the complement of open balls?

I assume that for a Lorentzian manifold (i.e. with Minkowski signature), the analog of an open ball is the interior of a light cone. My question is motivated by the observation that whereas any point ...
4
votes
1answer
243 views

Is there a nice way to write Navier-Stokes equations in exterior calculus

I'm considering to study some high-dimensional Navier-Stokes equations. One problem is to do write the viscous equation for vorticity, helicity and other conserved quantities. I think it might be ...
4
votes
1answer
558 views

How does (or can) SR/GR extend to phase space or symplectic manifolds?

I'm asking this question because of an article in New Scientist about a recent preprint by a group including Lee Smolin. I haven't taken the time to comprehend the paper completely. My knowledge of ...
4
votes
1answer
272 views

Is there a simple way to define/solve for a null cone for a general spacetime geometry?

I'm wondering if there's any simple way to define and solve for a null cone for a general spacetime geometry in $n+1$ dimensions, given its vertex $p^\mu$. I can't seem to find a simple way to do it ...
4
votes
3answers
168 views

What is the evidence of interpreting $g_{\mu\nu}$ as the metric of space-time?

I think if we don't mention the meaning of $g_{\mu\nu}$ as the metric of space-time, we can still construct the equation of motion and Einstein field equation in a way such that $g_{\mu\nu}$ is just a ...
4
votes
1answer
224 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 ...
4
votes
3answers
257 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 ...
4
votes
1answer
164 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}$, ...
4
votes
1answer
115 views

Why is $D$ a $2$-form and $E$ a $1$-form?

Usually in electrostatics we start by introducing the vector field $\mathbf{E}$ representing the electric field due to some charge distribution. Later when we study fields in materials we consider the ...
4
votes
1answer
213 views

What are type system examples of local gauge transformation- and field strength-like objects?

This is essentially a follow up motivated by this answer to my question about the gauge transformation interpretation of identity types. A field $$\psi:\mathcal M\to\mathbb C^n$$ is a section of the ...
4
votes
1answer
101 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 ...
4
votes
1answer
624 views

Lie derivative of Riemann tensor along killing vector ( = 0 )

I'm currently learning the mathematical framework for General Relativity, and I'm trying to prove that the Lie derivative of the Riemann curvature tensor is zero along a killing vector. With the ...
4
votes
1answer
149 views

Flat space metrics

This question concerns the metric of a flat space: $$ds^2=dr^2+cr^2\,\,d\theta^2$$ where $c$ is a constant. Why is it necessary to set $c=1$ to avoid singularities and to restrict $r\ge 0$? Thanks.
4
votes
1answer
147 views

An issue about the compactness and the existence of CTCs

There is a well known fact that a compact spacetime necessarily contains a closed timelike curve (CTC). Proof can be found in several books on GR (e.g. Hawking, Ellis, Proposition 6.4.2), and in ...
4
votes
0answers
160 views

What exactly is the relationship between the symplectic 2-form and the frequency of leaves of integrable systems in classical mechanics?

In classical mechanics we equip a differential manifold with a closed symplectic 2-form $\omega$. The symplectic leaves of integrable systems also have a unique frequency, in literature denoted ...
4
votes
0answers
59 views

How many Killing spinors exist on $S^5$?

So, I know that on $S^n$, a spinor of the form $$ \Sigma^\pm = \frac{1 \pm i\gamma^\alpha z_\alpha}{\sqrt{1+z^2}}\Sigma_0$$ where $\Sigma_0$ is a constant spinor, is a Killing spinor on $S^n$ ...
4
votes
0answers
80 views

Are there relativistic theories with spacetime modelled on $\mathbb C^4$ rather than real Minkowski space $\mathbb R^4$?

Does anybody know of references to theories where relativity & spacetime is modelled on a (complex/Kähler) manifold which is locally diffeomorphic to $\mathbb C^4$ rather than $\mathbb R^4$, hence ...
4
votes
0answers
51 views

What is the status of gauged gravity [duplicate]

The Standard Model of elementary particles is a gauge theory with gauge group $SU(3)\times SU(2)\times U(1)$, which is really a successful theory. We might be able to quantize gravity similarly. ...
4
votes
0answers
170 views

Level quantization of 7d $SO(N)$ Chern-Simons action

In 3d, one can write down the $SO(N)$ Chern-Simons action to be $$S(A)=\frac{k}{192\pi}\int_{M}\text{Tr}(A d A +\frac{2}{3}A^3),$$ where $A$ is an $SO(N)$ connection. The level quantization can be ...
4
votes
0answers
236 views

Tricks for Computing Riemann Curvature Tensor with Levi-Civita connection

I am new to differential geometry, so far it seems to me that computing the Riemann tensor tends to be a rather tedious task, I wanted to know whether there are some tricks that I am missing. In ...
4
votes
0answers
85 views

Why is the Taub-NUT instanton singular at $\theta=\pi$?

Consider the following metric $$ds^2=V(dx+4m(1-\cos\theta)d\phi)^2+\frac{1}{V}(dr+r^2d\theta^2+r^2\sin^2\theta{}d\phi^2),$$ where $$V=1+\frac{4m}{r}.$$ That is the Taub-NUT instanton. I have been ...
4
votes
0answers
134 views

Lie derivative of Dirac Delta

In the setting of general relativity, I came across a source term of the wave equation of the following form: $$ \frac{1}{\sqrt{q}}\,\delta^{(3)}(p-\gamma(t)) $$ where $p\in M$ is a point in our 4d ...
4
votes
0answers
80 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 ...
4
votes
0answers
177 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 ...
4
votes
0answers
110 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 ...
4
votes
0answers
594 views

How to prove that Weyl tensor is invariant under conformal transformations?

I need to verify that the solution for vanishing Weyl tensor is conformally flat metric $g_{\mu\nu} = e^{2\varphi}\eta_{\mu\nu}$. The most convenient way to show this is to prove that Weyl tensor is ...
4
votes
0answers
58 views

Does heat kernel factorize on product spaces?

I have a doubt regarding whether the trace of the vector heat kernel on a product space factorizes into the corresponding heat kernel traces on each manifold in the product space. I know this holds ...
4
votes
0answers
98 views

Path Integral on Einstein Cartan Manifold

In condensed matter, crystal with disclination and dislocation has both curvature and torsion. I am looking for a reference in which path integral quantization of Dirac equation on manifold with ...
4
votes
0answers
279 views

What are endomorphism bundle valued $p$-forms and exterior covariant derivatives and their use in Chern-Simons theory?

Chern-Simons Forms appears in several places in physics for examples, Fractional Quantum Hall Effect, response of Topological Insulator, invariant of knot, electromagnetism in 2+1 space-time, ...
4
votes
1answer
287 views

What kind of object is the Landau--Lifshitz pseudotensor?

I understand that it's called a pseudotensor because it's not a tensor. Wikipedia says most pseudotensors are sections of jet bundles, which are perfectly valid objects in GR. ...
4
votes
2answers
199 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 ...
4
votes
2answers
2k 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.
3
votes
3answers
408 views

Why Hausdorff and Paracompact manifold in GR?

What can we say about the transition map if the manifold is a Hausdorff space? Why do we need the manifolds to be Hausdorff and paracompact in General Relativity?
3
votes
1answer
259 views

Is the apparent lack of (Ricci) curvature in the Schwarzschild metric due to a choice of coordinates?

I've been lightly studying GR lately. Something that has been bothering me has been the lack of (Ricci) curvature produced from the Schwarzschild metric in the few lectures I've watched, as well as ...
3
votes
4answers
143 views

What is the motivation for the definition of a manifold?

In Wald's General Relativity, an $n$-dimensional $C^{\infty}$ manifold $\mathit{M}$ is defined as a set, with subsets $\lbrace{O}_{\alpha}\rbrace$, which satisfies 3 properties. In particular, the ...
3
votes
1answer
289 views

Could the 6 extra dimensions in superstring theory be a product of two manifolds?

Could the 6 extra dimensions in superstring theory be a product of two manifolds?
3
votes
2answers
81 views

Under what representation do the Christoffel symbols transform?

I often read the statement, that the Christoffel symbols aren't tensors. But then, under which representation do they transform?
3
votes
2answers
397 views

Which of these two textbook equations of geodesic deviation is correct?

My previous question Geodesic deviation on a 2-sphere - is this the right track? got shot down as “off topic”, so I'm having a second stab at it. Misner et al's Gravitation (p34) gives the geodesic ...
3
votes
2answers
581 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 ...
3
votes
1answer
601 views

Can one raise indices on covariant derivative and products thereof?

Can the following be true? $g^{\sigma\rho}\nabla_{\rho}\nabla_{\mu} = \nabla^{\sigma}\nabla_{\mu}$ $g^{\sigma\rho}\nabla_{\nu}\nabla_{\sigma} = \nabla_{\nu}\nabla^{\rho}$ ...
3
votes
4answers
402 views

Formulation of general relativity

EDIT: I think I can pinpoint my confusion a bit better. Here comes my updated question (I'm not sure what the standard way of doing things is - please let me know if I should delete the old version). ...
3
votes
1answer
303 views

Vector potential $A$ on a 2-sphere $S^2$ of radius $R$ with some points removed

I am preparing myself for an exam and I got stuck with the following problem. If I wanted to calculate the vector potential $A$ on a sphere (not off or in), where some points are removed, how would I ...
3
votes
4answers
1k views

Topology needed for Differential Geometry [duplicate]

I am a physics undergrad, and need to study differential geometry ASAP to supplement my studies on solitons and instantons. How much topology do I need to know. I know some basic concepts reading from ...
3
votes
1answer
260 views

Etale bundles and sheaves

Before answering, please see our policy on resource recommendation questions. Please try to give substantial answers that detail the style, content, and prerequisites of the book or paper (or ...
3
votes
2answers
676 views

Geodesic equations

I am having trouble understanding how the following statement (taken from some old notes) is true: For a 2 dimensional space such that $$ds^2=\frac{1}{u^2}(-du^2+dv^2)$$ the timelike geodesics ...
3
votes
2answers
273 views

Why is the phase space a symplectic manifold rather than a manifold with a metric?

Why does phase space require a symplectic geometry rather than a metric? Is there some scenario where a metric is unable to describe the notion of length in phase space, specifically in relation to ...