We study an interesting class of Banach function algebras of infinitely differentiable functions on perfect, compact plane sets. These algebras were introduced by H. G. Dales and A. M. Davie in 1973, called Dales-Davie algebras and denoted by D(X, M), where X is a perfect, compact plane set and M = {M n }∞ n = 0 is a sequence of positive numbers such that M 0 = 1 and (m + n)!/M m+n ≤ (m!/M m )(n!/M n ) for m, n ∈ N. Let d = lim sup(n!/Mn )1/n and Xd = {z ∈ C : dist(z, X) ≤ d}. We show that, under certain conditions on X, every f ∈ D(X, M) has an analytic extension to X d . Let DP [D R ]) be the subalgebra of all f ∈ D(X, M) that can be approximated by the restriction to X of polynomials [rational functions with poles off X]. We show that the maximal ideal space of D P is , the polynomial convex hull of X d , and the maximal ideal space of D R is X d . Using some formulae from combinatorial analysis, we find the maximal ideal space of certain subalgebras of Dales-Davie algebras.

Let Sg be a closed orientable surface of genus g ≥ 2 and C a simple closed nonseparating curve in F. Let tC denote a left-handed Dehn twist about C. A fractional power of tC of exponent ℓ//n is an h ∈ Mod(Sg) such that hn = tCℓ. Unlike a root of a tC, a fractional power h can exchange the sides of C. We derive necessary and sufficient conditions for the existence of both side-exchanging and side-preserving fractional powers. We show in the side-preserving case that if gcd(ℓ,n) = 1, then h will be isotopic to the ℓth power of an nth root of tC and that n ≤ 2g+1. In general, we show that n ≤ 4g, and that side-preserving fractional powers of exponents 2g//2g+2 and 2g//4g always exist. For a side-exchanging fractional power of exponent ℓ//2n, we show that 2n ≥ 2g+2, and that side-exchanging fractional powers of exponent 2g+2//4g+2 and 4g+1//4g+2 always exist. We give a complete listing of certain side-preserving and side-exchanging fractional powers on S5.

In [1] J. Lindenstrauss and M. A. Perles studied the extreme points of the set of all linear operators T of norm ≤ 1 from a finite dimensional Banach space X into itself. In particular they studied the question “When do these extreme points form a semigroup?”.

Pointing out the difference between the Discrete Nonlinear Schrödinger equation with the classical power law nonlinearity – for which solutions exist globally, independently of the sign and the degree of the nonlinearity, the size of the initial data and the dimension of the lattice – we prove either global existence or nonexistence, in time, for the Discrete Klein-Gordon equation with the same type of nonlinearity (but of “blow-up” sign), under suitable conditions on the initial data, and sometimes on the dimension of the lattice. The results consider both the conservative and the linearly damped lattice. Similarities and differences with the continuous counterparts are remarked. We also make a short comment on the existence of excitation thresholds, for forced solutions of damped and parametrically driven Klein-Gordon lattices.

Let μ be a homomorphic mapping of some subgroup A of the group G onto a subgroup Ḃ (not necessarily distinct from A) of G; then we call μ a partial endomorphism of G. If A coincides with G, that is, if the homomorphism is defined on the whole of G, we speak of a total endomorphism; this is what is usually called an endomorphism of G. A partial (or total) endomorphism μ*extends or continues a partial endomorphism μ if the domain of μ* contains the domain of μ, that is, μ* is defined for (at least) all those elements for which μ. is defined, and moreover μ* coincides with μ where μ is defined.

Let $m, n\in\Bbb N$, $V$ be a $2m$-dimensional complex vector space. The irreducible representations of the Brauer's centralizer algebra $B_n(-2m)$ appearing in $V^{\otimes{n}}$ are in 1–1 correspondence to the set of pairs $(\,f,\lamda)$, where $f\in\Z$ with $0\leq f\leq [n/2]$, $and$ $\lam\vdash n-2f$ satisfying $\lam_1\leq m$. In this paper, we first show that each of these representations has a basis consists of eigenvectors for the subalgebra of $B_n(-2m)$ generated by all the Jucys-Murphy operators, and we determine the corresponding eigenvalues. Then we identify these representations with the irreducible representations constructed from a cellular basis of $B_n(-2m)$. Finally, an explicit description of the action of each generator of $B_n(-2m)$ on such a basis is also given, which generalizes earlier work of [15] for Brauer's centralizer algebra $B_n(m)$.

Suppose C is a bounded chain complex of finitely generated free modules over the Laurent polynomial ring L = R[x,x−1]. Then C is R-finitely dominated, i.e. homotopy equivalent over R to a bounded chain complex of finitely generated projective R-modules if and only if the two chain complexes C ⊗LR((x)) and C ⊗LR((x−1)) are acyclic, as has been proved by Ranicki (A. Ranicki, Finite domination and Novikov rings, Topology34(3) (1995), 619–632). Here R((x)) = R[[x]][x−1] and R((x−1)) = R[[x−1]][x] are rings of the formal Laurent series, also known as Novikov rings. In this paper, we prove a generalisation of this criterion which allows us to detect finite domination of bounded below chain complexes of projective modules over Laurent rings in several indeterminates.

Let

be an indefinite quadratic form with real coefficients. A well-known result, due to Birch, Davenport and Ridout [1], [5] and [6], states that if n ≥21 then for any ε > 0 there is an integer vector x ≠O such that

Recently [3] we have quantified this result, obtaining a function g(n) such that g(n)→ ½ as n n→ ∞ and such that for any η > 0 and all large enough X there is an integer vector x satisfying

where |x| = max |xi|and the implicit constant in Vinogradov's ≪-notation is independent of X.

In this paper we give necessary and sufficient conditions on a commutative semigroup in order that it should have a maximal homomorphic image of one of the following types: (1) groups, (2) semigroups which are unions of groups and (3) pseudoinvertible semigroups, i. e. semigroups having the property that some power of each element lies in a subgroup of the semigroup.

From the proof of Theorem 2 of [5] it follows that for every positive integer k there exist infinitely many primes p in the arithmetical progression ax + b (x = 0, 1, 2,…), where a and b are relatively prime positive integers, such that the number 2p−1 − 1 has at least k composite factors of the form (p − 1)x + 1. The following question arises:

For any given natural number k, do there exist infinitely many primes p such that the number 2p−1 − 1 has k prime factors of the form(p − 1)x + 1 and p ≡ b (mod a), where a and b are coprime positive integers?

Cooke [1] modified a technique used by Erdelyi and Sneddon [2] to solve triple integral equations of a certain type. In this paper, we extend this method to solve the quadruple integral equations

where F1, G2, F3 and G4 are prescribed functions of p and ψ(ξ) is to be determined. With no loss of generality we shall assume that G2(p)≡0, G4(p)≡0.

In this note we consider the question as to which central division algebras occur as the Clifford algebra of a quadratic form over a field. Non-commutative ones other than quaternion division algebras can occur and it is also the case that there are certain central division algebras D which, while not themselves occurring as a Clifford algebra, are such that some matrix ring over D does occur as a Clifford algebra. We also consider the further question as to which involutions on the division algebra can occur as one of two natural involutions on the Clifford algebra.

We characterize those non-negative, measurable functions ψ on [0, 1] and positive, continuous functions ω1 and ω2 on ℝ+ for which the generalized Hardy–Cesàro operator

$$\begin{equation*}(U_{\psi}f)(x)=\int_0^1 f(tx)\psi(t)\,dt\end{equation*}$$

We investigate the spectral properties of matrices associated with comb graphs. We show that the adjacency matrices and adjacency matrix Laplacians of the sequences of graphs show a spectral similarity relationship in the sense of work by L. Malozemov and A. Teplyaev (Self-similarity, operators and dynamics, Math. Phys. Anal. Geometry6 (2003), 201–218), and hence these sequences of graphs show a spectral decimation property similar to that of the Laplacians of the Sierpiński gasket graph and other fractal graphs.

We prove a natural factorization of supersolvable groups and then we give another characterization of them in connection with the Fitting subgroup. Applying these theorems we describe the structure of some subclasses of supersolvable groups.

Voevodsky has conjectured that numerical equivalence and smash-equivalence coincide for algebraic cycles on any smooth projective variety. Building on work of Vial and Kahn–Sebastian, we give some new examples of varieties where Voevodsky's conjecture is verified.

It is shown that for the Laplacian masa in the free group factors, the orthocomplement of the associated Jones' projection is an infinite direct sum of coarse bimodules.

We prove a result in the area of twisted Diophantine approximation related to the theory of Schmidt games. In particular, under certain restrictions we give an affirmative answer to the analogue in this setting of a famous conjecture of Schmidt from Diophantine approximation.

Let A be a UHF-algebra and K the C*-algebra of all compact operators on a countably infinite-dimensional Hilbert space. In this note we shall find all projections p in A with $pAp\congA$ and, using these projections, we shall determine the group of automorphisms of $K_0(A\otimes$K) induced by those of $A\otimes$K in some cases.

1991 Mathematics Subject Classification 46 L40.

A polynomial P ∈ (kE, F) is left ℓ1-factorable if there are a polynomial Q ∈ (kE, ℓ1) and an operator L ∈ (ℓ1, F) such that P = L ○ Q. We characterise the Radon–Nikodým property by the left ℓ1-factorisation of polynomials on L1(μ). We study the left ℓ1-factorisation of nuclear, compact and Pietsch integral polynomials. For Pietsch integral polynomials, we introduce the left integral ℓ1-factorisation property, obtaining a second polynomial characterisation of the Radon–Nikodým property and showing that it plays a role somehow comparable, in this setting, to nuclearity of operators. A characterisation of 1-spaces is also given in terms of the left compact ℓ1-factorisation of polynomials.