It is proved that the word problem of the direct product of two free groups of rank 2 can be recognised by a 2-tape real-time but not by a 1-tape real-time Turing machine. It is also proved that the Baumslag–Solitar groups $B$(1, $r$) have the 5-tape real-time word problem for all $r\neq 0$.

Weakly almost periodic compactifications have been seriously studied for over 30 years. In the pioneering papers of de Leeuw and Glicksberg [4] and [5], the approach adopted was operator-theoretic. The current definition is more likely to be created from the perspective of universal algebra (see [1, Chapter 3]). For a discrete group or semigroup S, the weakly almost periodic compactification wS is the largest compact semigroup which (i) contains S as a dense subsemigroup, and (ii) has multiplication continuous in each variable separately (where largest means that any other compact semigroup with the properties (i) and (ii) is a quotient of wS). A third viewpoint is to envisage wS as the Gelfand space of the C*-algebra of bounded weakly almost periodic functions on S (for the definition of such functions, see below).

In this paper, we are concerned only with the simplest semigroup (ℕ, +). The three approaches described above give three methods of obtaining information about wℕ. An early striking result about wℕ, that it contains more than one idempotent, was obtained by T. T. West using operator theory [13]. He considered the weak operator closure of the semigroup {T, T2, T3, …} of iterates of a single operator T on the Hilbert space L2(μ) for a particular measure μ on [0, 1]. Brown and Moran, in a series of papers culminating in [2], used sophisticated techniques from harmonic analysis to produce measures μ that permitted the detection of further structure in wℕ; in particular, they found 2[cfr ] distinct idempotents. However, for many years, no other way of showing the existence of more than one idempotent in wℕ was found.

The breakthrough came in 1991, and it was made by Ruppert [11]. In his paper, he created a direct construction of a family of weakly almost periodic functions which could detect 2[cfr ] different idempotents in wℕ. His method was very ingenious (he used a unique variant of the p-adic expansion of integers) and rather complicated. Our main aim in this paper is to construct weakly almost periodic functions which are easy to describe and so appear more ‘natural’ than Ruppert's. We also show that there are enough functions of our type to distinguish 2[cfr ] idempotents in wℕ.

If the sum of a series of positive numbers is not convergent and the series satisfies certain regularity conditions, a probability measure can be found whose support contains no interval, yet whose Fourier series decreases faster than the given series.

Let $G$ be a reductive $p$-adic group. Consider the category of smooth (complex) representations of $G$ in which a (fixed) closed cocompact subgroup of the centre acts by a (fixed) character. It is well known that the supercuspidal representations in this category are both injective and projective. It is shown that, conversely, an admissible injective or projective object is necessarily supercuspidal.

Let M be a Hamiltonian K-space with proper moment map $\mu$. The symplectic quotient $X=\mu^{-1}(0)/K$ is a singular stratified space with a symplectic structure on the strata. In this paper we generalise the Kirwan map, which maps the K equivariant cohomology of $\mu^{-1}(0)$ to the middle perversity intersection cohomology of X, to this symplectic setting.

The key technical results which allow us to do this are Meinrenken's and Sjamaar's partial desingularisation of singular symplectic quotients and a decomposition theorem, proved in Section 2 of this paper, exhibiting the intersection cohomology of a ‘symplectic blowup’ of the singular quotient X along a maximal depth stratum as a direct sum of terms including the intersection cohomology of X.

Let $T=U(1)$ and $M$ be a Hamiltonian $T$-space with proper moment map $\mu\,{:}\,M\longrightarrow \rr$. When 0 is not a regular value of $\mu$, the symplectic quotient $X=\mu^{-1}(0)/T$ is a singular stratified space. A description is provided of the middle perversity intersection cohomology of $X$ as a subspace of the equivariant cohomology $H^*_T(\mu^{-1}(0))$. The approach is sheaf theoretic.

Let [ ] be an algebraic number field of degree n over the rationals, and denote by Jk the subring of [ ] generated by the kth powers of the integers of [ ]. Then G[ ](k) is defined to be the smallest s[ges ]1 such that, for all totally positive integers v∈Jk of sufficiently large norm, the Diophantine equation

formula here

is soluble in totally non-negative integers λi of [ ] satisfying

formula here

In (1.2) and throughout this paper, all implicit constants are assumed to depend only on [ ], k, and s. The notation G[ ](k) generalizes the familiar symbol G(k) used in Waring's problem, since we have Gℚ(k) = G(k).

By extending the Hardy–Littlewood circle method to number fields, Siegel [8, 9] initiated a line of research (see [1–4, 11]) which generalized existing methods for treating G(k). This typically led to upper bounds for G[ ](k) of approximate strength nB(k), where B(k) was the best contemporary upper bound for G(k). For example, Eda [2] gave an extension of Vinogradov's proof (see [13] or [15]) that G(k)[les ](2+o(1))k log k. The present paper will eliminate the need for lengthy generalizations as such, by introducing a new and considerably shorter approach to the problem. Our main result is the following theorem.

A version of interpolation inequalities for derivatives in logarithmic Orlicz spaces is obtained where the first gradient of $u$ is estimated in terms of $u$ and its second gradient. One of the Orlicz functions considered is supposed to be ${\backslash\lambda^p}$. The motivation, examples and applications are discussed.

Let $\Lambda$ be a connected representation finite selfinjective algebra. According to $G$ . Zwara the partial orders $\le_{\rm ext}$ and $\le_{\rm deg}$ on the isomorphism classes of $d$ -dimensional $\Lambda$ -modules are equivalent if and only if the stable Auslander–Reiten quiver $\Gamma_{\Lambda}$ of $\Lambda$ is not isomorphic to ${\bb Z}D_{3m}/\tau^{2m-1}$ for all $m\ge 2$ . The paper describes all minimal degenerations $M\le_{\rm deg} N$ with $M\not\leq_{\rm ext} N$ in the case when $\Gamma_\Lambda\cong {\bb Z}D_{3m}/\tau^{2m-1}$ for some $m\ge 2$ .

Finite-dimensional algebras over an algebraically closed field are divided into two disjoint classes, called tame and wild respectively, by Drozd's tame and wild dichotomy (see [5] and [2]). A tame algebra, roughly speaking, has its n-dimensional indecomposable modules parametrized by finitely many one-parameter families, for all natural numbers n, but a wild algebra has more indecomposable modules and it is considered hopeless to classify them. In [2], Crawley-Boevey showed that all but finitely many n-dimensional indecomposable modules over a tame algebra are τ-invariant, for all natural numbers n, and conjectured that the converse would be true, where τ := DTr is the Auslander–Reiten translation (see [1]) and we call an indecomposable module X τ-invariant if X ≅ = τX.

In this paper we study the abstract quasi-linear evolution equation of second order

formula here

in a general Banach space Z. It is well-known that the abstract quasi-linear theory due to Kato [10, 11] is widely applicable to quasi-linear partial differential equations of second order and that his theory is based on the theory of semigroups of class (C0). (For example, see the work of Hughes et al. [9] and Heard [8].) However, even in the special case where A(t, w, v) = A is independent of (t, w, v), it is found in [2] and [14] that there exist linear partial differential equations of second order for which Cauchy problems are not solvable by the theory of semigroups of class (C0) but fit into the mould of well-posed problems where the solution and its derivative depend continuously on the initial data if the initial condition is measured in the graph norm of a suitable power of A. (See also work by Krein and Khazan [13] and Fattorini [6, Chapter 8].) This kind of Cauchy problem has recently been studied extensively, using the theory of integrated semigroups or regularized semigroups. The theory of integrated semigroups was studied intensively by Arendt [1] and that of regularized semigroups was initiated by Da Prato [3] and renewed by Davies and Pang [4]. For the theory of regularized semigroups we refer the reader to [5] and [16].

Extensions of the concept of asymptotic independence which are useful in the study of abelian C$^*$-algebras generated by the union of two of their C$^*$-subalgebras are examined. Non-trivial examples are also given in terms of classes of bounded continuous functions defined on a locally compact group.

The Kronecker quiver $K$ is considered, and the relations for the specialisation at $q=0$ of the generic composition algebra are given, as well as those for Reineke's composition monoid. As a corollary, it is deduced that the composition monoid is a proper factor of the specialisation of the composition algebra. A normal form is also obtained for the varieties occurring in the composition monoid in terms of Schur roots.

A formula of Poisson summation type is established for sums involving relative norms in an extension of number fields.

We introduce a numerical radius operator space $(X, \mathcal{W}_n)$. The conditions to be a numerical radius operator space are weaker than Ruan's axiom for an operator space $(X, \mathcal{O}_n)$. Let $w(\cdot)$ be the numerical radius on $\mathbb{B}(\mathcal{H})$. It is shown that, if $X$ admits a norm $\mathcal{W}_n(\cdot)$ on the matrix space $\mathbb{M}_n(X)$ which satisfies the conditions, then there is a complete isometry, in the sense of the norms $\mathcal{W}_n(\cdot)$ and $w_n(\cdot)$, from $(X, \mathcal{W}_n)$ into $(\mathbb{B}(\mathcal{H}), w_n)$. We study the relationship between the operator space $(X, \mathcal{O}_n)$ and the numerical radius operator space $(X, \mathcal{W}_n)$. The category of operator spaces can be regarded as a subcategory of numerical radius operator spaces.