Related papers: The cdh-local motivic homotopy category

We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the…

We give, for a complex algebraic variety $S$, a Hodge realization functor $\mathcal F_S^{Hdg}$ from the derived category of constructible motives $DA_c(S)$ to the derived category $D(MHM(S))$ of algebraic mixed Hodge modules over $S$.…

The manuscript at hand systematically studies K\"unneth formulas at a categorical level. We give criteria for an abstract six functor formalism to satisfy the categorical K\"unneth formula, and use this to formulate conjectures for…

In this article we build a Quillen model category structure on the category of sequentially complete l.m.c.-C*-algebras such that the corresponding homotopy classes of maps Ho(A,B) for separable C*-algebras A and B coincide with the…

Following Eilenberg-Steenrod axiomatic approach we construct the universal ordinary homology theory for any homological structure on a given category by representing ordinary theories with values in abelian categories. For a convenient…

Let $\mathbb{H}=(H_{1},H_{2})$ be a Hopf brace in a symmetric monoidal category ${\sf C}$. In this article it is proved that the category of modules over $\mathbb{H}$ is isomorphic to the category of modules over the smash product algebra…

The aim of this paper is to show that the most elementary homotopy theory of $\mathbf{G}$-spaces is equivalent to a homotopy theory of simplicial sets over $\mathbf{BG}$, where $\mathbf{G}$ is a fixed group. Both homotopy theories are…

We establish a relationship between the graded quotients of a filtered holonomic D-module, their sheaf-theoretic duals, and the characteristic variety, in case the filtered D-module underlies a polarized Hodge module on a smooth algebraic…

We investigate several interrelated foundational questions pertaining to the study of motivic dga's of Dan-Cohen--Schlank [8] and Iwanari [13]. In particular, we note that morphisms of motivic dga's can reasonably be thought of as a…

In this paper, we prove that the bounded derived category $D^b_{coh}(Y)$ of coherent sheaves on a separated scheme $Y$ of finite type over a field $\mathrm{k}$ of characteristic zero is homotopically finitely presented. This confirms a…

The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of…

For a commutative ring $S$ and self-orthogonal subcategory $\mathsf{C}$ of $\mathsf{Mod}(S)$, we consider matrix factorizations whose modules belong to $\mathsf{C}$. Let $f\in S$ be a regular element. If $f$ is $M$-regular for every $M\in…

Each object of any abelian model category has a canonical resolution as described in this article. When the model structure is hereditary we show how morphism sets in the associated homotopy category may be realized as cohomology groups…

We introduce a new category of coefficients for p-adic cohomology called constructible isocrystals. Conjecturally, the category of constructible isocrystals endowed with a Frobenius structure is equivalent to the category of perverse…

Let k be an infinite perfect field. We provide a general criterion for a spectrum in the stable homotopy category over k to be effective, i.e. to be in the localizing subcategory generated by the suspension spectra of smooth schemes. As a…

We show that if the canonical left semi-model structure on the category of Grothendieck $n$-groupoids exists, then it satisfies the homotopy hypothesis, i.e. the associated $(\infty,1)$-category is equivalent to that of homotopy $n$-types,…

For any (not necessarily perfect) field $k$ we obtain equivalences of $\infty$-categories \[\mathbf{H}^{\mathrm{fr},\mathrm{gp}}(k)\simeq \mathbf{H}^{\mathrm{fr},\mathrm{gp}}_{\mathrm{zf}}(k) \text{ and }…

We prove the analog of the Morel-Voevodsky localization theorem for framed motivic spaces. We deduce that framed motivic spectra are equivalent to motivic spectra over arbitrary schemes, and we give a new construction of the motivic…

For any cohomology theory $H$ that can be factorized through (the Morel-Voevodsky's triangulated motivic homotopy category) $SH^{S^1}(k)$ (or through $SH(k)$) we establish the $SH^{S^1}(k)$-functorialty (resp. $SH(k)$-one) of coniveau…

This paper proposes an algorithm that decides if two simply connected spaces represented by finite simplicial sets of finite $k$-type and finite dimension $d$ are homotopy equivalent. If the spaces are homotopy equivalent, the algorithm…