We construct a Bousfield–Kan (unstable Adams) spectral sequence based on an arbitrary (and not necessarily connective) ring spectrum $E$ with unit and which is related to the homotopy groups of a certain unstable $E$ completion $X_E^{\wedge}$ of a space $X$. For $E$ an $\mathbb{S}$-algebra this completion agrees with that of the first author and Thompson. We also establish in detail the Hopf algebra structure of the unstable cooperations (the coalgebraic module) $E_*(\underline{E}_*)$ for an arbitrary Landweber exact spectrum $E$, extending work of the second author with Hopkins and with Turner and giving basis-free descriptions of the modules of primitives and indecomposables. Taken together, these results enable us to give a simple description of the $E_2$-page of the $E$-theory Bousfield–Kan spectral sequence when $E$ is any Landweber exact ring spectrum with unit. This extends work of the first author and others and gives a tractable unstable Adams spectral sequence based on a $v_n$-periodic theory for all $n$.

AMS 2000 Mathematics subject classification: Primary 55P60; 55Q51; 55S25; 55T15. Secondary 55P47

We consider Sturm–Liouville boundary-value problems on the interval $[0,1]$ of the form $-y''+qy=\lambda y$ with boundary conditions $y'(0)\sin\alpha=y(0)\cos\alpha$ and $y'(1)=(a\lambda+b)y(1)$, where $a\lt0$. We show that via multiple Crum–Darboux transformations, this boundary-value problem can be transformed ‘almost’ isospectrally to a boundary-value problem of the same form, but with the boundary condition at $x=1$ replaced by $y'(1)\sin\beta=y(1)\cos\beta$, for some $\beta$.

AMS 2000 Mathematics subject classification: Primary 34B07; 47E05; 34L05

We study families of integer polynomials having roots very close to each other.

AMS 2000 Mathematics subject classification: Primary 11C08

Let $D$ be a division ring whose group of units satisfies a non-trivial group identity $w$. Let $\alpha$ be the sum of positive degrees of indeterminates occurring in $w$. If the centre of $D$ contains more than $3\alpha$ elements, then $D$ is commutative.

AMS 2000 Mathematics subject classification: Primary 16R50. Secondary 16K20

The series

\begin{alignat*}{2} L_{r,4}(q)\amp=\sum_{n=0}^\infty\sigma(4n+r)q^{4n+r},\amp\quad r\amp=0,1,2,3, \\ M_{r,4}(q)\amp=\sum_{n=0}^\infty\sigma_3(4n+r)q^{4n+r},\amp\quad r\amp=0,1,2,3, \\ N_{r,4}(q)\amp=\sum_{n=0}^\infty\sigma_5(4n+r)q^{4n+r},\amp\quad r\amp=0,1,2,3, \end{alignat*}

are evaluated and used to prove convolution formulae such as

$$ \sum_{m\le n}\sigma(4m-3)\sigma(4n-(4m-3))=4\sigma_3(n)-4\sigma_3(\tfrac12n). $$

AMS 2000 Mathematics subject classification: Primary 11A25

We present a wavelet characterization of anisotropic Besov spaces $B_{p,q}^{\bm{\alpha}}(\mathbb{R}^n)$, valid for the whole range $0\ltp,q\lt\infty$, and in terms of multi-resolution analyses with dilation adapted to the anisotropy of the space. Our proofs combine classical techniques based on Bernstein and Jackson-type inequalities, and nonlinear methods for the cases $p\lt1$. Among the consequences of our results, we characterize $B_{p,q}^{\bm{\alpha}}$ as a linear approximation space, and derive embeddings and interpolation formulae for $B_{p,q}^{\bm{\alpha}}$, which appear to be new in the literature when $p\lt1$.

AMS 2000 Mathematics subject classification: Primary 42B35; 42C40; 41A17

We are interested in proving the convergence of Monte Carlo approximations for vortex equations in bounded domains of $\mathbb{R}^2$ with Neumann’s condition on the boundary. This work is the first step towards justifying theoretically some numerical algorithms for Navier–Stokes equations in bounded domains with no-slip conditions.

We prove that the vortex equation has a unique solution in an appropriate energy space and can be interpreted from a probabilistic point of view through a nonlinear reflected process with space-time random births on the boundary of the domain.

Next, we approximate the solution $w$ of this vortex equation by the weighted empirical measure of interacting diffusive particles with normal reflecting boundary conditions and space-time random births on the boundary. The weights are related to the initial data and to the Neumann condition. We prove a trajectorial propagation-of-chaos result for these systems of interacting particles. We can deduce a simple stochastic particle algorithm to simulate $w$.

AMS 2000 Mathematics subject classification: Primary 60K35; 76D05

In answer to Jarchow’s 1981 text, we recently characterized when $C_{\textrm{c}}(X)$ is a $df$-space, finding along the way attractive analytic characterizations of when the Tychonov space $X$ is pseudocompact. Analogues now reveal how exquisitely Warner boundedness lies between these two notions. To illustrate, $X$ is pseudocompact, $X$ is Warner bounded or $C_{\textrm{c}}(X)$ is a $df$-space if and only if for each sequence $(\mu_{n})_{n}\subset C_{\textrm{c}}(X)'$ there exists a sequence $(\varepsilon_{n})_{n}\subset(0,1]$ such that $(\varepsilon_{n}\mu_{n})_{n}$ is weakly bounded, is strongly bounded or is equicontinuous, respectively. Our characterizations and proofs add to and simplify Warner’s.

AMS 2000 Mathematics subject classification: Primary 46A08; 46A30; 54C35

We establish various martingale inequalities in a rearrangement-invariant (RI) Banach function space. If $X$ is an RI space that is not too small, we associate with it RI spaces $\mathcal{H}_p(X)$ $(1\leq p\lt\infty)$ and $K(X)$, and discuss martingale inequalities in these spaces. One of our results is as follows. Let $1\leq p\lt\infty$, let $f=(f_n)$ be an $L_p$-bounded martingale, and let $|f|^p=g+h$ be the Doob decomposition of the submartingale $|f|^p=(|f_n|^p)$ into a martingale $g=(g_n)$ and a predictable non-decreasing process $h=(h_n)$ with $h_0=0$. Then, in the case where $1\ltp\lt\infty$, we obtain the inequalities

$$ \|h_{\infty}^{1/p}\|_X\leq2\|f_{\infty}\|_{\mathcal{H}_p(X)}\quad\text{and}\quad \Big\|\sup_n|g_n|^{1/p}\Big\|_X\leq4\|f_{\infty}\|_{\mathcal{H}_p(X)}, $$

and, in the case where $p=1$, we obtain the inequalities

$$ \|h_{\infty}\|_X\leq\sup_{n\in\mathbb{Z}_{+}}\|f_n\|_{K(X)}\quad\text{and}\quad \sup_{n\in\mathbb{Z}_{+}}\|g_n\|_X\leq2\sup_{n\in\mathbb{Z}_{+}}\|f_n\|_{K(X)}. $$

For some specific choices of $X$, we can give explicit expressions for $\mathcal{H}_p(X)$ and $K(X)$. For example, $\mathcal{H}_1(L_1)=L\log L$, $\mathcal{H}_p(L_{p,\infty})=L_{p,1}$, and so on. Furthermore, if the Boyd indices of $X$ satisfy $0\lt\alpha_{X}\leq\beta_{X}\lt1/p$ (respectively, $0\lt\alpha_{X}$), then $\mathcal{H}_p(X)=X$ (respectively, $K(X)=X$). In any case, $\mathcal{H}_p(X)$ is embedded in $K(X)$, and $K(X)$ is embedded in $X$.

AMS 2000 Mathematics subject classification: Primary 60G42; 60G46. Secondary 46E30

Let $A$ be a unital $C^*$-algebra and for each $n\in\mathbb{N}$ let $M_n$ be the $n\times n$ matrix algebra over $\mathbb{C}$. In this paper we shall give a necessary and sufficient condition that there is a unital $C^*$-algebra $B$ satisfying $A\not\cong B$ but for which $A\otimes M_n\cong B\otimes M_n$ for some $n\in\mathbb{N}\setminus\{1\}$. Also, we shall give some examples of unital $C^*$-algebras satisfying the above property.

AMS 2000 Mathematics subject classification: Primary 46L05

We determine when the $*$-double of a finite-dimensional complex algebra is $*$-finite, $*$-tame and $*$-wild.

AMS 2000 Mathematics subject classification: Primary 46K10; 16G60

Let $X$ be a Banach space and let $Y$ be a closed subspace of a Banach space $Z$. The following theorem is proved. Assume that $X^*$ or $Z^*$ has the approximation property. If there exists a bounded linear extension operator from $Y^*$ to $Z^*$, then any bounded linear operator $T:X\rightarrow Y$ is nuclear whenever $T$ is nuclear from $X$ to $Z$. The particular case of the theorem with $Z=Y^{**}$ is due to Grothendieck and Oja and Reinov. Numerous applications are presented. For instance, it is shown that a bounded linear operator $T$ from an arbitrary Banach space $X$ to an $\mathcal{L}_\infty$-space $Y$ is nuclear whenever $T$ is nuclear from $X$ to some Banach space $Z$ containing $Y$ as a subspace.

AMS 2000 Mathematics subject classification: Primary 46B20; 46B28; 47B10

The notion of an atomic operator between spaces of measurable functions was introduced in 2002 in a paper by Drakhlin, Ponosov and Stepanov in order to provide a reasonable generalization of local operators useful for applications. It has been shown that, roughly speaking, atomic operators amount to compositions of local operators with shifts. A natural problem is then when a continuous-in-measure atomic operator can be represented as a composition of a Nemytskiiˇ (composition) operator generated by a Carathéodory function, and a shift operator. In this paper we will show that the answer to this question is inherently related to the possibility of extending an atomic operator with continuity from a space of functions measurable with respect to some $\sigma$-algebra to a larger space of functions measurable with respect to a larger $\sigma$-algebra, as well as to the possibility of extending any $\sigma$-homomorphism from a smaller-measure algebra to a $\sigma$-homomorphism on a larger-measure algebra. We characterize precisely the condition on the respective $\sigma$-algebras which provides such possibilities and induces the positive answer to the above representation problem.

AMS 2000 Mathematics subject classification: Primary 47B38; 47A67; 34K05

New spaces of Lipschitz type on metric-measure spaces are introduced and they are shown to be just the well-known Besov spaces or Triebel–Lizorkin spaces when the smooth index is less than 1. These theorems also hold in the setting of spaces of homogeneous type, which include Euclidean spaces, Riemannian manifolds and some self-similar fractals. Moreover, the relationships amongst these Lipschitz-type spaces, Hajłasz–Sobolev spaces, Korevaar–Schoen–Sobolev spaces, Newtonian Sobolev space and Cheeger–Sobolev spaces on metric-measure spaces are clarified, showing that they are the same space with equivalence of norms. Furthermore, a Sobolev embedding theorem, namely that the Lipschitz-type spaces with large orders of smoothness can be embedded in Lipschitz spaces, is proved. For metric-measure spaces with heat kernels, a Hardy–Littlewood–Sobolev theorem is establish, and hence it is proved that Lipschitz-type spaces with small orders of smoothness can be embedded in Lebesgue spaces.

AMS 2000 Mathematics subject classification: Primary 42B35. Secondary 46E35; 58J35; 43A99