RECIPROCITY SHEAVES AND THEIR RAMIFICATION FILTRATIONS

<jats:title>Abstract</jats:title><jats:p>We define a motivic conductor for any presheaf with transfers<jats:italic>F</jats:italic>using the categorical framework developed for the theory of motives with modulus by Kahn, Miyazaki, Saito and Yamazaki. If<jats:italic>F</jats:italic>is a reciprocity sheaf, this conductor yields an increasing and exhaustive filtration on<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S1474748021000074_inline1.png" /><jats:tex-math>$F(L)$</jats:tex-math></jats:alternatives></jats:inline-formula>, where<jats:italic>L</jats:italic>is any henselian discrete valuation field of geometric type over the perfect ground field. We show that if<jats:italic>F</jats:italic>is a smooth group scheme, then the motivic conductor extends the Rosenlicht–Serre conductor; if<jats:italic>F</jats:italic>assigns to<jats:italic>X</jats:italic>the group of finite characters on the abelianised étale fundamental group of<jats:italic>X</jats:italic>, then the motivic conductor agrees with the Artin conductor defined by Kato and Matsuda; and if<jats:italic>F</jats:italic>assigns to<jats:italic>X</jats:italic>the group of integrable rank<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S1474748021000074_inline2.png" /><jats:tex-math>$1$</jats:tex-math></jats:alternatives></jats:inline-formula>connections (in characteristic<jats:inline-formula><jats:alternatives><jats:inline-graphic xmlns:xlink="http://www.w3.org/1999/xlink" mime-subtype="png" xlink:href="S1474748021000074_inline3.png" /><jats:tex-math>$0$</jats:tex-math></jats:alternatives></jats:inline-formula>), then it agrees with the irregularity. We also show that this machinery gives rise to a conductor for torsors under finite flat group schemes over the base field, which we believe to be new. We introduce a general notion of conductors on presheaves with transfers and show that on a reciprocity sheaf, the motivic conductor is minimal and any conductor which is defined only for henselian discrete valuation fields of geometric type with<jats:italic>perfect</jats:italic>residue field can be uniquely extended to all such fields without any restriction on the residue field. For example, the Kato–Matsuda Artin conductor is characterised as the canonical extension of the classical Artin conductor defined in the case of a perfect residue field.</jats:p>