Topological Model Categories Generated by Finite Complexes

 Our main result states that for each finite complex L the category TOP of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all [L]-homotopy groups. The concept of [L]-homotopy has earlier been introduced by the first author and is based on Dranishnikov’s notion of extension dimension. As a corollary we obtain an algebraic characterization of [L]-homotopy equivalences between [L]-complexes. This result extends two classical theorems of J. H. C. Whitehead. One of them – describing homotopy equivalences between CW-complexes as maps inducing isomorphisms of all homotopy groups – is obtained by letting L = {point}. The other – describing n-homotopy equivalences between at most (n+1)-dimensional CW-complexes as maps inducing isomorphisms of k-dimensional homotopy groups with k ⩽ n – by letting L = S ⁿ⁺¹ , n ⩾ 0. The first author was partially supported by NSERC research grant. Received December 12, 2001; in revised form September 7, 2002 Published online February 28, 2003     

Interpolating functions

Let X,Y be sets with quasiproximities X_? and Y_? (where A?B is interpreted as “B is a neighborhood of A”). Let f,g:X→Y be a pair of functions such that whenever CY_?D, then f−1[C]X_?g−1[D]. We show that there is then a function h:X→Y such that whenever CY_?D, then f−1[C]X_?h−1[D], h−1[C]X_?h−1[D] and h−1[C]X_?g−1[D]. Since any function h that satisfies h−1[C]X_?h−1[D] whenever CY_?D, is continuous, many classical “sandwich” or “insertion” theorems are corollaries of this result. The paper is written to emphasize the strong similarities between several concepts

•

the posets with auxiliary relations studied in domain theory;

•

quasiproximities and their simplification, Urysohn relations; and

•

the axioms assumed by Katětov and by Lane to originally show some of these results.

Interpolation results are obtained for continuous posets and Scott domains. We also show that (bi-)topological notions such as normality are captured by these order theoretical ideas.     

Derivations, the Lawrence–Sullivan interval and the Fiorenza–Manetti mapping cone

We describe the rational homotopy type of any component of the based mapping space map^*(X,Y) as an explicit L _∞ algebra defined on the (desuspended and positive) derivations between Quillen models of X and Y. When considering the Lawrence–Sullivan model of the interval, we obtain an L _∞ model of the contractible path space of Y. We then relate this, in a geometrical and natural manner, to the L _∞ structure on the Fiorenza–Manetti mapping cone of any differential graded Lie algebra morphism, two in principal different algebraic objects in which Bernoulli numbers appear.     

A counter-example to a conjecture of Félix

If X is a simply connected space of finite type, then the rational homotopy groups of the based loop space of X possess the structure of a graded Lie algebra, denoted L_X. The radical of L_X, which is an important rational homotopy invariant of X, is of finite total dimension if the Lusternik-Schnirelmann category of X is finite.Let X be a simply connected space with finite Lusternik-Schnirelmann category. If dimL_X<∞, i.e., if X is elliptic, then L_X is its own radical, and therefore the total dimension of the radical of L_X in odd degrees is less than or equal to its total dimension in even degrees (Friedlander and Halperin (1979) [8]). Félix conjectured that this inequality should hold for all simply connected spaces with finite Lusternik-Schnirelmann category.We prove Félix’s conjecture in some interesting special cases, then provide a counter-example to the general case.     

Topological Model Categories Generated by Finite Complexes

 Our main result states that for each finite complex L the category TOP of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all [L]-homotopy groups. The concept of [L]-homotopy has earlier been introduced by the first author and is based on Dranishnikov’s notion of extension dimension. As a corollary we obtain an algebraic characterization of [L]-homotopy equivalences between [L]-complexes. This result extends two classical theorems of J. H. C. Whitehead. One of them – describing homotopy equivalences between CW-complexes as maps inducing isomorphisms of all homotopy groups – is obtained by letting L = {point}. The other – describing n-homotopy equivalences between at most (n+1)-dimensional CW-complexes as maps inducing isomorphisms of k-dimensional homotopy groups with k ⩽ n – by letting L = S ⁿ⁺¹ , n ⩾ 0.     

Lower bounds¶for the relative Lusternik–Schnirelmann category

We give estimates of numerical homotopy invariants of the pair (X,X×S ^p ) in terms of homotopy invariants of X. More precisely, we prove that σ ^{p +1} cat(X) + 1 ≤ cat(X,X×S ^p }), that and that e(X,X×S< ^p )=e(X)+1, where σ ^{p +1} cat is the (relative) σ category of Vandembroucq and e is the (relative) Toomer invariant. The proof is based on an extension of Milnor's construction of the classifying space of a topological group to a relative setting (due to Dold and Lashof). Received: 14 October 1998 / Revised version: 5 November 1999     

Hereditary order convexity inL(X,Y)

LetX be a topological vector space,Y an ordered topological vector space andL(X,Y) the space of all linear and continuous mappings fromX intoY. The hereditary order-convex cover [K] ^h of a subsetK ofL(X,Y) is defined by [K] ^h ={A∈L(X,Y):Ax∈[Kx] for allx∈X}, where[Kx] is the order-convex ofKx. In this paper we study the hereditary order-convex cover of a subset ofL(X,Y). We show how this cover can be constructed in specific cases and investigate its structural and topological properties. Our results extend to the spaceL(X,Y) some of the known properties of the convex hull of subsets ofX ^*.     

The global decomposition theorem for Hochschild (co-)homology of singular spaces via the Atiyah-Chern character

We generalize the decomposition theorem of Hochschild, Kostant and Rosenberg for Hochschild (co-)homology to arbitrary morphisms between complex spaces or schemes over a field of characteristic zero. To be precise, we show that for each such morphism X→Y, the Hochschild complex HX/Y, as introduced in [R.-O. Buchweitz, H. Flenner, Global Hochschild (co-)homology of singular spaces, Adv. Math. (2007), doi: 10.1016/j.aim.2007.06.012], decomposes naturally in the derived category D(X) into _⊕p?0Sp(LX/Y[1]), the direct sum of the derived symmetric powers of the shifted cotangent complex, a result due to Quillen in the affine case.Even in the affine case, our proof is new and provides further information. It shows that the decomposition is given explicitly and naturally by the universal Atiyah-Chern character, the exponential of the universal Atiyah class.We further use the decomposition theorem to show that the semiregularity map for perfect complexes factors through Hochschild homology and, in turn, factors the Atiyah-Hochschild character through the characteristic homomorphism from Hochschild cohomology to the graded centre of the derived category.     

Separated Lie models and the homotopy Lie algebra

A simply connected topological space X has homotopy Lie algebra π_∗(ΩX)⊗Q. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type of X, and whose homology is isomorphic to the homotopy Lie algebra. We show that such a Lie model can be replaced with one that has a special property that we call being separated. The homology of a separated dgL has a particular form which lends itself to calculations.     

The derivation algebra of the associative algebra C q [X,Y,X -1,Y -1] *

The derivation algebra Lof the associative algebra C_q[X,Y,X ^-1,Y ^-1] (q ⁿ :≠1,n∈ N)and the automorphism group Aut Lof L are given.     

Almost splitting sets in integral domains, II

Let D be an integral domain. A saturated multiplicative subset S of D is an almost splitting set if, for each 0≠d∈D, there exists a positive integer n=n(d) such that dⁿ=st for some s∈S and t∈D which is v-coprime to each element of S. We show that every upper to zero in D[X] contains a primary element if and only if D?{0} is an almost splitting set in D[X], if and only if D is a UMT-domain and Cl(D[X]) is torsion. We also prove that D[X] is an almost GCD-domain if and only if D is an almost GCD-domain and Cl(D[X]) is torsion. Using this result, we construct an integral domain D such that Cl(D) is torsion, but Cl(D[X]) is not torsion.     

Many homotopy categories are homotopy categories

We show that any category that is enriched, tensored, and cotensored over the category of compactly generated weak Hausdorff spaces, and that satisfies an additional hypothesis concerning the behavior of colimits of sequences of cofibrations, admits a Quillen closed model structure in which the weak equivalences are the homotopy equivalences. The fibrations are the Hurewicz fibrations and the cofibrations are a subclass of the Hurewicz cofibrations. This result applies to various categories of spaces, unbased or based, categories of prespectra and spectra in the sense of Lewis and May, the categories of L-spectra and S-modules of Elmendorf, Kriz, Mandell and May, and the equivariant analogues of all the afore-mentioned categories.     

An operadic model for a mapping space and its associated spectral sequence

Let X and Y be simplicial sets and K a field. In [B. Fresse, Derived division functors and mapping spaces, 2002, Preprint arXiv:math.At/0208091], Fresse has constructed an algebra model over an E_∞K-operad E for the mapping space F(X,Y), whose source X is finite, provided the homotopy groups of the target Y are finite. In this paper, we show that if the underlying field K is the closure of the finite field F_p and the given mapping space is connected, then the finiteness assumption of the homotopy group of Y can be dropped in constructing the E-algebra model. Moreover, we give a spectral sequence converging to the cohomology of F(X,Y) with coefficients in , whose E₂-term is expressed via Lannes’ division functor in the category of unstable -algebra over the Steenrod algebra.     

Global secure sets of grid-like graphs

Let G=(V,E) be a graph and S⊆V. The set S is a secure set if ∀X⊆S,|N[X]∩S|≥|N[X]−S|, and S is a global secure set if S is a secure set and a dominating set. The cardinality of a minimum global secure set of G is the global security number of G, denoted γ_s(G). The sets studied in this paper are different from secure dominating sets studied in Cockayne et al. (2003) [3], Grobler and Mynhardt (2009) [8], or Klostermeyer and Mynhardt (2008) [13], which are also denoted by γ_s.In this paper, we provide results on the global security numbers of paths, cycles and their Cartesian products.     

On the direct image of intersections in exact homological categories

Given a regular epimorphism f:X?Y in an exact homological category C, and a pair (U,V) of kernel subobjects of X, we show that the quotient (f(U)∩f(V))/f(U∩V) is always abelian. When C is nonpointed, i.e. only exact protomodular, the translation of the previous result is that, given any pair (R,S) of equivalence relations on X, the difference mappingδ:Y/f(R∩S)?Y/(f(R)∩f(S)) has an abelian kernel relation. This last result actually holds true in any exact Mal'cev category. Setting Y=X/T, this result says that the difference mapping determined by the inclusion T∪(R∩S)?(T∪R)∩(T∪S) has an abelian kernel relation, which casts a new light on the congruence distributive property.     

Homotopical Morita theory for corings

A coring (A,C) consists of an algebra A in a symmetric monoidal category and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf–Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings (A,C) and (B,D) in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules V _A ^C and V _B ^D are Quillen equivalent. As an illustration of the general theory, we examine homotopical Morita theory for corings in the category of chain complexes over a commutative ring.     

On genera of polyhedra

We consider the stable homotopy category S of polyhedra (finite cell complexes). We say that two polyhedra X,Y are in the same genus and write X ∼ Y if X _p ≅ Y _p for all prime p, where X _p denotes the image of Xin the localized category S _p . We prove that it is equivalent to the stable isomorphism X∨B ₀ ≅Y∨B ₀, where B ₀ is the wedge of all spheres S ⁿ such that π _n ^S (X) is infinite. We also prove that a stable isomorphism X ∨ X ≅ Y ∨ X implies a stable isomorphism X ≅ Y.     

Universal spaces for homotopy limits of modules over coaugmented functors (I)

For a coaugmented functor J on spaces, we consider J-modules and finite J-limits. The former are spaces X which are retracts of JX via the natural map. The latter are homotopy limits of J-modules arranged in diagrams whose shape is finite dimensional. Familiar examples are generalised Eilenberg MacLane spaces, which are the SP^∞-modules. Finite SP^∞-limits are nilpotent spaces with a very strong finiteness property. We show that the cofacial Bousfield-Kan construction of the functors J_n is universal for finite J-limits in the sense that every map X→Y where Y is a finite J-limit, factors through such natural map X→J_nX, for some n<∞.     

Ganea and Whitehead definitions for the tangential Lusternik-Schnirelmann category of foliations

This work solves the problem of elaborating Ganea and Whitehead definitions for the tangential category of a foliated manifold. We develop these two notions in the category S-Top of stratified spaces, that are topological spaces X endowed with a partition F and compare them to a third invariant defined by using open sets. More precisely, these definitions apply to an element (X,F) of S-Top together with a class A of subsets of X; they are similar to invariants introduced by M. Clapp and D. Puppe.If (X,F)∈S-Top, we define a transverse subset as a subspace A of X such that the intersection S∩A is at most countable for any S∈F. Then we define the Whitehead and Ganea LS-categories of the stratified space by taking the infimum along the transverse subsets. When we have a closed manifold, endowed with a C¹-foliation, the three previous definitions, with A the class of transverse subsets, coincide with the tangential category and are homotopical invariants.