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

learn more… | top users | synonyms

14
votes
4answers
446 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 ...
9
votes
3answers
3k views

Why is the covariant derivative of the metric tensor zero?

I've consulted several books for the explanation of why $$\nabla _{\mu}g_{\alpha \beta} = 0,$$ and hence derive the relation between metric tensor and affine connection $\Gamma ^{\sigma}_{\mu ...
6
votes
6answers
610 views

Physical meaning of non-trivial solutions of vacuum Einstein's field equations

According to Einstein, the space-time is curved and the origin of the curvature is the presence of matter i.e. the presence of the energy-momentum tensor $T_{ab}$ in Einstein's field equations. If our ...
4
votes
0answers
120 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 ...
3
votes
2answers
132 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 ...
2
votes
1answer
158 views

Spin connection in higher dimension

I have a problem regarding computation of spin connection in the case where One or more dimension is compactified. For example if we take a $D+1$ dimensional bosonic string action and write the $D+1$ ...
9
votes
2answers
404 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 ...
8
votes
1answer
308 views

Is GR vacuum equation unique?

The title question would be too long if I tried to specify it clearly. So let me be more clear. Consider the class of theories having the following properties: The langrangian density is only ...
7
votes
2answers
234 views

The geodesic line on Poincare half plane

I was calculating the geodesic lines on Poincare half plane but I found I somehow missed a parameter. It would be really helpful if someone could help me find out where my mistake is. My calculation ...
6
votes
2answers
228 views

Finding 3-Sphere Christoffel connection coefficients using variational calculus, Sean Carrol problem

I have A 3-Sphere with coordinates $x^{\mu} = (\psi,\theta,\phi)$ and the following metric: \begin{equation} ds^2 = d\psi^2 + \text{sin}^2\psi(d\theta^2 + \text{sin}^2\theta d\phi^2) \end{equation} ...
6
votes
2answers
191 views

What happens if the holonomy group lies in $SU(2)$ for a CY 3-fold?

I am a mathematician and reading a physics paper about the holonomy group of Calabi-Yau 3-folds. In that paper, a Calabi-Yau 3-fold $X$ is defined as a compact 3-dimensional complex manifold with ...
5
votes
1answer
562 views

Fourier Transform on a Riemannian Manifold

The question is quite simple: What would be the definition of Fourier Transform (and it's inverse) on a Riemannian Manifold? I've found that a similar question has been asked at Mathematics.SE but ...
4
votes
1answer
429 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
92 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 ...
3
votes
1answer
123 views

Geometric mechanics - Symplecticity

I am just trying to wade through literature on classical mechanics and I really don't know where to start, everything is Fibre bundle this or manifold that, and doesn't really ease you in to the ...
2
votes
1answer
215 views

How to properly construct the electromagnetic tensor in curved space-time?

How do I properly construct the electromagnetic tensor in curved space-time? I have my curved spacetime metric $(+,-,-,-)$ and my magnetic vector potential $A$. I tried two ways but not sure which is ...
1
vote
1answer
288 views

Interpreting Vector fields as Derivations on Physics

I have a subtle doubt about the physical interpretation of the mathematical definition of vector field as a derivation. In basic physics we understand a vector quantity as a quantity that needs more ...
8
votes
2answers
774 views

Visualizing Ricci Tensor

By definition Ricci Tensor is a Tensor formed by contracting two indices of Riemann Tensor. Riemann Tensor can be visualized in terms of a curve, a vector is moving and orientation of the initial and ...
7
votes
3answers
639 views

Covariant and contravariant vectors

Reading Weinberg's "gravitation and cosmology" I came across the sentence "The partial derivative operator $\partial/\partial x^\mu$ is a covariant vector, or in other words a 1-form,..." (p.115, ...
7
votes
1answer
316 views

Hodge star operator on curvature?

I've a question regarding the Hodge star operator. I'm completely new to the notion of exterior derivatives and wedge products. I had to teach it to myself over the past couple of days, so I hope my ...
6
votes
2answers
339 views

How to show that every Killing vector field is a matter collineation?

Various texts make this claim, but no proof is given. Explicitly, let $L$ denote the Lie derivative. Suppose $L_X g_{ab} = 0$ for some vector field $X$, called a Killing vector field. Suppose that ...
6
votes
1answer
321 views

What is the information geometry of 1D Ising model for a complex magnetic field?

Consider the one-dimensional Ising model with constant magnetic field and node-dependent interaction on a finite lattice, given by $$H(\sigma) = -\sum_{i = 1}^N J_i\sigma_i\sigma_{i + 1} - h\sum_{i = ...
5
votes
1answer
322 views

6 independent Einstein field equations?

I can't understand the comment on page 409, Gravitation, by Misner, Thorne, Wheeler It follows that the ten components $G_{\alpha\beta} =8\pi T_{\alpha\beta}$ of the field equation must not ...
5
votes
3answers
589 views

Does spacetime in general relativity contain holes?

Are there physical models of spacetimes, which have bounded (four dimensional) holes in them? And do the Einstein equations give restrictions to such phenomena? Here by holes I mean ...
5
votes
3answers
431 views

Curvature of Conical spacetime

Inspired by: Angular deficit The 2+1 spacetime is easier for me to visualize, so let's use that here. (so I guess the cosmic string is now just a 'point' in space, but a 'line' in spacetime) Edward ...
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 ...
3
votes
1answer
111 views

The relationship between spin and spinor curvature

The identity, $$ -\gamma^b{\mathcal{R}}_{ab} = {\mathcal{R}}_{ab}\gamma^b = \frac{1}{2}\gamma^b R_{ab}$$ is presented in the answer to the question Dirac Equation in General Relativity. How does ...
3
votes
1answer
144 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
2answers
155 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
4answers
358 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). ...
2
votes
1answer
100 views

Geodesic equation from Euler - Lagrange

There are several ways to derive the geodesic equation. One of which is the variational method which I seemed to understand it because it was written in great details. Then it was mentioned that the ...
2
votes
1answer
149 views

Does the positive mass conjecture indicate a necessity of interactions in our universe?

The positive mass conjecture was proved by Schoen and Yau and later reproved by Witten. Total mass in a gravitating system must be positive except in the case of flat Minkowski space, where energy is ...
1
vote
1answer
70 views

The Euler-Poincare equation

Can anyone tell me very basically how the Euler-Poincare equation generalises the Euler-Lagrange equation? Further does anyone know if there is an "easy" relationship between the two, i.e. can anyone ...
1
vote
1answer
239 views

Finding the Basis vectors of a Killing field vector space

I have solved the Killing vector equations for a 2-sphere and got the following answer. $A,B,C$ are three integration constants as expected. $$\xi_{\theta}=A \sin{\phi}+B\cos{\phi}$$ ...
0
votes
1answer
138 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
0answers
47 views

How to express “curvature scalars” in terms of "discrete curvature values $\kappa_n$?

We know from MTW [1] and Synge [2] how, for participants who were (pairwise) rigid to each other, it may be determined whether or not they were straight to each other, plane to each other, or ...
8
votes
3answers
3k views

Maxwell's Equations using Differential Forms

Maxwell's Equations written with usual vector calculus are $$\nabla \cdot E=\rho/\epsilon_0 \qquad \nabla \cdot B=0$$ $$\nabla\times E=-\dfrac{\partial B}{\partial t} \qquad\nabla\times ...
6
votes
3answers
239 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 ...
6
votes
2answers
294 views

Mathematical probabilistic interepretation of probability amplitude

As a warning, I come from an "applied math" background with next to no knowledge of physics. That said, here's my question: I'm looking at the possibility of using probability amplitude functions to ...
5
votes
3answers
2k views

What is a Killing vector field?

I recently read a post in physics.stackexchange that used the term "Killing vector". What is a Killing vector/Killing vector field?
4
votes
1answer
137 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
435 views

Does the universe obey the holographic principle due to Stokes' theorem?

Does the universe obey the holographic principle due to Stokes' theorem? \begin{equation} \int\limits_{\partial\Omega}\omega = \int\limits_{\Omega}\mathrm{d}\omega. \end{equation} Can this ...
3
votes
2answers
356 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
1answer
142 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
2answers
548 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
2answers
422 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 ...
2
votes
1answer
105 views

From Euler-Lagrange equation to non affine geodesic equation

I have some problems to demonstrate the non affine geodesic equation from Euler-Lagrange's equations. I start defining the Lagrangian $L=\sqrt f$, but then I'm not able to find the Christoffel ...
2
votes
2answers
405 views

Ricci tensor for a 3-sphere without Math packets

Let's have the metric for a 3-sphere: $$ dl^{2} = R^{2}\left(d\psi ^{2} + sin^{2}(\psi )(d \theta ^{2} + sin^{2}(\theta ) d \varphi^{2})\right). $$ I tried to calculate Riemann or Ricci tensor's ...
2
votes
1answer
574 views

Difference between $\partial$ and $\nabla$ in general relativity

I read a lot in Road to Reality, so I think I might use some general relativity terms where I should only special ones. In our lectures we just had $\partial_\mu$ which would have the plain partial ...
1
vote
0answers
122 views

Textbook disagreement on geodesic deviation on a 2-sphere

Apologies if I have this completely wrong (and for the general long-windedness). I've searched online but can't find anything helpful/relevant. I'm trying to use the geodesic equation ...