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 .

     

Properties that characterize Gaussian periods and cyclotomic numbers

Let be a prime number, a -th primitive root of 1 and the periods of degree of . Write with . Several characterizations of the numbers and (or, equivalently, of the cyclotomic numbers of order ) are given in terms of systems of equations they satisfy and a condition on the linear independence, over , of the or on the irreducibility, over , of the characteristic polynomial of the matrix .

     

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.

     

Class numbers and Iwasawa invariants of quadratic fields

Let and be quadratic fields with 2 (mod 3) a positive integer. Let be the respective Iwasawa -invariants of the cyclotomic -extension of these fields. We show that if , then 3 does not divide the class number of and .

     

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 .

     

Isometries of certain operator algebras

To a given basis on an -dimensional Hilbert space , we associate the algebra of all linear operators on having every as an eigenvector. So, is commutative, semisimple, and -dimensional. Given two algebras of this type, and , there is a natural algebraic isomorphism of and . We study the question: When does preserve the operator norm?

     

Differences of vector-valued functions on topological groups

Let be a locally compact group equipped with right Haar measure. The right differences of functions on are defined by for . Let and suppose for some and all . We prove that is a right uniformly continuous function of . If is abelian and the Beurling spectrum does not contain the unit of the dual group , then we show . These results have analogues for functions , where is a separable or reflexive Banach space. Finally, we apply our methods to vector-valued right uniformly continuous differences and to absolutely continuous elements of left Banach -modules.

     

On contravariant finiteness of subcategories of modules of projective dimension

Let be an artin algebra. This paper presents a sufficient condition for the subcategory of to be contravariantly finite in , where is the subcategory of consisting of --modules of projective dimension less than or equal to . As an application of this condition it is shown that is contravariantly finite in for each when is stably equivalent to a hereditary algebra.

     

On a measure-theoretic problem of Arveson

A probability measure on a product space is said to be bistochastic with respect to measures on and on if the marginals and are exactly and . A solution is presented to a problem of Arveson about sets which are of measure zero for all such .

     

Bounds for the operator norms of some Nörlund matrices

Suppose is a non-increasing sequence of non-negative numbers with , , , and is the lower triangular matrix defined by , , and , . We show that the operator norm of as a linear operator on is no greater than , for ; this generalizes, yet again, Hardy's inequality for sequences, and simplifies and improves, in this special case, more generally applicable results of D. Borwein, Cass, and Kratz. When the tend to a positive limit, the operator norm of on is exactly . We also give some cases when the operator norm of on is less than .

     

Weighted inequalities for the maximal geometric mean operator

For nonnegative Borel measures on and for the maximal geometric mean operator , we characterize the weight pairs for which is of weak type and of strong type , . No doubling conditions are needed. We also note that a previously published different characterization for the strong type inequality for has an incorrect proof.

     

-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 .

     

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.

     

Representation of continuous functions as sums of Green functions

Let , where is polar and compact and is a domain with Green function . We characterize those subsets of which have the following property: Every positive continuous function on can be written as , where and for each .

     

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.

     

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.

     

The range of a ring homomorphism from a commutative -algebra

We prove that if a commutative semi-simple Banach algebra is the range of a ring homomorphism from a commutative -algebra, then is -equivalent, i.e. there are a commutative -algebra and a bicontinuous algebra isomorphism between and . In particular, it is shown that the group algebras , and the disc algebra are not ring homomorphic images of -algebras.

     

A proportional Dvoretzky-Rogers factorization result

If is an -dimensional normed space and , there exists , such that the formal identity can be written as , with . This is proved as a consequence of a Sauer-Shelah type theorem for ellipsoids.

     

Banach spaces in which every -weakly summable sequence lies in the range of a vector measure

Let be a Banach space. For we prove that the identity map is -summing if and only if the operator is nuclear for every unconditionally summable sequence in , where is the conjugate number for . Using this result we find a characterization of Banach spaces in which every -weakly summable sequence lies inside the range of an -valued measure (equivalently, every -weakly summable sequence in , satisfying that the operator is compact, lies in the range of an -valued measure) with bounded variation. They are those Banach spaces such that the identity operator is -summing.

     

On purely inseparable extensions and their generators

Let be a field of characteristic and a polynomial algebra in two variables. By a -generator of we mean an element of for which there exist and such that . We also define a -line of to mean any element of whose coordinate ring is that of a -generator. Then we prove that if is such that is a -line of (where is an indeterminate over ), then is a -generator of . This is analogous to the well-known fact that if is such that is a line of , then is a variable of . We also prove that if is a -line of for which there exist and such that , then is in fact a -generator of .