Abstract functions with continuous differences and Namioka spaces

Let be a semigroup and a topological space. Let be an Abelian topological group. The right differences of a function are defined by for . Let be continuous at the identity of for all in a neighbourhood of . We give conditions on or range under which is continuous for any topological space . We also seek conditions on under which we conclude that is continuous at for arbitrary . This led us to introduce new classes of semigroups containing all complete metric and locally countably compact quasitopological groups. In this paper we study these classes and explore their relation with Namioka spaces.

     

Constructing product fibrations by means of a generalization of a theorem of Ganea

A theorem of Ganea shows that for the principal homotopy fibration induced from a fibration , there is a product decomposition . We will determine the conditions for a fibration to yield a product decomposition and generalize it to pushouts. Using this approach we recover some decompositions originally proved by very computational methods. The results are then applied to produce, after localization at an odd prime , homotopy decompositions for for some which include the cases . The factors of consist of the homotopy fibre of the attaching map for and combinations of spaces occurring in the Snaith stable decomposition of .

     

Topological entropy of standard type monotone twist maps

We study invariant measures of families of monotone twist maps with periodic Morse potential . We prove that there exist a constant such that the topological entropy satisfies . In particular, for . We show also that there exist arbitrary large such that has nonuniformly hyperbolic invariant measures with positive metric entropy. For large , the measures are hyperbolic and, for a class of potentials which includes , the Lyapunov exponent of the map with invariant measure grows monotonically with .

     

On quadratic forms of height two and a theorem of Wadsworth

Let and be anisotropic quadratic forms over a field of characteristic not . Their function fields and are said to be equivalent (over ) if and are isotropic. We consider the case where and is divisible by an -fold Pfister form. We determine those forms for which becomes isotropic over if , and provide partial results for . These results imply that if and are equivalent and , then is similar to over . This together with already known results yields that if is of height and degree or , and if , then and are equivalent iff and are isomorphic over .

     

Homology and some homotopy decompositions for the James filtration on spheres

The filtrations on the James construction on spheres, , have played a major role in the study of the double suspension and have been used to get information about the homotopy groups of spheres and Moore spaces and to construct product decompositions of related spaces. In this paper we calculate for odd primes . When has the form , the result is well known, but these are exceptional cases in which the homology has polynomial growth. We find that in general the homology has exponential growth and in some cases also has higher -torsion. The calculations are applied to construct a -local product decomposition of for which demonstrates a mod homotopy exponent in these cases.

     

A Concordance Extension Theorem

Let be a manifold approximate fibration between closed manifolds, where , and let be the mapping cylinder of . In this paper it is shown that if is any concordance on , then there exists a concordance such that and . As an application, if and are closed manifolds where is a locally flat submanifold of and and , then a concordance extends to a concordance on such that . This uses the fact that under these hypotheses there exists a manifold approximate fibration , where is a closed -manifold, such that the mapping cylinder is homeomorphic to a closed neighborhood of in by a homeomorphism which is the identity on .

     

Covering the integers by arithmetic sequences. II

Let ( be a system of arithmetic sequences where and . For system will be called an (exact) -cover of if every integer is covered by at least (exactly) times. In this paper we reveal further connections between the common differences in an (exact) -cover of and Egyptian fractions. Here are some typical results for those -covers of : (a) For any there are at least positive integers in the form where . (b) When (, either or , and for each positive integer the binomial coefficient can be written as the sum of some denominators of the rationals if forms an exact -cover of . (c) If is not an -cover of , then have at least distinct fractional parts and for each there exist such that (mod 1). If forms an exact -cover of with or () then for every and there is an such that (mod 1).

     

On the group of homotopy equivalences of a manifold

We consider the group of homotopy equivalences of a simply connected manifold which is part of the fundamental extension of groups due to Barcus-Barratt. We show that the kernel of this extension is always a finite group and we compute this kernel for various examples. This leads to computations of the group for special manifolds , for example if is a connected sum of products of spheres. In particular the group is determined completely. Also the connection of with the group of isotopy classes of diffeomorphisms of is studied.

     

On the ordering of -modal cycles

The forcing relation on -modal cycles is studied. If is an -modal cycle then the -modal cycles with block structure that force form a -horseshoe above . If -modal forces , and does not have a block structure over , then forces a -horseshoe of simple extensions of .

     

Powers in Finitely Generated Groups

In this paper we study the set of -powers in certain finitely generated groups . We show that, if is soluble or linear, and contains a finite index subgroup, then is nilpotent-by-finite. We also show that, if is linear and has finite index (i.e. may be covered by finitely many translations of ), then is soluble-by-finite. The proof applies invariant measures on amenable groups, number-theoretic results concerning the -unit equation, the theory of algebraic groups and strong approximation results for linear groups in arbitrary characteristic.

     

On extension of cocycles to normalizer elements, outer conjugacy, and related problems

Let be an ergodic automorphism of a Lebesgue space and a cocycle of with values in an Abelian locally compact group . An automorphism from the normalizer of the full group is said to be compatible with if there is a measurable function such that at a.e. . The topology on the set of all automorphisms compatible with is introduced in such a way that becomes a Polish group. A complete system of invariants for the -outer conjugacy (i.e. the conjugacy in the quotient group is found. Structure of the cocycles compatible with every element of is described.

     

Topological centers of certain dual algebras

Let be a Banach algebra with a bounded approximate identity. Let and be, respectively, the topological centers of the algebras and . In this paper, for weakly sequentially complete Banach algebras, in particular for the group and Fourier algebras and , we study the sets , , the relations between them and with several other subspaces of or .

     

Functorial structure of units in a tensor product

The behavior of units in a tensor product of rings is studied, as one factor varies. For example, let be an algebraically closed field. Let and be reduced rings containing , having connected spectra. Let be a unit. Then for some units and .

Here is a deeper consequence, stated for simplicity in the affine case only. Let be a field, and let be a homomorphism of finitely generated -algebras such that is dominant. Assume that every irreducible component of or is geometrically integral and has a rational point. Let be a faithfully flat homomorphism of reduced -algebras. For a -algebra, define to be . Then satisfies the following sheaf property: the sequence

is exact. This and another result are used to prove (5.2) of [7].

     

The Bergman kernel function of some Reinhardt domains

The boundary behavior of the Bergman Kernel function of some Reinhardt domains is studied. Upper and lower bounds for the Bergman kernel function are found at the diagonal points . Let be the Reinhardt domain

where , ; and let be the Bergman kernel function of . Then there exist two positive constants and and a function such that

holds for every . Here

and is the defining function for . The constants and depend only on and , not on .

     

Lévy group action and invariant measures on

For let be defined by . We investigate permutations of , which satisfy as with for (i.e. is in the Lévy group , or for in the subspace of Cesàro-summable sequences. Our main interest are -invariant means on or equivalently -invariant probability measures on . We show that the adjoint of maps measures supported in onto a weak*-dense subset of the space of -invariant measures. We investigate the dynamical system and show that the support set of invariant measures on is the closure of the set of almost periodic points and the set of non-topologically transitive points in . Finally we consider measures which are invariant under .

     

On polarized surfaces

Let be a smooth projective surface over and an ample Cartier divisor on . If the Kodaira dimension or , the author proved , where . If , then the author studied with . In this paper, we study the polarized surface with , , and .

     

Seifert manifolds with fiber spherical space forms

We study the Seifert fiber spaces modeled on the product space . Such spaces are ``fiber bundles' with singularities. The regular fibers are spherical space-forms of , while singular fibers are finite quotients of regular fibers. For each of possible space-form groups of , we obtain a criterion for a group extension of to act on as weakly -equivariant maps, which gives rise to a Seifert fiber space modeled on with weakly -equivariant maps as the universal group. In the course of proving our main results, we also obtain an explicit formula for for a cocompact crystallographic or Fuchsian group . Most of our methods for apply to compact Lie groups with discrete center, and we state some of our results in this general context.

     

New results in the perturbation theory of maximal monotone and -accretive operators in Banach spaces

Let be a real Banach space and a bounded, open and convex subset of The solvability of the fixed point problem in is considered, where is a possibly discontinuous -dissipative operator and is completely continuous. It is assumed that is uniformly convex, and A result of Browder, concerning single-valued operators that are either uniformly continuous or continuous with uniformly convex, is extended to the present case. Browder's method cannot be applied in this setting, even in the single-valued case, because there is no class of permissible homeomorphisms. Let The effect of a weak boundary condition of the type on the range of operators is studied for -accretive and maximal monotone operators Here, with sufficiently large norm and Various new eigenvalue results are given involving the solvability of with respect to Several results do not require the continuity of the operator Four open problems are also given, the solution of which would improve upon certain results of the paper.

     

Cohomological dimension and metrizable spaces. II

The main result of the first part of the paper is a generalization of the classical result of Menger-Urysohn : . Theorem. Suppose are subsets of a metrizable space and and are CW complexes. If is an absolute extensor for and is an absolute extensor for , then the join is an absolute extensor for .

As an application we prove the following analogue of the Menger-Urysohn Theorem for cohomological dimension: Theorem. Suppose are subsets of a metrizable space. Then

for any ring with unity and

for any abelian group .

The second part of the paper is devoted to the question of existence of universal spaces: Theorem. Suppose is a sequence of CW complexes homotopy dominated by finite CW complexes. Then

a.

Given a separable, metrizable space such that , , there exists a metrizable compactification of such that , .

b.

There is a universal space of the class of all compact metrizable spaces such that for all .

c.

There is a completely metrizable and separable space such that for all with the property that any completely metrizable and separable space with for all embeds in as a closed subset.