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

learn more… | top users | synonyms

6
votes
2answers
601 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.
3
votes
1answer
190 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
2answers
495 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 ...
9
votes
1answer
346 views

Contracting Indices

Does anyone know how to get from (1) to (2) in the system $$ \begin{align} \mathrm{g}^{\mu\nu}_{,\rho}+ \mathrm{g}^{\sigma\nu}{{\Gamma}}^{\mu}_{\sigma\rho}+ ...
1
vote
2answers
128 views

Good Fiber Bundles and Differential Geometry references 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 ...
7
votes
3answers
771 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 ...
7
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.
2
votes
2answers
370 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 ...
4
votes
2answers
258 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 ...
3
votes
2answers
2k 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
127 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
403 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
361 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
280 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
173 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 ...
14
votes
5answers
1k views

What does a frame of reference mean in terms of manifolds?

Because of my mathematical background, I've been finding it hard to relate the physics-talk I've been reading, with mathematical objects. In (say special) relativity, we have a Lorentzian manifold, ...
11
votes
1answer
818 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 ...
12
votes
3answers
450 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 ...
7
votes
2answers
750 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 ...
11
votes
2answers
307 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 ...
7
votes
1answer
298 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 ...
10
votes
1answer
479 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
5k 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 ...
11
votes
2answers
850 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
943 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 ...
6
votes
5answers
491 views

Is there a physical interpretation of a tensor as a vector with additional qualities?

What is a tensor? has been asked before, with the most highly up-voted answer defining a tensor of rank $k$ as a vector of a tensor of rank $k-1$. But if a scalar is defined as a physical quantity ...
3
votes
2answers
199 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
2answers
6k views

Derive vector gradient in spherical coordinates from first principles

Trying to understand where the $\frac{1}{r sin(\theta)}$ and $1/r$ bits come in the definition of gradient. I've derived the spherical unit vectors but now I don't understand how to transform ...
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
328 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
373 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
1answer
676 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 ...
5
votes
1answer
510 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 ...
5
votes
3answers
335 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
148 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
125 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
2answers
195 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
264 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
209 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
606 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
445 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
204 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
144 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: $$ ...
4
votes
1answer
149 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
575 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
104 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
584 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
0answers
74 views

Kleppner derivation of Lorentz transformation

I am reading Kleppner.(Lorentz transformations) He said,we take the most general transformation relating the coordinates of a given event in the two systems to be of the form $$x'=Ax +Bt, y'=y, z'=z, ...