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)

5
votes
1answer
151 views

Two expressions for topological instanton number

I have begun to study instantons and I have the following difficulty: $\newcommand{tr}{\operatorname{Tr}}$ I am considering theory with $SU(2)$ gauge group: $S=\frac{1}{2g^{2}}\int \tr F_{\mu\nu}^{...
1
vote
3answers
2k views

Calculating the Riemann tensor for a 3-Sphere

I have worked out all the connection symbols for the 3-sphere using calculus of variations, cf. this Phys.SE post. So to find the Riemann tensor I am trying to find all the nonzero components of: \...
0
votes
0answers
41 views

Relation between the curvature of a manifold and the number of covariantly constant vector fields that it admits

Suppose that on a four dimensional manifold we are able to explicitly construct four linearly independent covariantly constant vector fields $K^a_{\mu}$: $$D_{\mu}K^a_{\nu}=0,$$ $a=1,2,3,4$ then it ...
1
vote
1answer
92 views

Does the metric define a Riemannian Manifold?

Does a Riemannian Manifold's metric tensor $g$ completely define the manifold, or are more parameters required?
2
votes
3answers
216 views

Generators of the Diffeomorphism Group

So what are the generators of a Diffeomorphism Group? For simplicity, let's consider $ Diff(R^2) $ (diffeomorphisms of the euclidean plane.) Diffeomorphisms are differentiable, invertible ...
8
votes
2answers
759 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
1answer
115 views

Does nature of singularity in black hole depend on material that fell in?

Electromagnetic waves have a tracesless stress energy tensor, and therefore if they are the only fields in a region of spacetime, the Ricci curvature scalar $R=0$ according to GR. However $R^{\mu\nu} ...
3
votes
0answers
86 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 ...
3
votes
4answers
650 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.
1
vote
0answers
38 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). ...
12
votes
1answer
878 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 ...
5
votes
1answer
63 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 ...
6
votes
0answers
108 views

Is it possible to have 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 ...
0
votes
1answer
211 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 $$\...
3
votes
2answers
2k 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
1answer
52 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 ...
11
votes
1answer
348 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 ...
3
votes
2answers
578 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 ...
2
votes
1answer
102 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 $$J^b_{\mu\lambda}J^a_\...
4
votes
0answers
187 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 ...
2
votes
1answer
230 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 $$R_{{...
6
votes
1answer
797 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 ...
3
votes
0answers
102 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
81 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 ...
2
votes
0answers
116 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 ...
3
votes
0answers
118 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 preudo-...
2
votes
2answers
250 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 \...
1
vote
1answer
135 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
105 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 it....
2
votes
0answers
54 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 ...
1
vote
1answer
121 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 ...
4
votes
1answer
289 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 topic....
1
vote
1answer
497 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 equation$$\frac{D^{2}\xi^{\mu}}{D\...
1
vote
0answers
43 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 ...
2
votes
1answer
172 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
201 views

Relationship between Connection and Material Derivative

Suppose $D\subset \Bbb R^3$ contains a fluid and that $f : D\times \mathbb{R}\to \mathbb{R}$ is a time dependent function defined on the fluid region. In that case, the material derivative is defined ...
3
votes
2answers
414 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
174 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 $$\frac{D^{2}\...
2
votes
0answers
98 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 $...
1
vote
1answer
134 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 ...
4
votes
0answers
337 views

Tricks for Computing Riemann Curvature Tensor with Levi-Civita connection

I am new to differential geometry, so far it seems to me that computing the Riemann tensor tends to be a rather tedious task, I wanted to know whether there are some tricks that I am missing. In ...
2
votes
2answers
171 views

Definition of derivative operator on a manifold

I'm hoping to understand the motivation for certain parts of the definition of a derivative operator $\nabla$ on a manifold $M$. In Wald's General Relativity, two clauses of the definition are: ...
4
votes
1answer
352 views

Wick Rotation in Curved space

So over time I have learned to do exhaustive searches before asking things here. Wick rotations are cool if you are trying to work in qft and make statements about the thermodynamics of some physical ...
3
votes
4answers
156 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 ...
12
votes
4answers
976 views

Is force a contravariant vector or a covariant vector (or either)?

I don't understand whether something physical, like velocity for example, has a single correct classification as either a contravariant vector or a covariant vector. I have seen texts indicate that ...
2
votes
0answers
57 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. ...
2
votes
0answers
69 views

Deformation of light-cone

In the paper The geometry of free fall and light propagation by Ehlers and his colleagues (Gen. Relativ. Gravit. 44 no. 6, pp. 1587–1609 (2012)), when the authors introduce the differentiable ...
2
votes
0answers
41 views

Using Polyakov-Alvarez Anomaly Formula [closed]

Take $\Sigma=\mathbb{D}$ to be the unit disk with metric $g=\frac{4}{(1+|z|^2)^2}\,|dz|^2$. If $\phi$ is a nice enough function on $\mathbb{D}$, then I want to compute $$\int_{\partial \Sigma} k_g \...
2
votes
1answer
189 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 spacetime....
2
votes
1answer
133 views

How does a spatial covariant derivative act on tensors that are not purely spatial?

I have a possibly dumb question on ADM formalism. Starting with a metric in ADM form \begin{equation} ds^2 = -N^2dt^2 + q_{ij}(dx^i + N^idt)(dx^j + N^jdt) \end{equation} where $i,j$ only run over the ...