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.

     

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 .

     

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.

     

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

     

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

     

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 .

     

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 .

     

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

     

Generalized space forms

Spaces with radially symmetric curvature at base point are shown to be diffeomorphic to space forms. Furthermore, they are either isometric to or under a radially symmetric metric, to with Riemannian universal covering of equipped with a radially symmetric metric, or else have constant curvature outside a metric ball of radius equal to the injectivity radius at .

     

Sufficient conditions for zero-one laws

We generalize a result of Bateman and Erdos concerning partitions, thereby answering a question of Compton. From this result it follows that if is a class of finite relational structures that is closed under the formation of disjoint unions and the extraction of components, and if it has the property that the number of indecomposables of size is bounded above by a polynomial in , then has a monadic second order - law. Moreover, we show that if a class of finite structures with the unique factorization property is closed under the formation of direct products and the extraction of indecomposable factors, and if it has the property that the number of indecomposables of size at most is bounded above by a polynomial in , then this class has a first order - law. These results cover all known natural examples of classes of structures that have been proved to have a logical - law by Compton's method of analyzing generating functions.

     

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.

     

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.

     

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.

     

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.

     

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.