Several recent investigations have focused attention on spaces and manifolds which are non-compact but where the problems studied have some kind of "control near infinity." This monograph introduces the category of spaces that are "boundedly controlled" over the (usually non-compact) metric space Z. It sets out to develop the algebraic and geometric tools needed to formulate and to prove boundedly controlled analogues of many of the standard results of algebraic topology and simple homotopy theory. One of the themes of the book is to show that in many cases the proof of a standard result can be easily adapted to prove the boundedly controlled analogue and to provide the details, often omitted in other treatments, of this adaptation. For this reason, the book does not require of the reader an extensive background. In the last chapter it is shown that special cases of the boundedly controlled Whitehead group are strongly related to lower K-theoretic groups, and the boundedly controlled theory is compared to Siebenmann's proper simple homotopy theory when Z = IR or IR2.

A small conference was held in September 1986 to discuss new applications of elliptic functions and modular forms in algebraic topology, which had led to the introduction of elliptic genera and elliptic cohomology. The resulting papers range, fom these topics through to quantum field theory, with considerable attention to formal groups, homology and cohomology theories, and circle actions on spin manifolds. Ed. Witten's rich article on the index of the Dirac operator in loop space presents a mathematical treatment of his interpretation of elliptic genera in terms of quantum field theory. A short introductory article gives an account of the growth of this area prior to the conference.

This book brings together into a general setting various techniques in the study of the topological properties of spaces of continuous functions. The two major classes of function space topologies studied are the set-open topologies and the uniform topologies. Where appropriate, the analogous theorems for the two major classes of topologies are studied together, so that a comparison can be made. A chapter on cardinal functions puts characterizations of a number of topological properties of function spaces into a more general setting: some of these results are new, others are generalizations of known theorems. Excercises are included at the end of each chapter, covering other kinds of function space topologies. Thus the book should be appropriate for use in a classroom setting as well as for functional analysis and general topology. The only background needed is some basic knowledge of general topology.

This proceedings volume centers on new developments in rational homotopy and on their influence on algebra and algebraic topology. Most of the papers are original research papers dealing with rational homotopy and tame homotopy, cyclic homology, Moore conjectures on the exponents of the homotopy groups of a finite CW-c-complex and homology of loop spaces. Of particular interest for specialists are papers on construction of the minimal model in tame theory and computation of the Lusternik-Schnirelmann category by means articles on Moore conjectures, on tame homotopy and on the properties of Poincare series of loop spaces.

An Outline of a General Theory of Models. Translation of Stabilit tructurelle et Morphog'se.

The aim of this international conference the third of its type was to survey recent developments in Geometric Topology and Shape Theory with an emphasis on their interaction. The volume contains original research papers and carefully selected survey of currently active areas. The main topics and themes represented by the papers of this volume include decomposition theory, cell-like mappings and CE-equivalent compacta, covering dimension versus cohomological dimension, ANR's and LCn-compacta, homology manifolds, embeddings of continua into manifolds, complement theorems in shape theory, approximate fibrations and shape fibrations, fibered shape, exact homologies and strong shape theory.

During the Winter and spring of 1985 a Workshop in Algebraic Topology was held at the University of Washington. The course notes by Emmanuel Dror Farjoun and by Frederick R. Cohen contained in this volume are carefully written graduate level expositions of certain aspects of equivariant homotopy theory and classical homotopy theory, respectively. M.E. Mahowald has included some of the material from his further papers, represent a wide range of contemporary homotopy theory: the Kervaire invariant, stable splitting theorems, computer calculation of unstable homotopy groups, and studies of L(n), Im J, and the symmetric groups.

This volume of research papers is an outgrowth of the Manin Seminar at Moscow University, devoted to K-theory, homological algebra and algebraic geometry. The main topics discussed include additive K-theory, cyclic cohomology, mixed Hodge structures, theory of Virasoro and Neveu-Schwarz algebras.

Freeness of an action of a compact Lie group on a compact Hausdorff space is equivalent to a simple condition on the corresponding equivariant K-theory. This fact can be regarded as a theorem on actions on a commutative C*-algebra, namely the algebra of continuous complex-valued functions on the space. The successes of "noncommutative topology" suggest that one should try to generalize this result to actions on arbitrary C*-algebras. Lacking an appropriate definition of a free action on a C*-algebra, one is led instead to the study of actions satisfying conditions on equivariant K-theory - in the cases of spaces, simply freeness. The first third of this book is a detailed exposition of equivariant K-theory and KK-theory, assuming only a general knowledge of C*-algebras and some ordinary K-theory. It continues with the author's research on K-theoretic freeness of actions. It is shown that many properties of freeness generalize, while others do not, and that certain forms of K-theoretic freeness are related to other noncommutative measures of freeness, such as the Connes spectrum. The implications of K-theoretic freeness for actions on type I and AF algebras are also examined, and in these cases K-theoretic freeness is characterized analytically.

This book presents the proceedings of the Sixth International Conference on Category Theory and Computer Science, CTCS '95, held in Cambridge, UK in August 1995.The 15 revised full papers included in the volume document the exploitation of links between logic and category theory leading to a solid basis for much of the understanding of the semantics of computation. Notable amongst other advances is the introduction of linear logic and other substructural logics, providing a new approach to proof theory. Further aspects covered are semantics of lambda calculi and type theories, program specification and development, and domain theory.

The homotopy index theory was developed by Charles Conley for two sided flows on compact spaces. The homotopy or Conley index, which provides an algebraic-topologi cal measure of an isolated invariant set, is defined to be the ho motopy type of the quotient space N /N, where is a certain 1 2 1 2 compact pair, called an index pair. Roughly speaking, N1 isolates the invariant set and N2 is the "exit ramp" of N . 1 It is shown that the index is independent of the choice of the in dex pair and is invariant under homotopic perturbations of the flow. Moreover, the homotopy index generalizes the Morse index of a nQnde generate critical point p with respect to a gradient flow on a com pact manifold. In fact if the Morse index of p is k, then the homo topy index of the invariant set {p} is Ik - the homotopy type of the pointed k-dimensional unit sphere."

"The book ...is a storehouse of useful information for the mathematicians interested in foliation theory." (John Cantwell, Mathematical Reviews 1992)

This comprehensive monograph provides a self-contained treatment of the theory of I*-measure, or Sullivan's rational homotopy theory, from a constructive point of view. It centers on the notion of calculability which is due to the author himself, as are the measure-theoretical and constructive points of view in rational homotopy. The I*-measure is shown to differ from other homology and homotopy measures in that it is calculable with respect to most of the important geometric constructions encountered in algebraic topology. This approach provides a new method of treatment and leads to various new results. In particular, an axiomatic system of I*-measure is formulated, quite different in spirit from the usual Eilenberg-Steenrod axiomatic system for homology, and giving at the same time an algorithmic method of computation of the I*-measure in concrete cases. The book will be of interest to researchers in rational homotopy theory and will provide them with new ideas and lines of research to develop further.

A Nash manifold denotes a real manifold furnished with algebraic structure, following a theorem of Nash that a compact differentiable manifold can be imbedded in a Euclidean space so that the image is precisely such a manifold. This book, in which almost all results are very recent or unpublished, is an account of the theory of Nash manifolds, whose properties are clearer and more regular than those of differentiable or PL manifolds. Basic to the theory is an algebraic analogue of Whitney's Approximation Theorem. This theorem induces a "finiteness" of Nash manifold structures and differences between Nash and differentiable manifolds. The point of view of the author is topological. However the proofs also require results and techniques from other domains so elementary knowledge of commutative algebra, several complex variables, differential topology, PL topology and real singularities is required of the reader. The book is addressed to graduate students and researchers in differential topology and real algebraic geometry.

The main purpose of part I of these notes is to develop for a ring R a functional notion of R-completion of a space X. For R=Zp and X subject to usual finiteness condition, the R-completion coincides up to homotopy, with the p-profinite completion of Quillen and Sullivan; for R a subring of the rationals, the R-completion coincides up to homotopy, with the localizations of Quillen, Sullivan and others. In part II of these notes, the authors have assembled some results on towers of fibrations, cosimplicial spaces and homotopy limits which were needed in the discussions of part I, but which are of some interest in themselves.

The main result of this original research monograph is the classification of C*-algebras of ordinary foliations of the plane in terms of a class of -trees. It reveals a close connection between some most recent developments in modern analysis and low-dimensional topology. It introduces noncommutative CW-complexes (as the global fibred products of C*-algebras), among other things, which adds a new aspect to the fast-growing field of noncommutative topology and geometry. The reader is only required to know basic functional analysis. However, some knowledge of topology and dynamical systems will be helpful. The book addresses graduate students and experts in the area of analysis, dynamical systems and topology.

The manifolds investigated in this monograph are generalizations of (XX)-rank one locally symmetric spaces. In the first part of the book the author develops spectral theory for the differential Laplacian operator associated to the so-called generalized Dirac operators on manifolds with cusps of rank one. This includes the case of spinor Laplacians on (XX)-rank one locally symmetric spaces. The time-dependent approach to scattering theory is taken to derive the main results about the spectral resolution of these operators. The second part of the book deals with the derivation of an index formula for generalized Dirac operators on manifolds with cusps of rank one. This index formula is used to prove a conjecture of Hirzebruch concerning the relation of signature defects of cusps of Hilbert modular varieties and special values of L-series. This book is intended for readers working in the field of automorphic forms and analysis on non-compact Riemannian manifolds, and assumes a knowledge of PDE, scattering theory and harmonic analysis on semisimple Lie groups.

Approach your problems from the right end It isn't that they can't see the solution. and begin with the answers. Then one day, It is that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Clad in Crane Feathers' Brown 'The point of a Pin'. in R. van Gulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thouglit to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sci ences has changed drastically in recent years: measure theory is used (non-trivially) in re gional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homo topy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can use Stein spaces."

1.1 General Introduction The work which comprises this essay formed part of a multidiscip linary project investigating the folding of the developing cerebral cortex in the ferret. The project as a whole combined a study, at the histological level, of the cytoarchitectural development concom itant with folding and a mathematical study of folding viewed from the perspective of differential geometry. We here concentrate on the differential geometry of brain folding. Histological results which have some significance to the geometry of the cortex are re ferred to, but are not discussed in any depth. As with any truly multidisciplinary work, this essay has objectives which lie in each of its constituent disciplines. From a neuroana tomical point of view, the work explores the use of the surface geo metry of the developing cortex as a parameter for the underlying growth process. Geometrical parameters of particular interest and theoretical importance are surface curvatures. Our experimental portion reports the measurement of the surface curvature of the ferret brain during the early stages of folding. The use of sur face curvatures and other parameters of differential geometry in the formulation of theoretical models of cortical folding is dis cussed."