Related papers: Motivic six-functor formalism for log schemes

We show that a partial-correctness assertion about an iterative program is provable in Hoare Logic iffit is provable in standard second-order logic with comprehension restricted to first-order predicates. This equivalence was claimed twice…

Let S be an essentially smooth scheme over a field and l a prime number invertible on S. We show that the algebra of bistable operations in the mod l motivic cohomology of smooth S-schemes is generated by the motivic Steenrod operations.…

This paper is concerned with an interpretation of f-cohomology, a modification of motivic cohomology of motives over number fields, in terms of motives over number rings. Under standard assumptions on mixed motives over finite fields,…

Let $f\colon X \to \mathbb{A}^1_t$ be an affine flat morphism of finite type, and let $V = f^{-1}(0)$. Then, we obtain a morphism of log schemes $f\colon (X|V) \to (\mathbb{A}^1_t|0)$. In this article, we develop algorithmic tools to study…

Several formal systems, such as resolution and minimal model semantics, provide a framework for logic programming. In this paper, we will survey the use of structural proof theory as an alternative foundation. Researchers have been using…

The coefficient categories of six functor formalisms are often locally rigid, and when this is the case, the exceptional pushforward and pullback adjunctions may be defined formally. In this short note it is shown that for f a proper map…

We develop the foundations of logarithmic structures beyond the standard finiteness conditions. The motivation is the study of semistable models over general valuation rings. The key new notion is that of a morphism of finite presentation…

In the present article, we study the integral aspects of the Fourier transform of an abelian variety $A$ over a field $k$, using \'etale motivic cohomology, following the ideas and theory given by Moonen, Polishchuk and later by Beckman and…

We prove a duality statement on modules over KH-theory in the stable motivic homotopy category whose dualizing object is given by G-theory, over any quasi-excellent scheme of characteristic zero.

Ever since the introduction of motivic homotopy theory, as a well-proposed approximation of Grothendieck's dream, algebraic geometers then have the chance to study schemes via a homotopy theory. However topologists also found that lifting…

To advance our log Hodge theory, we introduce log real analytic functions and log $C^{\infty}$ functions, define how to integrate them, and prove the log Poincar\'e lemma. We give better understandings of the degeneration of Hodge…

In this paper we define a class of polynomial functors suited for constructing coalgebras representing processes in which uncertainty plays an important role. In these polynomial functors we include upper and lower probability measures,…

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…

For noetherian schemes of finite dimension over a field of characteristic exponent $p$, we study the triangulated categories of $\mathbf{Z}[1/p]$-linear mixed motives obtained from cdh-sheaves with transfers. We prove that these have many…

We construct abelian categories of integral Nori motivic sheaves over a scheme of characteristic zero. The first step is to study the presentable derived category of Nori motives over a field. Next we construct an algebra in \'etale motives…

Foundational verification considers the functional correctness of programming languages with formalized semantics and uses proof assistants (e.g., Coq, Isabelle) to certify proofs. The need for verifying complex programs compels it to…

We show exactness of the homotopy sequence for the logarithmic fundamental group in the case of log smooth, finitely presented, proper and saturated morphisms of fs log schemes over a field. This generalizes earlier results of Hoshi in the…

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…

This paper investigates the structure of generic motives and their implications for the motivic cohomology of fields. Originating in Voevodsky's theory of motives and related to Beilinson's vision of a motivic $t$-structure, generic motives…

We discuss the structure of integral etale motivic cohomology groups of smooth and projective schemes over algebraically closed fields, finite fields, local fields, and arithmetic schemes.