This book is devoted to applications of singularity theory in mathematics and physics, covering a broad spectrum of topics and problems. "The book contains a huge amount of information from all the branches of Singularity Theory, presented in a very attractive way, with lots of inspiring pictures." --ZENTRALBLATT MATH

The authors describe the important generalization of the original Weil conjectures, as given by P. Deligne in his fundamental paper "La conjecture de Weil II." The authors follow the important and beautiful methods of Laumon and Brylinski which lead to a simplification of Deligne's theory. Deligne's work is closely related to the sheaf theoretic theory of perverse sheaves. In this framework Deligne's results on global weights and his notion of purity of complexes obtain a satisfactory and final form. Therefore the authors include the complete theory of middle perverse sheaves. In this part, the l-adic Fourier transform is introduced as a technique providing natural and simple proofs. To round things off, there are three chapters with significant applications of these theories.

The central theme of this book is the restoration of Poincare duality on stratified singular spaces by using Verdier-self-dual sheaves such as the prototypical intersection chain sheaf on a complex variety. Highlights include complete and detailed proofs of decomposition theorems for self-dual sheaves, explanation of methods for computing twisted characteristic classes and an introduction to the author's theory of non-Witt spaces and Lagrangian structures."

Homology is a powerful tool used by mathematicians to study the properties of spaces and maps that are insensitive to small perturbations. This book uses a computer to develop a combinatorial computational approach to the subject. The core of the book deals with homology theory and its computation. Following this is a section containing extensions to further developments in algebraic topology, applications to computational dynamics, and applications to image processing. Included are exercises and software that can be used to compute homology groups and maps. The book will appeal to researchers and graduate students in mathematics, computer science, engineering, and nonlinear dynamics.

This collection of survey lectures in mathematics traces the career of Beno Eckmann, whose work ranges across a broad spectrum of mathematical concepts from topology through homological algebra to group theory. One of our most influential living mathematicians, Eckmann has been associated for nearly his entire professional life with the Swiss Federal Technical University (ETH) at Zurich, as student, lecturer, professor, and professor emeritus.

The notion of a ?xed point plays a crucial role in numerous branches of mat- maticsand its applications. Informationabout the existence of such pointsis often the crucial argument in solving a problem. In particular, topological methods of ?xed point theory have been an increasing focus of interest over the last century. These topological methods of ?xed point theory are divided, roughly speaking, into two types. The ?rst type includes such as the Banach Contraction Principle where the assumptions on the space can be very mild but a small change of the map can remove the ?xed point. The second type, on the other hand, such as the Brouwer and Lefschetz Fixed Point Theorems, give the existence of a ?xed point not only for a given map but also for any its deformations. This book is an exposition of a part of the topological ?xed and periodic point theory, of this second type, based on the notions of Lefschetz and Nielsen numbers. Since both notions are homotopyinvariants, the deformationis used as an essential method, and the assertions of theorems typically state the existence of ?xed or periodic points for every map of the whole homotopy class, we refer to them as homotopy methods of the topological ?xed and periodic point theory.

This volume is an introductory textbook to K-theory, both algebraic and topological, and to various current research topics within the field, including Kasparov's bivariant K-theory, the Baum-Connes conjecture, the comparison between algebraic and topological K-theory of topological algebras, the K-theory of schemes, and the theory of dg-categories.

Homotopy theory and C* algebras are central topics in contemporary mathematics. This book introduces a modern homotopy theory for C*-algebras. One basic idea of the setup is to merge C*-algebras and spaces studied in algebraic topology into one category comprising C*-spaces. These objects are suitable fodder for standard homotopy theoretic moves, leading to unstable and stable model structures. With the foundations in place one is led to natural definitions of invariants for C*-spaces such as homology and cohomology theories, K-theory and zeta-functions. The text is largely self-contained. It serves a wide audience of graduate students and researchers interested in C*-algebras, homotopy theory and applications.

Intersection cohomology assigns groups which satisfy a generalized form of Poincare duality over the rationals to a stratified singular space. This monograph introduces a method that assigns to certain classes of stratified spaces cell complexes, called intersection spaces, whose ordinary rational homology satisfies generalized Poincare duality. The cornerstone of the method is a process of spatial homology truncation, whose functoriality properties are analyzed in detail. The material on truncation is autonomous and may be of independent interest tohomotopy theorists. The cohomology of intersection spaces is not isomorphic to intersection cohomology and possesses algebraic features such as perversity-internal cup-products and cohomology operations that are not generally available for intersection cohomology. A mirror-symmetric interpretation, as well as applications to string theory concerning massless D-branes arising in type IIB theory during a Calabi-Yau conifold transition, are discussed.

Many, perhaps most textbooks of quantum mechanics present a Copenhagen, single system angle; fewer present the subject matter as an instrument for treating ensembles, but the two methods have been silently coexisting since the mid-Thirties. This lingering dichotomy of purpose for a major physical discipline has much shrouded further insights into the foundations of quantum theory. Quantum Reprogramming resolves this long-standing dichotomy by examining the mutual relation between single systems and ensembles, assigning each its own tools for treating the subject at hand: i.e., Schrodinger-Dirac methods for ensembles versus period integrals for single systems. A unified treatment of integer and fractional quantum Hall effects and a finite description of the electron's anomalies are mentioned as measures of justification for the chosen procedure of resolving an old-time dichotomy. The methods of presentation are, in part, elementary, with repetitive references needed to delineate differences with respect to standard methods. The parts on period integrals are developed with a perspective on elementary methods in physics, thus leading up to some standard results of de Rham theory and algebraic topology. Audience: Students of physics, mathematics, philosophers as well as outsiders with a general interest in the conceptual development of physics will find useful reading in these pages, which will stimulate further inquiry and study. "

S.G. Gindikin, I.I. Pjateckii-Sapiro, E.B. Vinberg: Homogeneous K hler manifolds.- S.G. Greenfield: Extendibility properties of real submanifolds of Cn.- W. Kaup: Holomorphische Abbildungen in Hyperbolische R ume.- A. Koranyi: Holomorphic and harmonic functions on bounded symmetric domains.- J.L. Koszul: Formes harmoniques vectorielles sur les espaces localement sym triques.- S. Murakami: Plongements holomorphes de domaines sym triques.- E.M. Stein: The analogues of Fatous 's theorem and estimates for maximal functions.

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.

From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein's Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane's work in the early 1940's and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics.

From a Geometrical Point of View aims to provide its readers with a conceptual perspective on category theory and categorical logic, in order to gain insight into their role and nature in contemporary mathematics. It should be of interest to mathematicians, logicians, philosophers of mathematics and science in general, historians of contemporary mathematics, physicists and computer scientists.

This monograph deals with products of Dedekind's eta function, with Hecke theta series on quadratic number fields, and with Eisenstein series. The author brings to the public the large number of identities that have been discovered over the past 20 years, the majority of which have not been published elsewhere. The book will be of interest to graduate students and scholars in the field of number theory and, in particular, modular forms. It is not an introductory text in this field. Nevertheless, some theoretical background material is presented that is important for understanding the examples in Part II of the book. In Part I relevant definitions and essential theorems -- such as a complete proof of the structure theorems for coprime residue class groups in quadratic number fields that are not easily accessible in the literature -- are provided. Another example is a thorough description of an algorithm for listing all eta products of given weight and level, together with proofs of some results on the bijection between these eta products and lattice simplices.

toComplexRe ectionGroups and Their Braid Groups 123 Michel Broue Universite Paris Diderot Paris 7 UFR de Mathematiques 175 Rue du Chevaleret 75013 Paris France broue@math. jussieu. fr ISBN: 978-3-642-11174-7 e-ISBN: 978-3-642-11175-4 DOI: 10. 1007/978-3-642-11175-4 Springer Heidelberg Dordrecht London New York Lecture Notes in Mathematics ISSN print edition: 0075-8434 ISSN electronic edition: 1617-9692 Library of Congress Control Number: 2009943837 Mathematics Subject Classi cation (2000): 20, 13, 16, 55 c Springer-Verlag Berlin Heidelberg 2010 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, speci cally the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on micro lm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of aspeci c statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover illustration: c Anouk Grinberg Cover design: SPi Publisher Services Printed on acid-free paper springer. com Preface Weyl groups are ?nite groups acting as re?ection groups on rational vector spaces. It iswellknownthat theserationalre?ectiongroupsappearas"ske- tons" of many important mathematical objects: algebraic groups, Hecke algebras, Artin-Tits braid groups, etc."

Simplicial Structures in Topology provides a clear and comprehensive introduction to the subject. Ideas are developed in the first four chapters. The fifth chapter studies closed surfaces and gives their classification. The last chapter of the book is devoted to homotopy groups, which are used in short introduction on obstruction theory. The text is more in tune with the original development of algebraic topology as given by Henry Poincare (singular homology is discussed). Illustrative examples throughout and extensive exercises at the end of each chapter for practice enhance the text. Advanced undergraduate and beginning graduate students will benefit from this book. Researchers and professionals interested in topology and applications of mathematics will also find this book useful.

This book is based on notes for a master's course given at Queen Mary, University of London, in the 1998/9 session. Such courses in London are quite short, and the course consisted essentially of the material in the ?rst three chapters, together with a two-hour lecture on connections with group theory. Chapter 5 is a considerably expanded version of this. For the course, the main sources were the books by Hopcroft and Ullman ( 20]), by Cohen ( 4]), and by Epstein et al. ( 7]). Some use was also made of a later book by Hopcroft and Ullman ( 21]). The ulterior motive in the ?rst three chapters is to give a rigorous proof that various notions of recursively enumerable language are equivalent. Three such notions are considered. These are: generated by a type 0 grammar, recognised by a Turing machine (deterministic or not) and de?ned by means of a Godel ] numbering, having de?ned "recursively enumerable" for sets of natural numbers. It is hoped that this has been achieved without too many ar- ments using complicated notation. This is a problem with the entire subject, and it is important to understand the idea of the proof, which is often quite simple. Two particular places that are heavy going are the proof at the end of Chapter 1 that a language recognised by a Turing machine is type 0, and the proof in Chapter 2 that a Turing machine computable function is partial recursive."

The 2007 Abel Symposium took place at the University of Oslo in August 2007. The goal of the symposium was to bring together mathematicians whose research efforts have led to recent advances in algebraic geometry, algebraic K-theory, algebraic topology, and mathematical physics. A common theme of this symposium was the development of new perspectives and new constructions with a categorical flavor. As the lectures at the symposium and the papers of this volume demonstrate, these perspectives and constructions have enabled a broadening of vistas, a synergy between once-differentiated subjects, and solutions to mathematical problems both old and new.

A fundamental object of study in group theory is the lower central series of groups. Understanding its relationship with the dimension series, which consists of the subgroups determined by the augmentation powers, is a challenging task. This monograph presents an exposition of different methods for investigating this relationship. In addition to group theorists, the results are also of interest to topologists and number theorists. The approach is mainly combinatorial and homological. A novel feature is an exposition of simplicial methods for the study of problems in group theory.

AT-theory was introduced by A. Grothendieck in his formulation of the Riemann- Roch theorem (cf. Borel and Serre 2]). For each projective algebraic variety, Grothendieck constructed a group from the category of coherent algebraic sheaves, and showed that it had many nice properties. Atiyah and Hirzebruch 3] con sidered a topological analog defined for any compact space X, a group K{X) constructed from the category of vector bundles on X. It is this ''topological J DEGREES-theory" that this book will study. Topological DEGREES-theory has become an important tool in topology. Using- theory, Adams and Atiyah were able to give a simple proof that the only spheres which can be provided with //-space structures are S DEGREES, S DEGREES and S' DEGREES. Moreover, it is possible to derive a substantial part of stable homotopy theory from A DEGREES-theory (cf. J. F. Adams 2]). Further applications to analysis and algebra are found in the work of Atiyah-Singer 2], Bass 1], Quillen 1], and others. A key factor in these applications is Bott periodicity (Bott 2]). The purpose of this book is to provide advanced students and mathematicians in other fields with the fundamental material in this subject. In addition, several applications of the type described above are included. In general we have tried to make this book self-contained, beginning with elementary concepts wherever possible; however, we assume that the reader is familiar with the basic definitions of homotopy theory: homotopy classes of maps and ho

This monograph describes important techniques of stable homotopy theory, both classical and brand new, applying them to the long-standing unsolved problem of the existence of framed manifolds with odd Arf-Kervaire invariant. Opening with an account of the necessary algebraic topology background, it proceeds in a quasi-historical manner to draw from the author s contributions over several decades. A new technique entitled upper triangular technology is introduced which enables the author to relate Adams operations to Steenrod operations and thereby to recover most of the important classical Arf-Kervaire invariant results quite simply. The final chapter briefly relates the book to the contemporary motivic stable homotopy theory of Morel-Voevodsky.

Excerpt from a review:

This takes the reader on an unusual mathematical journey. The problem referred to in the title, its history and the author's relationship with it are lucidly described in the book. The book does not offer a solution, but a new and interesting way of looking at it. The stated purpose of the book is twofold: (1) To rescue the Kervaire invariant problem from oblivion. (2) To introduce the "upper triangular technology" to approach the problem.

This is very useful, since this method is not widely known. It is not an introduction to stable homotopy theory but rather a guide for experts along a path to a prescribed destination. In taking us there it assembles material from widely varying sources and offers a perspective that is not available anywhere else. This is a case where the whole is much greater than the sum of its parts. The manuscript is extremely well written. The author's style is engaging and even humorous at times. (Douglas Ravenel)"

From a Geometrical Point of View explores historical and philosophical aspects of category theory, trying therewith to expose its significance in the mathematical landscape. The main thesis is that Klein's Erlangen program in geometry is in fact a particular instance of a general and broad phenomenon revealed by category theory. The volume starts with Eilenberg and Mac Lane's work in the early 1940's and follows the major developments of the theory from this perspective. Particular attention is paid to the philosophical elements involved in this development. The book ends with a presentation of categorical logic, some of its results and its significance in the foundations of mathematics.

From a Geometrical Point of View aims to provide its readers with a conceptual perspective on category theory and categorical logic, in order to gain insight into their role and nature in contemporary mathematics. It should be of interest to mathematicians, logicians, philosophers of mathematics and science in general, historians of contemporary mathematics, physicists and computer scientists.

Homological mirror symmetry has its origins in theoretical physics but is now of great interest in mathematics due to the deep connections it reveals between different areas of geometry and algebra. This book offers a self-contained and accessible introduction to the subject via the representation theory of algebras and quivers. It is suitable for graduate students and others without a great deal of background in homological algebra and modern geometry. Each part offers a different perspective on homological mirror symmetry. Part I introduces the A-infinity formalism and offers a glimpse of mirror symmetry using representations of quivers. Part II discusses various A- and B-models in mirror symmetry and their connections through toric and tropical geometry. Part III deals with mirror symmetry for Riemann surfaces. The main mathematical ideas are illustrated by means of simple examples coming mainly from the theory of surfaces, helping the reader connect theory with intuition.

This book is aimed at the approximation of set-valued functions with compact sets in an Euclidean space as values. The interest in set-valued functions is rather new. Such functions arise in various modern areas such as control theory, dynamical systems and optimization. The authors' motivation also comes from the newer field of geometric modeling, in particular from the problem of reconstruction of 3D objects from 2D cross-sections. This is reflected in the focus of this book, which is the approximation of set-valued functions with general (not necessarily convex) sets as values, while previous results on this topic are mainly confined to the convex case. The approach taken in this book is to adapt classical approximation operators and to provide error estimates in terms of the regularity properties of the approximated set-valued functions. Specialized results are given for functions with 1D sets as values.

Topological K-theory is one of the most important invariants for noncommutative algebras. Bott periodicity, homotopy invariance, and various long exact sequences distinguish it from algebraic K-theory. This book describes a bivariant K-theory for bornological algebras, which provides a vast generalization of topological K-theory. In addition, it details other approaches to bivariant K-theories for operator algebras. The book studies a number of applications, including K-theory of crossed products, the Baum-Connes assembly map, twisted K-theory with some of its applications, and some variants of the Atiyah-Singer Index Theorem.