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

In the last decade, there has been a burgeoning of activity in the design and implementation of algorithms for algebraic geometric computation. The workshop on Algorithms in Algebraic Geometry that was held in the framework of the IMA Annual Program Year in Applications of Algebraic Geometry by the Institute for Mathematics and Its Applications on September 2006 is one tangible indication of the interest. This volume of articles captures some of the spirit of the IMA workshop.

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

In this monograph a method for proving the solvability of integral geometry problems and inverse problems for kinetic equations is presented. The application of this method has led to interesting problems of the Dirichlet type for third order differential equations, the solvability of which appears to depend on the geometry of the domain for which the problem is stated. Another considered subject is the problem of integral geometry on paraboloids, in particular the uniqueness of solutions to the Goursat problem for a differential inequality, which implies new theorems on the uniqueness of solutions to this problem for a class of quasilinear hyperbolic equations. A class of multidimensional inverse problems associated with problems of integral geometry and the inverse problem for the quantum kinetic equations are also included.

This book contains a collection of fifteen articles and is dedicated to the sixtieth birthdays of Lex Renner and Mohan Putcha, the pioneers of the field of algebraic monoids. Topics presented include: structure and representation theory of reductive algebraic monoids monoid schemes and applications of monoids monoids related to Lie theory equivariant embeddings of algebraic groups constructions and properties of monoids from algebraic combinatorics endomorphism monoids induced from vector bundles Hodge-Newton decompositions of reductive monoids A portion of these articles are designed to serve as a self-contained introduction to these topics, while the remaining contributions are research articles containing previously unpublished results, which are sure to become very influential for future work. Among these, for example, the important recent work of Michel Brion and Lex Renner showing that the algebraic semigroups are strongly pi-regular.Graduate students as well as researchers working in the fields of algebraic (semi)group theory, algebraic combinatorics, and the theory of algebraic group embeddings will benefit from this unique and broad compilation of some fundamental results in (semi)group theory, algebraic group embeddings, and algebraic combinatorics merged under the umbrella of algebraic monoids.

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.

From the reviews: ..". focused mainly on complex differential geometry and holomorphic bundle theory. This is a powerful book, written by a very distinguished contributor to the field" (Contemporary Physics )"the book provides a large amount of background for current research across a spectrum of field. ... requires effort to read but it is worthwhile and rewarding" (New Zealand Math. Soc. Newsletter) " The contents are highly technical and the pace of the exposition is quite fast. Manin is an outstanding mathematician, and writer as well, perfectly at ease in the most abstract and complex situation. With such a guide the reader will be generously rewarded " (Physicalia) This new edition includes an Appendix on developments of the last 10 years, by S. Merkulov.

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.

Geometric algebra has established itself as a powerful and valuable mathematical tool for solving problems in computer science, engineering, physics, and mathematics. The articles in this volume, written by experts in various fields, reflect an interdisciplinary approach to the subject, and highlight a range of techniques and applications. Relevant ideas are introduced in a self-contained manner and only a knowledge of linear algebra and calculus is assumed.

Features and Topics:

* The mathematical foundations of geometric algebra are explored

* Applications in computational geometry include models of reflection and ray-tracing and a new and concise characterization of the crystallographic groups

* Applications in engineering include robotics, image geometry, control-pose estimation, inverse kinematics and dynamics, control and visual navigation

* Applications in physics include rigid-body dynamics, elasticity, and electromagnetism

* Chapters dedicated to quantum information theory dealing with multi-particle entanglement, MRI, and relativistic generalizations

Practitioners, professionals, and researchers working in computer science, engineering, physics, and mathematics will find a wide range of useful applications in this state-of-the-art survey and reference book. Additionally, advanced graduate students interested in geometric algebra will find the most current applications and methods discussed.

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 was produced in conjunction with the Thematic Program in o-Minimal Structures and Real Analytic Geometry, held from January to June of 2009 at the Fields Institute. Five of the six contributions consist of notes from graduate courses associated with the program: Felipe Cano on a new proof of resolution of singularities for planar analytic vector fields; Chris Miller on o-minimality and Hardy fields; Jean-Philippe Rolin on the construction of o-minimal structures from quasianalytic classes; Fernando Sanz on non-oscillatory trajectories of vector fields; and Patrick Speissegger on pfaffian sets. The sixth contribution, by Antongiulio Fornasiero and Tamara Servi, is an adaptation to the nonstandard setting of A.J. Wilkie's construction of o-minimal structures from infinitely differentiable functions. Most of this material is either unavailable elsewhere or spread across many different sources such as research papers, conference proceedings and PhD theses. This book will be a useful tool for graduate students or researchers from related fields who want to learn about expansions of o-minimal structures by solutions, or images thereof, of definable systems of differential equations.

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.

In this book the authors study the differential geometry of varieties with degenerate Gauss maps. They use the main methods of differential geometry, namely, the methods of moving frames and exterior differential forms as well as tensor methods. By means of these methods, the authors discover the structure of varieties with degenerate Gauss maps, determine the singular points and singular varieties, find focal images and construct a classification of the varieties with degenerate Gauss maps. The authors introduce the above mentioned methods and apply them to a series of concrete problems arising in the theory of varieties with degenerate Gauss maps. What makes this book unique is the authors’ use of a systematic application of methods of projective differential geometry along with methods of the classical algebraic geometry for studying varieties with degenerate Gauss maps. This book is intended for researchers and graduate students interested in projective differential geometry and algebraic geometry and their applications. It can be used as a text for advanced undergraduate and graduate students. Each author has published over 100 papers and they have each written a number of books, including Conformal Differential Geometry and Its Generalizations (Wiley 1996), Projective Differential Geometry of Submanifolds (North-Holland 1993), and Introductory Linear Algebra (Prentice-Hall 1972), which were written by them jointly.

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

In algebraic topology some classical invariants - such as Betti numbers and Reidemeister torsion - are defined for compact spaces and finite group actions. They can be generalized using von Neumann algebras and their traces, and applied also to non-compact spaces and infinite groups. These new L2-invariants contain very interesting and novel information and can be applied to problems arising in topology, K-Theory, differential geometry, non-commutative geometry and spectral theory. It is particularly these interactions with different fields that make L2-invariants very powerful and exciting. The book presents a comprehensive introduction to this area of research, as well as its most recent results and developments. It is written in a way which enables the reader to pick out a favourite topic and to find the result she or he is interested in quickly and without being forced to go through other material.

The configuration space of a manifold provides the appropriate setting for problems not only in topology but also in other areas such as nonlinear analysis and algebra. With applications in mind, the aim of this monograph is to provide a coherent and thorough treatment of the configuration spaces of Euclidean spaces and spheres which makes the subject accessible to researchers and graduate students with a minimal background in classical homotopy theory and algebraic topology. The treatment regards the homotopy relations of Yang-Baxter type as being fundamental. It also includes a novel and geometric presentation of the classical pure braid group; the cellular structure of these configuration spaces which leads to a cellular model for the associated based and free loop spaces; the homology and cohomology of based and free loop spaces; and an illustration of how to apply the latter to the study of Hamiltonian systems of k-body type.

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.

This monograph, unique in the literature, is the first to develop a mathematical theory of gravitational lensing. The theory applies to any finite number of deflector planes and highlights the distinctions between single and multiple plane lensing. Introductory material in Parts I and II present historical highlights and the astrophysical aspects of the subject. Among the lensing topics discussed are multiple quasars, giant luminous arcs, Einstein rings, the detection of dark matter and planets with lensing, time delays and the age of the universe (Hubble's constant), microlensing of stars and quasars. The main part of the book---Part III---employs the ideas and results of singularity theory to put gravitational lensing on a rigorous mathematical foundation and solve certain key lensing problems. Results are published here for the first time. Mathematical topics discussed: Morse theory, Whitney singularity theory, Thom catastrophe theory, Mather stability theory, Arnold singularity theory, and the Euler characteristic via projectivized rotation numbers. These tools are applied to the study of stable lens systems, local and global geometry of caustics, caustic metamorphoses, multiple lensed images, lensed image magnification, magnification cross sections, and lensing by singular and nonsingular deflectors. Examples, illustrations, bibliography and index make this a suitable text for an undergraduate/graduate course, seminar, or independent thesis project on gravitational lensing. The book is also an excellent reference text for professional mathematicians, mathematical physicists, astrophysicists, and physicists.

The aim of the Expositions is to present new and important developments in pure and applied mathematics. Well established in the community over more than two decades, the series offers a large library of mathematical works, including several important classics. The volumes supply thorough and detailed expositions of the methods and ideas essential to the topics in question. In addition, they convey their relationships to other parts of mathematics. The series is addressed to advanced readers interested in a thorough study of the subject. Editorial Board Lev Birbrair, Universidade Federal do Ceara, Fortaleza, Brasil Walter D. Neumann, Columbia University, New York, USA Markus J. Pflaum, University of Colorado, Boulder, USA Dierk Schleicher, Jacobs University, Bremen, Germany Katrin Wendland, University of Freiburg, Germany Honorary Editor Victor P. Maslov, Russian Academy of Sciences, Moscow, Russia Titles in planning include Yuri A. Bahturin, Identical Relations in Lie Algebras (2019) Yakov G. Berkovich, Lev G. Kazarin, and Emmanuel M. Zhmud', Characters of Finite Groups, Volume 2 (2019) Jorge Herbert Soares de Lira, Variational Problems for Hypersurfaces in Riemannian Manifolds (2019) Volker Mayer, Mariusz Urbanski, and Anna Zdunik, Random and Conformal Dynamical Systems (2021) Ioannis Diamantis, Bostjan Gabrovsek, Sofia Lambropoulou, and Maciej Mroczkowski, Knot Theory of Lens Spaces (2021)

Previous publications on the generalization of the Thomae formulae to "Zn" curves have emphasized the theory's implications in mathematical physics and depended heavily on applied mathematical techniques. This book redevelops these previous results demonstrating how they can be derived directly from the basic properties of theta functions as functions on compact Riemann surfaces.

"Generalizations of Thomae's Formulafor "Zn" Curves" includes several refocused proofs developed in a generalized context that is more accessible to researchers in related mathematical fields such as algebraic geometry, complex analysis, and number theory.

This book is intended for mathematicians with an interest in complex analysis, algebraic geometry or number theory as well as physicists studying conformal field theory."

Arakelov introduced a component at infinity in arithmetic considerations, thus giving rise to global theorems similar to those of the theory of surfaces, but in an arithmetic context over the ring of integers of a number field. The book gives an introduction to this theory, including the analogues of the Hodge Index Theorem, the Arakelov adjunction formula, and the Faltings Riemann-Roch theorem. The book is intended for second year graduate students and researchers in the field who want a systematic introduction to the subject. The residue theorem, which forms the basis for the adjunction formula, is proved by a direct method due to Kunz and Waldi. The Faltings Riemann-Roch theorem is proved without assumptions of semistability. An effort has been made to include all necessary details, and as complete references as possible, especially to needed facts of analysis for Green's functions and the Faltings metrics.

The aim of this book is to construct categories of spaces which contain all the C?-manifolds, but in addition infinitesimal spaces and arbitrary function spaces. To this end, the techniques of Grothendieck toposes (and the logic inherent to them) are explained at a leisurely pace and applied. By discussing topics such as integration, cohomology and vector bundles in the new context, the adequacy of these new spaces for analysis and geometry will be illustrated and the connection to the classical approach to C?-manifolds will be explained.

The main aim of this book is to present a completely algebraic approach to the Enriques¿ classification of smooth projective surfaces defined over an algebraically closed field of arbitrary characteristic. This algebraic approach is one of the novelties of this book among the other modern textbooks devoted to this subject. Two chapters on surface singularities are also included. The book can be useful as a textbook for a graduate course on surfaces, for researchers or graduate students in algebraic geometry, as well as those mathematicians working in algebraic geometry or related fields.

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.