Stacky Buildings

We introduce structures which model quotients of buildings by type-preserving group actions. These structures, which we call W-groupoids for W a Coxeter group, generalize Bruhat decompositions, chambers systems of type M, Tits amalgams, and buildings themselves. We define the fundamental group of a W-groupoid, and characterize buildings as connected simply connected W-groupoids. We give a brief outline of covering theory of W-groupoids, which produces buildings as universal covers equipped with an action of the fundamental group. The local-to-global theorem of Tits concerning spherical 3-resides allows for the construction of W-groupoids by amalgamating quotients of generalized polygons along groupoids. In this way, W-groupoids provide a powerful way to construct (lattices in) exotic, hyperbolic, and wild buildings.