Rigidity of compact manifolds with boundary and nonnegative Ricci curvature

Let be an ()-dimensional compact Riemannian manifold with nonnegative Ricci curvature and nonempty boundary . Assume that the principal curvatures of are bounded from below by a positive constant . In this paper, we prove that the first nonzero eigenvalue of the Laplacian of acting on functions on satisfies with equality holding if and only if is isometric to an -dimensional Euclidean ball of radius . Some related rigidity theorems for are also proved.

     

Beals-Cordes-type characterizations of pseudodifferential operators

We show that, if is the representation of on given by (2.11), and is a bounded operator on , then belongs to if and only if

is a function on with values in the Banach space .

     

On simultaneous extension of continuous partial functions

For a metric space let (that is, the set of all graphs of real-valued continuous functions with a compact domain in ) be equipped with the Hausdorff metric induced by the hyperspace of nonempty closed subsets of It is shown that there exists a continuous mapping satisfying the following conditions: (i) for all partial functions (ii) For every nonempty compact subset of is a linear positive operator such that .

     

Group homomorphisms inducing cohomology monomorphisms

Let be a homomorphism of -groups such that
is injective, for . We prove that the non-bijectivity of implies the existence of a quotient of containing as a proper direct factor. This gives a refined proof of a result of Evens, which asserts that is bijective if is.

     

Upper bounds for the number of facets of a simplicial complex

Here we study the maximal dimension of the annihilator ideals
of artinian graded rings with a given Hilbert function, where is the polynomial ring in the variables over a field with each , is a graded ideal of , and is the graded maximal ideal of . As an application to combinatorics, we introduce the notion of -facets and obtain some informations on the number of -facets of simplicial complexes with a given -vector.

     

Invariance of spectrum for representations of -algebras on Banach spaces

Let be a Banach space, a unital -algebra, and an injective, unital homomorphism. Suppose that there exists a function such that, for all , and all ,

(a) ,

(b) ,

(c) .
Then for all , the spectrum of in equals the spectrum of as a bounded linear operator on . If satisfies an additional requirement and is a -algebra, then the Taylor spectrum of a commuting -tuple of elements of equals the Taylor spectrum of the -tuple in the algebra of bounded operators on . Special cases of these results are (i) if is a closed subspace of a unital -algebra which contains as a unital -subalgebra such that , and only if , then for each , the spectrum of in is the same as the spectrum of left multiplication by on ; (ii) if is a unital -algebra and is an essential closed left ideal in , then an element of is invertible if and only if left multiplication by on is bijective; and (iii) if is a -algebra, is a Hilbert -module, and is an adjointable module map on , then the spectrum of in the -algebra of adjointable operators on is the same as the spectrum of as a bounded operator on . If the algebra of adjointable operators on is a -algebra, then the Taylor spectrum of a commuting -tuple of adjointable operators on is the same relative to the algebra of adjointable operators and relative to the algebra of all bounded operators on .

     

Extension and convergence theorems for families of normal maps in several complex variables

Let represent the family of holomorphic (continuous) maps from a complex (topological) space to a complex (topological) space , and let be the Alexandroff one-point compactification of if is not compact, if is compact. We say that is uniformly normal if , is relatively compact in (with the compact-open topology) for each complex manifold . We show that normal maps as defined and studied by authors in various settings are, as singleton sets, uniformly normal families, and prove extension and convergence theorems for uniformly normal families. These theorems include (1) extension theorems of big Picard type for such families - defined on complex manifolds having divisors with normal crossings - which encompass results of Järvi, Kiernan, Kobayashi, and Kwack as special cases, and (2) generalizations to such families of an extension-convergence theorem due to Noguchi.

     

Bilocal derivations of standard operator algebras

In this paper, we shall show the following two results: (1) Let be a standard operator algebra with , if is a linear mapping on which satisfies that maps into for all , then is of the form for some in . (2) Let be a Hilbert space, if is a norm-continuous linear mapping on which satisfies that maps into for all self-adjoint projection in , then is of the form for some in .

     

Semi-free actions of zero-dimensional compact groups on Menger compacta

Let be the -dimensional universal Menger compactum, a -set in and a metrizable zero-dimensional compact group with the unit. It is proved that there exists a semi-free -action on such that is the fixed point set of every . As a corollary, it follows that each compactum with can be embedded in as the fixed point set of some semi-free -action on .

     

Collapsing successors of singulars

Let be a singular cardinal in , and let be a model such that for some -cardinal with . We apply Shelah's pcf theory to study this situation, and prove the following results. 1) is not a -c.c generic extension of . 2) There is no ``good scale for ' in , so in particular weak forms of square must fail at . 3) If then and also . 4) If then .

     

A note on GK dimension of skew polynomial extensions

Let be a finitely generated commutative domain over an algebraically closed field , an algebra endomorphism of , and a -derivation of . Then if and only if is locally algebraic in the sense that every finite dimensional subspace of is contained in a finite dimensional -stable subspace.

Similarly, if is a finitely generated field over , a -endomorphism of , and a -derivation of , then if and only if is an automorphism of finite order.

     

Fixed points of the mapping class group in the moduli spaces

Let be a compact oriented surface with or without boundary components. In this note we prove that if then there exist infinitely many integers such that there is a point in the moduli space of irreducible flat connections on which is fixed by any orientation preserving diffeomorphism of . Secondly we prove that for each orientation preserving diffeomorphism of and each there is some such that has a fixed point in the moduli space of irreducible flat connections on . Thirdly we prove that for all there exists an integer such that the 'th power of any diffeomorphism fixes a certain point in the moduli space of irreducible flat connections on .

     

Superrigid subgroups of solvable Lie groups

Let be a discrete subgroup of a simply connected, solvable Lie group , such that has the same Zariski closure as . If is any finite-dimensional representation of , we show that virtually extends to a continuous representation of . Furthermore, the image of is contained in the Zariski closure of the image of . When is not discrete, the same conclusions are true if we make the additional assumption that the closure of is a finite-index subgroup of (and is closed and is continuous).

     

Rudin's orthogonality problem and the Nevanlinna counting function

Let be a holomorphic function taking the open unit disk into itself. We show that the set of nonnegative powers of is orthogonal in if and only if the Nevanlinna counting function of , , is essentially radial. As a corollary, we obtain that the orthogonality of for a univalent implies for some constant . We also show that if is orthogonal, then the closure of must be a disk.

     

Isotopy and identities in alternative algebras

In this paper we show how to construct an isomorphism between an alternative algebra over a field of characteristic and its isotope , where is an element of Zhevlakov's radical of . This leads to the equivalence of any polynomial identity in alternative algebras and the isotope identity .

     

Existence of Bade functionals for complete Boolean algebras of projections in Fréchet spaces

A classical result of W. Bade states that if is any complete Boolean algebra of projections in an arbitrary Banach space then, for every there exists an element (called a Bade functional for with respect to in the dual space , with the following two properties: (i) is non-negative on and, (ii) whenever satisfies It is shown that a Fréchet space has this property if and only if it does not contain an isomorphic copy of the sequence space

     

Hyperspaces and open monotone maps of hereditarily indecomposable continua

We prove the following theorems:

Theorem 1. Let be an -dimensional hereditarily indecomposable continuum. Then there exist -dimensional hereditarily indecomposable continua and monotone maps such that is an embedding and the space of all subcontinua of is embeddable in by .

Theorem 2. For every open monotone map with non-trivial sufficiently small fibers on a finite dimensional hereditarily indecomposable continuum with there exists a -dimensional subcontinuum such that and the restriction of to is also monotone and open.

The connection between these theorems and other results in Hyperspace theory is studied.

     

Combinatorial aspects of F-sets

We discuss F filters and show that the minimum size of a filter base generating an undiagonalizable filter included in some F filter is the better known bounded evasion number . An application to -sets from trigonometric series is given by showing that if is an -set and has size less than , then is again an -set.

     

Invariants of Skew Derivations

If is an automorphism and is a -derivation of a ring , then the subring of invariants is the set The main result of this paper is Theorem. Let be a -derivation of an algebra over a commutative ring such that

for all , where and .

(i)

If , then .

(ii)

If is a -stable left ideal of such that , then .

This theorem generalizes results on the invariants of automorphisms and derivations.

     

All maps of type are boundary maps

Let be a continuous map of an interval into itself having periodic points of period for all and no other periods. It is shown that every neighborhood of contains a map such that the set of periods of the periodic points of is finite. This answers a question posed by L. S. Block and W. A. Coppel.