Related papers: Levine's motivic comparison theorem revisited

We consider an useful in Variational Analysis tool -- Long Orbit or Empty Value (LOEV) principle -- in different settings, starting from more abstract to more defined. We prove, using LOEV principle, a number of basic results in Variational…

This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…

We show that the slice filtration introduced by Voevodsky is compatible in a suitable sense with the symmetric monoidal structure in the category of motivic symmetric T-spectra constructed by Jardine. It follows from this compatibility that…

The main goal of this paper is to prove the following: for a triangulated category $ \underline{C}$ and $E\subset \operatorname{Obj} \underline{C}$ there exists a cohomological functor $F$ (with values in some abelian category) such that…

We formulate and prove an analog of Poonen's finite-field Bertini theorem with Taylor conditions that holds in the Grothendieck ring of varieties. This gives a broad generalization of the work of Vakil-Wood, who treated the case of smooth…

The dual motivic Steenrod algebra with mod $\ell$ coefficients was computed by Voevodsky over a base field of characteristic zero, and by Hoyois, Kelly, and {\O}stv{\ae}r over a base field of characteristic $p \neq \ell$. In the case $p =…

We start developing a notion of reciprocity sheaves, generalizing Voevodsky's homotopy invariant presheaves with transfers which were used in the construction of his triangulated categories of motives. We hope reciprocity sheaves will…

We show that the category of orbits of the bounded derived category of a hereditary category under a well-behaved autoequivalence is canonically triangulated. This answers a question by A. Buan, R. Marsh and I. Reiten which appeared in…

A conjecture of Orlov predicts that derived equivalent smooth projective varieties over a field have isomorphic Chow motives. The conjecture is known for curves, and was recently observed for surfaces by Huybrechts. In this paper we focus…

The L'vov-Kaplansky conjecture states that the image of a multilinear noncommutative polynomial $f$ in the matrix algebra $M_n(K)$ is a vector space for every $n \in {\mathbb N}$. We prove this conjecture for the case where $f$ has degree…

We show that the derived category of perverse Nori motives and mixed Hodge modules are the derived categories of their constructible hearts. This enables us to construct $\infty$-categorical lifts of the six operations and therefore to…

For an abelian variety over a finite field, Clozel (1999) showed that l-homological equivalence coincides with numerical equivalence for infinitely many l, and the author (1999) gave a criterion for the Tate conjecture to follow from Tate's…

Let $\mathcal{A}$ and $\mathcal{B}$ be subcategories of tensor categories $\mathcal{C}$ and $\mathcal{D}$, respectively, both of which are abelian categories with finitely many isomorphism classes of simple objects. We prove that if their…

For each $n\in\mathbb{N}$, let $[n]\phi$ mean "the sentence $\phi$ is true in all $\Sigma_{n+1}$-correct transitive sets." Assuming G\"odel's axiom $V = L$, we prove the following graded variant of Solovay's completeness theorem: the set of…

We prove a weighted analogue of the Khintchine-Groshev Theorem, where the distance to the nearest integer is replaced by the absolute value. This is subsequently applied to proving the optimality of several linear independence criteria over…

We prove that the cigar conformal field theory is dual to the Sine-Liouville model, as conjectured originally by Fateev, Zamolodchikov and Zamolodchikov. Since both models possess the same chiral algebra, our task is to show that…

We modify the axioms of triangulated categories to include both higher triangles and distinguished maps of higher triangles. The distinguished maps are specializations of Neeman's ``good'' maps of $2$-triangles. The axioms both simplify…

We use an analogue of Karoubi's construction in the motivic situation to give some cohomology operations in motivic cohomology. We prove many properties of these operations, and we show that they coincide, up to some nonzero constants, with…

We prove a stronger version of the octahedral axiom in a pre-triangulated category. The proof uses a new lemma about exact sequences in pointed additive categories which is based on a weak converse of the snake lemma.

We present a research programme aimed at constructing classifying toposes of Weil-type cohomology theories and associated categories of motives, and introduce a number of notions and preliminary results already obtained in this direction.…