-homotopy theory of schemes
We develop a machinery of Chen iterated integrals for higher Hochschild complexes. These are complexes whose differentials are modeled on an arbitrary simplicial set much in the same way the ordinary Hochschild differential is modeled on the circle. We use these to give algebraic models for general mapping spaces and define and study the surface product operation on the homology of mapping spaces of surfaces of all genera into a manifold. This is an analogue of the loop product in string topology....
We show that every small homotopy functor from spectra to spectra is weakly equivalent to a filtered colimit of representable functors represented in cofibrant spectra. Moreover, we present this classification as a Quillen equivalence of the category of small functors from spectra to spectra equipped with the homotopy model structure and the opposite of the pro-category of spectra with the strict model structure.
We exhibit a metric continuum X and a polyhedron P such that the Cartesian product X × P fails to be the product of X and P in the shape category of topological spaces.
We will give a condition characterizing spaces X with SNT(X) = {[X]} which generalizes the corresponding result of McGibbon and Moller [8] for rational H-spaces.
In this paper we find a formula for the rational LS-category of certain elliptic spaces which generalizes or complements previous work of the subject. This formula is given in terms of the minimal model of the space.
The formula is , with ∂a + 1/2 [a,a] = 0 and ∂b + 1/2 [b,b] = 0, where a, b and e in degrees -1, -1 and 0 are the free generators of a completed free graded Lie algebra L[a,b,e]. The coefficients are defined by . The theorem is that ∙ this formula for ∂ on generators extends to a derivation of square zero on L[a,b,e]; ∙ the formula for ∂e is unique satisfying the first property, once given the formulae for ∂a and ∂b, along with the condition that the “flow” generated by e moves a to b in unit...
In the S-category (with compact-open strong shape mappings, cf. §1, instead of continuous mappings, and arbitrary finite-dimensional separable metrizable spaces instead of finite polyhedra) there exists according to [1], [2] an S-duality. The S-dual , turns out to be of the same weak homotopy type as an appropriately defined functional dual (Corollary 4.9). Sometimes the functional object is of the same weak homotopy type as the “real” function space (§5).