This book provides the first representation theoretic and algorithmic approach to the theory of abstract finite simple groups. Concrete applications are demonstrated in the construction of the simple
An H(b) space is defined as a collection of analytic functions that are in the image of an operator. The theory of H(b) spaces bridges two classical subjects, complex analysis and operator theory, which makes it both appealing and demanding. Volume 1 of this comprehensive treatment is devoted to the preliminary subjects required to understand the foundation of H(b) spaces, such as Hardy spaces, Fourier analysis, integral representation theorems, Carleson measures, Toeplitz and Hankel operators, various types of shift operators and Clark measures. Volume 2 focuses on the central theory. Both books are accessible to graduate students as well as researchers: each volume contains numerous exercises and hints, and figures are included throughout to illustrate the theory. Together, these two volumes provide everything the reader needs to understand and appreciate this beautiful branch of mathematics.
Originating with Andreas Floer in the 1980s, Floer homology has proved to be an effective tool in tackling many important problems in three- and four-dimensional geometry and topology. This 2007 book provides a comprehensive treatment of Floer homology, based on the Seiberg–Witten monopole equations. After first providing an overview of the results, the authors develop the analytic properties of the Seiberg–Witten equations, assuming only a basic grounding in differential geometry and analysis. The Floer groups of a general three-manifold are then defined and their properties studied in detail. Two final chapters are devoted to the calculation of Floer groups and to applications of the theory in topology. Suitable for beginning graduate students and researchers, this book provides a full discussion of a central part of the study of the topology of manifolds.
Diophantine geometry has been studied by number theorists for thousands of years, since the time of Pythagoras, and has continued to be a rich area of ideas such as Fermat's Last Theorem, and most recently the ABC conjecture. This monograph is a bridge between the classical theory and modern approach via arithmetic geometry. The authors provide a clear path through the subject for graduate students and researchers. They have re-examined many results and much of the literature, and give a thorough account of several topics at a level not seen before in book form. The treatment is largely self-contained, with proofs given in full detail. Many results appear here for the first time. The book concludes with a comprehensive bibliography. It is destined to be a definitive reference on modern diophantine geometry, bringing a new standard of rigor and elegance to the field.
In the late sixties Matiyasevich, building on the work of Davis, Putnam and Robinson, showed that there was no algorithm to determine whether a polynomial equation in several variables and with integer coefficients has integer solutions. Hilbert gave finding such an algorithm as problem number ten on a list he presented at an international congress of mathematicians in 1900. Thus the problem, which has become known as Hilbert's Tenth Problem, was shown to be unsolvable. This book presents an account of results extending Hilbert's Tenth Problem to integrally closed subrings of global fields including, in the function field case, the fields themselves. While written from the point of view of Algebraic Number Theory, the book includes chapters on Mazur's conjectures on topology of rational points and Poonen's elliptic curve method for constructing a Diophatine model of rational integers over a 'very large' subring of the field of rational numbers.
Proving that a polynomial ring in one variable over a field is a principal ideal domain can be done by means of the Euclidean algorithm, but this does not extend to more variables. However, if the variables are not allowed to commute, giving a free associative algebra, then there is a generalization, the weak algorithm, which can be used to prove that all one-sided ideals are free. This book presents the theory of free ideal rings (firs) in detail. Particular emphasis is placed on rings with a weak algorithm, exemplified by free associative algebras. There is also a full account of localization which is treated for general rings but the features arising in firs are given special attention. Each section has a number of exercises, including some open problems, and each chapter ends in a historical note.
At the crossroads of representation theory, algebraic geometry and finite group theory, this 2004 book blends together many of the main concerns of modern algebra, with full proofs of some of the most remarkable achievements in the area. Cabanes and Enguehard follow three main themes: first, applications of étale cohomology, leading to the proof of the recent Bonnafé–Rouquier theorems. The second is a straightforward and simplified account of the Dipper–James theorems relating irreducible characters and modular representations. The final theme is local representation theory. One of the main results here is the authors' version of Fong–Srinivasan theorems. Throughout the text is illustrated by many examples and background is provided by several introductory chapters on basic results and appendices on algebraic geometry and derived categories. The result is an essential introduction for graduate students and reference for all algebraists.
The aim of this book is to provide a unified exposition of the theory of symmetric designs with emphasis on recent developments. The authors cover the combinatorial aspects of the theory giving particular attention to the construction of symmetric designs and related objects. The last five chapters of the book are devoted to balanced generalized weighing matrices, decomposable symmetric designs, subdesigns of symmetric designs, non-embeddable quasi-residual designs, and Ryser designs. Most results in these chapters have never previously appeared in book form. The book concludes with a comprehensive bibliography of over 400 entries. Researchers in all areas of combinatorial designs, including coding theory and finite geometries, will find much of interest here. Detailed proofs and a large number of exercises make this book suitable as a text for an advanced course in combinatorial designs.
Discriminant equations are an important class of Diophantine equations with close ties to algebraic number theory, Diophantine approximation and Diophantine geometry. This book is the first comprehensive account of discriminant equations and their applications. It brings together many aspects, including effective results over number fields, effective results over finitely generated domains, estimates on the number of solutions, applications to algebraic integers of given discriminant, power integral bases, canonical number systems, root separation of polynomials and reduction of hyperelliptic curves. The authors' previous title, Unit Equations in Diophantine Number Theory, laid the groundwork by presenting important results that are used as tools in the present book. This material is briefly summarized in the introductory chapters along with the necessary basic algebra and algebraic number theory, making the book accessible to experts and young researchers alike.
The study of higher categories is attracting growing interest for its many applications in topology, algebraic geometry, mathematical physics and category theory. In this highly readable book, Carlos Simpson develops a full set of homotopical algebra techniques and proposes a working theory of higher categories. Starting with a cohesive overview of the many different approaches currently used by researchers, the author proceeds with a detailed exposition of one of the most widely used techniques: the construction of a Cartesian Quillen model structure for higher categories. The fully iterative construction applies to enrichment over any Cartesian model category, and yields model categories for weakly associative n-categories and Segal n-categories. A corollary is the construction of higher functor categories which fit together to form the (n+1)-category of n-categories. The approach uses Tamsamani's definition based on Segal's ideas, iterated as in Pelissier's thesis using modern
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.
An H(b) space is defined as a collection of analytic functions which are in the image of an operator. The theory of H(b) spaces bridges two classical subjects: complex analysis and operator theory, which makes it both appealing and demanding. The first volume of this comprehensive treatment is devoted to the preliminary subjects required to understand the foundation of H(b) spaces, such as Hardy spaces, Fourier analysis, integral representation theorems, Carleson measures, Toeplitz and Hankel operators, various types of shift operators, and Clark measures. The second volume focuses on the central theory. Both books are accessible to graduate students as well as researchers: each volume contains numerous exercises and hints, and figures are included throughout to illustrate the theory. Together, these two volumes provide everything the reader needs to understand and appreciate this beautiful branch of mathematics.
Intersection homology is a version of homology theory that extends Poincaré duality and its applications to stratified spaces, such as singular varieties. This is the first comprehensive expository book-length introduction to intersection homology from the viewpoint of singular and piecewise-linear chains. Recent breakthroughs have made this approach viable by providing intersection homology and cohomology versions of all the standard tools in the homology tool box, making the subject readily accessible to graduate students and researchers in topology as well as researchers from other fields. This text includes both new research material and new proofs of previously-known results in intersection homology, as well as treatments of many classical topics in algebraic and manifold topology. Written in a detailed but expository style, this book is suitable as an introduction to intersection homology or as a thorough reference.
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 1 covers the basic materials of Hamiltonian dynamics and symplectic geometry and the analytic foundations of Gromov's pseudoholomorphic curve theory. One novel aspect of this treatment is the uniform treatment of both closed and open cases and a complete proof of the boundary regularity theorem of weak solutions of pseudo-holomorphic curves with totally real boundary conditions. Volume 2 provides a comprehensive introduction to both Hamiltonian Floer theory and Lagrangian Floer theory. Symplectic Topology and Floer Homology 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.
Graduate students and researchers alike will benefit from this treatment of classical and modern topics in homotopy theory of topological spaces with an emphasis on cubical diagrams. The book contains 300 examples and provides detailed explanations of many fundamental results. Part I focuses on foundational material on homotopy theory, viewed through the lens of cubical diagrams: fibrations and cofibrations, homotopy pullbacks and pushouts, and the Blakers–Massey Theorem. Part II includes a brief example-driven introduction to categories, limits and colimits, an accessible account of homotopy limits and colimits of diagrams of spaces, and a treatment of cosimplicial spaces. The book finishes with applications to some exciting new topics that use cubical diagrams: an overview of two versions of calculus of functors and an account of recent developments in the study of the topology of spaces of knots.
In 1988, E. Verlinde gave a remarkable conjectural formula for the dimension of conformal blocks over a smooth curve in terms of representations of affine Lie algebras. Verlinde's formula arose from physical considerations, but it attracted further attention from mathematicians when it was realized that the space of conformal blocks admits an interpretation as the space of generalized theta functions. A proof followed through the work of many mathematicians in the 1990s. This book gives an authoritative treatment of all aspects of this theory. It presents a complete proof of the Verlinde formula and full details of the connection with generalized theta functions, including the construction of the relevant moduli spaces and stacks of G-bundles. Featuring numerous exercises of varying difficulty, guides to the wider literature and short appendices on essential concepts, it will be of interest to senior graduate students and researchers in geometry, representation theory and theoretical p