Since its introduction by Friedhelm Waldhausen in the 1970s, the algebraic K-theory of spaces has been recognized as the main tool for studying parametrized phenomena in the theory of manifolds. However, a full proof of the equivalence relating the two areas has not appeared until now. This book presents such a proof, essentially completing Waldhausen's program from more than thirty years ago.

The main result is a stable parametrized h-cobordism theorem, derived from a homotopy equivalence between a space of PL h-cobordisms on a space X and the classifying space of a category of simple maps of spaces having X as deformation retract. The smooth and topological results then follow by smoothing and triangulation theory.

The proof has two main parts. The essence of the first part is a "desingularization," improving arbitrary finite simplicial sets to polyhedra. The second part compares polyhedra with PL manifolds by a thickening procedure. Many of the techniques and results developed should be useful in other connections.

Surfaces in 4-Space, written by leading specialists in the field, discusses knotted surfaces in 4-dimensional space and surveys many of the known results in the area. Results on knotted surface diagrams, constructions of knotted surfaces, classically defined invariants, and new invariants defined via quandle homology theory are presented. The last chapter comprises many recent results, and techniques for computation are presented. New tables of quandles with a few elements and the homology groups thereof are included.

This book contains many new illustrations of knotted surface diagrams. The reader of the book will become intimately aware of the subtleties in going from the classical case of knotted circles in 3-space to this higher dimensional case.

As a survey, the book is a guide book to the extensive literature on knotted surfaces and will become a useful reference for graduate students and researchers in mathematics and physics.

Graphs drawn on two-dimensional surfaces have always attracted researchers by their beauty and by the variety of difficult questions to which they give rise. The theory of such embedded graphs, which long seemed rather isolated, has witnessed the appearance of entirely unexpected new applications in recent decades, ranging from Galois theory to quantum gravity models, and has become a kind of a focus of a vast field of research. The book provides an accessible introduction to this new domain, including such topics as coverings of Riemann surfaces, the Galois group action on embedded graphs (Grothendieck's theory of "dessins d'enfants"), the matrix integral method, moduli spaces of curves, the topology of meromorphic functions, and combinatorial aspects of Vassiliev's knot invariants and, in an appendix by Don Zagier, the use of finite group representation theory. The presentation is concrete throughout, with numerous figures, examples (including computer calculations) and exercises, and should appeal to both graduate students and researchers.

Two top experts in topology, O.Ya. Viro and D.B. Fuchs, give an up-to-date account of research in central areas of topology and the theory of Lie groups. They cover homotopy, homology and cohomology as well as the theory of manifolds, Lie groups, Grassmanians and low-dimensional manifolds. Their book will be used by graduate students and researchers in mathematics and mathematical physics.

This reference work deals with important topics in general topology and their role in functional analysis and axiomatic set theory, for graduate students and researchers working in topology, functional analysis, set theory and probability theory. It provides a guide to recent research findings, with three contributions by Arhangel'skii and Choban.

This text presents topos theory as it has developed from the study of sheaves. Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds (algebraic, analytic, etc.). Sheaves also appear in logic as carriers for models of set theory as well as for the semantics of other types of logic. Grothendieck introduced a topos as a category of sheaves for algebraic geometry. Subsequently, Lawvere and Tierney obtained elementary axioms for such (more general) categories. This introduction to topos theory begins with a number of illustrative examples that explain the origin of these ideas and then describes the sheafification process and the properties of an elementary topos. The applications to axiomatic set theory and the use in forcing (the Independence of the Continuum Hypothesis and of the Axiom of Choice) are then described. Geometric morphisms- like continuous maps of spaces and the construction of classifying topoi, for example those related to local rings and simplicial sets, next appear, followed by the use of locales (pointless spaces) and the construction of topoi related to geometric languages and logic. This is the first text to address all of these varied aspects of topos theory at the graduate student level.

Hyperbolic Manifolds and Discrete Groups is at the crossroads of several branches of mathematics: hyperbolic geometry, discrete groups, 3-dimensional topology, geometric group theory, and complex analysis. The main focus throughout the text is on the "Big Monster," i.e., on Thurston 's hyperbolization theorem, which has not only completely changes the landscape of 3-dimensinal topology and Kleinian group theory but is one of the central results of 3-dimensional topology.

The book is fairly self-contained, replete with beautiful illustrations, a rich set of examples of key concepts, numerous exercises, and an extensive bibliography and index. It should serve as an ideal graduate course/seminar text or as a comprehensive reference.

Intended for use in college courses for prospective or in-service secondary school teachers of geometry. Designed to give teachers broad preparation in the content of elementary geometry as well as closely related topics of a slightly more advanced nature. The presentation and the modular format are designed to incorporate a flexible methodology for the teaching of geometry, one that can be adapted to different classroom settings. The basic strategy is to develop the few fundamental concepts of elementary geometry, first in intuitive form, and then more rigorously. The rest of the material is then built up out of these concepts through a combination of exposition and "guided discovery" in the problem sections. A separate volume including the solutions to the exercises is also available.

Over the years, this book has become a standard reference and guide in the set theory community. It provides a comprehensive account of the theory of large cardinals from its beginnings and some of the direct outgrowths leading to the frontiers of contemporary research, with open questions and speculations throughout.

This book presents the complete proof of the Bloch-Kato conjecture and several related conjectures of Beilinson and Lichtenbaum in algebraic geometry. Brought together here for the first time, these conjectures describe the structure of etale cohomology and its relation to motivic cohomology and Chow groups. Although the proof relies on the work of several people, it is credited primarily to Vladimir Voevodsky. The authors draw on a multitude of published and unpublished sources to explain the large-scale structure of Voevodsky's proof and introduce the key figures behind its development. They proceed to describe the highly innovative geometric constructions of Markus Rost, including the construction of norm varieties, which play a crucial role in the proof. The book then addresses symmetric powers of motives and motivic cohomology operations. Comprehensive and self-contained, The Norm Residue Theorem in Motivic Cohomology unites various components of the proof that until now were scattered across many sources of varying accessibility, often with differing hypotheses, definitions, and language.

Thomas Cecil is a math professor with an unrivalled grasp of Lie Sphere Geometry. Here, he provides a clear and comprehensive modern treatment of the subject, as well as its applications to the study of Euclidean submanifolds. It begins with the construction of the space of spheres, including the fundamental notions of oriented contact, parabolic pencils of spheres, and Lie sphere transformations. This new edition contains revised sections on taut submanifolds, compact proper Dupin submanifolds, reducible Dupin submanifolds, and the cyclides of Dupin. Completely new material on isoparametric hypersurfaces in spheres and Dupin hypersurfaces with three and four principal curvatures is also included. The author surveys the known results in these fields and indicates directions for further research and wider application of the methods of Lie sphere geometry.

This text, the first of two volumes, provides a comprehensive and self-contained introduction to a wide range of fundamental results from ergodic theory and geometric measure theory. Topics covered include: finite and infinite abstract ergodic theory, Young's towers, measure-theoretic Kolmogorov-Sinai entropy, thermodynamics formalism, geometric function theory, various kinds of conformal measures, conformal graph directed Markov systems and iterated functions systems, semi-local dynamics of analytic functions, and nice sets. Many examples are included, along with detailed explanations of essential concepts and full proofs, in what is sure to be an indispensable reference for both researchers and graduate students.

This text, the second of two volumes, builds on the foundational material on ergodic theory and geometric measure theory provided in Volume I, and applies all the techniques discussed to describe the beautiful and rich dynamics of elliptic functions. The text begins with an introduction to topological dynamics of transcendental meromorphic functions, before progressing to elliptic functions, discussing at length their classical properties, measurable dynamics and fractal geometry. The authors then look in depth at compactly non-recurrent elliptic functions. Much of this material is appearing for the first time in book or paper form. Both senior and junior researchers working in ergodic theory and dynamical systems will appreciate what is sure to be an indispensable reference.

From the reviews of the first edition:

"This lovely book is intended as a primer in harmonic analysis at the undergraduate level. All the central concepts of harmonic analysis are introduced using Riemann integral and metric spaces only. The exercises at the end of each chapter are interesting and challenging..."

Sanjiv Kumar Gupta for MathSciNet

.,." In this well-written textbook the central concepts of Harmonic Analysis are explained in an enjoyable way, while using very little technical background. Quite surprisingly this approach works. It is not an exaggeration that each undergraduate student interested in and each professor teaching Harmonic Analysis will benefit from the streamlined and direct approach of this book."

Ferenc MA3ricz for Acta Scientiarum Mathematicarum

This book is a primer in harmonic analysis using an elementary approach. Its first aim is to provide an introduction to Fourier analysis, leading up to the Poisson Summation Formula. Secondly, it makes the reader aware of the fact that both, the Fourier series and the Fourier transform, are special cases of a more general theory arising in the context of locally compact abelian groups. The third goal of this book is to introduce the reader to the techniques used in harmonic analysis of noncommutative groups. There are two new chapters in this new edition. One on distributions will complete the set of real variable methods introduced in the first part. The other on the Heisenberg Group provides an example of a group that is neither compact nor abelian, yet is simple enough to easily deduce the Plancherel Theorem.

Professor Deitmar is Professor of Mathematics at the University ofT"ubingen, Germany. He is a former Heisenberg fellow and has taught in the U.K. for some years. In his leisure time he enjoys hiking in the mountains and practicing Aikido.

The heat kernel has long been an essential tool in both classical and modern mathematics but has become especially important in geometric analysis as a result of major innovations beginning in the 1970s. The methods based on heat kernels have been used in areas as diverse as analysis, geometry, and probability, as well as in physics. This book is a comprehensive introduction to heat kernel techniques in the setting of Riemannian manifolds, which inevitably involves analysis of the Laplace-Beltrami operator and the associated heat equation. The first ten chapters cover the foundations of the subject, while later chapters deal with more advanced results involving the heat kernel in a variety of settings. The exposition starts with an elementary introduction to Riemannian geometry, proceeds with a thorough study of the spectral-theoretic, Markovian, and smoothness properties of the Laplace and heat equations on Riemannian manifolds, and concludes with Gaussian estimates of heat kernels. Grigor'yan has written this book with the student in mind, in particular by including over 400 exercises. The text will serve as a bridge between basic results and current research. Titles in this series are co-published with International Press, Cambridge, MA, USA.

This book gives a clear introductory account of equivariant cohomology, a central topic in algebraic topology. Equivariant cohomology is concerned with the algebraic topology of spaces with a group action, or in other words, with symmetries of spaces. First defined in the 1950s, it has been introduced into K-theory and algebraic geometry, but it is in algebraic topology that the concepts are the most transparent and the proofs are the simplest. One of the most useful applications of equivariant cohomology is the equivariant localization theorem of Atiyah-Bott and Berline-Vergne, which converts the integral of an equivariant differential form into a finite sum over the fixed point set of the group action, providing a powerful tool for computing integrals over a manifold. Because integrals and symmetries are ubiquitous, equivariant cohomology has found applications in diverse areas of mathematics and physics. Assuming readers have taken one semester of manifold theory and a year of algebraic topology, Loring Tu begins with the topological construction of equivariant cohomology, then develops the theory for smooth manifolds with the aid of differential forms. To keep the exposition simple, the equivariant localization theorem is proven only for a circle action. An appendix gives a proof of the equivariant de Rham theorem, demonstrating that equivariant cohomology can be computed using equivariant differential forms. Examples and calculations illustrate new concepts. Exercises include hints or solutions, making this book suitable for self-study.

Soil Physical Chemistry, Second Edition takes up where the last edition left off. With comprehensive and contemporary discussions on equilibrium and kinetic aspects of major soil chemical process and reactions this excellent text/reference presents new chapters on precipitation/dissolution, modeling of adsorption reactions at the mineral/water interface, and the chemistry of humic substances. An emphasis is placed on understanding soil chemical reactions from a microscopic point of view and rigorous theoretical developments such as the use of modern in situ surface chemical probes such as x-ray adsorption fine structure (XAFS), Fournier transform infrared (FTIR) spectroscopies, and scanning probe microscopies (SPM) are discussed.

The second, revised edition of this book covers all aspects of non-uniform rational B-splines necessary to design geometry in a computer-aided environment. Basic B-spline features, curve and surface algorithms, and state-of-the-art geometry tools are all discussed. Detailed code for design algorithms and computational tricks are covered, too, in a lucid, easy-to-understand style, with a minimum of mathematics and using numerous worked examples. The book is a must for students, researchers, and implementors whose work involves the use of splines.

Diagram geometry provides a range of techniques that enable an interaction between group theory and geometry. These techniques allow the mathematician to get information on a multi-dimensional geometric object from some knowledge of its bi-dimensional properties. This book introduces these techniques and provides a survey of the development of the subject of diagram geometry. The first three chapters are descriptive; a number of examples are presented, basic concepts are explained, and the reader is introduced to the language of diagram geometries. The theory is developed in the next three chapters and in chapter 7 a number of characterizations are proved. This is continued in later chapters following a survey of more advanced concepts and techniques.

"Groups and Geometry" contains the Oxford Mathematical Institute notes for undergraduates and first-year postgraduates. The content, although guided by the Oxford syllabus, covers other material, some introductory and some that, because of limited time, had to be excluded from or curtailed in the syllabus. This book is about the measurement of symmetry, which is what groups are for. Symmetry is visable in all parts of mathematics and in many other areas, and geometrical symmetry is the most visable of all. For this reason, groups and geometry are close neighbours. The first half of the book (chapters 1-9) covers groups and the second half (chapters 10-18) covers geometry, with the symbiotic relationship between the two more than justifying the union. Both parts contain a number of exercises that should be helpful to the reader wishing to gain a fuller understanding of this area of mathematics.

Many parallels between complex dynamics and hyperbolic geometry have emerged in the past decade. Building on work of Sullivan and Thurston, this book gives a unified treatment of the construction of fixed-points for renormalization and the construction of hyperbolic 3- manifolds fibering over the circle.

Both subjects are studied via geometric limits and rigidity. This approach shows open hyperbolic manifolds are inflexible, and yields quantitative counterparts to Mostow rigidity. In complex dynamics, it motivates the construction of towers of quadratic-like maps, and leads to a quantitative proof of convergence of renormalization.

"O'Shea tells the fascinating story of this mathematical mystery and its solution by the eccentric Mr. Perelman."--"Wall Street Journal

"In 1904, Henri Poincare, a giant among mathematicians who transformed the fledging area of topology into a powerful field essential to all mathematics and physics, posed the Poincare conjecture, a tantalizing puzzle that speaks to the possible shape of the universe. For more than a century, the conjecture resisted attempts to prove or disprove it. As Donal O'Shea reveals in his elegant narrative, Poincare's conjecture opens a door to the history of geometry, from the Pythagoreans of ancient Greece to the celebrated geniuses of the nineteenth-century German academy and, ultimately, to a fascinating array of personalities--Poincare and Bernhard Riemann, William Thurston and Richard Hamilton, and the eccentric genius who appears to have solved it, Grigory Perelman. The solution seems certain to open up new corners of the mathematical universe.

Olive Whicher's groundbreaking book presents an accessible - non-mathematician's - approach to projective geometry. Profusely illustrated, and written with fire and intuitive genius, this work will be of interest to anyone wishing to cultivate the power of inner visualization in a realm of structural beauty. Whicher explores the concepts of polarity and movement in modern projective geometry as a discipline of thought that transcends the limited and rigid space and forms of Euclid, and the corresponding material forces conceived in classical mechanics. Rudolf Steiner underlined the importance of projective geometry as, 'a method of training the imaginative faculties of thinking, so that they become an instrument of cognition no less conscious and exact than mathematical reasoning'. This seminal approach allows for precise scientific understanding of the concept of creative fields of formative (or etheric) forces at work in nature - in plants, animals and in the human being.

Originally published as Volume 27 of the Princeton Mathematical series. Originally published in 1965. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.