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

learn more… | top users | synonyms

4
votes
0answers
80 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
63 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
258 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
43 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
80 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
190 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
0answers
228 views

Tensor equations in General Relativity

In the context of general relativity it is often stated that one of the main purposes of tensors is that of making equations frame-independent. Question: why is this true? I'm looking for a ...
3
votes
2answers
138 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
4answers
320 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
178 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
1answer
97 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
341 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
3answers
165 views

In the static spacetime, the extrinsic curvature of hypersurface $t=constant$ is zero

How can I prove that in the static spacetime, the extrinsic curvature of hypersurface $t=constant$ is zero? My efforts all are failed. Any hint would be greatly appreciated.
3
votes
1answer
234 views

What exactly is the connection between the Jacobi and Bianchi identities

While reviewing some basic field theory, I once again encountered the Bianchi identity (in the context of electromagnetism). It can be written as $$\partial_{[\lambda}\partial_{[\mu}A_{\nu]]}=0$$ ...
3
votes
2answers
335 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
395 views

Metric coefficients in rotating coordinates

Let $(t,x,y,z)$ be the standard coordinates on $\mathbb{R}^4$ and consider the Minkowski metric $$ds^2 = -dt^2+dx^2+dy^2+dz^2.$$ I am trying to compute the metric coefficients under the change of ...
3
votes
2answers
406 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 ...
3
votes
3answers
589 views

Equations of fluid dynamics and differential geometry [closed]

Where can I look for equations of fluid motion written in terms of nifty things from differential geometry like exterior derivative, Hodge dual, musical isomorphism? Preferably both with and without ...
3
votes
4answers
627 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
55 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 ...
3
votes
1answer
110 views

What spacetimes satisfy this identity?

What spacetimes satisfy $R^{\mu\nu} R_{\mu\nu} =\alpha R^2$, where $R = g^{\mu\nu}R_{\mu\nu}$ is the Ricci scalar, and $\alpha$ is some constant? A follow-up question: in what spacetimes does ...
3
votes
2answers
294 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 ...
3
votes
2answers
166 views

Differential Forms and Densities

I've heard that differential forms are related to densities, however I'm still a little confused about that. I thought on the case of charge density and I came to that: let $U\subset\mathbb{R}^3$ be a ...
3
votes
2answers
337 views

Polyakov action: difference induced metric and dynamical metric

The Polyakov action is given by: $$ S_p ~=~ -\frac{T}{2}\int d^2\sigma \sqrt{-g}g^{\alpha\beta}\partial_{\alpha}X^{\mu}\partial_{\beta}X^{\nu}\eta_{\mu\nu} ~=~ -\frac{T}{2}\int d^2\sigma ...
3
votes
1answer
496 views

What bends fabric of space-time?

I know that mass can bend fabric of space-time, which causes gravity by making an object curve around a planet or star but is there anything else that can bend it? Other energy sources, forces ...
3
votes
1answer
96 views

Hyperkahler manifolds and their use in theoretical physics

Just as the title says: What is the easiest definition of a Hyperkahler Manifold? Could you give some examples of Hyperkahler manifolds, and manifolds which fail to be hyperkahler? Why are such ...
3
votes
2answers
322 views

Coordinate Transformation of Scalar Fields in QFT

By definition scalar fields are independent of coordinate system, thus I would expect a scalar field $\psi [x]$ would not change under the transformation $x^\mu \to x^\mu + \epsilon^\mu $. Correct? ...
3
votes
1answer
160 views

Deriving the transformation under Weyl rescaling in Polchinski eq. (1.2.31)

I have another question in Polchinski's string theory book volume 1, namely how to derive Eq. (1.2.32)? $$(-\gamma')^{1/2} R'=(-\gamma)^{1/2} (R-2 \nabla^2 \omega) \tag{1.2.32}$$ I have awared his ...
3
votes
1answer
452 views

Problem with calculating the curvature tensor of the $n$ dimensional sphere

I am calculating the Riemann curvature tensor, Ricci curvature tensor, and Ricci scalar of the $n$ sphere $$x_0^2 + x_1^2 + ....+x_n^2=R^2,$$ whose metric is $$ds^2=R^2(d\phi_1^2 + \sin{\phi_1}^2 ...
3
votes
1answer
375 views

Change of coordinates from an arbitrary frame to a locally inertial frame in General Relativity

If I have the following metric: $$ds^2=(1-2\phi)c^2 dt^2 - (1-2 \phi)(dx^2+dy^2+dz^2)$$ $\phi$ being the gravitational potential with $|\phi| << 1$ everywhere. How do I find a coordinate ...
3
votes
1answer
81 views

Warped AdS geometry

I am having difficulty of finding more basic information on warped geometries. All the standard textbooks are not covering it. In the wiki article it's only said that warped geometry is the one which ...
3
votes
1answer
117 views

Index raising and lowering - how does it work?

In the context of four-dimensional spacetime, how does the metric turn a tangent vector into a gradient, and vice versa? By this I mean that I know the metric can be used to raise and lower indices: ...
3
votes
1answer
66 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 ...
3
votes
1answer
388 views

Derivation of the volume element (which uses the metric tensor)?

I have often seen $\sqrt{-g}$ in integrals, especially actions, where $g=\mathrm{det}(g_{\mu \nu})$. Does anyone know of a derivation that shows that this is indeed the volume element which must be ...
3
votes
2answers
133 views

Electric Field One-Form

I know for instance that we can interpret the electric field as the one-form that given a vector gives the change in potential in the direction of the vector, however I'm very unsure about how to ...
3
votes
2answers
746 views

Null geodesic given metric

I (desperately) need help with the following: What is the null geodesic for the space time $$ds^2=-x^2 dt^2 +dx^2?$$ I don't know how to transform a metric into a geodesic...! There is no need to ...
3
votes
1answer
168 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 ...
3
votes
3answers
281 views

How to connect Einstein's Special Relativity(SR) with General Relativity(GR)?

How Einstein's SR becomes GR? $$ds^2=dr^2-c^2dt^2,$$ $$ds^2=g_{\mu\nu}dx^{\mu}dx^{\nu}.$$ When the $s$ is constant $ds^2=0$, isn't it true? How to connect Einstein's SR with GR? What is the ...
3
votes
1answer
390 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 ...
3
votes
3answers
272 views

Singularity-free stationary electro-vacuum solution

Let's say we have a spherically symmetric fluid: $$ T^{\alpha \beta} = \begin{bmatrix} \rho & 0 & 0 & 0 \\ 0 & p & 0 & 0 \\ 0 & 0 & p & 0 \\ 0 ...
3
votes
1answer
87 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 ...
3
votes
1answer
75 views

Can a D-brane be closed and contractible?

Let's consider for simplicity D-branes in bosonic string theory. I have a very basic question whose answer I couldn't find clearly stated in the few textbooks where I looked for it. Take for ...
3
votes
2answers
130 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 ...
3
votes
1answer
117 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
1answer
344 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 ...
3
votes
1answer
71 views

Question about simple permutation of covariant derivatives

I must to compute value $$ [[D_{\mu}, D_{\nu}],D_{\lambda}]A^{\rho}. $$ It is equal to $$ [D_{\mu}, D_{\nu}]D_{\lambda}A^{\rho} - D_{\lambda} ([D_{\mu}, D_{\nu}]])A^{\rho} - [D_{\mu}, ...
3
votes
1answer
160 views

Riemann tensor notation and Christoffel symbol notation

In paper by Barnich and Brandt Covariant theory of asymptotic symmetries, conservation laws and central charges they defined the Riemann tensor like this: $$R_{\rho\mu\nu}^{\quad \ \ ...
3
votes
1answer
110 views

Twist of null Killing fields

I have a (hopefully) quick question: is it possible to have a null Killing field $\xi ^ \mu$ such that the twist 1-form $\omega_{\mu} = \epsilon_{\mu\nu\alpha\beta}\xi^\nu \nabla^\alpha \xi^\beta \neq ...
3
votes
1answer
182 views

The most general form of the metric for a homogeneous, isotropic and static space-time

What is the most general form of the metric for a homogeneous, isotropic and static space-time? For the first 2 criteria, the Robertson-Walker metric springs to mind. (I shall adopt the (-+++) ...
3
votes
1answer
107 views

Energy Functional

I am a graduate student in pure mathematics, during my study on Ricci Flow I faced some functional known as energy functional. For example Einstein-Hilbert functional is called an energy functional, ...