This monograph presents a new model of mathematical structures called weak n-categories. These structures find their motivation in a wide range of fields, from algebraic topology to mathematical physics, algebraic geometry and mathematical logic. While strict n-categories are easily defined in terms associative and unital composition operations they are of limited use in applications, which often call for weakened variants of these laws. The author proposes a new approach to this weakening, whose generality arises not from a weakening of such laws but from the very geometric structure of its cells; a geometry dubbed weak globularity. The new model, called weakly globular n-fold categories, is one of the simplest known algebraic structures yielding a model of weak n-categories. The central result is the equivalence of this model to one of the existing models, due to Tamsamani and further studied by Simpson. This theory has intended applications to homotopy theory, mathematical physics and to long-standing open questions in category theory. As the theory is described in elementary terms and the book is largely self-contained, it is accessible to beginning graduate students and to mathematicians from a wide range of disciplines well beyond higher category theory. The new model makes a transparent connection between higher category theory and homotopy theory, rendering it particularly suitable for category theorists and algebraic topologists. Although the results are complex, readers are guided with an intuitive explanation before each concept is introduced, and with diagrams showing the interconnections between the main ideas and results.

The present monograph develops a unified theory of Steinberg groups, independent of matrix representations, based on the theory of Jordan pairs and the theory of 3-graded locally finite root systems. The development of this approach occurs over six chapters, progressing from groups with commutator relations and their Steinberg groups, then on to Jordan pairs, 3-graded locally finite root systems, and groups associated with Jordan pairs graded by root systems, before exploring the volume's main focus: the definition of the Steinberg group of a root graded Jordan pair by a small set of relations, and its central closedness. Several original concepts, such as the notions of Jordan graphs and Weyl elements, provide readers with the necessary tools from combinatorics and group theory. Steinberg Groups for Jordan Pairs is ideal for PhD students and researchers in the fields of elementary groups, Steinberg groups, Jordan algebras, and Jordan pairs. By adopting a unified approach, anybody interested in this area who seeks an alternative to case-by-case arguments and explicit matrix calculations will find this book essential.

Professor Atiyah is one of the greatest living mathematicians and is well known throughout the mathematical world. He is a recipient of the Fields Medal, the mathematical equivalent of the Nobel Prize, and is still at the peak of his career. His huge number of published papers, focusing on the areas of algebraic geometry and topology, have here been collected into six volumes, divided thematically for easy reference by individuals interested in a particular subject.
This sixth volume in Michael Atiyah's collected works contains a selection of his publications since 1987, including his work on skyrmions, "Atiyah's axioms" for topological quantum field theories, monopoles, knots, K-theory, equivariant problems, point particles, and M-theory.

Tamari lattices originated from weakenings or reinterpretations of the familar associativity law. This has been the subject of Dov Tamari's thesis at the Sorbonne in Paris in 1951 and the central theme of his subsequent mathematical work. Tamari lattices can be realized in terms of polytopes called associahedra, which in fact also appeared first in Tamari's thesis.

By now these beautiful structures have made their appearance in many different areas of pure and applied mathematics, such as algebra, combinatorics, computer science, category theory, geometry, topology, and also in physics. Their interdisciplinary nature provides much fascination and value.

On the occasion of Dov Tamari's centennial birthday, this book provides an introduction to topical research related to Tamari's work and ideas. Most of the articles collected in it are written in a way accessible to a wide audience of students and researchers in mathematics and mathematical physics and are accompanied by high quality illustrations.

Lie theory is a mathematical framework for encoding the concept of symmetries of a problem, and was the central theme of an INdAM intensive research period at the Centro de Giorgi in Pisa, Italy, in the academic year 2014-2015. This book gathers the key outcomes of this period, addressing topics such as: structure and representation theory of vertex algebras, Lie algebras and superalgebras, as well as hyperplane arrangements with different approaches, ranging from geometry and topology to combinatorics.

This fourth volume in Vladimir Tkachuk's series on Cp-theory gives reasonably complete coverage of the theory of functional equivalencies through 500 carefully selected problems and exercises. By systematically introducing each of the major topics of Cp-theory, the book is intended to bring a dedicated reader from basic topological principles to the frontiers of modern research. The book presents complete and up-to-date information on the preservation of topological properties by homeomorphisms of function spaces. An exhaustive theory of t-equivalent, u-equivalent and l-equivalent spaces is developed from scratch. The reader will also find introductions to the theory of uniform spaces, the theory of locally convex spaces, as well as the theory of inverse systems and dimension theory. Moreover, the inclusion of Kolmogorov's solution of Hilbert's Problem 13 is included as it is needed for the presentation of the theory of l-equivalent spaces. This volume contains the most important classical results on functional equivalencies, in particular, Gul'ko and Khmyleva's example of non-preservation of compactness by t-equivalence, Okunev's method of constructing l-equivalent spaces and the theorem of Marciszewski and Pelant on u-invariance of absolute Borel sets.

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.

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

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."

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.

"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

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."

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.

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 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.

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.

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 second of a three-volume set collecting the original and now-classic works in topology written during the 1950s1960s. The original methods and constructions from these works are properly documented for the first time in this book. No existing book covers the beautiful ensemble of methods created in topology starting from approximately 1950, that is, from Serre's celebrated "singular homologies of fiber spaces."

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."

From the reviews: "This is a very interesting book containing material for a comprehensive study of the cyclid homological theory of algebras, cyclic sets and S1-spaces. Lie algebras and algebraic K-theory and an introduction to Connes'work and recent results on the Novikov conjecture. The book requires a knowledge of homological algebra and Lie algebra theory as well as basic technics coming from algebraic topology. The bibliographic comments at the end of each chapter offer good suggestions for further reading and research. The book can be strongly recommended to anybody interested in noncommutative geometry, contemporary algebraic topology and related topics." European Mathematical Society Newsletter

In this second edition the authors have added a chapter 13 on MacLane (co)homology.