Linking numbers and special differential characters in arithmetic hyperbolic manifolds

We construct non-holomorphic Siegel modular forms whose coefficients encode linking numbers in arithmetic hyperbolic manifolds of simplest type. Our proofs rely on an improved understanding of the transgression forms appearing in Kudla–Millson theory, and along the way we establish some structural properties including in particular their expected current equations.