This book treats that part of Riemannian geometry related to more classical topics in a very original, clear and solid style. Before going to Riemannian geometry, the author presents a more general theory of manifolds with a linear connection. Having in mind different generalizations of Riemannian manifolds, it is clearly stressed which notions and theorems belong to Riemannian geometry and which of them are of a more general nature. Much attention is paid to transformation groups of smooth manifolds. Throughout the book, different aspects of symmetric spaces are treated. The author successfully combines the co-ordinate and invariant approaches to differential geometry, which give the reader tools for practical calculations as well as a theoretical understanding of the subject. The book contains a very useful large Appendix on foundations of differentiable manifolds and basic structures on them which makes it self-contained and practically independent from other sources.

This is the first exposition of the quantization theory of singular symplectic (Marsden-Weinstein) quotients and their applications to physics. The reader will acquire an introduction to the various techniques used in this area, as well as an overview of the latest research approaches. These involve classical differential and algebraic geometry, as well as operator algebras and noncommutative geometry. Thus one will be amply prepared to follow future developments in this field.

This book expresses the full understanding of Weyl's formula for the volume of a tube, its roots and its implications. Historical notes and Mathematica drawings have been added to this revised second edition.

From the reviews:

"Will do much to make Weyl's tube formula more accessible to modern readers.... A high point is the presentation of estimates for the volumes of tubes in ambient Riemannian manifolds whose curvature is bounded above or below."

--BULLETIN OF THE AMS

Several important aspects of moduli spaces and irreducible holomorphic symplectic manifolds were highlighted at the conference "Algebraic and Complex Geometry" held September 2012 in Hannover, Germany. These two subjects of recent ongoing progress belong to the most spectacular developments in Algebraic and Complex Geometry. Irreducible symplectic manifolds are of interest to algebraic and differential geometers alike, behaving similar to K3 surfaces and abelian varieties in certain ways, but being by far less well-understood. Moduli spaces, on the other hand, have been a rich source of open questions and discoveries for decades and still continue to be a hot topic in itself as well as with its interplay with neighbouring fields such as arithmetic geometry and string theory. Beyond the above focal topics this volume reflects the broad diversity of lectures at the conference and comprises 11 papers on current research from different areas of algebraic and complex geometry sorted in alphabetic order by the first author. It also includes a full list of speakers with all titles and abstracts.

Expositions of quantitative methods and algorithms for biological data tend to be scattered through the technical literature, often across different fields, and are thus awkward to assimilate. This book documents one example of this: the relationship between the cell biology idea of metabolic networks and the mathematical idea of polyhedral cones. Such cones can be used to describe the set of steady-state admissible fluxes through metabolic networks, and consequently have become important constructs in the field of microbiology. Via convex cone concepts, fundamental objects called elementary flux modes (EFMs) can be described mathematically. The fundamental algorithm of this relationship is the double description method, which has an extended history in the field of computational geometry. This monograph addresses its relatively recent use in the context of cellular metabolism. Metabolic Networks, Elementary Flux Modes, and Polyhedral Cones: Addresses important topics in the mathematical description of metabolic activity that have not previously appeared in unified form. Introduces a central topic of mathematical systems biology in a manner accessible to nonmathematicians with some mathematical and computational experience. Presents a careful study of the double description method, a fundamental algorithm of computational geometry, in the context of metabolic analysis. The core audience for this book includes mathematicians, engineers, and biologists interested in cell metabolism. Computational geometers will also find it of interest.

Originally published in 1931 as a guide for mathematically-minded geography students, this book addresses the mathematical theories underlying the construction of maps. Melluish reviews the problems inherent in depicting a sphere on a flat plane and the various ways in which these problems can be solved by varying projections. This book will be of value to anyone with an interest in the mathematical underpinnings of maps.

The Radon transform is an important topic in integral geometry which deals with the problem of expressing a function on a manifold in terms of its integrals over certain submanifolds. Solutions to such problems have a wide range of applications, namely to partial differential equations, group representations, X-ray technology, nuclear magnetic resonance scanning, and tomography. This second edition, significantly expanded and updated, presents new material taking into account some of the progress made in the field since 1980. Aimed at beginning graduate students, this monograph will be useful in the classroom or as a resource for self-study. Readers will find here an accessible introduction to Radon transform theory, an elegant topic in integral geometry.

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.

This book draws on elements from everyday life, architecture, and the arts to provide the reader with elementary notions of geometric topology. Pac Man, subway maps, and architectural blueprints are the starting point for exploring how knowledge about geometry and, more specifically, topology has been consolidated over time, offering a learning journey that is both dense and enjoyable. The text begins with a discussion of mathematical models, moving on to Platonic and Keplerian theories that explain the Cosmos. Geometry from Felix Klein's point of view is then presented, paving the way to an introduction to topology. The final chapters present the concepts of closed, orientable, and non-orientable surfaces, as well as hypersurface models. Adopting a style that is both rigorous and accessible, this book will appeal to a broad audience, from curious students and researchers in various areas of knowledge to everyone who feels instigated by the power of mathematics in representing our world - and beyond.

The book consists of articles based on the XXXVII Bialowieza Workshop on Geometric Methods in Physics, 2018. The series of Bialowieza workshops, attended by a community of experts at the crossroads of mathematics and physics, is a major annual event in the field. This edition of the workshop featured a special session dedicated to Professor Daniel Sternheimer on the occasion of his 80th birthday. The previously unpublished papers present cutting-edge current research, typically grounded in geometry and analysis, with applications to classical and quantum physics. For the past seven years, the Bialowieza Workshops have been complemented by a School on Geometry and Physics comprising a series of advanced lectures for graduate students and early-career researchers. The book also includes abstracts of the five lecture series that were given at the seventh school.

It isn't that they can't see the solution. It is Approach your problems from the right end and begin with the answers. Then one day, that they can't see the problem perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Oad in Crane Feathers' in R. Brown 'The point of a Pin'. van Gu ik's The Chillese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non-trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics," "CFD," "completely integrable systems," "chaos, synergetics and large-scale order," which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics.

While it is well known that the Delian problems are impossible to solve with a straightedge and compass - for example, it is impossible to construct a segment whose length is cube root of 2 with these instruments - the discovery of the Italian mathematician Margherita Beloch Piazzolla in 1934 that one can in fact construct a segment of length cube root of 2 with a single paper fold was completely ignored (till the end of the 1980s). This comes as no surprise, since with few exceptions paper folding was seldom considered as a mathematical practice, let alone as a mathematical procedure of inference or proof that could prompt novel mathematical discoveries. A few questions immediately arise: Why did paper folding become a non-instrument? What caused the marginalisation of this technique? And how was the mathematical knowledge, which was nevertheless transmitted and prompted by paper folding, later treated and conceptualised? Aiming to answer these questions, this volume provides, for the first time, an extensive historical study on the history of folding in mathematics, spanning from the 16th century to the 20th century, and offers a general study on the ways mathematical knowledge is marginalised, disappears, is ignored or becomes obsolete. In doing so, it makes a valuable contribution to the field of history and philosophy of science, particularly the history and philosophy of mathematics and is highly recommended for anyone interested in these topics.

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.

The package of Gromov's pseudo-holomorphic curves is a major tool in global symplectic geometry and its applications, including mirror symmetry and Hamiltonian dynamics. The Kuranishi structure was introduced by two of the authors of the present volume in the mid-1990s to apply this machinery on general symplectic manifolds without assuming any specific restrictions. It was further amplified by this book's authors in their monograph Lagrangian Intersection Floer Theory and in many other publications of theirs and others. Answering popular demand, the authors now present the current book, in which they provide a detailed, self-contained explanation of the theory of Kuranishi structures. Part I discusses the theory on a single space equipped with Kuranishi structure, called a K-space, and its relevant basic package. First, the definition of a K-space and maps to the standard manifold are provided. Definitions are given for fiber products, differential forms, partitions of unity, and the notion of CF-perturbations on the K-space. Then, using CF-perturbations, the authors define the integration on K-space and the push-forward of differential forms, and generalize Stokes' formula and Fubini's theorem in this framework. Also, "virtual fundamental class" is defined, and its cobordism invariance is proved. Part II discusses the (compatible) system of K-spaces and the process of going from "geometry" to "homological algebra". Thorough explanations of the extension of given perturbations on the boundary to the interior are presented. Also explained is the process of taking the "homotopy limit" needed to handle a system of infinitely many moduli spaces. Having in mind the future application of these chain level constructions beyond those already known, an axiomatic approach is taken by listing the properties of the system of the relevant moduli spaces and then a self-contained account of the construction of the associated algebraic structures is given. This axiomatic approach makes the exposition contained here independent of previously published construction of relevant structures.

This book offers a rigorous and coherent introduction to the five basic number systems of mathematics, namely natural numbers, integers, rational numbers, real numbers, and complex numbers. It is a subject that many mathematicians believe should be learned by any student of mathematics including future teachers. The book starts with the development of Peano arithmetic in the first chapter which includes mathematical induction and elements of recursion theory. It proceeds to an examination of integers that also covers rings and ordered integral domains. The presentation of rational numbers includes material on ordered fields and convergence of sequences in these fields. Cauchy and Dedekind completeness properties of the field of real numbers are established, together with some properties of real continuous functions. An elementary proof of the Fundamental Theorem of Algebra is the highest point of the chapter on complex numbers. The great merit of the book lies in its extensive list of exercises following each chapter. These exercises are designed to assist the instructor and to enhance the learning experience of the students.

Over the course of his distinguished career, Nicolai Reshetikhin has made a number of groundbreaking contributions in several fields, including representation theory, integrable systems, and topology. The chapters in this volume - compiled on the occasion of his 60th birthday - are written by distinguished mathematicians and physicists and pay tribute to his many significant and lasting achievements. Covering the latest developments at the interface of noncommutative algebra, differential and algebraic geometry, and perspectives arising from physics, this volume explores topics such as the development of new and powerful knot invariants, new perspectives on enumerative geometry and string theory, and the introduction of cluster algebra and categorification techniques into a broad range of areas. Chapters will also cover novel applications of representation theory to random matrix theory, exactly solvable models in statistical mechanics, and integrable hierarchies. The recent progress in the mathematical and physicals aspects of deformation quantization and tensor categories is also addressed. Representation Theory, Mathematical Physics, and Integrable Systems will be of interest to a wide audience of mathematicians interested in these areas and the connections between them, ranging from graduate students to junior, mid-career, and senior researchers.

This volume consists of ten articles which provide an in-depth and reader-friendly survey of some of the foundational aspects of singularity theory. Authored by world experts, the various contributions deal with both classical material and modern developments, covering a wide range of topics which are linked to each other in fundamental ways. Singularities are ubiquitous in mathematics and science in general. Singularity theory interacts energetically with the rest of mathematics, acting as a crucible where different types of mathematical problems interact, surprising connections are born and simple questions lead to ideas which resonate in other parts of the subject. This is the first volume in a series which aims to provide an accessible account of the state-of-the-art of the subject, its frontiers, and its interactions with other areas of research. The book is addressed to graduate students and newcomers to the theory, as well as to specialists who can use it as a guidebook.

This monograph presents recent developments in comparison geometry and geometric analysis on Finsler manifolds. Generalizing the weighted Ricci curvature into the Finsler setting, the author systematically derives the fundamental geometric and analytic inequalities in the Finsler context. Relying only upon knowledge of differentiable manifolds, this treatment offers an accessible entry point to Finsler geometry for readers new to the area. Divided into three parts, the book begins by establishing the fundamentals of Finsler geometry, including Jacobi fields and curvature tensors, variation formulas for arc length, and some classical comparison theorems. Part II goes on to introduce the weighted Ricci curvature, nonlinear Laplacian, and nonlinear heat flow on Finsler manifolds. These tools allow the derivation of the Bochner-Weitzenboeck formula and the corresponding Bochner inequality, gradient estimates, Bakry-Ledoux's Gaussian isoperimetric inequality, and functional inequalities in the Finsler setting. Part III comprises advanced topics: a generalization of the classical Cheeger-Gromoll splitting theorem, the curvature-dimension condition, and the needle decomposition. Throughout, geometric descriptions illuminate the intuition behind the results, while exercises provide opportunities for active engagement. Comparison Finsler Geometry offers an ideal gateway to the study of Finsler manifolds for graduate students and researchers. Knowledge of differentiable manifold theory is assumed, along with the fundamentals of functional analysis. Familiarity with Riemannian geometry is not required, though readers with a background in the area will find their insights are readily transferrable.

The theory of elliptic curves involves a pleasing blend of algebra, geometry, analysis, and number theory. "Rational Points on Elliptic Curves" streses this interplay as it develops the basic theory, thereby providing an opportunity for advance undergraduates to appreciate the unity of modern mathematics. At the same time, every effort has been made to use only methods and results commonly included in the undergraduate curriculum. This accessibility, the informal writing style, and a wealth of exercises make "Rational Points on Elliptic Curves" an ideal introduction for students at all levels who are interested in learning about Diophantine equations and arithmetic geometry.

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.

In recent years, the discovery of new algorithms for dealing with polynomial equations, coupled with their implementation on fast inexpensive computers, has sparked a minor revolution in the study and practice of algebraic geometry. These algorithmic methods have also given rise to some exciting new applications of algebraic geometry. This book illustrates the many uses of algebraic geometry, highlighting some of the more recent applications of Grobner bases and resultants. In order to do this, the authors provide an introduction to some algebraic objects and techniques which are more advanced than one typically encounters in a first course, but nonetheless of great utility. The book is written for nonspecialists and for readers with a diverse range of backgrounds. It assumes knowledge of the material covered in a standard undergraduate course in abstract algebra, and it would help to have some previous exposure to Grobner bases. The book does not assume the reader is familiar with more advanced concepts such as modules. For this new edition the authors added two new sections and a new chapter, updated the references and made numerous minor improvements throughout the text."

Although not so well known today, Book 4 of Pappus Collection is one of the most important and influential mathematical texts from antiquity. The mathematical vignettes form a portrait of mathematics during the Hellenistic "Golden Age," illustrating central problems for example, squaring the circle; doubling the cube; and trisecting an angle varying solution strategies, and the different mathematical styles within ancient geometry.

This volume provides an English translation of Collection 4, in full, for the first time, including: a new edition of the Greek text, based on a fresh transcription from the main manuscript and offering an alternative to Hultsch 's standard edition, notes to facilitate understanding of the steps in the mathematical argument, a commentary highlighting aspects of the work that have so far been neglected, and supporting the reconstruction of a coherent plan and vision within the work, bibliographical references for further study.

This book traces the development of Kepler's ideas along with his unsteady wanderings in a world dominated by religious turmoil. Johannes Kepler, like Galileo, was a supporter of the Copernican heliocentric world model. From an early stage, his principal objective was to discover "the world behind the world", i.e. to identify the underlying order and the secrets that make the world function as it does: the hidden world harmony. Kepler was driven both by his religious belief and Greek mysticism, which he found in ancient mathematics. His urge to find a construct encompassing the harmony of every possible aspect of the world - including astronomy, geometry and music - is seen as a manifestation of a deep human desire to bring order to the apparent chaos surrounding our existence. This desire continues to this day as we search for a theory that will finally unify and harmonise the forces of nature.

This book is devoted to Killing vector fields and the one-parameter isometry groups of Riemannian manifolds generated by them. It also provides a detailed introduction to homogeneous geodesics, that is, geodesics that are integral curves of Killing vector fields, presenting both classical and modern results, some very recent, many of which are due to the authors. The main focus is on the class of Riemannian manifolds with homogeneous geodesics and on some of its important subclasses. To keep the exposition self-contained the book also includes useful general results not only on geodesic orbit manifolds, but also on smooth and Riemannian manifolds, Lie groups and Lie algebras, homogeneous Riemannian manifolds, and compact homogeneous Riemannian spaces. The intended audience is graduate students and researchers whose work involves differential geometry and transformation groups.

Visualization research aims to provide insight into large, complicated data sets and the phenomena behind them. While there are di?erent methods of reaching this goal, topological methods stand out for their solid mathem- ical foundation, which guides the algorithmic analysis and its presentation. Topology-based methods in visualization have been around since the beg- ning of visualization as a scienti?c discipline, but they initially played only a minor role. In recent years,interest in topology-basedvisualization has grown andsigni?cantinnovationhasledto newconceptsandsuccessfulapplications. The latest trends adapt basic topological concepts to precisely express user interests in topological properties of the data. This book is the outcome of the second workshop on Topological Methods in Visualization, which was held March 4-6, 2007 in Kloster Nimbschen near Leipzig,Germany.Theworkshopbroughttogethermorethan40international researchers to present and discuss the state of the art and new trends in the ?eld of topology-based visualization. Two inspiring invited talks by George Haller, MIT, and Nelson Max, LLNL, were accompanied by 14 presentations by participants and two panel discussions on current and future trends in visualization research. This book contains thirteen research papers that have been peer-reviewed in a two-stage review process. In the ?rst phase, submitted papers where peer-reviewed by the international program committee. After the workshop accepted papers went through a revision and a second review process taking into account comments from the ?rst round and discussions at the workshop. Abouthalfthepapersconcerntopology-basedanalysisandvisualizationof ?uid?owsimulations;twopapersconcernmoregeneraltopologicalalgorithms, while the remaining papers discuss topology-based visualization methods in application areas like biology, medical imaging and electromagnetism.