Dieses Lehrbuch der Analysis einer Veränderlichen legt einen besonderen Fokus auf die wichtigsten Konzepte und Zusammenhänge. Nach einer Einführung der benötigten logischen und topologischen Grundlagen behandelt es die Begriffe und Sätze der Analysis. Der Autor stellt in prägnanter Weise, aber mit vielen Motivationen, Erklärungen und Hinweisen die kanonischen Inhalte einer Analysis-1-Vorlesung dar. Zentrale Beweise werden ausführlich kommentiert. Das Lehrbuch eignet sich gleichermaßen als Grundlage und zur Begleitung einer Vorlesung wie zum Selbststudium.

Limit theorems and asymptotic results form a central topic in probability theory and mathematical statistics. New and non-classical limit theorems have been discovered for processes in random environments, especially in connection with random matrix theory and free probability. These questions and the techniques for answering them combine asymptotic enumerative combinatorics, particle systems and approximation theory, and are important for new approaches in geometric and metric number theory as well. Thus, the contributions in this book include a wide range of applications with surprising connections ranging from longest common subsequences for words, permutation groups, random matrices and free probability to entropy problems and metric number theory. The book is the product of a conference that took place in August 2011 in Bielefeld, Germany to celebrate the 60th birthday of Friedrich Goetze, a noted expert in this field.

Limit theorems and asymptotic results form a central topic in probability theory and mathematical statistics. New and non-classical limit theorems have been discovered for processes in random environments, especially in connection with random matrix theory and free probability. These questions and the techniques for answering them combine asymptotic enumerative combinatorics, particle systems and approximation theory, and are important for new approaches in geometric and metric number theory as well. Thus, the contributions in this book include a wide range of applications with surprising connections ranging from longest common subsequences for words, permutation groups, random matrices and free probability to entropy problems and metric number theory.

The book is the product of a conference that took place in August 2011 in Bielefeld, Germany to celebrate the 60th birthday of Friedrich Gotze, a noted expert in this field."

Modular forms are tremendously important in various areas of mathematics, from number theory and algebraic geometry to combinatorics and lattices. Their Fourier coefficients, with Ramanujan's tau-function as a typical example, have deep arithmetic significance. Prior to this book, the fastest known algorithms for computing these Fourier coefficients took exponential time, except in some special cases. The case of elliptic curves (Schoof's algorithm) was at the birth of elliptic curve cryptography around 1985. This book gives an algorithm for computing coefficients of modular forms of level one in polynomial time. For example, Ramanujan's tau of a prime number p can be computed in time bounded by a fixed power of the logarithm of p. Such fast computation of Fourier coefficients is itself based on the main result of the book: the computation, in polynomial time, of Galois representations over finite fields attached to modular forms by the Langlands program. Because these Galois representations typically have a nonsolvable image, this result is a major step forward from explicit class field theory, and it could be described as the start of the explicit Langlands program.

The computation of the Galois representations uses their realization, following Shimura and Deligne, in the torsion subgroup of Jacobian varieties of modular curves. The main challenge is then to perform the necessary computations in time polynomial in the dimension of these highly nonlinear algebraic varieties. Exact computations involving systems of polynomial equations in many variables take exponential time. This is avoided by numerical approximations with a precision that suffices to derive exact results from them. Bounds for the required precision--in other words, bounds for the height of the rational numbers that describe the Galois representation to be computed--are obtained from Arakelov theory. Two types of approximations are treated: one using complex uniformization and another one using geometry over finite fields.

The book begins with a concise and concrete introduction that makes its accessible to readers without an extensive background in arithmetic geometry. And the book includes a chapter that describes actual computations.