Todd Trimble
Buildings for category theorists

The notion of building, due to Jacques Tits, was invented to give a framework that unites two distinct developments: on the one hand, the structure and geometry of classical Lie groups via their Borel subgroups and maximal tori, and on the other, general forms of synthetic or axiomatic incidence geometry. It ranks as one of the most important concepts in 20th century geometry and group theory.

There are several ways of introducing this concept, none particularly easy. Perhaps the best way to learn about buildings is to play with examples first before embarking on the full-fledged definition which, however one cuts it, involves a certain amount of preface involving the details of Coxeter groups (roughly, symmetry groups generated by reflections). There are a number of good introductory texts available (such as those by Ken Brown and Richard Weiss), each providing several chapters of preparation before giving the actual definition.

I myself began learning about buildings a few years ago through conversation with James Dolan, as part of the larger groupoidification project. Together we developed an alternative way of considering buildings which makes contact with enriched category theory and the theory of quantales, an approach which we felt would be congenial to (or at least readily apprehended by) category theorists. The purpose of these notes is to explain this approach, and tentatively suggest an enriched-category generalization of buildings which might be of interest.

For those who already know something about buildings, we can explain the rough idea as follows. A popular slogan in the so-called “local approach” due to Tits is that a building is like a metric space, except that “distances” between points are measured not by real numbers but by elements in Coxeter groups. To a categorist, this might recall Lawvere’s interpretation of metric spaces as categories enriched in a quantale of extended nonnegative reals, and the question arises whether Tits’s slogan can be similarly interpreted within a quantalic niche. This is indeed the case. To make it come out right, though, one needs to use certain “Coxeter monoids” equipped with a Bruhat ordering – certain quantales attached to a Coxeter diagram – instead of the associated Coxeter groups. (Curiously, there seems to be little mention of these monoids in the literature; they should be better known.) In the end, buildings are certain categories enriched in such Coxeter quantales, satisfying additional isometry conditions which are naturally understood in terms of homomorphisms which preserve both quantale products and internal homs. This forms the basis of a beautiful link between classical geometry and categorical logic.

Examples of buildings: projective planes and projective spaces

A brief rapport of Coxeter diagrams and associated structures

A Coxeter diagram codes the same information as a Coxeter matrix but in easy-to-read form; we’ll start with Coxeter matrices.

such that mij=mjim_{i j} = m_{j i} and mij=1m_{i j} = 1 if and only if i=ji = j.

The associated Coxeter diagram is a labeled simple graph whose set of vertices is II, and where there is an edge between vertices ii and jj (labeled mijm_{i j}) if and only if mij≥3m_{i j} \geq 3. In the literature it is standard to drop the label if mij=3m_{i j} = 3, and to draw instead two edges between ii and jj if mij=4m_{i j} = 4.

The associated so-called Coxeter groupWW is a group presentation whose generators sis_i are in bijection with elements i∈Ii \in I, and whose relations are given by equations

(sisj)mij=1(s_i s_j)^{m_{i j}} = 1

whenever mij<∞m_{i j} \lt \infty.

In particular, (si)2=1(s_i)^2 = 1 for all ii. This also shows that the monoid presented by such equations is a group. It additionally follows that this monoid can be equivalently presented using the same generators and equations

si2=1(1)s_i^2 = 1 \qquad (1)

\,

sisjsi…=sjsisj…(2)s_i s_j s_i \ldots = s_j s_i s_j \ldots \qquad (2)

where each side of (2) is an alternating word of length mijm_{i j}.

An important general fact about Coxeter groups is that equality is decidable: there is an algorithm that decides whether two words in the sis_i are equivalent modulo the relator subgroup. Suppose given a word ww in letters s1,…,sns_1, \ldots, s_n and of length kk; there are nkn^k such words. If ww contains consecutive letters sisis_i s_i, then by relation (1) we may delete those letters to obtain an shorter word which is equivalent to ww. We say the word ww is reducible. If ww is not reducible, we consider all words obtainable from ww in finitely many steps by replacing one side of an equation of type (2) with the other. Such replacements again produce a word of length kk in the letters s1,…,sns_1, \ldots, s_n, and so there are only finitely many words obtainable from ww in this way. If none of these words is reducible, then ww is said to be reduced. We have the following results:

One can decide in finitely many steps whether a word is reduced.

Every word is equivalent to a reduced word.

Two reduced words are equivalent iff one is obtainable from the other by making replacements of type (2).

Thus whether two words are equivalent takes only finitely many steps to decide.

The Coxeter group carries the obvious involution given by inversion. It is therefore a **-monoid.

Categorical definition of buildings

Let DD be a Coxeter diagram. The Coxeter monoid W∞=W∞(D)W_\infty = W_\infty(D) is the monoid presented using the same generators as the Coxeter group WW, but subject to the equations

si2=si(1′)s_i^2 = s_i \qquad (1')

\,

sisjsi…=sjsisj…(2)s_i s_j s_i \ldots = s_j s_i s_j \ldots \qquad (2)

The concept of reduced word is the same as for the Coxeter group; the set of reduced words is the same for the Coxeter monoid W∞W_\infty as for the Coxeter group WW. Hence equality is decidable in the Coxeter monoid.

Identifying the underlying set of W∞W_\infty with a set of equivalence classes of reduced words, W∞W_\infty carries an anti-involution w↦w*w \mapsto w^* where w*w^* is the (reduced) word obtained by writing the (reduced) word ww in reverse.

The Coxeter monoid W∞W_\infty carries a partial ordering, the smallest reflexive transitive relation for which W∞W_\infty is a monoidal poset and the identity 1 is the bottom element. We usually write this as x≥1x \geq 1, and we think more in terms of (W∞,≥)(W_\infty, \geq), just we think of ([0,∞],≥)([0, \infty], \geq) as the base of enrichment for metric spaces. The involution (−)*(-)^* preserves the partial order. We call this the Bruhat order on W∞W_\infty.

Evidently, then, W∞W_\infty is a **-monoid in the bicategory OrdOrd of preorders and order-preserving maps. The free sup-lattice functor

P:Ord→sLatP: Ord \to sLat

(which takes the sup-lattice of downward-closed sets) is a strong monoidal functor which takes the **-monoid W∞W_\infty in OrdOrd to a **-monoid P(W∞)=[W∞op,2]P(W_\infty) = [W_{\infty}^{op}, 2], also called a **-quantale. The quantalic multiplication is given by the usual Day convolution, which here takes the simple form

R⋅S={rs:r∈R,s∈S}R \cdot S = \{r s: r \in R, s \in S\}

for RR, SS down-closed subsets of W∞W_\infty. Alternatively, if

The functor P:Ord→sLatP: Ord \to sLat factors through the Kleisli bicategory of the associated monad, which is equivalent to the cartesian bicategory of preorders and bimodules between preorders, denoted OrdModOrdMod.

If XX is any set, X×XX \times X may be regarded as a **-monoid in the cartesian bicategory RelRel of sets and relations (and therefore in OrdModOrdMod, and therefore in sLatsLat). Indeed, RelRel is compact, and the dual of any set XX is XX itself, so we have a monoid structure on

hom(X,X)=X*×X=X×X\hom(X, X) = X^* \times X = X \times X

and a **-monoid where f*f^* is the transpose of f∈hom(X*,X*)=hom(X,X)f \in \hom(X^*, X^*) = \hom(X, X). Thus, P(X×X)P(X \times X) is a **-quantale; the monoidal product is just composition of binary relations:

Definition

Let DD be a Coxeter diagram. A DD-building consists of a set FF and a bicontinuous homomorphism

[W∞(D),2]→[F×F,2][W_\infty(D), 2] \to [F \times F, 2]

of residuated **-quantales.

Some observations that clarify this definition:

Any bicontinuous map [Y,2]→[X,2][Y, 2] \to [X, 2] is of the form [f,2]:[Y,2]→[X,2][f, 2]: [Y, 2] \to [X, 2] for some f:X→Yf: X \to Y, so the data of a DD-building is given by a function

d:F×F→W∞(D)d: F \times F \to W_\infty(D)

A lax homomorphism of **-quantales

[d,2]:[W∞,2]→[F×F,2][d, 2]: [W_\infty, 2] \to [F \times F, 2]

takes an up-closed set S⊆W∞S \subseteq W_\infty to {(f,f′):d(f,f′)∈S}\{(f, f'): d(f, f') \in S\}. This is the unique cocontinuous map which is determined by what it does to principal filters, i.e., by relations

in W∞opW_{\infty}^{op}, or 1≥d(f,f)1 \geq d(f, f) in WW, for all f∈Ff \in F. Since 11 is the minimal element in the Bruhat order, this means 1=d(f,f)1 = d(f, f) for all ff. Taken together, these just say FF is enriched in the monoidal poset W∞W_\infty. The condition that [2,d][2, d] preserves the ** operation just means that d(f′,f)=d(f,f′)*d(f', f) = d(f, f')^* for all f,f′inFf, f' in F.

Thus FF behaves like a WW-valued pseudometric space, if [d,2][d, 2] is lax **-monoidal. To say that [d,2][d, 2] is strong**-monoidal means additionally that whenever