Related papers: Pillar switchings and acyclic embedding in mapping…

Let Emb(S^j,S^n) denote the space of C^infty-smooth embeddings of the j-sphere in the n-sphere. This paper considers homotopy-theoretic properties of the family of spaces Emb(S^j,S^n) for n >= j > 0. There is a homotopy-equivalence of…

For a generic degree d smooth map f: N^n -> M^n we introduce its "transverse fundamental group" \pi(f), which reduces to \pi_1(M) in the case where f is a covering, and in general admits a monodromy homomorphism \pi(f) -> S_{|d|};…

Each pointed topological space has an associated $\pi$-module, obtained from action of its first homotopy group on its second homotopy group. For the $3$-ball with a trivial link with $n$-components removed from its interior, its…

A non-unital algebra in a closed monoidal category is called self-induced if the multiplication induces an isomorphism between A\otimes_A A and A. For such an algebra, we define smoothening and roughening functors that retract the category…

Let $M$ be a closed, connected, orientable topological four-manifold with $H_1(M)$ nontrivial and free abelian, $b_2(M)\ne 0, 2$, and $\chi(M)\ne 0$. We show that if $G$ is a finite group of 2-rank $\le 1$ which admits a homologically…

We prove that if $\rho: A(H) \to B(G)$ is a homomorphism between the Fourier algebra of a locally compact group $H$ and the Fourier-Stieltjes algebra of a locally compact group $G$ induced by a mixed piecewise affine map $\alpha : G \to H$,…

To an inclusion topological groups H->G, we associate a naive G-spectrum. The special case when H=G gives the dualizing spectrum D_G introduced by the author in the first paper of this series. The main application will be to give a purely…

We develop a class of homeomorphisms on a compact homogeneous space of a transitive group action and show how the class sheds new light on a decomposition problem. We further use this class to show that every such homogeneous space in a…

We consider when automorphisms of a graph can be induced by homeomorphisms of embeddings of the graph in a $3$-manifold. In particular, we prove that every automorphism of a graph is induced by a homeomorphism of some embedding of the graph…

Let $B$ be Banach algebra and $M$ be topological space. If there exists homeomorphism \[ f:M\rightarrow N \] of topological space $M$ into convex set $N$ of the space $B^n$, then homeomorphism $f$ is called chart of the set $M$. The set $M$…

We establish a duality between harmonic maps from Riemann surfaces to hyperbolic 3-space $\mathbb{H}^3$ and harmonic maps from Riemann surfaces to de Sitter three-space $\operatorname{dS}_3$, best viewed as a generalized Gauss map. On the…

When $S$ is a closed, orientable surface with genus $g(S) \geq 2$, we show that the automorphism group of the compression body graph $\mathcal{CB}(S)$ is the mapping class group. Here, vertices are compression bodies with exterior boundary…

Milner's bigraphs are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the pi-calculus and the Ambient calculus. This paper is only concerned with…

The $d$-fold ($d \geq 3$) branched coverings on a disk give an infinite family of nongeometric embeddings of braid groups into mapping class groups. We, in this paper, give new explicit expressions of these braid group representations into…

Let $G$ be a nonabelian, simple group with a nontrivial conjugacy class $C \subseteq G$. Let $K$ be a diagram of an oriented knot in $S^3$, thought of as computational input. We show that for each such $G$ and $C$, the problem of counting…

A smooth, projective surface $S$ is called a $\emph{standard isotrivial fibration}$ if there exists a finite group $G$ which acts faithfully on two smooth projective curves $C$ and $F$ so that $S$ is isomorphic to the minimal…

The monomorphism category $\mathscr{S}(A, M, B)$ induced by a bimodule $_AM_B$ is the subcategory of $\Lambda$-mod consisting of $\left[\begin{smallmatrix} X\\ Y\end{smallmatrix}\right]_{\phi}$ such that $\phi: M\otimes_B Y\rightarrow X$ is…

We introduce a novel type of stabilization map on the configuration spaces of a graph, which increases the number of particles occupying an edge. There is an induced action on homology by the polynomial ring generated by the set of edges,…

We compute the mapping class group of the manifolds $\sharp^g(S^{2k+1}\times S^{2k+1})$ for $k>0$ in terms of the automorphism group of the middle homology and the group of homotopy $(4k+3)$-spheres. We furthermore identify its Torelli…

We perform extensive three-loop tests of the hexagon bootstrap approach for structure constants in planar $\mathcal{N}=4$ SYM theory. We focus on correlators involving two BPS operators and one non-BPS operator in the so-called $SL(2)$…