Related papers: Exit path categories induced by group actions

Let $G$ be a group acting on a category $\mathcal{C}$. We give a definition for a functor $F\colon \mathcal{C} \to \mathcal{C}'$ to be a $G$-covering and three constructions of the orbit category $\mathcal{C}/G$, which generalizes the…

We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-L\"{o}f type theory. Fibred type-theoretic fibration categories give a categorical description of logical predicates…

Let M be a smooth connected compact surface, P be either the real line R^1 or the circle S^1. For a subset X of M denote by D(M,X) the group of diffeomorphisms of M fixed on X. In this note we consider a special class F of smooth maps…

For a Gromov-Hausdorff convergent sequence of closed manifolds $M_i^n\overset{GH}\longrightarrow X$ with $\mathrm{Ric}\ge-(n-1)$, $\mathrm{diam}(M_i)\le D$, and $\mathrm{vol}(M_i)\ge v>0$, we study the relation between $\pi_1(M_i)$ and $X$.…

The mapping class group $\mathrm{Mod}_{g, 1}$ of a surface with one marked point can be identified with an index two subgroup of $\mathrm{Aut}(\pi_1 \Sigma_g)$. For a surface of genus $g \geq 2$, we show that any action of $\mathrm{Mod}_{g,…

Given a braided pivotal category $\mathcal C$ and a pivotal module tensor category $\mathcal M$, we define a functor $\mathrm{Tr}_{\mathcal C}:\mathcal M \to \mathcal C$, called the associated categorified trace. By a result of…

We prove that any connected component of the space of m-spin structures on compact Riemann surfaces with finite number of punctures and holes is homeomorphic to a quotient of the vector space R^d by a discrete group action. Our proof is…

Consider a smooth action $\mathbf G\times M \rightarrow M$ of a compact connected Lie group $\mathbf G$ on a connected manifold $M$. Assume the existence of a point of $M$ whose isotropy group has a single element (free point). Then we…

If a finite p-group G acts continuously on a compact topological manifold M then, with some bound C depending on M alone, G has a subgroup H of index at most C such that the H-action on M has at most C stabilizer subgroups. This result…

Given a compact manifold $X$ with boundary and a submersion $f : X \rightarrow Y$ whose restriction to the boundary of $X$ has isolated critical points with distinct critical values and where $Y$ is $[0,1]$ or $S^1$, the connected…

For a proper action by a locally compact group $G$ on a manifold $M$ with a $G$-equivariant Spin-structure, we obtain obstructions to the existence of complete $G$-invariant Riemannian metrics with uniformly positive scalar curvature. We…

For a locally finitely presented Grothendieck category $\mathcal{A}$, we consider a certain subcategory of the homotopy category of FP-injective objects in $\mathcal{A}$ which we show is compactly generated. In the case where $\mathcal{A}$…

We give a specific cylinder functor for semifree dg categories. This allows us to construct a homotopy colimit functor explicitly. These two functors are "computable", specifically, the constructed cylinder functor sends a dg category of…

We show that given a $G$-structure $P$ on a differentiable manifold $M$, if the group $G(M)$ of automorphisms of $P$ is big enough, then there exists the quotient of an stochastic flows $phi_t$ by $G(M)$, in the sense that $\phi_t = \xi_t…

Let G be a Lie group with finitely many connected components and let K be a maximal compact subgroup. We assume that G satisfies the rapid decay (RD) property and that G/K has non-positive sectional curvature. As an example, we can take G…

Given a compact manifold M, we prove that any bracket generating and invariant under multiplication on smooth functions family of vector fields on M generates the connected component of unit of the group Diff(M).

Each Gr-functor of the type $(\varphi,f)$ of a Gr-category of the type $(\Pi,\C)$ has the obstruction be an element $\overline{k}\in H^3(\Pi,\C).$ When this obstruction vanishes, there exists a bijection between congruence classes of…

For every compact almost complex manifold (M,J) equipped with a J-preserving circle action with isolated fixed points, a simple algebraic identity involving the first Chern class is derived. This enables us to construct an algorithm to…

This paper proves that the functor $C(*)$ that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type --- even inducing an…

Let $G$ be a compact connected Lie group, or more generally a path connected topological group of the homotopy type of a finite CW-complex, and let $X$ be a rational nilpotent $G$-space. In this paper we analyze the homotopy type of the…