Volume preserving embeddings of open subsets of into manifolds

We consider a connected smooth -dimensional manifold endowed with a volume form , and we show that an open subset of of Lebesgue measure embeds into by a smooth volume preserving embedding whenever the volume condition is met.

     

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 .

     

Fuchs' problem 34 for mixed Abelian groups

This paper investigates the extent to which an Abelian group is determined by the homomorphism groups . A class of Abelian groups is a Fuchs 34 class if and in are isomorphic if and only if for all . Two -groups and satisfy for all groups if and only if they have the same -Ulm-Kaplansky-invariants and the same final rank. The mixed groups considered in this context are the adjusted cotorsion groups and the class introduced by Glaz and Wickless. While is a Fuchs 34 class, the class of (adjusted) cotorsion groups is not.     

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.

     

Lie algebras and separable morphisms in pro-affine algebraic groups

Let be an algebraically closed field of arbitrary characteristic, and let be a surjective morphism of connected pro-affine algebraic groups over . We show that if is bijective and separable, then is an isomorphism of pro-affine algebraic groups. Moreover, is separable if and only if (its differential) is surjective. Furthermore, if is separable, then .

     

Stable rank of corner rings

B. Blackadar recently proved that any full corner in a unital C*-algebra has K-theoretic stable rank greater than or equal to the stable rank of . (Here is a projection in , and fullness means that .) This result is extended to arbitrary (unital) rings in the present paper: If is a full idempotent in , then . The proofs rely partly on algebraic analogs of Blackadar's methods and partly on a new technique for reducing problems of higher stable rank to a concept of stable rank one for skew (rectangular) corners . The main result yields estimates relating stable ranks of Morita equivalent rings. In particular, if where is a finitely generated projective generator, and can be generated by elements, then .

     

Hyperelliptic jacobians and simple groups

In a previous paper, the author proved that in characteristic zero the jacobian of a hyperelliptic curve has only trivial endomorphisms over an algebraic closure of the ground field if the Galois group of the irreducible polynomial is either the symmetric group or the alternating group . Here 4$"> is the degree of . In another paper by the author this result was extended to the case of certain ``smaller' Galois groups. In particular, the infinite series and were treated. In this paper the case of and is treated.

     

The Nevanlinna counting functions for Rudin's orthogonal functions

and denote the Hardy spaces on the open unit disc . Let be a function in and . If is an inner function and , then is orthogonal in . W.Rudin asked if the converse is true and C. Sundberg and C. Bishop showed that the converse is not true. Therefore there exists a function such that is not an inner function and is orthogonal in . In this paper, the following is shown: is orthogonal in if and only if there exists a unique probability measure on [0,1] with supp such that for nearly all in where is the Nevanlinna counting function of . If is an inner function, then is a Dirac measure at .

     

Convexity numbers of closed sets in

For 2$"> let be the -ideal in generated by all sets which do not contain equidistant points in the usual metric on . For each 2$"> a set is constructed in so that the -ideal which is generated by the convex subsets of restricted to the convexity radical is isomorphic to . Thus is equal to the least number of convex subsets required to cover -- the convexity number of .

For every non-increasing function \aleph_0\}$"> we construct a model of set theory in which for each . When is strictly decreasing up to , uncountable cardinals are simultaneously realized as convexity numbers of closed subsets of . It is conjectured that , but never more than , different uncountable cardinals can occur simultaneously as convexity numbers of closed subsets of . This conjecture is true for and .     

On modules of finite projective dimension over complete intersections

Recently Avramov and Miller proved that over a local complete intersection ring in characteristic 0$">, a finitely generated module has finite projective dimension if for some 0$"> and for some 0$">, being the frobenius map repeated times. They used the notion of ``complexity' and several related theorems. Here we offer a very simple proof of the above theorem without using ``complexity' at all.

     

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 zero topological entropy map with recurrent points not

We show that there is a continuous map of the unit interval into itself of type which has a trajectory disjoint from the set of recurrent points of , but contained in the closure of . In particular, is not closed. A function of type , with nonclosed set of recurrent points, was found by H. Chu and J. Xiong [Proc. Amer. Math. Soc. 97 (1986), 361-366]. However, there is no trajectory contained in , since any point in is eventually mapped into . Moreover, our construction is simpler.

We use to show that there is a continuous map of the interval of type for which the set of recurrent points is not an set. This example disproves a conjecture of A. N. Sharkovsky et al., from 1989. We also provide another application of .

     

Fully transitive -groups with finite first Ulm subgroup

An abelian -group is called (fully) transitive if for all with ( ) there exists an automorphism (endomorphism) of which maps onto . It is a long-standing problem of A. L. S. Corner whether there exist non-transitive but fully transitive -groups with finite first Ulm subgroup. In this paper we restrict ourselves to -groups of type , this is to say -groups satisfying . We show that the answer to Corner's question is no if is finite and is of type .

     

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 .

     

-injective rings and -stable primes

The notion of stability of the highest local cohomology module with respect to the Frobenius functor originates in the work of R. Hartshorne and R. Speiser. R. Fedder and K.-i. Watanabe examined this concept for isolated singularities by relating it to -rationality. The purpose of this note is to study what happens in the case of non-isolated singularities and to show how this stability concept encapsulates a few of the subtleties of tight closure theory. Our study can be seen as a generalization of the work by Fedder and Watanabe. We introduce two new ring invariants, the -stability number and the set of -stable primes. We associate to every ideal generated by a system of parameters and an ideal of multipliers denoted and obtain a family of ideals . The set is independent of and consists of finitely many prime ideals. It also equals prime ideal such that is -stable. The maximal height of such primes defines the -stability number.

     

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.

     

Abstract blowing down

Assume that is a surface over an algebraically closed field . Let be obtained from by blowing up a smooth point and let be the exceptional curve. Let be the category of coherent sheaves on . In this note we show how to recover from , if we know the object .

     

Extremal metrics for the first eigenvalue of the Laplacian in a conformal class

Let be a compact manifold. First, we give necessary and sufficient conditions for a Riemannian metric on to be extremal for with respect to conformal deformations of fixed volume. In particular, these conditions show that for any lattice of , the flat metric induced on from the standard metric of is extremal (in the previous sense). In the second part, we give, for any , an upper bound of on the conformal class of and exhibit a class of lattices for which the metric maximizes on its conformal class.

     

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.

     

The rational LS-category of -trivial fibrations

We provide new upper and lower bounds for the rational LS-category of a rational fibration of simply connected spaces that depend on a measure of the triviality of which is strictly finer than the vanishing of the higher holonomy actions. In particular, we prove that if is -trivial for some and enjoys Poincaré duality, then