Related papers: Two new motivic complexes for non-smooth schemes

These lecture notes cover four topics. There is a proof of the fact that the functors represented by the motivic Eilenberg-Maclane spaces on the motivic homotopy category coincide with the motivic cohomology defined in terms of the motivic…

We survey over some recent applications of motivic homotopy theory in the definition and the study of $p$-adic cohomology theories. In particular, we revisit the proof of the $p$-adic weight-monodromy conjecture for smooth projective…

In this note, we give a motivic characterization of the integral cohomology of dual boundary complexes of smooth quasi-projective complex algebraic varieties. As a corollary, the dual boundary complex of any stably affine space (of positive…

We define motivic multiple polylogarithms and prove the double shuffle relations for them. We use this to study the motivic fundamental group of the multiplicative group - {N-th roots of unity} and relate it to geometry of modular…

We define a theory of etale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of…

The motivic nearby fiber is an invariant obtained from degenerating a complex variety over a disc. It specializes to the Euler characteristic of the original variety but also contains information on the variation of Hodge structure…

Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither…

In this paper, we construct four different theories of integration, two that are for Voevodsky motives, one for mixed $\ell$-adic sheaves, and a fourth theory of integration for rational mixed Hodge structures. We then show that they…

The deepest arithmetic invariants attached to an algebraic variety defined over a number field $F$ are conjecturally captured by the integral part of its motivic cohomology. There are essentially two ways of defining it when $X$ is a smooth…

In this paper we investigate the complexity-theoretical aspects of cyclic and non-wellfounded proofs in the context of parsimonious logic, a variant of linear logic where the exponential modality ! is interpreted as a constructor for…

We construct a quasi-categorically enhanced Grothendieck six-functor formalism on schemes of finite type over the complex numbers. In addition to satisfying many of the same properties as M. Saito's derived categories of mixed Hodge…

For a prime number $p$ and a $p$-quasisyntomic commutative ring $R$, Bhatt--Morrow--Scholze defined motivic filtrations on the $p$-completions of $\mathrm{THH}(R), \mathrm{TC}^{-}(R), \mathrm{TP}(R),$ and $\mathrm{TC}(R)$, with the…

We consider the motivic Hall algebra of coherent sheaves over an irreducible reduced projective curve of arithmetic genus $1$. We introduce the composition subalgebra in the singular curve case, and show that it is isomorphic to the…

We construct motivic power operations on the mod-$p$ motivic cohomology of $\Fb_p$-schemes using a motivic refinement of Nizio{\l}'s theorem. The key input is a purity theorem for motivic cohomology established by Levine. Our operations…

This is our second scope of the consideration on the corresponding topologization and the corresponding functional analytification. We will focus on the corresponding functorial and motivic constructions in our current consideration. We…

These notes are an account of a series of lectures I gave at the LMS-CMI Research School `Homotopy Theory and Arithmetic Geometry: Motivic and Diophantine Aspects', in July 2018, at the Imperial College London. The goal of these notes is to…

In this paper, we study the combinatorics of a subcomplex of the Bloch-Kriz cycle complex [4] used to construct the category of mixed Tate motives. The algebraic cycles we consider properly contain the subalgebra of cycles that correspond…

This is a sequel to our previous paper (joint with Furusho). It will give a more natural framework for constructing elements in the Hopf algebra of framed mixed Tate motives according to Bloch and Kriz. This framework allows us to extend…

We construct a theory of motivic cohomology for quasi-compact, quasi-separated schemes of equal characteristic, which is related to non-connective algebraic $K$-theory via an Atiyah--Hirzebruch spectral sequence, and to \'etale cohomology…

We give an explicit construction of the p-adic de Rham comparison isomorphism for 1-motives. In particular, we prove that our construction recovers the classical de Rham comparison isomorphism and is functorial with respect to morphisms of…