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 .

     

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

     

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 .

     

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 .

     

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

     

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.

     

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.

     

Noncomplete linear systems on abelian varieties

Let be a smooth projective variety. Every embedding is the linear projection of an embedding defined by a complete linear system. In this paper the geometry of such not necessarily complete embeddings is investigated in the special case of abelian varieites. To be more precise, the properties of complete embeddings are extended to arbitrary embeddings, and criteria for these properties to be satisfied are elaborated. These results are applied to abelian varieties. The main result is: Let be a general polarized abelian variety of type and , such that is even, and . The general subvector space of codimension satisfies the property .

     

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.

     

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 .

     

A group of paths in

We define a group structure on the set of compact ``minimal' paths in . We classify all finitely generated subgroups of this group : they are free products of free abelian groups and surface groups. Moreover, each such group occurs in . The subgroups of isomorphic to surface groups arise from certain topological -forms on the corresponding surfaces. We construct examples of such -forms for cohomology classes corresponding to certain eigenvectors for the action on cohomology of a pseudo-Anosov diffeomorphism. Using we construct a non-polygonal tiling problem in , that is, a finite set of tiles whose corresponding tilings are not equivalent to those of any set of polygonal tiles. The group has applications to combinatorial tiling problems of the type: given a set of tiles and a region , can be tiled by translated copies of tiles in ?

     

Packing measure of the sample paths of fractional Brownian motion

Let be a fractional Brownian motion of index in If , then there exists a positive finite constant such that with probability 1,

where and - is the -packing measure of .

     

An -minimal Boolean algebra

For every linear order we define a notion of -minimal Boolean algebra and then give a consistent example of an -minimal algebra. The Stone space of our algebra contains a point such that is an example of a countably tight, initially -compact, non-compact space. This answers a question of Dow and van Douwen.

     

Computation of Nielsen numbers for maps of closed surfaces

Let be a closed surface, and let be a map. We would like to determine Nielsen fixed point theory provides a lower bound for , called the Nielsen number, which is easy to define geometrically and is difficult to compute.

We improve upon an algebraic method of calculating developed by Fadell and Husseini, so that the method becomes algorithmic for orientable closed surfaces up to the distinguishing of Reidemeister orbits. Our improvement makes tractable calculations of Nielsen numbers for many maps on surfaces of negative Euler characteristic. We apply the improved method to self-maps on the connected sum of two tori including classes of examples for which no other method is known. We also include the application of this algebraic method to maps on the Klein bottle . Nielsen numbers for maps on were first calculated (geometrically) by Halpern. We include a sketch of Halpern's never published proof that for all maps on .

     

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.

     

Weierstrass points on cyclic covers of the projective line

We are interested in cyclic covers of the projective line which are totally ramified at all of their branch points. We begin with curves given by an equation of the form , where is a polynomial of degree . Under a mild hypothesis, it is easy to see that all of the branch points must be Weierstrass points. Our main problem is to find the total Weierstrass weight of these points, . We obtain a lower bound for , which we show is exact if and are relatively prime. As a fraction of the total Weierstrass weight of all points on the curve, we get the following particularly nice asymptotic formula (as well as an interesting exact formula):

where is the genus of the curve. In the case that (cyclic trigonal curves), we are able to show in most cases that for sufficiently large primes , the branch points and the non-branch Weierstrass points remain distinct modulo .

     

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.

     

over number fields and function fields

For the number field case we will give an upper bound on the number of the -integral points in
. The main tool here is the explicit upper bound of the number of solutions of -unit equations (Invent. Math. 102 (1990), 95--107). For the function field case we will give a bound on the height of the -integral points in . We will also give a bound for the number of ``generators" of those -integral points. The main tool here is the -unit Theorem by Brownawell and Masser (Proc. Cambridge Philos. Soc. 100 (1986), 427--434).

     

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 .