Uniformly bounded limit of fractional homomorphisms

We show that a bounded homomorphism is equivalent to a uniformly bounded family of fractional homomorphisms for any 0$">. We add this characterization to the Widder-Arendt-Kisynski theorem and relate it to -times integrated semigroups.

     

A function space -compact space

Assuming that the minimal cardinality of a dominating family in is equal to , we construct a subset of a real line such that the space of continuous real-valued functions on does not admit any continuous bijection onto a -compact space. This gives a consistent answer to a question of Arhangel'skii.

     

Gradient ranges of bumps on the plane

For a -smooth bump function we show that the gradient range is the closure of its interior, provided that admits a modulus of continuity satisfying as . The result is a consequence of a more general result about gradient ranges of bump functions of the same degree of smoothness. For such bump functions we show that for open sets , either the intersection is empty or its topological dimension is at least two. The proof relies on a new Morse-Sard type result where the smoothness hypothesis is independent of the dimension of the space.

     

Cofinality changes required for a large set of unapproachable ordinals below

In , assume that is a strong limit cardinal and . Let be the set of approachable ordinals less than . An open question of M. Foreman is whether can be non-stationary in some and preserving extension of . It is shown here that if is such an outer model, then is infinite, for each positive integer .

     

Necessary conditions for Schatten class localization operators

We study time-frequency localization operators of the form , where is the symbol of the operator and are the analysis and synthesis windows, respectively. It is shown in an earlier paper by the authors that a sufficient condition for , the Schatten class of order , is that belongs to the modulation space and the window functions to the modulation space . Here we prove a partial converse: if for every pair of window functions with a uniform norm estimate, then the corresponding symbol must belong to the modulation space . In this sense, modulation spaces are optimal for the study of localization operators. The main ingredients in our proofs are frame theory and Gabor frames. For and , we recapture earlier results, which were obtained by different methods.

     

Fixed points of nonexpansive mappings in spaces of continuous functions

Let be a compact metrizable space and let be the Banach space of all real continuous functions defined on with the maximum norm. It is known that fails to have the weak fixed point property for nonexpansive mappings (w-FPP) when contains a perfect set. However the space , where and is the first infinite ordinal number, enjoys the w-FPP, and so also satisfies this property if . It is unknown if has the w-FPP when is a scattered set such that . In this paper we prove that certain subspaces of , with , satisfy the w-FPP. To prove this result we introduce the notion of -almost weak orthogonality and we prove that an -almost weakly orthogonal closed subspace of enjoys the w-FPP. We show an example of an -almost weakly orthogonal subspace of which is not contained in for any .

     

Some remarks on spreading models and mixed Tsirelson spaces

We prove that if a Banach space with a bimonotone shrinking basis does not contain spreading models but every block sequence of the basis contains a further block sequence which is a spreading model for every , then every subspace has a further subspace which is arbitrarily distortable. We also prove that a mixed Tsirelson space , such that , does not contain spreading models.

     

Hilbert-Samuel coefficients and postulation numbers of graded components of certain local cohomology modules

Let be a Noetherian homogeneous ring with one-dimensional local base ring . Let be an -primary ideal, let be a finitely generated graded -module and let . Let denote the -th local cohomology module of with respect to the irrelevant ideal 0} R_n$"> of . We show that the first Hilbert-Samuel coefficient of the -th graded component of with respect to is antipolynomial of degree in . In addition, we prove that the postulation numbers of the components with respect to have a common upper bound.

     

Small prime solutions of quadratic equations II

Let be non-zero integers and any integer. Suppose that and for . In this paper we prove that (i) if the are not all of the same sign, then the above quadratic equation has prime solutions satisfying and (ii) if all the are positive and , then the quadratic equation is soluble in primes Our previous results are and in place of and above, respectively.

     

-function of an operator: A white noise approach

Let be the canonical framework of white noise analysis over the Gel'fand triple and be the space of continuous linear operators from to . Let be a self-adjoint operator in with spectral representation . In this paper, it is proved that under appropriate conditions upon , there exists a unique linear mapping such that for each . The mapping is then naturally used to define as , where is the Dirac -function. Finally, properties of the mapping are investigated and several results are obtained.

     

Almost everywhere convergence of series in

We answer positively a question of J. Rosenblatt (1988), proving the existence of a sequence with , such that for every dynamical system and , converges almost everywhere. A similar result is obtained in the real variable context.

     

On the Betti numbers of sign conditions

Let be a real closed field and let and be finite subsets of such that the set has elements, the algebraic set defined by has dimension and the elements of and have degree at most . For each we denote the sum of the -th Betti numbers over the realizations of all sign conditions of on by . We prove that

This generalizes to all the higher Betti numbers the bound on . We also prove, using similar methods, that the sum of the Betti numbers of the intersection of with a closed semi-algebraic set, defined by a quantifier-free Boolean formula without negations with atoms of the form or for , is bounded by

making the bound more precise.

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

Cardinal restrictions on some homogeneous compacta

We give restrictions on the cardinality of compact Hausdorff homogeneous spaces that do not use other cardinal invariants, but rather covering and separation properties. In particular, we show that it is consistent that every hereditarily normal homogeneous compactum is of cardinality . We introduce property wD(), intermediate between the properties of being weakly -collectionwise Hausdorff and strongly -collectionwise Hausdorff, and show that if is a compact Hausdorff homogeneous space in which every subspace has property wD( ), then is countably tight and hence of cardinality . As a corollary, it is consistent that such a space is first countable and hence of cardinality . A number of related results are shown and open problems presented.

     

Symplectic tori in homotopy 's

This short note presents a simple construction of nonisotopic symplectic tori representing the same primitive homology class in the symplectic -manifold , obtained by knot surgery on the rational elliptic surface with the left-handed trefoil knot . has the simplest homotopy type among simply-connected symplectic -manifolds known to exhibit such a property.

     

A note on Gabor orthonormal bases

The study of Gabor bases of the form for has interested many mathematicians in recent years. Alex Losevich and Steen Pedersen in 1998, Jeffery C. Lagarias, James A. Reeds and Yang Wang in 2000 independently proved that, for any fixed positive integer , is an orthonormal basis for if and only if is a tiling of . Palle E. T. Jorgensen and Steen Pedersen in 1999 gave an explicit characterization of such for , , . Inspired by their work, this paper addresses Gabor orthonormal bases of the form for and some other related problems, where is as above. For a fixed , the generating function of a Gabor orthonormal basis for corresponding to the above is characterized explicitly provided that , which is new even if ; a Shannon type sampling theorem about such is derived when , ; for an arbitrary positive integer , an explicit expression of the with being an orthonormal basis for is obtained under the condition that .

     

Associated primes of local cohomology modules

Let be an ideal of a commutative Noetherian ring and a finitely generated -module. Let be a natural integer. It is shown that there is a finite subset of , such that is contained in union with the union of the sets , where and . As an immediate consequence, we deduce that the first non- -cofinite local cohomology module of with respect to has only finitely many associated prime ideals.

     

Tensor products of -weakly closed nest algebra submodules

In this paper we prove that for any unital -weakly closed algebra which is -weakly generated by finite-rank operators in , every -weakly closed -submodule has . In the case of nest algebras, if are nests, we obtain the following -fold tensor product formula:

where each is the -weakly closed Alg -submodule determined by an order homomorphism from into itself.

     

``Lebesgue measure' on , II

Let be the set of real numbers, and define . We construct a complete measure space where the -algebra contains the Borel subsets of , and is a translation-invariant measure such that for any measurable rectangle , if , then , where is Lebesgue measure on . The measure is not -finite. We prove three Fubini theorems, namely, the Fubini theorem, the mean Fubini-Jensen theorem, and the pointwise Fubini-Jensen theorem. Finally, as an application of the measure , we construct, via selfadjoint operators on , a ``Schrödinger model' of the canonical commutation relations: , , .

     

Tietze extension theorem for Hilbert -modules

We prove the following generalization of the noncommutative Tietze extension theorem: if is a countably generated Hilbert -module over a -unital -algebra, then the canonical extension of a surjective morphism of Hilbert -modules to extended (multiplier) modules, , is also surjective.