Nonrational del Pezzo fibrations admitting an action of the Klein simple group (Q253175): Difference between revisions

Let \(X\) be a normal projective variety \(X\) with a faithful action of a finite group \(G\) and let \(f: X\rightarrow S\) be a \(G\)-equivariant projective morphism with connected fibers, where \(S\) is a normal projective variety with a \(G\)-action. The morphism \(f: X\rightarrow S\) is called a \(G\)-Mori fiber space if and only if \(X\) has terminal singularities, every \(G\)-invariant Weil divisor of \(X\) is \(\mathbb{Q}\)-Cartier, \(-K_X\) is \(f\)-ample, \(\dim S < \dim X\) and \(\mathrm{rk} \mathrm{Pic}^G(X)=\mathrm{rk}\mathrm{Pic}^G(S)+1\). In [\textit{H. Ahmadinezhad}, Glasg. Math. J. 59, No. 2, 395--400 (2017; Zbl 1384.14002)], a series of \(G_K\)-Mori fiber spaces \(X_n \rightarrow \mathbb{P}^1\), \(n\geq 0\), have been constructed, where \(G_K\cong \mathrm{PSL}_2(\mathbb{F}_7)\) is the Klein simple group of order 168. For \(n\geq 1\) these are degree two Dell Pezzo fibrations. The main result of this paper is that for \(n \geq 5\), a very general \(X_n\) is not rational. This result has the following implications on the structure of the finite subgroups of the 3-Cremona group \(\mathrm{C}_3(k)\), where \(k\) is an algebraically closed field of characteristic zero. Let \(G\) be a finite subgroup of \(\mathrm{C}_3(k)\). Then according to \textit{Y. Prokhorov} [J. Algebr. Geom. 21, No. 3, 563--600 (2012; Zbl 1257.14011)] there exists a rational Mori fiber space \(X \rightarrow S\) such that \(G\subset \mathrm{Aut}(X)\). According to this result the study of finite subgroups of \(\mathrm{C}_3(k)\) is equivalent to the study of finite groups of automorphisms of rational \(G\)-Mori fiber spaces. It was also conjectured that \(X_n\) is not rational for all \(n \geq 2\) [\textit{H. Ahmadinezhad}, Glasg. Math. J. 59, No. 2, 395--400 (2017; Zbl 1384.14002)] and that \(X_n \rightarrow \mathbb{P}^1\) and \(\mathbb{P}^1\times \mathbb{P}^2 \rightarrow \mathbb{P}^1\) are the only three dimensional \(G_K\)-Mori fiber spaces [\textit{I. Cheltsov} and \textit{C. Shramov}, Transform. Groups 17, No. 2, 303--350 (2012; Zbl 1272.14013)]. If these conjectures are true then the result proved in this paper implies that there is no embedding of \(G_K\) in \(\mathrm{C}_3(k)\) coming from a rational \(G_K\)-Mori fiber space over \(\mathbb{P}^1\) except \(X_n \rightarrow \mathbb{P}^1\), \(n=0,1\), and \(\mathbb{P}^1\times \mathbb{P}^2 \rightarrow \mathbb{P}^1\).