Related papers: The cdh-local motivic homotopy category

We construct smooth presentations of algebraic stacks that are local epimorphisms in the Morel-Voevodsky $\mathbb{A}^1$-homotopy category. As a consequence we show that the motive of a smooth stack (in Voevodsky's triangulated category of…

We give a necessary and sufficient condition in terms of group cohomology for two indecomposable module categories over a group-theoretical fusion category ${\mathcal C}$ to be equivalent. This concludes the classification of such module…

We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…

Following Nori's original idea we here provide certain motivic categories with a canonical tensor structure. These motivic categories are associated to a cohomological functor on a suitable base category and the tensor structure is induced…

We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…

Given a small simplicial category $\C$ whose underlying ordinary category is equipped with a Grothendieck topology $\tau$, we construct a model structure on the category of simplicially enriched presheaves on $\C$ where the weak…

We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…

For any cohomology theory $H$ that can be factorized through (the Morel-Voevodsky's triangulated motivic homotopy category) $SH^{S^1}(k)$ we establish the $SH^{S^1}(k)$-functoriality of coniveau spectral sequences for $H$. We also prove:…

We prove that the homotopy theory of parsummable categories (as defined by Schwede) with respect to the underlying equivalences of categories is equivalent to the usual homotopy theory of symmetric monoidal categories. In particular, this…

In a previous paper, the authors showed that the category of E(n)_*E(n)-comodules is a localization of the category of BP_*BP-comodules. In this paper, we study the resulting localization functor L_n on the category of BP_*BP-comodules. It…

We compute the h_1-localized cohomology of the motivic Steenrod algebra over C. This serves as the input to an Adams spectral sequence that computes the motivic stable homotopy groups of the eta-local motivic sphere. We compute some of the…

We introduce the notion of a contramodule over a cocommutative coalgebra in a presentably symmetric monoidal $\infty$-category $\mathcal{C}$, and prove a symmetric monoidal $\infty$-categorical version of Positselski's comodule-contramodule…

In this study, we interpret the notion of homotopy of morphisms in the category of crossed modules in a category $\mathsf{C}$ of groups with operations using the categorical equivalence between crossed modules and internal categories in…

For an internal category $\mathbb{C}$ in a cartesian category $\mathcal{C}$ we define, naturally in objects $X$ of $\mathcal{C}$, $Prin_{\mathbb{C}}(X)$. This is a category whose objects are principal $c \mathbb{C}$-bundles over $X$ and…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

Let W be a complex reflection group and H_c(W) the Rational Cherednik algebra for $W$ depending on a parameter c. One can consider the category O for H_c(W). We prove a conjecture of Rouquier that the categories O for H_c(W) and H_{c'}(W)…

Let NG0 denote the category of all pointed numerically generated spaces and continuous maps preserving base-points. In [SYH], we described a passage from bivariant functors to generalized homology and cohomology theories. In this paper, we…

The main purpose of this work is the study of the homotopy theory of dg-categories up to quasi-equivalences. Our main result provides a natural description of the mapping spaces between two dg-categories $C$ and $D$ in terms of the nerve of…

Given two schemes $S$ and $S'$, we prove that every equivalence between $\mathbf{Sch}_S$ and $\mathbf{Sch}_{S'}$ comes from a unique isomorphism between $S$ and $S'$. This eliminates all Noetherian and finite type hypotheses from a result…

In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…