Related papers: Smooth motives

Given two smooth projective varieties X and Y over a field, we say that X motivates Y if the (suitably defined) motive of Y is contained in the category generated from X by taking sums, summands and products. This notion has appeared…

This article is the continuation of [LS12]. We use categories of matrix factorizations to define a morphism of rings (= a Landau-Ginzburg motivic measure) from the (motivic) Grothendieck ring of varieties over $\mathbb{A}^1$ to the…

Given a locally coherent Grothendieck category G, we prove that the homotopy category of complexes of injective objects (also known as the coderived category of G) is compactly generated triangulated. Moreover, the full subcategory of…

In this article, we give a construction of the (un-)stable motivic homotopy category of an algebraic stack in the spirit of Morel-Voevodsky. We prove that this new construction agrees with the stable motivic homotopy category defined by…

We develop the theory of smooth principal bundles for a smooth group $G$, using the framework of diffeological spaces. After giving new examples showing why arbitrary principal bundles cannot be classified, we define $D$-numerable bundles,…

In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on…

In this article we introduce and study a motivic category in the arithmetic of function fields, namely the category of motives over an algebraic closure $L$ of a finite field with coefficients in a global function field over this finite…

Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…

For any perfect field k a triangulated category of K-motives DK_(k) is constructed in the style of Voevodsky's construction of the category DM_(k). To each smooth k-variety X the K-motive is associated in the category DK_(k). Also, it is…

These notes, written version of a Bourbaki talk, survey Morel-Voevodsky's motivic homotopy theory over a field, with a focus on computations of motivic homotopy sheaves, both stable and unstable. We also describe Isaksen-Wang-Xu's…

We develop a homotopy theory of directed graphs based on cubical homotopy groups, also referred to as A-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups…

In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicial categories, can be considered to be models for…

We prove that every proper connective DG-algebra $A$ admits a geometric realization (as defined by Orlov) by a smooth projective scheme with a full exceptional collection. As a corollary we obtain that $A$ is quasi-isomorphic to a finite…

We prove a motivic version of Landweber's exact functor theorem from topology. The main result is that the assignment given by a Landweber-type formula using the MGL-homology of a motivic spectrum defines a homology theory on the stable…

Using combinatorial properties of symmetric polynomials, we compute explicitly the Soergel modules for some permutations whose corresponding Schubert varieties are rationally smooth. We build from them diagram algebras whose module…

We define, for a regular scheme $S$ and a given field of characteristic zero $\KK$, the notion of $\KK$-linear mixed Weil cohomology on smooth $S$-schemes by a simple set of properties, mainly: Nisnevich descent, homotopy invariance,…

The finite stable homotopy category S_0 has been suggested as a candidate for a category of perfect complexes over the monoid scheme Spec F_1. We apply a reconstruction theorem from algebraic geometry to S_0, and show that one recovers the…

A separable, proper morphism of varieties with geometrically connected fibers induces a homotopy exact sequence relating the \'etale fundamental groups of source, target and fiber. Extending work of dos Santos, we prove the existence of an…

In this paper we give a construction of phantom categories, i.e. admissible triangulated subcategories in bounded derived categories of coherent sheaves on smooth projective varieties that have trivial Hochschild homology and trivial…

We compare various different definitions of "the category of smooth objects". The definitions compared are due to Chen, Fr\"olicher, Sikorski, Smith, and Souriau. The method of comparison is to construct functors between the categories that…