Convex rank 1 subsets of Euclidean buildings (of type A₂)

DOI10.1007/S10711-007-9221-1MaRDI QIDQ2481652zbMATH OpenOpenAlexFDO

Publication date 14 April 2008

Published in Geometriae Dedicata (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0610947

CAT(0)Hadamard spaces Tits distance Weyl chambers

Reflection groups, reflection geometries (51F15) General theory of topological geometry (51H05) Sub-Riemannian geometry (53C17) Global Riemannian geometry, including pinching (53C20)

Abstract: For a Euclidean building

X

of type

A_{2}

, we classify the 0-dimensional subbuildings

A

of

p a r t i a l_{T} X

that occur as the asymptotic boundary of closed convex subsets. In particular, we show that triviality of the holonomy of a triple (of points of

A

) is (essentially) sufficient. To prove this, we construct new convex subsets as the union of convex sets.

Review text

Euclidean buildings share many properties with symmetric spaces of noncompact type: They are CAT(0) length spaces (``Hadamard spaces) with a boundary at infinity (a spherical building) and they contain sufficiently many flats (``appartments). A general question for such spaces is: Given a convex subset \(A\) in the infinite boundary \(\partial X\) of a Hadamard space \(X\), can it be filled, i.e., is there some \(C \subset X\) with \(\partial C = A\)? In the present article this question is posed and answered when \(X\) is a Euclidean building of type \(A_2\) and \(A\) a finite zero-dimensional subbuilding, i.e. any pair of points in \(A\) is opposite (for some appartment containing both points). There is a necessary condition which turns out to be also sufficient. Any three points \(\xi,\eta,\zeta \in A\) must be mid points in their Weyl chambers and bound a tripod: a geodesic tree \(T \subset X\) with \(\partial T = \{\xi,\eta,\zeta\}\). Such \(T\) exists for \(\xi,\eta,\zeta\) iff the so-called holonomy is trivial which is defined as follows. Since \(\xi,\eta\) are opposite, the set \(X_\xi\) and \(X_\eta\) of rays parallel to \(\xi\) and to \(\eta\) respectively can be identified, and similarly there are isomorphisms between \(X_\eta\), \(X_\zeta\) and between \(X_\zeta\), \(X_\xi\). Composing these three isomorphisms yields an automorphism of \(X_\xi\) called holonomy which in the \(A_2\)-case is just a shift on a real line; triviality of holonomy means that this is the zero shift. There is an extension to infinite sets \(A\) under additional conditions.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Convex rank 1 subsets of Euclidean buildings (of type \(A_{2}\))

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2481652)