We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra π_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract Pi-algebra can be realized as the homotopy Pi-algebra of a space in the first place.
The paper is written for a relatively general "resolution model category", so it also applies, for example, to rational homotopy types.
Crossed modules are known to be a model of pointed connected homotopy 2-types; formally, the homotopy category of crossed modules is equivalent to the category of pointed connected homotopy 2-types. In forming the homotopy category of crossed modules, one must resort to computing derived morphisms using non-constructive topological methods, but Behrang Noohi was able to find an algebraic model of these derived morphisms called butterflies. The result is a completely algebraic model of pointed connected homotopy 2-types. Reduced crossed complexes are a generalization of crossed modules and mode…
We investigate the homotopy type of the space of tuples of polynomials inducing base-point preserving algebraic maps from the circle S1 to a toric variety XΣ. In particular, we prove a homotopy stability result for this space by combining the Vassiliev spectral sequence and the scanning map.
We develop a homotopy theory of $L_\infty$ algebras based on the Lawrence-Sullivan construction, a complete differential graded Lie algebra which, as we show, satisfies the necessary properties to become the right cylinder in this category. As a result, we obtain a general procedure to algebraically model the rational homotopy type of non-connected spaces.
This paper deals with the homotopy theory of differential graded operads. We endow the Koszul dual category of curved conilpotent cooperads, where the notion of quasi-isomorphism barely makes sense, with a model category structure Quillen equivalent to that of operads. This allows us to describe the homotopy properties of differential graded operads in a simpler and richer way, using obstruction methods.
We show that if $E$ is a $p$-local Landweber exact homology theory of height $n$ and $p > n^2+n+1$, then there exists an equivalence $h \mathcal{S}p_{E} \simeq h\mathcal{D}(E_{*}E)$ between homotopy categories of $E$-local spectra and differential $E_{*}E$-comodules, generalizing Bousfield's and Franke's results to heights $n > 1$.
This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to define Steenrod operations). The treatment of this problem is completely self-contained, and includes material that simplifies, extends, and corrects material from the authors AMS Memoir, "Iterating the cobar construction".
We prove that homotopy invariants of finite degree distinguish homotopy classes of maps of a connected compact CW-complex to a nilpotent connected CW-complex with finitely generated homotopy groups.
This paper extends the results of "Operads and Algebraic Homotopy" in giving algebraic invariants for the stable homotopy type of a pointed simply-connected simplicial set.
We show the "non-existence" results are essential for all the previous known applications of the Bauer-Furuta stable homotopy Seiberg-Witten invariants. As an example, we present a unified proof of the adjunction inequalities. We also show that the nilpotency phenomenon explains why the Bauer-Furuta stable homotopy Seiberg-Witten invariants are not enough to prove 11/8-conjecture.
Multi-sorted algebraic theories provide a formalism for describing various structures on spaces that are of interest in homotopy theory. The results of Badzioch and Bergner showed that an interesting feature of this formalism is the following rigidification property. Every multi-sorted algebraic theory defines a category of homotopy algebras, i.e. a category of spaces equipped with certain structure that is to some extent homotopy invariant. Each such homotopy algebra can be replaced by a weakly equivalent strict algebra which is a purely algebraic structure on a space. The equivalence between…
An algebraic theory $T$ is a category with objects $t_0,t_2...$ such that for each $n$ the object $t_n$ is an $n$-fold categorical product of $t_1$. A strict $T$-algebra is a product preserving functor $A: T\to Spaces$. Lawvere showed that for a suitable choice of T giving such an algebra amounts to providing the space $A(t_1)$ with a familiar structure of a monoid group, ring, Lie algebra... Given a functor $X: T\to Spaces$ which preserves products up to a weak equivalence we show that $X$ is more or less canonically weakly equivalent to a strict $T$-algebra $LX$. Thus any `homotopy' algebrai…
The classical problem of algebraic models for homotopy types is precisely stated, to our knowledge for the first time. Two different natural statements for this problem are produced, the simplest one being entirely solved by the notion of SSEH-structure, due to the authors. Other tentative solutions, Postnikov towers and E_\infty-chain complexes, are considered and compared with the SSEH-structures. In particular, which looks at least like an unfortunate imprecision in the usual definition of the k-``invariants'' is explained, which implies we seem far from a solution for the ideal statement o…
We show that the sum over planar trees formula of Kontsevich and Soibelman transfers C-infinity structures along a contraction. Applying this result to a cosimplicial commutative algebra A^* over a field of characteristic zero, we exhibit a canonical unital C-infinity structure on Tot(A^*), which is unital if A^* is; in particular, we obtain a canonical C-infinity structure on the cochain complex of a simplicial set.
In this article, we extend Sullivan's PL de Rham theory to obtain simple algebraic models for the rational homotopy theory of parametrised spectra. This simplifies and complements the results of arXiv:1910.14608, which are based on Quillen's rational homotopy theory. According to Sullivan, the rational homotopy type of a nilpotent space $X$ with finite Betti numbers is completely determined by a commutative differential graded algebra $A$ modelling the cup product on rational cohomology. In this article we extend this correspondence between topology and algebra to parametrised stable homotopy …
Given a finite quandle, we introduce a quandle homotopy invariant of knotted surfaces in the 4-sphere, modifying that of classical links. This invariant is valued in the third homotopy group of the quandle space, and is universal among the (generalized) quandle cocycle invariants. We compute the second and third homotopy groups, with respect to "regular Alexander quandles". As a corollary, any quandle cocycle invariant using the dihedral quandle of prime order is a scalar multiple of the Mochizuki 3-cocycle invariant. As another result, we determine the third quandle homology group of the dihe…
In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant operads and on the principle that algebras over cofibrant operads are homotopy invariant. In our approach, algebraic models for colored operads describing diagrams of homomorphisms played an important role. The aim of this paper is to give an explicit description of these models. A possible application is an appropriate formulation of the `ideal' homological per…
Greenlees defined an abelian category A whose derived category is equivalent to the rational S^1-equivariant stable homotopy category whose objects represent rational S^1-equivariant cohomology theories. We show that in fact the model category of differential graded objects in A (dgA) models the whole rational S^1-equivariant stable homotopy theory. That is, we show that there is a Quillen equivalence between dgA and the model category of rational S^1-equivariant spectra, before the quasi-isomorphisms or stable equivalences have been inverted. This implies that all of the higher order structur…
We present a counterexample to the conjecture on the homotopy invariance of configuration spaces. More precisely, we consider the lens spaces $L_{7,1}$ and $L_{7,2}$, and prove that their configuration spaces are not homotopy equivalent by showing that their universal coverings have different Massey products.
We prove a nilpotency theorem for the Bauer-Furuta stable homotopy Seiberg-Witten invariants for smooth closed 4-manifolds with trivial first Betti number.
We study the homotopy types of certain spaces closely related to the spaces of algebraic (rational) maps from the $m$ dimensional real projective space into the $n$ dimensional complex projective space for $2\leq m\leq 2n$ (we conjecture this relation to be a homotopy equivalence). In an earlier article we proved that the homotopy types of the terms of the natural degree filtration approximate closer and closer the homotopy type of the space of continuous maps and obtained bounds that describe the closeness of the approximation in terms of the degrees of the maps. Here we improve the estimates…
Building on Quillen's rational homotopy theory, we obtain algebraic models for the rational homotopy theory of parametrised spectra. For any simply-connected space $X$ there is a dg Lie algebra $Λ_X$ and a (coassociative cocommutative) dg coalgebra $C_X$ that model the rational homotopy type. In this article, we prove that the rational homotopy type of an $X$-parametrised spectrum is completely encoded by a $Λ_X$-representation and also by a $C_X$-comodule. The correspondence between rational parametrised spectra and algebraic data is obtained by means of symmetric monoidal equivalences of hom…
We give a new solution of the "homotopy periods" problem, as highlighted by Sullivan, which places explicit geometrically meaningful formulae first dating back to Whitehead in the context of Quillen's formalism for rational homotopy theory and Koszul-Moore duality. Geometrically, we show that homotopy groups are rationally given by "generalized linking/intersection invariants" of cochain data. Moreover, we give a method for determining when two maps from $S^n$ to $X$ are homotopic after allowing for multiplication by some integer. For applications, we investigate wedges of spheres and homogene…
The primary algebraic model of a ring spectrum is the ring of homotopy groups. We introduce the secondary model which has the structure of a secondary analogue of a ring. This new algebraic model determines Massey products and cup-one squares. As an application we obtain new derivations of the homotopy ring.
For a pointed topological space $X$, we use an inductive construction of a simplicial resolution of $X$ by wedges of spheres to construct a "higher homotopy structure" for $X$ (in terms of chain complexes of spaces). This structure is then used to define a collection of higher homotopy invariants which suffice to recover $X$ up to weak equivalence. It can also be used to distinguish between different maps $f$ from $X$ to $Y$ which induce the same morphism on homotopy groups $f_*$ from $π_* X$ to $π_* Y$.
In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that the functor sending a variety to the p-th step of the Hodge filtration of its complex cohomology is representable in the homotopy category of simplicial presheaves on smooth complex varieties. The main motivation are recent applications of homotopy theory to Deligne-Beilinson cohomology theories.
We show that a conjecture by Lawson holds, that is, the inclusion from the Chow variety $C_{p,d}(P^n)$ of all effective algebraic p-cycles of degree d in n-dimensional projective space to the space of effective algebraic p-cycles is 2d-connected. As a result, the homotopy and homology groups of $C_{p,d}(P^n)$ are calculated up to 2d. We also show an analogous statement for Chow variety $C_{p,d}(¶^n)$ over algebraically closed fields of arbitrary characteristic and compute their etale homotopy groups up to 2d.
Described the algebraic structure on the space of homotopy classes of cycles with marked topological flags of disks. This space is a non-commutative monoid, with an Abelian quotient corresponding to the group of singular homologies $H_k(M)$. For the marked flag contracted to a point the multiplication becomes commutative and the subgroup of spherical cycles corresponds to the usual homotopy group $π_k(M)$.
We compute the set of naive pointed homotopy classes of endomorphisms of the projective line P^1 over the spectrum of a field. Our computation compares well with Fabien Morel's one of the motivic pointed homotopy classes of endomorphisms of P^1: there is an a priori monoid structure on the set of naive homotopy classes such that canonical map from this monoid to group of motivic homotopy classes is a group completion.
The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features include an explicit description of homotopy groups using the Maurer-Cartan equations, convergent spectral sequences comparing schematic homotopy groups with cohomology of the universal semisimple local system, and a generalisation of the Baues-Lemaire conjecture. For compact Kaehler manifolds, the schematic homotopy groups can be described explicitly in terms of…
We compare the structure of a mapping cone in the category Top^D of spaces under a space D with differentials in algebraic models like crossed complexes and quadratic complexes. Several subcategories of Top^D are identified with algebraic categories. As an application we show that there are exactly 16 essential self--maps of S^2 x S^2 fixing the diagonal.
Let $X$ and $Y$ be spaces and $M$ be an abelian group. A homotopy invariant $f\colon [X,Y]\to M$ is called straight if there exists a homomorphism $F\colon L(X,Y)\to M$ such that $f([a])=F(\langle a\rangle)$ for all $a\in C(X,Y)$. Here $\langle a\rangle\colon\langle X\rangle\to\langle Y\rangle$ is the homomorphism induced by $a$ between the abelian groups freely generated by $X$ and $Y$ and $L(X,Y)$ is a certain group of `admissible' homomorphisms. We show that all straight invariants can be expressed through a `universal' straight invariant of homological nature.
A geometric approach to the stable homotopy groups of spheres is developed in this paper, based on the Pontryagin-Thom construction. The task of this approach is to obtain an alternative proof of the Hill-Hopkins-Ravenel theorem [H-H-R] on Kervaire invariants in all dimensions, except, possibly, a finite number of dimensions. In the framework of this approach, the Adams theorem on the Hopf invariant is studied, for all dimensions with the exception of 15, 31, 63, 127. The new approach is based on the methods of geometric topology.
We give details of models for rational torus equivariant homotopy theory based on (a) all subgroups, connected subgroups or dimensions of subgroups and (b) on pairs or general flags. We provide comparison functors and show the models are equivalent. This is used in (A) An algebraic model for rational torus equivariant spectra (with B.Shipley; the new version of 1101.2511), (B) An algebraic model for the toral part of rational equivariant G-spectra for an arbitrary compact Lie group (1501.03425) and (C) construction of torus equivariant spectra from algebraic geometric data. It also highlights …
We establish certain smash operations on spaces over operads which are general analogues of the Samelson product on single loop spaces, and obtain a conceptual description of the structure of the homotopy groups of spaces $Y$ over a symmetric $K(π,1)$ operad: $π_*Y$ is a module over the free algebraic symmetric operad generated by operations on homotopy groups induced by these smash operations. In particular the homotopy groups of double loop spaces is a module over the free algebraic symmetric operad generated by the conjugacy classes of Brunnian braids modulo the conjugation action of pure b…
Inspired by the Ax--Kochen isomorphism theorem, we develop a notion of categorical ultraproducts to capture the generic behavior of an infinite collection of mathematical objects. We employ this theory to give an asymptotic solution to the approximation problem in chromatic homotopy theory. More precisely, we show that the ultraproduct of the $E(n,p)$-local categories over any non-prinicipal ultrafilter on the set of prime numbers is equivalent to the ultraproduct of certain algebraic categories introduced by Franke. This shows that chromatic homotopy theory at a fixed height is asymptotically…
We describe generators of universal Lefschetz groups consisting of self-maps of equivariant 1-spheres. This allows to formulate a normalization axiom which, together with the usual axioms, determines an equivariant Lefschetz number uniquely. We apply this technique to identify the fixed orbit detecting equivariant Lefschetz number of Chorny with the fixed orbit index of Dzedzej.
We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of "semi-algebraic differential forms" in a functorial way. This algebra encodes the real homotopy type of the semi-algebraic set in the spirit of the DeRham algebra of differential forms on a smooth manifold. Its development is needed for Kontsevich's proof of the formality of the little cubes operad.
We calculate $π_*K(\mathbb S)[1/2]$, the homotopy groups of $K(\mathbb S)$ away from 2, in terms of the homotopy groups of $K(\mathbb Z)$, the homotopy groups of ${\mathbb C}P^\infty_{-1}$, and the homotopy groups of $\mathbb S$. This builds on the work of Waldhausen, who computed the rational homotopy groups (building on work of Quillen and Borel) and Rognes, who calculated the groups at regular primes in terms of the homotopy groups of ${\mathbb C}P^\infty_{-1}$, and the homotopy groups of $\mathbb S$.
On the l-adic homotopy type of configuration spaces
Universitat de Barcelona（巴塞罗那大学）；Centre de Recerca Matemàtica（数学研究中心）；Université Sorbonne Paris Nord（索邦巴黎北大学）；Laboratoire Analyse, Géométrie et Applications, CNRS (UMR 7539)（分析、几何与应用实验室，法国国家科学研究中心（联合研究单位7539））；Institut Universitaire de France（法兰西学院）
Using the machinery of etale homotopy theory a' la Artin-Mazur we determine the etale homotopy types of moduli stacks over $\bar{\Q}$ parametrizing families of algebraic curves of genus g greater than 1 endowed with an action of a finite group G of automorphisms, which comes with a fixed embedding in the mapping class group, such that in the associated complex analytic situation the action of G is precisely the differentiable action induced by this specified embedding of G in the mapping class group.
For every regular cardinal $α$, we construct a cofibrantly generated Quillen model structure on a category whose objects are essentially DG categories which are stable under suspensions, cosuspensions, cones and $α$-small sums. Using results of Porta, we show that the category of well-generated (algebraic) triangulated categories in the sense of Neeman is naturally enhanced by our Quillen model category.
We study two different flavours of A^1-homotopy theory in the setting of spectral algebraic geometry, and compare them to classical A^1-homotopy theory. As an application we show that the spectral analogue of Weibel's homotopy invariant K-theory collapses to the classical theory. Along the way we give a new construction of nonconnective algebraic K-theory of stable infinity-categories via a generalization of the Bass-Thomason-Trobaugh construction.
Let X and Y be CW-complexes, U be an abelian group, and f:[X,Y]->U be a map (a homotopy invariant). We say that f has order at most r if the characteristic function of the r'th Cartesian power of the graph of a continuous map a:X->Y Z-linearly determines f([a]). Suppose that the CW-complex X is finite and we are in the stable case: dim X<2n-1 and Y is (n-1)-connected. We prove that then the order of f equals its degree with respect to the Curtis filtration of the group [X,Y].
In this paper, we study the global structure of an algebraic avatar of the derived category of ind-coherent sheaves on the moduli stack of formal groups. In analogy with the stable homotopy category, we prove a version of the nilpotence theorem as well as the chromatic convergence theorem, and construct a generalized chromatic spectral sequence. Furthermore, we discuss analogs of the telescope conjecture and chromatic splitting conjecture in this setting, using the local duality techniques established earlier in joint work with Valenzuela.
The James fibrations give rise to the geometric EHP sequences of homotopy groups of spheres. Using techniques from the Lambda algebra, \cite{BCKQRS66} shows that there are similar long exact sequences of Ext groups defining the $E_{2}-$page of the Bousfield-Kan spectral sequence (also known as the unstable Adams spectral sequence) computing homotopy groups of spheres. In this paper, we give another proof for this phenomenon.
This paper defines an invariant associated to Whitehead's certain exact sequence of a simply connected CW-complex which is much more elementary - and less powerful - than the boundary invariant of Baues. Nevertheless, in good cases, it classifies the homotopy types of CW-complexes.
We decompose the K-theory space of a Waldhausen category in terms of its Dwyer-Kan simplicial localization. This leads to a criterion for functors to induce equivalences of K-theory spectra that generalizes and explains many of the criteria appearing in the literature. We show that under mild hypotheses, a weakly exact functor that induces an equivalence of homotopy categories induces an equivalence of K-theory spectra.
Shipley and the author have given an algebraic model for free rational G-spectra for a compact Lie group G. In the present note we describe, at the level of homotopy categories, the algebraic models for induction, restriction and coinduction relating free rational G-spectra and free rational H-spectra for a subgroup H of G. The justification for giving this short and elementary account is (1) the author found it difficult to guess the correct answer, (2) the answer depends on which Quillen equivalence is used between topology and algebra and (3) this has provided useful insight in several othe…
We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy equivalence. In this paper we prove that the homotopy types of the terms of the natural "degree" filtration approximate closer and closer the homotopy type of the space of continuous maps and obtain bounds that describe the closeness of the approximation in terms of the degree. Moreover, we compute the homotopy groups of the spaces in low dimensions.
