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
2answers
154 views

Hilbert action's invariance under general coordinate changes

In an article, when considering invariance of the Hilbert action under a general coordinate change this formula appears for how the metric changes ...
4
votes
2answers
197 views

Why do we require manifolds to be a topological space?

Roughly speaking, we define a manifold $M$ to be covered by a set of charts $\{(U_i , \varphi_i)\}$ such that locally the $n$-dimensional manifolds looks like $\mathbb{R}^n$. One of the conditions is ...
14
votes
4answers
411 views

The Lagrangian as a metric

My question is, can the (classical) Lagrangian be thought of as a metric? That is, is there a meaningful sense in which we can think of the least-action path from the initial to the final ...
4
votes
1answer
109 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 ...
7
votes
2answers
133 views

Definition of a spinor and applications to GR

I understand the construction of the Clifford algebra $C(r,s)$ and in turn the corresponding $Pin$ and $Spin$ groups. I would like first to clarify that $Spin(r,s)^e$ is the universal covering group ...
15
votes
1answer
256 views

Soliton Moduli Spaces and Homotopy Theory

The four-dimensional $SU(N)$ Yang-Mills Lagrangian is given by $$\mathcal{L}=\frac{1}{2e^2}\mathrm{Tr}F_{\mu\nu}F^{\mu\nu}$$ and gives rise to the Euclidean equations of motion $\mathcal{D}_\mu ...
1
vote
1answer
80 views

Covariant derivative as a tensor

$$\nabla_{j} v^{i}~=~g^{ik}\nabla_{j}v_{k}.$$ Does this equality involve an intermediate step, where I take the metric inside the derivative, and then use the fact that covariant derivative of the ...
7
votes
1answer
352 views

Why is the Hodge dual so essential?

It seems unnatural to me that it is so often worthwhile to replace physical objects with their Hodge duals. For instance, if the magnetic field is properly thought of as a 2-form and the electric ...
0
votes
0answers
61 views

Why such hypersurface orthogonal vector leading to $g_{0i}=0$ for $i=1,2,3$?

Suppose that the hypersurface orthogonal co-vector $W$ us perpendicular to the family of hypersurface defined by a function $\varphi$ with $\varphi=constant$. If we choose a coordinate in which ...
2
votes
0answers
47 views

Questions about deduction the dual form of Frobenius's Theorem

I am reading Page 435, General Relativity by Wald. Let $T^*\subset V^*$ be a subspace of the dual tangent space of a manifold, $W\subset V$ be the subspace of the tangent space annihilated by $T^*$, ...
3
votes
1answer
136 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 ...
1
vote
2answers
139 views

Frames, Tetrads and GR

Given a general metric, $g_{ab}$ I can select an orthonormal basis $\omega^{a}$ such that, $$g_{ab} = \eta_{ab}\omega^a \otimes \omega^b$$ where $\eta_{ab}$ = $\mathrm{diag}(1,-1,-1,-1).$ We may ...
14
votes
2answers
413 views

Why isn't general relativity the obvious thing to try after special relativity?

To preface my question, I ask this as a mathematics student, so I don't have a very good sense of how physicists think. Here is the historical context I'm imagining (in particular taking into account ...
2
votes
1answer
79 views

Why can a killing vector field be determined globally by its value and first derivative at one point?

It is said in Weinberg's Book, Gravitation and Cosmology, page 377, that a killing vector field (which we a priori assume exists globally) can be uniquely determined by its value and first derivative ...
1
vote
0answers
100 views

Tetrad formalism: getting back to coordinate basis

Let $\omega^{\hat{a}}$ be an orthonormal basis, and $\theta^{\hat{a}}_{\hat{b}}$ be the associated connections. From Cartan's second structure equation, we may compute the curvature 2-form, i.e. ...
0
votes
1answer
91 views

Null Geodesics in flat 2+1 dimensional Minkowski space

For a given line element in flat 2+1 dimensional Minkowski space $$ g = ds^{2} = − dz \otimes dz + dx \otimes dx + dy \otimes dy .$$ The null geodesics are supposedly given by: $$ x = lu + l' $$ ...
0
votes
0answers
72 views

Einstein frame vs. Matter frame

What is the difference between Einstein frame and Matter frame in General Relativity? -A brief comment on each could be useful too. These two frames were used in this manuscript ...
3
votes
0answers
90 views

Computing the Einstein tensor for a spherically symmetrical metric using the tetrad formalism

I am having some trouble understanding how to use the tetrad formalism. I will start with what I have so far, my question will be after that. I begin with the metric $$ \text{d}s^2 = e^{2a} \text{ ...
3
votes
2answers
84 views

Asymptotic flatness implies existence of rotation axis

Suppose we have an asymptotically flat, globally hyperbolic spacetime $M$ endowed with two one-parameter isometry groups $\sigma_t$ and $\chi_{\phi}$ which commute (i.e. $\sigma_t \circ \chi_{\phi}= ...
1
vote
1answer
66 views

Gauge field with flat connection

Consider a gauge field $A_z^a$ with a flat connection $$F_{z{\bar z}}^a = \partial_z A_{\bar z} ^a - \partial_{\bar z} A_z^a + f_{bc}{}^a A_z^b A_{\bar z}^c = 0$$ where $f_{bc}{}^a$ is the structure ...
1
vote
0answers
58 views

Topology of spacetime in 2+1 dimension

In the book Quantum Gravity in 2+1 dimension by S. Carlip, in the second chapter (section 2.1), he comments that a compact 3-manifold with a flat time orientable Lorentzian metric and a purely ...
0
votes
0answers
57 views

Very specific type of GR paper hunt [duplicate]

My General relativity skills suck. I need a good paper that does not start with equivalence principle and pages of elevator experiments derives principles mathematically, not by physical intuition ...
9
votes
2answers
366 views

Why can we assume torsion is zero in GR?

The first Cartan equation is $$\mathrm{d}\omega^{a} + \theta^{a}_{b} \wedge \omega^{b} = T^{a}$$ where $\omega^{a}$ is an orthonormal basis, $T^{a}$ is the torsion and $\theta^{a}_{b}$ are the ...
1
vote
1answer
120 views

Stress-Energy Tensor

As of recent, I've been doing a bit of self education in GR, equipped with a working knowledge of the key elements of the differential geometry in GR, and in looking at the Einstein-Rosen bridge, I ...
1
vote
0answers
40 views

Physical applications of the mathematical curvature

I was studying multivariable calculus last semester and had one of the topics talking about a curvature, but we had no applications on it. So how does it help in physics? E.g. curvature of curve: ...
2
votes
1answer
73 views

Killing vector contractions along isometric curves

Imagine $\xi_{\nu}$ is a Killing vector field on a manifold. Does $\xi_{\nu}\xi^{\nu}$ remain constant along any isometric curve defined by the Killing vector field? My guess is that yes since as ...
1
vote
0answers
103 views

Covariant Derivative with a Torsion Free Metric

Where $\triangledown$ is the covariant derivative and we are to assume that the connection is torsion free (that is, we can exchange the lower indices of the connection coefficients), how can I prove ...
3
votes
1answer
112 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 ...
0
votes
0answers
34 views

Would anyone suggest me usefull web resources on lie groups and lie algebra and a good book to start with? [duplicate]

Would anyone suggest me useful web resources on lie groups and lie algebra and a good book to start with?
1
vote
0answers
77 views

How are symmetries defined mathematically? [duplicate]

I have started working on differential geometry very recently. I am little bit familiar with mathematical concepts such as manifolds, differential forms and associated concepts. As I was speeding ...
3
votes
1answer
95 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 ...
57
votes
4answers
7k views

Why would spacetime curvature cause gravity?

It is fine to say that for an object flying past a massive object, the spacetime is curved by the massive object, and so the object flying past follows the curved path of the geodesic, so it "appears" ...
0
votes
0answers
107 views

Induced metric on the boundary of a manifold

The Gibbons-Hawking-York term which supplements the Einstein-Hilbert action is, $$S_{GH} = \frac{1}{8\pi G} \int_{\partial M} d^3 x\sqrt{-h} \, K$$ where $\partial M$ is the boundary of the manifold ...
2
votes
1answer
210 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
164 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
40 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
87 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
71 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
138 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 ...
2
votes
3answers
430 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 ...
9
votes
3answers
430 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} ...
0
votes
1answer
124 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
4answers
151 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
232 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 ...
9
votes
1answer
284 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
984 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
2answers
128 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
74 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
119 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
92 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?