Searcharxiv⌕ Search

arXiv · 0704.2799

The analytic index for proper, Lie groupoid actions

Abstract

Many index theorems (both classical and in noncommutative geometry) can be interpreted in terms of a Lie groupoid acting properly on a manifold and leaving an elliptic family of pseudodifferential operators invariant. Alain Connes in his book raised the question of an index theorem in this general context. In this paper, an analytic index for many such situations is constructed. The approach is inspired by the classical families theorem of Atiyah and Singer, and the proof generalizes, to the case of proper Lie groupoid actions, some of the results proved for proper locally compact group actions by N. C. Phillips.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alan L. T. Paterson. 2007-04-20. The analytic index for proper, Lie groupoid actions. https://arxiv.org/abs/0704.2799

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

KEEP EXPLORING

Related papers

W*-correlations of II$_1$ factors and rigidity of tensor products and graph products

A variant of Gromov's notion of measure equivalence for groups has been introduced for II$_1$ factors under different names. We propose the terminology of W*-correlated II$_1$ factors. We prove rigidity results up to W*-correlations for tensor products and graph products of II$_1$ factors. As a consequence, we construct the first uncountable family of discrete groups $Γ$ that are not von Neumann equivalent, which means that their group von Neumann algebras $L(Γ)$ are not W*-correlated, and which implies that these groups are neither measure equivalent, nor have isomorphic or virtually isomorphic group von Neumann algebras.

math.OA↗

Distances Between von Neumann Subalgebras: Spin Models, Commuting Squares, and Free Group Factors

We investigate the relative position of von Neumann subalgebras through their Mashood--Taylor ($\mathrm{d}_{\mathrm{MT}}$) and Kadison--Kastler ($\mathrm{d}_{\mathrm{KK}}$) distances, together with the interior angle. For each $n\in\mathbb{N}$, we show that the hyperfinite $\mathrm{II}_1$-factor $\mathscr{R}$ contains an uncountable family of pairwise distinct regular $n\times n$ spin model subfactors. In particular, we obtain a continuous family $(\mathscr{R}_{\mathsf{H}_α})_{α\in[0,π)}$ of $2\times2$ spin model subfactors satisfying \[ \mathrm{d}_{\mathrm{MT}}(\mathscr{R}_{\mathsf{H}_α},\mathscr{R}_{\mathsf{H}_β}) =|\sin(α-β)|. \] We prove that two such subfactors form a commuting square over their intersection if and only if they are maximally distant, i.e., $\mathrm{d}_{\mathrm{MT}}=1$. More generally, we establish structural results showing that commuting squares of $\mathrm{II}_1$-factors, under natural index conditions, force maximal distance, yielding $\mathrm{d}_{\mathrm{KK}}=1=\mathrm{d}_{\mathrm{MT}}$. We also show that two diffuse subalgebras orthogonal in the sense of Popa must be maximally distant. In contrast, no two members of $(\mathscr{R}_{\mathsf{H}_α})_{α\in[0,π)}$ are Popa-orthogonal. Nevertheless, whenever two are maximally distant, their interior angle over their intersection is $π/2$, demonstrating that interior-angle orthogonality differs from Popa orthogonality. Finally, in the free group factor $L(\mathbb{F}_2)=L(\langle a,b\rangle)$, we prove \[ \mathrm{d}_{\mathrm{MT}}(L(\langle a\rangle),uL(\langle a\rangle)u^*) =\sqrt{1-|τ(u)|^4} \] for $u\in L(\langle b\rangle)$, and construct maximally distant masas in $L(\mathbb{F}_2)$ that do not arise from subgroups of $\mathbb{F}_2$.

math.OA↗