This book provides quick access to the theory of Lie groups and isometric actions on smooth manifolds, using a concise geometric approach. After a gentle introduction to the subject, some of its recent applications to active research areas are explored, keeping a constant connection with the basic material. The topics discussed include polar actions, singular Riemannian foliations, cohomogeneity one actions, and positively curved manifolds with many symmetries. This book stems from the experience gathered by the authors in several lectures along the years and was designed to be as self-contained as possible. It is intended for advanced undergraduates, graduate students and young researchers in geometry and can be used for a one-semester course or independent study.

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.

Incorporated in this 2003 volume are the first two books in Mukai's series on moduli theory. The notion of a moduli space is central to geometry. However, its influence is not confined there; for example, the theory of moduli spaces is a crucial ingredient in the proof of Fermat's last theorem. Researchers and graduate students working in areas ranging from Donaldson or Seiberg-Witten invariants to more concrete problems such as vector bundles on curves will find this to be a valuable resource. Amongst other things this volume includes an improved presentation of the classical foundations of invarant theory that, in addition to geometers, would be useful to those studying representation theory. This translation gives an accurate account of Mukai's influential Japanese texts.

This book emphasizes in detail the applicability of the Optimal Homotopy Asymptotic Method to various engineering problems. It is a continuation of the book "Nonlinear Dynamical Systems in Engineering: Some Approximate Approaches", published at Springer in 2011 and it contains a great amount of practical models from various fields of engineering such as classical and fluid mechanics, thermodynamics, nonlinear oscillations, electrical machines and so on. The main structure of the book consists of 5 chapters. The first chapter is introductory while the second chapter is devoted to a short history of the development of homotopy methods, including the basic ideas of the Optimal Homotopy Asymptotic Method. The last three chapters, from Chapter 3 to Chapter 5, are introducing three distinct alternatives of the Optimal Homotopy Asymptotic Method with illustrative applications to nonlinear dynamical systems. The third chapter deals with the first alternative of our approach with two iterations. Five applications are presented from fluid mechanics and nonlinear oscillations. The Chapter 4 presents the Optimal Homotopy Asymptotic Method with a single iteration and solving the linear equation on the first approximation. Here are treated 32 models from different fields of engineering such as fluid mechanics, thermodynamics, nonlinear damped and undamped oscillations, electrical machines and even from physics and biology. The last chapter is devoted to the Optimal Homotopy Asymptotic Method with a single iteration but without solving the equation in the first approximation.

This innovative textbook introduces a new pattern-based approach to learning proof methods in the mathematical sciences. Readers will discover techniques that will enable them to learn new proofs across different areas of pure mathematics with ease. The patterns in proofs from diverse fields such as algebra, analysis, topology and number theory are explored. Specific topics examined include game theory, combinatorics and Euclidean geometry, enabling a broad familiarity. The author, an experienced lecturer and researcher renowned for his innovative view and intuitive style, illuminates a wide range of techniques and examples from duplicating the cube to triangulating polygons to the infinitude of primes to the fundamental theorem of algebra. Intended as a companion for undergraduate students, this text is an essential addition to every aspiring mathematician's toolkit.

This self-contained monograph explores a new theory centered around boolean representations of simplicial complexes leading to a new class of complexes featuring matroids as central to the theory. The book illustrates these new tools to study the classical theory of matroids as well as their important geometric connections. Moreover, many geometric and topological features of the theory of matroids find their counterparts in this extended context. Graduate students and researchers working in the areas of combinatorics, geometry, topology, algebra and lattice theory will find this monograph appealing due to the wide range of new problems raised by the theory. Combinatorialists will find this extension of the theory of matroids useful as it opens new lines of research within and beyond matroids. The geometric features and geometric/topological applications will appeal to geometers. Topologists who desire to perform algebraic topology computations will appreciate the algorithmic potential of boolean representable complexes.

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

The featured review of the AMS describes the author s earlier work in the field of approach spaces as, A landmark in the history of general topology . In this book, the author has expanded this study further and taken it in a new and exciting direction.

The number of conceptually and technically different systems which characterize approach spaces is increased and moreover their uniform counterpart, uniform gauge spaces, is put into the picture. An extensive study of completions, both for approach spaces and for uniform gauge spaces, as well as compactifications for approach spaces is performed. A paradigm shift is created by the new concept of index analysis.

Making use of the rich intrinsic quantitative information present in approach structures, a technique is developed whereby indices are defined that measure the extent to which properties hold, and theorems become inequalities involving indices; therefore vastly extending the realm of applicability of many classical results. The theory is then illustrated in such varied fields as topology, functional analysis, probability theory, hyperspace theory and domain theory. Finally a comprehensive analysis is made concerning the categorical aspects of the theory and its links with other topological categories.

"Index Analysis" will be useful for mathematicians working in category theory, topology, probability and statistics, functional analysis, and theoretical computer science."

Cohomology and homology modulo 2 helps the reader grasp more readily the basics of a major tool in algebraic topology. Compared to a more general approach to (co)homology this refreshing approach has many pedagogical advantages: 1. It leads more quickly to the essentials of the subject, 2. An absence of signs and orientation considerations simplifies the theory, 3. Computations and advanced applications can be presented at an earlier stage, 4. Simple geometrical interpretations of (co)chains. Mod 2 (co)homology was developed in the first quarter of the twentieth century as an alternative to integral homology, before both became particular cases of (co)homology with arbitrary coefficients. The first chapters of this book may serve as a basis for a graduate-level introductory course to (co)homology. Simplicial and singular mod 2 (co)homology are introduced, with their products and Steenrod squares, as well as equivariant cohomology. Classical applications include Brouwer's fixed point theorem, Poincare duality, Borsuk-Ulam theorem, Hopf invariant, Smith theory, Kervaire invariant, etc. The cohomology of flag manifolds is treated in detail (without spectral sequences), including the relationship between Stiefel-Whitney classes and Schubert calculus. More recent developments are also covered, including topological complexity, face spaces, equivariant Morse theory, conjugation spaces, polygon spaces, amongst others. Each chapter ends with exercises, with some hints and answers at the end of the book.

Manifolds fall naturally into two classes depending on whether they can be fitted with a distance measuring function or not. The former, metrisable manifolds, and especially compact manifolds, have been intensively studied by topologists for over a century, whereas the latter, non-metrisable manifolds, are much more abundant but have a more modest history, having become of increasing interest only over the past 40 years or so. The first book on this topic, this book ranges from criteria for metrisability, dynamics on non-metrisable manifolds, Nyikos's Bagpipe Theorem and whether perfectly normal manifolds are metrisable to structures on manifolds, especially the abundance of exotic differential structures and the dearth of foliations on the long plane. A rigid foliation of the Euclidean plane is described. This book is intended for graduate students and mathematicians who are curious about manifolds beyond the metrisability wall, and especially the use of Set Theory as a tool.

This third edition is addressed to the mathematician or graduate student of mathematics - or even the well-prepared undergraduate - who would like, with a minimum of background and preparation, to understand some of the beautiful results at the heart of nonlinear analysis. Based on carefully-expounded ideas from several branches of topology, and illustrated by a wealth of figures that attest to the geometric nature of the exposition, the book will be of immense help in providing its readers with an understanding of the mathematics of the nonlinear phenomena that characterize our real world. Included in this new edition are several new chapters that present the fixed point index and its applications. The exposition and mathematical content is improved throughout. This book is ideal for self-study for mathematicians and students interested in such areas of geometric and algebraic topology, functional analysis, differential equations, and applied mathematics. It is a sharply focused and highly readable view of nonlinear analysis by a practicing topologist who has seen a clear path to understanding. "For the topology-minded reader, the book indeed has a lot to offer: written in a very personal, eloquent and instructive style it makes one of the highlights of nonlinear analysis accessible to a wide audience."-Monatshefte fur Mathematik (2006)

Few books on the subject of Riemann surfaces cover the relatively modern theory of dessins d'enfants (children's drawings), which was launched by Grothendieck in the 1980s and is now an active field of research. In this 2011 book, the authors begin with an elementary account of the theory of compact Riemann surfaces viewed as algebraic curves and as quotients of the hyperbolic plane by the action of Fuchsian groups of finite type. They then use this knowledge to introduce the reader to the theory of dessins d'enfants and its connection with algebraic curves defined over number fields. A large number of worked examples are provided to aid understanding, so no experience beyond the undergraduate level is required. Readers without any previous knowledge of the field of dessins d'enfants are taken rapidly to the forefront of current research.

Few books on the subject of Riemann surfaces cover the relatively modern theory of dessins d'enfants (children's drawings), which was launched by Grothendieck in the 1980s and is now an active field of research. In this 2011 book, the authors begin with an elementary account of the theory of compact Riemann surfaces viewed as algebraic curves and as quotients of the hyperbolic plane by the action of Fuchsian groups of finite type. They then use this knowledge to introduce the reader to the theory of dessins d'enfants and its connection with algebraic curves defined over number fields. A large number of worked examples are provided to aid understanding, so no experience beyond the undergraduate level is required. Readers without any previous knowledge of the field of dessins d'enfants are taken rapidly to the forefront of current research.

The algebraic techniques developed by Kakde will almost certainly lead eventually to major progress in the study of congruences between automorphic forms and the main conjectures of non-commutative Iwasawa theory for many motives. Non-commutative Iwasawa theory has emerged dramatically over the last decade, culminating in the recent proof of the non-commutative main conjecture for the Tate motive over a totally real p-adic Lie extension of a number field, independently by Ritter and Weiss on the one hand, and Kakde on the other. The initial ideas for giving a precise formulation of the non-commutative main conjecture were discovered by Venjakob, and were then systematically developed in the subsequent papers by Coates-Fukaya-Kato-Sujatha-Venjakob and Fukaya-Kato. There was also parallel related work in this direction by Burns and Flach on the equivariant Tamagawa number conjecture. Subsequently, Kato discovered an important idea for studying the K_1 groups of non-abelian Iwasawa algebras in terms of the K_1 groups of the abelian quotients of these Iwasawa algebras. Kakde's proof is a beautiful development of these ideas of Kato, combined with an idea of Burns, and essentially reduces the study of the non-abelian main conjectures to abelian ones. The approach of Ritter and Weiss is more classical, and partly inspired by techniques of Frohlich and Taylor. Since many of the ideas in this book should eventually be applicable to other motives, one of its major aims is to provide a self-contained exposition of some of the main general themes underlying these developments. The present volume will be a valuable resource for researchers working in both Iwasawa theory and the theory of automorphic forms.

Algebra, geometry and topology cover a variety of different, but intimately related research fields in modern mathematics. This book focuses on specific aspects of this interaction. The present volume contains refereed papers which were presented at the International Conference "Experimental and Theoretical Methods in Algebra, Geometry and Topology", held in Eforie Nord (near Constanta), Romania, during 20-25 June 2013. The conference was devoted to the 60th anniversary of the distinguished Romanian mathematicians Alexandru Dimca and Stefan Papadima. The selected papers consist of original research work and a survey paper. They are intended for a large audience, including researchers and graduate students interested in algebraic geometry, combinatorics, topology, hyperplane arrangements and commutative algebra. The papers are written by well-known experts from different fields of mathematics, affiliated to universities from all over the word, they cover a broad range of topics and explore the research frontiers of a wide variety of contemporary problems of modern mathematics.

This monograph presents theoretical methods involving the Hamilton-Jacobi-Bellman formalism in conjunction with set-valued techniques of nonlinear analysis to solve significant problems in dynamics and control. The emphasis is on issues of reachability, feedback control synthesis under complex state constraints, hard or double bounds on controls, and performance in finite time. Guaranteed state estimation, output feedback control, and hybrid dynamics are also discussed. Although the focus is on systems with linear structure, the authors indicate how to apply each approach to nonlinear and nonconvex systems. The main theoretical results lead to computational schemes based on extensions of ellipsoidal calculus that provide complete solutions to the problems. These computational schemes in turn yield software tools that can be applied effectively to high-dimensional systems. Ellipsoidal Techniques for Problems of Dynamics and Control: Theory and Computation will interest graduate and senior undergraduate students, as well as researchers and practitioners interested in control theory, its applications, and its computational realizations.

This is a monograph on fixed point theory, covering the purely metric aspects of the theory-particularly results that do not depend on any algebraic structure of the underlying space. Traditionally, a large body of metric fixed point theory has been couched in a functional analytic framework. This aspect of the theory has been written about extensively. There are four classical fixed point theorems against which metric extensions are usually checked. These are, respectively, the Banach contraction mapping principal, Nadler's well known set-valued extension of that theorem, the extension of Banach's theorem to nonexpansive mappings, and Caristi's theorem. These comparisons form a significant component of this book. This book is divided into three parts. Part I contains some aspects of the purely metric theory, especially Caristi's theorem and a few of its many extensions. There is also a discussion of nonexpansive mappings, viewed in the context of logical foundations. Part I also contains certain results in hyperconvex metric spaces and ultrametric spaces. Part II treats fixed point theory in classes of spaces which, in addition to having a metric structure, also have geometric structure. These specifically include the geodesic spaces, length spaces and CAT(0) spaces. Part III focuses on distance spaces that are not necessarily metric. These include certain distance spaces which lie strictly between the class of semimetric spaces and the class of metric spaces, in that they satisfy relaxed versions of the triangle inequality, as well as other spaces whose distance properties do not fully satisfy the metric axioms.

This book provides a detailed and largely self-contained description of various classical and new results on solvability and unsolvability of equations in explicit form. In particular, it offers a complete exposition of the relatively new area of topological Galois theory, initiated by the author. Applications of Galois theory to solvability of algebraic equations by radicals, basics of Picard-Vessiot theory, and Liouville's results on the class of functions representable by quadratures are also discussed. A unique feature of this book is that recent results are presented in the same elementary manner as classical Galois theory, which will make the book useful and interesting to readers with varied backgrounds in mathematics, from undergraduate students to researchers. In this English-language edition, extra material has been added (Appendices A-D), the last two of which were written jointly with Yura Burda.

As many readers will know, the 20th century was a time when the fields of mathematics and the sciences were seen as two separate entities. Caused by the rapid growth of the physical sciences and an increasing abstraction in mathematical research, each party, physicists and mathematicians alike, suffered a misconception; not only of the opposition's theoretical underpinning, but of how the two subjects could be intertwined and effectively utilized. One sub-discipline that played a part in the union of the two subjects is Theoretical Physics. Breaking it down further came the fundamental theories, Relativity and Quantum theory, and later on Yang-Mills theory. Other areas to emerge in this area are those derived from the works of Donaldson, Chern-Simons, Floer-Fukaya, and Seiberg-Witten. Aimed at a wide audience, Physical Topics in Mathematics demonstrates how various physical theories have played a crucial role in the developments of Mathematics and in particular, Geometric Topology. Issues are studied in great detail, and the book steadfastly covers the background of both Mathematics and Theoretical Physics in an effort to bring the reader to a deeper understanding of their interaction. Whilst the world of Theoretical Physics and Mathematics is boundless; it is not the intention of this book to cover its enormity. Instead, it seeks to lead the reader through the world of Physical Mathematics; leaving them with a choice of which realm they wish to visit next.

This book is devoted to the topological fixed point theory of multivalued mappings including applications to differential inclusions and mathematical economy. It is the first monograph dealing with the fixed point theory of multivalued mappings in metric ANR spaces. Although the theoretical material was tendentiously selected with respect to applications, the text is self-contained. Current results are presented.

A Course in Topological Combinatorics is the first undergraduate textbook on the field of topological combinatorics, a subject that has become an active and innovative research area in mathematics over the last thirty years with growing applications in math, computer science, and other applied areas. Topological combinatorics is concerned with solutions to combinatorial problems by applying topological tools. In most cases these solutions are very elegant and the connection between combinatorics and topology often arises as an unexpected surprise. The textbook covers topics such as fair division, graph coloring problems, evasiveness of graph properties, and embedding problems from discrete geometry. The text contains a large number of figures that support the understanding of concepts and proofs. In many cases several alternative proofs for the same result are given, and each chapter ends with a series of exercises. The extensive appendix makes the book completely self-contained. The textbook is well suited for advanced undergraduate or beginning graduate mathematics students. Previous knowledge in topology or graph theory is helpful but not necessary. The text may be used as a basis for a one- or two-semester course as well as a supplementary text for a topology or combinatorics class.

The study of higher categories is attracting growing interest for its many applications in topology, algebraic geometry, mathematical physics and category theory. In this highly readable book, Carlos Simpson develops a full set of homotopical algebra techniques and proposes a working theory of higher categories. Starting with a cohesive overview of the many different approaches currently used by researchers, the author proceeds with a detailed exposition of one of the most widely used techniques: the construction of a Cartesian Quillen model structure for higher categories. The fully iterative construction applies to enrichment over any Cartesian model category, and yields model categories for weakly associative n-categories and Segal n-categories. A corollary is the construction of higher functor categories which fit together to form the (n+1)-category of n-categories. The approach uses Tamsamani's definition based on Segal's ideas, iterated as in Pelissier's thesis using modern techniques due to Barwick, Bergner, Lurie and others.

In many areas of mathematics some "higher operations" are arising. These havebecome so important that several research projects refer to such expressions. Higher operationsform new types of algebras. The key to understanding and comparing them, to creating invariants of their action is operad theory. This is a point of view that is 40 years old in algebraic topology, but the new trend is its appearance in several other areas, such as algebraic geometry, mathematical physics, differential geometry, and combinatorics. The present volume is the first comprehensive and systematic approach to algebraic operads. An operad is an algebraic device that serves to study all kinds of algebras (associative, commutative, Lie, Poisson, A-infinity, etc.) from a conceptual point of view. The book presents this topic with an emphasis on Koszul duality theory. After a modern treatment of Koszul duality for associative algebras, the theory is extended to operads. Applications to homotopy algebra are given, for instance the Homotopy Transfer Theorem. Although the necessary notions of algebra are recalled, readers are expected to be familiar with elementary homological algebra. Each chapter ends with a helpful summary and exercises. A full chapter is devoted to examples, and numerous figures are included. After a low-level chapter on Algebra, accessible to (advanced) undergraduate students, the level increases gradually through the book. However, the authors have done their best to make it suitable for graduate students: three appendices review the basic results needed in order to understand the various chapters. Since higher algebra is becoming essential in several research areas like deformation theory, algebraic geometry, representation theory, differential geometry, algebraic combinatorics, and mathematical physics, the book can also be used as a reference work by researchers.

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.

The Farrell-Jones isomorphism conjecture in algebraic K-theory offers a description of the algebraic K-theory of a group using a generalized homology theory. In cases where the conjecture is known to be a theorem, it gives a powerful method for computing the lower algebraic K-theory of a group. This book contains a computation of the lower algebraic K-theory of the split three-dimensional crystallographic groups, a geometrically important class of three-dimensional crystallographic group, representing a third of the total number. The book leads the reader through all aspects of the calculation. The first chapters describe the split crystallographic groups and their classifying spaces. Later chapters assemble the techniques that are needed to apply the isomorphism theorem. The result is a useful starting point for researchers who are interested in the computational side of the Farrell-Jones isomorphism conjecture, and a contribution to the growing literature in the field.