Причинная структура левоинвариантных лоренцевых метрик на группе $M_2\otimes\mathbf{R}^2$

Рассматриваемая в данной работе четырехмерная односвязная группа Ли $M$ определяется алгеброй Ли с коммутационным соотношением $[e_4,e_1]=e_1$. Известно, что $M$ является просто транзитивной подгруппой группы движений (пятипараметрической) пространства-времени Гёделя. Задавая в единице группы $M$ лоренцеву форму и разнося ее по $M$ левыми сдвигами, получаем однородное лоренцево пространство.
В работе выделены случаи геодезической полноты, в одном из таких семейств метрик содержится пространство-время Гёделя. В терминах четырех условий причинности с иерархией: однородная глобальная гиперболичность $\Rightarrow$ равномерная устойчивая причинность $\Rightarrow$ причинность $\Rightarrow$ хронологичность – исследована причинная структура всех геодезически полных пространств.
Библиогр. 5.