On G-birational rigidity of projective spaces

Abstract

In this paper, we study finite subgroups $G\subset\mathrm{Aut}(\mathbb{P}^n)$ such that $\mathbb{P}^n$ is $G$-birationally rigid. For each $n\geqslant 3$, we prove that $\mathrm{Aut}(\mathbb{P}^n)$ contains at most finitely many such subgroups up to conjugation. For $n=4,5,7$, we prove that $\mathbb{P}^n$ is $G$-birationally superrigid if $G$ is a primitive subgroup isomorphic to $\mathrm{PSp}_{4}(\mathbf{F}_3)$, $\mathrm{PSU}_4(\mathbf{F}_3)\rtimes\boldsymbol{\mu}_2$, $\mathrm{O}_8^+(\mathbf{F}_2)\rtimes \boldsymbol{\mu}_2$, respectively.