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

learn more… | top users | synonyms

11
votes
2answers
809 views

Equivalence of definitions of ADM Mass

ADM Mass is a useful measure of a system. It is often defined (Wald 293) $$M_{ADM}=\frac{1}{16\pi} \lim_{r \to \infty} \oint_{s_r} (h_{\mu\nu,\mu}-h_{\mu\mu,\nu})N^{\nu} dA$$ Where $s_r$ is two ...
10
votes
3answers
697 views

Equation of motion of a photon in a given metric

I have this metric: $$ds^2=-dt^2+e^tdx^2$$ and I want to find the equation of motion (of x). for that i thought I have two options: using E.L. with the Lagrangian: $L=-\dot t ^2+e^t\dot x ^2 $. ...
7
votes
2answers
584 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
624 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.
5
votes
3answers
295 views

What are some mechanics examples with a globally non-generic symplecic structure?

In the framework of statistical mechanics, in books and lectures when the fundamentals are stated, i.e. phase space, Hamiltons equation, the density etc., phase space seems usually be assumed to be ...
3
votes
1answer
199 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 ...
9
votes
1answer
351 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}+ ...
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.
6
votes
2answers
199 views

Is a spinor in some sense connected to space?

Spinors transform under the representation of $SL(2,\mathbb{C})$ which is the double cover of the Lorentz group $SO(1,3)$ - or in the non-relativistic case under $SU(2)$, the double cover of $SO(3)$. ...
1
vote
2answers
137 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 ...
0
votes
3answers
528 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: ...
4
votes
2answers
259 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
2answers
415 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
402 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
285 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
183 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 ...
25
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, ...
12
votes
2answers
885 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
482 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
757 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
317 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 ...
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 ...
7
votes
1answer
311 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
500 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 ...
11
votes
2answers
862 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
979 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 ...
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
331 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
407 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 ...
7
votes
1answer
709 views

Why is the Hodge dual so essential?

It seems unnatural to me that it is so often worthwhile to replace physical objects with their Hodge duals. For instance, if the magnetic field is properly thought of as a 2-form and the electric ...
6
votes
5answers
511 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 ...
6
votes
1answer
697 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
194 views

Does magnetic monopole violate $U(1)$ gauge symmetry?

Does a magnetic monopole violate $U(1)$ gauge symmetry? In what sense and why? Insofar as I know, there are at least two types of magnetic monopoles. One is the Dirac monopole while the other is the ...
5
votes
1answer
531 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
346 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
154 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
142 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
217 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
2answers
220 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
279 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
214 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$ ...
10
votes
4answers
4k views

Maxwell's Equations using Differential Forms

Maxwell's Equations written with usual vector calculus are $$\nabla \cdot E=\rho/\epsilon_0 \qquad \nabla \cdot B=0$$ $$\nabla\times E=-\dfrac{\partial B}{\partial t} \qquad\nabla\times ...
9
votes
2answers
640 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
476 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
209 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
151 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: $$ ...