Questions tagged [differential-geometry]

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

Filter by
Sorted by
Tagged with
0 votes
1 answer
43 views

Conserved quantities with charge and Killing's vectors

I'm trying to solve the following problem: A particle with electric charge e moves with 4-velocity $U_{\alpha}$ in a spacetime with metric $g_{αβ}$ in the presence of a vector potential $A_µ$. The ...
1 vote
1 answer
47 views

Conformal covariant derivative of a scalar

Suppose that I have a metric $g_{ij}$ with covariant derivative $\nabla_{j}$ and another metric, $\gamma_{ij}$, with covariant derivative $D_{j}$ that is conformally related to $g_{ij}$ as $\gamma_{ij}...
  • 115
0 votes
1 answer
75 views

Problem with understanding contravariant component transform

I am reading Susskinds book General Relativity: The theoretical minimum and I got a bit stuck on the transformation rule of contravariant components. The book defines the components of a vector $(V^{’}...
2 votes
1 answer
47 views

Nambu-Goto action and the World-Sheet Area

I am studying string theory from the book "String theory and M-theory", written by Becker, Becker and Schwartz. My question is: We are told that the Nambu-Goto action is simply the one that ...
  • 2,930
0 votes
1 answer
69 views

Metric Tensor times its inverse (non-zero curvature)

so I am quite confused regarding the spatial metric tensor $g_{ij}$. If I have $g_{ij}g^{ij}$ I essentially get the trace of the metric tensor $g$ right? Or, do I get $\delta^i_i = 3$ instead? The ...
  • 1
3 votes
1 answer
120 views

Confusion regarding Riemann Tensor and Ricci Tensor

Ricci Tensor is the contraction of the Riemann Tensor. Even if all the components of the Ricci Tensor is zero, that doesn't mean that the spacetime is flat. If all the components of the Riemann Tensor ...
1 vote
0 answers
45 views

How to transform a partial derivative to a directional derivative with respect to some affine parameter?

Suppose an affine parameter $\lambda$ is defined along a null geodesic with $dx^\mu/d\lambda=k^\mu$. How could I write the partial derivative $\partial f/\partial x^\mu$ by using $df/d\lambda$? If $k^\...
4 votes
2 answers
149 views

Lie group generators - exponential map

In the framework of Quantum Physics, I have to explain to some of my colleagues what is a Lie group, a Lie algebra and their connections with the exponential map. This is mainly to make them ...
  • 51
0 votes
1 answer
44 views

How can I calculate the solid angle of a planet? [closed]

I've read several articles about solid angles recently and have one question now. They can be calculating by using the following formula: $\Omega = \frac{A}{r²}$ A stand for the area and r for the ...
1 vote
0 answers
127 views
+50

HaMiDeW coefficients - recursive calculation of the coincidence limits

In his book Aspects of Quantum Field Theory in Curved Spacetime Stephen Fulling calculates the coincidence limit $[a_1]$ and gives an idea of how $[a_n]$ with $2 ≤ n$ can be found recursively. Since ...
0 votes
0 answers
59 views

What is the $r$ coordinate in a $\mathbb{S}^3$ FLRW spactime?

I'm having trouble understanding what the $r$ reduced-circumference coordinate really is in a 3-sphere $\mathbb{S}^3$ context. Let's start with the unit 3-sphere metric in hyperspherical $(\psi, \...
  • 183
1 vote
1 answer
77 views

About Lorentz transformations

Is this definition of Lorentz transformations correct? Consider 3+1 dimensional space-time manifold $M$. Let $v,u$ are two vectors of the vector bundle and $g$ be a metric on $M$. Now we can define ...
  • 308
0 votes
1 answer
75 views

What diffeomorphism does the Hamiltonian constraint generate?

Consider the Hamiltonian constraint $\mathcal H(x)$ in the ADM formalism. What diffeomorphism does this generate?
  • 357
0 votes
0 answers
103 views

Partial derivative of Christoffel symbols

I have faced one issue regarding the partial derivative of the Christoffel symbols. $\Gamma$'s themselves are not tensors. But if we take the difference between two $\Gamma$'s at the same point, then ...
0 votes
0 answers
71 views

Lie algebra of a Lie group

I'm going through some notes on group theory for physics. After introducing the concept of Lie group and Lie algebra the writer makes the connection between the two. Let $G$ be a Lie group of ...
  • 105
3 votes
1 answer
88 views

Relation between Lorentz transformations in QFT and GR [duplicate]

I often have difficulty expressing certain doubts because I am not (not even my self, yes) fully aware of what's going on that bothers me, so forgive me if the question isn't the clearest. I noticed ...
1 vote
1 answer
67 views

Christoffel symbol and partial derivative of the metric

It may seem like a dumb question but I'm trying to solve a problem involving coordinate transformations on the Christoffel symbol and to solve it they do the product rule $$\partial_\alpha g_{\beta ' \...
0 votes
0 answers
19 views

Berry curvature in cartesian coordinates

I am trying to find the Berry curvature in Cartesian coordinates for the spin-1/2 Hamiltonian given by \begin{equation} \hat{H} = \sum_{i}d_i \hat\sigma_i \end{equation} Where $\mathbf{d} = \mathbf{d(...
-2 votes
1 answer
31 views

In the fibre bundle description of gauge theories, what is actually the difference between dimension of spacetime and dimensionality of the bundle? [closed]

Please pardon me if my words are not rigorous mathematically, but I hope you understand what i mean. In the fibre bundle description of gauge theories, what is actually the difference between ...
  • 151
0 votes
1 answer
20 views

Dipolar field in terms of demag. tensor

Assuming a potential as $$\Phi=\frac{1}{4\pi}\oint_S \frac{\vec M(\vec r')\cdot\hat n}{|\vec r - \vec r'|}da' \tag{1}\label{1}$$ where the integral can be written as $$\int_V \nabla' \left(\frac{\vec ...
  • 1
2 votes
0 answers
97 views

The Poisson bracket for a Dirac field on an Eddington-Finkelstein background metric

I am interested in deriving the anti-commutation relations of a Dirac field for a $(1+1)$D Eddington-Finkelstein metric given by $$ ds^2 = f(r) dt^2 - 2 dt dr, \quad f(r) = 1 - \frac{r_s}{r}.$$ where $...
9 votes
1 answer
295 views

Inverse of the covariant derivative

Given the covariant derivative of some tensor, for the sake of this example a covariant vector: $$\nabla_\mu A_\nu$$ Is there a well-defined inverse operation on the covariant derivative such that it ...
  • 601
0 votes
0 answers
18 views

Does Curved Edge exist for a smooth infinitely long right circular Cylinder? [migrated]

This question is in the continuation of this question. As it is cleared from the comments of the respective question that an infinitely long cylinder which is also a right circular, is a smooth $3$D ...
  • 101
0 votes
1 answer
81 views

Vector and dual vector in Newman-Penrose formalism

I am confused about the vector and dual vector in the tetrad formalism. Start from Schwarzschild metric $$\mathrm{d} s^2=\left(1-\frac{2m}{r}\right)dt^2 - \left(1-\frac{2m}{r}\right)^{-1}\mathrm{d} r^...
  • 377
1 vote
1 answer
55 views

Why does $(\partial_\mu g(x))g(x)^{-1} \in T_e G$?

I'm reading Folland's book about QFT and at chapter nine he states: How must the Lagrangian be modified in order to remain invariant under this larger group of transformations? As before, the point ...
  • 317
0 votes
0 answers
21 views

Misner space in Hawking & Ellis book

I am studying the Taub-NUT space presented on page 170, of Hawking & Ellis' book "The large scale structure of the universe". There are some aspects that are not clear to me about the ...
  • 452
0 votes
1 answer
46 views

What is the three-parameter family of time translation Killing field in Minkowski spacetime?

In section 5.1 of Wald's Quantum Field Theory in Curved Spacetime and Black Hole Thermodynamics, there are two paragraphs before the discussion of Unruh effect as follows. Let us reconsider the ...
  • 21
-1 votes
1 answer
82 views

How to get rid of the affine parameter in geodesic equation?

I encounter a problem that require me to calculate the geodesic of $$ds^2=\frac{dx^2+dz^2}{z^2}$$ with the endpoint $(x_L,0),(x_R,0)$. I get the answer $\ddot{x}-\frac{\dot{x}\dot{z}}{z}=0$ and $\...
  • 29
0 votes
1 answer
82 views

Combining two spacetimes of different curvature

This is based on a question by someone else on this site: Combining metric tensors/curvature tensors They asked: Consider a particle which causes a metric $g_{\mu\nu}$ on an otherwise Minkowski ...
  • 601
0 votes
2 answers
119 views

How to determine the electric and magnetic fields from $*F=q\sin \theta d\theta \wedge d\phi$?

I have the 2-form $*F=q\sin \theta d\theta \wedge d\phi$, how can I determine the eletric and magnetic fields from that? I have tried wrtting F in the vector potential form for them finding the ...
0 votes
0 answers
64 views

What did happened with the 2 in equation (3.82) to (3.83)?

I have tried to do the same computing by the definition of the Christoffel symbols by the metric and the result is the same that the image, but i don understand what occur with the number 2. Why did ...
2 votes
0 answers
31 views

How to derive the energy tensor invariantly?

On a (pseudo-)Riemannian manifold $(M, g)$ I can define the following action for any $\phi \in C ^{\infty}(M)$: $$ \mathcal{S}(\phi) = \int_M g(\text{grad }\phi, \text{grad }\phi) \mathrm{d} V. $$ ...
  • 133
0 votes
2 answers
174 views

Gravity from a reduction of the structure group of a frame bundle $FX$ to a Lorentz group $SO(1,3)$

According to https://en.wikipedia.org/wiki/World_manifold, gravity can be understood as follows: In accordance with the geometric Equivalence Principle, a world manifold possesses a Lorentzian ...
5 votes
2 answers
119 views

Is Newton-Cartan theory really equivalent to Newton's theory of gravity?

It is often said that Newton-Cartan theory is a reformulation or perhaps a generalization of Newton's theory of gravity, and it is said that (given certain conditions/assumptions) the two theories are ...
4 votes
0 answers
40 views

Mermin-Wagner theorem for curved spaces?

i'm searching for the Mermin-Wagner theorem formulation for negative curvature surfaces. Something like that exist?
4 votes
2 answers
343 views

How do I understand the Hodge $⋆$ operator in Yang-Mills Lagrangian?

The gauge-invariant part in Yang-Mills Lagrangian is $$ \mathcal{L}_{\text{gauge}} = -\frac{1}{2}TrF_{\mu\nu}F^{\mu\nu} = -\frac{1}{4}F_{\mu\nu}^aF^{a, \mu\nu}. $$ Sometimes I see the lagrangian ...
  • 1,305
0 votes
1 answer
48 views

Non-surjective coordinate transformation

Is coordinated transformation which is not surjective (so it's inverse remove some region on spacetime) allowed in general relativity?
  • 1,628
0 votes
0 answers
37 views

Classification of Penrose Diagrams

I am new to the concept of Penrose Diagrams and I am curious, does there exist a classification of Penrose Diagrams? Maybe simply the conformal diagram is the manifold mod the group action, $M/SO(3)$ (...
2 votes
2 answers
169 views

Is there a natural coordinate system in general relativity?

After reviewing some different coordinates systems that describe Schwarzschild spacetime (such as Gullstrand–Painlevé coordinates) it seems like we can always make a coordinates transformation very ...
  • 1,628
4 votes
0 answers
233 views

How to derive connection Lie algebra valued one-form on the frame bundle if given the pulled back of it on the physical space?

I am following this YouTube lecture by Schuller where he finds the appropriate formalism for the quantum mechanics in the physical curved space. Everything makes sense to me but at the very end I see ...
2 votes
0 answers
38 views

Derive Laplacian in polar coordinates using covariant derivative [migrated]

In cartesian coordinates since the metric components $g^{ab}$ are constant, we know that $\partial_c = \nabla_c$ where the RHS is the covariant derivative. So we can write the laplacian in cartesian ...
  • 123
0 votes
0 answers
37 views

Parallelism in General Relativity

I have a small technical question. When two 4-vector fields $A^{\mu}$ and $B^{\mu}$ are said to be parallel in the context of general relativity, do we mean that $A^{\mu}=\alpha(x^{\nu})B^{\mu}$ where ...
  • 116
0 votes
1 answer
96 views

Notational meaning of $\nabla_{\lambda}V^{\rho}$ and $\nabla_{\mu}\nabla_{\nu}V^{\rho}$

This question is related to Reconciling different expressions for Riemann curvature tensor, but it's different since it asks for some notational clarification arising out of calculations I did. To not ...
0 votes
1 answer
51 views

Understanding how the geometric understanding of SR comes from its classic postulates

My background is in mathematics, and I am well versed in differential geometry and general relativity. I have not, however, studied special relativity as much, and frankly view Minkowski space as a ...
0 votes
0 answers
81 views

What's the geometrical meaning of the Einstein Tensor? [duplicate]

What is the geometrical meaning of the Einstein tensor $G_{\mu \nu}$ ? I know the field equations and all of that standard stuff. I know that the tensor $R = g^{\mu \nu}R_{\mu \nu}$ quantifies the ...
0 votes
0 answers
33 views

Simplest way to see that the Euler density is topological

I’m looking for a simple way to see that the integrated Euler density $\sqrt{g} \, E_{2n}$ is topological (i.e. metric-independent in general even dimension $2n$). I can see it it must be true in two ...
  • 43
0 votes
1 answer
49 views

Sorts of relativistic effect around black holes [closed]

There are many effects around black holes. In particular it is possible to study the motion of geodesics, calculate tidal tensors, lense-thirring effetcs and so on. So, beyond tidal effects, geodesic ...
1 vote
0 answers
109 views

Calculations with tensors give two different results from seemingly equivalent paths:

$\require{cancel}$ I want to calculate some operators in the context of Metric-Affine-Gravity: specifically spinors. I will work in tangent space, where all greek ($\mu,\nu,..$) indices are cast into ...
0 votes
1 answer
59 views

Exterior derivatives Leibniz rule

I want to prove Sean Carroll's "spacetime and geometry"'s eq.(2.78): $$ \mathrm{d}(\omega \wedge \eta)=(\mathrm{d} \omega) \wedge \eta+(-1)^p \omega \wedge(\mathrm{d} \eta) \tag{2.78} $$ ...
  • 1,133
5 votes
2 answers
546 views

On finding geodesics in general relativity

In the following, as usual, a spacetime is a pseudo-Riemannian manifold $M$ with metric $g$ compatible with the Levi-Civita connection $\nabla$. If an affinely-parametrized curve is a geodesic, then ...

1
2 3 4 5
77