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

learn more… | top users | synonyms

3
votes
1answer
177 views

Is there a nice way to write Navier-Stokes equations in exterior calculus

I'm considering to study some high-dimensional Navier-Stokes equations. One problem is to do write the viscous equation for vorticity, helicity and other conserved quantities. I think it might be ...
3
votes
3answers
283 views

Singularity-free stationary electro-vacuum solution

Let's say we have a spherically symmetric fluid: $$ T^{\alpha \beta} = \begin{bmatrix} \rho & 0 & 0 & 0 \\ 0 & p & 0 & 0 \\ 0 & 0 & p & 0 \\ 0 ...
3
votes
1answer
52 views

Bondi-Metzner-Sachs (BMS) symmetry of asymptotically flat space-times

I started studying the BMS symmetry in connection with the paper: http://arxiv.org/abs/1312.2229 and there are a few strange things I noticed. First of all, from reading the original papers by Bondi, ...
3
votes
1answer
80 views

Why do we do partial and not covariant differentiation with $x^{\nu}$?

Why when taking the velocity vector we make $$u^{\nu}=\frac{d}{d\tau}x^{\nu}$$ and not $$u^{\nu}=\frac{\nabla}{d\tau}x^{\nu}$$ where in the last equation I meant the covariant derivative. Why?
3
votes
1answer
126 views

Instantons in Witten's supersymmetry and Morse theory

I'm reading Witten's paper on supersymmetry and Morse theory and am confused about the details of the instanton calculation which he uses to define a Morse complex (beginning at page 11 of the pdf) . ...
3
votes
1answer
57 views

Show that getting parallel transported does not change angle between them- Tensors [closed]

I must tell you that I have never seen this kind of question in Tensor Analysis. Our professor had set up this question in our exam, but I don't know whether it belongs to tensors or not. The question ...
3
votes
1answer
66 views

Which textbook of differential geometry will introduce conformal transformation?

Which textbook of differerntial geometry will have these formulas about conformal transformation? $$\tilde g_{ij} = e^{2\varphi}g_{ij}$$ $$\tilde \Gamma^k{}_{ij} = \Gamma^k{}_{ij}+ ...
3
votes
1answer
136 views

What are type system examples of local gauge transformation- and field strength-like objects?

This is essentially a follow up motivated by this answer to my question about the gauge transformation interpretation of identity types. A field $$\psi:\mathcal M\to\mathbb C^n$$ is a section of the ...
3
votes
1answer
95 views

Can a D-brane be closed and contractible?

Let's consider for simplicity D-branes in bosonic string theory. I have a very basic question whose answer I couldn't find clearly stated in the few textbooks where I looked for it. Take for ...
3
votes
2answers
173 views

Vanishing of Weyl Tensor Contraction

Within the context of Einstein space-times, we know that the contraction of the Weyl tensor across a set of indices always vanishes, like so : $$C{^{\alpha }}_{\mu \alpha \nu }=0$$ From a purely ...
3
votes
1answer
132 views

Schwarzschild geodesics

I've found on Wikipedia that energy $E$ and angular momentum $L$ of a particle are conserved quantities in Schwarzschild metric. It's written: $$L=mr^2 \frac {d\phi} {d\tau},$$ ...
3
votes
1answer
81 views

Question about simple permutation of covariant derivatives

I must to compute value $$ [[D_{\mu}, D_{\nu}],D_{\lambda}]A^{\rho}. $$ It is equal to $$ [D_{\mu}, D_{\nu}]D_{\lambda}A^{\rho} - D_{\lambda} ([D_{\mu}, D_{\nu}]])A^{\rho} - [D_{\mu}, ...
3
votes
1answer
126 views

Twist of null Killing fields

I have a (hopefully) quick question: is it possible to have a null Killing field $\xi ^ \mu$ such that the twist 1-form $\omega_{\mu} = \epsilon_{\mu\nu\alpha\beta}\xi^\nu \nabla^\alpha \xi^\beta \neq ...
3
votes
2answers
284 views

Restriction of a Lagrangian

I'm wondering if anyone could help me with the following questions. Let $M$ be the Minkowski spacetime, given $f\in C^{\infty}(M) ; f(m)=x^{0}(m)$, with $\{x^{\mu}\}$ being a global Cartesian ...
3
votes
2answers
112 views

5D Ricci Curvature

As part of a hw problem for a class, we're supposed to be deriving the equivalence given in equation 2.3 of this paper http://arxiv.org/abs/1107.5563. I was wondering if there is some special ...
3
votes
1answer
109 views

Energy Functional

I am a graduate student in pure mathematics, during my study on Ricci Flow I faced some functional known as energy functional. For example Einstein-Hilbert functional is called an energy functional, ...
3
votes
1answer
625 views

Chern number in condensed matter physics

In mathematics, the Chern number is defined in terms of the Chern class of a manifold. What is the exact definition of Chern number in condensed matter physics, i.e. quantum hall system?
3
votes
1answer
128 views

An issue about the compactness and the existence of CTCs

There is a well known fact that a compact spacetime necessarily contains a closed timelike curve (CTC). Proof can be found in several books on GR (e.g. Hawking, Ellis, Proposition 6.4.2), and in ...
3
votes
2answers
2k views

Riemann Tensor Calculation trick(number of element)

When we calculate Riemann Tensor for different curvature we have lots of components. However, there are many components that are zero. How can we argue, based on the symmetry of connection , that ...
3
votes
0answers
47 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
0answers
53 views

Ricci curvature of embedded spacetime

If I am not mistaken, there is a theorem which states that every Riemannian manifold can be embedded in the $n$-dimensional Euclidean space for some large-enough $n$. Does it also hold for ...
3
votes
0answers
67 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
36 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
49 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
90 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
106 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
98 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
82 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
159 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
393 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
135 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
122 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
85 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
191 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
362 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
1answer
553 views

Difference between $\partial$ and $\nabla$ in general relativity

I read a lot in Road to Reality, so I think I might use some general relativity terms where I should only special ones. In our lectures we just had $\partial_\mu$ which would have the plain partial ...
2
votes
1answer
135 views

Question from Schutz's

In q. 22 in page 141, I am asked to show that if $U^{\alpha}\nabla_{\alpha} V^{\beta} = W^{\beta}$, then $U^{\alpha}\nabla_{\alpha}V_{\beta}=W_{\beta}$. Here's what I have done: $V_{\beta}=g_{\beta ...
2
votes
1answer
148 views

Two definitions of Riemann curvature tensor

I am relatively used to the coordinate free expression of the Riemann tensor: $$ R(X, Y)Z=\nabla_X\nabla_Y Z - \nabla_Y\nabla_X Z - \nabla_{[X, Y]} Z, $$ where $\nabla$ is the Levi-Civita connection ...
2
votes
3answers
411 views

D'Alembertian for a scalar field

I have read that the D'Alembertian for a scalar field is $$ \Box = g^{\nu\mu}\nabla_\nu\nabla_\mu = \frac{1}{\sqrt{-g}}\partial_\mu (\sqrt{-g}\partial^\mu). $$ Exactly when is this correct? Only for ...
2
votes
2answers
196 views

Bracket Notation on Tensor Indices

I know about the () symmetrisation and [] anti-symmetrisation brackets on tensor indices so long as they appear on their own, such as : $$V_{[\alpha \beta ]}=\frac{1}{2}\left ( V_{\alpha \beta ...
2
votes
1answer
201 views

How to properly construct the electromagnetic tensor in curved space-time?

How do I properly construct the electromagnetic tensor in curved space-time? I have my curved spacetime metric $(+,-,-,-)$ and my magnetic vector potential $A$. I tried two ways but not sure which is ...
2
votes
1answer
114 views

Is the scalar curvature of the Schwarzschild solution 0?

The Schwarzschild solution is meant to be a solution of the vacuum Einstein equations. That is $$R_{\mu\nu}=0.$$ So, the Ricci tensor must be null for $r>0$. Now, if the scalar curvature is ...
2
votes
1answer
191 views

Shape of volume element in curvilinear system?

I have always pictured volume element as a small cuboid in with volume $dx dy dz$. however in curvilinear system, how would the shape of this volume element be? I mean in spherical polar coordinate ...
2
votes
1answer
99 views

Are diffeomorphisms a proper subgroup of conformal transformations?

The title sums it pretty much. Are all diffeomorphism transformations also conformal transformations? If the answer is that they are not, what are called the set of diffeomorphisms that are not ...
2
votes
4answers
183 views

GR matter-free equations and Schwarzschild geometry

I am reading some lecture notes on General relativity (undergraduate level) and I do not understand a sequence of statements about the topics in the title. After stating that the for matter-free ...
2
votes
2answers
54 views

Show that two families of curves are orthogonal (without using orthogonal trajectories)

I'm reading through Hartle's General Relativity and came across this question: Consider the following coordinate transformation from rectangular coordinates $(x,y)$, labeling points in the plane ...
2
votes
1answer
177 views

The Spin Connection

Why do we need to introduce the spin connection coefficients $\omega_{\mu \space \space b}^{\space \space a} $ in General Relativity? To me, they just look (mathematically) like the Christoffel ...
2
votes
1answer
205 views

Derivative of quantities with internal indices

In the context of the 3 + 1 decomposition of spacetime needed for a Hamiltionian formulation of general relativity, quantities with so called internal indices are introduced (in the book I am reading ...