Abstract:We develop the theory of algebraic groups over real closed fields and apply the results to construct a geometric object $\mathcal{B}$ and to prove that $\mathcal{B}$ is an affine $\Lambda$-building. We use a model theoretic transfer principle to prove generalizations of statements about semisimple Lie groups. In this direction we give proofs for the Iwasawa-decomposition $KAU$, the Cartan-decomposition $KAK$ and the Bruhat-decomposition $BWB$. For unipotent subgroups we prove the Baker-Campbell-Hausdorff formula and use it to analyse root groups. We give a proof of the Jacobson-Morozov Lemma about subgroups whose Lie algebra is isomorphic to $\mathfrak{sl}_2$ and we describe other rank 1 subgroups which are the semisimple parts of Levi-subgroups. We prove a semialgebraic version of Kostant's convexity. Over the reals, semisimple Lie groups are closely related to the symmetry groups of symmetric spaces of non-compact type. These symmetric spaces can be described semialgebraically, which allows us to consider their semialgebraic extension over any real closed field. Starting from these non-standard symmetric spaces we use a valuation (with image some non-discrete ordered abelian group $\Lambda$) on the fields to define a $\Lambda$-pseudometric. Identifying points of distance zero results in a $\Lambda$-metric space $\mathcal{B}$. Assuming that the root system of the associated Lie group is reduced, we prove that $\mathcal{B}$ is an affine $\Lambda$-building. The proof relies on a thorough analysis of stabilizers.

Euclidean distance degrees of real algebraic groups

The Euclidean Distance Degree of Orthogonally Invariant Matrix Varieties

Euclidean distance degree of the multiview variety

Conditional Euclidean distance optimization via relative tangency

Euclidean Distance between Two Linear Varieties

Euclidean distance degree of projective varieties

Euclidean Distance Degree and Mixed Volume

The Euclidean distance degree of Fermat hypersurfaces

Noncommutative distances on graphs: An explicit approach via Birkhoff-James orthogonality

On the minimal algebraic complexity of the rank-one approximation problem for general inner products

A note on ED degrees of group-stable subvarieties in polar representations

On the image of graph distance matrices

Geometry on real projective Cayley-Klein spaces

Groups, Graphs, and Hypergraphs: Average Sizes of Kernels of Generic Matrices with Support Constraints

A matrix variant of the Erdős-Falconer distance problems over finite field

Distances between fixed-point sets in 2-dimensional Euclidean buildings are realised

Semialgebraic groups and generalized affine buildings

Euclidean and circum-Euclidean distance matrices: characterizations and interlacing property

On orders in quadratic number fields with unusual sets of distances

On distance-regular Cayley graphs over abelian groups of rank $2$

The algebraic degree of the Wasserstein distance