This richly illustrated textbook explores the amazing interaction between combinatorics, geometry, number theory, and analysis which arises in the interplay between polyhedra and lattices. Highly accessible to advanced undergraduates, as well as beginning graduate students, this second edition is perfect for a capstone course, and adds two new chapters, many new exercises, and updated open problems. For scientists, this text can be utilized as a self-contained tooling device. The topics include a friendly invitation to Ehrhart's theory of counting lattice points in polytopes, finite Fourier analysis, the Frobenius coin-exchange problem, Dedekind sums, solid angles, Euler-Maclaurin summation for polytopes, computational geometry, magic squares, zonotopes, and more. With more than 300 exercises and open research problems, the reader is an active participant, carried through diverse but tightly woven mathematical fields that are inspired by an innocently elementary question: What are the relationships between the continuous volume of a polytope and its discrete volume? Reviews of the first edition: "You owe it to yourself to pick up a copy of Computing the Continuous Discretely to read about a number of interesting problems in geometry, number theory, and combinatorics." - MAA Reviews "The book is written as an accessible and engaging textbook, with many examples, historical notes, pithy quotes, commentary integrating the mate rial, exercises, open problems and an extensive bibliography." - Zentralblatt MATH "This beautiful book presents, at a level suitable for advanced undergraduates, a fairly complete introduction to the problem of counting lattice points inside a convex polyhedron." - Mathematical Reviews "Many departments recognize the need for capstone courses in which graduating students can see the tools they have acquired come together in some satisfying way. Beck and Robins have written the perfect text for such a course." - CHOICE

The primary aim of this monograph is to achieve part of Beilinson's program on mixed motives using Voevodsky's theories of A1-homotopy and motivic complexes. Historically, this book is the first to give a complete construction of a triangulated category of mixed motives with rational coefficients satisfying the full Grothendieck six functors formalism as well as fulfilling Beilinson's program, in particular the interpretation of rational higher Chow groups as extension groups. Apart from Voevodsky's entire work and Grothendieck's SGA4, our main sources are Gabber's work on etale cohomology and Ayoub's solution to Voevodsky's cross functors theory. We also thoroughly develop the theory of motivic complexes with integral coefficients over general bases, along the lines of Suslin and Voevodsky. Besides this achievement, this volume provides a complete toolkit for the study of systems of coefficients satisfying Grothendieck' six functors formalism, including Grothendieck-Verdier duality. It gives a systematic account of cohomological descent theory with an emphasis on h-descent. It formalizes morphisms of coefficient systems with a view towards realization functors and comparison results. The latter allows to understand the polymorphic nature of rational mixed motives. They can be characterized by one of the following properties: existence of transfers, universality of rational algebraic K-theory, h-descent, etale descent, orientation theory. This monograph is a longstanding research work of the two authors. The first three parts are written in a self-contained manner and could be accessible to graduate students with a background in algebraic geometry and homotopy theory. It is designed to be a reference work and could also be useful outside motivic homotopy theory. The last part, containing the most innovative results, assumes some knowledge of motivic homotopy theory, although precise statements and references are given.

Rational homotopy is a very powerful tool for differential topology and geometry. This text aims to provide graduates and researchers with the tools necessary for the use of rational homotopy in geometry. Algebraic Models in Geometry has been written for topologists who are drawn to geometrical problems amenable to topological methods and also for geometers who are faced with problems requiring topological approaches and thus need a simple and concrete introduction to rational homotopy. This is essentially a book of applications. Geodesics, curvature, embeddings of manifolds, blow-ups, complex and Kahler manifolds, symplectic geometry, torus actions, configurations and arrangements are all covered. The chapters related to these subjects act as an introduction to the topic, a survey, and a guide to the literature. But no matter what the particular subject is, the central theme of the book persists; namely, there is a beautiful connection between geometry and rational homotopy which both serves to solve geometric problems and spur the development of topological methods.

Regularity of Minimal Surfaces begins with a survey of minimal surfaces with free boundaries. Following this, the basic results concerning the boundary behaviour of minimal surfaces and H-surfaces with fixed or free boundaries are studied. In particular, the asymptotic expansions at interior and boundary branch points are derived, leading to general Gauss-Bonnet formulas. Furthermore, gradient estimates and asymptotic expansions for minimal surfaces with only piecewise smooth boundaries are obtained. One of the main features of free boundary value problems for minimal surfaces is that, for principal reasons, it is impossible to derive a priori estimates. Therefore regularity proofs for non-minimizers have to be based on indirect reasoning using monotonicity formulas. This is followed by a long chapter discussing geometric properties of minimal and H-surfaces such as enclosure theorems and isoperimetric inequalities, leading to the discussion of obstacle problems and of Plateaus problem for H-surfaces in a Riemannian manifold. A natural generalization of the isoperimetric problem is the so-called thread problem, dealing with minimal surfaces whose boundary consists of a fixed arc of given length. Existence and regularity of solutions are discussed. The final chapter on branch points presents a new approach to the theorem that area minimizing solutions of Plateaus problem have no interior branch points.

This book presents the proceedings of the 20th International Workshop on Hermitian Symmetric Spaces and Submanifolds, which was held at the Kyungpook National University from June 21 to 25, 2016. The Workshop was supported by the Research Institute of Real and Complex Manifolds (RIRCM) and the National Research Foundation of Korea (NRF). The Organizing Committee invited 30 active geometers of differential geometry and related fields from all around the globe to discuss new developments for research in the area. These proceedings provide a detailed overview of recent topics in the field of real and complex submanifolds.

The book is devoted to recent research in the global variational theory on smooth manifolds. Its main objective is an extension of the classical variational calculus on Euclidean spaces to (topologically nontrivial) finite-dimensional smooth manifolds; to this purpose the methods of global analysis of differential forms are used. Emphasis is placed on the foundations of the theory of variational functionals on fibered manifolds - relevant geometric structures for variational principles in geometry, physical field theory and higher-order fibered mechanics. The book chapters include: - foundations of jet bundles and analysis of differential forms and vector fields on jet bundles, - the theory of higher-order integral variational functionals for sections of a fibred space, the (global) first variational formula in infinitesimal and integral forms- extremal conditions and the discussion of Noether symmetries and generalizations,- the inverse problems of the calculus of variations of Helmholtz type- variational sequence theory and its consequences for the global inverse problem (cohomology conditions)- examples of variational functionals of mathematical physics. Complete formulations and proofs of all basic assertions are given, based on theorems of global analysis explained in the Appendix.

In this book, the general theory of submanifolds in a multidimensional projective space is constructed. The topics dealt with include osculating spaces and fundamental forms of different orders, asymptotic and conjugate lines, submanifolds on the Grassmannians, different aspects of the normalization problems for submanifolds (with special emphasis given to a connection in the normal bundle) and the problem of algebraizability for different kinds of submanifolds, the geometry of hypersurfaces and hyperbands, etc. A series of special types of submanifolds with special projective structures are studied: submanifolds carrying a net of conjugate lines (in particular, conjugate systems), tangentially degenerate submanifolds, submanifolds with asymptotic and conjugate distributions etc. The method of moving frames and the apparatus of exterior differential forms are systematically used in the book and the results presented can be applied to the problems dealing with the linear subspaces or their generalizations.

Graduate students majoring in differential geometry will find this monograph of great interest, as will researchers in differential and algebraic geometry, complex analysis and theory of several complex variables.

The book is devoted to the study of the geometrical and topological structure of gauge theories. It consists of the following three building blocks:- Geometry and topology of fibre bundles,- Clifford algebras, spin structures and Dirac operators,- Gauge theory.Written in the style of a mathematical textbook, it combines a comprehensive presentation of the mathematical foundations with a discussion of a variety of advanced topics in gauge theory.The first building block includes a number of specific topics, like invariant connections, universal connections, H-structures and the Postnikov approximation of classifying spaces.Given the great importance of Dirac operators in gauge theory, a complete proof of the Atiyah-Singer Index Theorem is presented. The gauge theory part contains the study of Yang-Mills equations (including the theory of instantons and the classical stability analysis), the discussion of various models with matter fields (including magnetic monopoles, the Seiberg-Witten model and dimensional reduction) and the investigation of the structure of the gauge orbit space. The final chapter is devoted to elements of quantum gauge theory including the discussion of the Gribov problem, anomalies and the implementation of the non-generic gauge orbit strata in the framework of Hamiltonian lattice gauge theory.The book is addressed both to physicists and mathematicians. It is intended to be accessible to students starting from a graduate level.

A study of topology and geometry, beginning with a comprehensible account of the extraordinary and rather mysterious impact of mathematical physics, and especially gauge theory, on the study of the geometry and topology of manifolds. The focus of the book is the Yang-Mills-Higgs field and some considerable effort is expended to make clear its origin and significance in physics. Much of the mathematics developed here to study these fields is standard, but the treatment always keeps one eye on the physics and sacrifices generality in favor of clarity. The author brings readers up the level of physics and mathematics needed to conclude with a brief discussion of the Seiberg-Witten invariants. A large number of exercises are included to encourage active participation on the part of the reader.

This book draws a colorful and widespread picture of global affine hypersurface theory up to the most recent state. Moreover, the recent development revealed that affine differential geometry - as differential geometry in general - has an exciting intersection area with other fields of interest, like partial differential equations, global analysis, convex geometry and Riemann surfaces. The second edition of this monograph leads the reader from introductory concepts to recent research. Since the publication of the first edition in 1993 there appeared important new contributions, like the solutions of two different affine Bernstein conjectures, due to Chern and Calabi, respectively. Moreover, a large subclass of hyperbolic affine spheres were classified in recent years, namely the locally strongly convex Blaschke hypersurfaces that have parallel cubic form with respect to the Levi-Civita connection of the Blaschke metric. The authors of this book present such results and new methods of proof.

Both classical geometry and modern differential geometry have been active subjects of research throughout the 20th century and lie at the heart of many recent advances in mathematics and physics. The underlying motivating concept for the present book is that it offers readers the elements of a modern geometric culture by means of a whole series of visually appealing unsolved (or recently solved) problems that require the creation of concepts and tools of varying abstraction. Starting with such natural, classical objects as lines, planes, circles, spheres, polygons, polyhedra, curves, surfaces, convex sets, etc., crucial ideas and above all abstract concepts needed for attaining the results are elucidated. These are conceptual notions, each built "above" the preceding and permitting an increase in abstraction, represented metaphorically by Jacob's ladder with its rungs: the 'ladder' in the Old Testament, that angels ascended and descended...

In all this, the aim of the book is to demonstrate to readers the unceasingly renewed spirit of geometry and that even so-called "elementary" geometry is very much alive and at the very heart of the work of numerous contemporary mathematicians. It is also shown that there are innumerable paths yet to be explored and concepts to be created. The book is visually rich and inviting, so that readers may open it at random places and find much pleasure throughout according their own intuitions and inclinations.

Marcel Berger is the author of numerous successful books on geometry, this book once again is addressed to all students and teachers of mathematics with an affinity for geometry.

This volume has been divided into two parts: Geometry and Applications. The geometry portion of the book relates primarily to geometric flows, laminations, integral formulae, geometry of vector fields on Lie groups and osculation; the articles in the applications portion concern some particular problems of the theory of dynamical systems, including mathematical problems of liquid flows and a study of cycles for non-dynamical systems.

This Work is based on the second international workshop entitled "Geometry and Symbolic Computations," held on May 15-18, 2013 at the University of Haifa and is dedicated to modeling (using symbolic calculations) in differential geometry and its applications in fields such as computer science, tomography and mechanics. It is intended to create a forum for students and researchers in pure and applied geometry to promote discussion of modern state-of-the-art in geometric modeling using symbolic programs such as Maple and Mathematica(r), as well as presentation of new results."

Collecting together contributed lectures and mini-courses, this book details the research presented in a special semester titled "Geometric mechanics - variational and stochastic methods" run in the first half of 2015 at the Centre Interfacultaire Bernoulli (CIB) of the Ecole Polytechnique Federale de Lausanne. The aim of the semester was to develop a common language needed to handle the wide variety of problems and phenomena occurring in stochastic geometric mechanics. It gathered mathematicians and scientists from several different areas of mathematics (from analysis, probability, numerical analysis and statistics, to algebra, geometry, topology, representation theory, and dynamical systems theory) and also areas of mathematical physics, control theory, robotics, and the life sciences, with the aim of developing the new research area in a concentrated joint effort, both from the theoretical and applied points of view. The lectures were given by leading specialists in different areas of mathematics and its applications, building bridges among the various communities involved and working jointly on developing the envisaged new interdisciplinary subject of stochastic geometric mechanics.

This monograph is a unified presentation of several theories of finding explicit formulas for heat kernels for both elliptic and sub-elliptic operators. These kernels are important in the theory of parabolic operators because they describe the distribution of heat on a given manifold as well as evolution phenomena and diffusion processes.
Heat Kernels for Elliptic and Sub-elliptic Operators is an ideal reference for graduate students, researchers in pure and applied mathematics, and theoretical physicists interested in understanding different ways of approaching evolution operators.

The analysis of PDEs is a prominent discipline in mathematics research, both in terms of its theoretical aspects and its relevance in applications. In recent years, the geometric properties of linear and nonlinear second order PDEs of elliptic and parabolic type have been extensively studied by many outstanding researchers. This book collects contributions from a selected group of leading experts who took part in the INdAM meeting "Geometric methods in PDEs", on the occasion of the 70th birthday of Ermanno Lanconelli. They describe a number of new achievements and/or the state of the art in their discipline of research, providing readers an overview of recent progress and future research trends in PDEs. In particular, the volume collects significant results for sub-elliptic equations, potential theory and diffusion equations, with an emphasis on comparing different methodologies and on their implications for theory and applications.

The Abel Symposium 2009 "Combinatorial aspects of Commutative Algebra and Algebraic Geometry," held at Voss, Norway, featured talks by leading researchers in the field.

This is the proceedings of the Symposium, presenting contributions on syzygies, tropical geometry, Boij-Soderberg theory, Schubert calculus, and quiver varieties. The volume also includes an introductory survey on binomial ideals with applications to hypergeometric series, combinatorial games and chemical reactions.

The contributions pose interesting problems, and offer up-to-date research on some of the most active fields of commutative algebra and algebraic geometry with a combinatorial flavour.

"

Most networks and databases that humans have to deal with contain large, albeit finite number of units. Their structure, for maintaining functional consistency of the components, is essentially not random and calls for a precise quantitative description of relations between nodes (or data units) and all network components. This book is an introduction, for both graduate students and newcomers to the field, to the theory of graphs and random walks on such graphs. The methods based on random walks and diffusions for exploring the structure of finite connected graphs and databases are reviewed (Markov chain analysis). This provides the necessary basis for consistently discussing a number of applications such diverse as electric resistance networks, estimation of land prices, urban planning, linguistic databases, music, and gene expression regulatory networks.

The goal in putting together this unique compilation was to present the current status of the solutions to some of the most essential open problems in pure and applied mathematics. Emphasis is also given to problems in interdisciplinary research for which mathematics plays a key role. This volume comprises highly selected contributions by some of the most eminent mathematicians in the international mathematical community on longstanding problems in very active domains of mathematical research. A joint preface by the two volume editors is followed by a personal farewell to John F. Nash, Jr. written by Michael Th. Rassias. An introduction by Mikhail Gromov highlights some of Nash's legendary mathematical achievements. The treatment in this book includes open problems in the following fields: algebraic geometry, number theory, analysis, discrete mathematics, PDEs, differential geometry, topology, K-theory, game theory, fluid mechanics, dynamical systems and ergodic theory, cryptography, theoretical computer science, and more. Extensive discussions surrounding the progress made for each problem are designed to reach a wide community of readers, from graduate students and established research mathematicians to physicists, computer scientists, economists, and research scientists who are looking to develop essential and modern new methods and theories to solve a variety of open problems.

An original motivation for algebraic geometry was to understand curves and surfaces in three dimensions. Recent theoretical and technological advances in areas such as robotics, computer vision, computer-aided geometric design and molecular biology, together with the increased availability of computational resources, have brought these original questions once more into the forefront of research. One particular challenge is to combine applicable methods from algebraic geometry with proven techniques from piecewise-linear computational geometry (such as Voronoi diagrams and hyperplane arrangements) to develop tools for treating curved objects. These research efforts may be summarized under the term nonlinear computational geometry. This volume grew out of an IMA workshop on Nonlinear Computational Geometry in May/June 2007 (organized by I.Z. Emiris, R. Goldman, F. Sottile, T. Theobald) which gathered leading experts in this emerging field. The research and expository articles in the volume are intended to provide an overview of nonlinear computational geometry. Since the topic involves computational geometry, algebraic geometry, and geometric modeling, the volume has contributions from all of these areas. By addressing a broad range of issues from purely theoretical and algorithmic problems, to implementation and practical applications this volume conveys the spirit of the IMA workshop.

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.

This is the second volume of the Handbook of the Geometry and Topology of Singularities, a series which aims to provide an accessible account of the state-of-the-art of the subject, its frontiers, and its interactions with other areas of research. This volume consists of ten chapters which provide an in-depth and reader-friendly survey of some of the foundational aspects of singularity theory and related topics.Singularities are ubiquitous in mathematics and science in general. Singularity theory interacts energetically with the rest of mathematics, acting as a crucible where different types of mathematical problems interact, surprising connections are born and simple questions lead to ideas which resonate in other parts of the subject, and in other subjects. Authored by world experts, the various contributions deal with both classical material and modern developments, covering a wide range of topics which are linked to each other in fundamental ways. The book is addressed to graduate students and newcomers to the theory, as well as to specialists who can use it as a guidebook.

This book is an introduction to the mathematical theory of design for articulated mechanical systems known as linkages. The focus is on sizing mechanical constraints that guide the movement of a work piece, or end-effector, of the system. The function of the device is prescribed as a set of positions to be reachable by the end-effector; and the mechanical constraints are formed by joints that limit relative movement. The goal is to find all the devices that can achieve a specific task. Formulated in this way the design problem is purely geometric in character. Robot manipulators, walking machines, and mechanical hands are examples of articulated mechanical systems that rely on simple mechanical constraints to provide a complex workspace for the end- effector. The principles presented in this book form the foundation for a design theory for these devices. The emphasis, however, is on articulated systems with fewer degrees of freedom than that of the typical robotic system, and therefore, less complexity. This book will be useful to mathematics, engineering and computer science departments teaching courses on mathematical modeling of robotics and other articulated mechanical systems.

This new edition includes research results of the past decade on the synthesis of multi loop planar and spherical linkages, and the use of homotopy methods and Clifford algebras in the synthesis of spatial serial chains. One new chapter on the synthesis of spatial serial chains introduces numerical homotopy and the linear product decomposition of polynomial systems. The second new chapter introduces the Clifford algebra formulation of the kinematics equations of serial chain robots. Examples are use throughout to demonstrate the theory."

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.

A basic problem in geometry is to ?nd canonical metrics on smooth manifolds. Such metrics can be speci?ed, for instance, by curvature conditions or extremality properties, and are expected to contain basic information on the topology of the underlying manifold. Constant curvature metrics on surfaces are such canonical metrics. Their distinguished role is emphasized by classical uniformization theory. Amorerecentcharacterizationofthesemetrics describes them ascriticalpoints of the determinant functional for the Laplacian.The key tool here is Polyakov'sva- ationalformula for the determinant. In higher dimensions, however,it is necessary to further restrict the problem, for instance, to the search for canonical metrics in conformal classes. Here two metrics are considered to belong to the same conf- mal class if they di?er by a nowhere vanishing factor. A typical question in that direction is the Yamabe problem ([165]), which asks for constant scalar curvature metrics in conformal classes. In connection with the problem of understanding the structure of Polyakov type formulas for the determinants of conformally covariant di?erential operators in higher dimensions, Branson ([31]) discovered a remarkable curvature quantity which now is called Branson's Q-curvature. It is one of the main objects in this book.

This 3. edition is an introduction to classical knot theory. It contains many figures and some tables of invariants of knots. This comprehensive account is an indispensable reference source for anyone interested in both classical and modern knot theory. Most of the topics considered in the book are developed in detail; only the main properties of fundamental groups and some basic results of combinatorial group theory are assumed to be known.