English

Recognizing flag varieties and reductive groups

Algebraic Geometry 2025-09-15 v2

Abstract

Fix a flat and projective morphism XΣX\rightarrow\Sigma of schemes. We show, first, that any set of P1\mathbb{P}^1-fibrations on XX defines a set of simple roots, a set of simple coroots and a Cartan matrix CC. Second, XX is an \'etale FF-bundle over some projective Σ\Sigma-scheme, where FF is the flag variety of the adjoint Chevalley group over the integers defined by CC. In particular, if the simple roots generate the N\'eron--Severi group of XX relative to Σ\Sigma and XX is cohomologically flat in degree zero over Σ\Sigma then XX is a form of FF. When XX 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 pp-morphism of pinned root data determines a unique homomorphism of the corresponding groups.

Keywords

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