We define a motivic conductor for any presheaf with transfers F using the categorical framework developed for the theory of motives with modulus by Kahn, Miyazaki, Saito and Yamazaki. If F is a reciprocity sheaf, this conductor yields an increasing and exhaustive filtration on $F(L)$ , where L is any henselian discrete valuation field of geometric type over the perfect ground field. We show that if F is a smooth group scheme, then the motivic conductor extends the Rosenlicht–Serre conductor; if F assigns to X the group of finite characters on the abelianised étale fundamental group of X, then the motivic conductor agrees with the Artin conductor defined by Kato and Matsuda; and if F assigns to X the group of integrable rank $1$ connections (in characteristic $0$ ), 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 perfect 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.

We study relationships between the Nisnevich topology on smooth schemes and certain Grothendieck topologies on proper and not necessarily proper modulus pairs, which were introduced in previous papers. Our results play an important role in the theory of sheaves with transfers on proper modulus pairs.

We prove that the K-group of reciprocity functors, defined by F. Ivorra and the first author, vanishes over a perfect field as soon as one of the reciprocity functors is and one is an abelian variety.

Let $E/F$ be a quadratic extension of number fields. In this paper, we show that the genus formula for Hilbert kernels, proved by M. Kolster and A. Movahhedi, gives the 2-rank of the Hilbert kernel of $E$ provided that the 2-primary Hilbert kernel of $F$ is trivial. However, since the original genus formula is not explicit enough in a very particular case, we first develop a refinement of this formula in order to employ it in the calculation of the 2-rank of $E$ whenever $F$ is totally real with trivial 2-primary Hilbert kernel. Finally, we apply our results to quadratic, bi-quadratic, and tri-quadratic fields which include a complete 2-rank formula for the family of fields $\mathbb{Q}(\sqrt{2},\sqrt{\delta )}$ where $\delta $ is a squarefree integer.

To every pair of algebraic number fields with isomorphic Witt rings one can associate a number, called the minimum number of wild primes. Earlier investigations have established lower bounds for this number. In this paper an analysis is presented that expresses the minimum number of wild primes in terms of the number of wild dyadic primes. This formula not only gives immediate upper bounds, but can be considered to be an exact formula for the minimum number of wild primes.

Using results of Browkin and Schinzel one can easily determine quadratic number fields with trivial 2-primary Hilbert kernels. In the present paper we completely determine all bi-quadratic number fields which have trivial 2-primary Hilbert kernels. To obtain our results, we use several different tools, amongst which is the genus formula for the Hilbert kernel of an arbitrary relative quadratic extension, which is of independent interest. For some cases of real bi-quadratic fields there is an ambiguity in the genus formula, so in this situation we use instead Brauer relations between the Dedekind zeta-funtions and the Birch–Tate conjecture.

We prove that two, apparently different, class-group valued Galois module structure invariants associated to the algebraic $K$-groups of rings of algebraic integers coincide. This comparison result is particularly important in making explicit calculations.