Zero product preserving maps of operator-valued functions

Let be locally compact Hausdorff spaces and , be Banach algebras. Let be a zero product preserving bounded linear map with dense range. We show that is given by a continuous field of algebra homomorphisms from into if is irreducible. As corollaries, such a surjective arises from an algebra homomorphism, provided that is a -algebra and is a semi-simple Banach algebra, or both and are -algebras.

     

Real rank and squaring mappings for unital -algebras

It is proved that if is a compact Hausdorff space of Lebesgue dimension , then the squaring mapping , defined by , is open if and only if . Hence the Lebesgue dimension of can be detected from openness of the squaring maps . In the case it is proved that the map , from the selfadjoint elements of a unital -algebra into its positive elements, is open if and only if is isomorphic to for some compact Hausdorff space with .

     

Commutants of reflexive algebras and classification of completely distributive subspace lattices

Let be a subspace lattice on a normed space containing a nontrivial comparable element. If commutes with all the operators in , then there exists a scalar such that . Furthermore, we classify the class of completely distributive subspace lattices into subclasses called Type , Type and Type , respectively. It is shown that nontrivial nests or, more generally, completely distributive subspace lattices with a comparable element are Type , and that nontrivial atomic Boolean subspace lattices are Type .

     

Large groups and their periodic quotients

We first give a short group theoretic proof of the following result of Lackenby. If is a large group, is a finite index subgroup of admitting an epimorphism onto a non-cyclic free group, and are elements of , then the quotient of by the normal subgroup generated by is large for all but finitely many . In the second part of this note we use similar methods to show that for every infinite sequence of primes , there exists an infinite finitely generated periodic group with descending normal series , such that and is either trivial or abelian of exponent .

     

A bound for the dimension of the automorphism group of a homogeneous compact complex manifold

Let be a homogeneous compact complex manifold, and let be the complex Lie group of holomorphic automorphisms of . Examples show that can grow exponentially in . In this note it is shown that

when . Thus, is at most exponential in . The proof relies on an upper bound for the dimension of the space of sections of the anticanonical bundle, , of a homogeneous projective rational manifold of dimension : .

     

A note on the support of a Sobolev function on a -cell

It is shown that a -cell (the homeomorphic image of a closed ball in ) in , , cannot support a function in if [\frac{k+1}{2}]$">, the greatest integer in .

     

Julia sets converging to the unit disk

We consider the family of rational maps , where and is small. If is equal to 0, the limiting map is and the Julia set is the unit circle. We investigate the behavior of the Julia sets of when tends to 0, obtaining two very different cases depending on and . The first case occurs when ; here the Julia sets of converge as sets to the closed unit disk. In the second case, when one of or is larger than , there is always an annulus of some fixed size in the complement of the Julia set, no matter how small is.

     

Control of radii of convergence and extension of subanalytic functions

Let : denote a real analytic function on an open subset of , and let denote the points where does not admit a local analytic extension. We show that if is semialgebraic (respectively, globally subanalytic), then is semialgebraic (respectively, subanalytic) and extends to a semialgebraic (respectively, subanalytic) neighbourhood of . (In the general subanalytic case, is not necessarily subanalytic.) Our proof depends on controlling the radii of convergence of power series centred at points in the image of an analytic mapping , in terms of the radii of convergence of at points , where denotes the Taylor expansion of at .

     

The dual spectral set conjecture

Suppose that where are real numbers such that and The union is not assumed to be disjoint. It is shown that the translates , , tile the real line for some bounded measurable set if and only if the exponentials , , form an orthogonal basis for some bounded measurable set

     

Critical exponents of discrete groups and -spectrum

Let be a noncompact semisimple Lie group and an arbitrary discrete, torsion-free subgroup of . Let be the bottom of the spectrum of the Laplace-Beltrami operator on the locally symmetric space , and let be the exponent of growth of . If has rank , then these quantities are related by a well-known formula due to Elstrodt, Patterson, Sullivan and Corlette. In this note we generalize that relation to the higher rank case by estimating from above and below by quadratic polynomials in . As an application we prove a rigiditiy property of lattices.

     

A classification of rapidly growing Ramsey functions

Let be a number-theoretic function. A finite set of natural numbers is called -large if . Let be the Paris Harrington statement where we replace the largeness condition by a corresponding -largeness condition. We classify those functions for which the statement is independent of first order (Peano) arithmetic . If is a fixed iteration of the binary length function, then is independent. On the other hand is provable in . More precisely let where denotes the -times iterated binary length of and denotes the inverse function of the -th member of the Hardy hierarchy. Then is independent of (for ) iff .

     

Strong comparison principle for solutions of quasilinear equations

Let , , be a bounded smooth connected open set and be a map satisfying the hypotheses (H1)-(H4) below. Let with , in and with be two weak solutions of

Suppose that in . Then we show that u_1$"> in under the following assumptions: either u_1$"> on , or on and in . We also show a measure-theoretic version of the Strong Comparison Principle.

     

Refining the constant in a maximum principle for the Bergman space

Let be the Bergman space over the open unit disk in the complex plane. Korenblum conjectured that there is an absolute constant , such that whenever ( ) in the annulus , then . In this note we give an example to show that

     

Approximate fixed point sequences and convergence theorems for Lipschitz pseudocontractive maps

Let be a nonempty closed convex subset of a real Banach space and be a Lipschitz pseudocontractive self-map of with . An iterative sequence is constructed for which as . If, in addition, is assumed to be bounded, this conclusion still holds without the requirement that Moreover, if, in addition, has a uniformly Gâteaux differentiable norm and is such that every closed bounded convex subset of has the fixed point property for nonexpansive self-mappings, then the sequence converges strongly to a fixed point of . Our iteration method is of independent interest.

     

Uniqueness of dilation invariant norms

Let be a nontrivial dilation. We show that every complete norm on that makes from into itself continuous is equivalent to . also determines the norm of both and with in a weaker sense. Furthermore, we show that even all the dilations do not determine the norm on .

     

Minimal polynomials of elements of order in -modular projective representations of alternating groups

Let be an algebraically closed field of characteristic 0$"> and let be a quasi-simple group with . We describe the minimal polynomials of elements of order in irreducible representations of over . If , we determine the minimal polynomials of elements of order in -modular irreducible representations of , , , , , and .

     

On embeddings of full amalgamated free product C-algebras

We examine the question of when the -homomorphism of full amalgamated free product C-algebras, arising from compatible inclusions of C-algebras , and , is an embedding. Results giving sufficient conditions for to be injective, as well as classes of examples where fails to be injective, are obtained. As an application, we give necessary and sufficient conditions for the full amalgamated free product of finite-dimensional C-algebras to be residually finite dimensional.

     

Codes over rings of size four, Hermitian lattices, and corresponding theta functions

Let be an imaginary quadratic field with ring of integers , where is a square free integer such that , and let is a linear code defined over . The level theta function of is defined on the lattice , where is the natural projection. In this paper, we prove that:

i) for any such that , and have the same coefficients up to ,

ii) for , determines the code uniquely,

iii) for , there is a positive dimensional family of symmetrized weight enumerator polynomials corresponding to .

     

Exponential nonnegativity

Let be a Banach algebra, , the spectrum of and the spectral abscissa of . If , then we show that there exists an algebra cone such that is exponentially nonnegative with respect to and the spectral radius is increasing on .

     

On the invariance of classes under composition

The necessary and sufficient condition for to be in the class for every of that class whose range is in the domain of is that be in .