Related papers: Reciprocity sheaves and their ramification filtrat…

We give a new geometric characterization of the motivic ramification filtration of reciprocity sheaves, by imitating a method used by Abbes and (Takeshi) Saito to study the ramification of torsors under finite \'etale groups. This new…

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,…

We prove a Zariski-Nagata purity theorem for the motivic ramification filtration of a reciprocity sheaf. An important tool in the proof is a generalization of the Kato-Saito reciprocity map from geometric global class field theory to all…

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…

We prove a duality theorem for the $p$-adic etale motivic cohomology of a variety $U$ which is the complement of a divisor on a smooth projective variety over $\F_p$. This extends the duality theorems of Milne and Jannsen-Saito-Zhao. The…

We consider a filtration on the cohomology of the structure sheaf indexed by (not necessarily reduced) divisors ``at infinity''. We show that the filtered pieces have transfers morphisms, fpqc descent, and are so called cube invariant. In…

We start developing a notion of reciprocity sheaves, generalizing Voevodsky's homotopy invariant presheaves with transfers which were used in the construction of his triangulated categories of motives. We hope reciprocity sheaves will…

Let A be a complete discrete valuation ring with possibly imperfect residue field. The purpose of this paper is to give a notion of conductor for Galois representations over A that generalizes the classical Artin conductor. The definition…

The aim of this paper is to connect two important and apparently unrelated theories: motivic homotopy theory and ramification theory. We construct motivic homotopy categories over a qcqs base scheme $S$, in which cohomology theories with…

In earlier work (arXiv:0801.0261), we gave a definition of an abelian category of motivic (constructible) sheaves over a base in characteristic zero using Nori's method. This category has Hodge and etale realizations, and is stable under…

We propose a construction of a tensor exact category F_X^m of Artin-Tate motivic sheaves with finite coefficients Z/m over an algebraic variety X (over a field K of characteristic prime to m) in terms of etale sheaves of Z/m-modules over X.…

Given a Henselian and Japanese discrete valuation ring $A$ and a flat and projective $A$-scheme $X$, we follow the approach of Biswas-dos Santos to introduce a full subcategory of coherent modules on $X$ which is then shown to be Tannakian.…

We prove an inequality between the conductor and the discriminant for all hyperelliptic curves defined over discretely valued fields $K$ with perfect residue field of characteristic not 2. Specifically, if such a curve is given by $y^2 =…

One of the main results of this paper is a proof of the rank one case of an existence conjecture on lisse l-adic sheaves on a smooth variety over a finite field due to Deligne and Drinfeld. The problem is translated into the language of…

We construct a theory of higher local symbols along Parsin chains for reciprocity sheaves. Applying this formalism to differential forms, gives a new construction of the Parsin-Lomadze residue maps, and applying it to the torsion characters…

The notion of modulus is a striking feature of Rosenlicht-Serre's theory of generalized Jacobian varieties of curves. It was carried over to algebraic cycles on general varieties by Bloch-Esnault, Park, R\"ulling, Krishna-Levine. Recently,…

We construct derived fundamental group schemes for Tate motives over connected smooth schemes over fields. We show that there exists a pro affine derived group scheme over the rationals such that its category of perfect representations…

Let $C$ be a hyperelliptic curve of genus $g$ over the fraction field $K$ of a discrete valuation ring $R$. Assume that the residue field $k$ of $R$ is perfect and that $\mathrm{char}\ k > 2g+1$. Let $S = \mathrm{Spec}\ R$. Let $X$ be the…

We connect two developments aiming at extending Voevodsky's theory of motives over a field in such a way to encompass non-$\mathbf{A}^1$-invariant phenomina. One is theory of reciprocity sheaves introduced by Kahn-Saito-Yamazaki. Another is…

We relate the recognition principle for infinite $\mathbf P^1$-loop spaces to the theory of motivic fundamental classes of D\'eglise, Jin, and Khan. We first compare two kinds of transfers that are naturally defined on cohomology theories…