Let $\mathcal {F}$ be a polystable sheaf on a smooth minimal projective surface of Kodaira dimension 0. Then the differential graded (DG) Lie algebra $R\operatorname {Hom}(\mathcal {F},\mathcal {F})$ of derived endomorphisms of $\mathcal {F}$ is formal. The proof is based on the study of equivariant $L_{\infty }$ minimal models of DG Lie algebras equipped with a cyclic structure of degree 2 which is non-degenerate in cohomology, and does not rely (even for K3 surfaces) on previous results on the same subject.

We investigate the assumptions under which a subclass of flat quasicoherent sheaves on a quasicompact and semiseparated scheme allows us to ‘mock’ the homotopy category of projective modules. Our methods are based on module-theoretic properties of the subclass of flat modules involved as well as their behaviour with respect to Zariski localizations. As a consequence we get that, for such schemes, the derived category of flat quasicoherent sheaves is equivalent to the derived category of very flat quasicoherent sheaves. If, in addition, the scheme satisfies the resolution property then both derived categories are equivalent to the derived category of infinite-dimensional vector bundles. The equivalences are inferred from a Quillen equivalence between the corresponding models.

Let R be a commutative ring with unit. We endow the categories of filtered complexes and of bicomplexes of R-modules, with cofibrantly generated model structures, where the class of weak equivalences is given by those morphisms inducing a quasi-isomorphism at a certain fixed stage of the associated spectral sequence. For filtered complexes, we relate the different model structures obtained, when we vary the stage of the spectral sequence, using the functors shift and décalage.

Higher inductive types are a class of type-forming rules, introduced to provide basic (and not-so-basic) homotopy-theoretic constructions in a type-theoretic style. They have proven very fruitful for the “synthetic” development of homotopy theory within type theory, as well as in formalising ordinary set-level mathematics in type theory. In this paper, we construct models of a wide range of higher inductive types in a fairly wide range of settings.

We introduce the notion of cell monad with parameters: a semantically-defined scheme for specifying homotopically well-behaved notions of structure. We then show that any suitable model category has weakly stable typal initial algebras for any cell monad with parameters. When combined with the local universes construction to obtain strict stability, this specialises to give models of specific higher inductive types, including spheres, the torus, pushout types, truncations, the James construction and general localisations.

Our results apply in any sufficiently nice Quillen model category, including any right proper, simplicially locally cartesian closed, simplicial Cisinski model category (such as simplicial sets) and any locally presentable locally cartesian closed category (such as sets) with its trivial model structure. In particular, any locally presentable locally cartesian closed (∞, 1)-category is presented by some model category to which our results apply.

This paper sets up the foundations for derived algebraic geometry, Goerss–Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën–Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith’s stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and $\text{E}_{\infty }$-ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of $\text{E}_{\infty }$-rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. This paper is also available at arXiv:1410.5699v2.

Barannikov and Kontsevich [Frobenius manifolds and formality of Lie algebras of polyvector fields. Int. Math. Res. Not. IMRN1998(4) (1998), 201–215], constructed a DGBV (differential Gerstenhaber–Batalin–Vilkovisky) algebra $\mathbf{t}$ for a compact smooth Calabi–Yau complex manifold $M$ of dimension $m$, which gives rise to the $B$-side formal Frobenius manifold structure in the homological mirror symmetry conjecture. The cohomology of the DGBV algebra $\mathbf{t}$ is isomorphic to the total singular cohomology $H^{\bullet }(M)=\bigoplus _{k=0}^{2m}H^{k}(M,\mathbb{C})$ of $M$. If $M=X_{G}(\mathbb{C})$, where $X_{G}$ is the hypersurface defined by a homogeneous polynomial $G(\text{}\underline{x})$ in the projective space $\mathbb{P}^{n}$, then we give a purely algorithmic construction of a DGBV algebra ${\mathcal{A}}_{U}$, which computes the primitive part $\bigoplus _{k=0}^{m}\mathbf{PH}^{k}$ of the middle-dimensional cohomology $\bigoplus _{k=0}^{m}H^{k}(M,\mathbb{C})$, using the de Rham cohomology of the hypersurface complement $U_{G}:=\mathbb{P}^{n}\setminus X_{G}$ and the residue isomorphism from $H_{\text{dR}}^{k}(U_{G}/\mathbb{C})$ to $\mathbf{PH}^{k}$. We observe that the DGBV algebra ${\mathcal{A}}_{U}$ still makes sense even for a singular projective Calabi–Yau hypersurface, i.e. ${\mathcal{A}}_{U}$ computes $\bigoplus _{k=0}^{m}H_{\text{dR}}^{k}(U_{G}/\mathbb{C})$ even for a singular $X_{G}$. Moreover, we give a precise relationship between ${\mathcal{A}}_{U}$ and $\mathbf{t}$ when $X_{G}$ is smooth in $\mathbf{P}^{n}$.

In this paper, we show that the known models for (∞, 1)-categories can all be extended to equivariant versions for any discrete group G. We show that in two of the models we can also consider actions of any simplicial group G.

In this paper we begin studying tannakian constructions in ∞-categories and combine them with the theory of motivic categories developed by Hanamura, Levine, and Voevodsky. This paper is the first in a series of papers. For the purposes above, we first construct a derived affine group scheme and its representation category from a symmetric monoidal ∞-category, which we shall call the tannakization of a symmetric monoidal ∞-category. It can be viewed as an ∞-categorical generalization of work of Joyal-Street and Nori. Next we apply it to the stable ∞-category of mixed motives equipped with the realization functor of a mixed Weil cohomology. We construct a derived motivic Galois group which represents the automorphism group of the realization functor, and whose representation category satisfies an appropriate universal property. As a consequence, we construct an underived motivic Galois group of mixed motives, which is a pro-algebraic group and has nice properties. Also, we present basic properties of derived affine group schemes in the Appendix.

We introduce a notion of n-quasi-categories as fibrant objects of a model category structure on presheaves on Joyal's n-cell category Θn. Our definition comes from an idea of Cisinski and Joyal. However, we show that this idea has to be slightly modified to get a reasonable notion. We construct two Quillen equivalences between the model category of n-quasi-categories and the model category of Rezk Θn-spaces, showing that n-quasi-categories are a model for (∞, n)-categories. For n = 1, we recover the two Quillen equivalences defined by Joyal and Tierney between quasi-categories and complete Segal spaces.

Motivated by traces of matrices and Euler characteristics of topological spaces, we expect abstract traces in a symmetric monoidal category to be “additive”. When the category is “stable” in some sense, additivity along cofiber sequences is a question about the interaction of stability and the monoidal structure.

May proved such an additivity theorem when the stable structure is a triangulation, based on new axioms for monoidal triangulated categories. in this paper we use stable derivators instead, which are a different model for “stable homotopy theories”. We define and study monoidal structures on derivators, providing a context to describe the interplay between stability and monoidal structure using only ordinary category theory and universal properties. We can then perform May's proof of the additivity of traces in a closed monoidal stable derivator without needing extra axioms, as all the needed compatibility is automatic.

We present a unifying framework for the key concepts and results of higher Koszul duality theory for N-homogeneous algebras: the Koszul complex, the candidate for the space of syzygies and the higher operations on the Yoneda algebra. We give a universal description of the Koszul dual algebra under a new algebraic structure. For that we introduce a general notion: Gröbner bases for algebras over non-symmetric operads.

In this article we prove that Kontsevich’s category NCnum(k)F of noncommutative numerical motives is equivalent to the one constructed by the authors in [Marcolli and Tabuada, Noncommutative motives, numerical equivalence, and semisimplicity, Amer. J. Math., to appear, available at arXiv:1105.2950]. As a consequence, we conclude that NCnum(k)F is abelian semi-simple as conjectured by Kontsevich.

We show that if the given cotorsion pair in the category of modules is complete and hereditary, then both of the induced cotorsion pairs in the category of complexes are complete. We also give a cofibrantly generated model structure that can be regarded as a generalization of the projective model structure.

The purpose of this note is to show that the Betti realization of motives is compatible with Grothendieck's six operations and the nearby cycles functors, which in the motivic world, were previously studied by the author. We first review the construction of the Betti realization. Then, we establish some general criteria which, applied to the Betti realization, give the compatibilities we seek except for the one concerning the nearby cycles functors. The latter will be treated in a separate section.

Nous montrons que la $\text{A}$-catégorie d’un espace simplement connexe de type fini est inférieure ou égale à $n$ si et seulement si son modèle d’Adams-Hilton est un rétracte homotopique d’une algèbre différentielle à $n$ étages. Nous en déduisons que l’invariant Acat augmente au plus de 1 lors de l’attachement d’une cellule à un espace.

The purpose of this note is to give a simple combinatorial construction of the map from the canonically compactified moduli spaces of punctured complex projective lines to the moduli spaces ${{P}_{r}}$ of polygons with fixed side lengths in the Euclidean space ${{\mathbb{E}}^{3}}$. The advantage of this construction is that one can obtain a complete set of linear relations among the cycles that generate homology of ${{P}_{r}}$. We also classify moduli spaces of pentagons.

The general problem of what should be a non-abelian cohomology, what is it supposed to do, and what should be the coefficients, form a set of interesting questions which has been around for a long time. In the particular setting of groups, a comprehensible and well motivated cohomology theory has been so far stated in dimensions ≤ 2, the coefficients for being crossed modules. The main effort to define an appropriate for groups has been done by Dedecker [16] and Van Deuren [40]; they studied the obstruction to lifting non-abelian 2-cocycles and concluded with first approach for , which requires “super crossed groups” as coefficients. However, as Dedecker said “some polishing work remains necessary” for his cohomology.