A going-down principle for {\'e}tale groupoids and the Baum-Connes conjecture

We study a going-down principle for {é}tale groupoids and its applications, extending previous results for locally compact groups by Chabert, Echterhoff and Oyono-Oyono, and for ample groupoids by B{ö}nicke and by B{ö}nicke--Dell'Aiera.

The proof in the general {é}tale groupoid setting is based on a more detailed study of groupoid simplicial complexes.

For the most commonly considered kind of going-down functors, we recover the result of B{ö}nicke and Proietti, which they proved via a categorical approach and used to establish the split injectivity of the Baum--Connes assembly map for {é}tale groupoids that are strongly amenable at infinity.

We also study a bicategorical functoriality, involving the induction functors from {é}tale groupoid correspondences introduced by Miller.

This yields a bicategorical interpretation of the induction-restriction adjunction.

The going-down principle is also applied to the proof of continuity of topological K-theory of {é}tale groupoids and the study of the scope of validity of K{ü}nneth formulas.