Almost linearity of -bi-Lipschitz maps between real Banach spaces

Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that

where as and .

     

A rigidity theorem for the Clifford tori in

Let be the unit hypersphere in the 4-dimensional Euclidean space defined by . For each with , we denote by the Clifford torus in given by the equations and . The Clifford torus is a flat Riemannian manifold equipped with the metric induced by the inclusion map . In this note we prove the following rigidity theorem: If is an isometric embedding, then there exists an isometry of such that . We also show no flat torus with the intrinsic diameter is embeddable in except for a Clifford torus.

     

Any behaviour of the Mitchell ordering of normal measures is possible

Let be two normal measures on . We say that is in the Mitchell ordering less than if The relation is well-known to be transitive and well-founded. It has been an open problem to find a model where embeds the four-element poset . We find a generic extension where all well-founded posets are embeddable. Hence there is no structural restriction on the Mitchell ordering. Moreover we show that it is possible to have two -incomparable measures that extend in a generic extension into two -comparable measures.

     

Best possibility of the Furuta inequality

Let , and . Furuta (1987) proved that if bounded linear operators on a Hilbert space satisfy , then . In this paper, we prove that the range and is best possible with respect to the Furuta inequality, that is, if or , then there exist which satisfy but .

     

Limits of differentiable functions

Suppose that is a sequence of differentiable functions defined on [0,1] which converges uniformly to some differentiable function , and converges pointwise to some function . Let . In this paper we characterize such sets under various hypotheses. It follows from one of our characterizations that can be the entire interval [0,1].

     

A Cartan theorem for Banach algebras

Let be a semisimple Banach algebra, and let be its spectral unit ball. We show that every holomorphic map satisfying and fixes those elements of which belong to the centre of , but not necessarily any others. Using this, we deduce that the automorphisms of all leave the centre invariant. As a further application, we give a new proof of Nagasawa's generalization of the Banach-Stone theorem.

     

A Banach subspace of (isometric version)

For every we construct an -dimensional Banach space which is isometric to a subspace of but is not isometric to a subspace of The isomorphic version of this problem (posed by S. Kwapien in 1969) is still open. Another example gives a Banach subspace of which does not embed isometrically in Note that, from the isomorphic point of view, all the spaces with have the same Banach subspaces.

     

Cohomological detection and regular elements in group cohomology

Suppose that is a compact Lie group or a discrete group of finite virtual cohomological dimension and that is a field of characteristic . Suppose that is a set of elementary abelian -subgroups such that the cohomology is detected on the centralizers of the elements of . Assume also that is closed under conjugation and that is in whenever some subgroup of is in . Then there exists a regular element in the cohomology ring such that the restriction of to an elementary abelian -subgroup is not nilpotent if and only if is in . The converse of the result is a theorem of Lannes, Schwartz and the second author. The results have several implications for the depth and associated primes of the cohomology rings.

     

On the prime model property

Assume is superstable, is a formula over , is countable and is countable and . We investigate models in assuming has the prime model property. We prove some corollaries on the number of models in . We show an example of an -stable and with having exactly 3 models.

     

Rational nodal curves with no smooth Weierstrass points

Let denote the rational curve with nodes obtained from the Riemann sphere by identifying 0 with and with for , where is a primitive th root of unity. We show that if is even, then has no smooth Weierstrass points, while if is odd, then has smooth Weierstrass points.

     

-analyticity

Let be a finite-dimensional commutative algebra over and let , and be the ring of -differentiable functions of class , the ring of real analytic mappings with values in and the ring of -analytic functions, respectively, defined on an open subset of . We prove two basic results concerning -differentiability and -analyticity: ) , ) if and only if is defined over .

     

Critical points of real entire functions and a conjecture of Pólya

Let be a nonconstant real entire function of genus and assume that all the zeros of are distributed in some infinite strip , . It is shown that (1) if has nonreal zeros in the region , and has nonreal zeros in the same region, and if the points and are located outside the Jensen disks of , then has exactly critical zeros in the closed interval , (2) if is at most of order , , and minimal type, then for each positive constant there is a positive integer such that for all has only real zeros in the region , and (3) if is of order less than , then has just as many critical points as couples of nonreal zeros.

     

Integer-valued polynomials on Krull rings

If is a subring of a Krull ring such that is a valuation ring for every finite index , in Spec, we construct polynomials that map into the maximal possible (for a monic polynomial of fixed degree) power of , for all in Spec simultaneously. This gives a direct sum decomposition of Int, the -module of polynomials with coefficients in the quotient field of that map into , and a criterion when Int has a regular basis (one consisting of 1 polynomial of each non-negative degree).

     

and the associated line bundles

Let be a compact semi-simple Lie group, and let be a maximal unipotent subgroup of the complexified group . In this paper, we classify all the -invariant Kaehler structures on . For each Kaehler structure , let be the line bundle with connection whose curvature is . We then study the holomorphic sections of , which constitute a -representation space.

     

On Voiculescu's double commutant theorem

For a separable infinite-dimensional Hilbert space , we consider the full algebra of bounded linear transformations and the unique non-trivial norm-closed two-sided ideal of compact operators . We also consider the quotient -algebra with quotient map

For any -subalgebra of , the relative commutant is given by for all in . It was shown by D. Voiculescu that, for any separable unital -subalgebra of ,

In this note, we exhibit a non-separable unital -subalgebra of for which (VDCT) fails.

     

On a polynomial inequality of Kolmogoroff's type

We prove an inequality of the form

for polynomials of degree and any fixed . Here is the -norm on with a weight . The coefficients and are given explicitly and depend on and only. The equality is attained for the Hermite orthogonal polynomials .

     

Paracompact subspaces in the box product topology

In 1975 E. K. van Douwen showed that if is a family of Hausdorff spaces such that all finite subproducts are paracompact, then for each element of the box product the -product is paracompact. He asked whether this result remains true if one considers uncountable families of spaces. In this paper we prove in particular the following result: Let be an infinite cardinal number, and let be a family of compact Hausdorff spaces. Let be a fixed point. Given a family of open subsets of which covers , there exists an open locally finite in refinement of which covers .

We also prove a slightly weaker version of this theorem for Hausdorff spaces with ``all finite subproducts are paracompact" property. As a corollary we get an affirmative answer to van Douwen's question.

     

Completely positive module maps and completely positive extreme maps

Let be unital -algebras and be the set of all completely positive linear maps of into . In this article we characterize the extreme elements in , for all , and pure elements in in terms of a self-dual Hilbert module structure induced by each in . Let be the subset of consisting of -module maps for a von Neumann algebra . We characterize normal elements in to be extreme. Results here generalize various earlier results by Choi, Paschke and Lin.

     

Proof of the Simon-Ando Theorem

In 1961, Simon and Ando wrote a classical paper describing the convergence properties of nearly completely decomposable matrices. Basically, their work concerned a partitioned stochastic matrix e.g.

where and are square blocks whose entries are all larger than those of and respectively.

Setting

partitioned as in , they observed that for some, rather short, initial sequence of iterates the main diagonal blocks tended to matrices all of whose rows are identical, e.g. to and to . After this initial sequence, subsequent iterations showed that all blocks lying in the same column as those matrices tended to a scalar multiple of them, e.g.

where and .

The purpose of this paper is to give a qualitative proof of the Simon-Ando theorem.

     

Polynomial rings over Goldie-Kerr commutative rings II

An overlooked corollary to the main result of the stated paper (Proc. Amer. Math. Soc. 120 (1994), 989--993) is that any Goldie ring of Goldie dimension 1 has Artinian classical quotient ring , hence is a Kerr ring in the sense that the polynomial ring satisfies the on annihilators . More generally, we show that a Goldie ring has Artinian when every zero divisor of has essential annihilator (in this case is a local ring; see Theorem ). A corollary to the proof is Theorem 2: A commutative ring has Artinian iff is a Goldie ring in which each element of the Jacobson radical of has essential annihilator. Applying a theorem of Beck we show that any ring that has Noetherian local ring for each associated prime is a Kerr ring and has Kerr polynomial ring (Theorem 5).