*(English)*Zbl 1073.11040

“The purpose of this monograph is to provide an introduction to Shimura curves from a theoretical and algorithmic perspective” states the introduction of this book.

The emphasis on the theoretical side lies here clearly on explicit and constructive methods for Shimura curves defined by the unit group of an indefinite quaternion algebra over $\mathbb{Q}$.

The first three chapters of the book present the necessary background from the theory of Shimura curves and about (indefinite) quaternion algebras over $\mathbb{Q}$ and quadratic forms; these chapters are mainly concerned with collecting known results and the notations to be used in the sequel; only few proofs are given here.

Chapter 4 gives a variety of technical results concerning embeddings of quadratic fields or orders into quaternion algebras and representations by ternary and quaternary quadratic forms associated to orders in indefinite quaternion algebras.

Chapters 5 and 6 contain then the main results: Procedures for the construction of fundamental domains in the upper half plane under the action of the quaternion unit group defining a Shimura curve and classification and explicit computation of the complex multiplication points on Shimura curves.

Chapter 7 describes the MAPLE package “Poincaré” that actually performs the computations described before. Appendices give tables and further material on Shimura curves.

##### MSC:

11G18 | Arithmetic aspects of modular and Shimura varieties |

11-02 | Research monographs (number theory) |

11R52 | Quaternion and other division algebras: arithmetic, zeta functions |

11F06 | Structure of modular groups and generalizations |

11E20 | General ternary and quaternary quadratic forms |

14G35 | Modular and Shimura varieties |

30F35 | Fuchsian groups and automorphic functions |