Recognizing flag varieties and reductive groups
Abstract
Fix a flat and projective morphism of schemes. We show, first, that any set of -fibrations on defines a set of simple roots, a set of simple coroots and a Cartan matrix . Second, is an \'etale -bundle over some projective -scheme, where is the flag variety of the adjoint Chevalley group over the integers defined by . In particular, if the simple roots generate the N\'eron--Severi group of relative to and is cohomologically flat in degree zero over then is a form of . When 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\'a-Conde, Watanabe and Wi\'sniewski. 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 -morphism of pinned root data determines a unique homomorphism of the corresponding groups.
Cite
@article{arxiv.2509.03504,
title = {Recognizing flag varieties and reductive groups},
author = {I. Grojnowski and N. I. Shepherd-Barron},
journal= {arXiv preprint arXiv:2509.03504},
year = {2025}
}
Comments
Details added to the proof of Th. 6.2, typo corrected in the proof of Th. 6.8