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

learn more… | top users | synonyms

7
votes
2answers
547 views

Vector Potential for Magnetic field when the field is not in simply-connected region

According to Poincare's Lemma, if $U\subset \mathbb{R}^n$ is a star-shaped set and if $\omega$ is a $k$-form defined in $U$ that is closed, then $\omega$ is exact, meaning that there's some ...
6
votes
2answers
539 views

Parallel Transport of a 4-vector

Why does the parallel transported $4$-vector change from $X^a(x)$ to $X^a(x) + \bar{\delta}X^a(x)$ ? This is also discussed in D'Inverno's relativity book [page - 72]; but the reason is not clear.
7
votes
3answers
743 views

Covariant and contravariant vectors

Reading Weinberg's Gravitation and Cosmology, I came across the sentence (p.115, above equation (4.11.8)) The partial derivative operator $\partial/\partial x^\mu$ is a covariant vector, or in ...
2
votes
2answers
305 views

Time-like Killing vector in FRW metric?

The spatially flat FRW metric in cartesian co-ordinates is given by: $$ds^2 = -dt^2 + a^2(t)(dx^2 + dy^2 + dz^2)$$ As I understand it there are Killing vectors in the $x$, $y$, $z$ directions implying ...
6
votes
2answers
2k views

Killing vector fields

I am facing some problems in understanding what is the importance of a Killing vector field? I will be grateful if anybody provides an answer, or, refer me to some review or books.
4
votes
2answers
252 views

Dimensions of strings in string theory

In the above image taken from wikipedia, at the string level the strings have been shown as some loops, the article in wikipedia says that in string theory the particles at lower level are broken ...
4
votes
2answers
1k views

Can anyone please explain Hawking-Penrose Singularity Theorems and geodesic incompleteness?

Can anyone please explain Hawking-Penrose Singularity Theorems and geodesic incompleteness? In easy to understand plain English please.
2
votes
1answer
121 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
381 views

Local inertial coordinates/Fermi normal coordinates

It is said that we can introduce local inertial coordinates/Fermi normal coordinates for any timelike geodesic. But why only for timelike geodesics? What about null geodesics? Perhaps it has to do ...
1
vote
2answers
299 views

What is the physical meaning of the Eddington - Finkelstein coordinates?

I want to see a some physical process (experimental) that could explain the many transformations of coordinates into this mathematical procedure. (really two transformations, but i think that is a ...
1
vote
3answers
271 views

Where 2 comes from in formula for Schwarzschild radius?

In general theory of relativity I've seen several times this factor: $$(1-\frac{2GM}{rc^2}),$$ e.g. in the Schwarzschild metric for a black hole, but I still don't know in this factor where 2 comes ...
0
votes
1answer
157 views

Geodesic devation on a two sphere

So the geodesic deviation equation gives the relative acceleration between two geodesics in motion. But given a pair of geodesic (let's say on the two sphere) that start at the equator, separated by ...
24
votes
4answers
2k views

Physical and Geometrical interpretation of Differential Forms

I have a doubt about the physical and geometrical interpretation of differential forms. I've been studying differential forms on Spivak's Calculus on Manifolds, but my real intent is to use those ...
10
votes
1answer
746 views

The Role of Active and Passive Diffeomorphism Invariance in GR

I'd like some clarification regarding the roles of active and passive diffeomorphism invariance in GR between these possibly conflicting sources. 1) Wald writes, after explaining that passive ...
7
votes
1answer
273 views

Are identity types interpreted physically in an infinity-topos formulation of equations of motion?

In reference to Urs Schreibers paper/book on foundations of field theory Differential cohomology in a cohesive infinity-topos I wonder: are identity types there used "only" for the computations, or ...
7
votes
7answers
2k views

Introduction to differential forms in thermodynamics

I've studied differential geometry just enough to be confident with differential forms. Now I want to see application of this formalism in thermodynamics. I'm looking for a small reference, to learn ...
7
votes
2answers
714 views

Lorentz invariance of the 3 + 1 decomposition of spacetime

Why is allowed decompose the spacetime metric into a spatial part + temporal part like this for example $$ds^2 ~=~ (-N^2 + N_aN^a)dt^2 + 2N_adtdx^a + q_{ab}dx^adx^b$$ ($N$ is called lapse, $N_a$ is ...
14
votes
4answers
624 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 ...
10
votes
1answer
439 views

What's the physical intuition for symplectic structures?

I always thought about symplectic forms as elements of areas in little subspaces because of the Darboux theorem, however I cannot get the physical intuition for it and for the hamiltonian vector ...
10
votes
3answers
4k 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 ...
9
votes
0answers
237 views

Differential geometry of Lie groups

In Weinberg's Classical Solutions of Quantum Field Theory, he states whilst introducing homotopy that groups, such as $SU(2)$, may be endowed with the structure of a smooth manifold after which they ...
11
votes
2answers
827 views

Can a non-Euclidean space be descripted through an Euclidean space of higher dimension? So why use non-Euclidean?

If you draw a big triangle in Earth 2D surface you will have an approximated spherical triangle, this will be a non euclidean geometry. but from a 3D perspective, for example the same triangle from ...
7
votes
4answers
898 views

Connection between Poisson Brackets and Symplectic Form

Jose and Saletan say the matrix elements of the Poisson Brackets (PB) in the $ {q,p} $ basis are the same as those of the inverse of the symplectic matrix $ \Omega^{-1} $, whereas the matrix elements ...
11
votes
4answers
2k views

Why is the space-time interval squared?

The space-time interval equation is this: $$\Delta s^2=\Delta x^2+\Delta y^2+\Delta z^2-(c\Delta t)^2$$ Where, $\Delta x, \Delta y, \Delta z$ and $\Delta t$ represent the distances along various ...
9
votes
1answer
325 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 ...
8
votes
2answers
311 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 ...
5
votes
3answers
321 views

Extending General Relativity with Kahler Manifolds?

Standard general relativity is based on Riemannian manifolds. However, the simplest extension of Riemannian manifolds seems to be Kahler manifolds, which have a complex (hermitian) structure, a ...
4
votes
0answers
136 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 ...
4
votes
1answer
458 views

Step by step algorithm to solve Einstein's equations

I cannot completely understand what is a regular method to solve Einstein's equations in GR when there are no handy hints like spherical symmetry or time-independence. E.g. how can one derive ...
3
votes
2answers
93 views

Covariant derivative applied to a vector vs. applied to a matrix?

I know there are (say) two different definitions/representations of the covariant derivative: one is the covariant derivative applied to a vector $F$, which reads as $$DF=\partial F+iAF$$ ...
3
votes
1answer
161 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 ...
3
votes
1answer
171 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 ...
3
votes
2answers
168 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 ...
3
votes
2answers
254 views

Differential Forms and Densities

I've heard that differential forms are related to densities, however I'm still a little confused about that. I thought on the case of charge density and I came to that: let $U\subset\mathbb{R}^3$ be a ...
2
votes
1answer
194 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
547 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 ...
6
votes
2answers
374 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
199 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
135 views

Extent of coordinate freedom to set metric components along a spacetime path

If we describe spacetime with a Lorentzian manifold, it is always possible to choose a coordinate system such that at any particular point $x^\alpha$, the components of the metric are: $$ ...
5
votes
1answer
637 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
144 views

Geodesic Deviation between Test Particles from Gravitational Wave

I'm having trouble understanding how Carroll (Spacetime and Geometry, p.296) explains the effect of a passing gravitational wave on test particles. If we have two geodesics with tangents $\vec{U}$, ...
4
votes
1answer
535 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
100 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 ...
4
votes
1answer
559 views

How do we know the geodesic is a minimum?

The geodesic equation is derived from the Euler-Lagrange equation, which (as I understand it) is a necessary but not sufficient condition to ensure that the geodesic is a minimum. The introductory GR ...
2
votes
1answer
295 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
2answers
66 views

Properties of Hodge Duality

So we know that Hodge duality works this way $$⋆(dx^i_1 \wedge ... \wedge dx^i_p)= \frac{1}{(n-p)!} \epsilon^{i_1..i_p}_{i_{p+1}..i_n} dx^{i_{p+1} } \wedge dx^{i_n}$$ where $p$ represents the $p$ in ...
1
vote
2answers
80 views

Proper time in general relativity

For general relativity, Wald's GR states that timelike curves, with the norm $g_{ab}T^{a}T^{b} < 0$, can be parameterized by the "proper time" $$\tau = \int (-g_{ab}T^{a}T^{b})^{1/2} dt.$$ This ...
1
vote
1answer
115 views

Has a metric formulation of electromagnetism ever been attempted? [duplicate]

I understand that electromagnetic fields carry energy, and this energy curves spacetime gravitationally. That's not my question. I'm asking if anyone has tried to formulate electromagnetism in such ...
1
vote
1answer
316 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 ...
0
votes
0answers
72 views

Covariant Derivative Chain rule?

I want to prove that a covariant derivative of a vector $A^{\mu}(x(z))$ at the point $x(z)$ in general would be defined as $$D_z ...