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

learn more… | top users | synonyms

2
votes
3answers
84 views

Why does a bubble take a spherical shape?

I suspect this has something to do with thermodynamics and the isoperimetric inequality and I'm interested in a mathematical derivation of this result.
3
votes
0answers
28 views

Classical toy models of particles with intrinsic spin

Related to my question here (spacetime torsion, the spin tensor, and intrinsic spin in einstein cartan theory), I'd like to be able to put test particles on a manifold with non-zero torsion and see ...
2
votes
0answers
35 views

New coordinates in terms of old from Jacobian— Software? [duplicate]

Fellow geometry enthusiasts: I am studying a particular geometry and I would like to change from one set of coordinates to a new set that makes the metric unimodular (i.e. it's determinant is one). ...
3
votes
1answer
73 views

Christoffel symbol

For two nearby points in General Theory of Relativity. The change in the vector components when parallel transported is given by Now, since the parallel transport change must depend on the path ...
7
votes
2answers
339 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 ...
2
votes
0answers
39 views

Spacetime Torsion, the Spin tensor, and intrinsic spin in Einstein-Cartan theory

In Einstein-Cartan gravity, the action is the usual Einstein-Hilbert action but now the Torsion tensor is allowed to vary as well (in usual GR, it is just set to zero). Variation with respect to the ...
20
votes
7answers
7k views

Laplace operator's interpretation

What is your interpretation of Laplace operator? When evaluating Laplacian of some scalar field at a given point one can get a value. What does this value tell us about the field or it's behaviour in ...
0
votes
1answer
68 views

What are great circles of 2-sphere?

What exactly are great circles, and how does one derive them? Given that the Lagrangian is: $$ L =\frac {1}{2}(\dot\theta^2 + \sin^2\theta\dot\phi^2)$$ it was written that the great circles were ...
5
votes
1answer
53 views

What's the definition of incompleteness of a coordinate system and a spacetime?

I always see in GR textbooks that some coordinates or some spacetime is incomplete, such as Rindler spacetime and spacetially flat FRW universe with only positive cosmological constant. This ...
51
votes
6answers
2k views

What is known about the topological structure of spacetime?

General relativity says that spacetime is a Lorentzian 4-manifold $M$ whose metric satisfies Einstein's field equations. I have two questions: What topological restrictions do Einstein's equations ...
5
votes
0answers
48 views

Fermions in Schwarzschild spacetime

To my understanding Geroch proved that on 4-dimensional non-compact manifold a necessary and sufficient condition for a manifold to have a notion of spinors is to be parallelizabe .1 (General ...
1
vote
0answers
52 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 ...
1
vote
0answers
28 views

Parallel transport of a vector on a curve on a sphere [on hold]

I want to do a calculation of a parallel transport along a curve on a sphere, but I think I'm lacking a bit the basics of using different coordinate systems and curves there because I never did much ...
1
vote
1answer
44 views

Modeling wall's behaviour

Sorry if the quesiton is inconvenient, but I judged the physics forum would be the best place to go. My house is divided in two parts by a wall, and there's some tree pushing it, so the wall is about ...
7
votes
1answer
123 views

Betti multiplets in Kaluza Klein compactifications

It is well known that if the compactification manifold of a supergravity theory has non-zero Betti numbers, this may lead to the so called Betti multiplets in the spectrum of the low dimensional ...
5
votes
1answer
66 views

Relation between cohomology and the BRST operator

Given a manifold $M$, we may define the $p$th de Rham cohomology group $H^p(M)$ as the quotient, $$C^p(M) \, / \, Z^p(M)$$ where $C^p$ and $Z^p$ are the groups of closed and exact $p$-forms ...
2
votes
3answers
473 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 ...
26
votes
4answers
6k views

Are matrices and second rank tensors the same thing?

Tensors are mathematical objects that are needed in physics to define certain quantities. I have a couple of questions regarding them that need to be clarified: Are matrices and second rank tensors ...
2
votes
1answer
84 views

Can these two terms cancel out?

In trying to prove that $$\Gamma_{\mu\nu\lambda} = \eta_{ab}J^a_bJ^b_{\nu\lambda}.$$ The author canceled out while expanding the first equation $$J^a_{\mu\lambda}J^b_\nu$$ with ...
4
votes
2answers
95 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 ...
1
vote
1answer
43 views

If a point r lies in the boundary of the chronological future of another point p, why does the chronological future of r belong to that of p?

I am studying the global causality of the spacetime. Here, I come across a problem. Suppose a point $r\in \partial I^+(p)$. $I^+(p)$ is the chronological future of a different point $p$ in ...
1
vote
0answers
64 views

Help with parametrization of surface if I'm given the metric [closed]

I've got a homework question. Consider a 2 dimensional space with metric $$ ds^{2} = \frac{dr^{2}}{1 -\frac{2}{r} } + r^{2}d\theta^{2} .$$ I need to show that this is the induced metric ...
5
votes
3answers
424 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
0answers
105 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 ...
1
vote
1answer
52 views

Riemann Curvature Tensor Symmetries Proof

I am trying to expand $$\varepsilon^{{abcd}} R_{{abcd}}$$ by using four identities of the Riemann curvature tensor: Symmetry $$R_{{abcd}} = R_{{cdab}}$$ Antisymmetry first pair of indicies ...
3
votes
4answers
113 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 ...
4
votes
1answer
82 views

Conservative Vector Fields

I was always told that to find whether or not a vector field is conservative, see if the curl is zero. I have now been told that just because the curl is zero does not necessarily mean it is ...
2
votes
0answers
70 views

What are Killing spinors?

What are Killing spinors? How can they be motivated? Are they directly related to Killing vectors and Killing tensors and is there an overarching motivation for all three objects? Any answer is ...
1
vote
0answers
51 views

Why are Lagrangian subspaces called 'Lagrangian'?

I am wondering what the special role of Lagrangian subspaces (or submanifolds) are in mechanics. Do these subspaces have some sort of special property for which we have some sort of `Lagrangian ...
1
vote
0answers
54 views

Equation regarding the Riemann tensor in the Cartan formalism [closed]

I have a problem verifying the following equation (in three dimensions) $$\epsilon_{abc} e^a\wedge R^{bc}=\sqrt{|g|}Rd^3 x$$ where $R$ is the Ricci scalar and $R^{bc}$ is the Ricci curvature ...
2
votes
2answers
118 views

Momentum vector transformation

I am confused about the way momentum vector transforms in the following case: $$q_k \to q_k'= q_k + \epsilon f_k(q)$$ The Jacobian is thus $\Lambda_{ij} = \frac{\partial q'_i}{\partial q_j} \approx ...
3
votes
0answers
54 views

Ricci curvature of embedded spacetime

If I am not mistaken, there is a theorem which states that every Riemannian manifold can be embedded in the $n$-dimensional Euclidean space for some large-enough $n$. Does it also hold for ...
1
vote
1answer
70 views

Derivative chain rule in a triangle, confusing but interesting problem

I asked the question in math.stackexchange. But I think it is better to ask here again. I am new to these sites. Please forgive me if it is not polite. http://math.stackexchange.com/q/921001 You can ...
2
votes
0answers
51 views

What is elliptic genera?

What is elliptic genera in physics? Reading many relevant papers, they just defined elliptic genus as sort of partition function. I try to find useful materials to explain it, but I couldn't find ...
1
vote
1answer
62 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 ...
3
votes
1answer
116 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
0answers
37 views

Mathematical books to become a successful mathematical physicists [duplicate]

My understanding of algebraic topology and Riemannian geometry come from Nakahara's Geometry, Topology, and Physics, which I do not think is sufficient. I am first year PhD student, and I want to do ...
0
votes
0answers
79 views

Geodesic deviation on a unit sphere

Very little interest in the original version of this question so I've rejigged it hoping for a more positive response. I'm trying to use the geodesic deviation ...
1
vote
0answers
28 views

Supergravity solution, metric for the total space, and connection

In supergravity solutions, one sometimes encounters the case where the manifold may be a bundle over some base space, and one has to write down the explicit metric regarding such bundle. I would like ...
1
vote
1answer
92 views

Geodesic curvature and Weyl transformations

The geodesic curvature is given by $$k=\pm t^a n_b\nabla_a t^b,$$ where $t^a$ is a unit vector tangent to the boundary of the string worldsheet and $n_a$ is an outward vector orthogonal to $t^a$. I ...
2
votes
1answer
90 views

The relationship between Lorentz Lie algebra and curvature

Here I transfered the question from the comment The relationship between spin and spinor curvature How $\mathcal{R}_{ab} = \frac{1}{4}R_{abst}\gamma^s \gamma^t$ is from $\Psi \mapsto \Psi + ...
1
vote
0answers
118 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 ...
3
votes
2answers
351 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 ...
1
vote
0answers
16 views

Is Hodge star operation can be understood as contraction after tensor product of a $p$-form with the volume element? [migrated]

By defintion, the Hodge star of a $p$-form $\omega_{a_1\cdots a_p}$ on a $n$-dimensional manifold is given by $*\omega_{b_1\cdots b_{n-p}}=\frac{1}{p!}\omega^{a_1\cdots a_p}\epsilon_{a_1\cdots ...
2
votes
0answers
45 views

Why can any pair of master coordinates be used to calculate a nonlinear mode of a nonlinear dynamical system?

This is a question I have been asking myself for some time since the following technique is often used in the nonlinear dynamics community, but never managed to get an answer why it could be applied. ...
14
votes
6answers
837 views

Proving that interval preserving transformations are linear

In almost all proofs I've seen of the Lorentz transformations one starts on the assumption that the required transformations are linear. I'm wondering if there is a way to prove the linearity: Prove ...
2
votes
0answers
55 views

If $S$ is a closed achronal set in a spacetime, any timelike curve starting at a point in $I^+[S]$ and ending at a point in $I^-[S]$ interset $S$?

Suppose $S$ is an achronal set in a spacetime $M$. And $S$ is closed. At the same time, any null geodesic of $M$ intersects $S$. Then, why does any timelike curve from $I^+[S]$ to $I^-[S]$ intersect ...
0
votes
1answer
125 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 ...
8
votes
1answer
168 views

Evaluating the Einstein-Hilbert action

The Einstein-Hilbert action is given by, $$I = \frac{1}{16\pi G} \int_{M} \mathrm{d}^d x \, \sqrt{-g} \, R \, \, + \, \, \frac{1}{8\pi G}\int_{\partial M} \mathrm{d}^{d-1}x \, \sqrt{-h} \, K$$ ...
5
votes
1answer
139 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 ...