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.

     

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

     

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.

     

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.

     

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.

     

Ribbon tilings and multidimensional height functions

We fix and say a square in the two-dimensional grid indexed by has color if . A ribbon tile of order is a connected polyomino containing exactly one square of each color. We show that the set of order- ribbon tilings of a simply connected region is in one-to-one correspondence with a set of height functions from the vertices of to satisfying certain difference restrictions. It is also in one-to-one correspondence with the set of acyclic orientations of a certain partially oriented graph.

Using these facts, we describe a linear (in the area of ) algorithm for determining whether can be tiled with ribbon tiles of order and producing such a tiling when one exists. We also resolve a conjecture of Pak by showing that any pair of order- ribbon tilings of can be connected by a sequence of local replacement moves. Some of our results are generalizations of known results for order- ribbon tilings (a.k.a. domino tilings). We also discuss applications of multidimensional height functions to a broader class of polyomino tiling problems.

     

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.

     

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.

     

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.

     

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

     

Finely -harmonic functions of a Markov process

Let be a Borel right process and a fixed excessive measure. Given a finely open nearly Borel set we define an operator which we regard as an extension of the restriction to of the generator of . It maps functions on to (locally) signed measures on not charging -semipolars. Given a locally smooth signed measure we define to be (finely) -harmonic on provided on and denote the class of such by . Under mild conditions on we show that is equivalent to a local ``Poisson' representation of . We characterize by an analog of the mean value property under secondary assumptions. We obtain global Poisson type representations and study the Dirichlet problem for elements of under suitable finiteness hypotheses. The results take their nicest form when specialized to Hunt processes.

     

Involutions fixing , I

This paper studies the equivariant cobordism classification of all involutions fixing a disjoint union of an odd-dimensional real projective space with its normal bundle nonbounding and a Dold manifold with 0$"> and 0$">. For odd , the complete analysis of the equivariant cobordism classes of such involutions is given except that the upper and lower bounds on codimension of may not be best possible; for even , the problem may be reduced to the problem for even projective spaces.

     

Functional Calculus in Hölder-Zygmund Spaces

In this paper we characterize those functions of the real line to itself such that the nonlinear superposition operator defined by maps the Hölder-Zygmund space to itself, is continuous, and is times continuously differentiable. Our characterizations cover all cases in which is real and 0$">, and seem to be novel when 0$"> is an integer.