We study multilinear symbols on fields taking values in reciprocity sheaves. We prove
that any such symbol satisfying natural axioms automatically has Steinberg-type
relations, which is a manifestation of the geometry of modulus pairs lying
behind.
Keywords
reciprocity sheaf, Suslin homology with modulus,
nonhomotopy invariant motive
