An unknotting tunnel in a 3-manifold with boundary is a properly embedded arc, the complement of an open neighborhood of which is a handlebody. A geodesic with endpoints on the cusp boundary of a hyperbolic 3-manifold and perpendicular to the cusp boundary is called a vertical geodesic. Given a vertical geodesic $\alpha $ in a hyperbolic 3-manifold $M$, we find sufficient conditions for it to be an unknotting tunnel. In particular, if $\alpha $ corresponds to a 4-bracelet, 5-bracelet or 6-bracelet in the universal cover and has short enough length, it must be an unknotting tunnel. Furthermore, we consider a vertical geodesic $\alpha $ that satisfies the elder sibling property, which means that in the universal cover, every horoball except the one centered at $\infty $ is connected to a larger horoball by a lift of $\alpha $. Such an $\alpha $ with length less than $\ln (2)$ is then shown to be an unknotting tunnel.

In this paper we first show that for a locally compact amenable group $G$, every proper abstract Segal algebra of the Fourier algebra on $G$ is not approximately amenable; consequently, every proper Segal algebra on a locally compact abelian group is not approximately amenable. Then using the hypergroup generated by the dual of a compact group, it is shown that all proper Segal algebras of a class of compact groups including the $2\times 2$ special unitary group, $\mathrm{SU} (2)$, are not approximately amenable.

We investigate which weighted convolution algebras ${ \ell }_{\omega }^{1} (S)$, where $S$ is a semilattice, are AMNM in the sense of Johnson [‘Approximately multiplicative functionals’, J. Lond. Math. Soc. (2) 34(3) (1986), 489–510]. We give an explicit example where this is not the case. We show that the unweighted examples are all AMNM, as are all ${ \ell }_{\omega }^{1} (S)$ where $S$ has either finite width or finite height. Some of these finite-width examples are isomorphic to function algebras studied by Feinstein [‘Strong Ditkin algebras without bounded relative units’, Int. J. Math. Math. Sci. 22(2) (1999), 437–443]. We also investigate when $({ \ell }_{\omega }^{1} (S), { \mathbb{M} }_{2} )$ is an AMNM pair in the sense of Johnson [‘Approximately multiplicative maps between Banach algebras’, J. Lond. Math. Soc. (2) 37(2) (1988), 294–316], where ${ \mathbb{M} }_{2} $ denotes the algebra of $2\times 2$ complex matrices. In particular, we obtain the following two contrasting results: (i) for many nontrivial weights on the totally ordered semilattice ${ \mathbb{N} }_{\min } $, the pair $({ \ell }_{\omega }^{1} ({ \mathbb{N} }_{\min } ), { \mathbb{M} }_{2} )$ is not AMNM; (ii) for any semilattice $S$, the pair $({\ell }^{1} (S), { \mathbb{M} }_{2} )$ is AMNM. The latter result requires a detailed analysis of approximately commuting, approximately idempotent $2\times 2$ matrices.

In the third and latest paper in this series, we recover the imprimitivity theorems of Mansfield and Fell using our technique of Fell bundles over groupoids. Also, we apply the Rieffel surjection of the first paper in the series to relate our version of Mansfield’s theorem to that of an Huef and Raeburn, and to give an automatic amenability result for certain transformation Fell bundles.

We study graded group-valued continuously differentiable mappings defined on stratified groups, where differentiability is understood with respect to the group structure. We characterize these mappings by a system of nonlinear first-order PDEs, establishing a quantitative estimate for their difference quotient. This provides us with a mean value estimate that allows us to prove both the inverse mapping theorem and the implicit function theorem. The latter theorem also relies on the fact that the differential admits a proper factorization of the domain into a suitable inner semidirect product. When this splitting property of the differential holds in the target group, then the inverse mapping theorem leads us to the rank theorem. Both implicit function theorem and rank theorem naturally introduce the classes of image sets and level sets. For commutative groups, these two classes of sets coincide and correspond to the usual submanifolds. In noncommutative groups, we have two distinct classes of intrinsic submanifolds. They constitute the so-called intrinsic graphs, that are defined with respect to the algebraic splitting and everywhere possess a unique metric tangent cone equipped with a natural group structure.

We prove that a continuous map $\phi $ defined on the set of all $n\times n$ Hermitian matrices preserving order in both directions is up to a translation a congruence transformation or a congruence transformation composed with the transposition.

We give an explicit construction for a $K(A, n)$ simplicial group and explain its topological interpretation.