Related papers: Constructible 1-motives and exactness

In this paper, we construct the motivic exceptional direct image functors for fs log schemes. This construction is a part of the motivic six-functor formalism for fs log schemes.

We extend McCarthy's stabilization construction to exact $\infty$-categories. This is achieved by constructing, for any functor from exact $\infty$-categories to a fixed stable $\infty$-category $\mathcal{A}$, a coherent chain complex in…

Let S be a connected scheme smooth and of finite type over the field of complex numbers. To every 1-motive over S, Andr\'e associated the enriched Hodge realization given by a torsion-free, graded-polarizable and admissible variation of…

We can define a module to be an exact functor on a small abelian category. This is explained and shown to be equivalent to the usual definition but it does offer a different perspective, inspired by the notions from model theory of…

We describe the structure of singular transversely affine foliations of codimension one on projective manifolds X with zero first Betti number. Our result can be rephrased as a theorem on rank two reducible flat meromorphic connections.

We construct the $\mathbb{A}^1$-local stable motivic homotopy categories of fs log schemes. For schemes with the trivial log structure, our construction is equivalent to the original construction of Morel-Voevodsky. We prove the…

We use intuitive results from algebraic topology and intersection theory to clarify the pullback action on cohomology by compositions of rational maps. We use these techniques to prove a simple sufficient criterion for functoriality of a…

This is a survey of author's results on weight structures and Voevodsky's motives. Weight structures are natural counterparts of t-structures (for triangulated categories) introduced by the author. They allow to construct weight complexes,…

We give two constructions of functorial topological realizations for schemes of finite type over the field $\mathbb{C}(\!(t)\!)$ of formal Laurent series with complex coefficients, with values in the homotopy category of spaces over the…

In this paper we define the triangulated category of motives over a simplicial scheme. The morphisms between the Tate objects in this category compute the motivic cohomology of the underlying scheme. In the last section we consider the…

For any additive functor from modules (or, more generally, from an abelian category with enough projectives or injectives), we construct long sequences tying up together the derived functors, the satellites, and the stabilizations of the…

Derived equivalences and t-structures are closely related. We use realisation functors associated to t-structures in triangulated categories to establish a derived Morita theory for abelian categories with a projective generator or an…

We express the multigraded Betti numbers of an arbitrary monomial ideal in terms of the multigraded Betti numbers of two basic classes of ideals. This decompo- sition has multiple applications. In some concrete cases, we use it to construct…

Given associative unital algebras $A$ and $B$ and a complex $T^\bullet$ of $B-A-$bi\-modules, we give necessary and sufficient conditions for the total derived functors, $\Rh_A(T^\bullet,?):\D(A)\longrightarrow\D(B)$ and…

We give an explicit construction of the p-adic de Rham comparison isomorphism for 1-motives. In particular, we prove that our construction recovers the classical de Rham comparison isomorphism and is functorial with respect to morphisms of…

In the present paper we use the theory of exact completions to study categorical properties of small setoids in Martin-L\"of type theory and, more generally, of models of the Constructive Elementary Theory of the Category of Sets, in terms…

We give a general construction of the motivic fundamental groupoid at tangential basepoints, extending previous works of P. Deligne, A. B. Goncharov, and M. Levine, which were limited to ordinary basepoints or to specific varieties. Given a…

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…

A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property used in programming semantics which allows one to interpret…

We define the notion of Betti structure for holonomic D-modules which are not necessarily regular singular. We establish the fundamental functorial properties. We also give auxiliary analysis of holomorphic functions of various types on the…