The homotopy type of the complement of a coordinate subspace arrangement

The homotopy type of the complement of a complex coordinate subspace arrangement is studied by utilising some connections between its topological and combinatorial structures. A family of arrangements for which the complement is homotopy equivalent to a wedge of spheres is described. One consequence is an application in commutative algebra: certain local rings are proved to be Golod, that is, all Massey products in their homology vanish.     

The polyhedral product functor: A method of decomposition for moment-angle complexes, arrangements and related spaces

This article gives a natural decomposition of the suspension of generalized moment-angle complexes or partial product spaces which arise as polyhedral product functors described below. The geometrical decomposition presented here provides structure for the stable homotopy type of these spaces including spaces appearing in work of Goresky-MacPherson concerning complements of certain subspace arrangements, as well as Davis-Januszkiewicz and Buchstaber-Panov concerning moment-angle complexes. Since the stable decompositions here are geometric, they provide corresponding homological decompositions for generalized moment-angle complexes for any homology theory.     

Maps into homotopy coalgebras

Let X be a k-fold homotopy coalgebra of order j with respect to the pair of adjoint functors Σk and Ωk. We show that, under some connectivity conditions on the map , Y inherits a k-fold homotopy coalgebra structure of the same order for which f is a morphism of homotopy coalgebras. In particular, this holds for skeleta of homotopy coalgebras under some mild assumptions. As a consequence, we complete results on [M. Arkowitz, M. Golasiński, Homotopy coalgebras and k-fold suspensions, Hiroshima Math. J. 27 (1997) 209-220] and [T. Ganea, Cogroups and suspensions, Invent. Math. 9 (1970) 185-197] by detecting k-fold suspensions among skeleta of k-fold homotopy coalgebras.     

Lifting homotopy T-algebra maps to strict maps

The settings for homotopical algebra—categories such as simplicial groups, simplicial rings, _A∞$A_{\infty }$ spaces, _E∞$E_{\infty }$ ring spectra, etc.—are often equivalent to categories of algebras over some monad or triple T. In such cases, T is acting on a nice simplicial model category in such a way that T descends to a monad on the homotopy category and defines a category of homotopy T-algebras. In this setting there is a forgetful functor from the homotopy category of T-algebras to the category of homotopy T-algebras.     

Splitting off rational parts in homotopy types

It is known algebraically that any abelian group is a direct sum of a divisible group and a reduced group (see Theorem 21.3 of [L. Fuchs, Infinite Abelian Groups, vol. I, Academic Press, New York-London, 1970]). In this paper, conditions to split off rational parts in homotopy types from a given space are studied in terms of a variant of Hurewicz map, say and generalised Gottlieb groups. This yields decomposition theorems on rational homotopy types of Hopf spaces, T-spaces and Gottlieb spaces, which has been known in various situations, especially for spaces with finiteness conditions.     

A note on the homotopy theory of pro-G-spectra

This paper represents a step toward a model structure on pro-spectra in which the weak equivalences are the maps inducing pro-isomorphisms of all pro-homotopy groups. We construct a category in which these weak equivalences are inverted and show that we have not inverted “too much,” in the sense that isomorphic objects still give pro-isomorphic cohomology groups.     

Three models for the homotopy theory of homotopy theories

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the “homotopy theory” of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a “homotopy theory of homotopy theories”. In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to the homotopy theory arising from the model category structure on simplicial categories. Thus, any of these three categories with the respective weak equivalences could be considered a model for the homotopy theory of homotopy theories. One of them in particular, Rezk’s complete Segal space model category structure on the category of simplicial spaces, is much more convenient from the perspective of making calculations and therefore obtaining information about a given homotopy theory.     

Homomorphisms of homotopy coalgebras

In this paper we consider the theory of higher order homotopy coalgebras as a collection of spaces between co-H-spaces and suspensions, which dualizes Stasheff's theory of Ak-spaces when these are defined through Ak-structures. Moreover we extend two Berstein-Hilton theorems which deal with the primitive homotopy type of a suspension and the class of a suspension map, respectively.     

On cellularization for simplicial presheaves and motivic homotopy

We construct cellular homotopy theories for categories of simplicial presheaves on small Grothendieck sites and discuss applications to the motivic homotopy category of Morel and Voevodsky.     

On the monodromy action on Milnor fibers of graphic arrangements

We analyze the monodromy action, over the rationals, on the first homology group of the Milnor fiber, for arbitrary subarrangements of Coxeter arrangements. We propose a combinatorial formula for the monodromy action, involving Aomoto complexes in positive characteristic. We verify the formula, in cases A, B and D.     

Homotopy type of the boolean complex of a Coxeter system

In any Coxeter group, the set of elements whose principal order ideals are boolean forms a simplicial poset under the Bruhat order. This simplicial poset defines a cell complex, called the boolean complex. In this paper it is shown that, for any Coxeter system of rank n, the boolean complex is homotopy equivalent to a wedge of (n−1)-dimensional spheres. The number of such spheres can be computed recursively from the unlabeled Coxeter graph, and defines a new graph invariant called the boolean number. Specific calculations of the boolean number are given for all finite and affine irreducible Coxeter systems, as well as for systems with graphs that are disconnected, complete, or stars. One implication of these results is that the boolean complex is contractible if and only if a generator of the Coxeter system is in the center of the group.     

Models for homotopy n-types in diagram categories

The classical Mac Lane-Whitehead equivalence showing that crossed modules of groups are algebraic models of connected homotopy 2-types has found a corresponding equivariant version by Moerdijk and Svensson ([22]). In this paper we show that this equivariant result has a higher-dimensional version which gives an equivalence between the homotopy category of diagrams of certain objects indexed by the orbit category of a group H and H-equivariant homotopy n-types for n1.Supported by DGICYT:PS90-0226     

Remainders of arcwise connected compactifications of the plane

A. Lelek asked which continua are remainders of locally connected compactifications of the plane. In this paper we study a similar problem with local connectedness replaced by arcwise connectedness. (Each locally connected continuum is arcwise connected.) We give the following characterization: a continuum X is pointed 1-movable if and only if there is an arcwise connected compactification of the plane with X as the remainder.     

Compact maps and quasi-finite complexes

The simplest condition characterizing quasi-finite CW complexes K is the implication XτhK⇒β(X)τK for all paracompact spaces X. Here are the main results of the paper:

Theorem 0.1. If{Ks}_s∈Sis a family of pointed quasi-finite complexes, then their wedge_?s∈SKsis quasi-finite.     

Eigenvectors for a random walk on a left-regular band

We present a simple construction of the eigenvectors for the transition matrices of random walks on a class of semigroups called left-regular bands. These walks were introduced and analyzed by Brown, and they include the hyperplane chamber walks of Bidigare, Hanlon and Rockmore. This construction leads to new concise proofs of several of the known results about these walks. We also explain how tools from poset topology can be used to extract an eigenbasis for the transition matrices of the hyperplane chamber walks, and indicate the connection with a method recently described by Denham.     

A sharp bound for the Castelnuovo-Mumford regularity of subspace arrangements

We show that the ideal of an arrangement of d linear subspaces of projective space is d-regular in the sense of Castelnuovo and Mumford, answering a question of B. Sturmfels. In particular, this implies that the ideal of an arrangement of d subspaces is generated in degrees less than or equal to d.     

The bitwisted Cartesian model for the free loop fibration

Using the notion of truncating twisting function from a simplicial set to a cubical set a special, bitwisted, Cartesian product of these sets is defined. For the universal truncating twisting function, the (co)chain complex of the corresponding bitwisted Cartesian product agrees with the standard Cartier (Hochschild) chain complex of the simplicial (co)chains. The modelling polytopes Fn are constructed. An explicit diagonal on Fn is defined and a multiplicative model for the free loop fibration ΩY→ΛY→Y is obtained. As an application we establish an algebra isomorphism H^∗(ΛY;Z)≈S(U)⊗Λ(s−1U) for the polynomial cohomology algebra H^∗(Y;Z)=S(U).     

The limiting spectral distribution of the product of the Wigner matrix and a nonnegative definite matrix

Let W_n be n×n Hermitian whose entries on and above the diagonal are independent complex random variables satisfying the Lindeberg type condition. Let T_n be n×n nonnegative definitive and be independent of W_n. Assume that almost surely, as n→∞, the empirical distribution of the eigenvalues of T_n converges weakly to a non-random probability distribution.Let . Then with the aid of the Stieltjes transforms, we show that almost surely, as n→∞, the empirical distribution of the eigenvalues of A_n also converges weakly to a non-random probability distribution, a system of two equations determining the Stieltjes transform of the limiting distribution. Important analytic properties of this limiting spectral distribution are then derived by means of those equations. It is shown that the limiting spectral distribution is continuously differentiable everywhere on the real line except only at the origin and that a necessary and sufficient condition is available for determining its support. At the end, the density function of the limiting spectral distribution is calculated for two important cases of T_n, when T_n is a sample covariance matrix and when T_n is the inverse of a sample covariance matrix.     

Representations of matroids and free resolutions for multigraded modules

Let k be a field, let R=k[x₁,…,xm] be a polynomial ring with the standard Zm-grading (multigrading), let L be a Noetherian multigraded R-module, and let be a finite free multigraded presentation of L over R. Given a choice S of a multihomogeneous basis of E, we construct an explicit canonical finite free multigraded resolution T_•(Φ,S) of the R-module L. In the case of monomial ideals our construction recovers the Taylor resolution. A main ingredient of our work is a new linear algebra construction of independent interest, which produces from a representation ? over k of a matroid M a canonical finite complex of finite dimensional k-vector spaces T_•(?) that is a resolution of Ker?. We also show that the length of T_•(?) and the dimensions of its components are combinatorial invariants of the matroid M, and are independent of the representation map ?.