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

learn more… | top users | synonyms (1)

9
votes
6answers
852 views

In coordinate-free relativity, how do we define a vector?

Relativity can be developed without coordinates: Laurent 1994 (SR), Winitzski 2007 (GR). I would normally define a vector by its transformation properties: it's something whose components change ...
3
votes
1answer
234 views

Susy QM and Atiyah-Singer index theorem

Consider maps $t\mapsto x^i(t)$ from circle to some Riemannian (spin) manifold and lagrangian $$ \mathcal L = \frac12 g_{ij}(x) \partial_t x^i \partial_t x^j + \frac12 g_{ij} \psi^j \left(\delta^i_k ...
13
votes
4answers
394 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 ...
12
votes
2answers
898 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 ...
11
votes
3answers
451 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
867 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
744 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
616 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
671 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
316 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
254 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
218 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
690 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
365 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
3k 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
360 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
213 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
282 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
149 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
631 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: ...
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
466 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
297 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
57 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
190 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
985 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
555 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
781 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
282 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
324 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
332 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
569 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 ...
6
votes
1answer
748 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
218 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 ...
3
votes
2answers
158 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$$ ...
9
votes
1answer
339 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
467 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
556 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 ...
5
votes
1answer
588 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
363 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
164 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
1k 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? ...