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

learn more… | top users | synonyms

13
votes
4answers
393 views

Discontinuities and nondifferentiability in thermodynamics

In physics and engineering sources, calculus-based formalisms - whether differential forms on a manifold, or "differentials" of functions of several variables - are presented as a way of modeling and ...
11
votes
3answers
450 views

What kind of manifold can be the phase space of a Hamiltonian system?

Of course it should have dimension $2n$. But any more conditions? For example, can a genus-2 surface be the phase space of a Hamiltonian system?
11
votes
2answers
844 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 ...
11
votes
2answers
885 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 ...
10
votes
3answers
730 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
611 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
655 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
304 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
2answers
240 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
210 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
4answers
672 views

Can a metric in General Relativity, Supergravity, String Theory, etc., be asymmetric?

Why is it that all problems I encountered until now have metrics that when represented in a matrix form turn out to be symmetric? Aren't there asymmetric matrices representing some metrics?
9
votes
1answer
361 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
1answer
2k views

Why is light described by a null geodesic?

I'm trying to wrap my head around how geodesics describe trajectories at the moment. I get that for events to be causally connected, they must be connected by a timelike curve, so free objects must ...
3
votes
2answers
2k views

Null geodesic given metric

I (desperately) need help with the following: What is the null geodesic for the space time $$ds^2=-x^2 dt^2 +dx^2?$$ I don't know how to transform a metric into a geodesic...! There is no need to ...
0
votes
3answers
357 views

Given the Wikipedia notion of “arc length”, how is its manifestly real “signed variant” to be called and denoted?

I am dissatisfied with the presentation (not to say "definition") of "arc length", in its "Generalization to (pseudo-)Riemannian manifolds", as given in Wikipedia. (Who isn't?. But I'll sketch it here ...
7
votes
2answers
3k 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
211 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)$. ...
2
votes
4answers
269 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
2answers
146 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
593 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
264 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.
1
vote
2answers
445 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
294 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
0answers
56 views

What is the null geodesic equation? [duplicate]

What is null geodesic equation for the static and spherically symmetric line element in $$ds^{2}=-K^{2}dt^{2}+\frac{dr^{2}}{K^{2}}+r^{2}(d\theta^{2}+\sin^{2}\theta{d\phi^{2}})$$ where ...
0
votes
1answer
188 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
2k 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
958 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
523 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
771 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 ...
6
votes
1answer
274 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 ...
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
2answers
322 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
4answers
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
323 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
543 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 ...
5
votes
1answer
210 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 ...
9
votes
1answer
338 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
450 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
4answers
1k 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
539 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
731 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
565 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
359 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
161 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
2answers
998 views

Coordinate Transformation of Scalar Fields in QFT

By definition scalar fields are independent of coordinate system, thus I would expect a scalar field $\psi [x]$ would not change under the transformation $x^\mu \to x^\mu + \epsilon^\mu $. Correct? ...
3
votes
2answers
153 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
243 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 ...