Topology on manifold and metric

paweld
Messages
253
Reaction score
0
Is there any relation between topology on manifold (which comes from
\mathbb{R}^n) and topology induced form metric in case
of Remanian manifold. What if we consider pseudoremaninan manifold.
 
Physics news on Phys.org
The Riemannian (or semi-Riemannian) metric doesn't directly induce a topology on the manifold itself, because it's an inner product on each of the tangent spaces, i.e. a norm TpM cross TpM -> R. Having said that, there is a natural topology inherited from the metric geodesics on a Riemannian manifold, where the distance between two points is the length of the shortest geodesic between them. This topology does turn out to be the same as the standard one.

-Matt
 
Last edited:
dodelson said:
Having said that, there is a natural topology inherited from the metric geodesics on a Riemannian manifold, where the distance between two points is the length of the shortest geodesic between them. This topology does turn out to be the same as the standard one.
When Penrose applied topology in GR to prove some singularity theorems, wasn't this referring to the topology of the metric on the manifold and not the topology of the manifold itself?

I may be greatly misusing words, so please even just restate definitions if I'm misunderstanding on a really basic level. But I basically considered Penrose and Hawking talking about the "causal topology" (I'm not sure what to call it), ie the connection of what events can in principle affect other events. This seems like something the manifold cannot have on its own. This is a topology "of the metric"?

At the very least, when people refer to topological arguments in GR, they usually aren't referring to just the topology of the manifold, correct?
 
Last edited:
I don't think you're misusing words, it's just that the word topology is used for lots of different things. It seemed to me that the OP was asking about the point-set topology of the manifold. This means that we need to determine which subsets can be considered open. Since a manifold is locally Euclidean, the most natural thing to do is to just give it the open sets of Euclidean space. Penrose and Hawking do this as well.

The singularity theorems deal with a different kind of topology, the causal structure of the manifold. You're right; this can only be determined from the metric. For instance, we can define the causal past J-(S) of a set S as all points that can send out causal, or nowhere spacelike, curves to S. This depends on the metric, as being spacelike is a property of the norm of a tangent vector.

A third kind of topology that people consider is the global topology of a manifold, like how many holes it has or what its (co)homology and homotopy groups look like. This is still done using the standard open sets inherited from Rn.

-Matt
 
dodelson said:
The singularity theorems deal with a different kind of topology, the causal structure of the manifold. You're right; this can only be determined from the metric.
Can we define topology induced from Lorentz metric? (metric needs to be
positive definite in order to induce a topology)
 
In Philippe G. Ciarlet's book 'An introduction to differential geometry', He gives the integrability conditions of the differential equations like this: $$ \partial_{i} F_{lj}=L^p_{ij} F_{lp},\,\,\,F_{ij}(x_0)=F^0_{ij}. $$ The integrability conditions for the existence of a global solution ##F_{lj}## is: $$ R^i_{jkl}\equiv\partial_k L^i_{jl}-\partial_l L^i_{jk}+L^h_{jl} L^i_{hk}-L^h_{jk} L^i_{hl}=0 $$ Then from the equation: $$\nabla_b e_a= \Gamma^c_{ab} e_c$$ Using cartesian basis ## e_I...
Thread 'Dirac's integral for the energy-momentum of the gravitational field'
See Dirac's brief treatment of the energy-momentum pseudo-tensor in the attached picture. Dirac is presumably integrating eq. (31.2) over the 4D "hypercylinder" defined by ##T_1 \le x^0 \le T_2## and ##\mathbf{|x|} \le R##, where ##R## is sufficiently large to include all the matter-energy fields in the system. Then \begin{align} 0 &= \int_V \left[ ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g}\, \right]_{,\nu} d^4 x = \int_{\partial V} ({t_\mu}^\nu + T_\mu^\nu)\sqrt{-g} \, dS_\nu \nonumber\\ &= \left(...
Abstract The gravitational-wave signal GW250114 was observed by the two LIGO detectors with a network matched-filter signal-to-noise ratio of 80. The signal was emitted by the coalescence of two black holes with near-equal masses ## m_1=33.6_{-0.8}^{+1.2} M_{⊙} ## and ## m_2=32.2_{-1. 3}^{+0.8} M_{⊙}##, and small spins ##\chi_{1,2}\leq 0.26 ## (90% credibility) and negligible eccentricity ##e⁢\leq 0.03.## Postmerger data excluding the peak region are consistent with the dominant quadrupolar...
Back
Top