In combinatorial geometry, the Weyl distance function is a function that behaves in some ways like the distance function of a metric space, but instead of taking values in the positive real numbers, it takes values in a group of reflections, called the Weyl group. This distance function is defined on the collection of chambers in a mathematical structure known as a building, and its value on a pair of chambers a minimal sequence of reflections to go from one chamber to the other. An adjacent sequence of chambers in a building is known as a gallery, so the Weyl distance function is a way of encoding the information of a minimal gallery between two chambers. In particular, the number of reflections to go from one chamber to another coincides with the length of the minimal gallery between the two chambers, and so gives a natural metric on the building. According to, the Weyl distance function is something like a geometric vector: it encodes both the magnitude between two chambers of a building, as well as the direction between them.
Definitions
We record here definitions from. Let be the Coxeter complex associated to a group W generated by a set of reflections S. The vertices of are the elements of W, and the chambers of the complex are the cosets of S in W. The vertices of each chamber can be colored in a one-to-one manner by the elements of S so that no adjacent vertices of the complex receive the same color. This coloring, although essentially canonical, is not quite unique. The coloring of a given chamber is not uniquely determined by its realization as a coset of S. But once the coloring of a single chamber has been fixed, the rest of the Coxeter complex is uniquely colorable. Fix such a coloring of the complex. A gallery is a sequence of adjacent chambers Because these chambers are adjacent, any consecutive pair of chambers share all but one vertex. Denote the color of this vertex by. The Weyl distance function between and is defined by It can be shown that this does not depend on the choice of gallery connecting and. Now, a building is a simplicial complex that is organized into apartments, each of which is a Coxeter complex. Buildings are colorable, since the Coxeter complexes that make them up are colorable. A coloring of a building is associated with a uniform choice of Weyl group for the Coxeter complexes that make it up, allowing it to be regarded as a collection of words on the set of colors with relations. Now, if is a gallery in a building, then define the Weyl distance between and by where the are as above. As in the case of Coxeter complexes, this does not depend on the choice of gallery connecting the chambers and. The gallery distance is defined as the minimal word length needed to express in the Weyl group. Symbolically,.
Properties
The Weyl distance function satisfies several properties that parallel those of distance functions in metric spaces:
. This corresponds to symmetry of the gallery metric.
If and, then is either w or sw. Moreover, if, then. This corresponds to the triangle inequality.
Abstract characterization of buildings
In addition to the properties listed above, the Weyl distance function satisfies the following property:
If, then for any there is a chamber, such that and.
In fact, this property together with the two listed in the "Properties" section furnishes an abstract "metrical" characterization of buildings, as follows. Suppose that is a Coxeter systemconsisting of a Weyl group W generated by reflections belonging to the subset S. A building of type is a pair consisting of a set C of chambers and a function: such that the three properties listed above are satisfied. Then C carries the canonical structure of a building, in which is the Weyl distance function.
