Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the fourth publication in the Lecture Notes in Logic series, Miller develops the necessary features of the theory of descriptive sets in order to present a new proof of Louveau's separation theorem for analytic sets. While some background in mathematical logic and set theory is assumed, the material is based on a graduate course given by the author at the University of Wisconsin, Madison, and is thus accessible to students and researchers alike in these areas, as well as in mathematical analysis.

A number of important topics in complex analysis and geometry are covered in this excellent introductory text. Written by experts in the subject, each chapter unfolds from the basics to the more complex. The exposition is rapid-paced and efficient, without compromising proofs and examples that enable the reader to grasp the essentials. The most basic type of domain examined is the bounded symmetric domain, originally described and classified by Cartan and Harish- Chandra. Two of the five parts of the text deal with these domains: one introduces the subject through the theory of semisimple Lie algebras (Koranyi), and the other through Jordan algebras and triple systems (Roos). Larger classes of domains and spaces are furnished by the pseudo-Hermitian symmetric spaces and related R-spaces. These classes are covered via a study of their geometry and a presentation and classification of their Lie algebraic theory (Kaneyuki). In the fourth part of the book, the heat kernels of the symmetric spaces belonging to the classical Lie groups are determined (Lu). Explicit computations are made for each case, giving precise results and complementing the more abstract and general methods presented. Also explored are recent developments in the field, in particular, the study of complex semigroups which generalize complex tube domains and function spaces on them (Faraut). This volume will be useful as a graduate text for students of Lie group theory with connections to complex analysis, or as a self-study resource for newcomers to the field. Readers will reach the frontiers of the subject in a considerably shorter time than with existing texts.

William Thurston (1946-2012) was one of the great mathematicians of the twentieth century. He was a visionary whose extraordinary ideas revolutionized a broad range of areas of mathematics, from foliations, contact structures, and Teichmuller theory to automorphisms of surfaces, hyperbolic geometry, geometrization of 3-manifolds, geometric group theory, and rational maps. In addition, he discovered connections between disciplines that led to astonishing breakthroughs in mathematical understanding as well as the creation of entirely new fields. His far-reaching questions and conjectures led to enormous progress by other researchers. In What's Next?, many of today's leading mathematicians describe recent advances and future directions inspired by Thurston's transformative ideas. This book brings together papers delivered by his colleagues and former students at "What's Next? The Mathematical Legacy of Bill Thurston," a conference held in June 2014 at Cornell University. It discusses Thurston's fundamental contributions to topology, geometry, and dynamical systems and includes many deep and original contributions to the field. Incisive and wide-ranging, the book explores how he introduced new ways of thinking about and doing mathematics-innovations that have had a profound and lasting impact on the mathematical community as a whole-and also features two papers based on Thurston's unfinished work in dynamics.

Hurwitz theory, the study of analytic functions among Riemann surfaces, is a classical field and active research area in algebraic geometry. The subject's interplay between algebra, geometry, topology and analysis is a beautiful example of the interconnectedness of mathematics. This book introduces students to this increasingly important field, covering key topics such as manifolds, monodromy representations and the Hurwitz potential. Designed for undergraduate study, this classroom-tested text includes over 100 exercises to provide motivation for the reader. Also included are short essays by guest writers on how they use Hurwitz theory in their work, which ranges from string theory to non-Archimedean geometry. Whether used in a course or as a self-contained reference for graduate students, this book will provide an exciting glimpse at mathematics beyond the standard university classes.

K3 surfaces are central objects in modern algebraic geometry. This book examines this important class of Calabi-Yau manifolds from various perspectives in eighteen self-contained chapters. It starts with the basics and guides the reader to recent breakthroughs, such as the proof of the Tate conjecture for K3 surfaces and structural results on Chow groups. Powerful general techniques are introduced to study the many facets of K3 surfaces, including arithmetic, homological, and differential geometric aspects. In this context, the book covers Hodge structures, moduli spaces, periods, derived categories, birational techniques, Chow rings, and deformation theory. Famous open conjectures, for example the conjectures of Calabi, Weil, and Artin-Tate, are discussed in general and for K3 surfaces in particular, and each chapter ends with questions and open problems. Based on lectures at the advanced graduate level, this book is suitable for courses and as a reference for researchers.

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.

Originally published in 1930, as the second of a two-part set, this informative and systematically organized textbook, primarily aimed at university students, contains a vectorial treatment of geometry, reasoning that by the use of such vector methods, geometry is able to be both simplified and condensed. Topics covered include Flexion and Applicability of Surfaces, Levi-Civita's theory of parallel displacements on a surface and the theory of Curvilinear Congruences. Diagrams are included to supplement the text. Providing a detailed overview of the subject and forming a solid foundation for study of multidimensional differential geometry and the tensor calculus, this book will prove an invaluable reference work to scholars of mathematics as well as to anyone with an interest in the history of education.

This work is a continuation of the first volume published by Springer in 2011, entitled "A Cp-Theory Problem Book: Topological and Function Spaces." The first volume 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. This present volume covers a wide variety of topics in Cp-theory and general topology at the professional level bringing the reader to the frontiers of modern research. The volume contains 500 problems and exercises with complete solutions. It can also be used as an introduction to advanced set theory and descriptive set theory. The book presents diverse topics of the theory of function spaces with the topology of pointwise convergence, or Cp-theory which exists at the intersection of topological algebra, functional analysis and general topology. Cp-theory has an important role in the classification and unification of heterogeneous results from these areas of research. Moreover, this book gives a reasonably complete coverage of Cp-theory through 500 carefully selected problems and exercises. By systematically introducing each of the major topics of Cp-theory the book is intended to bring a dedicated reader from basic topological principles to the frontiers of modern research.

This volume is a collection of articles presented at the Workshop for Nonlinear Analysis held in Joao Pessoa, Brazil, in September 2012. The influence of Bernhard Ruf, to whom this volume is dedicated on the occasion of his 60th birthday, is perceptible throughout the collection by the choice of themes and techniques. The many contributors consider modern topics in the calculus of variations, topological methods and regularity analysis, together with novel applications of partial differential equations. In keeping with the tradition of the workshop, emphasis is given to elliptic operators inserted in different contexts, both theoretical and applied. Topics include semi-linear and fully nonlinear equations and systems with different nonlinearities, at sub- and supercritical exponents, with spectral interactions of Ambrosetti-Prodi type. Also treated are analytic aspects as well as applications such as diffusion problems in mathematical genetics and finance and evolution equations related to electromechanical devices.

The present volume is a collection of a dozen survey articles, dedicated to the memory of the famous Hungarian geometer, László Fejes Tóth, on the 99th anniversary of his birth. Each article reviews recent progress in an important field in intuitive, discrete, and convex geometry. The mathematical work and perspectives of all editors and most contributors of this volume were deeply influenced by László Fejes Tóth. 

Descriptive topology and functional analysis, with extensive material demonstrating new connections between them, are the subject of the first section of this work. Applications to spaces of continuous functions, topological Abelian groups, linear topological equivalence and to the separable quotient problem are included and are presented as open problems. The second section is devoted to Banach spaces, Banach algebras and operator theory. Each chapter presents a lot of worthwhile and important recent theorems with an abstract discussing the material in the chapter. Each chapter can almost be seen as a survey covering a particular area.

This is a monograph on fixed point theory, covering the purely metric aspects of the theory-particularly results that do not depend on any algebraic structure of the underlying space. Traditionally, a large body of metric fixed point theory has been couched in a functional analytic framework. This aspect of the theory has been written about extensively. There are four classical fixed point theorems against which metric extensions are usually checked. These are, respectively, the Banach contraction mapping principal, Nadler's well known set-valued extension of that theorem, the extension of Banach's theorem to nonexpansive mappings, and Caristi's theorem. These comparisons form a significant component of this book. This book is divided into three parts. Part I contains some aspects of the purely metric theory, especially Caristi's theorem and a few of its many extensions. There is also a discussion of nonexpansive mappings, viewed in the context of logical foundations. Part I also contains certain results in hyperconvex metric spaces and ultrametric spaces. Part II treats fixed point theory in classes of spaces which, in addition to having a metric structure, also have geometric structure. These specifically include the geodesic spaces, length spaces and CAT(0) spaces. Part III focuses on distance spaces that are not necessarily metric. These include certain distance spaces which lie strictly between the class of semimetric spaces and the class of metric spaces, in that they satisfy relaxed versions of the triangle inequality, as well as other spaces whose distance properties do not fully satisfy the metric axioms.

The work consists of two introductory courses, developing different points of view on the study of the asymptotic behaviour of the geodesic flow, namely: the probabilistic approach via martingales and mixing (by Stéphane Le Borgne); the semi-classical approach, by operator theory and resonances (by Frédéric Faure and Masato Tsujii). The contributions aim to give a self-contained introduction to the ideas behind the three different approaches to the investigation of hyperbolic dynamics. The first contribution focus on the convergence towards a Gaussian law of suitably normalized ergodic sums (Central Limit Theorem). The second one deals with Transfer Operators and the structure of their spectrum (Ruelle-Pollicott resonances), explaining the relation with the asymptotics of time correlation function and the periodic orbits of the dynamics.

Two prisoners are told that they will be brought to a room and seated so that each can see the other. Hats will be placed on their heads; each hat is either red or green. The two prisoners must simultaneously submit a guess of their own hat color, and they both go free if at least one of them guesses correctly. While no communication is allowed once the hats have been placed, they will, however, be allowed to have a strategy session before being brought to the room. Is there a strategy ensuring their release? The answer turns out to be yes, and this is the simplest non-trivial example of a "hat problem." This book deals with the question of how successfully one can predict the value of an arbitrary function at one or more points of its domain based on some knowledge of its values at other points. Topics range from hat problems that are accessible to everyone willing to think hard, to some advanced topics in set theory and infinitary combinatorics. For example, there is a method of predicting the value f(a) of a function f mapping the reals to the reals, based only on knowledge of f's values on the open interval (a - 1, a), and for every such function the prediction is incorrect only on a countable set that is nowhere dense. The monograph progresses from topics requiring fewer prerequisites to those requiring more, with most of the text being accessible to any graduate student in mathematics. The broad range of readership includes researchers, postdocs, and graduate students in the fields of set theory, mathematical logic, and combinatorics. The hope is that this book will bring together mathematicians from different areas to think about set theory via a very broad array of coordinated inference problems.

This book contains recent contributions to the fields of rigidity and symmetry with two primary focuses: to present the mathematically rigorous treatment of rigidity of structures and to explore the interaction of geometry, algebra and combinatorics. Contributions present recent trends and advances in discrete geometry, particularly in the theory of polytopes. The rapid development of abstract polytope theory has resulted in a rich theory featuring an attractive interplay of methods and tools from discrete geometry, group theory, classical geometry, hyperbolic geometry and topology. Overall, the book shows how researchers from diverse backgrounds explore connections among the various discrete structures with symmetry as the unifying theme. The volume will be a valuable source as an introduction to the ideas of both combinatorial and geometric rigidity theory and its applications, incorporating the surprising impact of symmetry. It will appeal to students at both the advanced undergraduate and graduate levels, as well as post docs, structural engineers and chemists.

The ICM 2010 satellite conference 'Geometry, Topology and Dynamics in Negative Curvature' afforded an excellent opportunity to discuss various aspects of this fascinating interdisciplinary subject in which methods and techniques from geometry, topology, and dynamics often interact in novel and interesting ways. Containing ten survey articles written by some of the leading experts in the field, this proceedings volume provides an overview of important recent developments relating to negative curvature. Topics covered include homogeneous dynamics, harmonic manifolds, the Atiyah Conjecture, counting circles and arcs, and hyperbolic buildings. Each author pays particular attention to the expository aspects, making the book particularly useful for graduate students and mathematicians interested in transitioning from other areas via the common theme of negative curvature.

This book contains papers presented at the Workshop on the Analysis of Large-scale, High-Dimensional, and Multi-Variate Data Using Topology and Statistics, held in Le Barp, France, June 2013. It features the work of some of the most prominent and recognized leaders in the field who examine challenges as well as detail solutions to the analysis of extreme scale data. The book presents new methods that leverage the mutual strengths of both topological and statistical techniques to support the management, analysis, and visualization of complex data. It covers both theory and application and provides readers with an overview of important key concepts and the latest research trends. Coverage in the book includes multi-variate and/or high-dimensional analysis techniques, feature-based statistical methods, combinatorial algorithms, scalable statistics algorithms, scalar and vector field topology, and multi-scale representations. In addition, the book details algorithms that are broadly applicable and can be used by application scientists to glean insight from a wide range of complex data sets.

This collection of peer-reviewed conference papers provides comprehensive coverage of cutting-edge research in topological approaches to data analysis and visualization. It encompasses the full range of new algorithms and insights, including fast homology computation, comparative analysis of simplification techniques, and key applications in materials and medical science. The volume also features material on core research challenges such as the representation of large and complex datasets and integrating numerical methods with robust combinatorial algorithms. Reflecting the focus of the TopoInVis 2013 conference, the contributions evince the progress currently being made on finding experimental solutions to open problems in the sector. They provide an inclusive snapshot of state-of-the-art research that enables researchers to keep abreast of the latest developments and provides a foundation for future progress. With papers by some of the world’s leading experts in topological techniques, this volume is a major contribution to the literature in a field of growing importance with applications in disciplines that range from engineering to medicine.

This second of two Exercises in Analysis volumes covers problems in five core topics of mathematical analysis: Function Spaces, Nonlinear and Multivalued Maps, Smooth and Nonsmooth Calculus, Degree Theory and Fixed Point Theory, and Variational and Topological Methods. Each of five topics corresponds 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. 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.

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

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.