Search arXiv⌕ Search

arXiv · 0704.2801

Continuous family groupoids

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

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

Bordisms and unbounded $KK$-theory

This monograph studies $KK$-theory in its unbounded model. The central object is the $KK$-bordism group obtained by imposing the $KK$-bordism relation on unbounded $KK$-cycles. In the paradigm of noncommutative geometry, an unbounded $KK$-cycle is a noncommutative geometry in its own right and our approach allows for the study of mildly noncommutative geometries (orbifolds, foliations et cetera) as if they were closed manifolds. The techniques we introduce enable us to directly import manifold techniques and arguments into the important yet technical field of unbounded $KK$-theory. Recent decades have seen a tremendous progress in the study of the unbounded model for $KK$ as well as secondary invariants, the first motivated by refining computational tools in Kasparov's $KK$-theory and the second by applications to geometry and topology. The aim of this work is to provide a common framework for these two areas: equipping unbounded $KK$-cycles with a geometrically motivated relation recovering Kasparov's $KK$-theory that is computationally tractable for working with secondary invariants.

math.KT↗

A secondary index map on relative K-homology

We introduce a secondary index map from relative K-homology to the K-theory of a relative structure algebra. We prove an algebraic Mayer-Vietoris sequence for the relative structure algebra, and prove compatibility of the secondary index map with the Mayer-Vietoris boundary map. As an application, we compute the secondary index of the Dirac operator on an even-dimensional spin manifold with collared metric having uniformly positive scalar curvature on the boundary. This computation leads to a refinement of the delocalized APS-index theorem.

math.KT↗

A KK-theoretic note on the spectral localiser

We review the construction of the spectral localiser (due to Loring and Schulz-Baldes) from a KK-theoretic perspective. We first give a KK-theoretic argument providing a spectral flow expression for the even or odd index pairing in terms of the "infinite volume" spectral localiser. Our approach towards this first step is more direct, treats the even and odd cases on an equal footing, and has the advantage that the construction of the spectral localiser becomes immediately apparent from the computation of the index pairing via a Kasparov product. In a second step of "spectral truncation", we then describe how this spectral flow expression can be computed in terms of the signature of the "finite volume" spectral localiser. Throughout, we do not require invertibility of the operator representing the K-homology class, and the even index pairing then obtains an additional contribution coming from the Fredholm index.

math.KT↗