This welcome boon for students of algebraic topology cuts a much-needed central path between other texts whose treatment of the classification theorem for compact surfaces is either too formalized and complex for those without detailed background knowledge, or too informal to afford students a comprehensive insight into the subject. Its dedicated, student-centred approach details a near-complete proof of this theorem, widely admired for its efficacy and formal beauty. The authors present the technical tools needed to deploy the method effectively as well as demonstrating their use in a clearly structured, worked example. Ideal for students whose mastery of algebraic topology may be a work-in-progress, the text introduces key notions such as fundamental groups, homology groups, and the Euler-Poincaré characteristic. These prerequisites are the subject of detailed appendices that enable focused, discrete learning where it is required, without interrupting the carefully planned structure of the core exposition. Gently guiding readers through the principles, theory, and applications of the classification theorem, the authors aim to foster genuine confidence in its use and in so doing encourage readers to move on to a deeper exploration of the versatile and valuable techniques available in algebraic topology.

This volume grew out of two Simons Symposia on "Nonarchimedean and tropical geometry" which took place on the island of St. John in April 2013 and in Puerto Rico in February 2015. Each meeting gathered a small group of experts working near the interface between tropical geometry and nonarchimedean analytic spaces for a series of inspiring and provocative lectures on cutting edge research, interspersed with lively discussions and collaborative work in small groups. The articles collected here, which include high-level surveys as well as original research, mirror the main themes of the two Symposia. Topics covered in this volume include: Differential forms and currents, and solutions of Monge-Ampere type differential equations on Berkovich spaces and their skeletons; The homotopy types of nonarchimedean analytifications; The existence of "faithful tropicalizations" which encode the topology and geometry of analytifications; Relations between nonarchimedean analytic spaces and algebraic geometry, including logarithmic schemes, birational geometry, and the geometry of algebraic curves; Extended notions of tropical varieties which relate to Huber's theory of adic spaces analogously to the way that usual tropical varieties relate to Berkovich spaces; and Relations between nonarchimedean geometry and combinatorics, including deep and fascinating connections between matroid theory, tropical geometry, and Hodge theory.

A translation surface is a two-dimensional manifold, equipped with a translation structure. It can be obtained by considering Euclidean polygons and identifying their edges via translations. The vertices of the polygons form singularities if the translation structure can not be extended to them. We study translation surfaces with wild singularities, regarding the topology (genus and space of ends), the geometry (behavior of the singularities), and how the topology and the geometry are related.

The aim of the textbook is two-fold: first to serve as an introductory graduate course in Algebraic Topology and then to provide an application-oriented presentation of some fundamental concepts in Algebraic Topology to the fixed point theory. A simple approach based on point-set Topology is used throughout to introduce many standard constructions of fundamental and homological groups of surfaces and topological spaces. The approach does not rely on Homological Algebra. The constructions of some spaces using the quotient spaces such as the join, the suspension, and the adjunction spaces are developed in the setting of Topology only. The computations of the fundamental and homological groups of many surfaces and topological spaces occupy large parts of the book (sphere, torus, projective space, Mobius band, Klein bottle, manifolds, adjunctions spaces). Borsuk's theory of retracts which is intimately related to the problem of the extendability of continuous functions is developed in details. This theory together with the homotopy theory, the lifting and covering maps may serve as additional course material for students involved in General Topology. The book comprises 280 detailed worked examples, 320 exercises (with hints or references), 80 illustrative figures, and more than 80 commutative diagrams to make it more oriented towards applications (maps between spheres, Borsuk-Ulam Theory, Fixed Point Theorems, ...) As applications, the book offers some existence results on the solvability of some nonlinear differential equations subject to initial or boundary conditions. The book is suitable for students primarily enrolled in Algebraic Topology, General Topology, Homological Algebra, Differential Topology, Differential Geometry, and Topological Geometry. It is also useful for advanced undergraduate students who aspire to grasp easily some new concepts in Algebraic Topology and Applications. The textbook is practical both as a teaching and research document for Bachelor, Master students, and first-year PhD students since it is accessible to any reader with a modest understanding of topological spaces. The book aspires to fill a gap in the existing literature by providing a research and teaching document which investigates both the theory and the applications of Algebraic Topology in an accessible way without missing the main results of the topics covered.

This concise and practical textbook presents the essence of the theory on smooth manifolds. A key concept in mathematics, smooth manifolds are ubiquitous: They appear as Riemannian manifolds in differential geometry; as space-times in general relativity; as phase spaces and energy levels in mechanics; as domains of definition of ODEs in dynamical systems; as Lie groups in algebra and geometry; and in many other areas. The book first presents the language of smooth manifolds, culminating with the Frobenius theorem, before discussing the language of tensors (which includes a presentation of the exterior derivative of differential forms). It then covers Lie groups and Lie algebras, briefly addressing homogeneous manifolds. Integration on manifolds, explanations of Stokes’ theorem and de Rham cohomology, and rudiments of differential topology complete this work. It also includes exercises throughout the text to help readers grasp the theory, as well as more advanced problems for challenge-oriented minds at the end of each chapter. Conceived for a one-semester course on Differentiable Manifolds and Lie Groups, which is offered by many graduate programs worldwide, it is a valuable resource for students and lecturers alike.

Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging uses of model theory have created a highly fragmented literature. On the one hand, many philosophically significant results are found only in mathematics textbooks: these are aimed squarely at mathematicians; they typically presuppose that the reader has a serious background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are scattered across disconnected pockets of papers. The first aim of this book, then, is to explore the philosophical uses of model theory, focusing on the central topics of reference, realism, and doxology. Its second aim is to address important questions in the philosophy of model theory, such as: sameness of theories and structure, the boundaries of logic, and the classification of mathematical structures. Philosophy and Model Theory will be accessible to anyone who has completed an introductory logic course. It does not assume that readers have encountered model theory before, but starts right at the beginning, discussing philosophical issues that arise even with conceptually basic model theory. Moreover, the book is largely self-contained: model-theoretic notions are defined as and when they are needed for the philosophical discussion, and many of the most philosophically significant results are given accessible proofs.

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 book constitutes the refereed proceedings of the 10th International Conference on the Theory and Application of Diagrams, Diagrams 2018, held in Edinburgh, UK, in June 2018. The 26 revised full papers and 28 short papers presented together with 32 posters were carefully reviewed and selected from 124 submissions. The papers are organized in the following topical sections: generating and drawing Euler diagrams; diagrams in mathematics; diagram design, principles and classification; reasoning with diagrams; Euler and Venn diagrams; empirical studies and cognition; Peirce and existential graphs; and logic and diagrams.

For more than thirty years the senior author has been trying to learn algebraic geometry. In the process he discovered that many of the classic textbooks in algebraic geometry require substantial knowledge of cohomology, homological algebra, and sheaf theory. In an attempt to demystify these abstract concepts and facilitate understanding for a new generation of mathematicians, he along with co-author wrote this book for an audience who is familiar with basic concepts of linear and abstract algebra, but who never has had any exposure to the algebraic geometry or homological algebra. As such this book consists of two parts. The first part gives a crash-course on the homological and cohomological aspects of algebraic topology, with a bias in favor of cohomology. The second part is devoted to presheaves, sheaves, Cech cohomology, derived functors, sheaf cohomology, and spectral sequences. All important concepts are intuitively motivated and the associated proofs of the quintessential theorems are presented in detail rarely found in the standard texts.

"When you are a young mathematician, graduate school marks the first step toward a career in mathematics. During this period, you will make important decisions which will affect the rest of your career. This book is a detailed guide to help you navigate graduate school and the years that follow. -- Publisher description.