In this paper we classify the the epimorphisms of irreducible spherical Moufang buildings (of rank ≥ 2) defined over a field. As an application we characterize indecomposable epimorphisms of these buildings as those epimorphisms arising from R-buildings.1 of Moufang buildings defined over a field (made precise in Section 2.3.3) correspond to valuations of the underlying field satisfying certain compatibility conditions. Epimorphisms arising from Moufang R-buildings turn out to be the 'primitive' epimorphisms for this class, i.e. if one cannot decompose the epimorphism into two proper epimorphisms, then the epimorphism arises directly from an R-building.For a precise version of the main results and corollaries we refer to Section 3.This extends known results for projective spaces (see Section 2.5). The remaining open class, consisting of certain polar spaces of pseudo-quadratic form type defined over a nonabelian skew field is handled by the author and Petra N. Schwer in a forthcoming paper ([20]) using different, case-specific methods.Acknowledgement. The author would like to thank Pierre-Emmanuel Caprace for suggesting the problem.
Preliminaries
BuildingsLet (W, S) be a Coxeter system, then a weak building of type (W, S) is a pair (C, δ) consisting of a nonempty set C (called chambers) and a map δ : C × C → W (called the Weyl distance), such that for every two chambers C and D the following holds. (WD1) δ(C, D) = 1 if and only if C = D. (WD2) If δ(C, D) = w and C ′ ∈ C satisfies δ(C ′ , C) = s ∈ S, then δ(C ′ , D) ∈ {sw, w}. If moreover l(sw) = l(w) + 1 (where l is the word metric on W w.r.t. S), then δ(C ′ , D) = sw. (WD3) If δ(C, D) = w, then for any s ∈ S there exists a chamber C ′ ∈ C such that δ ′ (C ′ , C) = s and δ(C ′ , D) = sw.This weak building is said to be spherical if the Coxeter group W is finite. The rank of a weak building is defined to be |S|. Two chambers are s-equivalent (with s ∈ S) if the Weyl distance between them is either s or the identity element 1 of W . Consider a subset S ′ ⊂ S. The connected components of C using only equivalences in S ′ are called the S ′ -residues,