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.

A new proof is given of a theorem of Menšov which states that a measurable function can be changed on a set of arbitrarily small measure to obtain a function with uniformly convergent Fourier series. Other results of Menšov on the representation of functions by trigonometric series are obtained by using a related result.

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 $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.

We show that given an affine algebraic group G over a field K and a finite subgroup scheme H of G there exists a finite dimensional G-module V such that V[mid ]H is free. The problem is raised in the recent paper by Kuzucuo˘glu and Zalesskiiˇ [15] which contains a treatment of the special case in which K is the algebraic closure of a finite field and H is reduced. Our treatment is divided into two parts, according to whether K has zero or positive characteristic. The essence of the characteristic 0 case is a proof that, for given n, there exists a polynomial GLn(ℚ)-module V of dimension 2nΠpp(n2), where the product is over all primes less than or equal to n+1, such that V is free as a ℚH-module for every finite subgroup H of GLn(ℚ). The module V is the tensor product of the exterior algebra Λ*(E), on the natural GLn(ℚ)-module E, and Steinberg modules Stp, one for each prime not exceeding n+1. The Steinberg modules also play the major role in the case in which K has characteristic p>0 and the key point in our treatment is to show that for a finite subgroup scheme H of a general linear group scheme (or universal Chevalley group scheme) G over K, the Steinberg module Stpn for G is injective (and projective) on restriction to H for n[Gt ]0. A curious consequence of this is that, despite the wild behaviour of the modular representation theory of finite groups, one has the following. Let H be a finite group and V a finite dimensional vector space. Then there exists a (well-understood) faithful rational representation π: GL(V)→GL(W) such that, for each faithful representation ρ: H→GL(V), the composite πορ: H→GL(W) is free, in particular all representations πορ are equivalent.

In this paper, we study some asymptotic aspects of the positive eigenfunctions of the combinatorial Laplacian associated to a homogeneous tree. The results are inspired by results of Dennis Sullivan concerning λ-harmonic functions on the hyperbolic spaces ℍn and contained in the paper [9].

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$ .

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.

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ℕ.

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.

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.

The paper is concerned with rings of polynomial invariants of finite groups. In particular, it will be shown that these rings are isomorphic as modules over the Steenrod algebra [Pscr ]* if and only if the group representations are pointwise conjugate. An application to cohomology is the construction of classifying spaces of finite groups which are not homotopy equivalent, but where the cohomology rings are isomorphic as unstable modules over the (topological) Steenrod algebra.

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$.

It is shown that for certain discrete p-perfect groups G, in particular for all p-perfect finite groups and certain groups of finite virtual cohomological dimension, the loop space on the p-completed classifying space ΩBG∧p is a retract of the loop space on the p-completion of a certain finite complex. For those finite virtual cohomological dimension groups where the author's methods apply, a bound on the dimension of such a complex is provided.

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.