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

     

The length of a shortest closed geodesic and the area of a -dimensional sphere

Let be a Riemannian manifold homeomorphic to . The purpose of this paper is to establish the new inequality for the length of a shortest closed geodesic, , in terms of the area of . This result improves previously known inequalities by C.B. Croke (1988), by A. Nabutovsky and the author (2002) and by S. Sabourau (2004).

     

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.

     

On maximal operators on -spheres in

A. Magyar's result on -bounds for a family of operators on -spheres () in is improved to match the corresponding theorem for -spheres.

     

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.

     

The number of Hall -subgroups of a -separable group

We observe a simple formula to compute the number of Hall -subgroups of a -separable finite group in terms of only the action of a fixed Hall -subgroup of on a set of normal -sections of . As a consequence, we obtain that divides whenever is a subgroup of a finite -separable group . This generalizes a recent result of Navarro. In addition, our method gives an alternative proof of Navarro's result.

     

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.

     

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.

     

A condition under which follows from

We will give some sufficient conditions for a -hyponormal operator, , to be normal, and a sufficient condition for a triplet of operators , , with , self-adjoint and unitary such that necessarily satisfies .

     

Fiber products, Poincaré duality and -ring spectra

For a Poincaré duality space and a map , consider the homotopy fiber product . If is orientable with respect to a multiplicative cohomology theory , then, after suitably regrading, it is shown that the -homology of has the structure of a graded associative algebra. When is the diagonal map of a manifold , one recovers a result of Chas and Sullivan about the homology of the unbased loop space .

     

A characterisation of in terms of forcing

We show that ``saturation' of the universe with respect to forcing over with partial orders on is equivalent to the existence of .

     

is a free semigroup algebra

We provide a simplified version of a construction of Charles Read. For any , there are isometries with orthogonal ranges with the property that the nonselfadjoint weak--closed algebra that they generate is all of .

     

Extending into isometries of

In this paper we generalize a result of Hopenwasser and Plastiras (1997) that gives a geometric condition under which into isometries from to have a unique extension to an isometry in . We show that when and are separable reflexive Banach spaces having the metric approximation property with strictly convex and smooth and such that is a Hahn-Banach smooth subspace of , any nice into isometry has a unique extension to an isometry in .

     

On chaotic -semigroups and infinitely regular hypercyclic vectors

A -semigroup on a Banach space is called hypercyclic if there exists an element such that is dense in . is called chaotic if is hypercyclic and the set of its periodic vectors is dense in as well. We show that a spectral condition introduced by Desch, Schappacher and Webb requiring many eigenvectors of the generator which depend analytically on the eigenvalues not only implies the chaoticity of the semigroup but the chaoticity of every . Furthermore, we show that semigroups whose generators have compact resolvent are never chaotic. In a second part we prove the existence of hypercyclic vectors in for a hypercyclic semigroup , where is its generator.

     

Hyperelliptic curves over of every -rank without extra automorphisms

We prove that for any pair of integers such that or 0$">, there exists a (hyper)elliptic curve over of genus and -rank whose automorphism group consists of only identity and the (hyper)elliptic involution. As an application, we prove the existence of principally polarized abelian varieties over of dimension and -rank such that .

     

A new proof of proximinality for -ideals

We give a new and a simple proof of proximinality for -ideals. Unlike the known proofs, our proof derives proximinality of -ideals directly from the definition of an -ideal, using the Bishop-Phelps theorem.

     

On frames for countably generated Hilbert -modules

Let be a countably generated Hilbert -module over a -algebra We prove that a sequence is a standard frame for if and only if the sum converges in norm for every and if there are constants such that for every We also prove that surjective adjointable operators preserve standard frames. A class of frames for countably generated Hilbert -modules over the -algebra of all compact operators on some Hilbert space is discussed.

     

All -cotilting modules are pure-injective

We prove that all -cotilting -modules are pure-injective for any ring and any . To achieve this, we prove that is a covering class whenever is an -module such that is closed under products and pure submodules.

     

Minimal polynomials of elements of order in -modular projective representations of alternating groups

Let be an algebraically closed field of characteristic 0$"> and let be a quasi-simple group with . We describe the minimal polynomials of elements of order in irreducible representations of over . If , we determine the minimal polynomials of elements of order in -modular irreducible representations of , , , , , and .

     

A Hilbert -module not anti-isomorphic to itself

We study the complexification of real Hilbert -modules over real -algebras. We give an example of a Hilbert -module that is not the complexification of any Hilbert -module, where is a real -algebra.