Sharper changes in topologies

Let be a Polish group, a Polish topology on a space , acting continuously on , with -invariant and in the Borel algebra generated by . Then there is a larger Polish topology on so that is open with respect to , still acts continuously on , and has a basis consisting of sets that are of the same Borel rank as relative to .

     

-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

Smith equivalence of representations for finite perfect groups

Using smooth one-fixed-point actions on spheres and a result due to Bob Oliver on the tangent representations at fixed points for smooth group actions on disks, we obtain a similar result for perfect group actions on spheres. For a finite group , we compute a certain subgroup of the representation ring . This allows us to prove that a finite perfect group has a smooth -proper action on a sphere with isolated fixed points at which the tangent representations of are mutually nonisomorphic if and only if contains two or more real conjugacy classes of elements not of prime power order. Moreover, by reducing group theoretical computations to number theory, for an integer and primes , we prove similar results for the group , , or . In particular, has Smith equivalent representations that are not isomorphic if and only if , , .

     

Lusin's theorem for derivatives with respect to a continuous function

For a nowhere constant continuous function on a real interval and for a Borel measure on , we give simple necessary and sufficient conditions guaranteeing, for any Borel function on , the existence of a continuous function on such that the derivative of with respect to is, almost everywhere, equal to .

     

On a problem of Dynkin

Consider an -superdiffusion on , where is an uniformly elliptic differential operator in , and . The -polar sets for are subsets of which have no intersection with the graph of , and they are related to the removable singularities for a corresponding nonlinear parabolic partial differential equation. Dynkin characterized the -polarity of a general analytic set in term of the Bessel capacity of , and Sheu in term of the restricted Hausdorff dimension. In this paper we study in particular the -polarity of sets of the form , where and are two Borel subsets of and respectively. We establish a relationship between the restricted Hausdorff dimension of and the usual Hausdorff dimensions of and . As an application, we obtain a criterion for -polarity of in terms of the Hausdorff dimensions of and , which also gives an answer to a problem proposed by Dynkin in the 1991 Wald Memorial Lectures.

     

On almost representations of groups

We say that a group belongs to the class if every nonunit quotient group of has an element of order two.

Let be a Hilbert space and let be its group of unitary operators. Suppose that groups and belong to the class and the order of is more than two. Then the free product has the following property. For any there exists a mapping satisfying the following conditions :

1)

2) for any representation the relation

holds.

     

Existence of unliftable modules

Let be a commutative Noetherian local ring, and let where is a non-zerodivisor of contained in . Then a finitely generated -module is said to lift to if there exists a finitely generated -module such that is -regular and . In this paper we give a general construction of finitely generated -modules of finite projective dimension over which fail to lift to provided and the depth of is at least 2.

     

Associative rings satisfying the Engel condition

Let be a commutative ring, and let be an associative -algebra generated by elements . We show that if satisfies the Engel condition of degree , then is upper Lie nilpotent of class bounded by a function that depends only on and . We deduce that the Engel condition in an arbitrary associative ring is inherited by its group of units, and implies a semigroup identity.

     

Harmonic maps with noncontact boundary values

Every rank one symmetric space , of noncompact type, admits a compactification by attaching a sphere at infinity. If does not have constant sectional curvature, then admits a natural contact structure. This paper presents a number of harmonic maps , from to , which extend continuously to , and have noncontact boundary values. If the boundary values are assumed continuously differentiable, then the contact structure must be preserved.

     

Spectrum preserving linear mappings for scattered Jordan-Banach algebras

Given two semisimple complex Jordan-Banach algebras with identity and , we say that is a spectrum preserving linear mapping from to if is surjective and we have , for all . We prove that if is a scattered Jordan-Banach algebra, then is a Jordan isomorphism.

     

Tensor products of subnormal operators

We shall use a -algebra approach to study operators of the form where is subnormal and is normal. We shall determine the spectral properties for these operators, and find the minimal normal extension and the dual operator. We also give a necessary condition for to contain a compact operator and a sufficient condition for the algebraic equivalence of and .

We also consider the existence of a homomorphism satisfying . We shall characterize the operators such that exists for every operator .

The problem of when is unitarily equivalent to is considered. Complete results are given when and are positive operators with finite multiplicity functions and has compact self-commutator. Some examples are also given.

     

Convergence of the steepest descent method for accretive operators

Let be a uniformly smooth Banach space and let be a bounded demicontinuous mapping, which is also -strongly accretive on . Let and let be an arbitrary initial value in . Then the approximating scheme

converges strongly to the unique solution of the equation , provided that the sequence fulfills suitable conditions.

     

On covering multiplicity

Let be a system of arithmetic sequences which forms an -cover of (i.e. every integer belongs at least to members of ). In this paper we show the following surprising properties of : (a) For each there exist at least subsets of with such that . (b) If forms a minimal -cover of , then for any there is an such that for every there exists an for which and

     

Group rings whose symmetric elements are Lie nilpotent

Let be the group ring of a group over a field , with characteristic different from . Let denote the natural involution on sending each group element to its inverse. Denote by the set of symmetric elements with respect to this involution. A paper of Giambruno and Sehgal showed that provided has no -elements, if is Lie nilpotent, then so is . In this paper, we determine when is Lie nilpotent, if does contain -elements.

     

The distribution of solutions of the congruence

For a cube of size , we obtain a lower bound on so that is nonempty, where is the algebraic subset of defined by

a positive integer and an integer not divisible by . For we obtain that is nonempty if , for we obtain that is nonempty if , and for we obtain that is nonempty if . Using the assumption of the Grand Riemann Hypothesis we obtain is nonempty if .

     

Projections from

Let and be two infinite dimensional real Banach spaces. The following question is classical and long-standing. Are the following properties equivalent?

a) There exists a projection from the space of continuous linear operators onto the space of compact linear operators.

b) .

The answer is positive in certain cases, in particular if or has an unconditional basis. It seems that there are few results in the direction of a general solution. For example, suppose that and are reflexive and that or has the approximation property. Then, if , there is no projection of norm 1, from onto . In this paper, one obtains, in particular, the following result:

Theorem. Let be a real Banach space which is reflexive (resp. with a separable dual), of infinite dimension, and such that has the approximation property. Let be a real scalar with . Then can be equivalently renormed such that, for any projection from onto , one has . One gives also various results with two spaces and .

     

A Dauns-Hofmann theorem for TAF-algebras

Let be a TAF-algebra, the centre of the ideal lattice of , and the space of meet-irreducible elements of , equipped with the hull-kernel topology. It is shown that is a compact, locally compact, second countable, -space, that is an algebraic lattice isomorphic to the lattice of open subsets of , and that is isomorphic to the algebra of continuous, complex functions on . If is semisimple, then is isomorphic to the algebra of continuous, complex functions on , the primitive ideal space of . If is strongly maximal, then the sum of two closed ideals of is closed.

     

On sums and products of integers

Erdös and Szemerédi proved that if is a set of positive integers, then there must be at least integers that can be written as the sum or product of two elements of , where is a constant and . Nathanson proved that the result holds for . In this paper it is proved that the result holds for and .

     

On permutation representations of polyhedral groups

We answer affirmatively the following question of Derek Holt: Given integers , can one, in a simple manner, find a finite set and permutations such that has order , has order and has order ? The method of proof enables us to prove more general results (Theorems 2 and 3).

     

Infinite homogeneous algebras are anticommutative

A (non-associative) algebra , over a field , is called homogeneous if its automorphism group permutes transitively the one dimensional subspaces of . Suppose is a nontrivial finite dimensional homogeneous algebra over an infinite field. Then we prove that for all in , and so for all .