On the displacement function of isometries of Euclidean buildings (Q2017792): Difference between revisions

Let \((X, d)\) be a metric space and let \(g \in \mathrm{Isom}(X)\) be an isometry of \(X\). The displacement function \(d_g : X \rightarrow [0,\infty)\) of \(g\) is the function given by \(d_g(x) := d(gx, x)\). The infimum \(\delta_g := \inf\{d_g(x)\,| \,x \in X\}\) of this function is called the displacement or translation length of \(g\). Define \(\mathrm{Min}_g := \{x \in X \, | \, d_g(x)=\delta_g\}\). The main result that the author obtains is the following: Theorem. Let \(X\) be a Euclidean building without factors isometric to Euclidean spaces. Let \(g \in \mathrm{Isom}(X)\) be an isometry of \(X\). Then \(d_g(x)\geq\sqrt{\delta_g^2 + C \cdot d(x,\mathrm{Min}_g)^2}\) for a constant \(C > 0\) depending only on the spherical Coxeter complex associated to \(X\) and, if \(g\) is hyperbolic, on the type of the endpoint \(c(\infty)\) of an axis \(c\) of \(g\). The conclusion of this theorem can only be satisfied by semisimple isometries, that is, Euclidean buildings do not admit parabolic isometries.