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
1answer
59 views

Correct tetrad index notation

There seems to be some different conventions on the indexes of the tetrad. I am wondering which is the standard, which is correct, and which is an abuse of notation. In Sean Carroll's notes and in ...
2
votes
0answers
60 views

What is discrete phase space?

I've been reading a little about the usual, continuous Wigner functions and phase space quasi-distributions in general, and I believe I understand the idea behind them. The Wigner function arises when ...
1
vote
1answer
70 views

How can we derive the gauge field Lagrangian?

I learned the gauge field Lagrangian is given in this form: $$\mathcal{L} = -\frac{1}{4} \mathrm{Tr}(F_{\mu \nu}F^{\mu \nu}).$$ But how one can derive this equation starting from defining the ...
1
vote
1answer
52 views

One step in deriving the Einstein-Hilbert action

In this amazing first principles derivation of the Einstein-Hilbert action there is one small manipulation needed to show $$c g_{ab,cd}\left(\eta^{ac}\eta^{bd} - \eta^{ab}\eta^{cd}\right)$$ is ...
5
votes
1answer
228 views
+100

Geodesic deviation equation - why does the ordinary second derivative give the correct answer?

I've calculated the correct answer to my problem, but don't understand one of the assumptions I made when doing so. I used the geodesic deviation equation ...
6
votes
0answers
64 views

Is there a null incomplete spacetime which is spacelike and timelike complete?

Geodesic completeness, the fact we can make the domain of the geodesic parametrized with respect an affine parameter the whole real line, is an important concept in GR. Especially, because the lack of ...
7
votes
1answer
89 views

Why is it so coincident that Palatini variation of Einstein-Hilbert action will obtain an equation that connection is Levi-Civita connection?

There are two ways to do the variation of Einstein-Hilbert action. First one is Einstein formalism which takes only metric independent. After variation of action, we get the Einstein field equation. ...
1
vote
2answers
77 views

Good Fiber Bundles reference for Physicists

I'm a student of Physics and I have interest on the theory of Fiber Bundles because of the applications they have in Physics (gauge theory for example). What are good books to learn the theory of ...
0
votes
0answers
60 views

Why doesn't this proof change indices?

In this pdf, in the second line of the proof, $\sigma$ was plugged in where it appears as $$\frac{\partial x^\sigma}{\partial y^{\rho'}}$$ Meanwhile in converting the coordinates of $g^{\mu'\rho'}$, ...
1
vote
0answers
16 views

Differenational in Lie groups [migrated]

I am trying to make sense of the Lie group machinery and relate it to the calculus. Suppose that $\psi(t)=\phi(s)\phi(t), s, t \in I$. Here $\phi(t)$ is a one-parameter subgroup of the Lie group ...
0
votes
1answer
46 views

Christoffell symbols manipulations [closed]

Why is it that $$\Gamma^\lambda_{\lambda\tau}\Gamma^\tau_{\mu\nu} = 0?$$ The same goes for $$\Gamma^\lambda_{\nu\tau}\Gamma^\tau_{\mu\lambda} $$which was set equal to zero by the author..
4
votes
0answers
52 views

Non-trivial scalar quantity

Is there any scalar quantity made of only the Christoffel symbols, determinant of a metric and tensors, not derivatives? In other words, can we construct a scalar quantity which cannot be written in ...
1
vote
2answers
117 views

What is $V^\mu$ if $\nabla_{\mu} V^{\mu}$=scalar?

Suppose there is a quantity written as $\sum\limits_\mu \nabla_\mu V^\mu$ which is invariant under a coordinate transformation, i.e. scalar, where $V^\mu=(V^0,V^1,V^2,V^3)$ and $\nabla_\mu$ is a ...
4
votes
0answers
41 views

What is the status of gauged gravity [duplicate]

The Standard Model of elementary particles is a gauge theory with gauge group $SU(3)\times SU(2)\times U(1)$, which is really a successful theory. We might be able to quantize gravity similarly. ...
4
votes
2answers
121 views

Geometric meaning of parallel transport

The definition of parallel transport of a vector $v^b$ along a curve $C$ with tangent field $\it{t}^a$ is given by Wald's GR as $$t^a \nabla_a v^b = 0$$ Is it correct to think of $\nabla_a v^b$ as ...
1
vote
1answer
31 views

Tensors applied to vector and dual vector fields in GR

This is a specific question about tensor manipulation in Wald's GR. I'm asking for clarification of a trivial step, because I'm working through the text outside the context of a class, without prior ...
3
votes
0answers
39 views

How to derive the cigar soliton solution to the Ricci flow equation? [closed]

I am trying to derive the cigar soliton solution to the Ricci flow equation. Such solution has the form $$ {\frac {{{\it dx}}^{2}+{{\it dy}}^{2}}{{{\rm e}^{4\,t}}+{x}^{2}+{y}^{2 }}} $$ I am ...
4
votes
1answer
74 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 ...
2
votes
0answers
31 views

Connectedness of $O(3)$ group manifold [migrated]

A topological space is said to be connected if it cannot be written as $X=X_1\cup X_2$, where $X_1,X_2$ are both open and $X_1\cap X_2=\emptyset$. Otherwise, X is called disconnected. Is it wrong to ...
0
votes
3answers
84 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
27 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
56 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?
1
vote
3answers
80 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 ...
6
votes
2answers
238 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
73 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
50 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
3answers
133 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.
2
votes
0answers
37 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). ...
9
votes
1answer
210 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
56 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 ...
5
votes
0answers
54 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 ...
0
votes
1answer
83 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 ...
2
votes
1answer
103 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
38 views

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

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
48 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 ...
5
votes
1answer
78 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 ...
4
votes
2answers
109 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
87 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
0answers
121 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
57 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 ...
1
vote
0answers
69 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 ...
4
votes
1answer
92 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
72 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
54 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
55 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
59 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 ...
2
votes
2answers
129 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
81 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
55 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 ...
2
votes
0answers
39 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 ...