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 .

     

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.

     

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 .

     

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.

     

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

     

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.

     

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 .

     

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 .

     

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.

     

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 .

     

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.

     

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.

     

Invertibility preserving linear maps on

For Banach spaces and , we show that every unital bijective invertibility preserving linear map between and is a Jordan isomorphism. The same conclusion holds for maps between and .

     

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 .

     

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.

     

Some New Homogeneous Einstein Metrics on Symmetric Spaces

We classify homogeneous Einstein metrics on compact irreducible symmetric spaces. In particular, we consider symmetric spaces with rank, not isometric to a compact Lie group. Whenever there exists a closed proper subgroup of Isom acting transitively on we find all -homogeneous (non-symmetric) Einstein metrics on .