We provide two proofs that the conjecture of Artin-Tate for a fibered surface is equivalent to Birch-Swinnerton-Dyer Jacobian generic fibre. As byproduct, we obtain new proof theorem Geisser relating orders Brauer group and Tate-Shafarevich group.

1 Synchrony versus signatures As Lange & Dyer point out, there are a number of important structural similarities in shruti and robin. The two models, however, diier signiicantly in the way they solve the dynamic binding problem. In shruti, dynamic bindings are represented by the synchronous ring of nodes. Thus the binding (John=giver) is represented by the synchronous ring of node clusters repr...

In the previous two papers with the same title ([LLY05] by W.C. Li, L. Long, Z. Yang and [ALL05] by A.O.L. Atkin, W.C. Li, L. Long), the authors have studied special families of cuspforms for noncongruence arithmetic subgroups. It was found that the Fourier coefficients of these modular forms at infinity satisfy three-term Atkin and Swinnerton-Dyer congruence relations which are the p-adic anal...

Book review: Inhuman Power: Artificial Intelligence and the Future of Capitalism by Nick Dyer-Witheford, Atle Mikkola Kjosen James Steinhoff, London, Pluto Press, 2019, 210 pp., £16.99, ISBN: 9780745338606