Algebraic groups over the field with one element (Q431252)

In 1957, Jacques Tits asked whether there existed a ``field with one element'' \({\mathbb F}_1\) such that every split reductive group \(G\) over \(\mathbb Z\) is defined over \({\mathbb F}_1\) and \(G({\mathbb F}_1)\) equals the Weyl group of \(G\). Many people have provided different approaches to this problem, but up to the current paper, they failed to produce group objects over \({\mathbb F}_1\). In this paper, the author takes up the definition of schemes over \({\mathbb F}_1\) given by \textit{A. Connes} and \textit{C. Consani} [Compos. Math. 146, No. 6, 1383--1415 (2010; Zbl 1201.14001)] and he enlarges the class of morphisms considerably to arrive at a category which is flexible enough to contain a group object for a given \(G\), which base changes to \(G\) and satisfies Tits's postulate.