This collection of peer-reviewed conference papers provides comprehensive coverage of cutting-edge research in topological approaches to data analysis and visualization. It encompasses the full range of new algorithms and insights, including fast homology computation, comparative analysis of simplification techniques, and key applications in materials and medical science. The volume also features material on core research challenges such as the representation of large and complex datasets and integrating numerical methods with robust combinatorial algorithms. Reflecting the focus of the TopoInVis 2013 conference, the contributions evince the progress currently being made on finding experimental solutions to open problems in the sector. They provide an inclusive snapshot of state-of-the-art research that enables researchers to keep abreast of the latest developments and provides a foundation for future progress. With papers by some of the world’s leading experts in topological techniques, this volume is a major contribution to the literature in a field of growing importance with applications in disciplines that range from engineering to medicine.

This ambitious and original book sets out to introduce to mathematicians (even including graduate students ) the mathematical methods of theoretical and experimental quantum field theory, with an emphasis on coordinate-free presentations of the mathematical objects in use. This in turn promotes the interaction between mathematicians and physicists by supplying a common and flexible language for the good of both communities, though mathematicians are the primary target. This reference work provides a coherent and complete mathematical toolbox for classical and quantum field theory, based on categorical and homotopical methods, representing an original contribution to the literature. The first part of the book introduces the mathematical methods needed to work with the physicists' spaces of fields, including parameterized and functional differential geometry, functorial analysis, and the homotopical geometric theory of non-linear partial differential equations, with applications to general gauge theories. The second part presents a large family of examples of classical field theories, both from experimental and theoretical physics, while the third part provides an introduction to quantum field theory, presents various renormalization methods, and discusses the quantization of factorization algebras.

This book contains recent contributions to the fields of rigidity and symmetry with two primary focuses: to present the mathematically rigorous treatment of rigidity of structures and to explore the interaction of geometry, algebra and combinatorics. Contributions present recent trends and advances in discrete geometry, particularly in the theory of polytopes. The rapid development of abstract polytope theory has resulted in a rich theory featuring an attractive interplay of methods and tools from discrete geometry, group theory, classical geometry, hyperbolic geometry and topology. Overall, the book shows how researchers from diverse backgrounds explore connections among the various discrete structures with symmetry as the unifying theme. The volume will be a valuable source as an introduction to the ideas of both combinatorial and geometric rigidity theory and its applications, incorporating the surprising impact of symmetry. It will appeal to students at both the advanced undergraduate and graduate levels, as well as post docs, structural engineers and chemists.

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.

Filling a gap in the literature, this book takes the reader to the frontiers of equivariant topology, the study of objects with specified symmetries. The discussion is motivated by reference to a list of instructive "toy" examples and calculations in what is a relatively unexplored field. The authors also provide a reading path for the first-time reader less interested in working through sophisticated machinery but still desiring a rigorous understanding of the main concepts. The subject's classical counterparts, ordinary homology and cohomology, dating back to the work of Henri Poincare in topology, are calculational and theoretical tools which are important in many parts of mathematics and theoretical physics, particularly in the study of manifolds. Similarly powerful tools have been lacking, however, in the context of equivariant topology. Aimed at advanced graduate students and researchers in algebraic topology and related fields, the book assumes knowledge of basic algebraic topology and group actions.

I.M.Gelfand, one of the leading contemporary mathematicians, largely determined the modern view of functional analysis with its numerous relations to other branches of mathematics, including mathematical physics, algebra, topology, differential geometry and analysis. With the publication of these Collected Papers in three volumes Gelfand gives a representative choice of his papers written in the last fifty years. Gelfand's research led to the development of remarkable mathematical theories - most now classics - in the field of Banach algebras, infinite-dimensional representations of Lie groups, the inverse Sturm-Liouville problem, cohomology of infinite-dimensional Lie algebras, integral geometry, generalized functions and general hypergeometric functions. The corresponding papers form the major part of the Collected Papers. Some articles on numerical methods and cybernetics as well as a few on biology are included. A substantial part of the papers have been translated into English especially for this edition. This edition is rounded off by a preface by S.G.Gindikin, a contribution by V.I.Arnold and an extensive bibliography with almost 500 references. Gelfand's Collected Papers will provide stimulating and serendipitous reading for researchers in a multitude of mathematical disciplines.

There has been an increasing interest in the statistical analysis of geometric objects and structures in many branches of science and engineering in recent years. The aim of this book is to present these statistical methods for practical use by non-mathematicians by outlining the mathematical ideas rather than concentrating on detailed proofs. The clarity of exposition ensures that the book will be a valuable resource for researchers and practitioners in many scientific disciplines who wish to use these methods in their work. In particular, the book is suited to materials scientists, geologists, environmental scientists, and biologists.

Banach spaces provide a framework for linear and nonlinear functional analysis, operator theory, abstract analysis, probability, optimization and other branches of mathematics. This book introduces the reader to linear functional analysis and to related parts of infinite-dimensional Banach space theory. Key Features: - Develops classical theory, including weak topologies, locally convex space, Schauder bases and compact operator theory - Covers Radon-Nikodym property, finite-dimensional spaces and local theory on tensor products - Contains sections on uniform homeomorphisms and non-linear theory, Rosenthal's L1 theorem, fixed points, and more - Includes information about further topics and directions of research and some open problems at the end of each chapter - Provides numerous exercises for practice The text is suitable for graduate courses or for independent study. Prerequisites include basic courses in calculus and linear. Researchers in functional analysis will also benefit for this book as it can serve as a reference book.

The topic of this book sits at the interface of the theory of higher categories (in the guise of ( ,1)-categories) and the theory of properads. Properads are devices more general than operads and enable one to encode bialgebraic, rather than just (co)algebraic, structures. The text extends both the Joyal-Lurie approach to higher categories and the Cisinski-Moerdijk-Weiss approach to higher operads, and provides a foundation for a broad study of the homotopy theory of properads. This work also serves as a complete guide to the generalised graphs which are pervasive in the study of operads and properads. A preliminary list of potential applications and extensions comprises the final chapter. Infinity Properads and Infinity Wheeled Properads is written for mathematicians in the fields of topology, algebra, category theory, and related areas. It is written roughly at the second year graduate level, and assumes a basic knowledge of category theory.

This English version of the path-breaking French book on this subject gives the definitive treatment of the revolutionary approach to measure theory, geometry, and mathematical physics developed by Alain Connes. Profusely illustrated and invitingly written, this book is ideal for anyone who wants to know what noncommutative geometry is, what it can do, or how it can be used in various areas of mathematics, quantization, and elementary particles and fields.
Key Features
* First full treatment of the subject and its applications
* Written by the pioneer of this field
* Broad applications in mathematics
* Of interest across most fields
* Ideal as an introduction and survey
* Examples treated include:
@subbul* the space of Penrose tilings
* the space of leaves of a foliation
* the space of irreducible unitary representations of a discrete group
* the phase space in quantum mechanics
* the Brillouin zone in the quantum Hall effect
* A model of space time

This book sheds new light on topological defects in widely differing systems, using the Velocity-Dependent One-Scale Model to better understand their evolution. Topological defects - cosmic strings, monopoles, domain walls or others - necessarily form at cosmological (and condensed matter) phase transitions. If they are stable and long-lived they will be fossil relics of higher-energy physics. Understanding their behaviour and consequences is a key part of any serious attempt to understand the universe, and this requires modelling their evolution. The velocity-dependent one-scale model is the only fully quantitative model of defect network evolution, and the canonical model in the field. This book provides a review of the model, explaining its physical content and describing its broad range of applicability.

Exploring several of the evolutionary branches of the mathematical notion of genus, this book traces the idea from its prehistory in problems of integration, through algebraic curves and their associated Riemann surfaces, into algebraic surfaces, and finally into higher dimensions. Its importance in analysis, algebraic geometry, number theory and topology is emphasized through many theorems. Almost every chapter is organized around excerpts from a research paper in which a new perspective was brought on the genus or on one of the objects to which this notion applies. The author was motivated by the belief that a subject may best be understood and communicated by studying its broad lines of development, feeling the way one arrives at the definitions of its fundamental notions, and appreciating the amount of effort spent in order to explore its phenomena.

The book provides the proof of a complex geometric version of a well-known result in algebraic geometry: the theorem of Riemann-Roch-Grothendieck for proper submersions. It gives an equality of cohomology classes in Bott-Chern cohomology, which is a refinement for complex manifolds of de Rham cohomology. When the manifolds are Kahler, our main result is known. A proof can be given using the elliptic Hodge theory of the fibres, its deformation via Quillen's superconnections, and a version in families of the 'fantastic cancellations' of McKean-Singer in local index theory. In the general case, this approach breaks down because the cancellations do not occur any more. One tool used in the book is a deformation of the Hodge theory of the fibres to a hypoelliptic Hodge theory, in such a way that the relevant cohomological information is preserved, and 'fantastic cancellations' do occur for the deformation. The deformed hypoelliptic Laplacian acts on the total space of the relative tangent bundle of the fibres. While the original hypoelliptic Laplacian discovered by the author can be described in terms of the harmonic oscillator along the tangent bundle and of the geodesic flow, here, the harmonic oscillator has to be replaced by a quartic oscillator. Another idea developed in the book is that while classical elliptic Hodge theory is based on the Hermitian product on forms, the hypoelliptic theory involves a Hermitian pairing which is a mild modification of intersection pairing. Probabilistic considerations play an important role, either as a motivation of some constructions, or in the proofs themselves.

This is the fifth conference in a bi-annual series, following conferences in Besancon, Limoges, Irsee and Toronto. The meeting aims to bring together different strands of research in and closely related to the area of Iwasawa theory. During the week before the conference in a kind of summer school a series of preparatory lectures for young mathematicians was provided as an introduction to Iwasawa theory. Iwasawa theory is a modern and powerful branch of number theory and can be traced back to the Japanese mathematician Kenkichi Iwasawa, who introduced the systematic study of Z_p-extensions and p-adic L-functions, concentrating on the case of ideal class groups. Later this would be generalized to elliptic curves. Over the last few decades considerable progress has been made in automorphic Iwasawa theory, e.g. the proof of the Main Conjecture for GL(2) by Kato and Skinner & Urban. Techniques such as Hida's theory of p-adic modular forms and big Galois representations play a crucial part. Also a noncommutative Iwasawa theory of arbitrary p-adic Lie extensions has been developed. This volume aims to present a snapshot of the state of art of Iwasawa theory as of 2012. In particular it offers an introduction to Iwasawa theory (based on a preparatory course by Chris Wuthrich) and a survey of the proof of Skinner & Urban (based on a lecture course by Xin Wan).

This book is an introduction to the theory of Hilbert space, a fundamental tool for non-relativistic quantum mechanics. Linear, topological, metric, and normed spaces are all addressed in detail, in a rigorous but reader-friendly fashion. The rationale for an introduction to the theory of Hilbert space, rather than a detailed study of Hilbert space theory itself, resides in the very high mathematical difficulty of even the simplest physical case. Within an ordinary graduate course in physics there is insufficient time to cover the theory of Hilbert spaces and operators, as well as distribution theory, with sufficient mathematical rigor. Compromises must be found between full rigor and practical use of the instruments. The book is based on the author's lessons on functional analysis for graduate students in physics. It will equip the reader to approach Hilbert space and, subsequently, rigged Hilbert space, with a more practical attitude. With respect to the original lectures, the mathematical flavor in all subjects has been enriched. Moreover, a brief introduction to topological groups has been added in addition to exercises and solved problems throughout the text. With these improvements, the book can be used in upper undergraduate and lower graduate courses, both in Physics and in Mathematics.

This book gives an introduction to the very active field of combinatorics of affine Schubert calculus, explains the current state of the art, and states the current open problems. Affine Schubert calculus lies at the crossroads of combinatorics, geometry, and representation theory. Its modern development is motivated by two seemingly unrelated directions. One is the introduction of k-Schur functions in the study of Macdonald polynomial positivity, a mostly combinatorial branch of symmetric function theory. The other direction is the study of the Schubert bases of the (co)homology of the affine Grassmannian, an algebro-topological formulation of a problem in enumerative geometry. This is the first introductory text on this subject. It contains many examples in Sage, a free open source general purpose mathematical software system, to entice the reader to investigate the open problems. This book is written for advanced undergraduate and graduate students, as well as researchers, who want to become familiar with this fascinating new field.

Exploring the full scope of differential topology, this comprehensive account of geometric techniques for studying the topology of smooth manifolds offers a wide perspective on the field. Building up from first principles, concepts of manifolds are introduced, supplemented by thorough appendices giving background on topology and homotopy theory. Deep results are then developed from these foundations through in-depth treatments of the notions of general position and transversality, proper actions of Lie groups, handles (up to the h-cobordism theorem), immersions and embeddings, concluding with the surgery procedure and cobordism theory. Fully illustrated and rigorous in its approach, little prior knowledge is assumed, and yet growing complexity is instilled throughout. This structure gives advanced students and researchers an accessible route into the wide-ranging field of differential topology.

This third edition is addressed to the mathematician or graduate student of mathematics - or even the well-prepared undergraduate - who would like, with a minimum of background and preparation, to understand some of the beautiful results at the heart of nonlinear analysis. Based on carefully-expounded ideas from several branches of topology, and illustrated by a wealth of figures that attest to the geometric nature of the exposition, the book will be of immense help in providing its readers with an understanding of the mathematics of the nonlinear phenomena that characterize our real world. Included in this new edition are several new chapters that present the fixed point index and its applications. The exposition and mathematical content is improved throughout. This book is ideal for self-study for mathematicians and students interested in such areas of geometric and algebraic topology, functional analysis, differential equations, and applied mathematics. It is a sharply focused and highly readable view of nonlinear analysis by a practicing topologist who has seen a clear path to understanding. "For the topology-minded reader, the book indeed has a lot to offer: written in a very personal, eloquent and instructive style it makes one of the highlights of nonlinear analysis accessible to a wide audience."-Monatshefte fur Mathematik (2006)

The algebraic techniques developed by Kakde will almost certainly lead eventually to major progress in the study of congruences between automorphic forms and the main conjectures of non-commutative Iwasawa theory for many motives. Non-commutative Iwasawa theory has emerged dramatically over the last decade, culminating in the recent proof of the non-commutative main conjecture for the Tate motive over a totally real p-adic Lie extension of a number field, independently by Ritter and Weiss on the one hand, and Kakde on the other. The initial ideas for giving a precise formulation of the non-commutative main conjecture were discovered by Venjakob, and were then systematically developed in the subsequent papers by Coates-Fukaya-Kato-Sujatha-Venjakob and Fukaya-Kato. There was also parallel related work in this direction by Burns and Flach on the equivariant Tamagawa number conjecture. Subsequently, Kato discovered an important idea for studying the K_1 groups of non-abelian Iwasawa algebras in terms of the K_1 groups of the abelian quotients of these Iwasawa algebras. Kakde's proof is a beautiful development of these ideas of Kato, combined with an idea of Burns, and essentially reduces the study of the non-abelian main conjectures to abelian ones. The approach of Ritter and Weiss is more classical, and partly inspired by techniques of Frohlich and Taylor. Since many of the ideas in this book should eventually be applicable to other motives, one of its major aims is to provide a self-contained exposition of some of the main general themes underlying these developments. The present volume will be a valuable resource for researchers working in both Iwasawa theory and the theory of automorphic forms.

A classical theorem of Jordan states that every finite transitive permutation group contains a derangement. This existence result has interesting and unexpected applications in many areas of mathematics, including graph theory, number theory and topology. Various generalisations have been studied in more recent years, with a particular focus on the existence of derangements with special properties. Written for academic researchers and postgraduate students working in related areas of algebra, this introduction to the finite classical groups features a comprehensive account of the conjugacy and geometry of elements of prime order. The development is tailored towards the study of derangements in finite primitive classical groups; the basic problem is to determine when such a group G contains a derangement of prime order r, for each prime divisor r of the degree of G. This involves a detailed analysis of the conjugacy classes and subgroup structure of the finite classical groups.

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.

The aim of the book is to give a broad introduction of topology to undergraduate students. It covers the most important and useful parts of the point-set as well as the combinatorial topology. The development of the material is from simple to complex, concrete to abstract, and appeals to the intuition of readers. Attention is also paid to how topology is actually used in the other fields of mathematics. Over 150 illustrations, 160 examples and 600 exercises will help readers to practice and fully understand the subject. Contents: Set and Map Metric Space Graph Topology Topological Concepts Complex Topological Properties Surface Topics in Point Set Topology Index

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.

Following Quillen's approach to complex cobordism, the authors introduce the notion of oriented cohomology theory on the category of smooth varieties over a fixed field. They prove the existence of a universal such theory (in characteristic 0) called Algebraic Cobordism. The book also contains some examples of computations and applications.