arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.37679

Roe algebras and coarse index maps for spaces with proper actions of {é}tale groupoids. I

Kai Mao
View original source ↗Read source document ↗Export metadata ↓

Abstract

This is the first in a series of papers extending Roe algebras and coarse index theory to the groupoid-equivariant setting. We introduce some techniques to develop a framework of Roe algebras and their K-theory for spaces equipped with proper actions of {é}tale groupoids. For a fixed {é}tale groupoid G and G-C* -algebra A, we construct a functor KC(-; G, A) from the category of locally compact Hausdorff proper G-spaces and equivariant proper continuous maps to the category of graded abelian groups, which provides a natural receptacle for an equivariant coarse index map. We study the existence of universal modules, an analog of ample modules in non-equivariant setting, and develop a decomposition technique to establish their existence. As an application, we prove that groupoid simplicial complexes satisfying suitable hypotheses admit universal modules.

Explore related subjects

math.KTmath.OA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kai Mao. 2026-09-29. Roe algebras and coarse index maps for spaces with proper actions of {é}tale groupoids. I. https://arxiv.org/abs/2609.37679

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

KEEP EXPLORING

Related papers

arXiv2026

Improved injective stability for relative $\mathrm{K_1Sp}$-groups

We prove a relative version of Vorst's theorem concerning the equality of the group of all invertible matrices and the group of all elementary matrices over $R[X]$ with respect to an ideal $I \subset R$ such that $R/I$ is regular, where $R$ is a regular $k$-spot. We then introduce a relative version of the symplectic elementary Witt group and show that it fits into a relative version of the Karoubi periodicity sequence. Combining these results, we improve the existing injective stability bounds for relative linear and symplectic $\mathrm{K_1}$-groups of smooth affine algebras over various base fields. As an application, we give a necessary and sufficient condition for the freeness of stably free modules over smooth real $4$-folds with empty real locus.

math.KT↗
arXiv2026

Nontransitivity of braid group actions on exceptional bases in $K_0(\mathbb{P}^n)$ for $n=4,6$

Let $X=\mathbb{P}^n$, where $p=n+1$ is prime. Consider the orbit of the standard numerical exceptional basis in $K_0(X)$ under mutations, sign changes, and isometries of the Euler form. We construct an invariant of this orbit: for every basis from the orbit, the square of rank of all basic vectors art congruent to $1$ modulo $p$. For $\mathbb{P}^4$ and $\mathbb{P}^6$, we present explicit numerical exceptional bases violating this congruence; hence the action is not transitive. We also establish a stronger obstruction modulo $p^2$ and use Polishchuk's theorem to show that no vector of the constructed bases is the class of an exceptional object. Finally, we prove that for every prime $p$, the category $D^b(\operatorname{Coh}\mathbb{P}^{p-1}_{\mathbb C})$ does not contain a pair of mutually orthogonal exceptional objects.

math.KT↗
arXiv2026

Finite-coefficient Gersten injectivity fails in ramified mixed characteristic

Let $V$ be a complete discrete valuation ring of mixed characteristic $(0,3)$ in which $3$ is a uniformizer, and put $A=V[[x,y]]/(3+x^2-y^3)$. We construct a nonzero class $a\in K_2(A;\mathbf Z/3)$ whose restriction to the fraction field of $A$ is zero. Thus Gersten injectivity for algebraic $K$-theory with $\mathbf Z/3$-coefficients fails for a two-dimensional ramified regular local ring. We also indicate the expected analogous construction for every odd prime. This counterexample does not contradict the integral Gersten conjecture but it rules out a naive reduction to finite coefficients.

math.KT↗