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
65 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
129 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
93 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
169 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
131 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
411 views

Lie derivative of Riemann tensor along killing vector ( = 0 )

I'm currently learning the mathematical framework for General Relativity, and I'm trying to prove that the Lie derivative of the Riemann curvature tensor is zero along a killing vector. With the ...
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
123 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
110 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
108 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
619 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
127 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
1answer
35 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
0answers
61 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
35 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
84 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
103 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
150 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
382 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
131 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
121 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
360 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
4answers
99 views

What is the motivation for the definition of a manifold?

In Wald's General Relativity, an $n$-dimensional $C^{\infty}$ manifold $\mathit{M}$ is defined as a set, with subsets $\lbrace{O}_{\alpha}\rbrace$, which satisfies 3 properties. In particular, the ...
2
votes
1answer
537 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
134 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
145 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
387 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
185 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
194 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
99 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
190 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
97 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
180 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
51 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
165 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
203 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 ...
2
votes
3answers
81 views

Configuration manifolds and constraints

In Classical Mechanics there's this notion of configuration manifold. Although I've heard about that a lot and although I often use that concept, I'm not sure I really understand them well because ...
2
votes
2answers
121 views

Time-like Killing vector in FRW metric?

The spatially flat FRW metric in cartesian co-ordinates is given by: $$ds^2 = -dt^2 + a^2(t)(dx^2 + dy^2 + dz^2)$$ As I understand it there are Killing vectors in the $x$, $y$, $z$ directions implying ...
2
votes
2answers
67 views

Orthogonality in curved space/spacetime

When are two vectors orthogonal in curved spacetime? From wikipedia: "In 2-D or higher-dimensional Euclidean space, two vectors are orthogonal if and only if their dot product is zero, i.e. they ...
2
votes
1answer
57 views

de Rham Cohomology of Schwarzschild Manifold

Let $C^p(M)$ denote the group of closed $p$-forms on the manifold $M$, and $Z^p(M)$ the group of all exact $p$-forms on the manifold $M$. The de Rham cohomology is given by the quotient, ...
2
votes
1answer
66 views

Killing vector contractions along isometric curves

Imagine $\xi_{\nu}$ is a Killing vector field on a manifold. Does $\xi_{\nu}\xi^{\nu}$ remain constant along any isometric curve defined by the Killing vector field? My guess is that yes since as ...