The study of triangulations of topological spaces has always been at the root of geometric topology. Among the most studied triangulations are piecewise linear triangulations of high-dimensional topological manifolds. Their study culminated in the late 1960s-early 1970s in a complete classification in the work of Kirby and Siebenmann. It is this classification that we discuss in this book, including the celebrated Hauptvermutung and Triangulation Conjecture.The goal of this book is to provide a readable and well-organized exposition of the subject, which would be suitable for advanced graduate students in topology. An exposition like this is currently lacking.

Combinatorics as a branch of mathematics studies the arts of counting. Enumeration occupies the foundation of combinatorics with a large range of applications not only in mathematics itself but also in many other disciplines. It is too broad a task to write a book to show the deep development in every corner from this aspect. This monograph is intended to provide a unified theory for those related to the enumeration of maps. For enumerating maps the first thing we have to know is the sym metry of a map. Or in other words, we have to know its automorphism group. In general, this is an interesting, complicated, and difficult problem. In order to do this, the first problem we meet is how to make a map considered without symmetry. Since the beginning of sixties when Tutte found a way of rooting on a map, the problem has been solved. This forms the basis of the enumerative theory of maps. As soon as the problem without considering the symmetry is solved for one kind of map, the general problem with symmetry can always, in principle, be solved from what we have known about the automorphism of a polyhedron, a synonym for a map, which can be determined efficiently according to another monograph of the present author Liu58]."

The Only Undergraduate Textbook to Teach Both Classical and Virtual Knot Theory An Invitation to Knot Theory: Virtual and Classical gives advanced undergraduate students a gentle introduction to the field of virtual knot theory and mathematical research. It provides the foundation for students to research knot theory and read journal articles on their own. Each chapter includes numerous examples, problems, projects, and suggested readings from research papers. The proofs are written as simply as possible using combinatorial approaches, equivalence classes, and linear algebra. The text begins with an introduction to virtual knots and counted invariants. It then covers the normalized f-polynomial (Jones polynomial) and other skein invariants before discussing algebraic invariants, such as the quandle and biquandle. The book concludes with two applications of virtual knots: textiles and quantum computation.

A consistent and near complete survey of the important progress made in the field over the last few years, with the main emphasis on the rigidity method and its applications. Among others, this monograph presents the most successful existence theorems known and construction methods for Galois extensions as well as solutions for embedding problems combined with a collection of the existing Galois realizations.

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

The book explains concepts and ideas of mathematics and physics that are relevant for advanced students and researchers of condensed matter physics. With this aim, a brief intuitive introduction to many-body theory is given as a powerful qualitative tool for understanding complex systems. The important emergent concept of a quasiparticle is then introduced as a way to reduce a many-body problem to a single particle quantum problem. Examples of quasiparticles in graphene, superconductors, superfluids and in a topological insulator on a superconductor are discussed.The mathematical idea of self-adjoint extension, which allows short distance information to be included in an effective long distance theory through boundary conditions, is introduced through simple examples and then applied extensively to analyse and predict new physical consequences for graphene.The mathematical discipline of topology is introduced in an intuitive way and is then combined with the methods of differential geometry to show how the emergence of gapless states can be understood. Practical ways of carrying out topological calculations are described.

Introduces new and advanced methods of model discovery for time-series data using artificial intelligence. Implements topological approaches to distill "machine-intuitive" models from complex dynamics data. Introduces a new paradigm for a parsimonious model of a dynamical system without resorting to differential equations. Heralds a new era in data-driven science and engineering based on the operational concept of "computational intuition".

The concept of symmetric space is of central importance in many branches of mathematics. Compactifications of these spaces have been studied from the points of view of representation theory, geometry, and random walks. This work is devoted to the study of the interrelationships among these various compactifications and, in particular, focuses on the martin compactifications. It is the first exposition to treat compactifications of symmetric spaces systematically and to uniformized the various points of view.

Key features:

* definition and detailed analysis of the Martin compactifications

* new geometric Compactification, defined in terms of the Tits building, that coincides with the Martin Compactification at the bottom of the positive spectrum.

* geometric, non-inductive, description of the Karpelevic Compactification

* study of the well-know isomorphism between the Satake compactifications and the Furstenberg compactifications

* systematic and clear progression of topics from geometry to analysis, and finally to random walks

The work is largely self-contained, with comprehensive references to the literature. It is an excellent resource for both researchers and graduate students.

This book consists of a selection of articles devoted to new ideas and developments in low dimensional topology. Low dimensions refer to dimensions three and four for the topology of manifolds and their submanifolds. Thus we have papers related to both manifolds and to knotted submanifolds of dimension one in three (classical knot theory) and two in four (surfaces in four dimensional spaces). Some of the work involves virtual knot theory where the knots are abstractions of classical knots but can be represented by knots embedded in surfaces. This leads both to new interactions with classical topology and to new interactions with essential combinatorics.

A traditional approach to developing multivariate statistical theory is algebraic. Sets of observations are represented by matrices, linear combinations are formed from these matrices by multiplying them by coefficient matrices, and useful statistics are found by imposing various criteria of optimization on these combinations. Matrix algebra is the vehicle for these calculations. A second approach is computational. Since many users find that they do not need to know the mathematical basis of the techniques as long as they have a way to transform data into results, the computation can be done by a package of computer programs that somebody else has written. An approach from this perspective emphasizes how the computer packages are used, and is usually coupled with rules that allow one to extract the most important numbers from the output and interpret them. Useful as both approaches are--particularly when combined--they can overlook an important aspect of multivariate analysis. To apply it correctly, one needs a way to conceptualize the multivariate relationships that exist among variables. This book is designed to help the reader develop a way of thinking about multivariate statistics, as well as to understand in a broader and more intuitive sense what the procedures do and how their results are interpreted. Presenting important procedures of multivariate statistical theory geometrically, the author hopes that this emphasis on the geometry will give the reader a coherent picture into which all the multivariate techniques fit.

This 2003 book describes a striking connection between topology and algebra, namely that 2D topological quantum field theories are equivalent to commutative Frobenius algebras. The precise formulation of the theorem and its proof is given in terms of monoidal categories, and the main purpose of the book is to develop these concepts from an elementary level, and more generally serve as an introduction to categorical viewpoints in mathematics. Rather than just proving the theorem, it is shown how the result fits into a more general pattern concerning universal monoidal categories for algebraic structures. Throughout, the emphasis is on the interplay between algebra and topology, with graphical interpretation of algebraic operations, and topological structures described algebraically in terms of generators and relations. The book will prove valuable to students or researchers entering this field who will learn a host of modern techniques that will prove useful for future work.

Complex Polynomials explores the geometric theory of polynomials and rational functions in the plane. Early chapters build the foundations of complex variable theory, melding together ideas from algebra, topology, and analysis. Throughout the book, the author introduces a variety of ideas and constructs theories around them, incorporating much of the classical theory of polynomials as he proceeds. These ideas are used to study a number of unsolved problems. Several solutions to problems are given, including a comprehensive account of the geometric convolution theory.

A selection of topics which graduate students have found to be a successful introduction to the field, employing three distinct techniques: geometric topology manoeuvres, combinatorics, and algebraic topology. Each topic is developed until significant results are achieved and each chapter ends with exercises and brief accounts of the latest research. What may reasonably be referred to as knot theory has expanded enormously over the last decade and, while the author describes important discoveries throughout the twentieth century, the latest discoveries such as quantum invariants of 3-manifolds as well as generalisations and applications of the Jones polynomial are also included, presented in an easily intelligible style. Readers are assumed to have knowledge of the basic ideas of the fundamental group and simple homology theory, although explanations throughout the text are numerous and well-done. Written by an internationally known expert in the field, this will appeal to graduate students, mathematicians and physicists with a mathematical background wishing to gain new insights in this area.

This book presents the relationship between classical theta functions and knots. It is based on a novel idea of Razvan Gelca and Alejandro Uribe, which converts Weil's representation of the Heisenberg group on theta functions to a knot theoretical framework, by giving a topological interpretation to a certain induced representation. It also explains how the discrete Fourier transform can be related to 3- and 4-dimensional topology.Theta Functions and Knots can be read in two perspectives. Readers with an interest in theta functions or knot theory can learn how the two are related. Those interested in Chern-Simons theory will find here an introduction using the simplest case, that of abelian Chern-Simons theory. Moreover, the construction of abelian Chern-Simons theory is based entirely on quantum mechanics and not on quantum field theory as it is usually done.Both the theory of theta functions and low dimensional topology are presented in detail, in order to underline how deep the connection between these two fundamental mathematical subjects is. Hence the book is self-contained with a unified presentation. It is suitable for an advanced graduate course, as well as for self-study.

This book provides a modern introduction to harmonic analysis and synthesis on topological groups. It serves as a guide to the abstract theory of Fourier transformation. For the first time, it presents a detailed account of the theory of classical harmonic analysis together with the recent developments in spectral analysis and synthesis.

A phenomenon which appears in nature, or human behavior, can sometimes be explained by saying that a certain potential function is maximized, or minimized. For example, the Hamiltonian mechanics, soapy films, size of an atom, business management, etc. In mathematics, a point where a given function attains an extreme value is called a critical point, or a singular point. The purpose of singularity theory is to explore the properties of singular points of functions and mappings.This is a volume on the proceedings of the fourth Japanese-Australian Workshop on Real and Complex Singularities held in Kobe, Japan. It consists of 11 original articles on singularities. Readers will be introduced to some important new notions for characterizations of singularities and several interesting results are delivered. In addition, current approaches to classical topics and state-of-the-art effective computational methods of invariants of singularities are also presented. This volume will be useful not only to the singularity theory specialists but also to general mathematicians.

Absolute measurable space and absolute null space are very old topological notions, developed from well-known facts of descriptive set theory, topology, Borel measure theory and analysis. This monograph systematically develops and returns to the topological and geometrical origins of these notions. Motivating the development of the exposition are the action of the group of homeomorphisms of a space on Borel measures, the Oxtoby-Ulam theorem on Lebesgue-like measures on the unit cube, and the extensions of this theorem to many other topological spaces. Existence of uncountable absolute null space, extension of the Purves theorem and recent advances on homeomorphic Borel probability measures on the Cantor space, are among the many topics discussed. A brief discussion of set-theoretic results on absolute null space is given, and a four-part appendix aids the reader with topological dimension theory, Hausdorff measure and Hausdorff dimension, and geometric measure theory.

Based on a series of graduate lectures given by Vladimir Markovic at the University of Warwick in spring 2003, this book is accessible to those with a grounding in complex analysis looking for an introduction to the theory of quasiconformal maps and Teichm ller theory. Assuming some familiarity with Riemann surfaces and hyperbolic geometry, topics covered include the Gr tzch argument, analytical properties of quasiconformal maps, the Beltrami differential equation, holomorphic motions and Teichm ller spaces. Where proofs are omitted, references to where they may be found are always given, and the text is clearly illustrated throughout with diagrams, examples, and exercises for the reader.

The principal aim of this book is to introduce topology and its many applications viewed within a framework that includes a consideration of compactness, completeness, continuity, filters, function spaces, grills, clusters and bunches, hyperspace topologies, initial and final structures, metric spaces, metrization, nets, proximal continuity, proximity spaces, separation axioms, and uniform spaces. This book provides a complete framework for the study of topology with a variety of applications in science and engineering that include camouflage filters, classification, digital image processing, forgery detection, Hausdorff raster spaces, image analysis, microscopy, paleontology, pattern recognition, population dynamics, stem cell biology, topological psychology, and visual merchandising. It is the first complete presentation on topology with applications considered in the context of proximity spaces, and the nearness and remoteness of sets of objects. A novel feature throughout this book is the use of near and far, discovered by F Riesz over 100 years ago. In addition, it is the first time that this form of topology is presented in the context of a number of new applications.

We propose here a study of 'semiexact' and 'homological' categories as a basis for a generalised homological algebra. Our aim is to extend the homological notions to deeply non-abelian situations, where satellites and spectral sequences can still be studied.This is a sequel of a book on 'Homological Algebra, The interplay of homology with distributive lattices and orthodox semigroups', published by the same Editor, but can be read independently of the latter.The previous book develops homological algebra in p-exact categories, i.e. exact categories in the sense of Puppe and Mitchell - a moderate generalisation of abelian categories that is nevertheless crucial for a theory of 'coherence' and 'universal models' of (even abelian) homological algebra. The main motivation of the present, much wider extension is that the exact sequences or spectral sequences produced by unstable homotopy theory cannot be dealt with in the previous framework.According to the present definitions, a semiexact category is a category equipped with an ideal of 'null' morphisms and provided with kernels and cokernels with respect to this ideal. A homological category satisfies some further conditions that allow the construction of subquotients and induced morphisms, in particular the homology of a chain complex or the spectral sequence of an exact couple.Extending abelian categories, and also the p-exact ones, these notions include the usual domains of homology and homotopy theories, e.g. the category of 'pairs' of topological spaces or groups; they also include their codomains, since the sequences of homotopy 'objects' for a pair of pointed spaces or a fibration can be viewed as exact sequences in a homological category, whose objects are actions of groups on pointed sets.

Although topology was recognized by Gauss and Maxwell to play a pivotal role in the formulation of electromagnetic boundary value problems, it is a largely unexploited tool for field computation. The development of algebraic topology since Maxwell provides a framework for linking data structures, algorithms, and computation to topological aspects of three-dimensional electromagnetic boundary value problems. This book attempts to expose the link between Maxwell and a modern approach to algorithms. The first chapters lay out the relevant facts about homology and cohomology, stressing their interpretations in electromagnetism. These topological structures are subsequently tied to variational formulations in electromagnetics, the finite element method, algorithms, and certain aspects of numerical linear algebra. A recurring theme is the formulation of and algorithms for the problem of making branch cuts for computing magnetic scalar potentials and eddy currents. Appendices bridge the gap between the material presented and standard expositions of differential forms, Hodge decompositions, and tools for realizing representatives of homology classes as embedded manifolds.

This volume is based on lectures given at the highly successful three-week Summer School on Geometry, Topology and Dynamics of Character Varieties held at the National University of Singapore's Institute for Mathematical Sciences in July 2010.Aimed at graduate students in the early stages of research, the edited and refereed articles comprise an excellent introduction to the subject of the program, much of which is otherwise available only in specialized texts. Topics include hyperbolic structures on surfaces and their degenerations, applications of ping-pong lemmas in various contexts, introductions to Lorenzian and complex hyperbolic geometry, and representation varieties of surface groups into PSL(2, ) and other semi-simple Lie groups. This volume will serve as a useful portal to students and researchers in a vibrant and multi-faceted area of mathematics.

This book presents few novel Discrete-time Sliding Mode (DSM) protocols for leader-following consensus of Discrete Multi-Agent Systems (DMASs). The protocols intend to achieve the consensus in finite time steps and also tackle the corresponding uncertainties. Based on the communication graph topology of multi-agent systems, the protocols are divided into two groups, namely (i) Fixed graph topology and (ii) Switching graph topology. The coverage begins with the design of Discrete-time Sliding Mode (DSM) protocols using Gao's reaching law and power rate reaching law for the synchronization of linear DMASs by using the exchange of information between the agents and the leader to achieve a common goal. Then, in a subsequent chapter, analysis for no. of fixed-time steps required for the leader-following consensus is presented. The book also includes chapters on the design of Discrete-time Higher-order Sliding Mode (DHSM) protocols, Event-triggered DSM protocols for the leader-following consensus of DMASs. A chapter is also included on the design of DHSM protocols for leader-following consensus of heterogeneous DMASs. Special emphasis is given to the practical implementation of each proposed DSM protocol for achieving leader-following consensus of helicopter systems, flexible joint robotic arms, and rigid joint robotic arms. This book offers a ready reference guide for graduate students and researchers working in the areas of control, automation, and communication engineering, and in particular the cooperative control of multi-agent systems. It will also benefit professional engineers working to design and implement robust controllers for power systems, autonomous vehicles, military surveillance, smartgrids/microgrids, vehicle traffic management, robotic teams, and aerial robots.