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 .

     

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.

     

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

     

Linear series over real and -adic fields

We note that the degeneration arguments given by the author in 2003 to derive a formula for the number of maps from a general curve of genus to with prescribed ramification also yields weaker results when working over the real numbers or -adic fields. Specifically, let be such a field: we see that given , , , and satisfying , there exists smooth curves of genus together with points such that all maps from to can, up to automorphism of the image, be defined over . We also note that the analagous result will follow from maps to higher-dimensional projective spaces if it is proven in the case , , and that thanks to work of Sottile, unconditional results may be obtained for special ramification conditions.

     

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

     

for commutative rings with identity

Let , , , , be the usual operators on classes of rings: and for isomorphic and homomorphic images of rings and , , respectively for subrings, direct, and subdirect products of rings. If is a class of commutative rings with identity (and in general of any kind of algebraic structures), then the class is known to be the variety generated by the class . Although the class is in general a proper subclass of the class for many familiar varieties . Our goal is to give an example of a class of commutative rings with identity such that . As a consequence we will describe the structure of two partially ordered monoids of operators.

     

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 .

     

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.

     

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.

     

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.

     

Functional calculus and -regularity of a class of Banach algebras

Suppose that is a -dynamical system such that is of polynomial growth. If is finite dimensional, we show that any element in has slow growth and that is -regular. Furthermore, if is discrete and is a ``nice representation' of , we define a new Banach -algebra which coincides with when is finite dimensional. We also show that any element in has slow growth and is -regular.

     

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 .

     

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 .

     

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.

     

Compact perturbations of -accretive operators in Banach spaces

This paper continues a discussion that arose twenty years ago, concerning the perturbation of an -accretive operator by a compact mapping in Banach spaces. Indeed, if is -accretive and is compact, then the boundary condition for and implies that is in the closure of the range of . Perhaps the most interesting aspect of this result is the proof itself, which does not appeal to the classical degree theory argument used for this type of problem.

     

Isomorphic -subspaces in Orlicz-Lorentz sequence spaces

Given a decreasing weight and an Orlicz function satisfying the -condition at zero, we show that the Orlicz-Lorentz sequence space contains an -isomorphic copy of , if and only if the Orlicz sequence space does, that is, if , where and are the Matuszewska-Orlicz lower and upper indices of , respectively. If does not satisfy the -condition, then a similar result holds true for order continuous subspaces and of and , respectively.

     

Witt kernels of bilinear forms for algebraic extensions in characteristic

Let be a field of characteristic and let be a purely inseparable extension of exponent . We determine the kernel of the natural restriction map between the Witt rings of bilinear forms of and , respectively. This complements a result by Laghribi who computed the kernel for the Witt groups of quadratic forms for such an extension . Based on this result, we will determine for a wide class of finite extensions which are not necessarily purely inseparable.

     

Symmetric Bush-type Hadamard matrices of order exist for all odd

Using reversible Hadamard difference sets, we construct symmetric Bush-type Hadamard matrices of order for all odd integers .