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 .

     

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.

     

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 .

     

Fine structure of the space of spherical minimal immersions

The space of congruence classes of full spherical minimal immersions of a given source dimension and algebraic degree is a compact convex body in a representation space of the special orthogonal group . In Ann. of Math. 93 (1971), 43--62 DoCarmo and Wallach gave a lower bound for and conjectured that the estimate was sharp. Toth resolved this ``exact dimension conjecture' positively so that all irreducible components of became known. The purpose of the present paper is to characterize each irreducible component of in terms of the spherical minimal immersions represented by the slice . Using this geometric insight, the recent examples of DeTurck and Ziller are located within .

     

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.

     

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

     

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 .

     

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 .

     

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 .

     

Package deal theorems and splitting orders in dimension 1

Let be a module-finite algebra over a commutative noetherian ring of Krull dimension 1. We determine when a collection of finitely generated modules over the localizations , at maximal ideals of , is the family of all localizations of a finitely generated -module . When is semilocal we also determine which finitely generated modules over the -adic completion of are completions of finitely generated -modules.

If is an -order in a semisimple artinian ring, but not contained in a maximal such order, several of the basic tools of integral representation theory behave differently than in the classical situation. The theme of this paper is to develop ways of dealing with this, as in the case of localizations and completions mentioned above. In addition, we introduce a type of order called a ``splitting order' of that can replace maximal orders in many situations in which maximal orders do not exist.

     

Nonnegative Radix Representations for the Orthant

Let be a nonnegative real matrix which is expanding, i.e. with all eigenvalues , and suppose that is an integer. Let consist of exactly nonnegative vectors in . We classify all pairs such that every in the orthant has at least one radix expansion in base using digits in . The matrix must be a diagonal matrix times a permutation matrix. In addition must be similar to an integer matrix, but need not be an integer matrix. In all cases the digit set can be diagonally scaled to lie in . The proofs generalize a method of Odlyzko, previously used to classify the one--dimensional case.

     

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.

     

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 .

     

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 .

     

An Application of Convex Integration to Contact Geometry

We prove that every closed, orientable -manifold admits a parallelization by the Reeb vector fields of a triple of contact forms with equal volume form. Our proof is based on Gromov's convex integration technique and the -principle. Similar methods can be used to show that admits a parallelization by contact forms with everywhere linearly independent Reeb vector fields. We also prove a generalization of this latter result to higher dimensions. If is a closed -manifold with contact form whose contact distribution admits everywhere linearly independent sections, then admits linearly independent contact forms with linearly independent Reeb vector fields.

     

Regularity and Algebras of Analytic Functions in Infinite Dimensions

A Banach space is known to be Arens regular if every continuous linear mapping from to is weakly compact. Let be an open subset of , and let denote the algebra of analytic functions on which are bounded on bounded subsets of lying at a positive distance from the boundary of We endow with the usual Fréchet topology. denotes the set of continuous homomorphisms . We study the relation between the Arens regularity of the space and the structure of .

     

Finite-dimensional lattice-subspaces of

Let be linearly independent positive functions in , let be the vector subspace generated by the and let denote the curve of determined by the function , where . We establish that is a vector lattice under the induced ordering from if and only if there exists a convex polygon of with vertices containing the curve and having its vertices in the closure of the range of . We also present an algorithm which determines whether or not is a vector lattice and in case is a vector lattice it constructs a positive basis of . The results are also shown to be valid for general normed vector lattices.

     

Linear additive functionals of superdiffusions and related nonlinear P.D.E.

Let be a second order elliptic differential operator in a bounded smooth domain in and let . We get necessary and sufficient conditions on measures under which there exists a positive solution of the boundary value problem

The conditions are stated both analytically (in terms of capacities related to the Green's and Poisson kernels) and probabilistically (in terms of branching measure-valued processes called -superdiffusions).

We also investigate a closely related subject --- linear additive functionals of superdiffusions. For a superdiffusion in an arbitrary domain in , we establish a 1-1 correspondence between a class of such functionals and a class of -excessive functions (which we describe in terms of their Martin integral representation). The Laplace transform of satisfies an integral equation which can be considered as a substitute for (*).