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.

This monograph describes important techniques of stable homotopy theory, both classical and brand new, applying them to the long-standing unsolved problem of the existence of framed manifolds with odd Arf-Kervaire invariant. Opening with an account of the necessary algebraic topology background, it proceeds in a quasi-historical manner to draw from the author s contributions over several decades. A new technique entitled upper triangular technology is introduced which enables the author to relate Adams operations to Steenrod operations and thereby to recover most of the important classical Arf-Kervaire invariant results quite simply. The final chapter briefly relates the book to the contemporary motivic stable homotopy theory of Morel-Voevodsky.

Excerpt from a review:

This takes the reader on an unusual mathematical journey. The problem referred to in the title, its history and the author's relationship with it are lucidly described in the book. The book does not offer a solution, but a new and interesting way of looking at it. The stated purpose of the book is twofold: (1) To rescue the Kervaire invariant problem from oblivion. (2) To introduce the "upper triangular technology" to approach the problem.

This is very useful, since this method is not widely known. It is not an introduction to stable homotopy theory but rather a guide for experts along a path to a prescribed destination. In taking us there it assembles material from widely varying sources and offers a perspective that is not available anywhere else. This is a case where the whole is much greater than the sum of its parts. The manuscript is extremely well written. The author's style is engaging and even humorous at times. (Douglas Ravenel)"

This self-containedtext is an excellent introductionto Lie groups and their actions on manifolds. Theauthors start withan elementarydiscussion of matrix groups, followed by chapters devoted to the basic structure and representation theory of finite dimensinal Lie algebras. They then turn to global issues, demonstrating the key issue of the interplay between differential geometry and Lie theory. Special emphasis is placed on homogeneous spaces and invariant geometric structures. The last section of the book is dedicated to the structure theory of Lie groups. Particularly, they focus on maximal compact subgroups, dense subgroups, complex structures, and linearity.

This text is accessible to a broad range of mathematicians and graduate students; it will be useful both as a graduate textbook and as a research reference."

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

Primarily concerned with the study of cohomology theories of general topological spaces with "general coefficient systems", the parts of sheaf theory covered here are those areas important to algebraic topology. Among the many innovations in this book, the concept of the "tautness" of a subspace is introduced and exploited; the fact that sheaf theoretic cohomology satisfies the homotopy property is proved for general topological spaces; and relative cohomology is introduced into sheaf theory. A list of exercises at the end of each chapter helps students to learn the material, and solutions to many of the exercises are given in an appendix. This new edition of a classic has been substantially rewritten and now includes some 80 additional examples and further explanatory material, as well as new sections on Cech cohomology, the Oliver transfer, intersection theory, generalised manifolds, locally homogeneous spaces, homological fibrations and p- adic transformation groups. Readers should have a thorough background in elementary homological algebra and in algebraic topology.

The 2007 Abel Symposium took place at the University of Oslo in August 2007. The goal of the symposium was to bring together mathematicians whose research efforts have led to recent advances in algebraic geometry, algebraic K-theory, algebraic topology, and mathematical physics. A common theme of this symposium was the development of new perspectives and new constructions with a categorical flavor. As the lectures at the symposium and the papers of this volume demonstrate, these perspectives and constructions have enabled a broadening of vistas, a synergy between once-differentiated subjects, and solutions to mathematical problems both old and new.

The primary aim of this monograph is to achieve part of Beilinson's program on mixed motives using Voevodsky's theories of A1-homotopy and motivic complexes. Historically, this book is the first to give a complete construction of a triangulated category of mixed motives with rational coefficients satisfying the full Grothendieck six functors formalism as well as fulfilling Beilinson's program, in particular the interpretation of rational higher Chow groups as extension groups. Apart from Voevodsky's entire work and Grothendieck's SGA4, our main sources are Gabber's work on etale cohomology and Ayoub's solution to Voevodsky's cross functors theory. We also thoroughly develop the theory of motivic complexes with integral coefficients over general bases, along the lines of Suslin and Voevodsky. Besides this achievement, this volume provides a complete toolkit for the study of systems of coefficients satisfying Grothendieck' six functors formalism, including Grothendieck-Verdier duality. It gives a systematic account of cohomological descent theory with an emphasis on h-descent. It formalizes morphisms of coefficient systems with a view towards realization functors and comparison results. The latter allows to understand the polymorphic nature of rational mixed motives. They can be characterized by one of the following properties: existence of transfers, universality of rational algebraic K-theory, h-descent, etale descent, orientation theory. This monograph is a longstanding research work of the two authors. The first three parts are written in a self-contained manner and could be accessible to graduate students with a background in algebraic geometry and homotopy theory. It is designed to be a reference work and could also be useful outside motivic homotopy theory. The last part, containing the most innovative results, assumes some knowledge of motivic homotopy theory, although precise statements and references are given.

"Distributed Computing Through Combinatorial Topology" describes techniques for analyzing distributed algorithms based on award winning combinatorial topology research. The authors present a solid theoretical foundation relevant to many real systems reliant on parallelism with unpredictable delays, such as multicore microprocessors, wireless networks, distributed systems, and Internet protocols.

Today, a new student or researcher must assemble a collection of scattered conference publications, which are typically terse and commonly use different notations and terminologies. This book provides a self-contained explanation of the mathematics to readers with computer science backgrounds, as well as explaining computer science concepts to readers with backgrounds in applied mathematics. The first section presents mathematical notions and models, including message passing and shared-memory systems, failures, and timing models. The next section presents core concepts in two chapters each: first, proving a simple result that lends itself to examples and pictures that will build up readers' intuition; then generalizing the concept to prove a more sophisticated result. The overall result weaves together and develops the basic concepts of the field, presenting them in a gradual and intuitively appealing way. The book's final section discusses advanced topics typically found in a graduate-level course for those who wish to explore further.
Named a 2013 Notable Computer Book for Computing Methodologies by "Computing Reviews"Gathers knowledge otherwise spread across research and conference papers using consistent notations and a standard approach to facilitate understandingPresents unique insights applicable to multiple computing fields, including multicore microprocessors, wireless networks, distributed systems, and Internet protocols Synthesizes and distills material into a simple, unified presentation with examples, illustrations, and exercises

Algebraic Topology is a system and strategy of partial translations, aiming to reduce difficult topological problems to algebraic facts that can be more easily solved. The main subject of this book is singular homology, the simplest of these translations. Studying this theory and its applications, we also investigate its underlying structural layout - the topics of Homological Algebra, Homotopy Theory and Category Theory which occur in its foundation.This book is an introduction to a complex domain, with references to its advanced parts and ramifications. It is written with a moderate amount of prerequisites - basic general topology and little else - and a moderate progression starting from a very elementary beginning. A consistent part of the exposition is organised in the form of exercises, with suitable hints and solutions.It can be used as a textbook for a semester course or self-study, and a guidebook for further study.

Since most of the problems arising in science and engineering are nonlinear, they are inherently difficult to solve. Traditional analytical approximations are valid only for weakly nonlinear problems and often fail when used for problems with strong nonlinearity. Nonlinear Flow Phenomena and Homotopy Analysis: Fluid Flow and Heat Transfer presents the current theoretical developments of the analytical method of homotopy analysis. This book not only addresses the theoretical framework for the method, but also gives a number of examples of nonlinear problems that have been solved by means of the homotopy analysis method. The particular focus lies on fluid flow problems governed by nonlinear differential equations. This book is intended for researchers in applied mathematics, physics, mechanics and engineering.

Both Kuppalapalle Vajravelu and Robert A. Van Gorder work at the University of Central Florida, USA."

In knot theory, diagrams of a given canonical genus can be described by means of a finite number of patterns ("generators"). Diagram Genus, Generators and Applications presents a self-contained account of the canonical genus: the genus of knot diagrams. The author explores recent research on the combinatorial theory of knots and supplies proofs for a number of theorems. The book begins with an introduction to the origin of knot tables and the background details, including diagrams, surfaces, and invariants. It then derives a new description of generators using Hirasawa's algorithm and extends this description to push the compilation of knot generators one genus further to complete their classification for genus 4. Subsequent chapters cover applications of the genus 4 classification, including the braid index, polynomial invariants, hyperbolic volume, and Vassiliev invariants. The final chapter presents further research related to generators, which helps readers see applications of generators in a broader context.

Algebraic Topology and basic homotopy theory form a fundamental building block for much of modern mathematics. These lecture notes represent a culmination of many years of leading a two-semester course in this subject at MIT. The style is engaging and student-friendly, but precise. Every lecture is accompanied by exercises. It begins slowly in order to gather up students with a variety of backgrounds, but gains pace as the course progresses, and by the end the student has a command of all the basic techniques of classical homotopy theory.

This monograph on the homotopy theory of topologized diagrams of spaces and spectra gives an expert account of a subject at the foundation of motivic homotopy theory and the theory of topological modular forms in stable homotopy theory. Beginning with an introduction to the homotopy theory of simplicial sets and topos theory, the book covers core topics such as the unstable homotopy theory of simplicial presheaves and sheaves, localized theories, cocycles, descent theory, non-abelian cohomology, stacks, and local stable homotopy theory. A detailed treatment of the formalism of the subject is interwoven with explanations of the motivation, development, and nuances of ideas and results. The coherence of the abstract theory is elucidated through the use of widely applicable tools, such as Barr's theorem on Boolean localization, model structures on the category of simplicial presheaves on a site, and cocycle categories. A wealth of concrete examples convey the vitality and importance of the subject in topology, number theory, algebraic geometry, and algebraic K-theory. Assuming basic knowledge of algebraic geometry and homotopy theory, Local Homotopy Theory will appeal to researchers and advanced graduate students seeking to understand and advance the applications of homotopy theory in multiple areas of mathematics and the mathematical sciences.

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.

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.

This welcome boon for students of algebraic topology cuts a much- needed central path between other texts whose treatment of the classification theorem for compact surfaces is either too formalized and complex for those without detailed background knowledge, or too informal to afford students a comprehensive insight into the subject. Its dedicated, student-centred approach details a near-complete proof of this theorem, widely admired for its efficacy and formal beauty. The authors present the technical tools needed to deploy the method effectively as well as demonstrating their use in a clearly structured, worked example. Ideal for students whose mastery of algebraic topology may be a work-in-progress, the text introduces key notions such as fundamental groups, homology groups, and the Euler-Poincar characteristic. These prerequisites are the subject of detailed appendices that enable focused, discrete learning where it is required, without interrupting the carefully planned structure of the core exposition. Gently guiding readers through the principles, theory, and applications of the classification theorem, the authors aim to foster genuine confidence in its use and in so doing encourage readers to move on to a deeper exploration of the versatile and valuable techniques available in algebraic topology.

Group cohomology reveals a deep relationship between algebra and topology, and its recent applications have provided important insights into the Hodge conjecture and algebraic geometry more broadly. This book presents a coherent suite of computational tools for the study of group cohomology and algebraic cycles. Early chapters synthesize background material from topology, algebraic geometry, and commutative algebra so readers do not have to form connections between the literatures on their own. Later chapters demonstrate Peter Symonds's influential proof of David Benson's regularity conjecture, offering several new variants and improvements. Complete with concrete examples and computations throughout, and a list of open problems for further study, this book will be valuable to graduate students and researchers in algebraic geometry and related fields.

This monograph offers an overview of rigorous results on fermionic topological insulators from the complex classes, namely, those without symmetries or with just a chiral symmetry. Particular focus is on the stability of the topological invariants in the presence of strong disorder, on the interplay between the bulk and boundary invariants and on their dependence on magnetic fields. The first part presents motivating examples and the conjectures put forward by the physics community, together with a brief review of the experimental achievements. The second part develops an operator algebraic approach for the study of disordered topological insulators. This leads naturally to the use of analytical tools from K-theory and non-commutative geometry, such as cyclic cohomology, quantized calculus with Fredholm modules and index pairings. New results include a generalized Streda formula and a proof of the delocalized nature of surface states in topological insulators with non-trivial invariants. The concluding chapter connects the invariants to measurable quantities and thus presents a refined physical characterization of the complex topological insulators. This book is intended for advanced students in mathematical physics and researchers alike.

This second volume of Research in Computational Topology is a celebration and promotion of research by women in applied and computational topology, containing the proceedings of the second workshop for Women in Computational Topology (WinCompTop) as well as papers solicited from the broader WinCompTop community. The multidisciplinary and international WinCompTop workshop provided an exciting and unique opportunity for women in diverse locations and research specializations to interact extensively and collectively contribute to new and active research directions in the field. The prestigious senior researchers that signed on to head projects at the workshop are global leaders in the discipline, and two of them were authors on some of the first papers in the field. Some of the featured topics include topological data analysis of power law structure in neural data; a nerve theorem for directional graph covers; topological or homotopical invariants for directed graphs encoding connections among a network of neurons; and the issue of approximation of objects by digital grids, including precise relations between the persistent homology of dual cubical complexes.

The D(2) problem is a fundamental problem in low dimensional topology. In broad terms, it asks when a three-dimensional space can be continuously deformed into a two-dimensional space without changing the essential algebraic properties of the spaces involved.The problem is parametrized by the fundamental group of the spaces involved; that is, each group G has its own D(2) problem whose difficulty varies considerably with the individual nature of G.This book solves the D(2) problem for a large, possibly infinite, number of finite metacyclic groups G(p, q). Prior to this the author had solved the D(2) problem for the groups G(p, 2). However, for q > 2, the only previously known solutions were for the groups G(7, 3), G(5, 4) and G(7, 6), all done by difficult direct calculation by two of the author's students, Jonathan Remez (2011) and Jason Vittis (2019).The method employed is heavily algebraic and involves precise analysis of the integral representation theory of G(p, q). Some noteworthy features are a new cancellation theory of modules (Chapters 10 and 11) and a simplified treatment (Chapters 5 and 12) of the author's theory of Swan homomorphisms.

Homology 3-sphere is a closed 3-dimensional manifold whose homology equals that of the 3-sphere. These objects may look rather special but they have played an outstanding role in geometric topology for the past fifty years. The book gives a systematic exposition of diverse ideas and methods in the area, from algebraic topology of manifolds to invariants arising from quantum field theories. The main topics covered are constructions and classification of homology 3-spheres, Rokhlin invariant, Casson invariant and its extensions, including invariants of Walker and Lescop, Herald and Lin invariants of knots, and equivariant Casson invariants, Floer homology and gauge-theoretical invariants of homology cobordism. Many of the topics covered in the book appear in monograph form for the first time. The book gives a rather broad overview of ideas and methods and provides a comprehensive bibliography. It will be appealing to both graduate students and researchers in mathematics and theoretical physics.

This text provides an introduction to basic concepts in differential topology, differential geometry, and differential equations, and some of the main basic theorems in all three areas: for instance, the existence, uniqueness, and smoothness theorems for differential equations and the flow of a vector field; the basic theory of vector bundles including the existence of tubular neighborhoods for a submanifold; the calculus of differential forms; basic notions of symplectic manifolds, including the canonical 2-form; sprays and covariant derivatives for Riemannian and pseudo-Riemannian manifolds; applications to the exponential map, including the Cartan-Hadamard theorem and the first basic theorem of calculus of variations. Although the book grew out of the author's earlier book "Differential and Riemannian Manifolds", the focus has now changed from the general theory of manifolds to general differential geometry, and includes new chapters on Jacobi lifts, tensorial splitting of the double tangent bundle, curvature and the variation formula, a generalization of the Cartan-Hadamard theorem, the semiparallelogram law of Bruhat-Tits and its equivalence with seminegative curvature and the exponential map distance increasing property, a major example of seminegative curvature (the space of positive definite symmetric real matrices), automorphisms and symmetries, and immersions and submersions. These are all covered for infinite-dimensional manifolds, modeled on Banach and Hilbert Spaces, at no cost in complications, and some gain in the elegance of the proofs. In the finite-dimensional case, differential forms of top degree are discussed, leading to Stokes' theorem (even for manifolds with singular boundary), and several of its applications to the differential or Riemannian case. Basic formulas concerning the Laplacian are given, exhibiting several of its features in immersions and submersions.

This is the fifth conference in a bi-annual series, following conferences in Besancon, Limoges, Irsee and Toronto. The meeting aims to bring together different strands of research in and closely related to the area of Iwasawa theory. During the week before the conference in a kind of summer school a series of preparatory lectures for young mathematicians was provided as an introduction to Iwasawa theory.

Iwasawa theory is a modern and powerful branch of number theory and can be traced back to the Japanese mathematician Kenkichi Iwasawa, who introduced the systematic study of Z_p-extensions and p-adic L-functions, concentrating on the case of ideal class groups. Later this would be generalized to elliptic curves. Over the last few decades considerable progress has been made in automorphic Iwasawa theory, e.g. the proof of the Main Conjecture for GL(2) by Kato and Skinner & Urban. Techniques such as Hida s theory of p-adic modular forms and big Galois representations play a crucial part. Also a non-commutative Iwasawa theory of arbitrary p-adic Lie extensions has been developed. This volume aims to present a snapshot of the state of art of Iwasawa theory as of 2012. In particular it offers an introduction to Iwasawa theory (based on a preparatory course by Chris Wuthrich) and a survey of the proof of Skinner & Urban (based on a lecture course by Xin Wan)."

Problems involving the evolution of two- and three-dimensional domains arise in many areas of science and engineering. Emphasizing an Eulerian approach, Moving Shape Analysis and Control: Applications to Fluid Structure Interactions presents valuable tools for the mathematical analysis of evolving domains. The book illustrates the efficiency of the tools presented through different examples connected to the analysis of noncylindrical partial differential equations (PDEs), such as Navier-Stokes equations for incompressible fluids in moving domains. The authors first provide all of the details of existence and uniqueness of the flow in both strong and weak cases. After establishing several important principles and methods, they devote several chapters to demonstrating Eulerian evolution and derivation tools for the control of systems involving fluids and solids. The book concludes with the boundary control of fluid-structure interaction systems, followed by helpful appendices that review some of the advanced mathematics used throughout the text. This authoritative resource supplies the computational tools needed to optimize PDEs and investigate the control of complex systems involving a moving boundary.

The current volume constitutes the proceedings of the International Conference in Algebraic Topology, held on the Isle of Skye, Scotland in June 200l. Many of the the talks at the conference focused on categorical decomposition techniques currently used in algebraic topology, such as Goodwillie's "calculus of functors" and the various approximation techniques that have proved so useful for the study of classifying spaces. The contents represent these, and other themes in algebraic toplogy, as they are being developed by experts in the field. For instance, the homotopy theory of classifying spaces is represented by the articles of Aguade-Broto-Saumell, Davis and Iwase-Mimura. The papers by Betley, Kuhn and Panov-Ray-Vogt deal with general categorical decomposition techniques. The papers of Anton, Goerss-Henn Mahowald and Hodgkin-Ostvaer bring us to the forefront of computational homo topy theory. Other papers deal with assorted topics of current interest in algebraic topology. Progress in Mathematics, Vol. 215 Algebraic Topology: Categorical Decomposition Techniques, 1-20 (c) 2003 Birkhiiuser Verlag Basel/Switzerland The Functor T and the Cohomology of Mapping Spaces Jaume Aguade, Carles Broto, and Laia Saumell 1. Introduction In his fundamental work 15] Lannes has introduced a functor T defined in the category K (resp. U) of unstable algebras (resp. modules) over the Steenrod algebra which has many important applications in homotopy theory. This functor is, in some sense, the algebraic analogue of the mapping space functor Map(BV, -) for an elementary abelian group V."