In topology the three basic concepts of metrics, topologies and uniformities have been treated so far as separate entities by means of different methods and terminology. This work treats all three concepts as a special case of the concept of approach spaces. This theory provides an answer to natural questions in the interplay between topological and metric spaces by introducing a well suited supercategory of TOP and MET. The theory makes it possible to equip initial structures of metricizable topological spaces with a canonical structure, preserving the numerical information of the metrics. It provides a solid basis for approximation theory, turning ad hoc notions into canonical concepts, and it unifies topological and metric notions. The book explains the richness of approach structures in detail; it provides a comprehensive explanation of the categorical set-up, develops the basic theory and provides many examples, displaying links with various areas of mathematics such as approximation theory, probability theory, analysis and hyperspace theory. This book is intended for lecturers, researchers and graduate students in the following areas: topology, categorical theory, category th

Due to the strong appeal and wide use of this monograph, it is now available in its third revised edition. The monograph gives a systematic treatment of 3-dimensional topological quantum field theories (TQFTs) based on the work of the author with N. Reshetikhin and O. Viro. This subject was inspired by the discovery of the Jones polynomial of knots and the Witten-Chern-Simons field theory. On the algebraic side, the study of 3-dimensional TQFTs has been influenced by the theory of braided categories and the theory of quantum groups. The book is divided into three parts. Part I presents a construction of 3-dimensional TQFTs and 2-dimensional modular functors from so-called modular categories. This gives a vast class of knot invariants and 3-manifold invariants as well as a class of linear representations of the mapping class groups of surfaces. In Part II the technique of 6j-symbols is used to define state sum invariants of 3-manifolds. Their relation to the TQFTs constructed in Part I is established via the theory of shadows. Part III provides constructions of modular categories, based on quantum groups and skein modules of tangles in the 3-space. This fundamental contribution to topological quantum field theory is accessible to graduate students in mathematics and physics with knowledge of basic algebra and topology. It is an indispensable source for everyone who wishes to enter the forefront of this fascinating area at the borderline of mathematics and physics. Contents: Invariants of graphs in Euclidean 3-space and of closed 3-manifolds Foundations of topological quantum field theory Three-dimensional topological quantum field theory Two-dimensional modular functors 6j-symbols Simplicial state sums on 3-manifolds Shadows of manifolds and state sums on shadows Constructions of modular categories

I1 More than one hundred years ago, Georg Frobenius [26] proved his remarkable theorem a?rming that, for a primep and a ?nite groupG, if the quotient of the normalizer by the centralizer of anyp-subgroup ofG is a p-group then, up to a normal subgroup of order prime top,G is ap-group. Ofcourse,itwouldbeananachronismtopretendthatFrobenius,when doing this theorem, was thinking the category - notedF in the sequel - G where the objects are thep-subgroups ofG and the morphisms are the group homomorphisms between them which are induced by theG-conjugation. Yet Frobenius' hypothesis is truly meaningful in this category. I2 Fifty years ago, John Thompson [57] built his seminal proof of the nilpotencyoftheso-called Frobeniuskernelofa FrobeniusgroupGwithar- ments - at that time completely new - which might be rewritten in terms ofF; indeed, some time later, following these kind of arguments, George G Glauberman [27] proved that, under some - rather strong - hypothesis onG, the normalizerNofasuitablenontrivial p-subgroup ofG controls fusion inG, which amounts to saying that the inclusionN?G induces an ? equivalence of categoriesF =F .

This comprehensive text focuses on the homotopical technology in use at the forefront of modern algebraic topology. Following on from a standard introductory algebraic topology sequence, it will provide students with a comprehensive background in spectra and structured ring spectra. Each chapter is an extended tutorial by a leader in the field, offering the first really accessible treatment of the modern construction of the stable category in terms of both model categories of point-set diagram spectra and infinity-categories. It is one of the only textbook sources for operadic algebras, structured ring spectra, and Bousfield localization, which are now basic techniques in the field, and the book provides a rare expository treatment of spectral algebraic geometry. Together the contributors - Emily Riehl, Daniel Dugger, Clark Barwick, Michael A. Mandell, Birgit Richter, Tyler Lawson, and Charles Rezk - offer a complete, authoritative source to learn the foundations of this vibrant area.

"Contains papers presented at the 35th Taniguchi International Symposium held recently in Sanda and Kyoto, Japan. Details the latest developments concerning moduli spaces of vector bundles or instantons and their application. Covers a broad array of topics in both differential and algebraic geometry."

Written by an algebraic topologist motivated by his own desire to learn, this book represents the compilation of results in the theory of polynomial invariants of finite groups. As well as covering invariant theory, the book also introduces some of the basic concepts behind ideal theory and homological algebra in a liberating context, and discusses the mutual impact of invariant theory and algebraic topology. Along the way, the author also examines such topics as the Hilbert-Noether finiteness theorems, methods for constructing invariants, the Poincare series, localization and use of gradings, and the Hilbert Syzygy theorem. Larry Smith includes numerous examples and illustrates the theorems by applying them to concrete cases.

In recognition of professor Shiing-Shen Chern's long and distinguished service to mathematics and to the University of California, the geometers at Berkeley held an International Symposium in Global Analysis and Global Geometry in his honor in June 1979. The output of this Symposium was published in a series of three separate volumes, comprising approximately a third of Professor Chern's total publications up to 1979. Later, a fourth volume was published, focusing on papers written during the Eighties. This third volume comprises selected papers written between 1965 and 1979.

Algebraic geometry is a central subfield of mathematics in which the study of cycles is an important theme. Alexander Grothendieck taught that algebraic cycles should be considered from a motivic point of view and in recent years this topic has spurred a lot of activity. This book is one of two volumes that provide a self-contained account of the subject as it stands today. Together, the two books contain twenty-two contributions from leading figures in the field which survey the key research strands and present interesting new results. Topics discussed include: the study of algebraic cycles using Abel-Jacobi/regulator maps and normal functions; motives (Voevodsky's triangulated category of mixed motives, finite-dimensional motives); the conjectures of Bloch-Beilinson and Murre on filtrations on Chow groups and Bloch's conjecture. Researchers and students in complex algebraic geometry and arithmetic geometry will find much of interest here.

Compactness in topology and finite generation in algebra are nice properties to start with. However, the study of compact spaces leads naturally to non-compact spaces and infinitely generated chain complexes; a classical example is the theory of covering spaces. In handling non-compact spaces we must take into account the infinity behaviour of such spaces. This necessitates modifying the usual topological and algebraic cate gories to obtain "proper" categories in which objects are equipped with a "topologized infinity" and in which morphisms are compatible with the topology at infinity. The origins of proper (topological) category theory go back to 1923, when Kere kjart6 [VT] established the classification of non-compact surfaces by adding to orien tability and genus a new invariant, consisting of a set of "ideal points" at infinity. Later, Freudenthal [ETR] gave a rigorous treatment of the topology of "ideal points" by introducing the space of "ends" of a non-compact space. In spite of its early ap pearance, proper category theory was not recognized as a distinct area of topology until the late 1960's with the work of Siebenmann [OFB], [IS], [DES] on non-compact manifolds.

This research monograph in the field of algebraic topology contains many thought-provoking discussions of open problems and promising research directions.

'Et moi, ..., si j'avait su comment en revenir, One service methematics has rendered the je n'y serais point aile.' human race. It has put common sense back JulesVerne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non The series is divergent; therefore we may be seese'. able to do something with it. Eric T. Bell O.Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and nonlinearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such state ments as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered computer science .. .'; 'One service category theory has rendered mathematics .. .'. All arguable true. And all statements obtainable this .way form part of the raison d'etre of this series."

Everyone knows what braids are, whether they be made of hair, knitting wool, or electrical cables. However, it is not so evident that we can construct a theory about them, i.e. to elaborate a coherent and mathematically interesting corpus of results concerning them. This book demonstrates that there is a resoundingly positive response to this question: braids are fascinating objects, with a variety of rich mathematical properties and potential applications. A special emphasis is placed on the algorithmic aspects and on what can be called the 'calculus of braids', in particular the problem of isotopy. Prerequisites are kept to a minimum, with most results being established from scratch. An appendix at the end of each chapter gives a detailed introduction to the more advanced notions required, including monoids and group presentations. Also included is a range of carefully selected exercises to help the reader test their knowledge, with solutions available.

Everyone knows what braids are, whether they be made of hair, knitting wool, or electrical cables. However, it is not so evident that we can construct a theory about them, i.e. to elaborate a coherent and mathematically interesting corpus of results concerning them. This book demonstrates that there is a resoundingly positive response to this question: braids are fascinating objects, with a variety of rich mathematical properties and potential applications. A special emphasis is placed on the algorithmic aspects and on what can be called the 'calculus of braids', in particular the problem of isotopy. Prerequisites are kept to a minimum, with most results being established from scratch. An appendix at the end of each chapter gives a detailed introduction to the more advanced notions required, including monoids and group presentations. Also included is a range of carefully selected exercises to help the reader test their knowledge, with solutions available.

Homological mirror symmetry has its origins in theoretical physics but is now of great interest in mathematics due to the deep connections it reveals between different areas of geometry and algebra. This book offers a self-contained and accessible introduction to the subject via the representation theory of algebras and quivers. It is suitable for graduate students and others without a great deal of background in homological algebra and modern geometry. Each part offers a different perspective on homological mirror symmetry. Part I introduces the A-infinity formalism and offers a glimpse of mirror symmetry using representations of quivers. Part II discusses various A- and B-models in mirror symmetry and their connections through toric and tropical geometry. Part III deals with mirror symmetry for Riemann surfaces. The main mathematical ideas are illustrated by means of simple examples coming mainly from the theory of surfaces, helping the reader connect theory with intuition.

Homological mirror symmetry has its origins in theoretical physics but is now of great interest in mathematics due to the deep connections it reveals between different areas of geometry and algebra. This book offers a self-contained and accessible introduction to the subject via the representation theory of algebras and quivers. It is suitable for graduate students and others without a great deal of background in homological algebra and modern geometry. Each part offers a different perspective on homological mirror symmetry. Part I introduces the A-infinity formalism and offers a glimpse of mirror symmetry using representations of quivers. Part II discusses various A- and B-models in mirror symmetry and their connections through toric and tropical geometry. Part III deals with mirror symmetry for Riemann surfaces. The main mathematical ideas are illustrated by means of simple examples coming mainly from the theory of surfaces, helping the reader connect theory with intuition.

This book gives a brief treatment of the equivariant cohomology of the classical configuration space F( ^d,n) from its beginnings to recent developments. This subject has been studied intensively, starting with the classical papers of Artin (1925/1947) on the theory of braids, and progressing through the work of Fox and Neuwirth (1962), Fadell and Neuwirth (1962), and Arnol'd (1969). The focus of this book is on the mod 2 equivariant cohomology algebras of F( ^d,n), whose additive structure was described by Cohen (1976) and whose algebra structure was studied in an influential paper by Hung (1990). A detailed new proof of Hung's main theorem is given, however it is shown that some of the arguments given by him on the way to his result are incorrect, as are some of the intermediate results in his paper.This invalidates a paper by three of the authors, Blagojevic, Luck and Ziegler (2016), who used a claimed intermediate result in order to derive lower bounds for the existence of k-regular and -skew embeddings. Using the new proof of Hung's main theorem, new lower bounds for the existence of highly regular embeddings are obtained: Some of them agree with the previously claimed bounds, some are weaker. Assuming only a standard graduate background in algebraic topology, this book carefully guides the reader on the way into the subject. It is aimed at graduate students and researchers interested in the development of algebraic topology in its applications in geometry.

Intersection homology is a version of homology theory that extends Poincare duality and its applications to stratified spaces, such as singular varieties. This is the first comprehensive expository book-length introduction to intersection homology from the viewpoint of singular and piecewise-linear chains. Recent breakthroughs have made this approach viable by providing intersection homology and cohomology versions of all the standard tools in the homology tool box, making the subject readily accessible to graduate students and researchers in topology as well as researchers from other fields. This text includes both new research material and new proofs of previously-known results in intersection homology, as well as treatments of many classical topics in algebraic and manifold topology. Written in a detailed but expository style, this book is suitable as an introduction to intersection homology or as a thorough reference.

Category theory provides structure for the mathematical world and is seen everywhere in modern mathematics. With this book, the author bridges the gap between pure category theory and its numerous applications in homotopy theory, providing the necessary background information to make the subject accessible to graduate students or researchers with a background in algebraic topology and algebra. The reader is first introduced to category theory, starting with basic definitions and concepts before progressing to more advanced themes. Concrete examples and exercises illustrate the topics, ranging from colimits to constructions such as the Day convolution product. Part II covers important applications of category theory, giving a thorough introduction to simplicial objects including an account of quasi-categories and Segal sets. Diagram categories play a central role throughout the book, giving rise to models of iterated loop spaces, and feature prominently in functor homology and homology of small categories.

Spectral spaces are a class of topological spaces. They are a tool linking algebraic structures, in a very wide sense, with geometry. They were invented to give a functional representation of Boolean algebras and distributive lattices and subsequently gained great prominence as a consequence of Grothendieck's invention of schemes. There are more than 1,000 research articles about spectral spaces, but this is the first monograph. It provides an introduction to the subject and is a unified treatment of results scattered across the literature, filling in gaps and showing the connections between different results. The book includes new research going beyond the existing literature, answering questions that naturally arise from this comprehensive approach. The authors serve graduates by starting gently with the basics. For experts, they lead them to the frontiers of current research, making this book a valuable reference source.

Slenderness is a concept relevant to the fields of algebra, set theory, and topology. This first book on the subject is systematically presented and largely self-contained, making it ideal for researchers and graduate students. The appendix gives an introduction to the necessary set theory, in particular to the (non-)measurable cardinals, to help the reader make smooth progress through the text. A detailed index shows the numerous connections among the topics treated. Every chapter has a historical section to show the original sources for results and the subsequent development of ideas, and is rounded off with numerous exercises. More than 100 open problems and projects are presented, ready to inspire the keen graduate student or researcher. Many of the results are appearing in print for the first time, and many of the older results are presented in a new light.

Equivariant homotopy theory started from geometrically motivated questions about symmetries of manifolds. Several important equivariant phenomena occur not just for a particular group, but in a uniform way for all groups. Prominent examples include stable homotopy, K-theory or bordism. Global equivariant homotopy theory studies such uniform phenomena, i.e. universal symmetries encoded by simultaneous and compatible actions of all compact Lie groups. This book introduces graduate students and researchers to global equivariant homotopy theory. The framework is based on the new notion of global equivalences for orthogonal spectra, a much finer notion of equivalence than is traditionally considered. The treatment is largely self-contained and contains many examples, making it suitable as a textbook for an advanced graduate class. At the same time, the book is a comprehensive research monograph with detailed calculations that reveal the intrinsic beauty of global equivariant phenomena.

This volume brings together recent, original research and survey articles by leading experts in several fields that include singularity theory, algebraic geometry and commutative algebra. The motivation for this collection comes from the wide-ranging research of the distinguished mathematician, Antonio Campillo, in these and related fields. Besides his influence in the mathematical community stemming from his research, Campillo has also endeavored to promote mathematics and mathematicians' networking everywhere, especially in Spain, Latin America and Europe. Because of his impressive achievements throughout his career, we dedicate this book to Campillo in honor of his 65th birthday. Researchers and students from the world-wide, and in particular Latin American and European, communities in singularities, algebraic geometry, commutative algebra, coding theory, and other fields covered in the volume, will have interest in this book.

This first systematic account of the basic theory of normed algebras, without assuming associativity, includes many new and unpublished results and is sure to become a central resource for researchers and graduate students in the field. This second volume revisits JB*-triples, covers Zel'manov's celebrated work in Jordan theory, proves the unit-free variant of the Vidav-Palmer theorem, and develops the representation theory of alternative C*-algebras and non-commutative JB*-algebras. This completes the work begun in the first volume, which introduced these algebras and discussed the so-called non-associative Gelfand-Naimark and Vidav-Palmer theorems. This book interweaves pure algebra, geometry of normed spaces, and infinite-dimensional complex analysis. Novel proofs are presented in complete detail at a level accessible to graduate students. The book contains a wealth of historical comments, background material, examples, and an extensive bibliography.

The notion of an ( ,1)-category has become widely used in homotopy theory, category theory, and in a number of applications. There are many different approaches to this structure, all of them equivalent, and each with its corresponding homotopy theory. This book provides a relatively self-contained source of the definitions of the different models, the model structure (homotopy theory) of each, and the equivalences between the models. While most of the current literature focusses on how to extend category theory in this context, and centers in particular on the quasi-category model, this book offers a balanced treatment of the appropriate model structures for simplicial categories, Segal categories, complete Segal spaces, quasi-categories, and relative categories, all from a homotopy-theoretic perspective. Introductory chapters provide background in both homotopy and category theory and contain many references to the literature, thus making the book accessible to graduates and to researchers in related areas.