I'm trying to prove a result with simplicial complex endowed with an action of a groupoid. Let start with a formal definition :
$\textbf{Définition.}$ [$\mathcal{G}$-simplicial complex] Let $\mathcal{G}$ be a locally compact groupoid et $n\in\mathbb{N}$. A $\mathcal{G}$- simplicial complex of dimension at most $n$ is a pair $(Y, ∆)$ consisting of a locally compact $\mathcal{G}$-space $Y$ (the set of vertices) and a collection $∆$ of finite, non-empty subsets of $Y$ (called simplices) with at most $n+1$ elements such that:
the anchor map $p : Y →\mathcal{G}^{(0)}$ has the property, that for every $x ∈ X$ there exists a compact open neighbourhood $U ⊆ X$ such that $p_{|U} : U → p(U )$ is a homeomorphism onto a compact open subset of $\mathcal{G}^{(0)}$.
for each $σ∈∆$ we have $σ⊆p^{−1}(x)$ for some $x∈\mathcal{G}^{(0)}$.
if $σ ∈ ∆$, then every non-empty subset of $σ$ is also an element of $∆$, and
for each $σ ∈ ∆$, say $σ = \{y_1,...,y_n\} ⊆ p^{-1}(x)$, there exists a compact open neighbourhood $V$ of $x$ in $\mathcal{G}^{(0)}$ and continuous sections $s_1,...s_n :V →X$ of $p$ such that $\{s_1(v),...s_n(v)\}∈∆$ for all $v ∈ V$ and $\{s_1(v),...s_n(v)\} = σ$.
The $\mathcal{G}$-simplicial complex is typed if there is a discrete set $T$ and a $\mathcal{G}$-invariant continuous map $Y → T$ whose restriction to the support of a single simplex in $∆$ is injective.
Here is the proposition i'm trying to prove :
$\textbf{Proposition.}$ For any typed proper $\mathcal{G}$-compact $\mathcal{G}$-simplicial complex $(Y, ∆)$ of dimension $≤ n$, one can decompose it into its $n$-skeleton $Z_0 ⊆ Z_1 ⊆ ... ⊆ Z_n$, where each $Z_j$ is a closed $\mathcal{G}$-invariant subset of $∆$ such that :
• for all $η ∈Z_{j}\backslash Z_{j−1}$, $\text{Card(supp($\eta$))}=j$,
• $Z_{j}\backslash Z_{j−1}$ is $\mathcal{G}$-equivariantly homeomorphic to $\mathring{\sigma_{j}} × Σ_j$ , where $\mathring{\sigma_{j}} $ is the interior of the standard simplex of dimension $j$, and $Σ_j$ is the subspace of centers of $j$-simplices.
Does anyone have any idea of reference ?
Thanks a lot !