В конце концов, люди во вселенной сериала Грега Игана «Ортогональные» выясняют топологию своего космоса.
Они решают, что это не может быть 4-тор, потому что кривизна должна быть положительной везде. Следовательно, это должна быть 4-сфера.
Но потом говорят обратное, что
кривизна во многих местах будет отрицательной
из-за присутствия материи. Так что дает?
Кроме того, почему кривизна не может быть везде отрицательной, что приводит к гиперболической Вселенной?
Они понимают, что если бы их Вселенная была 4-торной, это привело бы к дополнительным модам для энергии фермионного вакуума, что привело бы к общей отрицательной плотности энергии (энергия фермионного вакуума отрицательна), что во вселенной такого типа потребовало бы пространства, чтобы быть положительно изогнуты везде. Но у вас не может быть пространства с топологией 4-тора, которое везде положительно искривлено. Итак, они пришли к выводу, что вселенная, являющаяся 4-тором, противоречива сама по себе.
Однако ...
Им также давно известно, что Вселенная должна быть конечной во всех направлениях, чтобы избежать экспоненциально растущих решений волнового уравнения. Таким образом, простейшая топология, альтернативная 4-тору, — это 4-сфера. В этом случае топология не имеет дополнительных фермионных мод, а общая энергия вакуума положительна, что в такой вселенной требует, чтобы пространство было искривлено отрицательно.
Так ...
Дело не в том, что они заключают, что кривизна на самом деле везде положительна , и, следовательно, Вселенная не может быть 4-тором. Дело в том, что они видят, почему 4-тор подразумевает положительную кривизну и в то же время исключается положительной кривизной, что исключает всю возможность.
Ты спрашиваешь:
Кроме того, почему кривизна не может быть везде отрицательной, что приводит к гиперболической Вселенной?
Эта вселенная...
не может быть бесконечной гиперболической вселенной, что обычно подразумевается под этой фразой. Однако вы можете иметь конечную вселенную с топологией 4-сферы, но с отрицательной кривизной. Это просто не может быть однородной отрицательной кривизной, она должна меняться по величине от места к месту.
Подробнее на http://www.gregegan.net/ORTHOGONAL/06/GRExtra.html .
Адамант
Адамант