# zbMATH — the first resource for mathematics

##### Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

##### Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
##### Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
Quaternion orders, quadratic forms, and Shimura curves. (English) Zbl 1073.11040
CRM Monograph Series 22. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3359-6/hbk). xvi, 196 p. \$ 59.00 (2004).

“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 $ℚ$.

The first three chapters of the book present the necessary background from the theory of Shimura curves and about (indefinite) quaternion algebras over $ℚ$ 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
##### Keywords:
quaternion algebras; quadratic forms; Shimura curves
Maple