Related papers: Motion groupoids and mapping class groupoids

For a Poisson manifold $M$ we develop systematic methods to compute its Picard group $Pic(M)$, i.e., its group of self Morita equivalences. We establish a precise relationship between $Pic(M)$ and the group of gauge transformations up to…

We construct a category $\mathrm{HomCob}$ whose objects are {\it homotopically 1-finitely generated} topological spaces, and whose morphisms are {\it cofibrant cospans}. Given a manifold submanifold pair $(M,A)$, we prove that there exists…

We address a natural question in noncommutative geometry, namely the rigidity observed in many examples, whereby noncommutative spaces (or equivalently their coordinate algebras) have very few automorphisms by comparison with their…

For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…

For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…

Let $K$ be a field and $f:\mathbb{P}^N \to \mathbb{P}^N$ a morphism. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group $\text{PGL}_{N+1}$. The group of automorphisms, or…

Using the theory of group action, we first introduce the concept of the automorphism group of an exponential family or a graphical model, thus formalizing the general notion of symmetry of a probabilistic model. This automorphism group…

We upgrade the classical operation of \textit{isomonodromic deformations} along a path $\gamma$ to a functor $\mathbb{P}_{\gamma}$ between categories of flat connections with logarithmic singularities along a divisor $D$, which itself…

Bergman has given the following abstract characterisation of the inner automorphisms of a group $G$: they are exactly those automorphisms of $G$ which can be extended functorially along any homomorphism $G \rightarrow H$ to an automorphism…

We identify natural symmetries of each rigid higher braided category. Specifically, we construct a functorial action by the continuous group $\Omega \mathsf{O}(n)$ on each $\mathcal{E}_{n-1}$-monoidal $(g,d)$-category $\mathcal{R}$ in which…

Let $M$ be a connected orientable compact surface, $f:M\to\mathbb{R}$ be a Morse function, and $\mathcal{D}_{\mathrm{id}}(M)$ be the group of difeomorphisms of $M$ isotopic to the identity. Denote by $\mathcal{S}'(f)=\{f\circ h = f\mid…

An automorphism on a complex supermanifold $\mathcal M$ is called unipotent if it reduces to the identity on the associated graded supermanifold $gr(\mathcal M)$. These automorphisms are close to be complementary to those responsible for…

We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…

A detailed proof is given of a theorem describing the centraliser of a transitive permutation group, with applications to automorphism groups of objects in various categories of maps, hypermaps, dessins, polytopes and covering spaces, where…

We associate a group $IMG(f)$ to every covering $f$ of a topological space $M$ by its open subset. It is the quotient of the fundamental group $\pi_1(M)$ by the intersection of the kernels of its monodromy action for the iterates $f^n$.…

We introduce the notion of measurable bounded cohomology for measured groupoids, extending continuous bounded cohomology of locally compact groups. We show that the measurable bounded cohomology of the semidirect groupoid associated to a…

Consider pairs of the form (G, N), with G a group and N \normal G, as objects of a category \PG. A morphism (G_1, N_1) \To (G_2, N_2) will be a group homomorphism f : G_1 \To G_2 such that f(N_1) \subset N_2. We introduce a functor Q : \PG…

Let $G$ be a connected compact Lie group, and let $M$ be a connected Hamiltonian $G$-manifold with equivariant moment map $\phi$. We prove that if there is a simply connected orbit $G\cdot x$, then $\pi_1(M)\cong\pi_1(M/G)$; if additionally…

A groupoid is a small category in which each morphism has an inverse. A topological groupoid is a groupoid in which both sets of objects and morphisms have topologies such that all groupoid structure maps are continuous. The notion of…

Let $M$ be a connected 1-manifold, i.e., $M = \R \cong (0, 1), [0, 1), [0, 1]$, or $S^1$, and let $\Homeo_+(M)$ (resp. $\Diff_+^1(M)$) be the group of orientation-preserving homeomorphisms (resp. $C^1$ diffeomorphisms) of $M$. It is a…