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

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.

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.

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.

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.

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.

"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

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

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

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.

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.

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.

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.

This book is an introduction to two higher-categorical topics in algebraic topology and algebraic geometry relying on simplicial methods. It is based on lectures - livered at the Centre de Recerca Matem ati ca in February 2008, as part of a special year on Homotopy Theory and Higher Categories. Ieke Moerdijk's lectures constitute an introduction to the theory ofdendroidal sets, an extension of the theory of simplicial sets designed as a foundation for the homotopy theory of operads. The theory has many features analogous to the theory of simplicial sets, but it also reveals many new phenomena, thanks to the presence of automorphisms of trees. Dendroidal sets admit a closed symmetric monoidal structure related to the Boardman{Vogt tensor product. The lecture notes develop the theory very carefully, starting from scratch with the combinatorics of trees, and culminating with a model structure on the category of dendroidal sets for which the brant objects are the inner Kan dendroidal sets. The important concepts are illustrated with detailed examples.

A systematic survey of all the basic results on the theory of discrete subgroups of Lie groups, presented in a convenient form for users. The book makes the theory accessible to a wide audience, and will be a standard reference for many years to come.

The first contribution by Carter covers the theory of finite groups of Lie type, an important field of current mathematical research. In the second part, Platonov and Yanchevskii survey the structure of finite-dimensional division algebras, including an account of reduced K-theory.

This up-to-date survey of the whole field of topology is the flagship of the topology subseries of the Encyclopaedia. The book gives an overview of various subfields, beginning with the elements and proceeding right up to the present frontiers of research.

In the last few years the use of geometrie methods has permeated many more branehes of mathematies and the seiences. Briefly its role may be eharaeterized as folIows. Whereas methods of mathematieal analysis deseribe phenomena 'in the sm all " geometrie methods eontribute to giving the picture 'in the large'. A seeond no less important property of geometrie methods is the eonvenienee of using its language to deseribe and give qualitative explanations for diverse mathematieal phenomena and patterns. From this point of view, the theory of veetor bundles together with mathematieal analysis on manifolds (global anal- ysis and differential geometry) has provided a major stimulus. Its language turned out to be extremely fruitful: connections on prineipal veetor bundles (in terms of whieh various field theories are deseribed), transformation groups including the various symmetry groups that arise in eonneetion with physieal problems, in asymptotie methods of partial differential equations with small parameter, in elliptie operator theory, in mathematieal methods of classieal meehanies and in mathematieal methods in eeonomies. There are other eur- rently less signifieant applieations in other fields. Over a similar period, uni- versity edueation has ehanged eonsiderably with the appearanee of new courses on differential geometry and topology. New textbooks have been published but 'geometry and topology' has not, in our opinion, been wen eovered from a prae- tieal applieations point of view.

This volume reflects the growing collaboration between mathematicians and theoretical physicists to treat the foundations of quantum field theory using the mathematical tools of q-deformed algebras and noncommutative differential geometry. A particular challenge is posed by gravity, which probably necessitates extension of these methods to geometries with minimum length and therefore quantization of space. This volume builds on the lectures and talks that have been given at a recent meeting on "Quantum Field Theory and Noncommutative Geometry." A considerable effort has been invested in making the contributions accessible to a wider community of readers - so this volume will not only benefit researchers in the field but also postgraduate students and scientists from related areas wishing to become better acquainted with this field.

An array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterised by Beck's theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.