Discrete spectra of -algebras and orthogonally closed submodules in Hilbert -modules

Let and be -algebras and let be an --imprimitivity bimodule. Then it is shown that if the spectrum of (resp. of ) is discrete, then every closed --submodule of is orthogonally closed in , and conversely that if (resp. ) is a -space and if every closed --submodule of is orthogonally closed in , then (resp. ) is discrete.

     

Properly -realizable groups

A finitely presented group is said to be properly -realizable if there exists a compact -polyhedron with and whose universal cover has the proper homotopy type of a (p.l.) -manifold with boundary. In this paper we show that, after taking wedge with a -sphere, this property does not depend on the choice of the compact -polyhedron with . We also show that (i) all -ended and -ended groups are properly -realizable, and (ii) the class of properly -realizable groups is closed under amalgamated free products (HNN-extensions) over a finite cyclic group (as a step towards proving that -ended groups are properly -realizable, assuming -ended groups are).

     

Blocks of central -group extensions

Let and be finite groups that have a common central -subgroup for a prime number , and let and respectively be -blocks of and induced by -blocks and respectively of and , both of which have the same defect group. We prove that if and are Morita equivalent via a certain special -bimodule, then such a Morita equivalence lifts to a Morita equivalence between and .

     

The Artin-Stafford gap theorem

Let be an algebraically closed field, and let be a finitely graded -algebra which is a domain. We show that cannot have Gelfand-Kirillov dimension strictly between and .

     

Strong local homogeneity and coset spaces

We prove that for every homogeneous and strongly locally homogeneous separable metrizable space there is a metrizable compactification of such that, among other things, for all there is a homeomorphism such that . This implies that is a coset space of some separable metrizable topological group .

     

Homogeneity of powers of spaces and the character

A space is said to be power-homogeneous if some power of it is homogeneous. We prove that if a Hausdorff space of point-countable type is power-homogeneous, then, for every infinite cardinal , the set of points at which has a base of cardinality not greater than , is closed in . Every power-homogeneous linearly ordered topological space also has this property. Further, if a linearly ordered space of point-countable type is power-homogeneous, then is first countable.

     

Totally geodesic boundaries of knot complements

Given a compact orientable -manifold whose boundary is a hyperbolic surface and a simple closed curve in its boundary, every knot in is homotopic to one whose complement admits a complete hyperbolic structure with totally geodesic boundary in which the geodesic representative of is as small as you like.

     

Filling analytic sets by the derivatives of -smooth bumps

If is an infinite-dimensional Banach space, with separable dual, and is an analytic set such that any point can be reached from  by a continuous path contained (except for the point ) in the interior of , then is the range of the derivative of a -smooth function on  with bounded nonempty support.

     

A note on meromorphic operators

Let be a complex Banach space and a bounded linear operator on . is called meromorphic if the spectrum of is a countable set, with the only possible point of accumulation, such that all the nonzero points of are poles of . By means of the analytical core we give a spectral theory of meromorphic operators. Our results are a generalization of some results obtained by Gong and Wang (2003).

     

On the algebra of functions -extendable for each finite

For each positive integer we construct a -function of one real variable, the graph of which has the following property: there exists a real function on which is -extendable to , for each finite, but it is not -extendable.

     

Strong pseudo-contractions perturbed by compact operators in Banach spaces

Let be a (real) Banach space, let be an open subset of , and let denote the collection of all nonempty bounded and closed subsets of . Suppose is continuous from into with respect to the Hausdorff metric and strongly pseudo-contractive, while is compact from into . Then has a fixed point if it satisfies the classical Leray-Schauder condition on the boundary of .

     

Perturbed smooth Lipschitz extensions of uniformly continuous functions on Banach spaces

We show that if is a separable subspace of a Banach space such that both and the quotient have -smooth Lipschitz bump functions, and is a bounded open subset of , then, for every uniformly continuous function and every 0$">, there exists a -smooth Lipschitz function such that for every .

     

Local automorphisms and derivations on certain -algebras

It is shown that continuous -local derivations on -algebras are derivations and surjective -local *-automorphisms on prime -algebras or on -algebras such that the identity element is properly infinite are *-automorphisms.

     

Perturbing a product of stable flows

Suppose that and are axiom A flows with attractors and . Then the attractor for the product flow on the product manifold is no longer hyperbolic (although there is a hyperbolic action of ).

It is easy to see that the attractor cannot explode but we show here that it cannot implode: for any flow sufficiently close to any attractor whose basin is not too thin is -dense in .

     

-spaces and finite unions

This article is a continuation of a recent paper by the author and R. Z. Buzyakova. New results are obtained in the direction of the next natural question: how complex can a space be that is the union of two (of a finite family) ``nice" subspaces? Our approach is based on the notion of a -space introduced by E. van Douwen and on a generalization of this notion, the notion of -space. It is proved that if a space is the union of a finite family of subparacompact subspaces, then is an -space. Under , it follows that if a separable normal -space is the union of a finite number of subparacompact subspaces, then is Lindelöf. It is also established that if a regular space is the union of a finite family of subspaces with a point-countable base, then is a -space. Finally, a certain structure theorem for unions of finite families of spaces with a point-countable base is established, and numerous corollaries are derived from it. Also, many new open problems are formulated.

     

Porosity and differentiability in smooth Banach spaces

We improve a result of Preiss, Phelps and Namioka, showing that every submonotone mapping in a Gateaux smooth Banach space is single-valued on the complement of a -cone porous subset. If a Banach space has a uniformly -differentiable Lipschitz bump function (with respect to some bornology ), then we show with a much simpler argument (localization of -minimum of a perturbed function) that every continuous convex function on is -differentiable on the complement of a -uniformly porous set.

     

A variant of the Reynolds operator

Let be a linearly reductive group over a field , and let be a -algebra with a rational action of . Given rational --modules and , we define for the induced -action on Hom a generalized Reynolds operator, which exists even if the action on Hom is not rational. Given an -module homomorphism , it produces, in a natural way, an -module homomorphism which is -equivariant. We use this generalized Reynolds operator to study properties of rational - modules. In particular, we prove that if is invariantly generated (i.e. ), then is a projective (resp. flat) -module provided that is a projective (resp. flat) -module. We also give a criterion whether an -projective (or -flat) rational --module is extended from an -module.

     

Infinite homogeneous algebras are anticommutative

A (non-associative) algebra , over a field , is called homogeneous if its automorphism group permutes transitively the one dimensional subspaces of . Suppose is a nontrivial finite dimensional homogeneous algebra over an infinite field. Then we prove that for all in , and so for all .

     

On the proximinality of the unit ball of proximinal subspaces in Banach spaces: A counterexample

A known, and easy to establish, fact in Best Approximation Theory is that, if the unit ball of a subspace of a Banach space is proximinal in , then itself is proximinal in . We are concerned in this article with the reverse implication, as the knowledge of whether the unit ball is proximinal or not is useful in obtaining information about other problems. We show, by constructing a counterexample, that the answer is negative in general.

     

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.