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.

     

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 .

     

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

     

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 .

     

Une inégalité du type Payne-Polya-Weinberger pour le laplacien brut

Let us consider a riemannian vector bundle with compact basis and the rough laplacian associated to a connection on . We prove that the eigenvalues of are bounded above by a function of the first eigenvalue and of the geometry of , but independently of the choice of the connection .

     

The class equation and counting in factorizable monoids

For orders and conjugacy in finite group theory, Lagrange's Theorem and the class equation have universal application. Here, the class equation (extended to monoids via standard group action by conjugation) is applied to factorizable submonoids of the symmetric inverse monoid. In particular, if is a monoid induced by a subgroup of the symmetric group , then the center (all elements of that commute with every element of ) is if and only if is transitive. In the case where is both transitive and of order either or (for prime), formulas are provided for the order of as well as the number and sizes of its conjugacy classes.

     

Nehari and Carathéodory-Fejér type extension results for operator-valued functions on groups

Let be a compact abelian group having the property that its character group is totally ordered by a semigroup . We prove that every operator-valued function on of the form , such that the Hankel operator is bounded, has an essentially bounded extension with . The proof is based on Arveson's Extension Theorem for completely positive functions on -algebras. Among the corollaries we have a Carathéodory-Fejér type result for analytic operator-valued functions defined on such groups.

     

Approximation of measurable mappings by sequences of continuous functions

Let be a completely regular Hausdorff space, a positive, finite Baire measure on , and a separable metrizable locally convex space. Suppose is a measurable mapping. Then there exists a sequence of functions in which converges to a.e. . If the function is assumed to be weakly continuous and the measure is assumed to be -smooth, then a separability condition is not needed.

     

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.

     

Mbekhta's subspaces and a spectral theory of compact operators

Let be an operator on an infinite-dimensional complex Banach space. By means of Mbekhta's subspaces and , we give a spectral theory of compact operators. The main results are: Let be compact. . The following assertions are all equivalent: (1) 0 is an isolated point in the spectrum of (2) is closed; (3) is of finite dimension; (4) is closed; (5) is of finite dimension; . sufficient conditions for to be an isolated point in ; . sufficient and necessary conditions for to be a pole of the resolvent of .

     

On quasi-affine transforms of Read's operator

We show that C. J. Read's example of an operator on which does not have any non-trivial invariant subspaces is not the adjoint of an operator on a predual of . Furthermore, we present a bounded diagonal operator such that even though is unbounded, the operator is a bounded operator on with invariant subspaces, and is adjoint to an operator on .

     

-hyponormality is not translation-invariant

In this note we provide an example of a semi-hyponormal Hilbert space operator for which is not -hyponormal for some and all .

     

Existence of local solutions of the complex Monge-Ampère equation

We prove the local solvability of the -dimensional complex Monge-Ampère equation , 0$">, in a neighborhood of any point where but .

     

On the Bieberbach conjecture and holomorphic dynamics

In this note we prove that when is a polynomial of degree with connected Julia set and when belongs to the filled-in Julia set , then . We also show that equality is achieved if and only if is a segment of which one extremity is . In that case, is conjugate to a Tchebycheff polynomial or its opposite. The main tool in our proof is the Bieberbach conjecture proved by de Branges in 1984.

     

An example in holomorphic fixed point theory

If is the open unit ball in the Cartesian product furnished with the -norm , where and , then a holomorphic self-mapping of has a fixed point if and only if for some

     

Poincaré duality in P.A. Smith theory

Let , or more generally be a finite -group, where is an odd prime. If acts on a space whose cohomology ring fulfills Poincaré duality (with appropriate coefficients ), we prove a mod congruence between the total Betti number of and a number which depends only on the -module structure of . This improves the well known mod congruences that hold for actions on general spaces.

     

A characterization of compactly generated metric groups

Recall that a topological group is: (a) -compact if where each is compact, and (b) compactly generated if is algebraically generated by some compact subset of . Compactly generated groups are -compact, but the converse is not true: every countable non-finitely generated discrete group (for example, the group of rational numbers or the free (Abelian) group with a countable infinite set of generators) is a counterexample. We prove that a metric group is compactly generated if and only if is -compact and for every open subgroup of there exists a finite set such that algebraically generates . As a corollary, we obtain that a -compact metric group is compactly generated provided that one of the following conditions holds: (i) has no proper open subgroups, (ii) is dense in some connected group (in particular, if is connected itself), (iii) is totally bounded (= subgroup of a compact group). Our second major result states that a countable metric group is compactly generated if and only if it can be generated by a sequence converging to its identity element (eventually constant sequences are not excluded here). Therefore, a countable metric group can be generated by a (possibly eventually constant) sequence converging to its identity element in each of the cases (i), (ii) and (iii) above. Examples demonstrating that various conditions cannot be omitted or relaxed are constructed. In particular, we exhibit a countable totally bounded group which is not compactly generated.

     

The critical point equation on a three-dimensional compact manifold

On a compact -dimensional manifold , a critical point of the total scalar curvature functional, restricted to the space of metrics with constant scalar curvature of volume 1, satisfies the critical point equation (CPE), given by . It has been conjectured that a solution of the CPE is Einstein. Restricting our considerations to and assuming that there exist at least two distinct solutions of the CPE throughout the paper, we first prove that, if the second homology of vanishes, then is diffeomorphic to (Theorem 2). Secondly, we prove that the same conclusion holds if we have a lower Ricci curvature bound or the connectedness of a certain surface of (Theorem 3). Finally, we also prove that, if two connected surfaces of are disjoint, is isometric to a standard -sphere (Theorem 4).

     

A Beurling-type theorem for the Fock space

Let be a finite codimensional quasi-invariant subspace of the Fock space . Then there exists a polynomial such that . We show that generates if and only if for some .

     

Discrete spectra of -algebras and complemented submodules in Hilbert -modules

Let be a -algebra and let be a full (right) Hilbert -module. It is shown that if the spectrum of is discrete, then every closed --submodule of is complemented in , and conversely that if is a -space and if every closed --submodule of is complemented in , then is discrete.