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
147 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
347 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
95 views

Evaluating the Einstein-Hilbert action

The Einstein-Hilbert action is given by, $$I = \frac{1}{16\pi G} \int_{M} \mathrm{d}^d x \, \sqrt{-g} \, R \, \, + \, \, \frac{1}{8\pi G}\int_{\partial M} \mathrm{d}^{d-1}x \, \sqrt{-h} \, K$$ ...
6
votes
0answers
256 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
126 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
183 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
47 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
77 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
53 views

Recommendation on mathematical physics book of Symplectic geometry

I want to learn the applications of symplectic geometry in physics. Which mathematical physics textbook will have a detailed and heuristic explanation of this aspect?
4
votes
0answers
73 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
95 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
315 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
47 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
86 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
212 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, ...
4
votes
0answers
239 views

Tensor equations in General Relativity

In the context of general relativity it is often stated that one of the main purposes of tensors is that of making equations frame-independent. Question: why is this true? I'm looking for a ...
3
votes
0answers
32 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
46 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
78 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
101 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
93 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
79 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
137 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
361 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
122 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
117 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
188 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
356 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
37 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
41 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
48 views

The relationship between Lorentz Lie algebra and curvature

Here I transfered the question from the comment The relationship between spin and spinor curvature How $\mathcal{R}_{ab} = \frac{1}{4}R_{abst}\gamma^s \gamma^t$ is from $\Psi \mapsto \Psi + ...
2
votes
0answers
34 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
29 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
58 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
86 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
92 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, ...