Busemann-Selberg Functions and Completeness for Dirichlet-Selberg domains in $SL(n,\mathbb{R})/SO(n,\mathbb{R})$

TL;DR

This paper introduces Busemann-Selberg functions to establish a completeness criterion for Dirichlet-Selberg domains in symmetric spaces, extending classical concepts and ensuring geometric completeness in higher rank cases.

Contribution

It develops Busemann-Selberg functions and proves a general completeness criterion for Dirichlet-Selberg domains in $SL(n,\mathbb{R})/SO(n)$, generalizing hyperbolic space results.

Findings

Every gluing manifold or orbifold from Dirichlet-Selberg domains is complete.

Busemann-Selberg functions extend classical Busemann functions to higher rank spaces.

Completeness condition in Poincaré's Algorithm holds in specific cases.

Abstract

We establish a general completeness criterion for Dirichlet-Selberg domains in the symmetric space $SL(n,\mathbb{R})/SO(n)$. By introducing and analyzing Busemann-Selberg functions - which extend classical Busemann functions and capture asymptotic behavior toward the Satake boundary - we show that every gluing manifold or orbifold produced by Dirichlet-Selberg domain is complete. This result parallels the well-known hyperbolic case and ensures that the key completeness condition in Poincar\'e's Algorithm always holds in specific cases.