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.

     

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.

     

Multiplicative bijections of

Let be a compact Hausdorff space which satisfies the first axiom of countability, let and let , be the set of all continuous functions from to If , ,is a bijective multiplicative map, then there exist a homeomorphism and a continuous map such that for all and for all

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

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.

     

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.

     

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 degree of the bicanonical map of a surface with

In this note it is shown that, given a smooth minimal complex surface of general type with , , for which the bicanonical map is a morphism, the degree of is not 3. This completes our earlier results, showing that if is a minimal surface of general type with , such that is free, then the bicanonical map of can have degree 1, 2 or 4.

     

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

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.

     

The universal central extension of the three-point loop algebra

We consider the three-point loop algebra,

where denotes a field of characteristic 0 and is an indeterminate. The universal central extension of was determined by Bremner. In this note, we give a presentation for via generators and relations, which highlights a certain symmetry over the alternating group . To obtain our presentation of , we use the realization of as the tetrahedron Lie algebra.

     

(APD)-property of -algebras by extensions of -algebras with (APD)

A unital -algebra is said to have the (APD)-property if every nonzero element in has the approximate polar decomposition. Let be a closed ideal of . Suppose that and have (APD). In this paper, we give a necessary and sufficient condition that makes have (APD). Furthermore, we show that if and or is a simple purely infinite -algebra, then has (APD).

     

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.

     

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 .

     

Functions -orthogonal with respect to their own zeros

In 1939, G. H. Hardy proved that, under certain conditions, the only functions satisfying

where the are the zeros of , are the Bessel functions. We replace the above integral by the Jackson -integral and give the -analogue of Hardy's result.

     

Eigenvalues of scaling operators and a characterization of -splines

A finitely supported sequence that sums to defines a scaling operator on functions a transition operator on sequences and a unique compactly supported scaling function that satisfies normalized with It is shown that the eigenvalues of on the space of compactly supported square-integrable functions are a subset of the nonzero eigenvalues of the transition operator on the space of finitely supported sequences, and that the two sets of eigenvalues are equal if and only if the corresponding scaling function is a uniform -spline.

     

An ultrafilter with property

Let be a -supercompact cardinal. We show that carries a normal ultrafilter with a property introduced by Menas. With it we give a transparent proof of Kamo's theorem that carries a normal ultrafilter with the partition property.

     

The Laplacian subalgebra of is a strongly singular masa

In this paper, we present a new class of strongly singular maximal abelian subalgebras living inside the -folded tensor product of the free group factor with itself (). The notions of strongly singular masas in type factors and that of asymptotic homomorphism were introduced by A. Sinclair and R. Smith. One of their first examples was the Laplacian subalgebra of the free group factor, generated by the sum of words of length 1 in . This subalgebra was known to be a singular masa. Using the results of A. Sinclair and R. Smith, we show that the unique trace-preserving conditional expectation onto the Laplacian subalgebra of is an asymptotic homomorphism, and hence the Laplacian subalgebra is a strongly singular masa for every .

     

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 .

     

-summand vectors in Banach spaces

The aim of this paper is to study the set of all -summand vectors of a real Banach space . We provide a characterization of -summand vectors in smooth real Banach spaces and a general decomposition theorem which shows that every real Banach space can be decomposed as an -sum of a Hilbert space and a Banach space without nontrivial -summand vectors. As a consequence, we generalize some results and we obtain intrinsic characterizations of real Hilbert spaces.