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
551 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
266 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
165 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
222 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
247 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
206 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
100 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
609 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
0answers
159 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
56 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
49 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
165 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
233 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
79 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
131 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
171 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
109 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
584 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
277 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
278 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
198 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 ...
3
votes
3answers
407 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
256 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
141 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
3answers
1k 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 ...
3
votes
1answer
283 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
78 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
393 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
548 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
592 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
397 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
253 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
666 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
254 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 ...
3
votes
2answers
153 views

Ricci flat compact manifold with $U(1)\times{}SU(2)\times{}SU(3)$ isometry group?

As the title says, is it possible to have a Riemannian Ricci flat compact manifold with $U(1)\times{}SU(2)\times{}SU(3) $ isometry group?
3
votes
2answers
170 views

Covariant derivative of a covariant tensor wrt superscript

Is it true that when you take the covariant derivative of a covariant tensor, do you always have to do with a subscript? What if you do it wrt a superscript?Does the first term (with the partial ...
3
votes
2answers
248 views

Why are totally antisymmetric tensors more useful than totally symmetric tensors?

In an arbitrary number of dimensions, one can naturally define two tensors, Kronecker delta and Levi-Civita epsilon tensor. However, why isn't it advantageous to define some totally symmetric tensor ...
3
votes
1answer
139 views

Can geodesics in a Lorentzian manifold change their character?

From a physics perspective, it's pretty easy to see why a a massive particle will be restricted to timelike paths, etc. but does the math guarantee that on its own or do we have to impose it? More ...
3
votes
4answers
871 views

General relativity in terms of differential forms

Is there a formulation of general relativity in terms of differential forms instead of tensors with indexs and subindexs? If yes, where can I find it and what are the advantages of each method? If ...
3
votes
4answers
430 views

Complete set of observables in classical mechanics

I'm reading "Symplectic geometry and geometric quantization" by Matthias Blau and he introduces a complete set of observables for the classical case: The functions $q^k$ and $p_l$ form a complete ...
3
votes
2answers
641 views

Is there an analogue of configuration space in quantum mechanics?

In classical mechanics coordinates are something a bit secondary. Having a configuration space $Q$ (manifold), coordinates enter as a mapping to $\mathbb R^n$, $q_i : Q \to \mathbb R$. The primary ...