This book is a publication in Swiss Seminars, a subseries of Progress in Mathematics. It is an expanded version of the notes from a seminar on intersection cohomology theory, which met at the University of Bern, Switzerland, in the spring of 1983. This volume supplies an introduction to the piecewise linear and sheaf-theoretic versions of that theory as developed by M. Goresky and R. MacPherson in Topology 19 (1980), and in Inventiones Mathematicae 72 (1983). While some familiarity with algebraic topology and sheaf theory is assumed, the notes include a self-contained account of further material on constructibility, derived categories, Verdier duality, biduality, and on stratified spaces, which is used in the second paper but not found in standard texts. The volume should be useful to someone interested in acquiring some basic knowledge about the field... a Mathematical Reviews

This volume is the first comprehensive treatment of combinatorial algebraic topology in book form. The first part of the book constitutes a swift walk through the main tools of algebraic topology. Readers - graduate students and working mathematicians alike - will probably find particularly useful the second part, which contains an in-depth discussion of the major research techniques of combinatorial algebraic topology. Although applications are sprinkled throughout the second part, they are principal focus of the third part, which is entirely devoted to developing the topological structure theory for graph homomorphisms.

This book is based on lectures given at a summer school on motivic homotopy theory at the Sophus Lie Centre in Nordfjordeid, Norway, in August 2002. Aimed at graduate students in algebraic topology and algebraic geometry, it contains background material from both of these fields, as well as the foundations of motivic homotopy theory. It will serve as a good introduction as well as a convenient reference for a broad group of mathematicians to this important and fascinating new subject. Vladimir Voevodsky is one of the founders of the theory and received the Fields medal for his work, and the other authors have all done important work in the subject.

Elementary introduction to stable maps and quantum cohomology presents the problem of counting rational plane curves

Viewpoint is mostly that of enumerative geometry

Emphasis is on examples, heuristic discussions, and simple applications to best convey the intuition behind the subject

Ideal for self-study, for a mini-course in quantum cohomology, or as a special topics text in a standard course in intersection theory

The papers collected in this volume are contributions to the 43rd session of the Seminaire de mathematiques superieures (SMS) on "Morse Theoretic Methods in Nonlinear Analysis and Symplectic Topology." This session took place at the Universite de Montreal in July 2004 and was a NATO Advanced Study Institute (ASI). The aim of the ASI was to bring together young researchers from various parts of the world and to present to them some of the most signi cant recent advances in these areas. More than 77 mathematicians from 17 countries followed the 12 series of lectures and participated in the lively exchange of ideas. The lectures covered an ample spectrum of subjects which are re ected in the present volume: Morse theory and related techniques in in nite dim- sional spaces, Floer theory and its recent extensions and generalizations, Morse and Floer theory in relation to string topology, generating functions, structure of the group of Hamiltonian di?eomorphisms and related dynamical problems, applications to robotics and many others. We thank all our main speakers for their stimulating lectures and all p- ticipants for creating a friendly atmosphere during the meeting. We also thank Ms. Diane Belanger, our administrative assistant, for her help with the organi- tion and Mr. Andre Montpetit, our technical editor, for his help in the preparation of the volume."

If you have not heard about cohomology, The Heart of Cohomology may be suited for you. The book gives Fundamental notions in cohomology for examples, functors, representable functors, Yoneda embedding, derived functors, spectral sequences, derived categories are explained in elementary fashion. Applications to sheaf cohomology. In addition, the book examines cohomological aspects of D-modules and of the computation of zeta functions of the Weierstrass family.

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.

This work treats an introduction to commutative ring theory and algebraic plane curves, requiring of the student only a basic knowledge of algebra, with all of the algebraic facts collected into several appendices that can be easily referred to, as needed. Kunz's proven conception of teaching topics in commutative algebra together with their applications to algebraic geometry makes this book significantly different from others on plane algebraic curves. The exposition focuses on the purely algebraic aspects of plane curve theory, leaving the topological and analytical viewpoints in the background, with only casual references to these subjects and suggestions for further reading. algebras, their graduated rings and Rees algebras, to deduce basic facts about the intersection theory of plane curves; presents residue theory in the affine plane and its applications to intersection theory; methods of proof for the Riemann-Roch theorem conform to the presentation of curve theory, formulated in the language of filtrations and associated graded rings; and examples, exercises, figures and suggestions for further study round out this fairly self-contained textbook.

The algebra of primary cohomology operations computed by the well-known Steenrod algebra is one of the most powerful tools of algebraic topology. This book computes the algebra of secondary cohomology operations which enriches the structure of the Steenrod algebra in a new and unexpected way.

The book solves a long-standing problem on the algebra of secondary cohomology operations by developing a new algebraic theory of such operations. The results have strong impact on the Adams spectral sequence and hence on the computation of homotopy groups of spheres.

Constructible and perverse sheaves are the algebraic counterpart of the decomposition of a singular space into smooth manifolds, a great geometrical idea due to R. Thom and H. Whitney. These sheaves, generalizing the local systems that are so ubiquitous in mathematics, have powerful applications to the topology of such singular spaces (mainly algebraic and analytic complex varieties).

This introduction to the subject can be regarded as a textbook on modern algebraic topology, treating the cohomology of spaces with sheaf (as opposed to constant)coefficients.

The first 5 chapters introduce derived categories, direct and inverse images of sheaf complexes, Verdier duality, constructible and perverse sheaves, vanishing and characteristic cycles. They also discuss relations to D-modules and intersection cohomology. Later chapters apply this powerful tool to the study of the topology of singularities, polynomial functions and hyperplane arrangements.

Some fundamental results, for which excellent sources exist, are not proved but just stated and illustrated by examples and corollaries. In this way, the reader is guided rather quickly from the basic theory to current research questions, supported in this by examples and exercises.

The NATO Advanced Study Institute "Axiomatic, enriched and rna tivic homotopy theory" took place at the Isaac Newton Institute of Mathematical Sciences, Cambridge, England during 9-20 September 2002. The Directors were J.P.C.Greenlees and I.Zhukov; the other or ganizers were P.G.Goerss, F.Morel, J.F.Jardine and V.P.Snaith. The title describes the content well, and both the event and the contents of the present volume reflect recent remarkable successes in model categor ies, structured ring spectra and homotopy theory of algebraic geometry. The ASI took the form of a series of 15 minicourses and a few extra lectures, and was designed to provide background, and to bring the par ticipants up to date with developments. The present volume is based on a number of the lectures given during the workshop. The ASI was the opening workshop of the four month programme "New Contexts for Stable Homotopy Theory" which explored several themes in greater depth. I am grateful to the Isaac Newton Institute for providing such an ideal venue, the NATO Science Committee for their funding, and to all the speakers at the conference, whether or not they were able to contribute to the present volume. All contributions were refereed, and I thank the authors and referees for their efforts to fit in with the tight schedule. Finally, I would like to thank my coorganizers and all the staff at the Institute for making the ASI run so smoothly. J.P.C.GREENLEES."

This book is the result of reworking part of a rather lengthy course of lectures of which we delivered several versions at the Leningrad and Moscow Universities. In these lectures we presented an introduction to the fundamental topics of topology: homology theory, homotopy theory, theory of bundles, and topology of manifolds. The structure of the course was well determined by the guiding term elementary topology, whose main significance resides in the fact that it made us use a rather simple apparatus. tn this book we have retained {hose sections of the course where algebra plays a subordinate role. We plan to publish the more algebraic part of the lectures as a separate book. Reprocessing the lectures to produce the book resulted in the profits and losses inherent in such a situation: the rigour has increased to the detriment of the intuitiveness, the geometric descriptions have been replaced by formulas needing interpretations, etc. Nevertheless, it seems to us tha.t the book retains the main qualities of our lectures: their elementary, systematic, and pedagogical features. The preparation of the reader is assumed to be limi ted to the usual knowledge of set .theory, algebra, and calculus which mathematics students should master after the first year and a half of studies. The exposition is accompanied by examples and exercises. We hope that the book can be used as a topology textbook."

This book offers a detailed presentation of results needed to prove the Morse Homology Theorem using classical techniques from algebraic topology and homotopy theory. The text presents results that were formerly scattered in the mathematical literature, in a single reference with complete and detailed proofs. The core material includes CW-complexes, Morse theory, hyperbolic dynamical systems (the Lamba-Lemma, the Stable/Unstable Manifold Theorem), transversality theory, the Morse-Smale-Witten boundary operator, and Conley index theory.

Surfaces in 4-Space, written by leading specialists in the field, discusses knotted surfaces in 4-dimensional space and surveys many of the known results in the area. Results on knotted surface diagrams, constructions of knotted surfaces, classically defined invariants, and new invariants defined via quandle homology theory are presented. The last chapter comprises many recent results, and techniques for computation are presented. New tables of quandles with a few elements and the homology groups thereof are included.

This book contains many new illustrations of knotted surface diagrams. The reader of the book will become intimately aware of the subtleties in going from the classical case of knotted circles in 3-space to this higher dimensional case.

As a survey, the book is a guide book to the extensive literature on knotted surfaces and will become a useful reference for graduate students and researchers in mathematics and physics.

The NATO Advanced Study Institute "Axiomatic, enriched and rna tivic homotopy theory" took place at the Isaac Newton Institute of Mathematical Sciences, Cambridge, England during 9-20 September 2002. The Directors were J.P.C.Greenlees and I.Zhukov; the other or ganizers were P.G.Goerss, F.Morel, J.F.Jardine and V.P.Snaith. The title describes the content well, and both the event and the contents of the present volume reflect recent remarkable successes in model categor ies, structured ring spectra and homotopy theory of algebraic geometry. The ASI took the form of a series of 15 minicourses and a few extra lectures, and was designed to provide background, and to bring the par ticipants up to date with developments. The present volume is based on a number of the lectures given during the workshop. The ASI was the opening workshop of the four month programme "New Contexts for Stable Homotopy Theory" which explored several themes in greater depth. I am grateful to the Isaac Newton Institute for providing such an ideal venue, the NATO Science Committee for their funding, and to all the speakers at the conference, whether or not they were able to contribute to the present volume. All contributions were refereed, and I thank the authors and referees for their efforts to fit in with the tight schedule. Finally, I would like to thank my coorganizers and all the staff at the Institute for making the ASI run so smoothly. J.P.C.GREENLEES."

Turbulence theory is one of the most intriguing parts of fluid mechanics and many outstanding scientists have tried to apply their knowledge to the development of the theory and to offer useful recommendations for solution of some practical problems. In this monograph the author attempts to integrate many specific approaches into the unified theory. The basic premise is the simple idea that a small eddy, that is an element of turbulent meso-structure, possesses its own dynamics as an object rotating with its own spin velocity and obeying the Newton dynamics of a finite body. A number of such eddies fills a coordinate cell, and the angular momentum balance has to be formulated for this spatial cell. If the cell coincides with a finite difference element at a numerical calculation and if the external length scale is large, this elementary volume can be considered as a differential one and a continuum parameterization has to be used. Nontrivial angular balance is a consequence of the asymmetrical Reynolds stress action at the oriented sides of an elementary volume. At first glance, the averaged dyad of velocity components is symmetrical, == However, if averaging is performed over the plane with normal nj, the principle of commutation is lost. As a result, the stress tensor asymmetry j is determined by other factors that participate in the angular momentum balance. This is the only possibility to determine a stress in engineering."

The current volume constitutes the proceedings of the International Conference in Algebraic Topology, held on the Isle of Skye, Scotland in June 200l. Many of the the talks at the conference focused on categorical decomposition techniques currently used in algebraic topology, such as Goodwillie's "calculus of functors" and the various approximation techniques that have proved so useful for the study of classifying spaces. The contents represent these, and other themes in algebraic toplogy, as they are being developed by experts in the field. For instance, the homotopy theory of classifying spaces is represented by the articles of Aguade-Broto-Saumell, Davis and Iwase-Mimura. The papers by Betley, Kuhn and Panov-Ray-Vogt deal with general categorical decomposition techniques. The papers of Anton, Goerss-Henn Mahowald and Hodgkin-Ostvaer bring us to the forefront of computational homo topy theory. Other papers deal with assorted topics of current interest in algebraic topology. Progress in Mathematics, Vol. 215 Algebraic Topology: Categorical Decomposition Techniques, 1-20 (c) 2003 Birkhiiuser Verlag Basel/Switzerland The Functor T and the Cohomology of Mapping Spaces Jaume Aguade, Carles Broto, and Laia Saumell 1. Introduction In his fundamental work 15] Lannes has introduced a functor T defined in the category K (resp. U) of unstable algebras (resp. modules) over the Steenrod algebra which has many important applications in homotopy theory. This functor is, in some sense, the algebraic analogue of the mapping space functor Map(BV, -) for an elementary abelian group V."

Assuming that the reader is familiar with sheaf theory, the book gives a self-contained introduction to the theory of constructible sheaves related to many kinds of singular spaces, such as cell complexes, triangulated spaces, semialgebraic and subanalytic sets, complex algebraic or analytic sets, stratified spaces, and quotient spaces. The relation to the underlying geometrical ideas are worked out in detail, together with many applications to the topology of such spaces. All chapters have their own detailed introduction, containing the main results and definitions, illustrated in simple terms by a number of examples. The technical details of the proof are postponed to later sections, since these are not needed for the applications.

Our book is devoted to the topological fixed point theory both for single-valued and multivalued mappings in locally convex spaces, including its application to boundary value problems for ordinary differential equations (inclusions) and to (multivalued) dynamical systems. It is the first monograph dealing with the topo- logical fixed point theory in non-metric spaces. Although the theoretical material was tendentially selected with respect to ap- plications, we wished to have a self-consistent text (see the scheme below). There- fore, we supplied three appendices concerning almost-periodic and derivo-periodic single-valued {multivalued) functions and (multivalued) fractals. The last topic which is quite new can be also regarded as a contribution to the fixed point theory in hyperspaces. Nevertheless, the reader is assumed to be at least partly famil- iar in some related sections with the notions like the Bochner integral, the Au- mann multivalued integral, the Arzela-Ascoli lemma, the Gronwall inequality, the Brouwer degree, the Leray-Schauder degree, the topological (covering) dimension, the elemens of homological algebra, ...Otherwise, one can use the recommended literature. Hence, in Chapter I, the topological and analytical background is built. Then, in Chapter II (and partly already in Chapter I), topological principles necessary for applications are developed, namely: the fixed point index theory (resp. the topological degree theory), the Lefschetz and the Nielsen theories both in absolute and relative cases, periodic point theorems, topological essentiality, continuation-type theorems.

The book gathers the lectures given at the C.I.M.E. summer school "Quantum Cohomology" held in Cetraro (Italy) from June 30th to July 8th, 1997. The lectures and the subsequent updating cover a large spectrum of the subject on the field, from the algebro-geometric point of view, to the symplectic approach, including recent developments of string-branes theories and q-hypergeometric functions.

Kac-Moody Lie algebras 9 were introduced in the mid-1960s independently by V. Kac and R. Moody, generalizing the finite-dimensional semisimple Lie alge bras which we refer to as the finite case. The theory has undergone tremendous developments in various directions and connections with diverse areas abound, including mathematical physics, so much so that this theory has become a stan dard tool in mathematics. A detailed treatment of the Lie algebra aspect of the theory can be found in V. Kac's book Kac-90l This self-contained work treats the algebro-geometric and the topological aspects of Kac-Moody theory from scratch. The emphasis is on the study of the Kac-Moody groups 9 and their flag varieties XY, including their detailed construction, and their applications to the representation theory of g. In the finite case, 9 is nothing but a semisimple Y simply-connected algebraic group and X is the flag variety 9 /Py for a parabolic subgroup p y C g."

In algebraic topology some classical invariants - such as Betti numbers and Reidemeister torsion - are defined for compact spaces and finite group actions. They can be generalized using von Neumann algebras and their traces, and applied also to non-compact spaces and infinite groups. These new L2-invariants contain very interesting and novel information and can be applied to problems arising in topology, K-Theory, differential geometry, non-commutative geometry and spectral theory. It is particularly these interactions with different fields that make L2-invariants very powerful and exciting. The book presents a comprehensive introduction to this area of research, as well as its most recent results and developments. It is written in a way which enables the reader to pick out a favourite topic and to find the result she or he is interested in quickly and without being forced to go through other material.

This book consists essentially of notes which were written for an Advanced Course on Classifying Spaces and Cohomology of Groups. The course took place at the Centre de Recerca Mathematica (CRM) in Bellaterra from May 27 to June 2, 1998 and was part of an emphasis semester on Algebraic Topology. It consisted of two parallel series of 6 lectures of 90 minutes each and was intended as an introduction to new homotopy theoretic methods in group cohomology. The first part of the book is concerned with methods of decomposing the classifying space of a finite group into pieces made of classifying spaces of appropriate subgroups. Such decompositions have been used with great success in the last 10-15 years in the homotopy theory of classifying spaces of compact Lie groups and p-compact groups in the sense of Dwyer and Wilkerson. For simplicity the emphasis here is on finite groups and on homological properties of various decompositions known as centralizer resp. normalizer resp. subgroup decomposition. A unified treatment of the various decompositions is given and the relations between them are explored. This is preceeded by a detailed discussion of basic notions such as classifying spaces, simplicial complexes and homotopy colimits.

Sheaf Theory is modern, active field of mathematics at the intersection of algebraic topology, algebraic geometry and partial differential equations. This volume offers a comprehensive and self-contained treatment of Sheaf Theory from the basis up, with emphasis on the microlocal point of view.

From the reviews:

"Clearly and precisely written, and contains many interesting ideas: it describes a whole, largely new branch of mathematics." Bulletin of the L.M.S.

Computational engineering is the treatment of engineering tasks with computers. It is based on computational mathematics, which is presented here in a comprehensive handbook. Engineers and scientists who deal with engineering tasks have to handle large amounts of information, which must be created and structured in a systematic manner. This demands a high level of abstraction and therefore knowledge of the mathematical foundations. From the existing rich repertoire of mathematical theories and methods, the fundamentals of engineering computation are selected and presented in a coherent fashion. They are brought into a suitable order for specific engineering purposes, and their significance for typical applications is shown. The relevant definitions, notations and theories are presented in a durable form which is independent of the fast development of information and communication technology.