The need for an axiomatic treatment of homology and cohomology theory has long been felt by topologists. Professors Eilenberg and Steenrod present here for the first time an axiomatization of the complete transition from topology to algebra. Originally published in 1952. 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.

The volume is focused on the basic calculation skills of various knot invariants defined from topology and geometry. It presents the detailed Hecke algebra and braid representation to illustrate the original Jones polynomial (rather than the algebraic formal definition many other books and research articles use) and provides self-contained proofs of the Tait conjecture (one of the big achievements from the Jones invariant). It also presents explicit computations to the Casson-Lin invariant via braid representations.With the approach of an explicit computational point of view on knot invariants, this user-friendly volume will benefit readers to easily understand low-dimensional topology from examples and computations, rather than only knowing terminologies and theorems.

This book contains all research papers published by the distinguished Brazilian mathematician Elon Lima. It includes the papers from his PhD thesis on homotopy theory, which are hard to find elsewhere. Elon Lima wrote more than 40 books in the field of topology and dynamical systems. He was a profound mathematician with a genuine vocation to teach and write mathematics.

Mathematics is not, and never will be, an empirical science, but mathematicians are finding that the use of computers and specialized software allows the generation of mathematical insight in the form of conjectures and examples, which pave the way for theorems and their proofs. In this way, the experimental approach to pure mathematics is revolutionizing the way research mathematicians work. As the first of its kind, this book provides material for a one-semester course in experimental mathematics that will give students the tools and training needed to systematically investigate and develop mathematical theory using computer programs written in Maple. Accessible to readers without prior programming experience, and using examples of concrete mathematical problems to illustrate a wide range of techniques, the book gives a thorough introduction to the field of experimental mathematics, which will prepare students for the challenge posed by open mathematical problems.

The beginning graduate student in homotopy theory is confronted with a vast literature on spectra that is scattered across books, articles and decades. There is much folklore but very few easy entry points. This comprehensive introduction to stable homotopy theory changes that. It presents the foundations of the subject together in one place for the first time, from the motivating phenomena to the modern theory, at a level suitable for those with only a first course in algebraic topology. Starting from stable homotopy groups and (co)homology theories, the authors study the most important categories of spectra and the stable homotopy category, before moving on to computational aspects and more advanced topics such as monoidal structures, localisations and chromatic homotopy theory. The appendix containing essential facts on model categories, the numerous examples and the suggestions for further reading make this a friendly introduction to an often daunting subject.

Minuscule representations occur in a variety of contexts in mathematics and physics. They are typically much easier to understand than representations in general, which means they give rise to relatively easy constructions of algebraic objects such as Lie algebras and Weyl groups. This book describes a combinatorial approach to minuscule representations of Lie algebras using the theory of heaps, which for most practical purposes can be thought of as certain labelled partially ordered sets. This leads to uniform constructions of (most) simple Lie algebras over the complex numbers and their associated Weyl groups, and provides a common framework for various applications. The topics studied include Chevalley bases, permutation groups, weight polytopes and finite geometries. Ideal as a reference, this book is also suitable for students with a background in linear and abstract algebra and topology. Each chapter concludes with historical notes, references to the literature and suggestions for further reading.

This volume is an original collection of articles by 44 leading mathematicians on the theme of the future of the discipline. The contributions range from musings on the future of specific fields, to analyses of the history of the discipline, to discussions of open problems and conjectures, including first solutions of unresolved problems. Interestingly, the topics do not cover all of mathematics, but only those deemed most worthy to reflect on for future generations. These topics encompass the most active parts of pure and applied mathematics, including algebraic geometry, probability, logic, optimization, finance, topology, partial differential equations, category theory, number theory, differential geometry, dynamical systems, artificial intelligence, theory of groups, mathematical physics and statistics.

K-theory is often considered a complicated `specialist's' theory. This book is an introduction to the basics and provides detailed explanation of the various concepts required for a deeper understanding of the subject. Some familiarity with basic C*algebra theory is assumed and then follows a careful construction and analysis of the operator K-theory groups and proof of the results of K-theory, including Bott periodicity.

People have been interested in knots at least since the time of Alexander the Great and his encounter with the Gordian knot. There are famous knot illustrations in the Book of Kells and throughout traditional Islamic art. Lord Kelvin believed that atoms were knots in the ether and he encouraged Tait to compile a talbe of knots about 100 years ago. In recent years, the Jones polynomial has stimulated much interest in possible relationships between knot theory and physics. The book is concerned with the fundamental question of the classification of knots, and more generally the classification of arbitrary (compact) topological objects which can occur in our normal space of physical reality. Professor Hemion explains his classification algorithm - using the method of normal surfaces - in a simple and concise way. The reader is thus shown the relevance of such traditional mathematical objects as the Klein bottle or the hyperbolic plane to this basic classification theory. The Classification of Knots and 3-dimensional Spaces will be of interest to mathematicians, physicists, and other scientists who want to apply this basic classification algorithm to their research in knot theory.

"Nilpotence and Periodicity in Stable Homotopy Theory" describes some major advances made in algebraic topology in recent years, centering on the nilpotence and periodicity theorems, which were conjectured by the author in 1977 and proved by Devinatz, Hopkins, and Smith in 1985. During the last ten years a number of significant advances have been made in homotopy theory, and this book fills a real need for an up-to-date text on that topic.

Ravenel's first few chapters are written with a general mathematical audience in mind. They survey both the ideas that lead up to the theorems and their applications to homotopy theory. The book begins with some elementary concepts of homotopy theory that are needed to state the problem. This includes such notions as homotopy, homotopy equivalence, CW-complex, and suspension. Next the machinery of complex cobordism, Morava K-theory, and formal group laws in characteristic "p" are introduced. The latter portion of the book provides specialists with a coherent and rigorous account of the proofs. It includes hitherto unpublished material on the smash product and chromatic convergence theorems and on modular representations of the symmetric group.

This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective Kan fibrations are maps of simplicial sets equipped with a structured collection of chosen lifts that satisfy certain non-trivial properties. Here it is revealed that fundamental properties of ordinary Kan fibrations can be extended to explicit constructions on effective Kan fibrations. In particular, a constructive (explicit) proof is given that effective Kan fibrations are stable under push forward, or fibred exponentials. Further, it is shown that effective Kan fibrations are local, or completely determined by their fibres above representables, and the maps which can be equipped with the structure of an effective Kan fibration are precisely the ordinary Kan fibrations. Hence implicitly, both notions still describe the same homotopy theory. These new results solve an open problem in homotopy type theory and provide the first step toward giving a constructive account of Voevodsky's model of univalent type theory in simplicial sets.

This book outlines a vast array of techniques and methods regarding model categories, without focussing on the intricacies of the proofs. Quillen model categories are a fundamental tool for the understanding of homotopy theory. While many introductions to model categories fall back on the same handful of canonical examples, the present book highlights a large, self-contained collection of other examples which appear throughout the literature. In particular, it collects a highly scattered literature into a single volume. The book is aimed at anyone who uses, or is interested in using, model categories to study homotopy theory. It is written in such a way that it can be used as a reference guide for those who are already experts in the field. However, it can also be used as an introduction to the theory for novices.

This book is dedicated to the structure and combinatorics of classical Hopf algebras. Its main focus is on commutative and cocommutative Hopf algebras, such as algebras of representative functions on groups and enveloping algebras of Lie algebras, as explored in the works of Borel, Cartier, Hopf and others in the 1940s and 50s.The modern and systematic treatment uses the approach of natural operations, illuminating the structure of Hopf algebras by means of their endomorphisms and their combinatorics. Emphasizing notions such as pseudo-coproducts, characteristic endomorphisms, descent algebras and Lie idempotents, the text also covers the important case of enveloping algebras of pre-Lie algebras. A wide range of applications are surveyed, highlighting the main ideas and fundamental results. Suitable as a textbook for masters or doctoral level programs, this book will be of interest to algebraists and anyone working in one of the fields of application of Hopf algebras.

Poincare duality algebras originated in the work of topologists on the cohomology of closed manifolds, and Macaulay's dual systems in the study of irreducible ideals in polynomial algebras. These two ideas are tied together using basic commutative algebra involving Gorenstein algebras. Steenrod operations also originated in algebraic topology, but may best be viewed as a means of encoding the information often hidden behind the Frobenius map in characteristic p<>0. They provide a noncommutative tool to study commutative algebras over a Galois field. In this Tract the authors skilfully bring together these ideas and apply them to problems in invariant theory. A number of remarkable and unexpected interdisciplinary connections are revealed that will interest researchers in the areas of commutative algebra, invariant theory or algebraic topology.

This book offers an essential introduction to the theory of Hilbert space, a fundamental tool for non-relativistic quantum mechanics. Linear, topological, metric, and normed spaces are all addressed in detail, in a rigorous but reader-friendly fashion. The rationale for providing an introduction to the theory of Hilbert space, rather than a detailed study of Hilbert space theory itself, lies in the strenuous mathematics demands that even the simplest physical cases entail. Graduate courses in physics rarely offer enough time to cover the theory of Hilbert space and operators, as well as distribution theory, with sufficient mathematical rigor. Accordingly, compromises must be found between full rigor and the practical use of the instruments. Based on one of the authors's lectures on functional analysis for graduate students in physics, the book will equip readers to approach Hilbert space and, subsequently, rigged Hilbert space, with a more practical attitude. It also includes a brief introduction to topological groups, and to other mathematical structures akin to Hilbert space. Exercises and solved problems accompany the main text, offering readers opportunities to deepen their understanding. The topics and their presentation have been chosen with the goal of quickly, yet rigorously and effectively, preparing readers for the intricacies of Hilbert space. Consequently, some topics, e.g., the Lebesgue integral, are treated in a somewhat unorthodox manner. The book is ideally suited for use in upper undergraduate and lower graduate courses, both in Physics and in Mathematics.

This volume provides a unified and accessible account of recent developments regarding the real homotopy type of configuration spaces of manifolds. Configuration spaces consist of collections of pairwise distinct points in a given manifold, the study of which is a classical topic in algebraic topology. One of this theory's most important questions concerns homotopy invariance: if a manifold can be continuously deformed into another one, then can the configuration spaces of the first manifold be continuously deformed into the configuration spaces of the second? This conjecture remains open for simply connected closed manifolds. Here, it is proved in characteristic zero (i.e. restricted to algebrotopological invariants with real coefficients), using ideas from the theory of operads. A generalization to manifolds with boundary is then considered. Based on the work of Campos, Ducoulombier, Lambrechts, Willwacher, and the author, the book covers a vast array of topics, including rational homotopy theory, compactifications, PA forms, propagators, Kontsevich integrals, and graph complexes, and will be of interest to a wide audience.

The book is a collection of surveys and original research articles concentrating on new perspectives and research directions at the crossroads of algebraic geometry, topology, and singularity theory. The papers, written by leading researchers working on various topics of the above fields, are the outcome of the "Nemethi60: Geometry and Topology of Singularities" conference held at the Alfred Renyi Institute of Mathematics in Budapest, from May 27 to 31, 2019. Both the conference and this resulting volume are in honor of Professor Andras Nemethi, on the occasion of his 60th birthday, whose work plays a decisive and influential role in the interactions between the above fields. The book should serve as a valuable resource for graduate students and researchers to deepen the new perspectives, methods, and connections between geometry and topology regarding singularities.

In this book, Claire Voisin provides an introduction to algebraic cycles on complex algebraic varieties, to the major conjectures relating them to cohomology, and even more precisely to Hodge structures on cohomology. The volume is intended for both students and researchers, and not only presents a survey of the geometric methods developed in the last thirty years to understand the famous Bloch-Beilinson conjectures, but also examines recent work by Voisin. The book focuses on two central objects: the diagonal of a variety--and the partial Bloch-Srinivas type decompositions it may have depending on the size of Chow groups--as well as its small diagonal, which is the right object to consider in order to understand the ring structure on Chow groups and cohomology. An exploration of a sampling of recent works by Voisin looks at the relation, conjectured in general by Bloch and Beilinson, between the coniveau of general complete intersections and their Chow groups and a very particular property satisfied by the Chow ring of K3 surfaces and conjecturally by hyper-Kahler manifolds. In particular, the book delves into arguments originating in Nori's work that have been further developed by others."

This book, the third book in the four-volume series in algebra, deals with important topics in homological algebra, including abstract theory of derived functors, sheaf co-homology, and an introduction to etale and l-adic co-homology. It contains four chapters which discuss homology theory in an abelian category together with some important and fundamental applications in geometry, topology, algebraic geometry (including basics in abstract algebraic geometry), and group theory. The book will be of value to graduate and higher undergraduate students specializing in any branch of mathematics. The author has tried to make the book self-contained by introducing relevant concepts and results required. Prerequisite knowledge of the basics of algebra, linear algebra, topology, and calculus of several variables will be useful.

Beginning with a general discussion of bordism, Professors Madsen and Milgram present the homotopy theory of the surgery classifying spaces and the classifying spaces for the various required bundle theories. The next part covers more recent work on the maps between these spaces and the properties of the PL and Top characteristic classes, and includes integrality theorems for topological and PL manifolds. Later chapters treat the integral cohomology of BPL and Btop. The authors conclude with a discussion of the PL and topological cobordism rings and a construction of the torsion-free generators.

Sub-Riemannian geometry is the geometry of a world with nonholonomic constraints. In such a world, one can move, send and receive information only in certain admissible directions but eventually can reach every position from any other. In the last two decades sub-Riemannian geometry has emerged as an independent research domain impacting on several areas of pure and applied mathematics, with applications to many areas such as quantum control, Hamiltonian dynamics, robotics and Lie theory. This comprehensive introduction proceeds from classical topics to cutting-edge theory and applications, assuming only standard knowledge of calculus, linear algebra and differential equations. The book may serve as a basis for an introductory course in Riemannian geometry or an advanced course in sub-Riemannian geometry, covering elements of Hamiltonian dynamics, integrable systems and Lie theory. It will also be a valuable reference source for researchers in various disciplines.

Since the birth of rational homotopy theory, the possibility of extending the Quillen approach - in terms of Lie algebras - to a more general category of spaces, including the non-simply connected case, has been a challenge for the algebraic topologist community. Despite the clear Eckmann-Hilton duality between Quillen and Sullivan treatments, the simplicity in the realization of algebraic structures in the latter contrasts with the complexity required by the Lie algebra version. In this book, the authors develop new tools to address these problems. Working with complete Lie algebras, they construct, in a combinatorial way, a cosimplicial Lie model for the standard simplices. This is a key object, which allows the definition of a new model and realization functors that turn out to be homotopically equivalent to the classical Quillen functors in the simply connected case. With this, the authors open new avenues for solving old problems and posing new questions. This monograph is the winner of the 2020 Ferran Sunyer i Balaguer Prize, a prestigious award for books of expository nature presenting the latest developments in an active area of research in mathematics.

There is a sympathy of ideas among the fields of knot theory, infinite discrete group theory, and the topology of 3-manifolds. This book contains fifteen papers in which new results are proved in all three of these fields. These papers are dedicated to the memory of Ralph H. Fox, one of the world's leading topologists, by colleagues, former students, and friends. In knot theory, papers have been contributed by Goldsmith, Levine, Lomonaco, Perko, Trotter, and Whitten. Of these several are devoted to the study of branched covering spaces over knots and links, while others utilize the braid groups of Artin. Cossey and Smythe, Stallings, and Strasser address themselves to group theory. In his contribution Stallings describes the calculation of the groups In/In+1 where I is the augmentation ideal in a group ring RG. As a consequence, one has for each k an example of a k-generator l-relator group with no free homomorphs. In the third part, papers by Birman, Cappell, Milnor, Montesinos, Papakyriakopoulos, and Shalen comprise the treatment of 3-manifolds. Milnor gives, besides important new results, an exposition of certain aspects of our current knowledge regarding the 3- dimensional Brieskorn manifolds.

This book provides an introduction to the main geometric structures that are carried by compact surfaces, with an emphasis on the classical theory of Riemann surfaces. It first covers the prerequisites, including the basics of differential forms, the Poincare Lemma, the Morse Lemma, the classification of compact connected oriented surfaces, Stokes' Theorem, fixed point theorems and rigidity theorems. There is also a novel presentation of planar hyperbolic geometry. Moving on to more advanced concepts, it covers topics such as Riemannian metrics, the isometric torsion-free connection on vector fields, the Ansatz of Koszul, the Gauss-Bonnet Theorem, and integrability. These concepts are then used for the study of Riemann surfaces. One of the focal points is the Uniformization Theorem for compact surfaces, an elementary proof of which is given via a property of the energy functional. Among numerous other results, there is also a proof of Chow's Theorem on compact holomorphic submanifolds in complex projective spaces. Based on lecture courses given by the author, the book will be accessible to undergraduates and graduates interested in the analytic theory of Riemann surfaces.

This book provides an introduction to modern homotopy theory through the lens of higher categories after Joyal and Lurie, giving access to methods used at the forefront of research in algebraic topology and algebraic geometry in the twenty-first century. The text starts from scratch - revisiting results from classical homotopy theory such as Serre's long exact sequence, Quillen's theorems A and B, Grothendieck's smooth/proper base change formulas, and the construction of the Kan-Quillen model structure on simplicial sets - and develops an alternative to a significant part of Lurie's definitive reference Higher Topos Theory, with new constructions and proofs, in particular, the Yoneda Lemma and Kan extensions. The strong emphasis on homotopical algebra provides clear insights into classical constructions such as calculus of fractions, homotopy limits and derived functors. For graduate students and researchers from neighbouring fields, this book is a user-friendly guide to advanced tools that the theory provides for application.