Эквивариантная унирациональность поверхностей дель Пеццо степеней 3 и 4 (по работе А. Дункана)

Многообразие $X$ с эффективным действием конечной группы $G$ называется $G$-унирациональным, если для некоторого линейного представления $G$ на пространстве $V$ существует $G$-эквивариантное доминантное рациональное отображение $V \dashrightarrow X$. Мы докажем критерий $G$-унирациональности для поверхностей дель Пеццо степени 3 и выше.