{"id":"arxiv/2610.38791","url":"https://arxiv.org/abs/2610.38791","tags":["math.KT","math.OA","math.RA"],"score":0,"title":"Discretisation in algebraic $K$-theory of independent ample groupoids and their Steinberg algebras","domain":"math.KT","source":"arxiv","authors":["Guillermo Cortiñas","Xin Li"],"reviews":0,"subject":"math.KT","summary":"An independent ample groupoid $G$ comes equipped with a discrete groupoid $G_d$ and a proper étale correspondence $Ω:G_d\\to G$. Discretisation with respect to a homological invariant $\\mathcal{H}$ holds when $\\mathcal{H}(Ω)$ is an equivalence. We show for example that discretisation with respect to the $K$-theory spectrum $\\mathbb{K} \\mathfrak{B}_G$ of the permutative category of bisections always holds, establish excision and continuity for this invariant, and use all this and explicit resolutions by independent groupoids to compute it for several families of ample groupoids. We also prove…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-28","reactions":{}}