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.

Appearance of singularities is pervasive in many problems in topology, differential geometry, and algebraic geometry. This book concerns the study of singular spaces using techniques from a variety of areas of geometry and topology and the interactions among them. Expository chapters by well-known experts cover intersection homology, L2 cohomology and differential operators, topology of algebraic varieties, signatures and characteristic classes, mixed Hodge theory, and elliptic genera of singular complex and real algebraic varieties. The book concludes with a list of open problems.

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.

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.

Group cohomology reveals a deep relationship between algebra and topology, and its recent applications have provided important insights into the Hodge conjecture and algebraic geometry more broadly. This book presents a coherent suite of computational tools for the study of group cohomology and algebraic cycles. Early chapters synthesize background material from topology, algebraic geometry, and commutative algebra so readers do not have to form connections between the literatures on their own. Later chapters demonstrate Peter Symonds's influential proof of David Benson's regularity conjecture, offering several new variants and improvements. Complete with concrete examples and computations throughout, and a list of open problems for further study, this book will be valuable to graduate students and researchers in algebraic geometry and related fields.

Focusing on the role that automorphisms and equivalence relations play in the algebraic theory of minimal sets provides an original treatment of some key aspects of abstract topological dynamics. Such an approach is presented in this lucid and self-contained book, leading to simpler proofs of classical results, as well as providing motivation for further study. Minimal flows on compact Hausdorff spaces are studied as icers on the universal minimal flow M. The group of the icer representing a minimal flow is defined as a subgroup of the automorphism group G of M, and icers are constructed explicitly as relative products using subgroups of G. Many classical results are then obtained by examining the structure of the icers on M, including a proof of the Furstenberg structure theorem for distal extensions. This book is designed as both a guide for graduate students, and a source of interesting new ideas for researchers.

This book develops abstract homotopy theory from the categorical perspective with a particular focus on examples. Part I discusses two competing perspectives by which one typically first encounters homotopy (co)limits: either as derived functors definable when the appropriate diagram categories admit a compatible model structure, or through particular formulae that give the right notion in certain examples. Emily Riehl unifies these seemingly rival perspectives and demonstrates that model structures on diagram categories are irrelevant. Homotopy (co)limits are explained to be a special case of weighted (co)limits, a foundational topic in enriched category theory. In Part II, Riehl further examines this topic, separating categorical arguments from homotopical ones. Part III treats the most ubiquitous axiomatic framework for homotopy theory - Quillen's model categories. Here, Riehl simplifies familiar model categorical lemmas and definitions by focusing on weak factorization systems. Part IV introduces quasi-categories and homotopy coherence.

This book gives a comprehensive treatment of the Grassmannian varieties and their Schubert subvarieties, focusing on the geometric and representation-theoretic aspects of Grassmannian varieties. Research of Grassmannian varieties is centered at the crossroads of commutative algebra, algebraic geometry, representation theory, and combinatorics. Therefore, this text uniquely presents an exciting playing field for graduate students and researchers in mathematics, physics, and computer science, to expand their knowledge in the field of algebraic geometry. The standard monomial theory (SMT) for the Grassmannian varieties and their Schubert subvarieties are introduced and the text presents some important applications of SMT including the Cohen-Macaulay property, normality, unique factoriality, Gorenstein property, singular loci of Schubert varieties, toric degenerations of Schubert varieties, and the relationship between Schubert varieties and classical invariant theory. This text would serve well as a reference book for a graduate work on Grassmannian varieties and would be an excellent supplementary text for several courses including those in geometry of spherical varieties, Schubert varieties, advanced topics in geometric and differential topology, representation theory of compact and reductive groups, Lie theory, toric varieties, geometric representation theory, and singularity theory. The reader should have some familiarity with commutative algebra and algebraic geometry.

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.

Moduli theory is the study of how objects, typically in algebraic geometry but sometimes in other areas of mathematics, vary in families and is fundamental to an understanding of the objects themselves. First formalised in the 1960s, it represents a significant topic of modern mathematical research with strong connections to many areas of mathematics (including geometry, topology and number theory) and other disciplines such as theoretical physics. This book, which arose from a programme at the Isaac Newton Institute in Cambridge, is an ideal way for graduate students and more experienced researchers to become acquainted with the wealth of ideas and problems in moduli theory and related areas. The reader will find articles on both fundamental material and cutting-edge research topics, such as: algebraic stacks; BPS states and the P = W conjecture; stability conditions; derived differential geometry; and counting curves in algebraic varieties, all written by leading experts.

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 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.

This book provides a detailed and largely self-contained description of various classical and new results on solvability and unsolvability of equations in explicit form. In particular, it offers a complete exposition of the relatively new area of topological Galois theory, initiated by the author. Applications of Galois theory to solvability of algebraic equations by radicals, basics of Picard–Vessiot theory, and Liouville's results on the class of functions representable by quadratures are also discussed. A unique feature of this book is that recent results are presented in the same elementary manner as classical Galois theory, which will make the book useful and interesting to readers with varied backgrounds in mathematics, from undergraduate students to researchers. In this English-language edition, extra material has been added (Appendices A–D), the last two of which were written jointly with Yura Burda.

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 lays the foundations for an exciting new area of research in descriptive set theory. It develops a robust connection between two active topics: forcing and analytic equivalence relations. This in turn allows the authors to develop a generalization of classical Ramsey theory. Given an analytic equivalence relation on a Polish space, can one find a large subset of the space on which it has a simple form? The book provides many positive and negative general answers to this question. The proofs feature proper forcing and Gandy-Harrington forcing, as well as partition arguments. The results include strong canonization theorems for many classes of equivalence relations and sigma-ideals, as well as ergodicity results in cases where canonization theorems are impossible to achieve. Ideal for graduate students and researchers in set theory, the book provides a useful springboard for further research.

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.

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)

A Course in Topological Combinatorics is the first undergraduate textbook on the field of topological combinatorics, a subject that has become an active and innovative research area in mathematics over the last thirty years with growing applications in math, computer science, and other applied areas. Topological combinatorics is concerned with solutions to combinatorial problems by applying topological tools. In most cases these solutions are very elegant and the connection between combinatorics and topology often arises as an unexpected surprise. The textbook covers topics such as fair division, graph coloring problems, evasiveness of graph properties, and embedding problems from discrete geometry. The text contains a large number of figures that support the understanding of concepts and proofs. In many cases several alternative proofs for the same result are given, and each chapter ends with a series of exercises. The extensive appendix makes the book completely self-contained. The textbook is well suited for advanced undergraduate or beginning graduate mathematics students. Previous knowledge in topology or graph theory is helpful but not necessary. The text may be used as a basis for a one- or two-semester course as well as a supplementary text for a topology or combinatorics class.

Based on lectures given at the renowned Villa de Leyva summer school, this book provides a unique presentation of modern geometric methods in quantum field theory. Written by experts, it enables readers to enter some of the most fascinating research topics in this subject. Covering a series of topics on geometry, topology, algebra, number theory methods and their applications to quantum field theory, the book covers topics such as Dirac structures, holomorphic bundles and stability, Feynman integrals, geometric aspects of quantum field theory and the standard model, spectral and Riemannian geometry and index theory. This is a valuable guide for graduate students and researchers in physics and mathematics wanting to enter this interesting research field at the borderline between mathematics and physics.

This unique book on modern topology looks well beyond traditional treatises and explores spaces that may, but need not, be Hausdorff. This is essential for domain theory, the cornerstone of semantics of computer languages, where the Scott topology is almost never Hausdorff. For the first time in a single volume, this book covers basic material on metric and topological spaces, advanced material on complete partial orders, Stone duality, stable compactness, quasi-metric spaces and much more. An early chapter on metric spaces serves as an invitation to the topic (continuity, limits, compactness, completeness) and forms a complete introductory course by itself. Graduate students and researchers alike will enjoy exploring this treasure trove of results. Full proofs are given, as well as motivating ideas, clear explanations, illuminating examples, application exercises and some more challenging problems for more advanced readers.

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.