Related papers: Some remarks on phantom categories and motives
The quantum Lefschetz formula explains how virtual fundamental classes (or structure sheaves) of moduli stacks of stable maps behave when passing from an ambient target scheme to the zero locus of a section. It is only valid under special…
A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination 'relevant'…
To an arbitrary variety over a field of characteristic zero, we associate a complex of Chow motives, which is, up to homotopy, unique and bounded. We deduce that any variety has a natural Euler characteristic in the Grothendieck group of…
We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…
Given a small simplicial category $\C$ whose underlying ordinary category is equipped with a Grothendieck topology $\tau$, we construct a model structure on the category of simplicially enriched presheaves on $\C$ where the weak…
In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under…
A concept of "evolving categories" is suggested to build a simple, scalable, mathematically consistent framework for representing in uniform way both data and algorithms. A state machine for executing algorithms becomes clear, rich and…
We study the spectrum of closed subcategories in a quasi-scheme, i.e. a Grothendieck category $X$. The closed subcategories are the direct analogs of closed subschemes in the commutative case, in the sense that when $X$ is the category of…
We establish a generalized version of the duality between groups and the categories of their representations on sets. Given an abstract symmetric monoidal category $K$ called Galois prekosmos, we define pre-Galois objects in $K$ and study…
The goal of this paper is to study the Chern classes of coherent sheaves (and more generally perfect complexes) that admit crystal structures in the setting of crystalline cohomology and more generally relative prismatic cohomology. In the…
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having…
Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…
Following [14], we compute the motivic cohomology ring of the Nisnevich classifying space of the unitary group associated to the standard split hermitian form of a quadratic extension. This provides us with subtle characteristic classes…
This is a considerably expanded version of the "pure" part of our 2002 preprint. We define a category of pure birational motives over a field, depending on the choice of an adequate equivalence relation on algebraic cycles. It is obtained…
This paper gives an introduction to the homotopy theory of quasi-categories. Weak equivalences between quasi-categories are characterized as maps which induce equivalences on a naturally defined system of groupoids. These groupoids…
One-sided exact categories appear naturally as instances of Grothendieck pretopologies. In an additive setting they are given by considering the one-sided part of Keller's axioms defining Quillen exact categories. We study one-sided exact…
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…
Every smooth manifold contains particles which propagate. These form objects and morphisms of a category equipped with a functor to the category of Abelian groups, turning this into a 0+1 topological field theory. We investigate the…
Suppose that $G$ is a finite group and $k$ is a field of characteristic $p>0$. A ghost map is a map in the stable category of finitely generated $kG$-modules which induces the zero map in Tate cohomology in all degrees. In an earlier paper…
We give necessary conditions for a category fibred in pseudo-abelian additive categories over the classifying topos of a profinite group to be a stack; these conditions are sufficient when the coefficients are $\mathbf{Q}$-linear. This…