arXiv Science⌕ Search

arXiv · 2610.04330

Asymptotic Schur orthogonality for lattices

Abstract

Let $π:G\to \mathcal{U}(L^{2}(G/P,ν))$ be the boundary representation of a non-compact connected semisimple Lie group $G$ with finite center on its Furstenberg-Poisson boundary $(G/P,ν)$. Let $Γ\subset G$ be a lattice in $G$ (uniform or not). We show that for any \emph{continuous} functions $φ,ψ,φ',ψ'$ on $G/P$, $$ \lim_{n\to\infty}\frac{1}{|Γ_{n}|}\sum_{γ\in Γ_{n}}\frac{\langleπ(γ)φ,ψ\rangle\overline{\langleπ(γ)φ',ψ'\rangle}}{Ξ^{2}(γ)}=\langle φ,φ'\rangle\overline{\langleψ,ψ'\rangle}, $$ where $Γ_{n}$ is a ball in $Γ$ with radius $n$ relative to a natural length function and with center the identity element of $G$, and $Ξ$ is the restriction to $Γ$ of the Harish-Chandra function of $G$. As a corollary, we deduce that when the real rank of $G$ is one, then the analogous convergence holds for any $φ,ψ,φ',ψ'$ in $L^{2}(G/P,ν)$ if and only if the lattice $Γ$ is uniform.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

A. BENDIKOV, A. BOYER, CH. PITTET. 2026-10-03. Asymptotic Schur orthogonality for lattices. https://arxiv.org/abs/2610.04330

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

JSJ splittings for all Artin groups

We prove that an Artin group splits over infinite cyclic subgroups if and only if its defining graph has a separating vertex, and explicitly construct a JSJ decomposition over infinite cyclic subgroups for all Artin groups. We then use these facts to show that, if two Artin groups are isomorphic, then they have the same set of parabolics supported on "big chunks", that is, maximal subgraphs without separating vertices. We also deduce acylindrical hyperbolicity for the automorphism groups of many Artin groups, partially answering a question of Genevois in the case of Artin groups. As a consequence, we produce new families of Artin groups with the R-infinity property.

math.GR↗

Supersoluble groups and the probability of generating a supersoluble subgroup

Let $G$ be a finite group and let $\mathrm{P}_{\mathcal{U}}(G)$ denote the probability that two randomly chosen elements of $G$ generate a supersoluble subgroup. We prove that if $\mathrm{P}_{\mathcal{U}}(G) > 16/25$ then $G$ is supersoluble, and that the bound $16/25$ is sharp, being attained by the group $G = (C_5 \times C_5) \rtimes Q_8$, where $Q_8$ acts faithfully and irreducibly on $C_5 \times C_5$.

math.GR↗

Separability of Subsets in Infinite Groups

We study the separability of subsets of an infinite group. Given an infinite group $G$ and subsets $A,B\subset G$, we say that $A$ and $B$ are separated in $G$ if there exists an infinite symmetric subset $X\subset G$ with $e\in X$ and $XAX\cap B=\varnothing$. Question 17.102 of the Kourovka Notebook raises a natural cardinal question: if $A$ and $B$ are disjoint and $|A|,|B|<|G|$, must they be separated? We first give a negative answer, constructing two essentially different families of counterexamples, based respectively on rigid binary relations and on torsion-free groups whose square sets have cardinality smaller than that of the group. On this basis we introduce the $W$-witness set $W_G(A,B)=\{g\in G:\{g,g^{-1}\}A\{g,g^{-1}\}\cap B=\varnothing\}$, obtain a necessary and a sufficient condition for separability given by its size, and study the critical range. The central result of this paper is a necessary and sufficient characterization of separability: taking the inverse pairs $\{g,g^{-1}\}$ as vertices, we construct the conflict graph $Γ_{A,B}$, and $A$ and $B$ are separated if and only if the associated graph contains an infinite independent set; separability is thereby converted into an ordinary graph-theoretic problem. From this we further derive the case of finite subsets, the case of Abelian groups, and several cardinal criteria, and we obtain, via Ramsey's theorem, a structural dichotomy for the non-separable case. In addition, we study the range of cardinalities of counterexample groups and the possible sizes of $W$-witness sets, and prove that no uniform necessary and sufficient criterion can depend only on $|A|$, $|B|$ and structural invariants of the group, independently of the specific position of $A$ and $B$.

math.GR↗