Since techniques from topology and category theory have been used increasingly by theoretical computer scientists in recent years, it was decided during the Oxford Topology Symposium to hold a special session which would be devoted to the application of these topics in computer science. By holding this session in the context of the topology symposium, the organizers hoped to achieve a cross-fertilization between the communities they brought together - providing mathematicians with a course of new problems with a more practical flavour, and computer scientists with a source of solutions and ideas.

This book gathers the proceedings of the 2018 Abel Symposium, which was held in Geiranger, Norway, on June 4-8, 2018. The symposium offered an overview of the emerging field of "Topological Data Analysis". This volume presents papers on various research directions, notably including applications in neuroscience, materials science, cancer biology, and immune response. Providing an essential snapshot of the status quo, it represents a valuable asset for practitioners and those considering entering the field.

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.

This book is a survey of current topics in the mathematical theory of knots. For a mathematician, a knot is a closed loop in 3-dimensional space: imagine knotting an extension cord and then closing it up by inserting its plug into its outlet. Knot theory is of central importance in pure and applied mathematics, as it stands at a crossroads of topology, combinatorics, algebra, mathematical physics and biochemistry.
* Survey of mathematical knot theory
* Articles by leading world authorities
* Clear exposition, not over-technical
* Accessible to readers with undergraduate background in mathematics

This is a collection of surveys on important mathematical ideas, their origin, their evolution and their impact in current research. The authors are mathematicians who are leading experts in their fields. The book is addressed to all mathematicians, from undergraduate students to senior researchers, regardless of the specialty.

This volume considers the theory and applications of integrable Hamiltonian systems. Basic elements of Liouville functions and their singularities is systematically described and a classification of such systems for the case of integrable Hamiltonian systems with two degrees of freedom is presented. Nontrivial connections between the theory of integrable Hamiltonian systems with two degrees of freedom and three-dimensional topology is described and a topological description of the behaviour of integral trajectories under Liouville tori bifurcation is given. The book is divided into two parts, describing theory and applications respectively, and is well illustrated. It will be of use to graduate students of mathematics and mathematicians working in the theory of dynamical systems and their applications.

This book is designed for the reader who wants to get a general view of the terminology of General Topology with minimal time and effort. The reader, whom we assume to have only a rudimentary knowledge of set theory, algebra and analysis, will be able to find what they want if they will properly use the index. However, this book contains very few proofs and the reader who wants to study more systematically will find sufficiently many references in the book.

Key features:

- More terms from General Topology than any other book ever published
- Short and informative articles
- Authors include the majority of top researchers in the field
- Extensive indexing of terms

This invaluable book, based on the many years of teaching experience of both authors, introduces the reader to the basic ideas in differential topology. Among the topics covered are smooth manifolds and maps, the structure of the tangent bundle and its associates, the calculation of real cohomology groups using differential forms (de Rham theory), and applications such as the PoincariHopf theorem relating the Euler number of a manifold and the index of a vector field. Each chapter contains exercises of varying difficulty for which solutions are provided. Special features include examples drawn from geometric manifolds in dimension 3 and Brieskorn varieties in dimensions 5 and 7, as well as detailed calculations for the cohomology groups of spheres and tori.

This work describes fundamental groups and their topological soul mates, the covering spaces. An example of the algebraic topologist's dream come true, covering spaces are a geometric (that is, topological) structure that is completely characterized by its algebraic counterpart. areas of mathematics, but in keeping with the book's introductory aim, they are all quite elementary. Basic concepts are clearly defined, proofs are complete, and no results from the exercises are assumed in the text.

Contents:
Preface 1. Notations and Some Technical Results 2. Random Sets 3. Random Probability Measures and the Narrow Topology 4. Prohorov Theory for Random Probability Measures 5. Further Topologies on Random Measures 6. Invariant Measures and Some Ergodic theory for Random Dynamical Systems A. The Narrow Topology on Non-Random Measures B. Scattered Results Bibliography Index

In 1993, M Kontsevich proposed a conceptual framework for explaining the phenomenon of mirror symmetry. Mirror symmetry had been discovered by physicists in string theory as a duality between families of three-dimensional Calabi-Yau manifolds. Kontsevich's proposal uses Fukaya's construction of the A -category of Lagrangian submanifolds on the symplectic side and the derived category of coherent sheaves on the complex side. The theory of mirror symmetry was further enhanced by physicists in the language of D-branes and also by Strominger-Yau-Zaslow in the geometric set-up of (special) Lagrangian torus fibrations. It rapidly expanded its scope across from geometry, topology, algebra to physics.In this volume, leading experts in the field explore recent developments in relation to homological mirror symmetry, Floer theory, D-branes and Gromov-Witten invariants. Kontsevich-Soibelman describe their solution to the mirror conjecture on the abelian variety based on the deformation theory of A -categories, and Ohta describes recent work on the Lagrangian intersection Floer theory by Fukaya-Oh-Ohta-Ono which takes an important step towards a rigorous construction of the A -category. There follow a number of contributions on the homological mirror symmetry, D-branes and the Gromov-Witten invariants, e.g. Getzler shows how the Toda conjecture follows from recent work of Givental, Okounkov and Pandharipande. This volume provides a timely presentation of the important developments of recent years in this rapidly growing field.

Dirk van Dalen's biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer's main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name 'intuitionism'. This made him one of the main protagonists in the 'foundation crisis' of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century.

Geometric Topology is a foundational component of modern mathematics, involving the study of spacial properties and invariants of familiar objects such as manifolds and complexes. This volume, which is intended both as an introduction to the subject and as a wide ranging resouce for those already grounded in it, consists of 21 expository surveys written by leading experts and covering active areas of current research. They provide the reader with an up-to-date overview of this flourishing branch of mathematics.

Historically, science has strived to reduced complex problems to its simplest components, but more recently, it has recognized the merit of studying complex phenomena in situ. Fractal geometry is one such appealing approach, and this book discusses their application to complex problems in molecular biophysics. It provides a detailed, unified treatment of fractal aspects of protein and structure dynamics, fractal reaction kinetics in biochemical systems, sequence correlations in DNA and proteins, and descriptors of chaos in enzymatic systems. In an area that has been slow to acknowledge the use of fractals, this is an important addition to the literature, offering a glimpse of the wealth of possible applications. application to complex problems

On the basis of Hua Loo-Kengs results on harmonic analysis on classical groups, the author Gong Sheng develops his subject further, drawing togetherresults of his own research as well as works from other Chinese mathematicians. The book is divided into three parts studying harmonic analysis of various groups. Starting with the discussion on unitary groups in part one, the author moves on to rotation groups and unitary symplectic groups in parts 2 and 3. Thus the book provides a survey of harmonic analysis on characteristic manifold of classical domain of first type for real fields, complex fields and quaternion fields. This study will appeal to a wide range of readers from senior mathematics students up to graduate students and to teachers in this field of mathematics.

Based on selected papers presented at the 19th International Federatio Includes essential data on exact boundary controllability of thermoela Written by more than 25 specialists in various disciplines Providing o ver 1700 equations, tables, and references, this state-of-the-art refe rence is an invaluable tool for mathematical analysts in control, opti mization, distributed systems, and modeling; applied mathematicians; c ontrol, electrical, and electronics engineers; computer scientists; an d upper-level undergraduate and graduate students in these disciplines .

This book aims to provide an introduction to the broad and dynamic subject of discrete energy problems and point configurations. Written by leading authorities on the topic, this treatise is designed with the graduate student and further explorers in mind. The presentation includes a chapter of preliminaries and an extensive Appendix that augments a course in Real Analysis and makes the text self-contained. Along with numerous attractive full-color images, the exposition conveys the beauty of the subject and its connection to several branches of mathematics, computational methods, and physical/biological applications. This work is destined to be a valuable research resource for such topics as packing and covering problems, generalizations of the famous Thomson Problem, and classical potential theory in Rd. It features three chapters dealing with point distributions on the sphere, including an extensive treatment of Delsarte-Yudin-Levenshtein linear programming methods for lower bounding energy, a thorough treatment of Cohn-Kumar universality, and a comparison of 'popular methods' for uniformly distributing points on the two-dimensional sphere. Some unique features of the work are its treatment of Gauss-type kernels for periodic energy problems, its asymptotic analysis of minimizing point configurations for non-integrable Riesz potentials (the so-called Poppy-seed bagel theorems), its applications to the generation of non-structured grids of prescribed densities, and its closing chapter on optimal discrete measures for Chebyshev (polarization) problems.

Many advanced mathematical disciplines, such as dynamical systems, calculus of variations, differential geometry and the theory of Lie groups, have a common foundation in general topology and calculus in normed vector spaces. In this book, mathematically inclined engineering students are offered an opportunity to go into some depth with fundamental notions from mathematical analysis that are not only important from a mathematical point of view but also occur frequently in the more theoretical parts of the engineering sciences. The book should also appeal to university students in mathematics and in the physical sciences.

Topology, for many years, has been one of the most exciting and influential fields of research in modern mathematics. Although its origins may be traced back several hundred years, it was Poincare who "gave topology wings" in a classic series of articles published around the turn of the century. While the earlier history, sometimes called the prehistory, is also considered, this volume is mainly concerned with the more recent history of topology, from Poincare onwards.
As will be seen from the list of contents the articles cover a wide range of topics. Some are more technical than others, but the reader without a great deal of technical knowledge should still find most of the articles accessible. Some are written by professional historians of mathematics, others by historically-minded mathematicians, who tend to have a different viewpoint.

The Geometry Toolbox takes a novel and particularly visual approach to teaching the basic concepts of two- and three-dimensional geometry. It explains the geometry essential for today's computer modeling, computer graphics, and animation systems. While the basic theory is completely covered, the emphasis of the book is not on abstract proofs but rather on examples and algorithms. The Geometry Toolbox is the ideal text for professionals who want to get acquainted with the latest geometric tools. The chapters on basic curves and surfaces form an ideal stepping stone into the world of graphics and modeling. It is also a unique textbook for a modern introduction to linear algebra and matrix theory.

The abstract homotopy theory is based on the observation that analogues of much of the topological homotopy theory and simple homotopy theory exist in many other categories (e.g. spaces over a fixed base, groupoids, chain complexes, module categories). Studying categorical versions of homotopy structure, such as cylinders and path space constructions, enables not only a unified development of many examples of known homotopy theories but also reveals the inner working of the classical spatial theory. This demonstrates the logical interdependence of properties (in particular the existence of certain Kan fillers in associated cubical sets) and results (Puppe sequences, Vogt's Iemma, Dold's theorem on fibre homotopy equivalences, and homotopy coherence theory).

This book presents the main mathematical prerequisites for analysis in metric spaces. It covers abstract measure theory, Hausdorff measures, Lipschitz functions, covering theorums, lower semicontinuity of the one-dimensional Hausdorff measure, Sobolev spaces of maps between metric spaces, and Gromov-Hausdorff theory, all developed ina general metric setting. The existence of geodesics (and more generally of minimal Steiner connections) is discussed on general metric spaces and as an application of the Gromov-Hausdorff theory, even in some cases when the ambient space is not locally compact. A brief and very general description of the theory of integration with respect to non-decreasing set functions is presented following the Di Giorgi method of using the 'cavalieri' formula as the definition of the integral. Based on lecture notes from Scuola Normale, this book presents the main mathematical prerequisites for analysis in metric spaces. Supplemented with exercises of varying difficulty it is ideal for a graduate-level short course for applied mathematicians and engineers.

This important reference - based on the proceedings of the Special Session on Geometry and Physics held over a six-month period at the University of Aarhus, Denmark, and on articles from the summer school held at Odense University, Denmark - offers new contributions on a host of topics that involve physics, geometry, and topology. Written by more than 50 leading international experts, Geometry and Physics presents the Seiberg-Witten invariants that facilitate the solution of open problems in Donaldson's theory...describes applications of the Seiberg-Witten invariants...analyzes moduli spaces of semi-stable bundles over Riemann surfaces...addresses operator algebras and topology...demonstrates the planar topological aspects of subfactors...examines symplectic geometry and Einstein metrics...discusses novel ways of computing curvature and holonomy for the determinant line bundle...elucidates the new topic of finite type invariants of three-manifolds and relations with nonperturbative quantum invariants...delineates recent work on a purely topological approach to physics-inspired invariants...and much more. Generously illustrated and containing over 800 key bibliographic citations, Geometry and Physics is an indispensable resource for geometers, topologists, mathematical and theoretical physicists, and graduate-level students in these disciplines.

The language of ends and (co)ends provides a natural and general way of expressing many phenomena in category theory, in the abstract and in applications. Yet although category-theoretic methods are now widely used by mathematicians, since (co)ends lie just beyond a first course in category theory, they are typically only used by category theorists, for whom they are something of a secret weapon. This book is the first systematic treatment of the theory of (co)ends. Aimed at a wide audience, it presents the (co)end calculus as a powerful tool to clarify and simplify definitions and results in category theory and export them for use in diverse areas of mathematics and computer science. It is organised as an easy-to-cite reference manual, and will be of interest to category theorists and users of category theory alike.

Fractal Geometry in Biological Systems was written by the leading experts in the field of mathematics and the biological sciences together. It is intended to inform researchers in the bringing about the fundamental nature of fractals and their widespread appearance in biological systems. The chapters explain how the presence of fractal geometry can be used in an analytical way to predict outcomes in systems, to generate hypotheses, and to help design experiments. The authors make the mathematics accessible to a wide audience and do not assume prior experience in this area.