Two characterizations of pure injective modules

Let be a commutative ring with identity and an -module. It is shown that if is pure injective, then is isomorphic to a direct summand of the direct product of a family of finitely embedded modules. As a result, it follows that if is Noetherian, then is pure injective if and only if is isomorphic to a direct summand of the direct product of a family of Artinian modules. Moreover, it is proved that is pure injective if and only if there is a family of -algebras which are finitely presented as -modules, such that is isomorphic to a direct summand of a module of the form , where for each , is an injective -module.

     

Automatic continuity of -derivations on -algebras

Let be a -algebra acting on a Hilbert space , let be a linear mapping and let be a -derivation. Generalizing the celebrated theorem of Sakai, we prove that if is a continuous -mapping, then is automatically continuous. In addition, we show the converse is true in the sense that if is a continuous --derivation, then there exists a continuous linear mapping such that is a --derivation. The continuity of the so-called - -derivations is also discussed.

     

The weak Dirichlet problem for Baire functions

Let be a simplex and a compact subset of the set of all extreme points of . We show that any bounded function of Baire class on can be extended to a function of affine class on . Moreover, can be chosen in such a way that .

     

Poincaré duality algebras and rings of coinvariants

Let be a faithful representation of a finite group over the field . Via the group acts on and hence on the algebra of homogenous polynomial functions on the vector space . R. Kane (1994) formulated the following result based on the work of R. Steinberg (1964): If the field has characteristic 0, then is a Poincaré duality algebra if and only if is a pseudoreflection group. The purpose of this note is to extend this result to the case (i.e. the order of is relatively prime to the characteristic of ).

     

The spherical Paley-Wiener theorem on the complex Grassmann manifolds SU

We prove the Paley-Wiener theorem for the spherical transform on the complex Grassmann manifolds SUSU   U. This theorem characterizes the -biinvariant smooth functions on the group that are supported in the -invariant ball of radius , with less than the injectivity radius of , in terms of holomorphic extendability, exponential growth, and Weyl invariance properties of the spherical Fourier transforms , originally defined on the discrete set of highest restricted spherical weights.

     

Deformations and derived equivalences

Suppose and are block algebras of finite groups over a complete local commutative Noetherian ring whose residue field is a field of positive characteristic. We prove that a split-endomorphism two-sided tilting complex (as introduced by Rickard) for the derived categories of bounded complexes of finitely generated modules over , resp. , preserves the versal deformation rings of bounded complexes of finitely generated modules over , resp. .

     

Global dominated splittings and the Newhouse phenomenon

We prove that given a compact -dimensional boundaryless manifold , , there exists a residual subset of the space of diffeomorphisms such that given any chain-transitive set of , then either admits a dominated splitting or else is contained in the closure of an infinite number of periodic sinks/sources. This result generalizes the generic dichotomy for homoclinic classes given by Bonatti, Diaz, and Pujals (2003).

It follows from the above result that given a -generic diffeomorphism , then either the nonwandering set may be decomposed into a finite number of pairwise disjoint compact sets each of which admits a dominated splitting, or else exhibits infinitely many periodic sinks/sources (the `` Newhouse phenomenon"). This result answers a question of Bonatti, Diaz, and Pujals and generalizes the generic dichotomy for surface diffeomorphisms given by Mañé (1982).

     

Extreme contractions on continuous vector-valued function spaces

An old question asks whether extreme contractions on are necessarily nice; that is, whether the conjugate of such an operator maps extreme points of the dual ball to extreme points. Partial results have been obtained. Determining which operators are extreme seems to be a difficult task, even in the scalar case. Here we consider the case of extreme contractions on , where itself is a Banach space. We show that every extreme contraction on to itself which maps extreme points to elements of norm one is nice, where is compact and is the sequence space .

     

On stable equivalences induced by exact functors

Let and be two Artin algebras with no semisimple summands. Suppose that there is a stable equivalence between and such that is induced by exact functors. We present a nice correspondence between indecomposable modules over and . As a consequence, we have the following: (1) If is a self-injective algebra, then so is ; (2) If and are finite dimensional algebras over an algebraically closed field , and if is of finite representation type such that the Auslander-Reiten quiver of has no oriented cycles, then and are Morita equivalent.

     

Characters of -degree with cyclotomic field of values

If is a prime number and is a finite group, we show that has an irreducible complex character of degree not divisible by with values in the cyclotomic field .

     

Universality of uniform Eberlein compacta

We prove that if for some regular , then there is no family of less than c-algebras of size which are jointly universal for c-algebras of size . On the other hand, it is consistent to have a cardinal as large as desired and satisfying and , while there are c-algebras of size that are jointly universal for c-algebras of size . Consequently, by the known results of M. Bell, it is consistent that there is as in the last statement and uniform Eberlein compacta of weight such that at least one among them maps onto any Eberlein compact of weight (we call such a family universal). The only positive universality results for Eberlein compacta known previously required the relevant instance of to hold. These results complete the answer to a question of Y. Benyamini, M. E. Rudin and M. Wage from 1977 who asked if there always was a universal uniform Eberlein compact of a given weight.

     

A strong hot spot theorem

A real number is said to be -normal if every -long string of digits appears in the base- expansion of with limiting frequency . We prove that is -normal if and only if it possesses no base- ``hot spot'. In other words, is -normal if and only if there is no real number such that smaller and smaller neighborhoods of are visited by the successive shifts of the base- expansion of with larger and larger frequencies, relative to the lengths of these neighborhoods.

     

Boundary structure of hyperbolic -manifolds admitting annular fillings at large distance

We show that if a hyperbolic -manifold with a union of tori admits two annular Dehn fillings at distance , then is bounded by at most three tori.

     

Universal localization of triangular matrix rings

If is a triangular matrix ring, the columns and are f.g. projective -modules. We describe the universal localization of which makes invertible an -module morphism , generalizing a theorem of A. Schofield. We also describe the universal localization of -modules.

     

Nonabelian free subgroups in homomorphic images of valued quaternion division algebras

Given a quaternion division algebra a noncentral element is called pure if its square belongs to the center. A theorem of Rowen and Segev (2004) asserts that for any quaternion division algebra of positive characteristic and any pure element the quotient of by the normal subgroup generated by is abelian-by-nilpotent-by-abelian. In this note we construct a quaternion division algebra of characteristic zero containing a pure element such that contains a nonabelian free group. This demonstrates that the situation in characteristic zero is very different.

     

A counterexample related to topological sums

In this paper we construct compact metric spaces , which are topologically distinct but whose topological sums and are homeomorphic.

     

On the irreducibility of the Hilbert scheme of space curves

Denote by the Hilbert scheme parametrizing smooth irreducible complex curves of degree and genus embedded in . In 1921 Severi claimed that is irreducible if . As it has turned out in recent years, the conjecture is true for and , while for it is incorrect. We prove that , and are irreducible, provided that , and , correspondingly. This augments the results obtained previously by Ein (1986), (1987) and by Keem and Kim (1992).

     

Equivalence of domains arising from duality of orbits on flag manifolds II

S. Gindikin and the author defined a - invariant subset of for each -orbit on every flag manifold and conjectured that the connected component of the identity would be equal to the Akhiezer-Gindikin domain if is of nonholomorphic type. This conjecture was proved for closed in the works of J. A. Wolf, R. Zierau, G. Fels, A. Huckleberry and the author. It was also proved for open by the author. In this paper, we prove the conjecture for all the other orbits when is of non-Hermitian type.

     

The sufficiency of arithmetic progressions for the Conjecture

Define by if is odd and if is even. The Conjecture states that the -orbit of every positive integer contains . A set of positive integers is said to be sufficient if the -orbit of every positive integer intersects the -orbit of an element of that set. Thus to prove the Conjecture it suffices to prove it on some sufficient set. Andaloro proved that the sets are sufficient for and asked if is also sufficient for larger values of . We answer this question in the affirmative by proving the stronger result that is sufficient for any nonnegative integers and with i.e. every nonconstant arithmetic sequence forms a sufficient set. We then prove analagous results for the Divergent Orbits Conjecture and Nontrivial Cycles Conjecture.

     

An ascending HNN extension of a free group inside

We give an example of a subgroup of which is a strictly ascending HNN extension of a non-abelian finitely generated free group . In particular, we exhibit a free group in of rank which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir (2005). The main ingredient in our construction is a specific finite volume (non-compact) hyperbolic 3-manifold which is a surface bundle over the circle. In particular, most of comes from the fundamental group of a surface fiber. A key feature of is that there is an element of in with an eigenvalue which is the square root of a rational integer. We also use the Bass-Serre tree of a field with a discrete valuation to show that the group we construct is actually free.