This book presents state-of-the-art research and survey articles that highlight work done within the Priority Program SPP 1489 "Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory", which was established and generously supported by the German Research Foundation (DFG) from 2010 to 2016. The goal of the program was to substantially advance algorithmic and experimental methods in the aforementioned disciplines, to combine the different methods where necessary, and to apply them to central questions in theory and practice. Of particular concern was the further development of freely available open source computer algebra systems and their interaction in order to create powerful new computational tools that transcend the boundaries of the individual disciplines involved. The book covers a broad range of topics addressing the design and theoretical foundations, implementation and the successful application of algebraic algorithms in order to solve mathematical research problems. It offers a valuable resource for all researchers, from graduate students through established experts, who are interested in the computational aspects of algebra, geometry, and/or number theory.

The notes in this volume correspond to advanced courses held at the Centre de Recerca Matematica as part of the research program in Arithmetic Geometry in the 2009-2010 academic year.

The notes by Laurent Berger provide an introduction to "p"-adic Galois representations and Fontaine rings, which are especially useful for describing many local deformation rings at "p" that arise naturally in Galois deformation theory.

The notes by Gebhard Bockle offer a comprehensive course on Galois deformation theory, starting from the foundational results of Mazur and discussing in detail the theory of pseudo-representations and their deformations, local deformations at places l p and local deformations at "p" which are flat. In the last section, the results of Bockle and Kisin on presentations of global deformation rings over local ones are discussed.

The notes by Mladen Dimitrov present the basics of the arithmetic theory of Hilbert modular forms and varieties, with an emphasis on the study of the images of the attached Galois representations, on modularity lifting theorems over totally real number fields, and on the cohomology of Hilbert modular varieties with integral coefficients.

The notes by Lassina Dembele and John Voight describe methods for performing explicit computations in spaces of Hilbert modular forms. These methods depend on the Jacquet-Langlands correspondence and on computations in spaces of quaternionic modular forms, both for the case of definite and indefinite quaternion algebras. Several examples are given, and applications to modularity of Galois representations are discussed.

The notes by Tim Dokchitser describe the proof, obtained by the author in a joint project with Vladimir Dokchitser, of the parity conjecture for elliptic curves over number fields under the assumption of finiteness of the Tate-Shafarevich group. The statement of the Birch and Swinnerton-Dyer conjecture is included, as well as a detailed study of local and global root numbers of elliptic curves and their classification."

This volume collects the texts of five courses given in the Arithmetic Geometry Research Programme 2009-2010 at the CRM Barcelona. All of them deal with characteristic p global fields; the common theme around which they are centered is the arithmetic of L-functions (and other special functions), investigated in various aspects. Three courses examine some of the most important recent ideas in the positive characteristic theory discovered by Goss (a field in tumultuous development, which is seeing a number of spectacular advances): they cover respectively crystals over function fields (with a number of applications to L-functions of t-motives), gamma and zeta functions in characteristic p, and the binomial theorem. The other two are focused on topics closer to the classical theory of abelian varieties over number fields: they give respectively a thorough introduction to the arithmetic of Jacobians over function fields (including the current status of the BSD conjecture and its geometric analogues, and the construction of Mordell-Weil groups of high rank) and a state of the art survey of Geometric Iwasawa Theory explaining the recent proofs of various versions of the Main Conjecture, in the commutative and non-commutative settings.