We conjecture the existence of a long exact sequence relating Deninger’s conjectural cohomology to Weil–Arakelov cohomology, the latter being unconditionally defined. We prove this conjecture for smooth projective varieties over finite fields whose Weil-étale motivic cohomology groups are finitely generated. Then we explain the consequences that such an exact sequence would have.