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

learn more… | top users | synonyms

9
votes
0answers
158 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 ...
9
votes
0answers
354 views

Classical mechanics: Generating function of lagrangian submanifold

I have a short question regarding the geometrical interpretation of the Hamilton-Jacobi-equation. One has the geometric version of $H \circ dS = E$ as an lagrangian submanifold $L=im(dS)$, which is ...
6
votes
0answers
257 views

Extended Born relativity, Nambu 3-form and ternary (n-ary) symmetry

Background: Classical Mechanics is based on the Poincare-Cartan two-form $$\omega_2=dx\wedge dp$$ where $p=\dot{x}$. Quantum mechanics is secretly a subtle modification of this. By the other hand, ...
5
votes
0answers
68 views

How is foliation of manifolds' theory useful in General Relativity?

I am interested on getting some hints on how Foliations Theory of Manifolds can be used fruitfully on General Relativity. I just started my Ph.D on Mathematics this semester focusing on studying ...
5
votes
0answers
108 views

Why do we need non-trivial fibrations?

I am currently reading this paper. I understand how the Bloch sphere $S^2$ is presented as a geometric representation of the observables of a two-state system: $$ \alpha |0\rangle + \beta |1\rangle ...
5
votes
0answers
128 views

Heat kernel expansion for entanglement entropy

Can somebody please let me know where I can find a reference for calculating heat kernel coefficients on a manifold with conical singularities? I am trying to compute the entanglement entropy for ...
5
votes
0answers
184 views

An introductory resource for learning AdS space

Can someone please point me to introductory resources about the geometry of Anti DeSitter Space ? What are some examples of other spaces used in theoretical physics ?.I'm learning Differential ...
4
votes
0answers
51 views

Asymtotically flat spacetime applicable for spacetimes which are not diffeomorphic to $\mathbb{R}^4$

I wanted to investigate changes on a compact 4-manifold $M$. More specifically it is the K3-surface. I follow a paper by Asselmeyer-Maluga from 2012. The idea there was to make sure that the manifold ...
4
votes
0answers
79 views

Lie derivative of Dirac Delta

In the setting of general relativity, I came across a source term of the wave equation of the following form: $$ \frac{1}{\sqrt{q}}\,\delta^{(3)}(p-\gamma(t)) $$ where $p\in M$ is a point in our 4d ...
4
votes
0answers
80 views

Why is the Ricci tensor diagonal for isotropic spacetime?

I'm reading Zee's Einstein Gravity in a Nutshell and while calculating the Ricci tensor for FRW spacetime he claims that because the spacelike slices of constant $t$ are rotationally invariant, the ...
4
votes
0answers
66 views

Intuitively what's the relationship between forces and connections?

In Einstein's General Relativity we relate the effects of gravity with the curvature of the Levi-Civita connection on the spacetime manifold. Also, when we get the electromagnetic tensor $F = dA$ ...
4
votes
0answers
74 views

Is it possible to build up holography in a closed manifold, i.e., in a manifold with a mathematical boundary?

I was wondering about the AdS/CFT correspondence basics. It is constructed on the idea of conformal compactification, in which a open manifold $M$ is homeomorphic related to a closed one $N$ through a ...
4
votes
0answers
102 views

Lie derivative of a scalar and PDE

I am reading about differential geometry, and in particular the Lie derivative and its relation to (relativistic) hydrodynamics. In particular, I was wondering if, given two scalar functions ...
4
votes
0answers
69 views

Timelike Loop Spaces as Projective Null Twistor Spaces

Let $\mathcal{M}$ be a spacetime, and let $\Omega\mathcal{M}$ denote the loop space of the spacetime. My idea is that the set of all closed timelike curves of $\mathcal{M}$ forms the projective null ...
4
votes
0answers
328 views

How to prove that Weyl tensor is invariant under conformal transformations?

I need to verify that the solution for vanishing Weyl tensor is conformally flat metric $g_{\mu\nu} = e^{2\varphi}\eta_{\mu\nu}$. The most convenient way to show this is to prove that Weyl tensor is ...
4
votes
0answers
48 views

Does heat kernel factorize on product spaces?

I have a doubt regarding whether the trace of the vector heat kernel on a product space factorizes into the corresponding heat kernel traces on each manifold in the product space. I know this holds ...
4
votes
0answers
88 views

Path Integral on Einstein Cartan Manifold

In condensed matter, crystal with disclination and dislocation has both curvature and torsion. I am looking for a reference in which path integral quantization of Dirac equation on manifold with ...
4
votes
0answers
213 views

What are endomorphism bundle valued $p$-forms and exterior covariant derivatives and their use in Chern-Simons theory?

Chern-Simons Forms appears in several places in physics for examples, Fractional Quantum Hall Effect, response of Topological Insulator, invariant of knot, electromagnetism in 2+1 space-time, ...
3
votes
0answers
47 views

Is the “Force” of Gravity Simply Hamilton's Principle on a Curved Spacetime?

It's my understanding that General Relativity abstracts away the concept of gravity as a force, and instead describes it as a feature of spacetime by which massive objects cause curvature. Then it ...
3
votes
0answers
33 views

Sign convention with the $AdS$ metric

One would say that $AdS_n$ satisfies the equations for the scalar curvature (R) and Ricci tensor ($R_{\mu \nu}$), $R = - \frac{n(n-1)}{L^2}$ and $R_{ab} = - \frac{n-1}{L^2}g_{ab}$. But do the signs ...
3
votes
0answers
48 views

Scalar product of torsional forms - how are the standard identities modified?

It is known that for any smooth, orientable, compact manifold $X$ without boundary and $\alpha \in \Omega^{r}(X), \beta \in \Omega^{r-1}(X)$ it holds \begin{equation} (d\beta,\alpha)= (\beta, ...
3
votes
0answers
49 views

Rigid rectangle in Schwarzschild

Say I build a perfect rectangle. Side lengths $l_1$ and $l_2$ and perfect right angles. I am on earth and the metric is given by the Schwarzschild metric. Setting $dt=0$ leads to the spatial ...
3
votes
0answers
81 views

Computing the Einstein tensor for a spherically symmetrical metric using the tetrad formalism

I am having some trouble understanding how to use the tetrad formalism. I will start with what I have so far, my question will be after that. I begin with the metric $$ \text{d}s^2 = e^{2a} \text{ ...
3
votes
0answers
102 views

Further explanation of the Penrose Conjecture

I'm currently a third year maths undergrad, writing a dissertation on the application of minimal surfaces in space. I have recently come across the Penrose Conjecture that the mass of a spacetime is: ...
3
votes
0answers
95 views

Geometric quantization AND nuclear physics

Classical mechanics has a natural mathematical setting in symplectic geometry and it may be asked if the same is true for quantum mechanics. Geometric quantization is one formalization of the notion ...
3
votes
0answers
80 views

On the Geroch's argument

During the study of Geroch's argument to prove positive mass theorem, I faced a problem explained below: Suppose $(M,g_{\mu \nu})$ is a four dimensional Lorentzian Manifold and $\Sigma$ is a ...
3
votes
0answers
143 views

Gauss-Bonnet term in Physics

Given a 4-dimensional compact manifold (torsion free), the Euler characteristic is defined as: $$E_4 ~=~ \int \epsilon_{abcd}R^{ab} \wedge R^{cd}$$ with $R^{ab}$ is the curvature 2-form. Perturb the ...
3
votes
0answers
371 views

Killing vectors for 2-sphere as generators of $SO(3)$ symmetry

How to get Killing vectors in a form of generators of $SO(3)$ group symmetry? By using Killing equations for metric $ds^{2} = d\theta^{2} + \sin^{2}(\theta^{2}) d\varphi^{2}$ I got $$ ...
3
votes
0answers
125 views

Dirac equation in curved space-time with Torsion

I am looking for pedagogical references in which Dirac equation in space-time with curvature and torsion were discussed.
3
votes
0answers
120 views

Curvature and spacetime

Suppose that it is given that the Riemann curvature tensor in a special kind of spacetime of dimension $d\geq2$ can be written as $$R_{abcd}=k(x^a)(g_{ac}g_{bd}-g_{ad}g_{bc})$$ where $x^a$ is a ...
3
votes
0answers
59 views

Expectation of 2-form field $B_{MN}$ in string theory

In the context of string theory, in particular when we're dealing with a low energy effective action, if we have an effective action of the form: $$S_{eff} \sim S^{(0)} + \alpha S^{(1)} + (\alpha)^2 ...
3
votes
0answers
82 views

Relating the deformation of Calabi-Yau metrics and the conformal quantum field theories

(v2) As I read e.g. in this question, the nice holonomy group features of Calabi-Yau manifolds are valuable regarding supersymmetry (I suspect because it's a symmetry involving the target manifold, ...
3
votes
0answers
189 views

What are the topics of string theory that are comprehensible with only a mathematical background on Manifolds and Algebraic Topology?

What are the topics of string theory that are comprehensible with only a mathematical background on manifolds and algebraic topology? Also, I have read only the first four chapters in Peskin & ...
3
votes
0answers
358 views

I lost a factor of two in the electromagnetic field tensor

I apologize for this simple question, but I lost a factor of 2 and can't find it anymore, so now I'm looking on the internet, perhaps one of you has some information about its whereabouts. :-) ...
2
votes
0answers
45 views

Avoiding Pseudo-tensors when addressing global conservation of energy in GR

Discussions about global conservation of energy in GR often invoke the use of the stress-energy-momentum pseudo-tensor to offer up a sort of generalization of the concept of energy defined in a way ...
2
votes
0answers
43 views

How to prove that a time-oriented spacetime possesses a nowhere vanishing timelike vector field?

Penrose gave a very brief proof to this question. Since the spacetime is paracompact, there exists a positive definite metric called $h_{ab}$. Then, the nowhere vanishing time-like vector field $V^a$ ...
2
votes
0answers
43 views

Why is the Taub-NUT instanton singular at $\theta=\pi$?

Consider the following metric $$ds^2=V(dx+4m(1-\cos\theta)d\phi)^2+\frac{1}{V}(dr+r^2d\theta^2+r^2\sin^2\theta{}d\phi^2),$$ where $$V=1+\frac{4m}{r}.$$ That is the Taub-NUT instanton. I have been ...
2
votes
0answers
38 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}$, ...
2
votes
0answers
33 views

Laplacian in 4 spatial dimensions; 4th dimension warped

How can I prove the form of the Laplacian in four spatial dimensions, using the identification $y = y + 2\pi R$ for the fourth dimension and assuming the others as the usual Cartesian ones? I want to ...
2
votes
0answers
46 views

What is the Levi--Civita connection of a Wick rotated metric?

A Wick rotation is a transformation that allows to change from a Lorentzian manifold to a Riemaniann manifold. In the cases when this is possible, is the Levi-Civita connection of the Riemaniann ...
2
votes
0answers
60 views

$M^{+}_4$ Randall-Sundrum Brane Calculation

The basic Randall-Sundrum model is given by the metric, $$\mathrm{d}s^2 = e^{-2|\sigma|}\left[ \mathrm{d}t^2 -\mathrm{d}x^2-\mathrm{d}y^2 - \mathrm{d}z^2 \right]-\mathrm{d}\sigma^2$$ where $\sigma$ ...
2
votes
0answers
47 views

Questions about deduction the dual form of Frobenius's Theorem

I am reading Page 435, General Relativity by Wald. Let $T^*\subset V^*$ be a subspace of the dual tangent space of a manifold, $W\subset V$ be the subspace of the tangent space annihilated by $T^*$, ...
2
votes
0answers
87 views

Questions about closed forms and cycles

I read the section closed forms and cycles in Arnold's Mathematical Methods of Classical Mechanics (page 196-200), but the problems in this section is too difficult to solve in the way following the ...
2
votes
0answers
59 views

Does the covariant derivative of a derivative of the metric vanish?

The title holds the main question. For a little more backgroud: In a calculation I keep coming across terms of the form $$ D_M \partial_N e_P^A \overset{?}{=} 0$$ where $e_P^A$ is the vielbein and ...
2
votes
0answers
79 views

Geometric quantization in Kepler problem in hydrogen atom

Why in the usual geometric quantization calculation the dimensions of eigenspaces is wrong (we can see this obstacle for Kepler problem in hydrogen atom). Here is a refference see
2
votes
0answers
68 views

A question about polarization in quantum mechanics

We start our question we a definition A subbundle $P\subset TM^{\mathbf{C}}$ of the complexified tangent bundle is called a complex polarization if \ $P$ is Lagrangian P involutive dim$P\cap\bar ...
2
votes
0answers
114 views

On “the geometry of free fall and light propagation” paper by Ehlers

In the paper The geometry of free fall and light propagation by Ehlers and his colleagues (Gen. Relativ. Gravit. 44 no. 6, pp. 1587–1609 (2012)), I reach to an axiom which says: There exists a ...
2
votes
0answers
97 views

Path integral measure and symmetry

For a generic field theory the path integral measure is defined as, \begin{equation} \mathcal{D}\Phi = \prod_i d\Phi(x_i), \end{equation} where $\Phi$ is a generic field (i.e. it may be scalar, ...
2
votes
0answers
230 views

Trouble with calculating Christoffel symbols of FLRW metric using Lagrangian method

The FLRW metric which I am using is $$ds^2 = dt^2 - \frac{a(t)^2}{c^2} \left( dx^2 + dy^2 + dz^2 \right)$$ where $a(t)$ is the so-called 'scale factor'. I did not want to calculate the Christoffel ...
2
votes
0answers
137 views

Why doesn't this metric cover all of de Sitter space?

This represents a confused attempt to work through a problem in Carroll's Spacetime and Geometry. Supposedly I should be able to use the geodesic equation, ...