Further Nice Equations for Nice Groups

Nice sextinomial equations are given for unramified coverings of the affine line in nonzero characteristic with P and as Galois groups where is any integer and is any power of .

     

Duality and Polynomial Testing of Tree Homomorphisms

Let be a fixed digraph. We consider the -colouring problem, i.e., the problem of deciding which digraphs admit a homomorphism to . We are interested in a characterization in terms of the absence in of certain tree-like obstructions. Specifically, we say that has tree duality if, for all digraphs , is not homomorphic to if and only if there is an oriented tree which is homomorphic to but not to . We prove that if has tree duality then the -colouring problem is polynomial. We also generalize tree duality to bounded treewidth duality and prove a similar result. We relate these duality concepts to the notion of the -property studied by Gutjahr, Welzl, and Woeginger.

We then focus on the case when itself is an oriented tree. In fact, we are particularly interested in those trees that have exactly one vertex of degree three and all other vertices of degree one or two. Such trees are called triads. We have shown in a companion paper that there exist oriented triads for which the -colouring problem is -complete. We contrast these with several families of oriented triads which have tree duality, or bounded treewidth duality, and hence polynomial -colouring problems. If , then no oriented triad with an -complete -colouring problem can have bounded treewidth duality; however no proof of this is known, for any oriented triad . We prove that none of the oriented triads with -complete -colouring problems given in the companion paper has tree duality.

     

Infinite products of finite simple groups

We classify the sequences of finite simple nonabelian groups such that has uncountable cofinality.

     

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 .

     

Totally real submanifolds in satisfying Chen's equality

In this paper, we study 3-dimensional totally real submanifolds of . If this submanifold is contained in some 5-dimensional totally geodesic , then we classify such submanifolds in terms of complex curves in lifted via the Hopf fibration . We also show that such submanifolds always satisfy Chen's equality, i.e. , where for every . Then we consider 3-dimensional totally real submanifolds which are linearly full in and which satisfy Chen's equality. We classify such submanifolds as tubes of radius in the direction of the second normal space over an almost complex curve in .

     

Whitehead test modules

A (right -) module is said to be a Whitehead test module for projectivity (shortly: a p-test module) provided for each module , implies is projective. Dually, i-test modules are defined. For example, is a p-test abelian group iff each Whitehead group is free. Our first main result says that if is a right hereditary non-right perfect ring, then the existence of p-test modules is independent of ZFC + GCH. On the other hand, for any ring , there is a proper class of i-test modules. Dually, there is a proper class of p-test modules over any right perfect ring.

A non-semisimple ring is said to be fully saturated (-saturated) provided that all non-projective (-generated non-projective) modules are i-test. We show that classification of saturated rings can be reduced to the indecomposable ones. Indecomposable 1-saturated rings fall into two classes: type I, where all simple modules are isomorphic, and type II, the others. Our second main result gives a complete characterization of rings of type II as certain generalized upper triangular matrix rings, . The four parameters involved here are skew-fields and , and natural numbers . For rings of type I, we have several partial results: e.g. using a generalization of Bongartz Lemma, we show that it is consistent that each fully saturated ring of type I is a full matrix ring over a local quasi-Frobenius ring. In several recent papers, our results have been applied to Tilting Theory and to the Theory of -modules.

     

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.

     

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 .

     

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 .

     

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 .

     

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.

     

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.

     

Boundary and Lens Rigidity of Lorentzian Surfaces

Let be a Lorentzian metric on the plane that agrees with the standard metric outside a compact set and so that there are no conjugate points along any time-like geodesic of . Then and are isometric. Further, if and are two dimensional compact time oriented Lorentzian manifolds with space--like boundaries and so that all time-like geodesics of maximize the distances between their points and and are ``boundary isometric', then there is a conformal diffeomorphism between and and they have the same areas. Similar results hold in higher dimensions under an extra assumption on the volumes of the manifolds.

     

Uniform harmonic approximation of bounded functions

Let be an open set in and be a relatively closed subset of . We characterize those pairs which have the following property: every function which is bounded and continuous on and harmonic on can be uniformly approximated by functions harmonic on . Several related results concerning both harmonic and superharmonic approximation are also established.

     

Properties of extremal functions for some nonlinear functionals on Dirichlet spaces

Let be the set of holomorphic functions on the unit disc with and Dirichlet integral not exceeding one, and let be the set of complex-valued harmonic functions on the unit disc with and Dirichlet integral not exceeding one. For a (semi)continuous function , define the nonlinear functional on or by . We study the existence and regularity of extremal functions for these functionals, as well as the weak semicontinuity properties of the functionals. We also state a number of open problems.

     

Comparative asymptotics for perturbed orthogonal polynomials

Let and be such systems of orthonormal polynomials on the unit circle that the recurrence coefficients of the perturbed polynomials behave asymptotically like those of . We give, under weak assumptions on the system and the perturbations, comparative asymptotics as for etc., , on the open unit disk and on the circumference mainly off the support of the measure with respect to which the 's are orthonormal. In particular these results apply if the comparative system has a support which consists of several arcs of the unit circumference, as in the case when the recurrence coefficients are (asymptotically) periodic.