Related papers: Motivic homotopy theory with ramification filtrati…
The aim of this work is to construct certain homotopy t-structures on various categories of motivic homotopy theory, extending works of Voevodsky, Morel, D\'eglise and Ayoub. We prove these $t$-structures possess many good properties, some…
The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking…
We develop a theory of sheaves and cohomology on the category of proper modulus pairs. This complements [KMSY21], where a theory of sheaves and cohomology on the category of non-proper modulus pairs has been developed.
Let $G$ be a split semisimple algebraic group over a field and let $A^*$ be an oriented cohomology theory in the sense of Levine--Morel. We provide a uniform approach to the $A^*$-motives of geometrically cellular smooth projective…
As a sequel of Part I, we consider a filtration of Hodge cohomology groups indexed by divisors "at infinity", and prove that they are represented in the category of motives with modulus. In particular, we obtain a realisation functor of the…
This paper examines a number of related questions about Euler characteristics and characteristic classes with values in Witt cohomology. We establish a motivic version of the Becker-Gottllieb transfer, generalizing a construction of Hoyois.…
We build a unified framework for the study of monodromy operators and weight filtrations of cohomology theories for varieties over a local field. As an application, we give a streamlined definition of Hyodo-Kato cohomology without recourse…
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…
A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…
In the paper we use the theory of framed correpondences to construct Milnor-Witt transfers on homotopy modules. As a consequence we identify the zeroth stable $\mathbb{A}^1$-homotopy sheaves of smooth varieties with the zeroth homology of…
A cohomology theory of root systems emerges naturally in the context of Automorphic Lie Algebras, where it helps formulating some structure theory questions. In particular, one can find concrete models for an Automorphic Lie Algebra by…
We provide a description of Voevodsky's $\infty$-category of motivic spectra in terms of the subcategory of motives of smooth proper varieties. As applications, we construct weight filtrations on the Betti and \'{e}tale cohomologies of…
Homotopy type theory is an interpretation of Martin-L\"of's constructive type theory into abstract homotopy theory. There results a link between constructive mathematics and algebraic topology, providing topological semantics for…
The purpose of this paper is to prove a conjecture on reciprocity sheaves by Kahn-Saito-Yamazaki. This is accomplished by extending Voevodsky's fundamental results on homotopy invariant (pre)sheaves with transfers to its generalizations,…
This is an introduction to author's ramification theory of a complete discrete valuation field with residue field whose p-basis consists of at most one element. New lower and upper filtrations are defined; cyclic extensions of degree p may…
Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…
We construct a perfect version of Morel--Voevodsky's motivic homotopy category over a perfect base scheme in positive characteristic. By checking the axioms of a coefficient system, we establish a six-functor formalism. We show that…
The theory of reciprocity sheaves due to Kahn-Saito-Yamazaki is a powerful framework to study invariants of smooth varieties via invariants of pairs $(X,D)$ of a variety $X$ and a divisor $D$. We develop a generalization of this theory…
The cohomology theory known as Tmf, for "topological modular forms," is a universal object mapping out to elliptic cohomology theories, and its coefficient ring is closely connected to the classical ring of modular forms. We extend this to…
The purpose of this paper is to study motivic aspects of the Hitchin system for $\mathrm{GL}_n$. Our results include the following. (a) We prove the motivic decomposition conjecture of Corti-Hanamura for the Hitchin system; in particular,…