Models for the Maclaurin tower of a simplicial functor via a derived Yoneda embedding

We prove that the Goodwillie tower of a weak equivalence preserving functor from spaces to spectra can be expressed in terms of the tower for stable mapping spaces. Our proof is motivated by interpreting the functors P_n and D_n as pseudo-differential operators which suggests certain ‘integral’ presentations based on a derived Yoneda embedding. These models allow one to extend computational tools available for the tower of stable mapping spaces. As an application we give a classical expression for the derivative over the basepoint.     

Calculus of functors and model categories

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure [B. Chorny, W.G. Dwyer, Homotopy theory of small diagrams over large categories, preprint, 2005]. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the n-homogeneous model structure, the nth derivative is a Quillen functor to the category of spectra with Σn-action. After taking into account only finitary functors—which may be done in two different ways—the above Quillen map becomes a Quillen equivalence. This improves the classification of finitary homogeneous functors by T.G. Goodwillie [T.G. Goodwillie, Calculus. III. Taylor series, Geom. Topol. 7 (2003) 645-711 (electronic)].     

Stable model categories are categories of modules

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.     

Homotopy algebras and the inverse of the normalization functor

In this paper, we investigate multiplicative properties of the classical Dold-Kan correspondence. The inverse of the normalization functor maps commutative differential graded algebras to E_∞-algebras. We prove that it in fact sends algebras over arbitrary differential graded E_∞-operads to E_∞-algebras in simplicial modules and is part of a Quillen adjunction. More generally, this inverse maps homotopy algebras to weak homotopy algebras. We prove the corresponding dual results for algebras under the conormalization, and for coalgebra structures under the normalization resp. the inverse of the conormalization.     

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

Orbifold genera, product formulas and power operations

We generalize the definition of orbifold elliptic genus and introduce orbifold genera of chromatic level h, using h-tuples rather than pairs of commuting elements. We show that our genera are in fact orbifold invariants, and we prove integrality results for them. If the genus arises from an H_∞-map into the Morava-Lubin-Tate theory E_h, then we give a formula expressing the orbifold genus of the symmetric powers of a stably almost complex manifold M in terms of the genus of M itself. Our formula is the p-typical analogue of the Dijkgraaf-Moore-Verlinde-Verlinde formula for the orbifold elliptic genus [R. Dijkgraaf et al., Elliptic genera of symmetric products and second quantized strings Comm. Math. Phys. 185(1) (1997) 197-209]. It depends only on h and not on the genus.     

Representability theorems for presheaves of spectra

Suppose that M is a simplicial model category and that F is a contravariant simplicial functor defined on M which takes values in pointed simplicial sets. This note displays conditions on the simplicial model category M and the functor F such that F is representable up to weak equivalence. The conditions on F are homotopy coherent versions of the classical conditions for Brown representability, while M should have the fundamental properties of the stable model structure for presheaves of spectra on a Grothendieck site.     

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.     

Interpolation categories for homology theories

For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions, we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture more and more information according to the injective dimension of the images of the functor. The categories are obtained by using truncated versions of resolution model structures. Examples of functors fitting in our framework are given by every generalized homology theory represented by a ring spectrum satisfying the Adams-Atiyah condition. The constructions are closely related to the modified Adams spectral sequence and give a very conceptual approach to the associated moduli problem and obstruction theory. As an application, we establish an isomorphism between certain E(n)-local Picard groups and some Ext-groups.     

A Laplace integral on a Kähler manifold and Calabi's diastasis function

In this paper we give a different proof of Engliš's result [J. Reine Angew. Math. 528 (2000) 1-39] about the asymptotic expansion of a Laplace integral on a real analytic Kähler manifold (M,g) by using the link between the metric g and the associated Calabi's diastasis function D. We also make explicit the connection between the coefficients of Engliš' expansion and Gray's invariants [Michigan Math. J. (1973) 329-344].     

Mixing model structures

We prove that if a category has two Quillen closed model structures (W₁,F₁,C₁) and (W₂,F₂,C₂) that satisfy the inclusions W₁⊆W₂ and F₁⊆F₂, then there exists a “mixed model structure” (Wm,Fm,Cm) for which Wm=W₂ and Fm=F₁. This shows that there is a model structure for topological spaces (and other topological categories) for which Wm is the class of weak equivalences and Fm is the class of Hurewicz fibrations. The cofibrant spaces in this model structure are the spaces that have CW homotopy type.     

REMARKS ON UNIVERSAL COEFFICIENT THEOREMS FOR GENERALIZED HOMOLOGY THEORIES

Abstract

New proofs of universal coefficient theorems for generalized homology theories (cf. ∮ 2, ∮ 3) including L. G. Brown's result, relating Brown-Douglas-Fillmore's Ext (X) with complex K-theory are presented. They are all based on a theorem asserting the existence of a chain functor for a generalized homology theory (cf. ∮ 1), which was originally designed for the construction of strong homology theories on strong shape categories.     

On variational approach to differential invariants of rank two distributions

We construct differential invariants for generic rank 2 vector distributions on n-dimensional manifolds, where n?5. Our method for the construction of invariants is completely different from the Cartan reduction-prolongation procedure. It is based on the dynamics of the field of so-called abnormal extremals (singular curves) of rank 2 distribution and on the theory of unparameterized curves in the Lagrange Grassmannian, developed in [A. Agrachev, I. Zelenko, Geometry of Jacobi curves I, J. Dynam. Control Syst. 8 (1) (2002) 93-140; II, 8 (2) (2002) 167-215]. In this way we construct the fundamental form and the projective Ricci curvature of rank 2 vector distributions for arbitrary n?5. In the next paper [I. Zelenko, Fundamental form and Cartan's tensor of (2,5)-distributions coincide, J. Dynam. Control. Syst., in press, SISSA preprint, Ref. 13/2004/M, February 2004, math.DG/0402195] we show that in the case n=5 our fundamental form coincides with the Cartan covariant biquadratic binary form, constructed in 1910 in [E. Cartan, Les systemes de Pfaff a cinque variables et les equations aux derivees partielles du second ordre, Ann. Sci. Ecole Normale 27 (3) (1910) 109-192; reprinted in: Oeuvres completes, Partie II, vol. 2, Gautier-Villars, Paris, 1953, pp. 927-1010]. Therefore first our approach gives a new geometric explanation for the existence of the Cartan form in terms of an invariant degree four differential on an unparameterized curve in Lagrange Grassmannians. Secondly, our fundamental form provides a natural generalization of the Cartan form to the cases n>5. Somewhat surprisingly, this generalization yields a rational function on the fibers of the appropriate vector bundle, as opposed to the polynomial function occurring when n=5. For n=5 we give an explicit method for computing our invariants and demonstrate the method on several examples.     

The behaviour of the $$\overline{W}$$ -construction on the homotopy theory of bisimplicial sets

The codiagonal functor \(\overline{W}\) transfers a Quillen closed model structure on the bisimplicial set category from the ordinary model category of simplicial sets. This bisimplicial model structure is different from the so called Moerdijk model structure, which is similarly transferred from simplicial sets but through the diagonal functor. We show the mutual relationship of these two closed model structures on the category of bisimplicial sets.     

Strong homology of inverse systems of spaces. II

Recently the authors have defined a coherent prohomotopy category of topological spaces CPHTop [5]. In the present paper, which is a sequel to Part I [6], the authors define a strong homology functor H^s:CPHTop→Ab. The results of this paper are essential for the construction of a Steenrod-Sitnikov homology theory for arbitrary spaces.     

Symmetric cubical sets

We introduce a new cubical model for homotopy types. More precisely, we will define a category Q_Σ with the following features: Q_Σ is a prop containing the classical box category as a subcategory; the category of presheaves of sets on Q_Σ models the homotopy category; and combinatorial symmetric monoidal model categories with cofibrant unit have homotopically well-behaved enrichments.     

The Euler Class in homological algebra

Let G_τ be the topological group of orientation preserving homeomorphisms of the circle, and G_δ the same group with the discrete topology. Motivated by the classical problem of reducing a circle bundle with structure group G_τ to a totally disconnected subgroup K⊂G_δ, and more currently, applications to mapping class groups, we analyze, in a homological algebra setting, the role played by the Topological and Discrete Euler Classes. In particular we describe the Discrete Euler Class of G, and any of its subgroups K, explicitly as a group extension. We apply our constructions to show that the values of the Discrete Euler Class are bounded on any space, and we state triviality and non-triviality conditions for its powers in the based mapping class groups.     

Symmetrisation of n-operads and compactification of real configuration spaces

It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint Sym₁ given by product with the symmetric group operad. It is also well known that this functor does not affect the category of algebras of the operad. From the point of view of the author's theory of higher operads, the nonsymmetric operads are 1-operads and Sym₁ is the first term of the infinite series of left adjoint functors Symn, called symmetrisation functors, from n-operads to symmetric operads with the property that the category of one object, one arrow, …, one (n−1)-arrow algebras of an n-operad A is isomorphic to the category of algebras of Symn(A).In this paper we consider some geometrical and homotopical aspects of the symmetrisation of n-operads. We follow Getzler and Jones and consider their decomposition of the Fulton-Macpherson operad of compactified real configuration spaces. We construct an n-operadic counterpart of this compactification which we call the Getzler-Jones operad. We study the properties of Getzler-Jones operad and find that it is contractible and cofibrant in an appropriate model category. The symmetrisation of the Getzler-Jones operad turns out to be exactly the operad of Fulton and Macpherson. These results should be considered as an extension of Stasheff's theory of 1-fold loop spaces to n-fold loop spaces n?2. We also show that a space X with an action of a contractible n-operad has a natural structure of an algebra over an operad weakly equivalent to the little n-disks operad. A similar result holds for chain operads. These results generalise the classical Eckman-Hilton argument to arbitrary dimension.Finally, we apply the techniques to the Swiss-Cheese type operads introduced by Voronov and prove analogous results in this case.     

Homotopy theory of associative rings

A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a quasi-isomorphism (or weak equivalence) for rings and shows that—similar to spaces—the derived category obtained by inverting the quasi-isomorphisms is naturally left triangulated. Also, homology theories on rings are studied. These must be homotopy invariant in the algebraic sense, meet the Mayer-Vietoris property and plus some minor natural axioms. To any functor X from rings to pointed simplicial sets a homology theory is associated in a natural way. If X=GL and fibrations are the GL-fibrations, one recovers Karoubi-Villamayor's functors KVi, i>0. If X is Quillen's K-theory functor and fibrations are the surjective homomorphisms, one recovers the (non-negative) homotopy K-theory in the sense of Weibel. Technical tools we use are the homotopy information for the category of simplicial functors on rings and the Bousfield localization theory for model categories. The machinery developed in the paper also allows to give another definition for the triangulated category kk constructed by Cortiñas and Thom [G. Cortiñas, A. Thom, Bivariant algebraic K-theory, preprint, math.KT/0603531]. The latter category is an algebraic analog for triangulated structures on operator algebras used in Kasparov's KK-theory.     

Secondary derived functors and the Adams spectral sequence

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of “additive groupoid enriched categories”, in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show that the E₃-term of the Adams spectral sequence can be expressed as a secondary derived functor. This result can be used to compute the E₃-term explicitly by an algorithm.