Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0704.2801

Continuous family groupoids

Alan L. T. Paterson
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we define and investigate the properties of continuous family groupoids. This class of groupoids is necessary for investigating the groupoid index theory arising from the equivariant Atiyah-Singer index theorem for families, and is also required in noncommutative geometry. The class includes that of Lie groupoids, and the paper shows that, like Lie groupoids, continuous family groupoids always admit (an essentially unique) continuous left Haar system of smooth measures. We also show that the action of a continuous family groupoid $G$ on a continuous family $G$-space fibered over another continuous family $G$-space $Y$ can always be regarded as an action of the continuous family groupoid $G*Y$ on an ordinary $G*Y$-space.

Explore related subjects

math.KT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alan L. T. Paterson. 2007-04-20. Continuous family groupoids. https://arxiv.org/abs/0704.2801

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

KEEP EXPLORING

Related papers

arXiv2026

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

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.

math.KT↗
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↗