This volume presents recent developments in geometric structures on Riemannian manifolds and their discretizations. With chapters written by recognized experts, these discussions focus on contact structures, Kahler structures, fiber bundle structures and Einstein metrics. It also contains works on the geometric approach on coding theory.For researchers and students, this volume forms an invaluable source to learn about these subjects that are not only in the field of differential geometry but also in other wide related areas. It promotes and deepens the study of geometric structures.

Architecture of Mathematics describes the logical structure of Mathematics from its foundations to its real-world applications. It describes the many interweaving relationships between different areas of mathematics and its practical applications, and as such provides unique reading for professional mathematicians and nonmathematicians alike. This book can be a very important resource both for the teaching of mathematics and as a means to outline the research links between different subjects within and beyond the subject. Features All notions and properties are introduced logically and sequentially, to help the reader gradually build understanding. Focusses on illustrative examples that explain the meaning of mathematical objects and their properties. Suitable as a supplementary resource for teaching undergraduate mathematics, and as an aid to interdisciplinary research. Forming the reader's understanding of Mathematics as a unified science, the book helps to increase his general mathematical culture.

This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint. The reader is first introduced to categories and functorial models, with Kleene algebra examples for languages. Functorial models for Peano arithmetic are described toward important computational complexity areas on a Hilbert program, leading to computability with initial models. Infinite language categories are also introduced to explain descriptive complexity with recursive computability with admissible sets and urelements. Algebraic and categorical realizability is staged on several levels, addressing new computability questions with omitting types realizably. Further applications to computing with ultrafilters on sets and Turing degree computability are examined. Functorial models computability is presented with algebraic trees realizing intuitionistic types of models. New homotopy techniques are applied to Marin Lof types of computations with model categories. Functorial computability, induction, and recursion are examined in view of the above, presenting new computability techniques with monad transformations and projective sets. This informative volume will give readers a complete new feel for models, computability, recursion sets, complexity, and realizability. This book pulls together functorial thoughts, models, computability, sets, recursion, arithmetic hierarchy, filters, with real tree computing areas, presented in a very intuitive manner for university teaching, with exercises for every chapter. The book will also prove valuable for faculty in computer science and mathematics.

This book is an introductory graduate-level textbook on the theory of smooth manifolds. Its goal is to familiarize students with the tools they will need in order to use manifolds in mathematical or scientific research--- smooth structures, tangent vectors and covectors, vector bundles, immersed and embedded submanifolds, tensors, differential forms, de Rham cohomology, vector fields, flows, foliations, Lie derivatives, Lie groups, Lie algebras, and more. The approach is as concrete as possible, with pictures and intuitive discussions of how one should think geometrically about the abstract concepts, while making full use of the powerful tools that modern mathematics has to offer.

This second edition has been extensively revised and clarified, and the topics have been substantially rearranged. The book now introduces the two most important analytic tools, the rank theorem and the fundamental theorem on flows, much earlier so that they can be used throughout the book. A few new topics have been added, notably Sard's theorem and transversality, a proof that infinitesimal Lie group actions generate global group actions, a more thorough study of first-order partial differential equations, a brief treatment of degree theory for smooth maps between compact manifolds, and an introduction to contact structures.

Prerequisites include a solid acquaintance with general topology, the fundamental group, and covering spaces, as well as basic undergraduate linear algebra and real analysis.

Flexagons, paper models that can be bent in different ways to change their shape, are easy to make and work in surprising ways. This book contains numerous diagrams that the reader can photocopy and use to construct a variety of fascinating flexagons. The author also explains the mathematics behind these amazing creations. Although knowledge of the technical details requires a mathematical background, the models can be made and used by anyone. Flexagons appeals to all readers interested in puzzles and recreational mathematics.

Commutative algebra is a rapidly growing subject that is developing in many different directions. This volume presents several of the most recent results from various areas related to both Noetherian and non-Noetherian commutative algebra. This volume contains a collection of invited survey articles by some of the leading experts in the field. The authors of these chapters have been carefully selected for their important contributions to an area of commutative-algebraic research. Some topics presented in the volume include: generalizations of cyclic modules, zero divisor graphs, class semigroups, forcing algebras, syzygy bundles, tight closure, Gorenstein dimensions, tensor products of algebras over fields, as well as many others. This book is intended for researchers and graduate students interested in studying the many topics related to commutative algebra.

The second volume of this modern account of Kaehlerian geometry and Hodge theory starts with the topology of families of algebraic varieties. The main results are the generalized Noether-Lefschetz theorems, the generic triviality of the Abel-Jacobi maps, and most importantly, Nori's connectivity theorem, which generalizes the above. The last part deals with the relationships between Hodge theory and algebraic cycles. The text is complemented by exercises offering useful results in complex algebraic geometry. Also available: Volume I 0-521-80260-1 Hardback $60.00 C

This monograph presents the basic concepts of hyperbolic Lobachevsky geometry and their possible applications to modern nonlinear applied problems in mathematics and physics, summarizing the findings of roughly the last hundred years. The central sections cover the classical building blocks of hyperbolic Lobachevsky geometry, pseudo spherical surfaces theory, net geometrical investigative techniques of nonlinear differential equations in partial derivatives, and their applications to the analysis of the physical models. As the sine-Gordon equation appears to have profound "geometrical roots" and numerous applications to modern nonlinear problems, it is treated as a universal "object" of investigation, connecting many of the problems discussed. The aim of this book is to form a general geometrical view on the different problems of modern mathematics, physics and natural science in general in the context of non-Euclidean hyperbolic geometry.

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.

Differential geometry is the study of the curvature and calculus of curves and surfaces. "A New Approach to Differential Geometry using Clifford's Geometric Algebra" simplifies the discussion to an accessible level of differential geometry by introducing Clifford algebra. This presentation is relevant because Clifford algebra is an effective tool for dealing with the rotations intrinsic to the study of curved space.

""

Complete with chapter-by-chapter exercises, an overview of general relativity, and brief biographies of historical figures, this comprehensive textbook presents a valuable introduction to differential geometry. It will serve as a useful resource for upper-level undergraduates, beginning-level graduate students, and researchers in the algebra and physics communities.

"

Featuring a blend of original research papers and comprehensive surveys from an international team of leading researchers in the thriving fields of foliation theory, holomorphic foliations, and birational geometry, this book presents the proceedings of the conference "Foliation Theory in Algebraic Geometry," hosted by the Simons Foundation in New York City in September 2013. Topics covered include: Fano and del Pezzo foliations; the cone theorem and rank one foliations; the structure of symmetric differentials on a smooth complex surface and a local structure theorem for closed symmetric differentials of rank two; an overview of lifting symmetric differentials from varieties with canonical singularities and the applications to the classification of AT bundles on singular varieties; an overview of the powerful theory of the variety of minimal rational tangents introduced by Hwang and Mok; recent examples of varieties which are hyperbolic and yet the Green-Griffiths locus is the whole of X; and a classification of psuedoeffective codimension one distributions. Foliations play a fundamental role in algebraic geometry, for example in the proof of abundance for threefolds and to a solution of the Green-Griffiths conjecture for surfaces of general type with positive Segre class. The purpose of this volume is to foster communication and enable interactions between experts who work on holomorphic foliations and birational geometry, and to bring together leading researchers to demonstrate the powerful connection of ideas, methods, and goals shared by these two areas of study.

This book offers a comprehensive and accessible exposition of Euclidean Distance Matrices (EDMs) and rigidity theory of bar-and-joint frameworks. It is based on the one-to-one correspondence between EDMs and projected Gram matrices. Accordingly the machinery of semidefinite programming is a common thread that runs throughout the book. As a result, two parallel approaches to rigidity theory are presented. The first is traditional and more intuitive approach that is based on a vector representation of point configuration. The second is based on a Gram matrix representation of point configuration. Euclidean Distance Matrices and Their Applications in Rigidity Theory begins by establishing the necessary background needed for the rest of the book. The focus of Chapter 1 is on pertinent results from matrix theory, graph theory and convexity theory, while Chapter 2 is devoted to positive semidefinite (PSD) matrices due to the key role these matrices play in our approach. Chapters 3 to 7 provide detailed studies of EDMs, and in particular their various characterizations, classes, eigenvalues and geometry. Chapter 8 serves as a transitional chapter between EDMs and rigidity theory. Chapters 9 and 10 cover local and universal rigidities of bar-and-joint frameworks. This book is self-contained and should be accessible to a wide audience including students and researchers in statistics, operations research, computational biochemistry, engineering, computer science and mathematics.

In the past ten years, there has been much progress in understanding the global dynamics of systems with several degrees-of-freedom. An important tool in these studies has been the theory of normally hyperbolic invariant manifolds and foliations of normally hyperbolic invariant manifolds. In recent years these techniques have been used for the development of global perturbation methods, the study of resonance phenomena in coupled oscillators, geometric singular perturbation theory, and the study of bursting phenomena in biological oscillators. "Invariant manifold theorems" have become standard tools for applied mathematicians, physicists, engineers, and virtually anyone working on nonlinear problems from a geometric viewpoint. In this book, the author gives a self-contained development of these ideas as well as proofs of the main theorems along the lines of the seminal works of Fenichel. In general, the Fenichel theory is very valuable for many applications, but it is not easy for people to get into from existing literature. This book provides an excellent avenue to that. Wiggins also describes a variety of settings where these techniques can be used in applications.

In recent years, extensive research has been conducted by eminent mathematicians and engineers whose results and proposed problems are presented in this new volume. It is addressed to graduate students, research mathematicians, physicists, and engineers. Individual contributions are devoted to topics of approximation theory, functional equations and inequalities, fixed point theory, numerical analysis, theory of wavelets, convex analysis, topology, operator theory, differential operators, fractional integral operators, integro-differential equations, ternary algebras, super and hyper relators, variational analysis, discrete mathematics, cryptography, and a variety of applications in interdisciplinary topics. Several of these domains have a strong connection with both theories and problems of linear and nonlinear optimization. The combination of results from various domains provides the reader with a solid, state-of-the-art interdisciplinary reference to theory and problems. Some of the works provide guidelines for further research and proposals for new directions and open problems with relevant discussions.

Without an introduction, this volume of 19 papers plunges right into the subject matter presented at the June 1998 symposium held at Bayreuth U. in Bayreuth, Germany. A sampling of topics: almost-lines and quasi-lines on projective manifolds, the classification of K3 surfaces with nine cusps, simply connected Godeaux surfaces, Kahlerian structures on symplectic reductions, and A geometric proof of Ax' theorem. One paper is in untranslated French. Includes an essay on Michael Schneider's scientific work with a publications list (including his still standard reference on vector bundles on projective spaces); a photograph and "alpine" vita of Schneider (who died while sports-climbing in 1997); a list of the eight symposium lectures; and a listing of the authors and participants with contact information. Lacks an index.

Presented in this monograph is the current state-of-the-art in the theory of convex structures. The notion of convexity covered here is considerably broader than the classic one; specifically, it is not restricted to the context of vector spaces. Classical concepts of order-convex sets (Birkhoff) and of geodesically convex sets (Menger) are directly inspired by intuition; they go back to the first half of this century. An axiomatic approach started to develop in the early Fifties. The author became attracted to it in the mid-Seventies, resulting in the present volume, in which graphs appear side-by-side with Banach spaces, classical geometry with matroids, and ordered sets with metric spaces. A wide variety of results has been included (ranging for instance from the area of partition calculus to that of continuous selection). The tools involved are borrowed from areas ranging from discrete mathematics to infinite-dimensional topology.

Although addressed primarily to the researcher, parts of this monograph can be used as a basis for a well-balanced, one-semester graduate course.

This book provides advanced undergraduate physics and mathematics students with an accessible yet detailed understanding of the fundamentals of differential geometry and symmetries in classical physics. Readers, working through the book, will obtain a thorough understanding of symmetry principles and their application in mechanics, field theory, and general relativity, and in addition acquire the necessary calculational skills to tackle more sophisticated questions in theoretical physics. Most of the topics covered in this book have previously only been scattered across many different sources of literature, therefore this is the first book to coherently present this treatment of topics in one comprehensive volume. Key features: Contains a modern, streamlined presentation of classical topics, which are normally taught separately Includes several advanced topics, such as the Belinfante energy-momentum tensor, the Weyl-Schouten theorem, the derivation of Noether currents for diffeomorphisms, and the definition of conserved integrals in general relativity Focuses on the clear presentation of the mathematical notions and calculational technique

Fixed Point Results in W-Distance Spaces is a self-contained and comprehensive reference for advanced fixed-point theory and can serve as a useful guide for related research. The book can be used as a teaching resource for advanced courses on fixed-point theory, which is a modern and important field in mathematics. It would be especially valuable for graduate and postgraduate courses and seminars. Features Written in a concise and fluent style, covers a broad range of topics and includes related topics from research. Suitable for researchers and postgraduates. Contains brand new results not published elsewhere.

This proceedings volume gathers selected, peer-reviewed works presented at the Polynomial Rings and Affine Algebraic Geometry Conference, which was held at Tokyo Metropolitan University on February 12-16, 2018. Readers will find some of the latest research conducted by an international group of experts on affine and projective algebraic geometry. The topics covered include group actions and linearization, automorphism groups and their structure as infinite-dimensional varieties, invariant theory, the Cancellation Problem, the Embedding Problem, Mathieu spaces and the Jacobian Conjecture, the Dolgachev-Weisfeiler Conjecture, classification of curves and surfaces, real forms of complex varieties, and questions of rationality, unirationality, and birationality. These papers will be of interest to all researchers and graduate students working in the fields of affine and projective algebraic geometry, as well as on certain aspects of commutative algebra, Lie theory, symplectic geometry and Stein manifolds.

This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models.

This book introduces plane curves on time scales. They are deducted the Frenet equations for plane and space curves. In the book is presented the basic theory of surfaces on time scales. They are defined tangent plane, \sigma_1 and \sigma_2 tangent planes, normal, \sigma_1 and \sigma_2 normals to a surface. They are introduced differentiable maps and differentials on surface. This book provides the first and second fundamental forms of surfaces on time scales. They are introduced minimal surfaces and geodesics on time scales. In the book are studied the covaraint derivatives on time scales, pseudo-spherical surfaces and \sigma_1, \sigma_2 manifolds on time scales.

This first complete English language edition of "Euclides vindicatus" presents a corrected and revised edition of the classical English translation of Saccheri's text by G.B. Halsted. It is complemented with a historical introduction on the geometrical environment of the time and a detailed commentary that helps to understand the aims and subtleties of the work.""

"Euclides vindicatus, " written by the Jesuit mathematician Gerolamo Saccheri, was published in Milan in 1733. In it, Saccheri attempted to reform elementary geometry in two important directions: a demonstration of the famous Parallel Postulate and the theory of proportions. Both topics were of pivotal importance in the mathematics of the time. In particular, the Parallel Postulate had escaped demonstration since the first attempts at it in the Classical Age, and several books on the topic were published in the Early Modern Age. At the same time, the theory of proportion was the most important mathematical tool of the Galilean School in its pursuit of the mathematization of nature. Saccheri's attempt to prove the Parallel Postulate is today considered the most important breakthrough in geometry in the 18th century, as he was able to develop for hundreds of pages and dozens of theorems a system in geometry that denied the truth of the postulate (in the attempt to find a contradiction). This can be regarded as the first system of non-Euclidean geometry. Its later developments by Lambert, Bolyai, Lobachevsky and Gauss eventually opened the way to contemporary geometry.Occupying a unique position in the literature of mathematical history, "Euclid Vindicated from Every Blemish" will be of high interest to historians of mathematics as well as historians of philosophy interested in the development of non-Euclidean geometries.

This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant structure. In the first three parts of this monograph, we establish a foundation for group operads and for their higher coherent analogues called infinity group operads. Examples include planar, symmetric, braided, ribbon, and cactus operads, and their infinity analogues. For example, with the tools developed here, we observe that the coherent ribbon nerve of the universal cover of the framed little 2-disc operad is an infinity ribbon operad.In Part 4 we define general monoidal categories equipped with an action operad equivariant structure and provide a unifying treatment of coherence and strictification for them. Examples of such monoidal categories include symmetric, braided, ribbon, and coboundary monoidal categories, which naturally arise in the representation theory of quantum groups and of coboundary Hopf algebras and in the theory of crystals of finite dimensional complex reductive Lie algebras.

The book presents a comprehensive overview of various aspects of three-dimensional geometry that can be experienced on a daily basis. By covering the wide range of topics - from the psychology of spatial perception to the principles of 3D modelling and printing, from the invention of perspective by Renaissance artists to the art of Origami, from polyhedral shapes to the theory of knots, from patterns in space to the problem of optimal packing, and from the problems of cartography to the geometry of solar and lunar eclipses - this book provides deep insight into phenomena related to the geometry of space and exposes incredible nuances that can enrich our lives.The book is aimed at the general readership and provides more than 420 color illustrations that support the explanations and replace formal mathematical arguments with clear graphical representations.

The book presents a comprehensive overview of various aspects of three-dimensional geometry that can be experienced on a daily basis. By covering the wide range of topics - from the psychology of spatial perception to the principles of 3D modelling and printing, from the invention of perspective by Renaissance artists to the art of Origami, from polyhedral shapes to the theory of knots, from patterns in space to the problem of optimal packing, and from the problems of cartography to the geometry of solar and lunar eclipses - this book provides deep insight into phenomena related to the geometry of space and exposes incredible nuances that can enrich our lives.The book is aimed at the general readership and provides more than 420 color illustrations that support the explanations and replace formal mathematical arguments with clear graphical representations.