Recognizing flag varieties and reductive groups

Abstract

Fix a flat and projective morphism $X\to \hat{I}\pounds$ of schemes. We show, first, that any set of ${\mathbb{P}}^1$-fibrations on $X$ defines a set of simple roots, a set of simple coroots and a Cartan matrix $C$. Second, $X$ is an étale $F$-bundle over some projective $\hat{I}\pounds$-scheme, where $F$ is the flag variety of the adjoint Chevalley group over the integers defined by $C$. In particular, if the simple roots generate the Néron--Severi group of $X$ relative to $\hat{I}\pounds$ and $X$ is cohomologically flat in degree zero over $\hat{I}\pounds$ then $X$ is a form of $F$. When $X$ is a smooth Fano variety over the complex numbers all of whose extremal rays are accounted for by these fibrations this is due to Occhetta, Solá-Conde, Watanabe and Wiśniewski. Third, we recover, in a uniform way, the isomorphism and isogeny theorems of Chevalley and Demazure: over any base a pinned reductive group is determined by its pinned root datum, and a $p$-morphism of pinned root data determines a unique homomorphism of the corresponding groups.

Details added to the proof of Th. 6.2, typo corrected in the proof of Th. 6.8