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 .

     

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.

     

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 .

     

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 .

     

The boundedness of Riesz

Let be a finite nonzero Borel measure in satisfying for all and and some . If the Riesz -transform

is essentially bounded, then is an integer. We also give a related result on the -boundedness.

     

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.

     

A coefficient of an asymptotic expansion of logarithms of determinants for classical elliptic pseudodifferential operators with parameters

For classical elliptic pseudodifferential operators of order with parameter of weight , it is known that admits an asymptotic expansion as . In this paper we show, with some assumptions, that the coefficient of can be expressed by the value of a zeta function at 0 for some elliptic on multiplied by .

     

The statistics of continued fractions for polynomials over a finite field

Given a finite field of order and polynomials of degrees respectively, there is the continued fraction representation . Let denote the number of such pairs for which and for . We give both an exact recurrence relation, and an asymptotic analysis, for . The polynomial associated with the recurrence relation turns out to be of P-V type. We also study the distribution of . Averaged over all and as above, this presents no difficulties. The average value of is , and there is full information about the distribution. When is fixed and only is allowed to vary, we show that this is still the average. Moreover, few pairs give a value of that differs from this average by more than

     

Chains of strongly non-reflexive dual groups of integer-valued continuous functions

Answering a question of Eklof-Mekler (Almost free modules, set-theoretic methods, North-Holland, Amsterdam, 1990), we prove: (1) If there exists a non-reflecting stationary set of consisting of ordinals of cofinality for each , then there exist abelian groups such that and for each . (2) There exist abelian groups such that for each and for each . The groups are the groups of -valued continuous functions on a topological space and their dual groups.

     

A note on generators of least degree in Gorenstein ideals

Assume is a polynomial ring over a field and is a homogeneous Gorenstein ideal of codimension and initial degree . We prove that the number of minimal generators of that are of degree is bounded above by , which is the number of minimal generators of the defining ideal of the extremal Gorenstein algebra of codimension and initial degree . Further, is itself extremal if .

     

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 .

     

Comparative probability on von Neumann algebras

We continue here the study begun in earlier papers on implementation of comparative probability by states. Let be a von Neumann algebra on a Hilbert space and let denote the projections of . A comparative probability (CP) on (or more correctly on is a preorder on satisfying:

with for some .

If , then either or .

If , and are all in and , , then .

A state on is said to implement a on if for , . In this paper, we examine the conditions for implementability of a CP on a general von Neumann algebra (as opposed to only type I factors). A crucial tool used here, as well as in earlier results, is the interval topology generated on by . A will be termed continuous in a given topology on if the interval topology generated by is weaker than the topology induced on by the given topology. We show that uniform continuity of a comparative probability is necessary and sufficient if the von Neumann algebra has no finite direct summand. For implementation by normal states, weak continuity is sufficient and necessary if the von Neumann algebra has no finite direct summand of type I. We arrive at these results by constructing an appropriate additive measure from the CP.

     

Topologically conjugate Kleinian groups

Two Kleinian groups and are said to be topologically conjugate when there is a homeomorphism such that . It is conjectured that if two Kleinian groups and are topologically conjugate, one is a quasi-conformal deformation of the other. In this paper generalizing Minsky's result, we shall prove that this conjecture is true when is finitely generated and freely indecomposable, and the injectivity radii of all points of and are bounded below by a positive constant.

     

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 .

     

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

     

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 .

     

On maximal functions in Orlicz spaces

Let and be the functions having the representations and , where is a positive continuous function such that and is quasi-increasing. Then the maximal function is a function in Orlicz space for all if and only if there exists a positive constant such that for all .

     

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.

     

Parametrizing maximal compact subvarieties

For the Lie group , let be the open orbit of Lagrangian planes of signature in the generalized flag variety of Lagrangian planes in . For a suitably chosen maximal compact subgroup of and a base point we have that the orbit of is a maximal compact subvariety of . We show that for the connected component containing in the space of translates of which lie in is biholomorphic to , where denotes with the opposite complex structure.

     

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.