A prime geodesic theorem for higher rank buildings (Q2413592)

Let $X$ be a locally finite, simplicial, thick, affine building of dimension $d$ and $\mathrm{Aut}(X)$ the group of automorphisms of $X$. Let $G$ be an open finite index subgroup of $\mathrm{Aut}(X)$ and $\Gamma\subset G$ a discrete cocompact subgroup of $G$. Fix a $G$-invariant metric $\mathbf{d}$ on $X$ which is euclidean on each apartment. The infimum $\inf_{x\in X}\mathbf{d}(gx,x)$ is attained on a convex subset denoted by $\mathrm{Min}(g)$. If $\gamma\in\Gamma$ is a generic element, the set $\mathrm{Min}(\gamma)$ is an apartment $\mathfrak{a}$ of $X$. Let $G_{\mathfrak{a}}$ denote the stabilizer of $\mathfrak{a}$ in $G$, $G_\gamma$, $\Gamma_\gamma$ the respective centralizers of $\gamma$. Let $G^{\mathfrak{a}}$ be the image of $G_{\mathfrak{a}}$ in $\mathrm{Aut}(\mathfrak{a})$, and $\Gamma_\gamma^{\mathfrak{a}}\subset G_\gamma^{\mathfrak{a}}\subset G^{\mathfrak{a}}$ the image of the groups $\Gamma_\gamma$ and $G_\gamma$ in $G^{\mathfrak{a}}$. The apartment $\mathfrak{a}$ can be given a structure of a real vector space of dimension $d$ with basis $\{v_1,\dots, v_d\}$. Let $e_1,\dots, e_d$ be such that $e_j=r_j v_j$ where $r_j>0$ is the smallest rational number all the vertices of type zero are contained in $\mathbb{Z}e_1\oplus\dots\mathbb{Z}e_d$. The apartment $\mathfrak{a}$ defines a parabolic subgroup $P$ and its opposite $\overline{P}$ such that $L=P\cap\overline{P}$ is the Levi component of $P$. Set $A=L/M$ where $M$ is the point-wise stabilizer of $\mathfrak{a}$. A given $a\in A$ acts on $\mathfrak{a}$ by translation $ax=x+v_a$ where \[ v_a=\lambda_1(a)e_1+\dots+\lambda_d(a)e_d \] for some integers $\lambda_1(a),\dots,\lambda_d(a)$. The map \[ \lambda:A\rightarrow\mathbb{Z}^d,\ a\mapsto (\lambda_1(a),\dots,\lambda_d(a)) \] is an isomorphism of the group $A$ to a lattice $\Lambda$. \par The main result in the paper under review is the proof of a prime geodesic theorem for the building $X$. More precisely, for $\gamma$ generic, write $\mathrm{Ind}(\gamma)=| G_\gamma^{\mathfrak{a}}/\Gamma_\gamma^{\mathfrak{a}}|$, where $\mathfrak{a}=\mathrm{Min}(\gamma)$. For $k\in\mathbb{N}^d$, set \[ N(k)=\sum_{[\gamma],\lambda(a_\gamma)=k}\mathrm{Ind}(\gamma). \] If $c\in\mathbb{R}^d$ write $c^k=c_1^{k_1}\dots c_d^{k_d}$. Then there exist a sub-lattice $\Lambda^\prime\subset\Lambda$ and a function $C_{\Lambda/\Lambda^\prime}:\Lambda/\Lambda^\prime\rightarrow (0,\infty)$, and constants $c_1,\dots,c_d>1$ such that for $k_j\rightarrow\infty$ independently, one has \[ N(k)\sim \mathbf{1}_\Lambda(k)C_{\Lambda/\Lambda^\prime}(\overline{k})c^k \] Explicit formulas for the constants and the function $C_{\Lambda/\Lambda^\prime}$, as well as examples are provided.