Related papers: $(\infty,\infty)$-Categorical Universal Motives

Reasoning in the 2-category Con of contexts, certain sketches for arithmetic universes (i.e. list arithmetic pretoposes; AUs), is shown to give rise to base-independent results of Grothendieck toposes, provided the base elementary topos has…

Let $k$ be a field that is finitely generated over its prime field. In Grothendieck's anabelian letter to Faltings, he conjectured that sending a $k$-scheme to its \'{e}tale topos defines a fully faithful functor from the localization of…

We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…

We study the asymptotical behaviour of the moduli space of morphisms of given anticanonical degree from a rational curve to a split toric variety, when the degree goes to infinity. We obtain in this case a geometric analogue of Manin's…

A motivic height zeta function associated to a family of varieties parametrised by a curve is the generating series of the classes, in the Grothendieck ring of varieties, of moduli spaces of sections of this family with varying degrees.…

Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more…

$\infty$-category theory was originally developed in the context of classical homotopy theory using standard set theoretical assumptions, but has since been extended to a variety of mathematical foundations. One such successful effort,…

This paper proves the Beilinson-Soul{\'e} vanishing conjecture for motives attached to the moduli spaces of curves of genus 0 with n marked points. As part of the proof, it is also proved that these motives are mixed Tate. As a consequence…

The motivic homotopy categories can be defined with respect to different topologies and different underlying categories of schemes. For a number of reasons (mainly because of the Gluing Theorem) the motivic homotopy category built out of…

To smooth schemes equipped with a smooth affine group scheme action, we associate an equivariant motivic homotopy category. Underlying our construction is the choice of an `equivariant Nisnevich topology' induced by a complete, regular, and…

We construct a period regulator for motivic cohomology of an algebraic scheme over a subfield of the complex numbers. For the field of algebraic numbers we formulate a period conjecture for motivic cohomology by saying that this period…

Considering a (co)homology theory $\mathbb{T}$ on a base category $\mathcal{C}$ as a fragment of a first-order logical theory we here construct an abelian category $\mathcal{A}[\mathbb{T}]$ which is universal with respect to models of…

In this paper we study the category of localizing motives $\operatorname{Mot}^{\operatorname{loc}}$ -- the target of the universal finitary localizing invariant of idempotent-complete stable categories as defined by Blumberg-Gepner-Tabuada.…

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

This is the author's PhD thesis. It is a contribution to categorical logic, in particular to the theory of realizability toposes. While the tools of categorical logic have proven very successful in analyzing and organizing proof theoretic…

For each configuration of rational points on the affine line, we define an operation on the group of unstable A1 motivic homotopy classes of endomorphisms of the projective line. We also derive an algebraic formula for the image of such an…

We introduce a pro-\'etale geometric object $D_\infty$ arising naturally from the tower of Artin-Schreier extensions in characteristic 2, equipped with a canonical endofunctor $O$ whose fixed points correspond to automorphic representations…

We consider categories of equivariant mixed Tate motives, where equivariant is understood in the sense of Borel. We give the two usual definitions of equivariant motives, via the simplicial Borel construction and via algebraic…

We construct models for the motivic homotopy category based on simplicial functors from smooth schemes over a field to simplicial sets. These spaces are homotopy invariant and therefore one does not have to invert the affine line in order…

Let G be a split semisimple linear algebraic group over a field k0. Let E be a G-torsor over a field extension k of k0. Let h be an algebraic oriented cohomology theory in the sense of Levine-Morel. Consider a twisted form E/B of the…