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 uncovers mathematical structures underlying natural intelligence and applies category theory as a modeling language for understanding human cognition, giving readers new insights into the nature of human thought. In this context, the book explores various topics and questions, such as the human representation of the number system, why our counting ability is different from that which is evident among non-human organisms, and why the idea of zero is so difficult to grasp. The book is organized into three parts: the first introduces the general reason for studying general structures underlying the human mind; the second part introduces category theory as a modeling language and use it for exposing the deep and fascinating structures underlying human cognition; and the third applies the general principles and ideas of the first two parts to reaching a better understanding of challenging aspects of the human mind such as our understanding of the number system, the metaphorical nature of our thinking and the logic of our unconscious dynamics.

This collection of high-quality articles in the field of combinatorics, geometry, algebraic topology and theoretical computer science is a tribute to Jiri Matousek, who passed away prematurely in March 2015. It is a collaborative effort by his colleagues and friends, who have paid particular attention to clarity of exposition - something Jirka would have approved of. The original research articles, surveys and expository articles, written by leading experts in their respective fields, map Jiri Matousek's numerous areas of mathematical interest.

Like the first Abel Symposium, held in 2004, the Abel Symposium 2015 focused on operator algebras. It is interesting to see the remarkable advances that have been made in operator algebras over these years, which strikingly illustrate the vitality of the field. A total of 26 talks were given at the symposium on a variety of themes, all highlighting the richness of the subject. The field of operator algebras was created in the 1930s and was motivated by problems of quantum mechanics. It has subsequently developed well beyond its initial intended realm of applications and expanded into such diverse areas of mathematics as representation theory, dynamical systems, differential geometry, number theory and quantum algebra. One branch, known as "noncommutative geometry", has become a powerful tool for studying phenomena that are beyond the reach of classical analysis. This volume includes research papers that present new results, surveys that discuss the development of a specific line of research, and articles that offer a combination of survey and research. These contributions provide a multifaceted portrait of beautiful mathematics that both newcomers to the field of operator algebras and seasoned researchers alike will appreciate.

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

Differential and complex geometry are two central areas of mathematics with a long and intertwined history. This book, the first to provide a unified historical perspective of both subjects, explores their origins and developments from the sixteenth to the twentieth century. Providing a detailed examination of the seminal contributions to differential and complex geometry up to the twentieth-century embedding theorems, this monograph includes valuable excerpts from the original documents, including works of Descartes, Fermat, Newton, Euler, Huygens, Gauss, Riemann, Abel, and Nash. Suitable for beginning graduate students interested in differential, algebraic or complex geometry, this book will also appeal to more experienced readers.

This volume puts together results touching weak Asplund spaces which are currently spread throughout the literature. All subclasses are discussed, including interferences and counterexamples, with a special emphasis on topological implications. Nonseparable Banach spaces, renorming, and differentiability are stressed throughout. Proofs, many of them new and most of them "considerably better that their traditional counterparts", are presented when necessary. Related open questions conclude each chapter.

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

This monograph on the homotopy theory of topologized diagrams of spaces and spectra gives an expert account of a subject at the foundation of motivic homotopy theory and the theory of topological modular forms in stable homotopy theory. Beginning with an introduction to the homotopy theory of simplicial sets and topos theory, the book covers core topics such as the unstable homotopy theory of simplicial presheaves and sheaves, localized theories, cocycles, descent theory, non-abelian cohomology, stacks, and local stable homotopy theory. A detailed treatment of the formalism of the subject is interwoven with explanations of the motivation, development, and nuances of ideas and results. The coherence of the abstract theory is elucidated through the use of widely applicable tools, such as Barr's theorem on Boolean localization, model structures on the category of simplicial presheaves on a site, and cocycle categories. A wealth of concrete examples convey the vitality and importance of the subject in topology, number theory, algebraic geometry, and algebraic K-theory. Assuming basic knowledge of algebraic geometry and homotopy theory, Local Homotopy Theory will appeal to researchers and advanced graduate students seeking to understand and advance the applications of homotopy theory in multiple areas of mathematics and the mathematical sciences.

This self-contained monograph explores a new theory centered around boolean representations of simplicial complexes leading to a new class of complexes featuring matroids as central to the theory. The book illustrates these new tools to study the classical theory of matroids as well as their important geometric connections. Moreover, many geometric and topological features of the theory of matroids find their counterparts in this extended context. Graduate students and researchers working in the areas of combinatorics, geometry, topology, algebra and lattice theory will find this monograph appealing due to the wide range of new problems raised by the theory. Combinatorialists will find this extension of the theory of matroids useful as it opens new lines of research within and beyond matroids. The geometric features and geometric/topological applications will appeal to geometers. Topologists who desire to perform algebraic topology computations will appreciate the algorithmic potential of boolean representable complexes.

The present publication contains a special collection of research and review articles on deformations of surface singularities, that put together serve as an introductory survey of results and methods of the theory, as well as open problems and examples.  The aim is to collect material that will help mathematicians already working or wishing to work in this area to deepen their insight and eliminate the technical barriers in this learning process. Additionally, we introduce some material which emphasizes the newly found relationship with the theory of Stein fillings and symplectic geometry. This links two main theories of mathematics: low dimensional topology and algebraic geometry.​ The theory of normal surface singularities is a distinguished part of analytic or algebraic geometry with several important results, its own technical machinery, and several open problems. Recently several connections were established with low dimensional topology, symplectic geometry and theory of Stein fillings. This created an intense mathematical activity with spectacular bridges between the two areas. The theory of deformation of singularities is the key object in these connections.   

This book provides quick access to the theory of Lie groups and isometric actions on smooth manifolds, using a concise geometric approach. After a gentle introduction to the subject, some of its recent applications to active research areas are explored, keeping a constant connection with the basic material. The topics discussed include polar actions, singular Riemannian foliations, cohomogeneity one actions, and positively curved manifolds with many symmetries. This book stems from the experience gathered by the authors in several lectures along the years and was designed to be as self-contained as possible. It is intended for advanced undergraduates, graduate students and young researchers in geometry and can be used for a one-semester course or independent study.

This volume presents a multi-dimensional collection of articles highlighting recent developments in commutative algebra. It also includes an extensive bibliography and lists a substantial number of open problems that point to future directions of research in the represented subfields. The contributions cover areas in commutative algebra that have flourished in the last few decades and are not yet well represented in book form. Highlighted topics and research methods include Noetherian and non- Noetherian ring theory as well as integer-valued polynomials and functions. Specific topics include: * Homological dimensions of Prufer-like rings * Quasi complete rings * Total graphs of rings * Properties of prime ideals over various rings * Bases for integer-valued polynomials * Boolean subrings * The portable property of domains * Probabilistic topics in Intn(D) * Closure operations in Zariski-Riemann spaces of valuation domains * Stability of domains * Non-Noetherian grade * Homotopy in integer-valued polynomials * Localizations of global properties of rings * Topics in integral closure * Monoids and submonoids of domains The book includes twenty articles written by many of the most prominent researchers in the field. Most contributions are authored by attendees of the conference in commutative algebra held at the Graz University of Technology in December 2012. There is also a small collection of invited articles authored by those who did not attend the conference. Following the model of the Graz conference, the volume contains a number of comprehensive survey articles along with related research articles featuring recent results that have not yet been published elsewhere.

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

Algebra, geometry and topology cover a variety of different, but intimately related research fields in modern mathematics. This book focuses on specific aspects of this interaction. The present volume contains refereed papers which were presented at the International Conference "Experimental and Theoretical Methods in Algebra, Geometry and Topology", held in Eforie Nord (near Constanta), Romania, during 20-25 June 2013. The conference was devoted to the 60th anniversary of the distinguished Romanian mathematicians Alexandru Dimca and Stefan Papadima. The selected papers consist of original research work and a survey paper. They are intended for a large audience, including researchers and graduate students interested in algebraic geometry, combinatorics, topology, hyperplane arrangements and commutative algebra. The papers are written by well-known experts from different fields of mathematics, affiliated to universities from all over the word, they cover a broad range of topics and explore the research frontiers of a wide variety of contemporary problems of modern mathematics.

This lecture notes volume presents significant contributions from the "Algebraic Geometry and Number Theory" Summer School, held at Galatasaray University, Istanbul, June 2-13, 2014. It addresses subjects ranging from Arakelov geometry and Iwasawa theory to classical projective geometry, birational geometry and equivariant cohomology. Its main aim is to introduce these contemporary research topics to graduate students who plan to specialize in the area of algebraic geometry and/or number theory. All contributions combine main concepts and techniques with motivating examples and illustrative problems for the covered subjects. Naturally, the book will also be of interest to researchers working in algebraic geometry, number theory and related fields.

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.

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.

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 monograph is a comprehensive account of formal matrices, examining homological properties of modules over formal matrix rings and summarising the interplay between Morita contexts and K theory. While various special types of formal matrix rings have been studied for a long time from several points of view and appear in various textbooks, for instance to examine equivalences of module categories and to illustrate rings with one-sided non-symmetric properties, this particular class of rings has, so far, not been treated systematically. Exploring formal matrix rings of order 2 and introducing the notion of the determinant of a formal matrix over a commutative ring, this monograph further covers the Grothendieck and Whitehead groups of rings. Graduate students and researchers interested in ring theory, module theory and operator algebras will find this book particularly valuable. Containing numerous examples, Formal Matrices is a largely self-contained and accessible introduction to the topic, assuming a solid understanding of basic algebra.

This introductory volume provides the basics of surface-knots and related topics, not only for researchers in these areas but also for graduate students and researchers who are not familiar with the field.Knot theory is one of the most active research fields in modern mathematics. Knots and links are closed curves (one-dimensional manifolds) in Euclidean 3-space, and they are related to braids and 3-manifolds. These notions are generalized into higher dimensions. Surface-knots or surface-links are closed surfaces (two-dimensional manifolds) in Euclidean 4-space, which are related to two-dimensional braids and 4-manifolds. Surface-knot theory treats not only closed surfaces but also surfaces with boundaries in 4-manifolds. For example, knot concordance and knot cobordism, which are also important objects in knot theory, are surfaces in the product space of the 3-sphere and the interval.Included in this book are basics of surface-knots and the related topics of classical knots, the motion picture method, surface diagrams, handle surgeries, ribbon surface-knots, spinning construction, knot concordance and 4-genus, quandles and their homology theory, and two-dimensional braids.

This book constitutes the proceedings of the 6th International Workshop on Computational Topology in Image Context, CTIC 2016, held in Marseille, France, in June 2016. The 24 papers presented in this volume were carefully reviewed and selected from 35 submissions. Additionally, this volume contains 2 invited papers. CTIC covers a wide range of topics such as: topological invariants and their computation, homology, cohomology, linking number, fundamental groups; algorithm optimization in discrete geometry, transfer of mathematical tools, parallel computation in multi-dimensional volume context, hierarchical approaches; experimental evaluation of algorithms and heuristics; combinatorial or multi-resolution models; discrete or computational topology; geometric modeling guided by topological constraints; computational topological dynamics; and use of topological information in discrete geometry applications.