A uniform

A uniform estimate of Bessel functions is obtained, which is used to get a characterization of the measures on the unit sphere of in terms of the mixed norm of the Fourier transform of the measures.

     

A non-homogeneous zero-dimensional is a group

We provide an example of a zero-dimensional (separable metric) absolute Borel set which is not homogeneous, but whose square admits the structure of a topological group. We also construct a zero-dimensional absolute Borel set such that is a homogeneous non-group but is a group. This answers questions of Arhangel'skii and Zhou.

     

Immersed

We give two congruence formulas concerning the number of non-trivial double point circles and arcs of a smooth map with generic singularities --- the Whitney umbrellas --- of an -manifold into , which generalize the formulas by Szücs for an immersion with normal crossings. Then they are applied to give a new geometric proof of the congruence formula due to Mahowald and Lannes concerning the normal Euler number of an immersed -manifold in . We also study generic projections of an embedded -manifold in into and prove an elimination theorem of Whitney umbrella points of opposite signs, which is a direct generalization of a recent result of Carter and Saito concerning embedded surfaces in . The problem of lifting a map into to an embedding into is also studied.

     

Integer-valued polynomials over Krull-type domains and Prüfer -multiplication domains

Let be a domain with quotient field . The ring of integer-valued polynomials over is . We characterize the Krull-type domains such that is a Prüfer -multiplication domain.

     

Noncommutative spaces

Let be a von Neumann algebra with a faithful, finite, normal tracial state , and let be a finite, maximal subdiagonal algebra of . Let be the closure of in the noncommutative Lebesgue space . Then possesses several of the properties of the classical Hardy space on the circle, including a commutant lifting theorem, some results on Toeplitz operators, an factorization theorem, Nehari's Theorem, and harmonic conjugates which are bounded.

     

Products of images

Let be the \u{C}ech-Stone remainder . We show that there exists a large class of images of such that whenever is a subset of of cardinality at most the continuum, then is again an image of . The class contains all separable compact spaces, all compact spaces of weight at most and all perfectly normal compact spaces.

     

Subaveraging estimate for

Let be a smooth real hypersurface of and a compact submanifold of . We generalize a result of A. Boggess and R. Dwilewicz giving, under some geometric conditions on and , an estimate of the submeanvalue on of any function on a neighbourhood of , by the norm of on a neighbourhood of in .

     

A group of paths in

We define a group structure on the set of compact ``minimal' paths in . We classify all finitely generated subgroups of this group : they are free products of free abelian groups and surface groups. Moreover, each such group occurs in . The subgroups of isomorphic to surface groups arise from certain topological -forms on the corresponding surfaces. We construct examples of such -forms for cohomology classes corresponding to certain eigenvectors for the action on cohomology of a pseudo-Anosov diffeomorphism. Using we construct a non-polygonal tiling problem in , that is, a finite set of tiles whose corresponding tilings are not equivalent to those of any set of polygonal tiles. The group has applications to combinatorial tiling problems of the type: given a set of tiles and a region , can be tiled by translated copies of tiles in ?

     

A critical metric for the

The -norm of the curvature tensor

defines a Riemannian functional on the space of metrics. This work exhibits a metric on which is of Berger type but not of constant ricci curvature, and yet is critical for .

     

A Groenewold-Van Hove Theorem for

We prove that there does not exist a nontrivial quantization of the Poisson algebra of the symplectic manifold which is irreducible on the su(2) subalgebra generated by the components of the spin vector. In fact there does not exist such a quantization of the Poisson subalgebra consisting of polynomials in . Furthermore, we show that the maximal Poisson subalgebra of containing that can be so quantized is just that generated by .

     

Embedding of a Banach algebra

Given a Banach space , we have shown in 1994 that a product can be defined on it in such a way that the resulting Banach algebra is isomorphic to a compact subalgebra of the algebra of all bounded linear operators on the topological dual of . Our purpose here is to prove that, more generally, any Banach algebra admitting a left approximate identity, is isomorphic to a subalgebra of , the isomorphism being isometric, provided the approximate identity is bounded by 1. As a consequence, we get a factorization through , of the elements in .

     

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.

     

Kernel of locally nilpotent

In this paper we study the kernel of a non-zero locally nilpotent -derivation of the polynomial ring over a noetherian integral domain containing a field of characteristic zero. We show that if is normal then the kernel has a graded -algebra structure isomorphic to the symbolic Rees algebra of an unmixed ideal of height one in , and, conversely, the symbolic Rees algebra of any unmixed height one ideal in can be embedded in as the kernel of a locally nilpotent -derivation of . We also give a necessary and sufficient criterion for the kernel to be a polynomial ring in general.

     

Prescribing Gaussian curvature on

We derive a sufficient condition for a radially symmetric function which is positive somewhere to be a conformal curvature on . In particular, we show that every nonnegative radially symmetric continuous function on is a conformal curvature.

     

The exponent of discrepancy is at most

We study discrepancy with arbitrary weights in the norm over the -dimensional unit cube. The exponent of discrepancy is defined as the smallest for which there exists a positive number such that for all and all there exist points with discrepancy at most . It is well known that . We improve the upper bound by showing that

This is done by using relations between discrepancy and integration in the average case setting with the Wiener sheet measure. Our proof is not constructive. The known constructive bound on the exponent is .

     

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

     

A characterization of

This work is devoted to the relationship between topological properties of a space and those of (= the space of continuous real-valued functions on , with the topology of pointwise convergence). The emphasis is on -compactness of and on location of in . In particular, -compact cosmic spaces are characterized in this way.