Borel subrings of the reals

A Borel (or even analytic) subring of either has Hausdorff dimension or is all of . Extensions of the method of proof yield (among other things) that any analytic subring of having positive Hausdorff dimension is equal to either or .

     

On polynomial products in nilpotent and solvable Lie groups

We are dealing with Lie groups which are diffeomorphic to , for some . After identifying with , the multiplication on can be seen as a map . We show that if is a polynomial map in one of the two (sets of) variables or , then is solvable. Moreover, if one knows that is polynomial in one of the variables, the group is nilpotent if and only if is polynomial in both its variables.

     

Every set of finite Hausdorff measure is a countable union of sets whose Hausdorff measure and content coincide

A set is -straight if has finite Hausdorff -measure equal to its Hausdorff -content, where is continuous and non-decreasing with . Here, if satisfies the standard doubling condition, then every set of finite Hausdorff -measure in is shown to be a countable union of -straight sets. This also settles a conjecture of Foran that when , every set of finite -measure is a countable union of -straight sets.

     

Farrell sets for harmonic functions

Let denote a relatively closed subset of the unit ball of . The purpose of this paper is to characterize those sets which have the following property: any harmonic function on which satisfies on (where 0$">) can be locally uniformly approximated on by a sequence of harmonic polynomials which satisfy the same inequality on . This answers a question posed by Stray, who had earlier solved the corresponding problem for holomorphic functions on the unit disc.

     

Weak unimodality of finite measures, and an application to potential theory of additive Lévy processes

A probability measure on is called weakly unimodal if there exists a constant such that for all 0$">,

(0.1)

Here, denotes the -ball centered at with radius 0$">.

In this note, we derive a sufficient condition for weak unimodality of a measure on the Borel subsets of . In particular, we use this to prove that every symmetric infinitely divisible distribution is weakly unimodal. This result is then applied to improve some recent results of the authors on capacities and level sets of additive Lévy processes.

     

Vanishing of cohomology over Gorenstein rings of small codimension

We prove that if , are finite modules over a Gorenstein local ring of codimension at most , then the vanishing of for is equivalent to the vanishing of for . Furthermore, if has no embedded deformation, then such vanishing occurs if and only if or has finite projective dimension.

     

Segal-Bargmann transforms of one-mode interacting Fock spaces associated with Gaussian and Poisson measures

Let and denote the Gaussian and Poisson measures on , respectively. We show that there exists a unique measure on such that under the Segal-Bargmann transform the space is isomorphic to the space of analytic -functions on with respect to . We also introduce the Segal-Bargmann transform for the Poisson measure and prove the corresponding result. As a consequence, when and have the same variance, and are isomorphic to the same space under the - and -transforms, respectively. However, we show that the multiplication operators by on and on act quite differently on .

     

Some finiteness conditions on the set of overrings of an integral domain

Let be an integral domain with quotient field and integral closure . An overring of is a subring of containing , and denotes the set of overrings of . We consider primarily two finiteness conditions on : (FO), which states that is finite, and (FC), the condition that each chain of distinct elements of is finite. (FO) is strictly stronger than (FC), but if , each of (FO) and (FC) is equivalent to the condition that is a Prüfer domain with finite prime spectrum. In general satisfies (FC) iff satisfies (FC) and all chains of subrings of containing have finite length. The corresponding statement for (FO) is also valid.

     

Perfect cliques and colorings of Polish spaces

A coloring of a set is any subset of , where 1$"> is a natural number. We give some sufficient conditions for the existence of a perfect -homogeneous set, in the case where is and is a Polish space. In particular, we show that it is sufficient that there exist -homogeneous sets of arbitrarily large countable Cantor-Bendixson rank. We apply our methods to show that an analytic subset of the plane contains a perfect -clique if it contains any uncountable -clique, where is a natural number or (a set is a -clique in if the convex hull of any of its -element subsets is not contained in ).

     

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.

     

Application of a Riesz-type formula to weighted Bergman spaces

Let denote the unit disk in the complex plane. We consider a class of superbiharmonic weight functions whose growth are subject to the condition for some constant . We first establish a Reisz-type representation formula for , and then use this formula to prove that the polynomials are dense in the weighted Bergman space with weight .

     

On a theorem of R. Steinberg on rings of coinvariants

Let be a representation of a finite group over the field . Denote by the algebra of polynomial functions on the vector space . The group acts on and hence also on . The algebra of coinvariants is , where is the ideal generated by all the homogeneous -invariant forms of strictly positive degree. If the field has characteristic zero, then R. Steinberg has shown (this is the formulation of R. Kane) that is a Poincaré duality algebra if and only if is a pseudoreflection group. In this note we explore the situation for fields of nonzero characteristic. We prove an analogue of Steinberg's theorem for the case and give a counterexample in the modular case when .

     

A non-standard proof of the Briançon-Skoda theorem

Using a tight closure argument in characteristic and then lifting the argument to characteristic zero with the aid of ultraproducts, I present an elementary proof of the Briançon-Skoda Theorem: for an -generated ideal of , the -th power of its integral closure is contained in . It is well-known that as a corollary, one gets a solution to the following classical problem. Let be a convergent power series in variables over which vanishes at the origin. Then lies in the ideal generated by the partial derivatives of .

     

A characterization of quasiconvex vector-valued functions

The aim of this paper is to characterize in terms of scalar quasiconvexity the vector-valued functions which are -quasiconvex with respect to a closed convex cone in a Banach space. Our main result extends a well-known characterization of -quasiconvexity by means of extreme directions of the polar cone of , obtained by Dinh The Luc in the particular case when is a polyhedral cone generated by exactly linearly independent vectors in the Euclidean space .

     

Approximation methods for nonlinear operator equations

Let be a real normed linear space and be a uniformly quasi-accretive map. For arbitrary define the sequence by where is a positve real sequence satisfying the following conditions: (i) ; (ii) . For , assume that 0$"> and that , where (the set of all positive integers): and is a strictly increasing function with . It is proved that a Mann-type iteration process converges strongly to . Furthermore if, in addition, is a uniformly continuous map, it is proved, without the condition on , that the Mann-type iteration process converges strongly to . As a consequence, corresponding convergence theorems for fixed points of hemi-contractive maps are proved.

     

A remark on quasi-isometries

We show that if is an quasi-isometry, with , defined on the unit ball of , then there is an affine isometry with where is a universal constant. This result is sharp.

     

Catégorie de Lusternik-Schnirelmann et genre des -espaces

Soit un espace ayant le type d'homotopie rationnelle d'un produit de sphères impaires. Si, pour tout nombre premier , la LS-catégorie de tous les -localisés de est majorée par , nous montrons que la LS-catégorie de est majorée par . Si est un élément dans le genre de Mislin de , nous en déduisons: . Dans le cas d'un -espace de rang 2, nous avons exactement , pour tout espace dans le genre de .

     

Solving the -Laplacian on manifolds

We prove in this paper that the equation on a -hyperbolic manifold has a solution with -integrable gradient for any bounded measurable function with compact support.

     

Characterizations of paracompactness and Lindelöfness by the separation property

The separation property in our title is that, for two spaces and , any two disjoint closed copies of in are separated by open sets in . It is proved that a Tychonoff space is paracompact if and only if this separation property holds for the space and every Tychonoff space which is a perfect image of (where denotes the Stone-Cech compactification of ). Moreover, we give a characterization of Lindelöfness in a similar way under the assumption of paracompactness.

     

On the normal bundle of submanifolds of

Let be a submanifold of dimension of the complex projective space . We prove results of the following type.i) If is irregular and , then the normal bundle is indecomposable. ii) If is irregular, and , then is not the direct sum of two vector bundles of rank . iii) If , and is decomposable, then the natural restriction map is an isomorphism (and, in particular, if is embedded Segre in , then is indecomposable). iv) Let and , and assume that is a direct sum of line bundles; if assume furthermore that is simply connected and is not divisible in . Then is a complete intersection. These results follow from Theorem 2.1 below together with Le Potier's vanishing theorem. The last statement also uses a criterion of Faltings for complete intersection. In the case when this fact was proved by M. Schneider in 1990 in a completely different way.