Related papers: Tensor functor from Smooth Motives to motives over…

This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and…

We study the constant term functor for $\mathbb{F}_p$-sheaves on the affine Grassmannian in characteristic $p$ with respect to a Levi subgroup. Our main result is that the constant term functor induces a tensor functor between categories of…

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

We develop the theory of Milnor-Witt motives and motivic cohomology. Compared to Voevodsky's theory of motives and his motivic cohomology, the first difference appears in our definition of Milnor-Witt finite correspondences, where our…

We define the tensor product of 1-motives with motives of weight 0 and we construct explicitely the 1-motive underlying the quotient M_1 \otimes M_2 / W_{-3}(M_1 \otimes M_2).

We show that the Kazhdan-Lusztig category $KL_k$ of level-$k$ finite-length modules with highest-weight composition factors for the affine Lie superalgebra $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory…

For a field of characteristic zero, M. Levine has proved that his category of triangulated motives is equivalent to the one constructed by V. Voevodsky. In this paper we show that the strategy of Levine's proof can be applied on every…

Let k be a base field of positive characteristic. Making use of topological periodic cyclic homology, we start by proving that the category of noncommutative numerical motives over k is abelian semi-simple, as conjectured by Kontsevich.…

For each integer $t$ a tensor category $V_t$ is constructed, such that exact tensor functors $V_t \longrightarrow C$ classify dualizable $t$-dimensional objects in $C$ not annihilated by any Schur functor. This means that $V_t$ is the…

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…

Kuznetsov showed that for a flat quadric fibration $\mathcal{Q}$ over a smooth base $S$, $\mathrm{D}^b(\mathcal{Q})$ admits a semiorthogonal decomposition where one of the components is the derived category of the sheaf of even parts of a…

Let $V$ be a complete discrete valued ring of mixed characteristic $(0,p)$, $K$ its field of fractions, $k$ its residue field which is supposed to be perfect. Let $X$ be a separated $k$-scheme of finite type and $Y$ be a smooth open of $X$.…

We show that the construction due to Leinster and Weber of a generalized Lawvere theory for a familially representable monad on a (co)presheaf category, and the associated ``nerve'' functor from monad algebras to (co)presheaves, have an…

We state a conjecture that relates the derived category of smooth representations of a p-adic split reductive group with the derived category of (quasi-)coherent sheaves on a stack of L-parameters. We investigate the conjecture in the case…

For a semisimple multiring category with left duals, we prove that the unit object is simple if and only if the tensor functors by any non-zero algebra are separable (resp. faithful, resp. Maschke, resp. dual Maschke, resp. conservative).…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

We give a general construction of realization functors for $t$-structures on the base of a strong stable derivator. In particular, given such a derivator $\mathbb D$, a $t$-structure $\mathbf t=(\mathcal D^{\leq0},\mathcal D^{\geq0})$ on…

We show that the inverse Serre functor for the constructible derived category $\mathbf{D}^\mathrm{b}_\mathrm{c}(\mathbb{P}^n)$ is given by the $\mathbb{P}$-twist at the simple perverse sheaf corresponding to the open stratum. Moreover, we…

Using the tensor category theory developed by Lepowsky, Zhang and the second author, we construct a braided tensor category structure with a twist on a semisimple category of modules for an affine Lie algebra at an admissible level. We…

We develop a theory of tdos and twisted $\mathcal D$-modules over general base schemes with a focus on functorial aspects. In particular, we introduce a flat base change functor and establish its compatibility with globalization and direct…