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.

Manifolds fall naturally into two classes depending on whether they can be fitted with a distance measuring function or not. The former, metrisable manifolds, and especially compact manifolds, have been intensively studied by topologists for over a century, whereas the latter, non-metrisable manifolds, are much more abundant but have a more modest history, having become of increasing interest only over the past 40 years or so. The first book on this topic, this book ranges from criteria for metrisability, dynamics on non-metrisable manifolds, Nyikos's Bagpipe Theorem and whether perfectly normal manifolds are metrisable to structures on manifolds, especially the abundance of exotic differential structures and the dearth of foliations on the long plane. A rigid foliation of the Euclidean plane is described. This book is intended for graduate students and mathematicians who are curious about manifolds beyond the metrisability wall, and especially the use of Set Theory as a tool.

This book is not an intellectual history or popular summary of recent work on consciousness in humans. Bernard Baars (1988), Edelman and Tononi (2000), and many others, have written such, and done it well indeed. This book, rather, brings the powerful analytic machinery of communication theory to bear on the Global Neuronal Workspace (GNW) model of consciousness which Baars introduced, and does so in a formal mathematical manner. It is not the first such attempt. The philospher Fred Dretske (1981), indep- dent of Baars, long ago outlined how information theory might illuminate the understanding of mind. Adapting his approach on the necessary conditions for mental process, we apply a previously-developed information theory analysis of interacting cognitive biological and social modules to Baars' GNW, which has become the principal candidate for a 'standard model' of consciousness. Invoking an obvious canonical homology with statistical physics, the method, when iterated in the spirit of the Hierarchical Linear Model of regression theory, generates a fluctuating dynamic threshold for consciousness which is similar to a tunable phase transition in a physical system. The phenomenon is, however, constrained to a manifold/atlas structure analogous to a retina; an adaptable Rate Distortion manifold, whose 'topology', in a large sense, reflects the hierarchy of embedding constraints acting on consciousness. This view greatly extends what Baars has characterized as 'contexts.

Edited in collaboration with the Grassmann Research Group, this book contains many important articles delivered at the ICM 2014 Satellite Conference and the 18th International Workshop on Real and Complex Submanifolds, which was held at the National Institute for Mathematical Sciences, Daejeon, Republic of Korea, August 10-12, 2014. The book covers various aspects of differential geometry focused on submanifolds, symmetric spaces, Riemannian and Lorentzian manifolds, and Kahler and Grassmann manifolds.

In many areas of mathematics some "higher operations" are arising. These havebecome so important that several research projects refer to such expressions. Higher operationsform new types of algebras. The key to understanding and comparing them, to creating invariants of their action is operad theory. This is a point of view that is 40 years old in algebraic topology, but the new trend is its appearance in several other areas, such as algebraic geometry, mathematical physics, differential geometry, and combinatorics. The present volume is the first comprehensive and systematic approach to algebraic operads. An operad is an algebraic device that serves to study all kinds of algebras (associative, commutative, Lie, Poisson, A-infinity, etc.) from a conceptual point of view. The book presents this topic with an emphasis on Koszul duality theory. After a modern treatment of Koszul duality for associative algebras, the theory is extended to operads. Applications to homotopy algebra are given, for instance the Homotopy Transfer Theorem. Although the necessary notions of algebra are recalled, readers are expected to be familiar with elementary homological algebra. Each chapter ends with a helpful summary and exercises. A full chapter is devoted to examples, and numerous figures are included. After a low-level chapter on Algebra, accessible to (advanced) undergraduate students, the level increases gradually through the book. However, the authors have done their best to make it suitable for graduate students: three appendices review the basic results needed in order to understand the various chapters. Since higher algebra is becoming essential in several research areas like deformation theory, algebraic geometry, representation theory, differential geometry, algebraic combinatorics, and mathematical physics, the book can also be used as a reference work by researchers.

As many readers will know, the 20th century was a time when the fields of mathematics and the sciences were seen as two separate entities. Caused by the rapid growth of the physical sciences and an increasing abstraction in mathematical research, each party, physicists and mathematicians alike, suffered a misconception; not only of the opposition's theoretical underpinning, but of how the two subjects could be intertwined and effectively utilized. One sub-discipline that played a part in the union of the two subjects is Theoretical Physics. Breaking it down further came the fundamental theories, Relativity and Quantum theory, and later on Yang-Mills theory. Other areas to emerge in this area are those derived from the works of Donaldson, Chern-Simons, Floer-Fukaya, and Seiberg-Witten. Aimed at a wide audience, Physical Topics in Mathematics demonstrates how various physical theories have played a crucial role in the developments of Mathematics and in particular, Geometric Topology. Issues are studied in great detail, and the book steadfastly covers the background of both Mathematics and Theoretical Physics in an effort to bring the reader to a deeper understanding of their interaction. Whilst the world of Theoretical Physics and Mathematics is boundless; it is not the intention of this book to cover its enormity. Instead, it seeks to lead the reader through the world of Physical Mathematics; leaving them with a choice of which realm they wish to visit next.

This volume was produced in conjunction with the Thematic Program in o-Minimal Structures and Real Analytic Geometry, held from January to June of 2009 at the Fields Institute. Five of the six contributions consist of notes from graduate courses associated with the program: Felipe Cano on a new proof of resolution of singularities for planar analytic vector fields; Chris Miller on o-minimality and Hardy fields; Jean-Philippe Rolin on the construction of o-minimal structures from quasianalytic classes; Fernando Sanz on non-oscillatory trajectories of vector fields; and Patrick Speissegger on pfaffian sets. The sixth contribution, by Antongiulio Fornasiero and Tamara Servi, is an adaptation to the nonstandard setting of A.J. Wilkie's construction of o-minimal structures from infinitely differentiable functions. Most of this material is either unavailable elsewhere or spread across many different sources such as research papers, conference proceedings and PhD theses. This book will be a useful tool for graduate students or researchers from related fields who want to learn about expansions of o-minimal structures by solutions, or images thereof, of definable systems of differential equations.

The characteristic feature of many models for field theories based on concepts of differential geometry is their nonlinearity. In this book a systematic exposition of nonlinear transformations in quantum field theory is given. The book starts with a short account of the renormalization theory with examples which can be handled successfully in four space-time dimensions. The second part is devoted to nonlinear sigma-models and their constructions in two dimensions. In the final section geometrical and cohomological methods and the relations to string theory are treated. This book is an important contribution towards rigorous definitions, and the mastering of nonlinear reparametrizations in agreement with the principles of quantum field theory will help to deal with anomalies, geometry and the like consistently and thus to understand better their implications for physics. The collection of papers addresses researchers and graduate students as well and will stimulate further work on the foundations of quantum field theory.

Variational Inequalities and Frictional Contact Problems contains a carefully selected collection of results on elliptic and evolutionary quasi-variational inequalities including existence, uniqueness, regularity, dual formulations, numerical approximations and error estimates ones. By using a wide range of methods and arguments, the results are presented in a constructive way, with clarity and well justified proofs. This approach makes the subjects accessible to mathematicians and applied mathematicians. Moreover, this part of the book can be used as an excellent background for the investigation of more general classes of variational inequalities. The abstract variational inequalities considered in this book cover the variational formulations of many static and quasi-static contact problems. Based on these abstract results, in the last part of the book, certain static and quasi-static frictional contact problems in elasticity are studied in an almost exhaustive way. The readers will find a systematic and unified exposition on classical, variational and dual formulations, existence, uniqueness and regularity results, finite element approximations and related optimal control problems. This part of the book is an update of the Signorini problem with nonlocal Coulomb friction, a problem little studied and with few results in the literature. Also, in the quasi-static case, a control problem governed by a bilateral contact problem is studied. Despite the theoretical nature of the presented results, the book provides a background for the numerical analysis of contact problems. The materials presented are accessible to both graduate/under graduate students and to researchers in applied mathematics, mechanics, and engineering. The obtained results have numerous applications in mechanics, engineering and geophysics. The book contains a good amount of original results which, in this unified form, cannot be found anywhere else.

The Farrell-Jones isomorphism conjecture in algebraic K-theory offers a description of the algebraic K-theory of a group using a generalized homology theory. In cases where the conjecture is known to be a theorem, it gives a powerful method for computing the lower algebraic K-theory of a group. This book contains a computation of the lower algebraic K-theory of the split three-dimensional crystallographic groups, a geometrically important class of three-dimensional crystallographic group, representing a third of the total number. The book leads the reader through all aspects of the calculation. The first chapters describe the split crystallographic groups and their classifying spaces. Later chapters assemble the techniques that are needed to apply the isomorphism theorem. The result is a useful starting point for researchers who are interested in the computational side of the Farrell-Jones isomorphism conjecture, and a contribution to the growing literature in the field.

This two-part volume contains numerous examples and insights on various topics. The authors have taken pains to present the material rigorously and coherently. This book will be immensely useful to mathematicians and graduate students working in algebraic geometry, arithmetic algebraic geometry, complex analysis and related fields.

Providing an up-to-date overview of the geometry of manifolds with non-negative sectional curvature, this volume gives a detailed account of the most recent research in the area. The lectures cover a wide range of topics such as general isometric group actions, circle actions on positively curved four manifolds, cohomogeneity one actions on Alexandrov spaces, isometric torus actions on Riemannian manifolds of maximal symmetry rank, n-Sasakian manifolds, isoparametric hypersurfaces in spheres, contact CR and CR submanifolds, Riemannian submersions and the Hopf conjecture with symmetry. Also included is an introduction to the theory of exterior differential systems.

Providing an accessible approach to a special case of the Rank Theorem, the present text considers the exact finiteness properties of S-arithmetic subgroups of split reductive groups in positive characteristic when S contains only two places. While the proof of the general Rank Theorem uses an involved reduction theory due to Harder, by imposing the restrictions that the group is split and that S has only two places, one can instead make use of the theory of twin buildings.

This book provides an introduction to symplectic field theory, a new and important subject which is currently being developed. The starting point of this theory are compactness results for holomorphic curves established in the last decade. The author presents a systematic introduction providing a lot of background material, much of which is scattered throughout the literature. Since the content grew out of lectures given by the author, the main aim is to provide an entry point into symplectic field theory for non-specialists and for graduate students. Extensions of certain compactness results, which are believed to be true by the specialists but have not yet been published in the literature in detail, top off the scope of this monograph.

This book offers a presentation of the special theory of relativity that is mathematically rigorous and yet spells out in considerable detail the physical significance of the mathematics. It treats, in addition to the usual menu of topics one is accustomed to finding in introductions to special relativity, a wide variety of results of more contemporary origin. These include Zeeman s characterization of the causal automorphisms of Minkowski spacetime, the Penrose theorem on the apparent shape of a relativistically moving sphere, a detailed introduction to the theory of spinors, a Petrov-type classification of electromagnetic fields in both tensor and spinor form, a topology for Minkowski spacetime whose homeomorphism group is essentially the Lorentz group, and a careful discussion of Dirac s famous Scissors Problem and its relation to the notion of a two-valued representation of the Lorentz group. This second edition includes a new chapter on the de Sitter universe which is intended to serve two purposes. The first is to provide a gentle prologue to the steps one must take to move beyond special relativity and adapt to the presence of gravitational fields that cannot be considered negligible. The second is to understand some of the basic features of a model of the empty universe that differs markedly from Minkowski spacetime, but may be recommended by recent astronomical observations suggesting that the expansion of our own universe is accelerating rather than slowing down. The treatment presumes only a knowledge of linear algebra in the first three chapters, a bit of real analysis in the fourth and, in two appendices, some elementary point-set topology.

The first edition of the book received the 1993 CHOICE award for Outstanding Academic Title.

Reviews of first edition:

a valuable contribution to the pedagogical literature which will be enjoyed by all who delight in precise mathematics and physics. (American Mathematical Society, 1993)

Where many physics texts explain physical phenomena by means of mathematical models, here a rigorous and detailed mathematical development is accompanied by precise physical interpretations. (CHOICE, 1993)

his talent in choosing the most significant results and ordering them within the book can t be denied. The reading of the book is, really, a pleasure. (Dutch Mathematical Society, 1993)

"

This is the Proceedings of the ICM 2010 Satellite Conference on "Buildings, Finite Geometries and Groups" organized at the Indian Statistical Institute, Bangalore, during August 29 - 31, 2010. This is a collection of articles by some of the currently very active research workers in several areas related to finite simple groups, Chevalley groups and their generalizations: theory of buildings, finite incidence geometries, modular representations, Lie theory, etc. These articles reflect the current major trends in research in the geometric and combinatorial aspects of the study of these groups.

The unique perspective the authors bring in their articles on the current developments and the major problems in their area is expected to be very useful to research mathematicians, graduate students and potential new entrants to these areas.

Approaches to the recovery of three-dimensional information on a biological object, which are often formulated or implemented initially in an intuitive way, are concisely described here based on physical models of the object and the image-formation process. Both three-dimensional electron microscopy and X-ray tomography can be captured in the same mathematical framework, leading to closely-related computational approaches, but the methodologies differ in detail and hence pose different challenges. The editors of this volume, Gabor T. Herman and Joachim Frank, are experts in the respective methodologies and present research at the forefront of biological imaging and structural biology. Computational Methods for Three-Dimensional Microscopy Reconstruction will serve as a useful resource for scholars interested in the development of computational methods for structural biology and cell biology, particularly in the area of 3D imaging and modeling.

Our purpose and main concern in writing this book is to illuminate classical concepts from the noncommutative viewpoint, to make the language and techniques of noncommutative geometry accessible and familiar to practi- tioners of classical mathematics, and to benefit physicists interested in the uses of noncommutative spaces. Same may say that ours is a very "com- mutative" way to deal with noncommutative matters; this charge we readily admit. Noncommutative geometry amounts to a program of unification of math- ematics under the aegis of the quantum apparatus, i.e., the theory of ope- rators and of C*-algebras. Largely the creation of a single person, Alain Connes, noncommutative geometry is just coming of age as the new century opens. The bible of the subject is, and will remain, Connes' Noncommuta- tive Geometry (1994), itself the "3.8-fold expansion" of the French Geome- trie non commutative ( 1990). Theseare extraordinary books, a "tapestry" of physics and mathematics, in the words of Vaughan jones, and the work of a "poet of modern science," according to Daniel Kastler, replete with subtle knowledge and insights apt to inspire several generations.

This book is an introduction to modern methods of symplectic topology. It is devoted to explaining the solution of an important problem originating from classical mechanics: the 'Arnold conjecture', which asserts that the number of 1-periodic trajectories of a non-degenerate Hamiltonian system is bounded below by the dimension of the homology of the underlying manifold. The first part is a thorough introduction to Morse theory, a fundamental tool of differential topology. It defines the Morse complex and the Morse homology, and develops some of their applications. Morse homology also serves a simple model for Floer homology, which is covered in the second part. Floer homology is an infinite-dimensional analogue of Morse homology. Its involvement has been crucial in the recent achievements in symplectic geometry and in particular in the proof of the Arnold conjecture. The building blocks of Floer homology are more intricate and imply the use of more sophisticated analytical methods, all of which are explained in this second part. The three appendices present a few prerequisites in differential geometry, algebraic topology and analysis. The book originated in a graduate course given at Strasbourg University, and contains a large range of figures and exercises. Morse Theory and Floer Homology will be particularly helpful for graduate and postgraduate students.

The present work grew out of a study of the Maslov class (e. g. (37]), which is a fundamental invariant in asymptotic analysis of partial differential equations of quantum physics. One of the many in terpretations of this class was given by F. Kamber and Ph. Tondeur (43], and it indicates that the Maslov class is a secondary characteristic class of a complex trivial vector bundle endowed with a real reduction of its structure group. (In the basic paper of V. I. Arnold about the Maslov class (2], it is also pointed out without details that the Maslov class is characteristic in the category of vector bundles mentioned pre viously. ) Accordingly, we wanted to study the whole range of secondary characteristic classes involved in this interpretation, and we gave a short description of the results in (83]. It turned out that a complete exposition of this theory was rather lengthy, and, moreover, I felt that many potential readers would have to use a lot of scattered references in order to find the necessary information from either symplectic geometry or the theory of the secondary characteristic classes. On the otherhand, both these subjects are of a much larger interest in differential geome try and topology, and in the applications to physical theories."

In the past ten years, there has been much progress in understanding the global dynamics of systems with several degrees-of-freedom. An important tool in these studies has been the theory of normally hyperbolic invariant manifolds and foliations of normally hyperbolic invariant manifolds. In recent years these techniques have been used for the development of global perturbation methods, the study of resonance phenomena in coupled oscillators, geometric singular perturbation theory, and the study of bursting phenomena in biological oscillators. "Invariant manifold theorems" have become standard tools for applied mathematicians, physicists, engineers, and virtually anyone working on nonlinear problems from a geometric viewpoint. In this book, the author gives a self-contained development of these ideas as well as proofs of the main theorems along the lines of the seminal works of Fenichel. In general, the Fenichel theory is very valuable for many applications, but it is not easy for people to get into from existing literature. This book provides an excellent avenue to that. Wiggins also describes a variety of settings where these techniques can be used in applications.

Compactness in topology and finite generation in algebra are nice properties to start with. However, the study of compact spaces leads naturally to non-compact spaces and infinitely generated chain complexes; a classical example is the theory of covering spaces. In handling non-compact spaces we must take into account the infinity behaviour of such spaces. This necessitates modifying the usual topological and algebraic cate gories to obtain "proper" categories in which objects are equipped with a "topologized infinity" and in which morphisms are compatible with the topology at infinity. The origins of proper (topological) category theory go back to 1923, when Kere kjart6 [VT] established the classification of non-compact surfaces by adding to orien tability and genus a new invariant, consisting of a set of "ideal points" at infinity. Later, Freudenthal [ETR] gave a rigorous treatment of the topology of "ideal points" by introducing the space of "ends" of a non-compact space. In spite of its early ap pearance, proper category theory was not recognized as a distinct area of topology until the late 1960's with the work of Siebenmann [OFB], [IS], [DES] on non-compact manifolds.

The flood of information through various computer networks such as the In ternet characterizes the world situation in which we live. Information worlds, often called virtual spaces and cyberspaces, have been formed on computer networks. The complexity of information worlds has been increasing almost exponentially through the exponential growth of computer networks. Such nonlinearity in growth and in scope characterizes information worlds. In other words, the characterization of nonlinearity is the key to understanding, utiliz ing and living with the flood of information. The characterization approach is by characteristic points such as peaks, pits, and passes, according to the Morse theory. Another approach is by singularity signs such as folds and cusps. Atoms and molecules are the other fundamental characterization ap proach. Topology and geometry, including differential topology, serve as the framework for the characterization. Topological Modeling for Visualization is a textbook for those interested in this characterization, to understand what it is and how to do it. Understanding is the key to utilizing information worlds and to living with the changes in the real world. Writing this textbook required careful preparation by the authors. There are complex mathematical concepts that require designing a writing style that facilitates understanding and appeals to the reader. To evolve a style, we set as a main goal of this book the establishment of a link between the theoretical aspects of modern geometry and topology, on the one hand, and experimental computer geometry, on the other.

This volume is the collection of papers dedicated to Yozo Matsushima on his 60th birthday, which took place on February 11, 1980. A conference in Geometry in honor of Professor Matsushima was held at the University of Notre Dame on May 14 and 15, 1980. Some of the papers in this volume were delivered on this occasion. 0 00 0\ - 15 S. Kobayashi, University 27 R. Ogawa, Loyola 42 P. Ryan, Indiana 1 W. Stoll 2 W. Kaup, University of of California at Berkeley University (Chicago) University at South Bend Tubing en 16 B. Y. Chen, 28 A. Howard 43 M. Kuga, SUNY at 3 G. Shimura, Michigan State University 29 D. Blair, Stony Brook Princeton University 17 G. Ludden, Michigan State University 44 W. Higgins 30 B. Smyth 4 A. Borel, Institute for Michigan State University 45 J. Curry Advanced Study 18 S. Harris, 31 A. Pradhan 46 D. Norris 32 R. Escobales, 5 Y. Matsushima University of Missouri 47 J. Spellecy Canisius College 6 Mrs. Matsushima 19 J. Beem, 48 M. Clancy 7 K. Nomizu, University of Missouri 33 L. Smiley 49 J. Rabinowitz, University 20 D. Collins, 34 C. H. Sung Brown University of Illinois at Chicago Valparaiso University 35 M. Markowitz 8 J. -1. Hano, 50 R. Richardson, Australian Washington University 36 A. Sommese 21 I. Satake, University of National University California at Berkeley 37 A. Vitter, 9 J. Carrell, University of 51 D. Lieberman, 22 H.

This volume contains research papers and survey articles written by Beno Eckmann from 1941 to 1986. The aim of the compilation is to provide a general view of the breadth of Eckmann s mathematical work. His influence was particularly strong in the development of many subfields of topology and algebra, where he repeatedly pointed out close, and often surprising, connections between them and other areas. The surveys are exemplary in terms of how they make difficult mathematical ideas easily comprehensible and accessible even to non-specialists. The topics treated here can be classified into the following, not entirely unrelated areas: algebraic topology (homotopy and homology theory), algebra, group theory and differential geometry. Beno Eckmann was Professor of Mathematics at the University of Lausanne, 1942-48, and Principal of the Institute for Mathematical Research at the ETH Zurich, 1964-84, where he was therefore an emeritus professor."