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.     

Enriched simplicial presheaves and the motivic homotopy category

We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order to get a model for the motivic homotopy category.     

The derived category of quasi-coherent sheaves and axiomatic stable homotopy

We prove in this paper that for a quasi-compact and semi-separated (nonnecessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(Aqc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and Strickland, answering a question posed by Strickland. Moreover we show that it is unital and algebraic. We also prove that for a noetherian semi-separated formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies Dqct(X) is a stable homotopy category. It is algebraic but if the formal scheme is not a usual scheme, it is not unital, therefore its abstract nature differs essentially from that of the derived category Dqc(X) (which is equivalent to D(Aqc(X))) in the case of a usual scheme.     

Champs affines

The purpose of this work is to introduce a notion of affine stacks, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and p-adic homotopy theory. This gives a first solution to A. Grothendieck’s schematization problem described in [18]. We also use affine stacks in order to introduce a notion of schematic homotopy types. We show that schematic homotopy types give a second solution to the schematization problem, which also allows us to go beyond rational and p-adic homotopy theory for spaces with arbitrary fundamental groups. The notion of schematic homotopy types is also used in order to construct various homotopy types of algebraic varieties corresponding to various co-homology theories (Betti, de Rham, l-adic, ...), extending the well known constructions of the various fundamental groups. Finally, just as algebraic stacks are obtained by gluing affine schemes we define $$ \infty $$-geometric stacks as a certain gluing of affine stacks. Examples of $$ \infty $$-geometric stacks in the context of algebraic topology (moduli spaces of dga structures up to quasi-isomorphisms) and Hodge theory (non-abelian periods) are given.     

Modules over motivic cohomology

For fields of characteristic zero, we show that the homotopy category of modules over the motivic ring spectrum representing motivic cohomology is equivalent to Voevodsky's big category of motives. The proof makes use of some highly structured models for motivic stable homotopy theory, motivic Spanier-Whitehead duality, the homotopy theories of motivic functors and of motivic spaces with transfers as introduced from ground up in this paper. Working with rational coefficients, we extend the equivalence for fields of characteristic zero to all perfect fields by employing the techniques of alterations and homotopy purity in motivic homotopy theory.     

Unstable motivic homotopy categories in Nisnevich and cdh-topologies

The motivic homotopy categories can be defined with respect to different topologies and different underlying categories of schemes. For a number of reasons (mainly because of the Gluing Theorem) the motivic homotopy category of smooth schemes with respect to the Nisnevich topology plays a distinguished role but in some cases it is desirable to be able to work with all schemes instead of the smooth ones. In this paper we prove that, under the resolution of singularities assumption, the unstable motivic homotopy category of all schemes over a field with respect to the cdh-topology is almost equivalent to the unstable motivic homotopy category of smooth schemes over the same field with respect to the Nisnevich topology.     

Continuous group actions on profinite spaces

For a profinite group, we construct a model structure on profinite spaces and profinite spectra with a continuous action. This yields descent spectral sequences for the homotopy groups of homotopy fixed point spaces and for stable homotopy groups of homotopy orbit spaces. Our main example is the Galois action on profinite étale topological types of varieties over a field. One motivation is to understand Grothendieck’s section conjecture in terms of homotopy fixed points.     

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.     

The hyperspace of hereditarily decomposable subcontinua of a cube is the Hurewicz set

The hyperspaces of hereditarily decomposable continua and of decomposable subcontinua without pseudoarcs in the cube of dimension greater than 2 are homeomorphic to the Hurewicz set of all nonempty countable closed subsets of the unit interval [0,1]. Moreover, in such a cube, all indecomposable subcontinua form a homotopy dense subset of the hyperspace of (nonempty) subcontinua.     

Localization and completion of nilpotent groups of automorphisms

We study nilpotent subgroups of automorphism groups in the category of groups and the homotopy category of spaces. We establish localization and completion theorems for nilpotent groups of automorphisms of nilpotent groups. We then apply these algebraic theorems to prove analogous results for certain groups of self-homotopy equivalences of spaces.     

Product structures in motivic cohomology and higher Chow groups

It is shown that the product structures of motivic cohomology groups and of higher Chow groups are compatible under the comparison isomorphism of Voevodsky (2002) [11]. This extends the result of Weibel (1999) [14], where he used the comparison isomorphism which assumed that the base field admits resolution of singularities.The mod n motivic cohomology groups and product structures in motivic homotopy theory are defined, and it is shown that the product structures are compatible under the comparison isomorphisms.     

Bredon homology and ramified covering G-maps

Let G be a finite group. The objective of this paper is twofold. First we prove that the cellular Bredon homology groups with coefficients in an arbitrary coefficient system M are isomorphic to the homotopy groups of certain topological abelian group. And second, we study ramified covering G-maps of simplicial sets and of simplicial complexes. As an application, we construct a transfer for them in Bredon homology, when M is a Mackey functor. We also show that the Bredon-Illman homology with coefficients in M satisfies the equivariant weak homotopy equivalence axiom in the category of G-spaces.     

On continua with homotopically fixed boundary

The paper presents two subcontinua of Rn, one Peano-continuum, and one cellular continuum with trivial fundamental group. Both of them have the remarkable property that neither the entire spaces nor (roughly speaking) any part of them is homotopy equivalent to a lower-dimensional space. This extends work of the last three authors and of Karimov from the planar case to the higher-dimensional case, but it also contains in the cellular case the first example with all these properties in dimension two.     

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.     

Application of modified homotopy perturbation method for solving the augmented systems

In this paper, a new approach is proposed for solving the augmented systems. Based on the modified homotopy perturbation method, we construct the new iterative methods and derive the sufficient and necessary conditions for guaranteeing its convergence. Some numerical experiments show that this method is more simple and effective.     

On homotopy rigidity of the functor ΣΩ on co-H-spaces

In this paper we study the homotopy rigidity property of the functors ΣΩ and Ω. Our main result is that both functors are homotopy rigid on simply-connected p-local finite co-H-spaces. The result is obtain by a subtle interplay of homotopy decomposition techniques, modular representation theory and the counting principle.     

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.     

Fibred sites and stack cohomology

The usual notion of the site associated to a stack is expanded to a definition to a site fibred over a presheaf of categories A on a site . If the presheaf of categories is a presheaf of groupoids G, then the associated homotopy theory is Quillen equivalant to the homotopy theory of simplicial presheaves over BG, and so the homotopy theory for the fibred site is an invariant of the homotopy type of G. Similar homotopy invariance results obtain for presheaves of spectra and presheaves of symmetric spectra on . In particular, stack cohomology can be calculated on the fibred site for any representing presheaf of groupoids within a fixed homotopy type.     

Champs affines

The purpose of this work is to introduce a notion of affine stacks, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and p-adic homotopy theory. This gives a first solution to A. Grothendieck’s schematization problem described in [18]. We also use affine stacks in order to introduce a notion of schematic homotopy types. We show that schematic homotopy types give a second solution to the schematization problem, which also allows us to go beyond rational and p-adic homotopy theory for spaces with arbitrary fundamental groups. The notion of schematic homotopy types is also used in order to construct various homotopy types of algebraic varieties corresponding to various co-homology theories (Betti, de Rham, l-adic, ...), extending the well known constructions of the various fundamental groups. Finally, just as algebraic stacks are obtained by gluing affine schemes we define $$ \infty $$-geometric stacks as a certain gluing of affine stacks. Examples of $$ \infty $$-geometric stacks in the context of algebraic topology (moduli spaces of dga structures up to quasi-isomorphisms) and Hodge theory (non-abelian periods) are given.