The equivariant fundamental groupoid as an orbifold invariant (Q2214737)

The equivariant fundamental category \(\pi_1(G,X)\) of a \(G\)-space \(X\) was first defined by \textit{T. tom Dieck} [Transformation groups. Berlin-New York: Walter de Gruyter (1987; Zbl 0611.57002)]. This category incorporates information from the fundamental groupoids of the fixed sets \(X^H\) of \(X\) for subgroups \(H< G\), combining them to create a category fibred in groupoids over the orbit category of \(G\). When \(G\) is a compact Lie group, tom Dieck also defines a discrete fundamental group category \(\pi^d_1(G,X)\), which removes some of the information coming from the topology of the group itself. Tom Dieck's (non-discrete) \(\pi_1(G,X)\) is not necessarily invariant under Morita equivalence. However, the authors construct a \(2\)-category version \(\Pi_G(X)\) of this category which is functorial with respect to equivariant maps, and show that the \(2\)-category \(\Pi_G(X)\) is an orbifold invariant. Furthermore, the quotient of this \(2\)-category by its \(2\)-cells yields tom Dieck's discrete category \(\pi_1^d(G,X)\). Thus, the authors arrive at the main result of this paper: \(\pi_1^d(G,X)\) is an orbifold invariant for representable orbifolds.