Exit path categories induced by group actions
Patrick Mayeda

TL;DR
This paper investigates the structure of exit path categories in manifolds with finite group actions, revealing how these categories relate through fibrations and classifying functors, and providing technical tools for lifting homotopies.
Contribution
It establishes that the functor from the exit path category of a manifold to that of its quotient is a right fibration and classifies the enter category via the orbit category, advancing understanding of group actions on manifolds.
Findings
The functor : Exit(M) ; Exit(M/G) is a right fibration.
Enter(M/G) is classified by a functor to the orbit category O_G.
Lifts of homotopies in M/G to M are facilitated by manipulating exit paths.
Abstract
We prove a structural result concerning the exit path category associated to a manifold equipped with a smooth action of a finite group . Specifically, the functor is a right fibration and is classified by a natural functor , where is the orbit category of . The main technical result manipulates exit paths to immediately exiting paths, enabling lifts of homotopies in to homotopies in .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Geometric and Algebraic Topology · Algebraic structures and combinatorial models
