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.

     

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.

     

On vanishing of characteristic numbers in Poincaré complexes

Let be the evaluation subgroup as defined by Gottlieb. Assume the Hurewicz map is non-trivial and is a field. We will prove: if is a Poincaré complex oriented in -coefficient, all the characteristic numbers of in -coefficient vanish. Similarly, if and is a -Poincaré complex, then all the mod Wu numbers vanish. We will also show that the existence of a non-trivial derivation on with some suitable conditions implies vanishing of mod Wu numbers.

     

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 .

     

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 .

     

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 .

     

Defect zero blocks for finite simple groups

We classify those finite simple groups whose Brauer graph (or decomposition matrix) has a -block with defect 0, completing an investigation of many authors. The only finite simple groups whose defect zero blocks remained unclassified were the alternating groups . Here we show that these all have a -block with defect 0 for every prime . This follows from proving the same result for every symmetric group , which in turn follows as a consequence of the -core partition conjecture, that every non-negative integer possesses at least one -core partition, for any . For , we reduce this problem to Lagrange's Theorem that every non-negative integer can be written as the sum of four squares. The only case with , that was not covered in previous work, was the case . This we prove with a very different argument, by interpreting the generating function for -core partitions in terms of modular forms, and then controlling the size of the coefficients using Deligne's Theorem (née the Weil Conjectures). We also consider congruences for the number of -blocks of , proving a conjecture of Garvan, that establishes certain multiplicative congruences when . By using a result of Serre concerning the divisibility of coefficients of modular forms, we show that for any given prime and positive integer , the number of blocks with defect 0 in is a multiple of for almost all . We also establish that any given prime divides the number of modularly irreducible representations of , for almost all .

     

Relatively free invariant algebras of finite reflection groups

Let be a finite subgroup of is a field of characteristic and acting by linear substitution on a relatively free algebra of a variety of unitary associative algebras. The algebra of invariants is relatively free if and only if is a pseudo-reflection group and contains the polynomial

     

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.

     

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.

     

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 .

     

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 .

     

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 .

     

Cohomology of the complement of a free divisor

We prove that if is a ``strongly quasihomogeneous" free divisor in the Stein manifold , and is its complement, then the de Rham cohomology of can be computed as the cohomology of the complex of meromorphic differential forms on with logarithmic poles along , with exterior derivative. The class of strongly quasihomogeneous free divisors, introduced here, includes free hyperplane arrangements and the discriminants of stable mappings in Mather's nice dimensions (and in particular the discriminants of Coxeter groups).

     

Failure of normality in the box product of uncountably many real lines

We prove in ZFC that the box product of many copies of is neither normal nor collectionwise Hausdorff. As an addendum to the proof, we show that if the cardinality of the continuum is , then these properties also fail in the closed subspace consisting of all functions which assume the value on all but countably many indices.

     

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 .

     

A class of counterexamples to the Gel´fand-Kirillov conjecture

Let be a connected non-special semisimple algebraic group and let be a finite dimensional -representation such that has trivial generic stabilizer. Let . Then the semi-direct product is a counter-example to the Gel´fand-Kirillov conjecture.

     

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.

     

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.

     

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 .