THE GEOMETRY OF BLUEPRINTS PART II: TITS–WEYL MODELS OF ALGEBRAIC GROUPS

This paper is dedicated to a problem raised by Jacquet Tits in 1956: the Weyl group of a Chevalley group should find an interpretation as a group over what is nowadays called $\mathbb{F}_{1}$, the field with one element. Based on Part I of The geometry of blueprints, we introduce the class of Tits morphisms between blue schemes. The resulting Tits category$\text{Sch}_{{\mathcal{T}}}$ comes together with a base extension to (semiring) schemes and the so-called Weyl extension to sets. We prove for ${\mathcal{G}}$ in a wide class of Chevalley groups—which includes the special and general linear groups, symplectic and special orthogonal groups, and all types of adjoint groups—that a linear representation of ${\mathcal{G}}$ defines a model $G$ in $\text{Sch}_{{\mathcal{T}}}$ whose Weyl extension is the Weyl group $W$ of ${\mathcal{G}}$. We call such models Tits–Weyl models. The potential of Tits–Weyl models lies in (a) their intrinsic definition that is given by a linear representation; (b) the (yet to be formulated) unified approach towards thick and thin geometries; and (c) the extension of a Chevalley group to a functor on blueprints, which makes it, in particular, possible to consider Chevalley groups over semirings. This opens applications to idempotent analysis and tropical geometry.

𝔽ζ-geometry, Tate motives, and the Habiro ring

In this paper, we propose different notions of 𝔽ζ-geometry, for ζ a root of unity, generalizing notions of 𝔽1-geometry (geometry over the "field with one element") based on the behavior of the counting functions of points over finite fields, the Grothendieck class, and the notion of torification. We relate 𝔽ζ-geometry to formal roots of Tate motives, and to functions in the Habiro ring, seen as counting functions of certain ind-varieties. We investigate the existence of 𝔽ζ-structures in examples arising from general linear groups, matrix equations over finite fields, and some quantum modular forms.

Au-dessous de Specℤ

In this article we use the theories of relative algebraic geometry and of homotopical algebraic geometry (cf. [HAGII]) to construct some categories of schemes defined under Specℤ. We define the categories of ℕ-schemes, 1-schemes, -schemes, +-schemes and 1-schemes, where (from an intuitive point of view) ℕ is the semi-ring of natural numbers, 1 is the field with one element, is the ring spectra of integers, + is the semi-ring spectra of natural numbers and 1 is the ring spectra with one element. These categories of schemes are linked together by base change functors, and all of them have a base change functor to the category of ℤ-schemes. We show that the linear group Gln and the toric varieties can be defined as objects in these categories.