The theory of automorphic forms is playing increasingly important roles in several branches of mathematics, even in physics, and is almost ubiquitous in number theory. This book introduces the reader to the subject and in particular to elliptic modular forms with emphasis on their number-theoretical aspects.

After two chapters geared toward elementary levels, there follows a detailed treatment of the theory of Hecke operators, which associate zeta functions to modular forms. At a more advanced level, complex multiplication of elliptic curves and abelian varieties is discussed....

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing that any arithmetical theorem proved in analytic number theory is a theorem in...

Intended as an introductory guide, this work takes for its subject complex, analytic, automorphic forms and functions on (a domain equivalent to) a bounded domain in a finite-dimensional, complex, vector space, usually denoted Cⁿ).

Part I, essentially elementary, deals with complex analytic automorphic forms on a bounded domain; it presents H. Cartan's proof of the existence of the projective imbedding of the compact quotient of such a domain by a discrete group. Part II treats the construction and properties of automorphic forms with respect to an arithmetic group acting...

Intended as an introductory guide, this work takes for its subject complex, analytic, automorphic forms and functions on (a domain equivalent to) a bounded domain in a finite-dimensional, complex, vector space, usually denoted Cⁿ).

Part I, essentially elementary, deals with complex analytic automorphic forms on a bounded domain; it presents H. Cartan's proof of the existence of the projective imbedding of the compact quotient of such a domain by a discrete group. Part II treats the construction and properties of automorphic forms with respect to an arithmetic group acting...

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing that any arithmetical theorem proved in analytic number theory is a theorem in...