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

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

We produce a fully faithful functor from finite type nilpotent spaces to cosimplicial binomial rings, thus giving an algebraic model of integral homotopy types. As an application, we construct an integral version of the…

This paper studies the homotopy theory of algebras and homotopy algebras over an operad. It provides an exhaustive description of their higher homotopical properties using the more general notion of morphisms called infinity-morphisms. The…

Already in the 1960s Grothendieck understood that one could obtain an almost entirely satisfactory theory of motives over a finite field when one assumes the full Tate conjecture. In this note we prove a similar result for motivic…

The main objective of this paper is to show that the homotopy colimit of a diagram of quasi-categories and indexed by a small category is a localization of Lurie's higher Grothendieck construction of the diagram. We thereby generalize…

The Grothendieck construction is a classical correspondence between diagrams of categories and coCartesian fibrations over the indexing category. In this paper we consider the analogous correspondence in the setting of model categories. As…

Recently, Levine constructed a DG category whose homotopy category is equivalent to the full subcategory of motives over a base-scheme $S$ generated by the motives of smooth projective $S$-schemes, assuming that $S$ is itself smooth over a…

This paper proves two theorems (1) Let $k$ be an algebraically closed field of characteristic $p>0$. I prove (Theorem 2.1.1) that if, $p > 13$ or $p = 11$, then the isomorphism class of any supersingular elliptic curve is a zero divisor in…

For $k$ a perfect field of characteristic $p>0$ and $G/k$ a split reductive group with $p$ a non-torsion prime for $G,$ we compute the mod $p$ motivic cohomology of the geometric classifying space $BG_{(r)}$, where $G_{(r)}$ is the $r$th…

Following Eilenberg-Steenrod axiomatic approach we construct the universal ordinary homology theory for any homological structure on a given category by representing ordinary theories with values in abelian categories. For a convenient…

The manuscript at hand systematically studies K\"unneth formulas at a categorical level. We give criteria for an abstract six functor formalism to satisfy the categorical K\"unneth formula, and use this to formulate conjectures for…

Let $C$ be a smooth projective curve, $E$ a locally free sheaf. Hyperquot schemes on $C$ parametrise flags of coherent quotients of $E$ with fixed Hilbert polynomial, and offer alternative compactifications to the spaces of maps from $C$ to…

We associate weight complexes of (homological) motives, and hence Euler characteristics in the Grothendieck group of motives, to arithmetic varieties and Deligne-Mumford stacks; this extends the results in the paper "Descent, Motives and…

We prove a deletion-contraction formula for motivic Feynman rules given by the classes of the affine graph hypersurface complement in the Grothendieck ring of varieties. We derive explicit recursions and generating series for these motivic…

We make precise the analogy between Goodwillie's calculus of functors in homotopy theory and the differential calculus of smooth manifolds by introducing a higher-categorical framework of which both theories are examples. That framework is…

We give a version of geometric motivic integration that specializes to p-adic integration via point counting. This has been done before for stable sets; we extend this to more general sets. The main problem in doing this is that it requires…

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…

We construct geometric lifts of the Bost-Connes algebra to Grothendieck rings and to the associated assembler categories and spectra, as well as to certain categories of Nori motives. These categorifications are related to the integral…

Polynomial functors are useful in the theory of data types, where they are often called containers. They are also useful in algebra, combinatorics, topology, and higher category theory, and in this broader perspective the polynomial aspect…

Modalities in homotopy type theory are used to create and access subuniverses of a given type universe. These have significant applications throughout mathematics and computer science, and in particular can be used to create universes in…