Лоренцево многообразие с группой конформных преобразований, обладающей нормальной однопараметрической подгруппой гомотетий

Доказана следующая
Теорема. Пусть $(M,g)$ – различающее пространство-время, а $G$ – группа конформных преобразований, действующая транзитивно на нем. Предположим, что $G$ содержит нормальную однопараметрическую подгруппу гомотетий $\Phi$, действующую без неподвижных точек, и $\Phi$ имеет хотя бы одну неизотропную орбиту. Тогда существует такая функция $f\colon M\to R^+$, что для многообразия $(M,h)$, $h=f\cdot g$, группа $\Phi$ будет группой изометрий, а $G$ – группой гомотетий.
Библиогр. 7.