3-folds with two \({\mathbb{P}}^ 1\)-bundle structures (Q805698)

We say that a smooth projective 3-fold X over an algebraically closed field k has two \({\mathbb{P}}_ 1\)-bundle structures, if there are two morphisms to projective, surfaces \(X\to S\) and \(X\to T\) being locally trivial in the étale topology, such that the image of the induced morphism \(X\to S\times T\) is of dimension three. If the characteristic of k is zero, the author proved in a previous paper [J. Math. Kyoto Univ. 25, 445-457 (1985; Zbl 0587.14003)] that such a 3-fold X must be one of the following: (1) \(S\times_ CT\) where S, T are \({\mathbb{P}}_ 1\)-bundles over a smooth curve C, or (2) \({\mathbb{P}}(\theta_{{\mathbb{P}}^ 2})\) where \(\theta_{{\mathbb{P}}^ 2}\) is the tangent bundle over \({\mathbb{P}}_ 2.\) In the present paper he proves the same fact in the case of positive characteristic. To adopt his characteristic zero proof he has to cope with the fact that in positive characteristic a surface dominated by a geometrically ruled surface is itself ruled (in general) only if the dominating morphism is separable. He shows that S and T are ruled, if \(H^ 0(X,S^ m(\bigwedge^ 2\Omega_ X))=0\) for every positive integer m. Using this criterion he succeeds in proving the theorem.