Related papers: Motivic toposes

We define a trace map for every cohomological correspondence in the motivic stable homotopy category over a general base scheme, which takes values in the twisted bivariant groups. Local contributions to the trace map give rise to quadratic…

In this paper, we discuss the theory of the Siegel modular variety in the aspects of arithmetic and geometry. This article covers the theory of Siegel modular forms, the Hecke theory, a lifting of elliptic cusp forms, geometric properties…

For a cellular variety $X$ over a field $k$ of characteristic 0 and an algebraic oriented cohomology theory $\hh$ of Levine-Morel we construct a filtration on the cohomology ring $\hh(X)$ such that the associated graded ring is isomorphic…

We construct a motivic lift of the action of the Hecke algebra on the cohomology of PEL Shimura varieties $S_K$. To do so, when $S_K$ is associated with a reductive algebraic group $G$ and $V$ is a local system on $S_K$ coming from a…

Recent developments in motivic homotopy theory, especially the construction of norm functors by Bachmann and Hoyois, rely heavily on the machinery of infinite categories. In this paper, we take a purely geometric and elementary approach via…

We give a model-theoretic characterization of the class of geometric theories classified by an atomic topos having enough points; in particular, we show that every complete geometric theory classified by an atomic topos is countably…

In the first half of this article we define a new weight homology functor on Voevodsky's category of effective motives, and investigate some of its properties. In special cases we recover Gillet-Soul\'e's weight homology, and Geisser's…

We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…

We develop a `universal' support theory for derived categories of constructible (analytic or \'etale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated…

Let $X$ be a variety over a finite field. Given an order $R$ in a semi-simple algebra over the rationals and a constructible \'etale sheaf $F$ of $R$-modules over $X$, one can consider a natural non-commutative $L$-function associated with…

In this article we further the study of non-commutative motives. We prove that bivariant cyclic cohomology (and its variants) becomes representable in the category of non-commutative motives. Furthermore, Connes' bilinear pairings…

Fix a base field F, a finite field K and consider a sequence of central simple F-algebras A_1,...,A_n. In this note we provide some results toward a classification of the indecomposable motives lying in the motivic decompositions of…

We generalize some classical results on Chow group of an abelian variety to semiabelian varieties and to motivic (co)homology, using a result of Ancona--Enright-Ward--Huber on a decomposition of the motive of a semiabelian variety in the…

Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with…

In this paper, the Lawson homology and morphic cohomology are defined on the Chow motives. We also define the rational coefficient Lawson homology and morphic cohomology of the Chow motives of finite quotient projective varieties. As a…

We formulate two conjectures about etale cohomology and fundamental groups motivated by categoricity conjectures in model theory. One conjecture says that there is a unique Z-form of the etale cohomology of complex algebraic varieties, up…

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 define an unstable equivariant motivic homotopy category for an algebraic group over a Noetherian base scheme. We show that equivariant algebraic $K$-theory is representable in the resulting homotopy category. Additionally, we establish…

In this paper we provide a unifying description of different types of semantics of modal logic found in the literature via the framework of topological categories. In the style of categorical logic, we establish an exact correspondence…

We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…