This is the first book to provide a systematic explanation of both the problems of symplectic topology, and analytical details and techniques in applying the machinery embedded in the Floer theory as a whole. It provides a self-contained exposition of all foundational materials of Floer theory and its applications to various problems arising in symplectic topology. The author gives complete analytic details assuming the reader's knowledge of basic elliptic theory of (first-order) partial differential equations, second-year graduate differential geometry and first-year algebraic topology. He motivates various constructions appearing in Floer theory from the historical context of Lagrange Hamilton's variational principle and Hamiltonian mechanics. He also provides 100 exercises so that readers can test their understanding. The book is a comprehensive resource suitable for experts and newcomers alike."

Published in two volumes, this is the first book to provide a thorough and systematic explanation of symplectic topology, and the analytical details and techniques used in applying the machinery arising from Floer theory as a whole. Volume 2 provides a comprehensive introduction to both Hamiltonian Floer theory and Lagrangian Floer theory, including many examples of their applications to various problems in symplectic topology. The first volume covered the basic materials of Hamiltonian dynamics and symplectic geometry and the analytic foundations of Gromov's pseudoholomorphic curve theory. Symplectic Topology and Floer Homology is a comprehensive resource suitable for experts and newcomers alike.

This book surveys quandle theory, starting from basic motivations and going on to introduce recent developments of quandles with topological applications and related topics. The book is written from topological aspects, but it illustrates how esteemed quandle theory is in mathematics, and it constitutes a crash course for studying quandles.More precisely, this work emphasizes the fresh perspective that quandle theory can be useful for the study of low-dimensional topology (e.g., knot theory) and relative objects with symmetry. The direction of research is summarized as "We shall thoroughly (re)interpret the previous studies of relative symmetry in terms of the quandle". The perspectives contained herein can be summarized by the following topics. The first is on relative objects G/H, where G and H are groups, e.g., polyhedrons, reflection, and symmetric spaces. Next, central extensions of groups are discussed, e.g., spin structures, K2 groups, and some geometric anomalies. The third topic is a method to study relative information on a 3-dimensional manifold with a boundary, e.g., knot theory, relative cup products, and relative group cohomology.For applications in topology, it is shown that from the perspective that some existing results in topology can be recovered from some quandles, a method is provided to diagrammatically compute some "relative homology". (Such classes since have been considered to be uncomputable and speculative). Furthermore, the book provides a perspective that unifies some previous studies of quandles.The former part of the book explains motivations for studying quandles and discusses basic properties of quandles. The latter focuses on low-dimensional topology or knot theory. Finally, problems and possibilities for future developments of quandle theory are posed.

Hex: The Full Story is for anyone - hobbyist, professional, student, teacher - who enjoys board games, game theory, discrete math, computing, or history. hex was discovered twice, in 1942 by Piet Hein and again in 1949 by John F. nash. How did this happen? Who created the puzzle for Hein's Danish newspaper column? How are Martin Gardner, David Gale, Claude Shannon, and Claude Berge involved? What is the secret to playing Hex well? The answers are inside... Features New documents on Hein's creation of Hex, the complete set of Danish puzzles, and the identity of their composer Chapters on Gale's game Bridg-it, the game Rex, computer Hex, open Hex problems, and more Dozens of new puzzles and solutions Study guide for Hex players Supplemenetary text for a course in game theory, discrete math, computer science, or science history

This work presents a computational program based on the principles of non-commutative geometry and showcases several applications to topological insulators. Noncommutative geometry has been originally proposed by Jean Bellissard as a theoretical framework for the investigation of homogeneous condensed matter systems. Recently, this approach has been successfully applied to topological insulators, where it facilitated many rigorous results concerning the stability of the topological invariants against disorder.In the first part of the book the notion of a homogeneous material is introduced and the class of disordered crystals defined together with the classification table, which conjectures all topological phases from this class. The manuscript continues with a discussion of electrons' dynamics in disordered crystals and the theory of topological invariants in the presence of strong disorder is briefly reviewed. It is shown how all this can be captured in the language of noncommutative geometry using the concept of non-commutative Brillouin torus, and a list of known formulas for various physical response functions is presented. In the second part, auxiliary algebras are introduced and a canonical finite-volume approximation of the non-commutative Brillouin torus is developed. Explicit numerical algorithms for computing generic correlation functions are discussed. In the third part upper bounds on the numerical errors are derived and it is proved that the canonical-finite volume approximation converges extremely fast to the thermodynamic limit. Convergence tests and various applications concludes the presentation.The book is intended for graduate students and researchers in numerical and mathematical physics.

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.

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.

This is the first book to link the mod 2 Steenrod algebra, a classical object of study in algebraic topology, with modular representations of matrix groups over the field F of two elements. The link is provided through a detailed study of Peterson's `hit problem' concerning the action of the Steenrod algebra on polynomials, which remains unsolved except in special cases. The topics range from decompositions of integers as sums of 'powers of 2 minus 1', to Hopf algebras and the Steinberg representation of GL(n, F). Volume 1 develops the structure of the Steenrod algebra from an algebraic viewpoint and can be used as a graduate-level textbook. Volume 2 broadens the discussion to include modular representations of matrix groups.

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.

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.

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.

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

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 third volume in Vladimir Tkachuk's series on Cp-theory problems applies all modern methods of Cp-theory to study compactness-like properties in function spaces and introduces the reader to the theory of compact spaces widely used in Functional Analysis. The text is designed to bring a dedicated reader from basic topological principles to the frontiers of modern research covering a wide variety of topics in Cp-theory and general topology at the professional level. The first volume, Topological and Function Spaces (c) 2011, provided an introduction from scratch to Cp-theory and general topology, preparing the reader for a professional understanding of Cp-theory in the last section of its main text. The second volume, Special Features of Function Spaces (c) 2014, continued from the first, giving reasonably complete coverage of Cp-theory, systematically introducing each of the major topics and providing 500 carefully selected problems and exercises with complete solutions. This third volume is self-contained and works in tandem with the other two, containing five hundred carefully selected problems and solutions. It can also be considered as an introduction to advanced set theory and descriptive set theory, presenting diverse topics of the theory of function spaces with the topology of point wise convergence, or Cp-theory which exists at the intersection of topological algebra, functional analysis and general topology.

Exercises in Analysis will be published in two volumes. This first volume covers problems in five core topics of mathematical analysis: metric spaces; topological spaces; measure, integration and Martingales; measure and topology and functional analysis. Each of five topics correspond to a different chapter with inclusion of the basic theory and accompanying main definitions and results, followed by suitable comments and remarks for better understanding of the material. At least 170 exercises/problems are presented for each topic, with solutions available at the end of each chapter. The entire collection of exercises offers a balanced and useful picture for the application surrounding each topic. This nearly encyclopedic coverage of exercises in mathematical analysis is the first of its kind and is accessible to a wide readership. Graduate students will find the collection of problems valuable in preparation for their preliminary or qualifying exams as well as for testing their deeper understanding of the material. Exercises are denoted by degree of difficulty. Instructors teaching courses that include one or all of the above-mentioned topics will find the exercises of great help in course preparation. Researchers in analysis may find this Work useful as a summary of analytic theories published in one accessible volume.

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.

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.

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.