Skip to content

Comment on Map of the observable universeparent

Comments

I'm well aware of what the FLRW metric looks like. That a(t) factor means that the geometry of spacetime is not flat. For a full explanation, see this StackExchange answer: [0].

You're confusing the flatness of a particular 3D hypersurface (of constant coordinate time) with flatness of 4D spacetime. The k parameter describes the curvature of that hypersurface, not the curvature of spacetime.

This is all to say that we don't live in a flat Minkowski spacetime. We live in a curved spacetime, which means that things like distance measures are much less straightforward. The curvature of 3D slices of spacetime is not the primary complication - the overall curvature of 4D spacetime (which involves the scale factor a(t)) is the primary complication.

0. https://physics.stackexchange.com/a/689320

When looking at spatial distances, we usually want to look at spatial coordinates. Note that there are no cross terms with a(t) in the metric, so the expansion factor (which is divided out if you look at the definition of comoving distance) can easily be accounted for. No curvature shenanigans necessary. Ofc that also implies looking at a single cosmological time, that was never disputed as it is also literally part of the definition. This in turn simplifies the whole idea of distances across cosmological scales, which is why it is so commonly used. It might depend on the time you choose, with today's proper distance for example being equal to comoving distance if you could freeze the universe. But you can't really do that, so it makes more sense to talk about comoving than proper distances. All of this is explained pretty well on wikipedia, but if you want you can also take a look at Hartle's or Carroll's textbooks on General Relativity.

When looking at spatial distances, we usually want to look at spatial coordinates.

That's not the case, because most objects we're measuring distances to are not at the same coordinate time as us. In fact, these objects are generally in the past.

If you're trying to measure the distance to an object that you've observed, that object is, in fact, along your past light cone. The only coordinate-invariant distance that one can actually define, the metric distance, is zero. That means you have to define an alternate type of distance. Some of those choices (like the comoving distance) don't depend on a(t), while some do (like the light travel distance).

All of this is explained pretty well on wikipedia, but if you want you can also take a look at Hartle's or Carroll's textbooks on General Relativity.

I prefer Wald, which is much more mathematically rigorous than Carroll. I haven't read Hartle, so I can't comment on it.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.