Related papers: A DG guide to Voevodsky's motives
The issue and proof of Gurzadyan theorem are presented concisely, avoiding tedious and unnecessary calculations that would mask what is essential. The goal is to provide a good mathematical and physical understanding of the theorem, making…
We introduce the logic QKSD which is a normal multi-modal logic over finitely many modalities that additionally supports bounded quantification of modalities. An important feature of this logic is that it allows to quantify over the…
This paper is a survey on Deduction modulo theory
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…
The goal of this paper is to construct trace maps for the six functor formalism of motivic cohomology after Voevodsky, Ayoub, and Cisinski-D\'{e}glise. We also construct an $\infty$-enhancement of such a trace formalism. In the course of…
We compute the Suslin homology of relative curves with modulus. This result may be regarded as a modulus version of the computation of motives for curves, due to Suslin and Voevodsky.
The user's guide provides a behind-the-scenes look at the paper of that title.
Over a scheme of finite type over a field of characteristic zero, we prove that Nori an Voevodsky categories of relative Artin motives, that is the full subcategories generated by the motives of \'etale morphisms in relative Nori and…
We propose a new modal logic endowed with a simple deductive system to interpret Aristotle's theory of the modal syllogism. While being inspired by standard propositional modal logic it is also a logic of terms that admits a (sound)…
The existence of a good theory of Thom isomorphisms in some rational category of mixed Tate motives would permit a nice interpolation between ideas of Kontsevich on deformation quantization, and ideas of Connes and Kreimer on a Galois…
Survey of hypergeometric motives, with a focus on their source varieties, Hodge numbers, and L-functions.
We consider the category of Deligne 1-motives over a perfect field k of exponential characteristic p and its derived category for a suitable exact structure after inverting p. As a first result, we provide a fully faithful embedding into an…
The purpose of this article is to define and study the notion of absolute intersection motive.
Based on various strategies, we obtain several simple proofs of the celebrated Sharkovsky cycle coexistence theorem.
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…
This paper investigates Voevodsky's univalence axiom in intensional Martin-L\"of type theory. In particular, it looks at how univalence can be derived from simpler axioms. We first present some existing work, collected together from various…
In this note we prove that Kontsevich's category NCnum of noncommutative numerical motives is equivalent to the one constructed by the authors. As a consequence, we conclude that NCnum is abelian semi-simple as conjectured by Kontsevich.
Voevodsky outlined a conjectural programme that his slice filtration in motivic homotopy theory should give rise to a good theory of $\mathbb{A}^1$-invariant motivic cohomology. This paper achieves his vision in the generality of arbitrary…
In this article we study the subgroup of the Picard group of Voevodsky's category of geometric motives generated by the reduced motives of affine quadrics. Our main tools here are the functors of Bachmann, but we also provide an alternative…
We study, in the context of Voevodsky's triangulated category of motives, several adequate equivalence relations (in the sense of Samuel) on the graded Chow ring $CH^\ast (X\times Y)$ for $X$, $Y$ smooth projective varieties over a field.