This volume consists of eighteen peer-reviewed papers related to lectures on pseudo-differential operators presented at the meeting of the ISAAC Group in Pseudo-Differential Operators (IGPDO) held at Imperial College London on July 13-18, 2009. Featured in this volume are the analysis, applications and computations of pseudo-differential operators in mathematics, physics and signal analysis. This volume is a useful complement to the volumes "Advances in Pseudo-Differential Operators", "Pseudo-Differential Operators and Related Topics", "Modern Trends in Pseudo-Differential Operators", "New Developments in Pseudo-Differential Operators" and "Pseudo-Differential Operators: Complex Analysis and Partial Differential Equations" published in the same series in, respectively, 2004, 2006, 2007, 2009 and 2010.

It is very tempting but a little bit dangerous to compare the style of two great mathematicians or of their schools. I think that it would be better to compare papers from both schools dedicated to one area, geometry and to leave conclusions to a reader of this volume. The collaboration of these two schools is not new. One of the best mathematics journals Functional Analysis and its Applications had I.M. Gelfand as its chief editor and V.I. Arnold as vice-chief editor. Appearances in one issue of the journal presenting remarkable papers from seminars of Arnold and Gelfand always left a strong impact on all of mathematics. We hope that this volume will have a similar impact. Papers from Arnold's seminar are devoted to three important directions developed by his school: Symplectic Geometry (F. Lalonde and D. McDuff), Theory of Singularities and its applications (F. Aicardi, I. Bogaevski, M. Kazarian), Geometry of Curves and Manifolds (S. Anisov, V. Chekanov, L. Guieu, E. Mourre and V. Ovsienko, S. Gusein-Zade and S. Natanzon). A little bit outside of these areas is a very interesting paper by M. Karoubi Produit cyclique d'espaces et operations de Steenrod.

This is an introduction to diophantine geometry at the advanced graduate level. The book contains a proof of the Mordell conjecture which will make it quite attractive to graduate students and professional mathematicians. In each part of the book, the reader will find numerous exercises.

This book deals with asymptotic solutions of linear and nonlinear equa- tions which decay as h ---+ 0 outside a neighborhood of certain points, curves and surfaces. Such solutions are almost everywhere well approximated by the functions cp(x) exp{iS(x)/h}, x E 1R3, where S(x) is complex, and ImS(x) ~ o. When the phase S(x) is real (ImS(x) = 0), the method for obtaining asymp- totics of this type is known in quantum mechanics as the WKB-method. We preserve this terminology in the case ImS(x) ~ 0 and develop the method for a wide class of problems in mathematical physics. Asymptotics of this type were constructed recently for many linear prob- lems of mathematical physics; certain specific formulas were obtained by differ- ent methods (V. M. Babich [5 -7], V. P. Lazutkin [76], A. A. Sokolov, 1. M. Ter- nov [113], J. Schwinger [107, 108], E. J. Heller [53], G. A. Hagedorn [50, 51], V. N. Bayer, V. M. Katkov [21], N. A. Chernikov [35] and others). However, a general (Hamiltonian) formalism for obtaining asymptotics of this type is clearly required; this state of affairs is expressed both in recent mathematical and physical literature. For example, the editors of the collected volume [106] write in its preface: "One can hope that in the near future a computational pro- cedure for fields with complex phase, similar to the usual one for fields with real phase, will be developed.

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.

This book covers combinatorial data structures and algorithms, algebraic issues in geometric computing, approximation of curves and surfaces, and computational topology. Each chapter fully details and provides a tutorial introduction to important concepts and results. The focus is on methods which are both well founded mathematically and efficient in practice. Coverage includes references to open source software and discussion of potential applications of the presented techniques.

Along with many small improvements, this revised edition contains van Yzeren's new proof of Pascal's theorem (1.7) and, in Chapter 2, an improved treatment of order and sense. The Sylvester-Gallai theorem, instead of being introduced as a curiosity, is now used as an essential step in the theory of harmonic separation (3.34). This makes the logi cal development self-contained: the footnotes involving the References (pp. 214-216) are for comparison with earlier treatments, and to give credit where it is due, not to fill gaps in the argument. H.S.M.C. November 1992 v Preface to the Second Edition Why should one study the real plane? To this question, put by those who advocate the complex plane, or geometry over a general field, I would reply that the real plane is an easy first step. Most of the prop erties are closely analogous, and the real field has the advantage of intuitive accessibility. Moreover, real geometry is exactly what is needed for the projective approach to non* Euclidean geometry. Instead of introducing the affine and Euclidean metrics as in Chapters 8 and 9, we could just as well take the locus of 'points at infinity' to be a conic, or replace the absolute involution by an absolute polarity.

Apollonius's Conics was one of the greatest works of advanced mathematics in antiquity. The work comprised eight books, of which four have come down to us in their original Greek and three in Arabic. By the time the Arabic translations were produced, the eighth book had already been lost. In 1710, Edmond Halley, then Savilian Professor of Geometry at Oxford, produced an edition of the Greek text of the Conics of Books I-IV, a translation into Latin from the Arabic versions of Books V-VII, and a reconstruction of Book VIII.

The present work provides the first completeEnglish translation of Halley's reconstruction of Book VIII withsupplementary notes on the text. It also contains 1)an introduction discussing aspects of Apollonius's Conics 2) an investigation of Edmond Halley's understanding ofthe nature of his venture into ancient mathematics, and 3) anappendices giving a brief account of Apollonius's approach to conic sections and his mathematical techniques.

This book will be of interest to students and researchers interested in the history ofancientGreekmathematics and mathematics in the early modern period."

'Subdivision' is a way of representing smooth shapes in a computer. A curve or surface (both of which contain an in?nite number of points) is described in terms of two objects. One object is a sequence of vertices, which we visualise as a polygon, for curves, or a network of vertices, which we visualise by drawing the edges or faces of the network, for surfaces. The other object is a set of rules for making denser sequences or networks. When applied repeatedly, the denser and denser sequences are claimed to converge to a limit, which is the curve or surface that we want to represent. This book focusses on curves, because the theory for that is complete enough that a book claiming that our understanding is complete is exactly what is needed to stimulate research proving that claim wrong. Also because there are already a number of good books on subdivision surfaces. The way in which the limit curve relates to the polygon, and a lot of interesting properties of the limit curve, depend on the set of rules, and this book is about how one can deduce those properties from the set of rules, and how one can then use that understanding to construct rules which give the properties that one wants.

Symmetry is a key ingredient in many mathematical, physical, and biological theories. Using representation theory and invariant theory to analyze the symmetries that arise from group actions, and with strong emphasis on the geometry and basic theory of Lie groups and Lie algebras, Symmetry, Representations, and Invariants is a significant reworking of an earlier highly-acclaimed work by the authors. The result is a comprehensive introduction to Lie theory, representation theory, invariant theory, and algebraic groups, in a new presentation that is more accessible to students and includes a broader range of applications.

The philosophy of the earlier book is retained, i.e., presenting the principal theorems of representation theory for the classical matrix groups as motivation for the general theory of reductive groups. The wealth of examples and discussion prepares the reader for the complete arguments now given in the general case.

Key Features of Symmetry, Representations, and Invariants (1) Early chapters suitable for honors undergraduate or beginning graduate courses, requiring only linear algebra, basic abstract algebra, and advanced calculus; (2) Applications to geometry (curvature tensors), topology (Jones polynomial via symmetry), and combinatorics (symmetric group and Young tableaux); (3) Self-contained chapters, appendices, comprehensive bibliography; (4) More than 350 exercises (most with detailed hints for solutions) further explore main concepts; (5) Serves as an excellent main text for a one-year course in Lie group theory; (6) Benefits physicists as well as mathematicians as a reference work.

This book and the following second volume is an introduction into modern algebraic geometry. In the first volume the methods of homological algebra, theory of sheaves, and sheaf cohomology are developed. These methods are indispensable for modern algebraic geometry, but they are also fundamental for other branches of mathematics and of great interest in their own.
In the last chapter of volume I these concepts are applied to the theory of compact Riemann surfaces. In this chapter the author makes clear how influential the ideas of Abel, Riemann and Jacobi were and that many of the modern methods have been anticipated by them.
For this second edition the text was completely revised and corrected. The author also added a short section on moduli of elliptic curves with N-level structures. This new paragraph anticipates some of the techniques of volume II.

4. 1 Bergman-Toeplitz Operators Over Bounded Domains 242 4. 2 Hardy-Toeplitz Operators Over Strictly Domains Pseudoconvex 250 Groupoid C* -Algebras 4. 3 256 4. 4 Hardy-Toeplitz Operators Over Tubular Domains 267 4. 5 Bergman-Toeplitz Operators Over Tubular Domains 278 4. 6 Hardy-Toeplitz Operators Over Polycircular Domains 284 4. 7 Bergman-Toeplitz Operators Over Polycircular Domains 290 4. 8 Hopf C* -Algebras 299 4. 9 Actions and Coactions on C* -Algebras 310 4. 10 Hardy-Toeplitz Operators Over K-circular Domains 316 4. 11 Hardy-Toeplitz Operators Over Symmetric Domains 325 4. 12 Bergman-Toeplitz Operators Over Symmetric Domains 361 5. Index Theory for Multivariable Toeplitz Operators 5. 0 Introduction 371 5. 1 K-Theory for Topological Spaces 372 5. 2 Index Theory for Strictly Pseudoconvex Domains 384 5. 3 C*-Algebras K-Theory for 394 5. 4 Index Theory for Symmetric Domains 400 5. 5 Index Theory for Tubular Domains 432 5. 6 Index Theory for Polycircular Domains 455 References 462 Index of Symbols and Notations 471 In trod uction Toeplitz operators on the classical Hardy space (on the I-torus) and the closely related Wiener-Hopf operators (on the half-line) form a central part of operator theory, with many applications e. g. , to function theory on the unit disk and to the theory of integral equations.

This volume contains the proceedings of the CRM Workshops on Probabilistic Methods in Spectral Geometry and PDE, held from August 22-26, 2016 and Probabilistic Methods in Topology, held from November 14-18, 2016 at the Centre de Recherches Mathematiques, Universite de Montreal, Montreal, Quebec, Canada. Probabilistic methods have played an increasingly important role in many areas of mathematics, from the study of random groups and random simplicial complexes in topology, to the theory of random Schrodinger operators in mathematical physics. The workshop on Probabilistic Methods in Spectral Geometry and PDE brought together some of the leading researchers in quantum chaos, semi-classical theory, ergodic theory and dynamical systems, partial differential equations, probability, random matrix theory, mathematical physics, conformal field theory, and random graph theory. Its emphasis was on the use of ideas and methods from probability in different areas, such as quantum chaos (study of spectra and eigenstates of chaotic systems at high energy); geometry of random metrics and related problems in quantum gravity; solutions of partial differential equations with random initial conditions. The workshop Probabilistic Methods in Topology brought together researchers working on random simplicial complexes and geometry of spaces of triangulations (with connections to manifold learning); topological statistics, and geometric probability; theory of random groups and their properties; random knots; and other problems. This volume covers recent developments in several active research areas at the interface of Probability, Semiclassical Analysis, Mathematical Physics, Theory of Automorphic Forms and Graph Theory.

Topics in Knot Theory is a state of the art volume which presents surveys of the field by the most famous knot theorists in the world. It also includes the most recent research work by graduate and postgraduate students. The new ideas presented cover racks, imitations, welded braids, wild braids, surgery, computer calculations and plottings, presentations of knot groups and representations of knot and link groups in permutation groups, the complex plane and/or groups of motions. For mathematicians, graduate students and scientists interested in knot theory.

By discussing topics such as shape representations, relaxation theory and optimal transport, trends and synergies of mathematical tools required for optimization of geometry and topology of shapes are explored. Furthermore, applications in science and engineering, including economics, social sciences, biology, physics and image processing are covered. Contents Part I Geometric issues in PDE problems related to the infinity Laplace operator Solution of free boundary problems in the presence of geometric uncertainties Distributed and boundary control problems for the semidiscrete Cahn-Hilliard/Navier-Stokes system with nonsmooth Ginzburg-Landau energies High-order topological expansions for Helmholtz problems in 2D On a new phase field model for the approximation of interfacial energies of multiphase systems Optimization of eigenvalues and eigenmodes by using the adjoint method Discrete varifolds and surface approximation Part II Weak Monge-Ampere solutions of the semi-discrete optimal transportation problem Optimal transportation theory with repulsive costs Wardrop equilibria: long-term variant, degenerate anisotropic PDEs and numerical approximations On the Lagrangian branched transport model and the equivalence with its Eulerian formulation On some nonlinear evolution systems which are perturbations of Wasserstein gradient flows Pressureless Euler equations with maximal density constraint: a time-splitting scheme Convergence of a fully discrete variational scheme for a thin-film equatio Interpretation of finite volume discretization schemes for the Fokker-Planck equation as gradient flows for the discrete Wasserstein distance

Geometric constructions have been a popular part of mathematics throughout history. The first chapter here is informal and starts from scratch, introducing all the geometric constructions from high school that have been forgotten or were never learned. The second chapter formalises Plato's game, and examines problems from antiquity such as the impossibility of trisecting an arbitrary angle. After that, variations on Plato's theme are explored: using only a ruler, a compass, toothpicks, a ruler and dividers, a marked rule, or a tomahawk, ending in a chapter on geometric constructions by paperfolding. The author writes in a charming style and nicely intersperses history and philosophy within the mathematics, teaching a little geometry and a little algebra along the way. This is as much an algebra book as it is a geometry book, yet since all the algebra and geometry needed is developed within the text, very little mathematical background is required. This text has been class tested for several semesters with a master's level class for secondary teachers.

Computer vision and image analysis require interdisciplinary collaboration between mathematics and engineering. This book addresses the area of high-accuracy measurements of length, curvature, motion parameters and other geometrical quantities from acquired image data. It is a common problem that these measurements are incomplete or noisy, such that considerable efforts are necessary to regularise the data, to fill in missing information, and to judge the accuracy and reliability of these results. This monograph brings together contributions from researchers in computer vision, engineering and mathematics who are working in this area.

The book can be read both by specialists and graduate students in computer science, electrical engineering or mathematics who take an interest in data evaluations by approximation or interpolation, in particular data obtained in an image analysis context.

The aim of this book is to make accessible the two important but rare works of Brook Taylor and to describe his role in the history of linear perspective. Taylor's works, Linear Perspective and New Principles on Linear Perspective, are among the most important sources in the history of the theory of perspective. This text focuses on two aspects of this history. The first is the development, starting in the beginning of the 17th century, of a mathematical theory of perspective where gifted mathematicians used their creativity to solve basic problems of perspective and simultaneously were inspired to consider more general problems in the projective geometry. Taylor was one of the key figures in this development. The second aspect concerns the problem of transmitting the knowledge gained by mathematicians to the practitioners. Although Taylor's books were mathematical rather than challenging, he was the first mathematician to succeed in making the practitioners interested in teaching the theoretical foundation of perspective. He became so important in the development that he was named "the father of modern perspective" in England. The English school of Taylor followers contained among others the painter John Kirby and Joseph Highmore and the scientist Joseph Priestley. After its translation to Italian and French in the 1750s, Taylor's work became popular on the continent.

This book is based on the author's experience with calculations involving polynomial splines. It presents those parts of the theory which are especially useful in calculations and stresses the representation of splines as linear combinations of B-splines. After two chapters summarizing polynomial approximation, a rigorous discussion of elementary spline theory is given involving linear, cubic and parabolic splines. The computational handling of piecewise polynomial functions (of one variable) of arbitrary order is the subject of chapters VII and VIII, while chapters IX, X, and XI are devoted to B-splines. The distances from splines with fixed and with variable knots is discussed in chapter XII. The remaining five chapters concern specific approximation methods, interpolation, smoothing and least-squares approximation, the solution of an ordinary differential equation by collocation, curve fitting, and surface fitting. The present text version differs from the original in several respects. The book is now typeset (in plain TeX), the Fortran programs now make use of Fortran 77 features. The figures have been redrawn with the aid of Matlab, various errors have been corrected, and many more formal statements have been provided with proofs. Further, all formal statements and equations have been numbered by the same numbering system, to make it easier to find any particular item. A major change has occured in Chapters IX-XI where the B-spline theory is now developed directly from the recurrence relations without recourse to divided differences. This has brought in knot insertion as a powerful tool for providing simple proofs concerning the shape-preserving properties of the B-spline series.

Karl Menger, one of the founders of dimension theory, belongs to the most original mathematicians and thinkers of the twentieth century. He was a member of the Vienna Circle and the founder of its mathematical equivalent, the Viennese Mathematical Colloquium. Both during his early years in Vienna and, after his emigration, in the United States, Karl Menger made significant contributions to a wide variety of mathematical fields, and greatly influenced some of his colleagues. The Selecta Mathematica contain Menger's major mathematical papers, based on his own selection from his extensive writings. They deal with topics as diverse as topology, geometry, analysis and algebra, as well as writings on economics, sociology, logic, philosophy and mathematical results. The two volumes are a monument to the diversity and originality of Menger's ideas.

Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.
In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newton's original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.

Fuchsian reduction is a method for representing solutions of nonlinear PDEs near singularities. The technique has multiple applications including soliton theory, Einstein's equations and cosmology, stellar models, laser collapse, conformal geometry and combustion. Developed in the 1990s for semilinear wave equations, Fuchsian reduction research has grown in response to those problems in pure and applied mathematics where numerical computations fail.

This work unfolds systematically in four parts, interweaving theory and applications. The case studies examined in Part III illustrate the impact of reduction techniques, and may serve as prototypes for future new applications. In the same spirit, most chapters include a problem section. Background results and solutions to selected problems close the volume.

This book can be used as a text in graduate courses in pure or applied analysis, or as a resource for researchers working with singularities in geometry and mathematical physics.

Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will find the final question. G. K. Chesterton. The Scandal of Father 'The Hermit Clad in Crane Feathers' in R. Brown 'The point of a Pin'. van Gulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches. It also happens, quite often in fact, that branches which were thought to be completely disparate are suddenly seen to be related. Further, the kind and level of sophistication of mathematics applied in various sciences has changed drastically in recent years: measure theory is used (non trivially) in regional and theoretical economics; algebraic geometry interacts with physics; the Minkowsky lemma, coding theory and the structure of water meet one another in packing and covering theory; quantum fields, crystal defects and mathematical programming profit from homotopy theory; Lie algebras are relevant to filtering; and prediction and electrical engineering can us;; Stein spaces. And in addition to this there are such new emerging subdisciplines as "experimental mathematics," "CFD," "completely integrable systems," "chaos, synergetics and large-scale order," which are almost impossible to fit into the existing classification schemes. They draw upon widely different sections of mathematics."