The equivariant fundamental groupoid as an orbifold invariant

DOI10.4310/HHA.2021.V23.N1.A3MaRDI QIDQ2214737zbMATH OpenOpenAlexFDO

Authors Dorette Pronk, Laura Scull

Publication date 10 December 2020

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1908.01201

zbMATH Keywords

equivariant homotopy theoryfundamental groupoidgroupoidMorita invarianceorbifold

Mathematics Subject Classification ID

2-dimensional monad theory (18N15) Equivariant homotopy groups (55Q91) Topology and geometry of orbifolds (57R18)

Abstract: We construct a 2-category version of tom Dieck's equivariant fundamental groupoid for representable orbifolds and show that the discrete fundamental groupoid is Morita invariant; hence an orbifold invariant for representable orbifolds.

Review text

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.

Recommendations

• Translation Groupoids and Orbifold Cohomology
• Orbispaces and Their Mapping Spaces via Groupoids: A Categorical Approach
• A van Kampen theorem for equivariant fundamental groupoids
• Equivariant covering spaces and homotopy covering spaces
• Geometric structures on orbifolds and holonomy representations
• On the 1-homotopy type of Lie groupoids
• Spaces over a category and assembly maps in isomorphism conjectures in \(K\)- and \(L\)-theory
• G-category versus orbifold category
• Inertia and delocalized twisted cohomology
• Equivariant orientation theory

Cited in

(7)

• scientific article; zbMATH DE number 5846302 (Why is no real title available?)
• Orbispaces and Their Mapping Spaces via Groupoids: A Categorical Approach
• scientific article; zbMATH DE number 3886785 (Why is no real title available?)
• Translation Groupoids and Orbifold Cohomology
• G-category versus orbifold category
• A guide to equivariant parametrized cohomology
• A van Kampen theorem for equivariant fundamental groupoids

This page was built for publication: The equivariant fundamental groupoid as an orbifold invariant

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2214737)