The Hauptvermutung is the conjecture that any two triangulations of a poly hedron are combinatorially equivalent. The conjecture was formulated at the turn of the century, and until its resolution was a central problem of topology. Initially, it was verified for low-dimensional polyhedra, and it might have been expected that furt her development of high-dimensional topology would lead to a verification in all dimensions. However, in 1961 Milnor constructed high-dimensional polyhedra with combinatorially inequivalent triangulations, disproving the Hauptvermutung in general. These polyhedra were not manifolds, leaving open the Hauptvermu tung for manifolds. The development of surgery theory led to the disproof of the high-dimensional manifold Hauptvermutung in the late 1960's. Unfortunately, the published record of the manifold Hauptvermutung has been incomplete, as was forcefully pointed out by Novikov in his lecture at the Browder 60th birthday conference held at Princeton in March 1994. This volume brings together the original 1967 papers of Casson and Sulli van, and the 1968/1972 'Princeton notes on the Hauptvermutung' of Armstrong, Rourke and Cooke, making this work physically accessible. These papers include several other results which have become part of the folklore but of which proofs have never been published. My own contribution is intended to serve as an intro duction to the Hauptvermutung, and also to give an account of some more recent developments in the area. In preparing the original papers for publication, only minimal changes of punctuation etc."

Presenting a selection of recent developments in geometrical problems inspired by the N-body problem, these lecture notes offer a variety of approaches to study them, ranging from variational to dynamical, while developing new insights, making geometrical and topological detours, and providing historical references. A. Guillot's notes aim to describe differential equations in the complex domain, motivated by the evolution of N particles moving on the plane subject to the influence of a magnetic field. Guillot studies such differential equations using different geometric structures on complex curves (in the sense of W. Thurston) in order to find isochronicity conditions. R. Montgomery's notes deal with a version of the planar Newtonian three-body equation. Namely, he investigates the problem of whether every free homotopy class is realized by a periodic geodesic. The solution involves geometry, dynamical systems, and the McGehee blow-up. A novelty of the approach is the use of energy-balance in order to motivate the McGehee transformation. A. Pedroza's notes provide a brief introduction to Lagrangian Floer homology and its relation to the solution of the Arnol'd conjecture on the minimal number of non-degenerate fixed points of a Hamiltonian diffeomorphism.

Held during algebraic topology special sessions at the Vietnam Institute for Advanced Studies in Mathematics (VIASM, Hanoi), this set of notes consists of expanded versions of three courses given by G. Ginot, H.-W. Henn and G. Powell. They are all introductory texts and can be used by PhD students and experts in the field. Among the three contributions, two concern stable homotopy of spheres: Henn focusses on the chromatic point of view, the Morava K(n)-localization and the cohomology of the Morava stabilizer groups. Powell's chapter is concerned with the derived functors of the destabilization and iterated loop functors and provides a small complex to compute them. Indications are given for the odd prime case. Providing an introduction to some aspects of string and brane topology, Ginot's contribution focusses on Hochschild homology and its generalizations. It contains a number of new results and fills a gap in the literature.

This book constitutes the proceedings of the 6th International Workshop on Computational Topology in Image Context, CTIC 2016, held in Marseille, France, in June 2016. The 24 papers presented in this volume were carefully reviewed and selected from 35 submissions. Additionally, this volume contains 2 invited papers. CTIC covers a wide range of topics such as: topological invariants and their computation, homology, cohomology, linking number, fundamental groups; algorithm optimization in discrete geometry, transfer of mathematical tools, parallel computation in multi-dimensional volume context, hierarchical approaches; experimental evaluation of algorithms and heuristics; combinatorial or multi-resolution models; discrete or computational topology; geometric modeling guided by topological constraints; computational topological dynamics; and use of topological information in discrete geometry applications.

This book includes 33 expanded abstracts of selected talks given at the two workshops "Homological Bonds Between Commutative Algebra and Representation Theory" and "Brave New Algebra: Opening Perspectives," and the conference "Opening Perspectives in Algebra, Representations, and Topology," held at the Centre de Recerca Matematica (CRM) in Barcelona between January and June 2015. These activities were part of the one-semester intensive research program "Interactions Between Representation Theory, Algebraic Topology and Commutative Algebra (IRTATCA)." Most of the abstracts present preliminary versions of not-yet published results and cover a large number of topics (including commutative and non commutative algebra, algebraic topology, singularity theory, triangulated categories, representation theory) overlapping with homological methods. This comprehensive book is a valuable resource for the community of researchers interested in homological algebra in a broad sense, and those curious to learn the latest developments in the area. It appeals to established researchers as well as PhD and postdoctoral students who want to learn more about the latest advances in these highly active fields of research.

This Volume presents a unified approach to calculate the plane stress distribution of stress and strain in thin elastic/plastic discs subject to various loading conditions. There is a vast amount of literature on analytical and semi-analytical solutions for such discs obeying Tresca's yield criterion and its associated flow rule. On the other hand, most of analytical and semi-analytical solutions for Mises yield criterion are based on the deformation theory of plasticity. A distinguished feature of the solutions given in the present volume is that the flow theory of plasticity and Mises yield criterion are adopted. The solutions are semi-analytical in the sense that numerical methods are only necessary to evaluate ordinary integrals and solve transcendental equations. The book shows that under certain conditions solutions based on the deformation and flow theories of plasticity coincide. All the solutions are illustrated with numerical examples. The goal of the book is to provide the reader with a vision and an insight into the problems of analysis and design of elastic/plastic discs. The limitations and the applicability of solutions are emphasized. The book is written for engineers, graduate students and researchers interested in the development of techniques for analysis and design of thin elastic/plastic discs.

This book studies certain spaces of Riemannian metrics on both compact and non-compact manifolds. These spaces are defined by various sign-based curvature conditions, with special attention paid to positive scalar curvature and non-negative sectional curvature, though we also consider positive Ricci and non-positive sectional curvature. If we form the quotient of such a space of metrics under the action of the diffeomorphism group (or possibly a subgroup) we obtain a moduli space. Understanding the topology of both the original space of metrics and the corresponding moduli space form the central theme of this book. For example, what can be said about the connectedness or the various homotopy groups of such spaces? We explore the major results in the area, but provide sufficient background so that a non-expert with a grounding in Riemannian geometry can access this growing area of research.

The two parts of the present volume contain extended conference abstracts corresponding to selected talks given by participants at the "Conference on Geometric Analysis" (thirteen abstracts) and at the "Conference on Type Theory, Homotopy Theory and Univalent Foundations" (seven abstracts), both held at the Centre de Recerca Matematica (CRM) in Barcelona from July 1st to 5th, 2013, and from September 23th to 27th, 2013, respectively. Most of them are brief articles, containing preliminary presentations of new results not yet published in regular research journals. The articles are the result of a direct collaboration between active researchers in the area after working in a dynamic and productive atmosphere. The first part is about Geometric Analysis and Conformal Geometry; this modern field lies at the intersection of many branches of mathematics (Riemannian, Conformal, Complex or Algebraic Geometry, Calculus of Variations, PDE's, etc) and relates directly to the physical world, since many natural phenomena posses an intrinsic geometric content. The second part is about Type Theory, Homotopy Theory and Univalent Foundations. The book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research.

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.

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.

In the spring of 1985, A. Casson announced an interesting invariant of homology 3-spheres via constructions on representation spaces. This invariant generalizes the Rohlin invariant and gives surprising corollaries in low-dimensional topology. In the fall of that same year, Selman Akbulut and John McCarthy held a seminar on this invariant. These notes grew out of that seminar. The authors have tried to remain close to Casson's original outline and proceed by giving needed details, including an exposition of Newstead's results. They have often chosen classical concrete approaches over general methods. For example, they did not attempt to give gauge theory explanations for the results of Newstead; instead they followed his original techniques.

Originally published in 1990.

The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

An Invitation to Computational Homotopy is an introduction to elementary algebraic topology for those with an interest in computers and computer programming. It expertly illustrates how the basics of the subject can be implemented on a computer through its focus on fully-worked examples designed to develop problem solving techniques. The transition from basic theory to practical computation raises a range of non-trivial algorithmic issues which will appeal to readers already familiar with basic theory and who are interested in developing computational aspects. The book covers a subset of standard introductory material on fundamental groups, covering spaces, homology, cohomology and classifying spaces as well as some less standard material on crossed modules. These topics are covered in a way that hints at potential applications of topology in areas of computer science and engineering outside the usual territory of pure mathematics, and also in a way that demonstrates how computers can be used to perform explicit calculations within the domain of pure algebraic topology itself. The initial chapters include in-depth examples from data mining, biology and digital image analysis, while the later chapters cover a range of computational examples on the cohomology of classifying spaces that are likely beyond the reach of a purely paper-and-pen approach to the subject. An Invitation to Computational Homotopy serves as a self-contained and informal introduction to these topics and their implementation in the sphere of computer science. Written in a dynamic and engaging style, it skilfully showcases a range of useful machine computations, and will serve as an invaluable aid to graduate students working with algebraic topology.

Wholeheartedly recommended to every student and user of mathematics, this is an extremely original and highly informative essay on algebra and its place in modern mathematics and science. From the fields studied in every university maths course, through Lie groups to cohomology and category theory, the author shows how the origins of each concept can be related to attempts to model phenomena in physics or in other branches of mathematics. Required reading for mathematicians, from beginners to experts.

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.

The general objective of this treatise is to give a systematic presenta tion of some of the topological and measure-theoretical foundations of the theory of real-valued functions of several real variables, with particular emphasis upon a line of thought initiated by BANACH, GEOCZE, LEBESGUE, TONELLI, and VITALI. To indicate a basic feature in this line of thought, let us consider a real-valued continuous function I(u) of the single real variable tt. Such a function may be thought of as defining a continuous translormation T under which x = 1 (u) is the image of u. About thirty years ago, BANACH and VITALI observed that the fundamental concepts of bounded variation, absolute continuity, and derivative admit of fruitful geometrical descriptions in terms of the transformation T: x = 1 (u) associated with the function 1 (u). They further noticed that these geometrical descriptions remain meaningful for a continuous transformation T in Euclidean n-space Rff, where T is given by a system of equations of the form 1-/(1 ff) X-I U, . . ., tt, .," and n is an arbitrary positive integer. Accordingly, these geometrical descriptions can be used to define, for continuous transformations in Euclidean n-space Rff, n-dimensional concepts 01 bounded variation and absolute continuity, and to introduce a generalized Jacobian without reference to partial derivatives. These ideas were further developed, generalized, and modified by many mathematicians, and significant applications were made in Calculus of Variations and related fields along the lines initiated by GEOCZE, LEBESGUE, and TONELLI."

The book deals with the localization approach to the index problem for elliptic operators. Localization ideas have been widely used for solving various specific index problems for a long time, but the fact that there is actually a fundamental localization principle underlying all these solutions has mostly passed unnoticed. The ignorance of this general principle has often necessitated using various artificial tricks and hindered the solution of new important problems in index theory. So far, the localization principle has been only scarcely covered in journal papers and not covered at all in monographs. The suggested book is intended to fill the gap. So far, it is the first and only monograph dealing with the topic. Both the general localization principle and its applications to specific problems, existing and new, are covered. The book will be of interest to working mathematicians as well as graduate and postgraduate university students specializing in differential equations and related topics. "

"These volumes collect almost all of the research and expository papers of J.-P. Serre published in mathematical journals through 1984, as well as some of his seminar reports, and a few items not previously published. .... Throughout his writings, Serre has liberally sprinkled open questions and conjectures. Most endnotes list subsequent progress made on these questions or improvements to the main results of the papers. Some make additional comments, and a few are corrections. These endnotes alone justify the publication of the collected works. Serre is one of the masters of mathematical exposition...." --James Milne, University of Michigan, in Math Reviews

This book is a first sketch of what the overall field of performance could look like as a modern scientific field but not its stylistically differentiated practice, pedagogy, and history. Musical performance is the most complex field of music. It comprises the study of a composition's expression in terms of analysis, emotion, and gesture, and then its transformation into embodied reality, turning formulaic facts into dramatic movements of human cognition. Combining these components in a creative way is a sophisticated mix of knowledge and mastery, which more resembles the cooking of a delicate recipe than a rational procedure. This book is the first one aiming at such comprehensive coverage of the topic, and it does so also as a university text book. We include musicological and philosophical aspects as well as empirical performance research. Presenting analytical tools and case studies turns this project into a demanding enterprise in construction and experimental setups of performances, especially those generated by the music software Rubato. We are happy that this book was written following a course for performance students at the School of Music of the University of Minnesota. Their education should not be restricted to the canonical practice. They must know the rationale for their performance. It is not sufficient to learn performance with the old-fashioned imitation model of the teacher's antetype, this cannot be an exclusive tool since it dramatically lacks the poetical precision asked for by Adorno's and Benjamin's micrologic. Without such alternatives to intuitive imitation, performance risks being disconnected from the audience.

Real analytic sets in Euclidean space (Le. , sets defined locally at each point of Euclidean space by the vanishing of an analytic function) were first investigated in the 1950's by H. Cartan [Car], H. Whitney [WI-3], F. Bruhat [W-B] and others. Their approach was to derive information about real analytic sets from properties of their complexifications. After some basic geometrical and topological facts were established, however, the study of real analytic sets stagnated. This contrasted the rapid develop ment of complex analytic geometry which followed the groundbreaking work of the early 1950's. Certain pathologies in the real case contributed to this failure to progress. For example, the closure of -or the connected components of-a constructible set (Le. , a locally finite union of differ ences of real analytic sets) need not be constructible (e. g. , R - {O} and 3 2 2 { (x, y, z) E R : x = zy2, x + y2 -=I- O}, respectively). Responding to this in the 1960's, R. Thorn [Thl], S. Lojasiewicz [LI,2] and others undertook the study of a larger class of sets, the semianalytic sets, which are the sets defined locally at each point of Euclidean space by a finite number of ana lytic function equalities and inequalities. They established that semianalytic sets admit Whitney stratifications and triangulations, and using these tools they clarified the local topological structure of these sets. For example, they showed that the closure and the connected components of a semianalytic set are semianalytic.

Basic properties, homotopy classification, and characteristic classes of fibre bundles have become an essential part of graduate mathematical education for students in geometry and mathematical physics. The new edition of this text includes two additional chapters, one on the gauge group of a bundle and the other on the differential forms representing characteristic classes of complex vector bundles on manifolds.

Since the beginning of the modern era of algebraic topology, simplicial
methods have been used systematically and effectively for both computation and basic theory. With the development of Quillen's concept of a closed model category and, in particular, a simplicial model category, this collection of methods has become the primary way to describe non-abelian homological algebra and to address homotopy-theoretical issues in a variety of fields, including algebraic K-theory. This book supplies a modern exposition of these ideas, emphasizing model category theoretical techniques.

Discussed here are the homotopy theory of simplicial sets, and other basic
topics such as simplicial groups, Postnikov towers, and bisimplicial sets.
The more advanced material includes homotopy limits and colimits,
localization with respect to a map and with respect to a homology theory,
cosimplicial spaces, and homotopy coherence. Interspersed throughout are
many results and ideas well-known to experts, but uncollected in the
literature.

Intended for second-year graduate students and beyond, this book introduces many of the basic tools of modern homotopy theory. An extensive background in topology is not assumed.

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 is the second (revised and enlarged) edition of the book originally published in 2003. It introduces the first concepts of Algebraic Topology like general simplicial complexes, simplicial homology theory, fundamental groups, covering spaces and singular homology theory in detail. The text has been designed for undergraduate and beginning graduate students of Mathematics. It assumes a minimal background of linear algebra, group theory and topological spaces. The author has dealt with the basic concepts and ideas in a very lucid manner giving suitable motivations and illustrations. As an application of the tools developed in this book, some classical theorems like Brouwer’s fixed point theorem, the Lefschetz fixed point theorem, the Borsuk-Ulam theorem, Brouwer’s separation theorem and the theorem on invariance of domain have been proved and illustrated. Most of the exercises are elementary but some are more challenging and will help the readers in their understanding of the subject.

This book gives an introduction to modern geometry. Starting from an elementary level, the author develops deep geometrical concepts that play an important role in contemporary theoretical physics, presenting various techniques and viewpoints along the way. This second edition contains two additional, more advanced geometric techniques: the modern language and modern view of Algebraic Geometry and Mirror Symmetry.