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)

0
votes
1answer
45 views

Is there a parametrization for the shape of space?

I was thinking about how the space is curved. And how do we know that the shape of space arround a singularity is something like that: So I was trying to make a similar parametrization of this kind ...
6
votes
1answer
118 views

Use partial or covariant derivatives when deriving equations of a field theory?

I feel like this question has been asked before but I can't find it. would the Euler Lagrange equation for, say, the standard model Lagrangian be $$\frac{\partial L}{\partial \phi}=\partial_\mu \frac{\...
1
vote
3answers
137 views

Is the local Lorentz transformation a general coordinate transformation?

There is a saying in Nakahara's Geometry, Topology and Physics P371 about principal bundles and associated vector bundles: In general relativity, the right action corresponds to the local Lorentz ...
0
votes
1answer
61 views

Integrals of Chern class, $c_i$ in YM theories

I am a bit confused with the definition of the 1st (and 2nd by extension) Chern class in YM theories. I understand that in general $c_i \in H^{2i}(M,\mathbb{Z})$ where $M$ is a smooth manifold. Then, ...
1
vote
1answer
88 views

GR Tetrads & ZAMO example

I am self-learning GR. Intro: Tetrads are a way of representing general relativity in a coordinate-independent fashion. I am having trouble understanding tetrad notations. Basically, I know that I ...
1
vote
1answer
75 views

Difference between local inertial frame and coordinate chart

In the most cases the local inertial frame is definied "physically" but I'm searching for a mathematically meaningful definition of the local inertial frame to solve my problem: Is the local ...
1
vote
1answer
81 views

Monodromy matrix and differential equations

What is the significance of monodromy matrix in the context of differential equations? I have seen some papers(1,2,3 etc) in CFT which use the monodromy method to compute conformal blocks at large ...
1
vote
0answers
51 views

Spherical metric multiply by a function

I know that if I want to get the metric for a two sphere I consider a Cartesian flat space, I change to spherical coordinates and then I consider that the radio is constant (so the space is not flat ...
0
votes
1answer
35 views

Displacement vector in terms of a position vector and velocity [closed]

Is it correct to say that, given $t_0\in\mathbb{R}$, a point on a curve $\gamma$ in $\mathbb{R}^3$ would be given by $$\gamma(t)=\gamma(t_0)+(t-t_0)\dot{\gamma}(t)$$ for all $t>t_0$? I'm guessing ...
2
votes
1answer
147 views

How can I understand $\mathrm ds^2 = -c\,\mathrm dt^2 + [\mathrm dx-v_s(t)f(r_s)\mathrm dt]^2 +\mathrm dy^2 +\mathrm dz^2 $ in the simplest way?

How can I understand this equation $$\mathrm ds^2 = -c\,\mathrm dt^2 + [\mathrm dx-v_s(t)f(r_s)\mathrm dt]^2 +\mathrm dy^2 +\mathrm dz^2 $$ in the simplest way? I am a 13 year old boy who is totally ...
2
votes
1answer
59 views

Homogenuous Maxwell Equations in the Language of Differential Forms

I understand that if I define electric field to be $E=E_i dx^i$, magnetic field to be $B=B_1 dx^2 \wedge dx^3 + B_2 dx^3 \wedge dx^1 + B_3 dx^1 \wedge dx^2 $, and field strength to be $F= dx^0 \wedge ...
2
votes
1answer
117 views

Why only gauge transformations in electromagnetism?

first of all, I need to say that I'm a mathematician, so this question may sound a little stupid. Keeping this is mind, please, try to use coordinate-free notations. Along this question, I will use ...
15
votes
2answers
688 views

Stokes theorem in Lorentzian manifolds

I've fallen accross the following curious property (in p.10 of these lectures): in order to be able to apply Stokes theorem in Lorentzian manifolds, we must take normals to the boundary of the volume ...
2
votes
1answer
98 views

Geometric derivation of quantum mechanics from Lagrangian mechanics

I have used classical Lagrangian mechanics for quite a while, and what I like about it is that everything can be derived from a very small number of geometric principles. There are just three things ...
2
votes
3answers
166 views

Why is the Ricci tensor defined as $R^\mu _{\nu \mu \sigma}$?

The Ricci tensor is defined as the contraction of the Riemann tensor in its upper and the second lower index. I was wondering why it is defined this way. What happens if the Ricci tensor is defined ...
1
vote
1answer
38 views

Why are the integrability conditions necessary and sufficient for the existence of a canonical transformation's generating function?

Consider a canonical transformation $(p,q) \rightarrow (P,Q)$ under a generating function $F$. The condition for form invariance of Hamiltonian equations of motion looks like : $$\sum_{s}P_s\dot{Q_s} ...
0
votes
0answers
23 views

Numerical simulation of strong field gravitational vacuum solutions colliding

I am interested in the current state of knowledge of strong field General Relativity learned from numerical investigations of gravitational wave packets colliding with each other or black holes. If ...
0
votes
1answer
61 views

Schwarzschild manifold

I am given the following metric $$ds^2 = \frac{dr^2}{1-2m/r} + r^2dS,$$ where $dS$ is the standard metric on the unit sphere $S^2$. I am told that this is isometric to $\mathbb{R}^3$ or (taking its ...
5
votes
2answers
86 views

Black hole singularity from collapsing light vs dust

Consider two black holes, one formed from a spherical cloud of electromagnetic radiation, and one formed from a non-interacting dust solution. The stress energy tensor is traceless for ...
1
vote
1answer
79 views

Meaning of $R=0$, $R_{ab}=0$. $R_{abcd}=0$

First let me state some definition The Einstein tensor is given by \begin{align} G_{\mu\nu} = R_{\mu\nu} - \frac{1}{2} g_{\mu\nu} R \end{align} and note that \begin{align} G^{\mu}_{\phantom{\mu} \...
0
votes
0answers
33 views

Identity $ \epsilon_{abcd} R^{cd}_{\phantom{cd}mn} = \epsilon_{mncd} R^{cd}_{\phantom{cd}ab}$ in vacuum

starting from \begin{align} \epsilon_{\rho\lambda\xi \kappa} R^{\xi \kappa}_{\phantom{ab} \sigma\tau} + \epsilon_{\rho\sigma \xi \kappa} R^{\xi \kappa}_{\phantom{ab} \tau \lambda} + \epsilon_{\rho \...
1
vote
1answer
49 views

In the orthonormal tetrad method, what is the relation between basis one forms and commutation coefficients?

If $\omega_i$ are dual basis one forms corresponding to an orthonormal tetrad basis $e_i$, and given that the commutation coefficients $C_{ij}^k$ are defined by \begin{equation} [e_i,e_j]=C_{ij}^k ...
5
votes
1answer
117 views

Non-Euclidean mechanics; is it useful?

Special relativity has the following single-particle Lagrangian: $$S = \int_{t_0}^{t_f}\sqrt {\langle \mathrm d\vec{s},\mathrm d\vec{s}\rangle}.$$ Clearly it is based on Euclidean norms; it is in ...
9
votes
0answers
91 views

Is it known what the necessary and sufficient conditions are for the existence of a “3+1 split” (by means of a foliation) of a (Lorentzian) manifold?

When trying to do physics on a more general pseudo-Riemannian manifold we want to require that there is a foliation of this manifold into three-dimensional subspaces. By this I mean we would like to ...
4
votes
0answers
45 views

A problem with ADM mass in the derivation of 1st law of black hole thermodynamics

The definition of ADM mass is $$M=\frac{1}{16\pi}\lim_{r\rightarrow\infty}\int \left(\frac{\partial h_{\mu\nu}}{\partial x^\mu}-\frac{\partial h_{\mu\mu}}{\partial x^\nu} \right)N^\nu dA$$ according ...
2
votes
1answer
85 views

Components of dual vectors

(This is a close retelling of Wald, problem 2.4b. Not for homework; just curiosity and an increasingly alarming suspicion that I've never actually understood anything.) Let $Y_1 ... Y_n$ be a ...
0
votes
1answer
72 views

Divergence of inverse of metric tensor

I know that the Levi-civita connection preserves the metric tensor. Is the divergence of the inverse of metric tensor zero, too?! I'm not so familiar with the divergence of the second ranked tensor. ...
0
votes
1answer
52 views

Metric components transformation under change of coordinates

I have been studying Lie derivatives and some applications. While searching the web I found a refence with the following statement: For a general Riemannian manifold $M$, take a tangent vector field $...
1
vote
1answer
119 views

What does $L^2(S^1,\mu_H)$ mean?

It's a Hilbert space, $\mu_H$ stands for the Haar measure on $U(1)$, but what does $S^1$ mean? I found it in one of my quantum mechanics books which approaches from a very 'mathematical' way.
2
votes
0answers
77 views

Are all spacetimes locally conformally flat?

No, is the answer. However, I am confused. Let $M$ be a (2+1) Lorentzian manifold (for simplicity) . Then the line element is given by : $ds^{2}=g_{\mu\nu}dx^\mu dx^\nu=−N^2 dt^2 + γ^{ij} (dx^i + ...
0
votes
0answers
50 views

Does nature really follow the heat equation?

I think the heat equation says that the first derivative of temperature with respect to time in a stationary solid varies as the negative of the second derivative of temperature with respect to ...
1
vote
2answers
135 views

Chern-Simons theory

The Chern-Simons 3-form is given by $\omega_3={\rm Tr} \left[ A\wedge dA+\frac{2}{3}A\wedge A\wedge A\right]$ where $A$ is a connection one-form in the adjoint representation of a non-Abelian gauge ...
1
vote
1answer
71 views

Transformation matrices for basis and coordinate transformation in non-orthonormal coordinates

The transformation matrices for covariant and contravariant vectors are different but in orthonormal coordinate system numerical values in matrices turn out to be same although in mathematical proof ...
3
votes
2answers
68 views

Computational advantages of various notations for electromagnetism [closed]

Most undergraduate electromagnetism classes and textbooks use vector notation to describe Maxwell's equations. However, there are other notations like differential geometry and geometric calculus ...
0
votes
1answer
195 views

Intuitive meaning of Globally Hyperbolic

I am been studying differential geometry and spacetime and I keep coming across the term globally hyperbolic. I am having a hard time coming up with an intuitive understanding of this idea. What is an ...
1
vote
2answers
91 views

Two ways of writing coordinate basis vectors confusion

In Schutz's A First Course in General Relativity (p122) he derives the polar coordinate basis vector$$\vec{e_{r}}=\frac{\partial x}{\partial r}\vec{e_{x}}+\frac{\partial y}{\partial r}\vec{e_{y}.}$$ ...
3
votes
1answer
340 views

How should Christoffel symbols be written (in LaTeX)? [closed]

I'm writing a summary of a lecture on relativity, and we've recently introduced the Christoffel symbols. It seems that the upstairs indices are the "leftmost" and the downstairs indices are somewhat ...
0
votes
2answers
105 views

A manifold question: Why smooth functions and what is a Jacobian?

My question is what does a Jacobian have to do with the change of coordinates (coordinate transformation). Why do we care about this notion to start with? Also, why should it be non-singular?
0
votes
2answers
101 views

What does coordinate invariance mean?

I would like to really understand what the mathematical as well as Physical meaning of coordinate invariance is. I have pretended to know what this means, but upon thinking a little harder today, I am ...
2
votes
2answers
226 views

What is the metric tensor for?

I am wondering how to use the metric tensor, in practice? I read the book and done the exercises in A student's guide to vectors and tensors by Dan Fleisch. The concept of a tensor and their ...
4
votes
1answer
111 views

Einstein tensor of a gravitational source

In section 4.4 of gravitational radiation chapter in Wald's general relativity, eq.4.4.49 shows the far-field generated by a variable mass quadrupole: $$ \gamma_{\mu \nu}(t,r)=\frac{2}{3R} \frac{d^2 ...
2
votes
1answer
117 views

Derivation of Schwarzschild metric using the full machinery of differential geometry [closed]

How would one derive the Schwarzschild metric using the full machinery of differential geometry, using the component approach as little as possible? Something along these lines: Begin with a manifold ...
0
votes
1answer
37 views

Inverse gauge transformation in general relativity [closed]

Can someone explain to me how (8.21) follows from (8.20). The Picture comes from A first course in general relativity (Schutz). Thanks and regards, Jens Wagemaker
1
vote
1answer
118 views

Why pseudo-Riemannian metric cannot define a topology?

It is not clear for me why a positive definite metric is necessary to define a topology as noted in some textbooks like the one by Carroll. Does this imply that in cosmology, say through FLRW metric, ...
9
votes
2answers
241 views

Symmetry of the Polyakov action?

Let us look at the Polyakov action for a string moving in a spacetime with metric $g_{\mu \nu}(X)$:$$S_P = -{1\over{4\pi \alpha'}} \int d^2 \sigma \sqrt{-\gamma} \gamma^{ab} \partial_a X^\mu \...
0
votes
1answer
66 views

Is an event formally a 4-vector? [duplicate]

An event is a 4D point in spacetime. At every point in spacetime there is a tangent space. 4-vectors live in the tangent space. One can contract two events using a metric tensor. Is there a process ...
2
votes
1answer
85 views

Killing vector and one-form [closed]

p. 21 in this paper (http://arxiv.org/abs/0704.0247) $V$ is Killing vector, where $V^2 = −4b\bar{b}$, which means it is timelike Killing vector. The authors say: From $V^2 = −4|b|^2$ and $V = ∂...
1
vote
0answers
52 views

Squashed spheres in general dimension

The point of this question is to help me find references regarding squashed spheres in general dimension. I am interested in the general theory of squashing for arbitrary dimension. All of the ...
0
votes
1answer
70 views

Variation of a tensor

Let a change of coordinates be given by $x^{\mu}\to x^{\mu '}=x^{\mu}+\varepsilon \xi^{\mu}(x)$ with epsilon a small quantity. Given a tensor $T$ we define $\delta T:=T'(x)-T(x)$. I guess this means $...
2
votes
2answers
117 views

Killing field in Minkowski space-time

If we look at the killing equation for a vector field $X$ in $\mathbb{R}^{(p,q)}$ (or on an open subset thereof) in coordinates with constant diagonal pseudo-metric we get: $$X_{\mu,\nu}+X_{\nu,\mu}=...