Bücher der Reihe Cambridge Studies in Advanced Mathematics

This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht-Fraisse game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Vaananen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized quantifiers. Along the way, the author also proves completeness theorems for many logics, including the cofinality quantifier logic of Shelah, a fully compact extension of first order logic. With over 500 exercises this book is ideal for graduate courses, covering the basic material as well as more advanced applications.

This concise treatment covers many topics that are central to the subject, but missing from existing textbooks. It contains numerous instructive exercises and examples for those who are learning the subject as well as more advanced topics for research students working in related areas.

The Korteweg-de Vries (KdV), the AKNS, the nonlinear Schroedinger, the sine-Gordon and the Camassa-Holm equations, and the Thirring system, are all completely integrable nonlinear PDEs permitting special classes of solutions. This is a detailed treatment of the class of algebro-geometric solutions and their representations in terms of Riemann theta functions.

This is the first book to deal with the new and expanding field of fusion systems, of increasing importance both to algebraists and topologists. Designed for use as a text and reference work, it is suitable for graduate students and experts alike.

Richard Stanley's two-volume basic introduction to enumerative combinatorics has become the standard guide to the topic for students and experts alike. This thoroughly revised second edition of Volume 1 includes ten new sections and more than 300 new exercises, most with solutions, reflecting numerous new developments since the publication of the first edition in 1986. The author brings the coverage up to date and includes a wide variety of additional applications and examples, as well as updated and expanded chapter bibliographies. Many of the less difficult new exercises have no solutions so that they can more easily be assigned to students. The material on P-partitions has been rearranged and generalized; the treatment of permutation statistics has been greatly enlarged; and there are also new sections on q-analogues of permutations, hyperplane arrangements, the cd-index, promotion and evacuation and differential posets.

This graduate-level text demonstrates the basic techniques and how to apply them to various areas of research in geometric analysis. The author focuses mainly on the interaction of partial differential equations with differential geometry and only a rudimentary knowledge of Riemannian geometry and partial differential equations is required.

This engaging graduate-level introduction to geometric measure theory bridges analysis and geometry, taking readers from basic theory to some of the most celebrated results in modern analysis. Explanatory pictures, detailed proofs, exercises and helpful remarks make it suitable for self-study and also a useful reference for researchers.

On its original publication, this algebraic introduction to Grothendieck's local cohomology theory was the first book devoted solely to the topic and it has since become the standard reference for graduate students. This second edition has been thoroughly revised and updated to incorporate recent developments in the field.

This book, first published in 2000, is a concise introduction to ring theory, module theory and number theory, ideal for a first year graduate student, as well as an excellent reference for working mathematicians in other areas. About 200 exercises complement the text and introduce further topics.

Bernard Helffer's graduate-level introduction to the basic tools in spectral analysis is illustrated by numerous examples from the Schrodinger operator theory and various branches of physics: statistical mechanics, superconductivity, fluid mechanics and kinetic theory. The later chapters also introduce non self-adjoint operator theory with an emphasis on the role of the pseudospectra. The author's focus on applications, along with exercises and examples, enables readers to connect theory with practice so that they develop a good understanding of how the abstract spectral theory can be applied. The final chapter provides various problems that have been the subject of active research in recent years and will challenge the reader's understanding of the material covered.

The theory of Lyapunov exponents originated in the study of the stability of solutions of differential equations. This book is an account of the classical theory, from a modern view, and an introduction to the significant developments relating the subject to dynamical systems, ergodic theory, mathematical physics and probability.

During the past two decades there has been active interplay between geometric measure theory and Fourier analysis. This book for graduate students and researchers describes part of that development, concentrating on the relationship between the Fourier transform and Hausdorff dimension. It covers classical results as well as cutting-edge research.

Rich with examples, applications and over 400 exercises, this textbook provides a coherent and self-contained introduction to ergodic theory, suitable for a variety of one- or two-semester courses. It requires few prerequisites, beginning with elementary material suitable for undergraduate students and gradually building up to more sophisticated topics.

The study of model spaces is a broad field with connections to complex analysis, operator theory, engineering and mathematical physics. This self-contained text is the ideal introduction for newcomers, quickly taking them through the history of the subject and then pointing towards areas of future research.

The Erdos-Ko-Rado Theorem is a fundamental result in combinatorics. Aimed at graduate students and researchers, this comprehensive text shows how tools from algebraic graph theory can be applied to prove the EKR Theorem and its generalizations. Readers can test their understanding at every step with the end-of-chapter exercises.

Diophantine number theory is an active area that has seen tremendous growth over the past century, and in this theory unit equations play a central role. This comprehensive treatment is the first volume devoted to these equations. The authors gather together all the most important results and look at many different aspects, including effective results on unit equations over number fields, estimates on the number of solutions, analogues for function fields and effective results for unit equations over finitely generated domains. They also present a variety of applications. Introductory chapters provide the necessary background in algebraic number theory and function field theory, as well as an account of the required tools from Diophantine approximation and transcendence theory. This makes the book suitable for young researchers as well as experts who are looking for an up-to-date overview of the field.

Blending theory and applications, this book is a vital resource for graduates and researchers. It offers a broad theoretic base, synthesising symplectic geometry and optimal control theory, essential for mechanical, geometric or space engineering problems. The theory is tested through challenging problems and is rich with fresh insights and ideas.

Martingales arise in many areas of probability theory. This book focuses on their applications to the geometry of Banach spaces and discusses the interplay of Banach space valued martingales with various other areas of analysis. It is accessible to graduates with a basic knowledge of real and complex analysis.

Fully illustrated and rigorous in its approach, this is a comprehensive account of geometric techniques for studying the topology of smooth manifolds. Little prior knowledge is assumed, giving advanced students and researchers an accessible route into the wide-ranging field of differential topology.

Representation theory of big groups is an important and quickly developing part of modern mathematics, giving rise to a variety of important applications in probability and mathematical physics. This book provides the first concise and self-contained introduction to the theory on the simplest yet very nontrivial example of the infinite symmetric group, focusing on its deep connections to probability, mathematical physics, and algebraic combinatorics. Following a discussion of the classical Thoma's theorem which describes the characters of the infinite symmetric group, the authors describe explicit constructions of an important class of representations, including both the irreducible and generalized ones. Complete with detailed proofs, as well as numerous examples and exercises which help to summarize recent developments in the field, this book will enable graduates to enhance their understanding of the topic, while also aiding lecturers and researchers in related areas.

Category theory structures the mathematical world and is seen everywhere in modern mathematics. This book, suitable for graduate students or researchers with a background in algebraic topology and algebra, provides a self-contained introduction to the theory and explains its important applications to homotopy theory.

Aimed at advanced students and active researchers in mathematics or theoretical physics, this book provides a detailed exposition of automorphic forms and representations, from the basics up to cutting-edge research topics at the interface between number theory and string theory.

A new era in the representation theory of finite groups began with the McKay conjecture. This book presents the conjecture in a clear and accessible way, with only minimal pre-requisites. Many fascinating aspects of character theory are explored along the way, with some new and elegant proofs.

This comprehensive introduction to sub-Riemannian geometry proceeds from classical topics to cutting-edge theory and applications. The only prerequisites are calculus, linear algebra and differential equations. It can be used for graduate courses in Riemannian or sub-Riemannian geometry, or as a reference for researchers in several disciplines.

The character theory of reductive groups over finite fields is a rich, complex and vast field, incorporating tools and methods from many mathematical areas. This book provides a contemporary treatment of the theory and is a useful reference for graduate students and researchers with a basic understanding of algebraic geometry.

Part two of the authors' comprehensive and innovative work on multidimensional real analysis. This book is based on extensive teaching experience at Utrecht University and gives a thorough account of integral analysis in multidimensional Euclidean space. It is an ideal preparation for students who wish to go on to more advanced study. The notation is carefully organized and all proofs are clean, complete and rigorous. The authors have taken care to pay proper attention to all aspects of the theory. In many respects this book presents an original treatment of the subject and it contains many results and exercises that cannot be found elsewhere. The numerous exercises illustrate a variety of applications in mathematics and physics. This combined with the exhaustive and transparent treatment of subject matter make the book ideal as either the text for a course, a source of problems for a seminar or for self study.

Probabilistic number theory studies the many surprising interactions between whole numbers and the theory of random processes. This incisive textbook for beginning graduate students is the first to present and explain some of the most modern developments in the field, focusing on key examples and probabilistic ideas in the arguments.

In addition to being an interesting and profound subject in its own right, commutative ring theory is important as a foundation for algebraic geometry and complex analytical geometry. Matsumura covers the basic material, including dimension theory, depth, Cohen-Macaulay rings, Gorenstein rings, Krull rings and valuation rings. More advanced topics such as Ratliff's theorems on chains of prime ideals are also explored. The work is essentially self-contained, the only prerequisite being a sound knowledge of modern algebra, yet the reader is taken to the frontiers of the subject. Exercises are provided at the end of each section and solutions or hints to some of them are given at the end of the book.

The language of -categories provides an insightful new way of expressing many results in higher-dimensional mathematics but can be challenging for the uninitiated. This book develops a new, more accessible model-independent approach to the foundations of -category theory by studying the universe, or -cosmos, in which -categories live.

This book introduces the homological methods used in modern representation theory and discusses several landmark results that illustrate their power and beauty. With detailed exposition of many topics unavailable in one volume until now, it is an invaluable resource for advanced graduate students and researchers in representation theory.