During the last few years several articles on asymptotic martingales (amarts) have appeared. The first unified treatment was given by Edgar and Sucheston in [7], where further references can be found. The purpose of this paper is to add some further results to the theory of amarts.

Let X and Y be normed spaces and let L(X, Y) denote the set of linear transformations (henceforth called “operators”) T with domain a linear subspace D(T) of X and range R(T) contained in Y. The restriction of T to a subspace E is denoted by T/E; by the usual convention T|E = T|E∩ D(T). For a given linear subspace E the family of infinite dimensional ssubspaces of E is denoted by (E). An operator Tis said to have a certain property ℙ ubiquitously if every E ∈ (X) contains an F ∈(E) for which T|F has property ℙ For example, T is ubiquitously continuous if each E ∈(X) contains an F∈ (E) for which T|F is continuous. In the present note we shall characterize ubiquitous continuity, isomorphy, precompactness and smallness. A subspace of X is called a principal subspace if it is closed and of finite codimension in X. The restriction of an operator to a principal subspace will be called a principal restriction. The symbol T will always denote an arbitrary operator in L(X, Y).

Let be either a C*-algebra (with norm ∥ ∥) or a symmetric ideal of operators on a Hilbert space (with norm denoted by σ). Let a1…, an be self-adjoint elements, and let a0 = .

Let S be an ideal of a semigroup V. In such a case, V is an (ideal) extension of S by T = V/S. The problem considered in [2] is the construction of all congruences on V in terms of congruences on S and T. This did not succeed for all congruences but it did for those congruences whose restriction to S is weakly reductive. If the extension is strict, more precise constructions are also given there. With some relatively weak restrictions on S, we are able to obtain in this way all congruences on V in the form indicated above.

The following result is well known in the theory of analytic functions; see [1].

Theorem A. Suppose that f(z) is an entire function of a complex variable z. Then f(z) satisfies the functional equation

where z = x + iy (x, y real), if and only if f(z) = aexp(sz), where a is an arbitrary complex constant and s is an arbitrary real constant.

Let f(n) = an2+ bn + c be an irreducible quadratic polynomial with integer coefficients, and let D denote the discriminant b2 – 4ac of f(n).We shall assume that (D, k) = 1, and that for all positive integer n, f(n) is positive and coprime with k, where k is a fixed integer greater than 1.

Compact elementary operators acting on the algebra ℒ(H) of all bounded operators on some Hilbert space H were characterised by Fong and Sourour in [9]. Akemann and Wright investigated compact and weakly compact derivations on C*-algebras [1], and also studied compactness properties of the sum and the product of the right and the left regular representation of an element in a C*-algebra [2]. They used the concept of a compact Banach algebra element due to Vala [17]: an element a in a Banach algebra A is called compact if the mapping x → axa is compact on A. This notion has been further investigated by Ylinen [18, 19, 20], who showed in particular that a is a compact element of the C*-algebra A if x ↦ axa is weakly compact on A [19].

Many q-identities have been proved combinatorially. For example

In [4] an identity is given which relates the product of two Fourier coefficients of a Hecke eigenform g of half-integral weight and level 4N with N odd and squarefree to the integral of a Hecke eigenform f of even integral weight associated to g under the Shimura correspondence along a geodesic period on the modular curve X0(N) This formula contains as a special case a refinement of a result of Waldspurger [6] about special values of L-series attached to f at the central point.

Let Bn denote the unit ball and Un the unit polydisc in Cn. In this paper we consider questions concerned with inner functions and embeddings of Hardy spaces over bounded symmetric domains. The main result (Theorem 2) states that for a classical symmetric domain D of type I and rank(D) = s, there exists an isometric embedding of Hl(Us) onto a complemented subspace of Hl(D). This should be compared with results of Wojtaszczyk [13] and Bourgain [3, 4] which state that H1(Bn) is isomorphic to Hl(U) while for n>m, Hl(Un) cannot be isomorphically embedded onto a complemented subspace of H1(Um). Since balls are the only bounded symmetric domains of rank 1 and they are of type I, Theorem 2 shows that if rank(D1) = 1, rank(D2) > 1 then H1(D1) is not isomorphic to H1(D2). It is natural to expect this to hold always when rank(D1 ≠ rank(D2) but unfortunately we were not able to prove this.

Let M be a compact hypersurface in a Euclidena space ℝn+1. The support function p of M is the component of the position vector field of Min ℝn+1 along the unit normal vector field to M, which is a smooth function defined on M. Let S be the scalar curvature of M. The object of the present paper is to prove the following theorems.

Mathematicians have studied the diophantine equation of the title ever since the days of Fermat, Leibniz and Euler. In this paper, we review the history of this problem, present several new classes of values of d for which the equation has only trivial solutions, and find a nontrivial solution for d = 85 (a case Euler missed). With these results, the question of whether

has nontrivial solutions is now answered for all d, 0≤d ≤100.

In this paper we shall extend results obtained in [5] to the W*-algebra setting.

Let be a C*-algebra and let + denote the set of positive elements in . Given a fixed element A in , the Lyapunov transformation LA corresponding to A is the mapping of into itself which sends X to AX+XA*. We are interested in characterizing those Bin for which

In this note we point out and discuss a relationship between the following two properties which a C*-algebra A may have:

(D) all derivations on A are inner;

(P) the set of pure states of A is w*-compact.

The relationship is deduced from a comparison of two existing theorems ((I) and (II) below).

If X is a topological space then S(X) will denote the semigroup, under composition, of all continuous functions from X into X. An element f in a semigroup is regular if there is an element g such that fgf = f. The regular elements of S(X) will be denoted by R(X). Elements f and g are inverses of each other if fgf = f and gfg = g. Every regular element has an inverse [1]. If every element in a semigroup has a unique inverse then the semigroup is an inverse semigroup. In this paper we examine maximal inverse subsemigroups of S(X).

Let f(x) denote a polynomial of degree d defined over a finite field k with q = pnelements. B. J. Birch and H. P. F. Swinnerton-Dyer [1] have estimated the number N(f) of distinct values of y in k for which at least one of the roots of

is in k. They prove, using A. Weil's deep results [12] (that is, results depending on the Riemann hypothesis for algebraic function fields over a finite field) on the number of points on a finite number of curves, that

where λ is a certain constant and the constant implied by the O-symbol depends only on d. In fact, if G(f) denotes the Galois group of the equation (1.1) over k(y) and G+(f) its Galois group over k+(y), where k+ is the algebraic closure of k, then it is shown that λ depends only on G(f), G+(f) and d. It is pointed out that “in general”

A. Geddes [1, Theorem 3.3] has shown that the partial algebraic system which he has called a power-free group need not be cancellative. In other words, there exist power-free groups containing at least one element a with the property that ab can equal ac when b ≠ c. In the present paper we propose to study the structure of such non-cancellative power-free groups, and we shall in fact obtain a complete solution to this problem.

Let K be a totally real number field of degree nover ℚ and let c be an integral ideal of a maximal order of K. Given a nonnegative integer j and a Hecke character on the group of ideles of K, let denote the space of Hilbert cusp forms of holomorphic type on ℋn of weight j, level c and character ψ where ℋn is the n-th power of the Poincaré upper half plane ℋ.Let g be an element of , where 1 is the trivial character. If u ∈ Sk(c, ψ), then the product gu is an element of Sk+l (c, ψ), and therefore we can consider the linear map sending u to gu. Let be the adjoint of the linear map Φg with respect to the Petersson inner product.