This article is devoted to the historical study of the ADS-problem with a special emphasis on the use of methods and techniques, emerging with the development of the theory of rings: accessible subrings, iterated maximal essential extensions of rings, completely normal rings. We construct new examples of classes for which Kurosh’s chain stabilizes at any given step. We recall the old nontrivial questions, and we pose a new one.

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.

The aim of this paper is to give a classification theorem for commutative torsion filial rings.

This paper deals with the Schrödinger equation $i{\partial }_{s} u(\mathbf{z} , t; s)- \mathcal{L} u(\mathbf{z} , t; s)= 0, $ where $ \mathcal{L} $ is the sub-Laplacian on the Heisenberg group. Assume that the initial data $f$ satisfies $\vert f(\mathbf{z} , t)\vert \lesssim {q}_{\alpha } (\mathbf{z} , t), $ where ${q}_{s} $ is the heat kernel associated to $ \mathcal{L} . $ If in addition $\vert u(\mathbf{z} , t; {s}_{0} )\vert \lesssim {q}_{\beta } (\mathbf{z} , t), $ for some ${s}_{0} \in \mathbb{R} \setminus \{ 0\} , $ then we prove that $u(\mathbf{z} , t; s)= 0$ for all $s\in \mathbb{R} $ whenever $\alpha \beta \lt { s}_{0}^{2} . $ This result holds true in the more general context of $H$-type groups. We also prove an analogous result for the Grushin operator on ${ \mathbb{R} }^{n+ 1} . $

Every bounded linear operator that maps ${H}^{1} $ to ${L}^{1} $ and ${L}^{2} $ to ${L}^{2} $ is bounded from ${L}^{p} $ to ${L}^{p} $ for each $p\in (1, 2)$, by a famous interpolation result of Fefferman and Stein. We prove ${L}^{p} $-norm bounds that grow like $O(1/ (p- 1))$ as $p\downarrow 1$. This growth rate is optimal, and improves significantly on the previously known exponential bound $O({2}^{1/ (p- 1)} )$. For $p\in (2, \infty )$, we prove explicit ${L}^{p} $ estimates on each bounded linear operator mapping ${L}^{\infty } $ to bounded mean oscillation ($\mathit{BMO}$) and ${L}^{2} $ to ${L}^{2} $. This $\mathit{BMO}$ interpolation result implies the ${H}^{1} $ result above, by duality. In addition, we obtain stronger results by working with dyadic ${H}^{1} $ and dyadic $\mathit{BMO}$. The proofs proceed by complex interpolation, after we develop an optimal dyadic ‘good lambda’ inequality for the dyadic $\sharp $-maximal operator.

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.

For a countable discrete space $V$, every nondegenerate separable ${C}^{\ast } $-correspondence over ${c}_{0} (V)$ is isomorphic to one coming from a directed graph with vertex set $V$. In this paper we demonstrate why the analogous characterizations fail to hold for higher-rank graphs (where one considers product systems of ${C}^{\ast } $-correspondences) and for topological graphs (where $V$ is locally compact Hausdorff), and we discuss the obstructions that arise.

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.

We investigate parabolic Higgs bundles and $\Gamma $-Higgs bundles on a smooth complex projective variety.

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.

Suppose that an elliptic curve $E$ over $ \mathbb{Q} $ has good supersingular reduction at $p$. We prove that Kobayashi’s plus/minus Selmer group of $E$ over a ${ \mathbb{Z} }_{p} $-extension has no proper $\Lambda $-submodule of finite index under some suitable conditions, where $\Lambda $ is the Iwasawa algebra of the Galois group of the ${ \mathbb{Z} }_{p} $-extension. This work is analogous to Greenberg’s result in the ordinary reduction case.

Ritt introduced the concepts of prime and composite polynomials and proved three fundamental theorems on factorizations (in the sense of compositions) of polynomials in 1922. In this paper, we shall give a density estimate on the set of composite polynomials.

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.

In this paper we introduce the notion of finite virtual length for profinite groups (that is, every series has a bounded number of infinite factors) and we prove a Jordan–Hölder type theorem for profinite groups with finite virtual length. More structural results are provided in the pronilpotent and $p$-adic analytic cases.

We show that for a normal locally-$\mathscr{P}$ space $X$ (where $\mathscr{P}$ is a topological property subject to some mild requirements) the subset ${C}_{\mathscr{P}} (X)$ of ${C}_{b} (X)$ consisting of those elements whose support has a neighborhood with $\mathscr{P}$, is a subalgebra of ${C}_{b} (X)$ isometrically isomorphic to ${C}_{c} (Y)$ for some unique (up to homeomorphism) locally compact Hausdorff space $Y$. The space $Y$ is explicitly constructed as a subspace of the Stone–Čech compactification $\beta X$ of $X$ and contains $X$ as a dense subspace. Under certain conditions, ${C}_{\mathscr{P}} (X)$ coincides with the set of those elements of ${C}_{b} (X)$ whose support has $\mathscr{P}$, it moreover becomes a Banach algebra, and simultaneously, $Y$ satisfies ${C}_{c} (Y)= {C}_{0} (Y)$. This includes the cases when $\mathscr{P}$ is the Lindelöf property and $X$ is either a locally compact paracompact space or a locally-$\mathscr{P}$ metrizable space. In either of the latter cases, if $X$ is non-$\mathscr{P}$, then $Y$ is nonnormal and ${C}_{\mathscr{P}} (X)$ fits properly between ${C}_{0} (X)$ and ${C}_{b} (X)$; even more, we can fit a chain of ideals of certain length between ${C}_{0} (X)$ and ${C}_{b} (X)$. The known construction of $Y$ enables us to derive a few further properties of either ${C}_{\mathscr{P}} (X)$ or $Y$. Specifically, when $\mathscr{P}$ is the Lindelöf property and $X$ is a locally-$\mathscr{P}$ metrizable space, we show that

$$\begin{eqnarray*}\dim C_{\mathscr{P}}(X)= \ell \mathop{(X)}\nolimits ^{{\aleph }_{0} } ,\end{eqnarray*}$$

$\ell (X)$

$X$

$\mathscr{P}$

$X$

$$\begin{eqnarray*}Y= {\mathrm{int} }_{\beta X} \upsilon X\end{eqnarray*}$$

$\upsilon X$

$X$

Let $G$ be a finite group acting vertex-transitively on a graph. We show that bounding the order of a vertex stabiliser is equivalent to bounding the second singular value of a particular bipartite graph. This yields an alternative formulation of the Weiss conjecture.

In this paper, we further study Tate cohomology of modules over a commutative ring with respect to semidualizing modules using the ideals of Sather-Wagstaff et al. [‘Tate cohomology with respect to semidualizing modules’, J. Algebra 324 (2010), 2336–2368]. In particular, we prove a balance result for the Tate cohomology ${\widehat{\mathrm{Ext} }}^{n} $ for any $n\in \mathbb{Z} $. This result complements the work of Sather-Wagstaff et al., who proved that the result holds for any $n\geq 1$. We also discuss some vanishing properties of Tate cohomology.

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.

We show that every orbital measure, ${\mu }_{x} $, on a compact exceptional Lie group or algebra has the property that for every positive integer either ${ \mu }_{x}^{k} \in {L}^{2} $ and the support of ${ \mu }_{x}^{k} $ has non-empty interior, or ${ \mu }_{x}^{k} $ is singular to Haar measure and the support of ${ \mu }_{x}^{k} $ has Haar measure zero. We also determine the index $k$ where the change occurs; it depends on properties of the set of annihilating roots of $x$. This result was previously established for the classical Lie groups and algebras. To prove this dichotomy result we combinatorially characterize the subroot systems that are kernels of certain homomorphisms.