Recognizing flag varieties and reductive groups

Abstract

Fix a flat and projective morphism $X\rightarrowΣ$ 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 $Σ$-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 $Σ$ and $X$ is cohomologically flat in degree zero over $Σ$ 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.