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.

     

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.

     

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.

     

Automorphisms of finite order on Gorenstein del Pezzo surfaces

In this paper we shall determine all actions of groups of prime order with on Gorenstein del Pezzo (singular) surfaces of Picard number 1. We show that every order- element in ( , being the minimal resolution of ) is lifted from a projective transformation of . We also determine when is finite in terms of , and the number of singular members in . In particular, we show that either for some , or for every prime , there is at least one element of order in (hence is infinite).

     

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

     

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 .

     

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

     

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.

     

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 .

     

Isomorphisms of function modules, and generalized approximation in modulus

For a function algebra we investigate relations between the following three topics: isomorphisms of singly generated -modules, Morita equivalence bimodules, and ``real harmonic functions' with respect to . We also consider certain groups which are naturally associated with a uniform algebra . We illustrate the notions considered with several examples.

     

Summing inclusion maps between symmetric sequence spaces

In 1973/74 Bennett and (independently) Carl proved that for the identity map id: is absolutely -summing, i.e., for every unconditionally summable sequence in the scalar sequence is contained in , which improved upon well-known results of Littlewood and Orlicz. The following substantial extension is our main result: For a -concave symmetric Banach sequence space the identity map is absolutely -summing, i.e., for every unconditionally summable sequence in the scalar sequence is contained in . Various applications are given, e.g., to the theory of eigenvalue distribution of compact operators, where we show that the sequence of eigenvalues of an operator on with values in a -concave symmetric Banach sequence space is a multiplier from into . Furthermore, we prove an asymptotic formula for the -th approximation number of the identity map , where denotes the linear span of the first standard unit vectors in , and apply it to Lorentz and Orlicz sequence spaces.

     

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 .

     

Induced operators on symmetry classes of tensors

Let be an -dimensional Hilbert space. Suppose is a subgroup of the symmetric group of degree , and is a character of degree 1 on . Consider the symmetrizer on the tensor space

defined by and . The vector space

is a subspace of , called the symmetry class of tensors over associated with and . The elements in of the form are called decomposable tensors and are denoted by . For any linear operator acting on , there is a (unique) induced operator acting on satisfying

In this paper, several basic problems on induced operators are studied.

     

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.

     

Character degrees and nilpotence class of finite groups

Let be a finite set of powers of containing 1. It is known that for some choices of , if is a finite -group whose set of character degrees is , then the nilpotence class of is bounded by some integer that depends on , while for some other choices of such an integer does not exist. The sets of the first type are called class bounding sets. The problem of determining the class bounding sets has been studied in several papers whose results made it tempting to conjecture that a set is class bounding if and only if . In this article we provide a new approach to this problem. Our main result shows the relevance of certain -adic space groups in this problem. With its help, we are able to prove some results that provide new class bounding sets. We also show that there exist non-class-bounding sets such that .

     

On the structure of

We show that for with its geometrically induced structure maps is not an Hopf algebroid because neither the augmentation nor the coproduct are multiplicative. As a consequence the algebra structure of is slightly different from what was supposed to be the case. We give formulas for and and show that the inversion of the formal group of is induced by an antimultiplicative involution . Some consequences for multiplicative and antimultiplicative automorphisms of for are also discussed.

     

Small rational model of subspace complement

This paper concerns the rational cohomology ring of the complement of a complex subspace arrangement. We start with the De Concini-Procesi differential graded algebra that is a rational model for . Inside it we find a much smaller subalgebra quasi-isomorphic to the whole algebra. is described by defining a natural multiplication on a chain complex whose homology is the local homology of the intersection lattice whence connecting the De Concini-Procesi model with the Goresky-MacPherson formula for the additive structure of . The algebra has a natural integral version that is a good candidate for an integral model of . If the rational local homology of can be computed explicitly we obtain an explicit presentation of the ring . For example, this is done for the cases where is a geometric lattice and where is a -equal manifold.