Related papers: Exit path categories induced by group actions
Let M be a smooth compact manifold with boundary. Under some geometric conditions on M, a homotopical model for the pair (M,boundary of M) can be recovered from the configuration category of the interior of M. The grouplike monoid of…
We define homotopy group actions in terms of families of $A_\infty$ algebras indexed by a manifold M. We give explicit formulae for the $A_\infty$ morphism induced by a path on the manifold and for the $A_\infty$ homotopy corresponding to a…
We prove that the topological flow category $\mathcal{M}$ arising from a Morse-Smale pair $(f,\xi)$ on a smooth closed manifold $X$ is equivalent, as an $\infty$-category, to Lurie's $\infty$-category $\mathrm{Sing}_A(X)$ of exit paths in…
Here $\underline{M}$ denotes a pair $(M,A)$ of a manifold and a subset (e.g. $A=\partial M$ or $A=\emptyset$). We construct for each $\underline{M}$ its motion groupoid $\mathrm{Mot}_{\underline{M}}$, whose object set is the power set $…
In this paper we consider the finite groups that act fiber- and orientation-preservingly on closed, compact, and orientable Seifert manifolds that fiber over an orientable base space. We establish a method of constructing such group actions…
This paper provides further investigation of the concept of shape m$_{\rm simpl}$-fibrators (previously introduced by the author). The main results identify shape m$_{\rm simpl}$-fibrators among direct products of Hopfian manifolds. First…
Let $(M, \omega)$ be a connected, compact symplectic manifold equipped with a Hamiltonian $G$ action, where $G$ is a connected compact Lie group. Let $\phi$ be the moment map. In \cite{L}, we proved the following result for $G=S^1$ action:…
We define a naturality construction for the operations of weak omega-categories, as a meta-operation in a dependent type theory. Our construction has a geometrical motivation as a local tensor product with a directed interval, and behaves…
In the first part of this paper, we let $G$ be a finitely-generated amenable group such that $G/[G, G]$ is torsion-free. We suppose that $G$ acts by homeomorphisms homotopic to the identity on a manifold $M$, and give conditions on $M$…
In this paper we study actions of finite groups on closed connected aspherical manifolds. Under some assumptions on the outer automorphism group of the fundamental group of a closed connected aspherical manifold $M$, we prove that the…
Let $f:M\to \mathbb{R}$ be a Morse function on a smooth closed surface, $V$ be a connected component of some critical level of $f$, and $\mathcal{E}_V$ be its atom. Let also $\mathcal{S}(f)$ be a stabilizer of the function $f$ under the…
Given a smooth partial action $\alpha$ of a Lie groupoid $G$ on a smooth manifold $M,$ we provide necessary and sufficient conditions for $\alpha$ to be globalizable with smooth globalization. As an application, we provide results on the…
We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category $\mathbb{EFF}$. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as…
Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups…
The paper is devoted to introduce some notions extending the unique path lifting property from a homotopy viewpoint and to study their roles in the category of fibrations. First, we define some homotopical kinds of the unique path lifting…
We study finite group actions on smooth manifolds of the form $M\#\Sigma$, where $\Sigma$ is an exotic $n$-sphere and $M$ is a closed aspherical space form. We give a classification result for free actions of finite groups on $M\#\Sigma$…
Let $G$ and $H$ be two groups acting on path connected topological spaces $X$ and $Y$ respectively. Assume that $H$ is finite of order $m$ and the quotient maps $p:X\to X/G$ and $q:Y\to Y/H$ are regular coverings. Then it is well-known that…
We prove that an outer action of a locally compact group $G$ on a full factor $M$ is automatically strictly outer, meaning that the relative commutant of $M$ in the crossed product is trivial. If moreover the image of $G$ in the outer…
Consider a Hamiltonian action of a compact Lie group H on a compact symplectic manifold (M,w) and let G be a subgroup of the diffeomorphism group Diff(M). We develop techniques to decide when the maps on rational homotopy and rational…
For a path connected, locally path connected and semilocally simply connected space $X$, let $\Pi_1(X)$ denote its topologised fundamental groupoid as established in the first article of this series. Let $\mathcal{E}$ be the category of…