Related papers: Motion groupoids and mapping class groupoids
Let $A \leq G$ be a subgroup of a group $G$. An $A$-complement of $G$ is a subgroup $H$ of $G$ such that $G = A H$ and $A \cap H = \{1\}$. The \emph{classifying complements problem} asks for the description and classification of all…
We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…
Compact hyperbolic 3-manifolds are used in cosmological models. Their topology is characterized by their homotopy group $\pi_1(M)$ whose elements multiply by path concatenation. The universal covering of the compact manifold $M$ is the…
We study topological groups of monotonic autohomeomorphisms on a generalized ordered space $L$. We find a condition that is necessary and sufficient for the set of all monotonic autohomeomorphisms on $L$ along with the function composition…
Let $\mathcal M$ be a compact complex supermanifold. We prove that the set $\mathrm{Aut}_{\bar 0}(\mathcal M)$ of automorphisms of $\mathcal M$ can be endowed with the structure of a complex Lie group acting holomorphically on $\mathcal M$,…
For every compact, connected manifold $M$, we prove the existence of a sentence $\phi_M$ in the language of groups such that the homeomorphism group of another compact manifold $N$ satisfies $\phi_M$ if and only if $N$ is homeomorphic to…
Groupoids are the oidification of groups, and they are largely used in topology and representation theory. We consider here the category $\mathsf{Gpd}$ of all groupoids with all morphisms, and the category $\mathsf{Gpd}_\Lambda$ of…
We introduce the notion of a symplectic hopfoid, which is a "groupoid-like" object in the category of symplectic manifolds where morphisms are given by canonical relations. Such groupoid-like objects arise when applying a version of the…
Two of the authors have defined the class $ WDC(M)$ as the class of all subsets of a smooth manifold $M$ that may be expressed in local coordinates as certain sublevel sets of DC (differences of convex) functions. If $M$ is Riemanian and…
We show that, in many situations, a homeomorphism $f$ of a manifold $M$ may be recovered from the (marked) isomorphism class of a finitely generated group of homeomorphisms containing $f$. As an application, we relate the notions of {\em…
We prove two isomorphism-invariance theorems for groupoids associated with ultragraphs. These theorems characterize ultragraphs for which the topological full group of an associated groupoid is an isomorphism invariant. These results extend…
We compute the mapping class group orbits in the homotopy set of framings of a compact connected oriented surface with non-empty boundary. In the case $g > 1$ the computation is some modification of Johnson's results and certain arguments…
We give a self-contained algebraic description of a formal symplectic groupoid over a Poisson manifold M. To each natural star product on M we then associate a canonical formal symplectic groupoid over M. Finally, we construct a unique…
A matchbox manifold is a generalized lamination, which is a continuum whose path components define the leaves of a foliation of the space. A matchbox manifold is M-like if it has the shape of a fixed topological space M. When M is a closed…
Algebraic structures such as monoids, groups, and categories can be formulated within a category using commutative diagrams. In many common categories these reduce to familiar cases. In particular, group objects in Grp are abelian groups,…
Given a compact, connected Lie group $K$, we use principal $K$-bundles to construct manifolds with prescribed finite-dimensional algebraic models. Conversely, let $M$ be a compact, connected, smooth manifold which supports an almost free…
In this paper we define and study the moduli space of metric-graph-flows in a manifold M. This is a space of smooth maps from a finite graph to M, which, when restricted to each edge, is a gradient flow line of a smooth (and generically…
Path and boundary-path groupoids of finitely aligned higher-rank graphs are often constructed using either filters or graph morphisms. We generalise the graph morphism approach to finitely aligned P-graphs where (Q, P) is a weakly…
Let $\Sigma$ be a surface with either boundary or marked points, equipped with an arbitrary framing. In this note we determine the action of the associated "framed mapping class group" on the homology of $\Sigma$ relative to its boundary…
We provide a general framework to study convergence properties of families of maps. For manifolds $M$ and $N$ where $M$ is equipped with a volume form $\mathcal{V}$ we consider families of maps in the collection $\{(\phi, B) : B \subset M,…