Degenerate fibres in the Stone-Cech compactification of the universal bundle of a finite group

Applied to a continuous surjection of completely regular Hausdorff spaces and , the Stone-Cech compactification functor yields a surjection . For an -fold covering map , we show that the fibres of , while never containing more than points, may degenerate to sets of cardinality properly dividing . In the special case of the universal bundle of a -group , we show more precisely that every possible type of -orbit occurs among the fibres of . To prove this, we use a weak form of the so-called generalized Sullivan conjecture.

     

On the Glauberman and Watanabe correspondences for blocks of finite -solvable groups

If is a finite -solvable group for some prime , a solvable subgroup of the automorphism group of of order prime to such that stabilises a -block of and acts trivially on a defect group of , then there is a Morita equivalence between the block and its Watanabe correspondent of , given by a bimodule with vertex and an endo-permutation module as source, which on the character level induces the Glauberman correspondence (and which is an isotypy by Watanabe's results).

     

Sums of squares in real analytic rings

Let be an analytic ring. We show: (1) has finite Pythagoras number if and only if its real dimension is , and (2) if every positive semidefinite element of is a sum of squares, then is real and has real dimension .

     

Lower central series and free resolutions of hyperplane arrangements

If is the complement of a hyperplane arrangement, and is the cohomology ring of over a field of characteristic , then the ranks, , of the lower central series quotients of can be computed from the Betti numbers, , of the linear strand in a minimal free resolution of over . We use the Cartan-Eilenberg change of rings spectral sequence to relate these numbers to the graded Betti numbers, , of a minimal resolution of over the exterior algebra .

From this analysis, we recover a formula of Falk for , and obtain a new formula for . The exact sequence of low-degree terms in the spectral sequence allows us to answer a question of Falk on graphic arrangements, and also shows that for these arrangements, the algebra is Koszul if and only if the arrangement is supersolvable.

We also give combinatorial lower bounds on the Betti numbers, , of the linear strand of the free resolution of over ; if the lower bound is attained for , then it is attained for all . For such arrangements, we compute the entire linear strand of the resolution, and we prove that all components of the first resonance variety of are local. For graphic arrangements (which do not attain the lower bound, unless they have no braid subarrangements), we show that is determined by the number of triangles and subgraphs in the graph.

     

Sets of uniqueness for spherically convergent multiple trigonometric series

A subset of the -dimensional torus is called a set of uniqueness, or -set, if every multiple trigonometric series spherically converging to outside vanishes identically. We show that all countable sets are -sets and also that sets are -sets for every . In particular, , where is the Cantor set, is an set and hence a -set. We will say that is a -set if every multiple trigonometric series spherically Abel summable to outside and having certain growth restrictions on its coefficients vanishes identically. The above-mentioned results hold also for sets. In addition, every -set has measure , and a countable union of closed -sets is a -set.

     

Cotensor products of modules

Let be a coalgebra over a field and its dual algebra. The category of -comodules is equivalent to a category of -modules. We use this to interpret the cotensor product of two comodules in terms of the appropriate Hochschild cohomology of the -bimodule , when is finite-dimensional, profinite, graded or differential-graded. The main applications are to Galois cohomology, comodules over the Steenrod algebra, and the homology of induced fibrations.

     

Differential operators on a polarized abelian variety

Let be an ample line bundle over a complex abelian variety . We show that the space of all global sections over of and are both of dimension one. Using this it is shown that the moduli space of rank one holomorphic connections on a compact Riemann surface does not admit any nonconstant algebraic function. On the other hand, is biholomorphic to the moduli space of characters of , which is an affine variety. So is algebraically distinct from the character variety if is of genus at least one.

     

Uniform and Lipschitz homotopy classes of maps

If is a compact connected polyhedron, we associate with each uniform homotopy class of uniformly continuous mappings from the real line into an element of where is the space of uniformly continuous functions from to and is the subspace of bounded uniformly continuous functions. This map from uniform homotopy classes of functions to is surjective. If is the -dimensional torus, it is bijective, while if is a compact orientable surface of genus 1$">, it is not injective.

In higher dimensions we have to consider smooth Lipschitz homotopy classes of smooth Lipschitz maps from suitable Riemannian manifolds to compact smooth manifolds With each such Lipschitz homotopy class we associate an element of where is the dimension of is the space of bounded continuous functions from the positive real axis to and is the set of all such that

     

Invariant ideals and polynomial forms

Let denote the group algebra of an infinite locally finite group . In recent years, the lattice of ideals of has been extensively studied under the assumption that is simple. From these many results, it appears that such group algebras tend to have very few ideals. While some work still remains to be done in the simple group case, we nevertheless move on to the next stage of this program by considering certain abelian-by-(quasi-simple) groups. Standard arguments reduce this problem to that of characterizing the ideals of an abelian group algebra stable under the action of an appropriate automorphism group of . Specifically, in this paper, we let be a quasi-simple group of Lie type defined over an infinite locally finite field , and we let be a finite-dimensional vector space over a field of the same characteristic . If acts nontrivially on by way of the homomorphism , and if has no proper -stable subgroups, then we show that the augmentation ideal is the unique proper -stable ideal of when . The proof of this result requires, among other things, that we study characteristic division rings , certain multiplicative subgroups of , and the action of on the group algebra , where is the additive group . In particular, properties of the quasi-simple group come into play only in the final section of this paper.

     

Vertices for characters of -solvable groups

Suppose that is a finite -solvable group. We associate to every irreducible complex character of a canonical pair , where is a -subgroup of and , uniquely determined by up to -conjugacy. This pair behaves as a Green vertex and partitions into ``families" of characters. Using the pair , we give a canonical choice of a certain -radical subgroup of and a character associated to which was predicted by some conjecture of G. R. Robinson.

     

Self-tilting complexes yield unstable modules

Let be a group and a commutative ring. Let be the group of isomorphism classes of standard self-equivalences of the derived category of bounded complexes of -modules. The subgroup of consisting of self-equivalences fixing the trivial -module acts on the cohomology ring . The action is functorial with respect to . The self-equivalences which are 'splendid' in a sense defined by J. Rickard act naturally with respect to transfer and restriction to centralizers of -subgroups in case is a field of characteristic . In the present paper we prove that this action of self-equivalences on commutes with the action of the Steenrod algebra, and study the behaviour of the action of splendid self-equivalences with respect to Lannes' -functor.

     

Detection of renewal system factors via the Conley index

Let be an isolating neighborhood for a map . If we can decompose into the disjoint union of compact sets and , then we can relate the dynamics on the maximal invariant set to the shift on two symbols by noting which component of each iterate of a point lies in. We examine a method, based on work by Mischaikow, Szymczak, et al., for using the discrete Conley index to detect explicit subshifts of the shift associated to . In essence, we measure the difference between the Conley index of and the sum of the indices of and .

     

Extensions for finite Chevalley groups II

Let be a semisimple simply connected algebraic group defined and split over the field with elements, let be the finite Chevalley group consisting of the -rational points of where , and let be the th Frobenius kernel. The purpose of this paper is to relate extensions between modules in and with extensions between modules in . Among the results obtained are the following: for 2$"> and , the -extensions between two simple -modules are isomorphic to the -extensions between two simple -restricted -modules with suitably ``twisted" highest weights. For , we provide a complete characterization of where and is -restricted. Furthermore, for , necessary and sufficient bounds on the size of the highest weight of a -module are given to insure that the restriction map is an isomorphism. Finally, it is shown that the extensions between two simple -restricted -modules coincide in all three categories provided the highest weights are ``close" together.

     

Euler characters and submanifolds of constant positive curvature

This article develops methods for studying the topology of submanifolds of constant positive curvature in Euclidean space. It proves that if is an -dimensional compact connected Riemannian submanifold of constant positive curvature in , then must be simply connected. It also gives a conformal version of this theorem.

     

Linear maps determining the norm topology

Let be a Banach function algebra on a compact space , and let be such that for any scalar the element is not a divisor of zero. We show that any complete norm topology on that makes the multiplication by continuous is automatically equivalent to the original norm topology of . Related results for general Banach spaces are also discussed.

     

Tilting theory and the finitistic dimension conjectures

Let be a right noetherian ring and let be the class of all finitely presented modules of finite projective dimension. We prove that findim iff there is an (infinitely generated) tilting module such that pd and . If is an artin algebra, then can be taken to be finitely generated iff is contravariantly finite. We also obtain a sufficient condition for validity of the First Finitistic Dimension Conjecture that extends the well-known result of Huisgen-Zimmermann and Smalø.

     

Associated primes of graded components of local cohomology modules

The -th local cohomology module of a finitely generated graded module over a standard positively graded commutative Noetherian ring , with respect to the irrelevant ideal , is itself graded; all its graded components are finitely generated modules over , the component of of degree . It is known that the -th component of this local cohomology module is zero for all > 0$">. This paper is concerned with the asymptotic behaviour of as .

The smallest for which such study is interesting is the finiteness dimension of relative to , defined as the least integer for which is not finitely generated. Brodmann and Hellus have shown that is constant for all (that is, in their terminology, is asymptotically stable for ). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that is a homomorphic image of a regular ring): our answer is precisely the set of contractions to of certain relevant primes of whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology.

Brodmann and Hellus raised various questions about such asymptotic behaviour when f$">. They noted that Singh's study of a particular example (in which ) shows that need not be asymptotically stable for . The second main aim of this paper is to determine, for Singh's example, quite precisely for every integer , and, thereby, answer one of the questions raised by Brodmann and Hellus.

     

Braid pictures for Artin groups

We define the braid groups of a two-dimensional orbifold and introduce conventions for drawing braid pictures. We use these to realize the Artin groups associated to the spherical Coxeter diagrams , and and the affine diagrams , , and as subgroups of the braid groups of various simple orbifolds. The cases , , and are new. In each case the Artin group is a normal subgroup with abelian quotient; in all cases except the quotient is finite. We also illustrate the value of our braid calculus by giving a picture-proof of the basic properties of the Garside element of an Artin group of type .