The present volume grew out of the Heidelberg Knot Theory Semester, organized by the editors in winter 2008/09 at Heidelberg University. The contributed papers bring the reader up to date on the currently most actively pursued areas of mathematical knot theory and its applications in mathematical physics and cell biology. Both original research and survey articles are presented; numerous illustrations support the text. The book will be of great interest to researchers in topology, geometry, and mathematical physics, graduate students specializing in knot theory, and cell biologists interested in the topology of DNA strands.

This 1989 monograph deals with parametric minimal surfaces in Euclidean space. The author presents a broad survey which extends from the classical beginnings to the current situation whilst highlighting many of the subject's main features and interspersing the mathematical development with pertinent historical remarks. The presentation is complete and is complemented by a bibliography of nearly 1600 references. The careful expository style and emphasis on geometric aspects are extremely valuable. Moreover, in the years leading up to the publication of this book, the theory of minimal surfaces was finding increasing application to other areas of mathematics and the physical sciences ensuring that this account will appeal to non-specialists as well.

First published in 1997, this book contains six in-depth articles on various aspects of the field of tight and taut submanifolds and concludes with an extensive bibliography of the entire field. The book is dedicated to the memory of Nicolaas H. Kuiper; the first paper is an unfinished but insightful survey of the field of tight immersions and maps written by Kuiper himself. Other papers by leading researchers in the field treat topics such as the smooth and polyhedral portions of the theory of tight immersions, taut, Dupin and isoparametric submanifolds of Euclidean space, taut submanifolds of arbitrary complete Riemannian manifolds, and real hypersurfaces in complex space forms with special curvature properties. Taken together these articles provide a comprehensive survey of the field and point toward several directions for future research.

Differential geometry plays an increasingly important role in modern theoretical physics and applied mathematics. This 2006 textbook gives an introduction to geometrical topics useful in theoretical physics and applied mathematics, covering: manifolds, tensor fields, differential forms, connections, symplectic geometry, actions of Lie groups, bundles, spinors, and so on. Written in an informal style, the author places a strong emphasis on developing the understanding of the general theory through more than 1000 simple exercises, with complete solutions or detailed hints. The book will prepare readers for studying modern treatments of Lagrangian and Hamiltonian mechanics, electromagnetism, gauge fields, relativity and gravitation. Differential Geometry and Lie Groups for Physicists is well suited for courses in physics, mathematics and engineering for advanced undergraduate or graduate students, and can also be used for active self-study. The required mathematical background knowledge does not go beyond the level of standard introductory undergraduate mathematics courses.

This book is an exposition of "semi-Riemannian geometry" (also called "pseudo-Riemannian geometry")--the study of a smooth manifold furnished with a metric tensor of arbitrary signature. The principal special cases are Riemannian geometry, where the metric is positive definite, and Lorentz geometry. For many years these two geometries have developed almost independently: Riemannian geometry reformulated in coordinate-free fashion and directed toward global problems, Lorentz geometry in classical tensor notation devoted to general relativity. More recently, this divergence has been reversed as physicists, turning increasingly toward invariant methods, have produced results of compelling mathematical interest.

This is a monograph on geometrical and topological features which arise in various quantization procedures. Quantization schemes consider the feasibility of arriving at a quantum system from a classical one and these involve three major procedures viz. i) geometric quantization, ii) Klauder quantization, and iii) stochastic quanti zation. In geometric quantization we have to incorporate a hermitian line bundle to effectively generate the quantum Hamiltonian operator from a classical Hamil tonian. Klauder quantization also takes into account the role of the connection one-form along with coordinate independence. In stochastic quantization as pro posed by Nelson, Schrodinger equation is derived from Brownian motion processes; however, we have difficulty in its relativistic generalization. It has been pointed out by several authors that this may be circumvented by formulating a new geometry where Brownian motion proceses are considered in external as well as in internal space and, when the complexified space-time is considered, the usual path integral formulation is achieved. When this internal space variable is considered as a direc tion vector introducing an anisotropy in the internal space, we have the quantization of a Fermi field. This helps us to formulate a stochastic phase space formalism when the internal extension can be treated as a gauge theoretic extension. This suggests that massive fermions may be considered as Skyrme solitons. The nonrelativistic quantum mechanics is achieved in the sharp point limit."

The implicit function theorem is part ofthe bedrock of mathematical analysis and geometry. Finding its genesis in eighteenth century studies of real analytic functions and mechanics, the implicit and inverse function theorems have now blossomed into powerful tools in the theories of partial differential equations, differential geometry, and geometric analysis.

There are many different forms of the implicit function theorem, including (i) the classical formulation for"Ck"functions, (ii) formulations in other function spaces, (iii) formulations for non-smooth function, and (iv) formulations for functions with degenerate Jacobian. Particularly powerful implicit function theorems, such as the Nash Moser theorem, have been developed for specific applications (e.g., the imbedding of Riemannian manifolds). All of these topics, and many more, are treated in the present uncorrected reprint of this classicmonograph.

Originally published in 2002, "The Implicit Function Theorem"is an accessible and thorough treatment of implicit and inverse function theorems and their applications. It will be of interest to mathematicians, graduate/advanced undergraduate students, and to those who apply mathematics. The book unifies disparate ideas that have played an important role in modern mathematics. It serves to document and placein context a substantial body of mathematical ideas. "

Riemannian geometry has today become a vast and important subject. This new book of Marcel Berger sets out to introduce readers to most of the living topics of the field and convey them quickly to the main results known to date. These results are stated without detailed proofs but the main ideas involved are described and motivated. This enables the reader to obtain a sweeping panoramic view of almost the entirety of the field. However, since a Riemannian manifold is, even initially, a subtle object, appealing to highly non-natural concepts, the first three chapters devote themselves to introducing the various concepts and tools of Riemannian geometry in the most natural and motivating way, following in particular Gauss and Riemann.

The main subject of the book is the full understanding of Weyl's formula for the volume of a tube, its roots and its implications. Another discussed approach to the study of volumes of tubes is the computation of the power series of the volume of a tube as a function of its radius. The chapter on mean values, besides its intrinsic interest, shows an interesting fact: methods which are useful for volumes are also useful for problems related with the Laplacian. Historical notes and Mathematica drawings have been added to this revised second edition.

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.

Geodesic flows of Riemannian metrics on manifolds are one of the classical objects in geometry. A particular place among them is occupied by integrable geodesic flows. We consider them in the context of the general theory of integrable Hamiltonian systems, and in particular, from the viewpoint of a new topological classification theory, which was recently developed for integrable Hamiltonian systems with two degrees of freedom. As a result, we will see that such a new approach is very useful for a deeper understanding of the topology and geometry of integrable geodesic flows. The main object to be studied in our paper is the class of integrable geodesic flows on two-dimensional surfaces. There are many such flows on surfaces of small genus, in particular, on the sphere and torus. On the contrary, on surfaces of genus 9 > 1, no such flows exist in the analytical case. One of the most important and interesting problems consists in the classification of integrable flows up to different equivalence relations such as (1) an isometry, (2) the Liouville equivalence, (3) the trajectory equivalence (smooth and continuous), and (4) the geodesic equivalence. In recent years, a new technique was developed, which gives, in particular, a possibility to classify integrable geodesic flows up to these kinds of equivalences. This technique is presented in our paper, together with various applications. The first part of our book, namely, Chaps.

The chapters on Clifford algebra and differential geometry can be used as an introduction to the topics, and are suitable for senior undergraduates and graduates. The other chapters are also accessible at this level.; This self-contained book requires very little previous knowledge of the domains covered, although the reader will benefit from knowledge of complex analysis, which gives the basic example of a Dirac operator.; The more advanced reader will appreciate the fresh approach to the theory, as well as the new results on boundary value theory.; Concise, but self-contained text at the introductory grad level. Systematic exposition.; Clusters well with other Birkhauser titles in mathematical physics.; Appendix. General Manifolds * List of Symbols * Bibliography * Index

Foliations, groups and pseudogroups are objects which are closely related via the notion of holonomy. In the 1980s they became considered as general dynamical systems. This book deals with their dynamics. Since "dynamics is a very extensive term, we focus on some of its aspects only. Roughly speaking, we concentrate on notions and results related to different ways of measuring complexity of the systems under consideration. More precisely, we deal with different types of growth, entropies and dimensions of limiting objects. Invented in the 1980s (by E. Ghys, R. Langevin and the author) geometric entropy of a foliation is the principal object of interest among all of them.

Throughout the book, the reader will find a good number of inspirating problems related to the topics covered."

Differential-geometric methods are gaining increasing importance in the understanding of a wide range of fundamental natural phenomena. Very often, the starting point for such studies is a variational problem formulated for a convenient Lagrangian. From a formal point of view, a Lagrangian is a smooth real function defined on the total space of the tangent bundle to a manifold satisfying some regularity conditions. The main purpose of this book is to present: (a) an extensive discussion of the geometry of the total space of a vector bundle; (b) a detailed exposition of Lagrange geometry; and (c) a description of the most important applications. New methods are described for construction geometrical models for applications. The various chapters consider topics such as fibre and vector bundles, the Einstein equations, generalized Einstein--Yang--Mills equations, the geometry of the total space of a tangent bundle, Finsler and Lagrange spaces, relativistic geometrical optics, and the geometry of time-dependent Lagrangians. Prerequisites for using the book are a good foundation in general manifold theory and a general background in geometrical models in physics. For mathematical physicists and applied mathematicians interested in the theory and applications of differential-geometric methods.

Boundary problems constitute an essential field of common mathematical interest. The intention of this volume is to highlight several analytic and geometric aspects of boundary problems with special emphasis on their interplay. It includes surveys on classical topics presented from a modern perspective as well as reports on current research.

The collection splits into two related groups:

- analysis and geometry of geometric operators and their index theory

- elliptic theory of boundary value problems and the Shapiro-Lopatinsky condition

This book gives an introduction to index theory for symplectic matrix paths and its iteration theory, as well as applications to periodic solution problems of nonlinear Hamiltonian systems. The applications of these concepts yield new approaches to some outstanding problems. Particular attention is given to the minimal period solution problem of Hamiltonian systems and the existence of infinitely many periodic points of the Poincare map of Lagrangian systems on tori."

This monograph 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. Part III employs the ideas and results of singularity theory to put gravitational lensing on a rigorous mathematical foundation.

This 2001 book is devoted to an invariant multidimensional process of recovering a function from its derivative. It considers additive functions defined on the family of all bounded BV sets that are continuous with respect to a suitable topology. A typical example is the flux of a continuous vector field. A very general Gauss-Green theorem follows from the sufficient conditions for the derivability of the flux. Since the setting is invariant with respect to local lipeomorphisms, a standard argument extends the Gauss-Green theorem to the Stokes theorem on Lipschitz manifolds. In addition, the author proves the Stokes theorem for a class of top-dimensional normal currents - a first step towards solving a difficult open problem of derivation and integration in middle dimensions. The book contains complete and detailed proofs and will provide valuable information to research mathematicians and advanced graduate students interested in geometric integration and related areas.

. E C, 0 < 1>'1 < 1, and n E Z, n ~ 2. Let~.>. be the O-dimensional Lie n group generated by the transformation z ~ >.z, z E C - {a}. Then (cf.

In recent times it has been stated that many dynamical systems of classical mathematical physics and mechanics are endowed with symplectic structures, given in the majority of cases by Poisson brackets. Very often such Poisson structures on corresponding manifolds are canonical, which gives rise to the possibility of producing their hidden group theoretical essence for many completely integrable dynamical systems. It is a well understood fact that great part of comprehensive integrability theories of nonlinear dynamical systems on manifolds is based on Lie-algebraic ideas, by means of which, in particular, the classification of such compatibly bi Hamiltonian and isospectrally Lax type integrable systems has been carried out. Many chapters of this book are devoted to their description, but to our regret so far the work has not been completed. Hereby our main goal in each analysed case consists in separating the basic algebraic essence responsible for the complete integrability, and which is, at the same time, in some sense universal, i. e., characteristic for all of them. Integrability analysis in the framework of a gradient-holonomic algorithm, devised in this book, is fulfilled through three stages: 1) finding a symplectic structure (Poisson bracket) transforming an original dynamical system into a Hamiltonian form; 2) finding first integrals (action variables or conservation laws); 3) defining an additional set of variables and some functional operator quantities with completely controlled evolutions (for instance, as Lax type representation)."

During the last twenty-five years quite remarkable relations between nonas sociative algebra and differential geometry have been discovered in our work. Such exotic structures of algebra as quasigroups and loops were obtained from purely geometric structures such as affinely connected spaces. The notion ofodule was introduced as a fundamental algebraic invariant of differential geometry. For any space with an affine connection loopuscular, odular and geoodular structures (partial smooth algebras of a special kind) were introduced and studied. As it happened, the natural geoodular structure of an affinely connected space al lows us to reconstruct this space in a unique way. Moreover, any smooth ab stractly given geoodular structure generates in a unique manner an affinely con nected space with the natural geoodular structure isomorphic to the initial one. The above said means that any affinely connected (in particular, Riemannian) space can be treated as a purely algebraic structure equipped with smoothness. Numerous habitual geometric properties may be expressed in the language of geoodular structures by means of algebraic identities, etc.. Our treatment has led us to the purely algebraic concept of affinely connected (in particular, Riemannian) spaces; for example, one can consider a discrete, or, even, finite space with affine connection (in the form ofgeoodular structure) which can be used in the old problem of discrete space-time in relativity, essential for the quantum space-time theory."

This book gives a comprehensive treatment of the fundamental necessary and sufficient conditions for optimality for finite-dimensional, deterministic, optimal control problems. The emphasis is on the geometric aspects of the theory and on illustrating how these methods can be used to solve optimal control problems. It provides tools and techniques that go well beyond standard procedures and can be used to obtain a full understanding of the global structure of solutions for the underlying problem. The text includes a large number and variety of fully worked out examples that range from the classical problem of minimum surfaces of revolution to cancer treatment for novel therapy approaches. All these examples, in one way or the other, illustrate the power of geometric techniques and methods. The versatile text contains material on different levels ranging from the introductory and elementary to the advanced. Parts of the text can be viewed as a comprehensive textbook for both advanced undergraduate and all level graduate courses on optimal control in both mathematics and engineering departments. The text moves smoothly from the more introductory topics to those parts that are in a monograph style were advanced topics are presented. While the presentation is mathematically rigorous, it is carried out in a tutorial style that makes the text accessible to a wide audience of researchers and students from various fields, including the mathematical sciences and engineering. Heinz Schattler is an Associate Professor at Washington University in St. Louis in the Department of Electrical and Systems Engineering, Urszula Ledzewicz is a Distinguished Research Professor at Southern Illinois University Edwardsville in the Department of Mathematics and Statistics.

ThesubjectofthisbookisSemi-In?niteAlgebra,ormorespeci?cally,Semi-In?nite Homological Algebra. The term "semi-in?nite" is loosely associated with objects that can be viewed as extending in both a "positive" and a "negative" direction, withsomenaturalpositioninbetween,perhapsde?nedupto a"?nite"movement. Geometrically, this would mean an in?nite-dimensional variety with a natural class of "semi-in?nite" cycles or subvarieties, having always a ?nite codimension in each other, but in?nite dimension and codimension in the whole variety [37]. (For further instances of semi-in?nite mathematics see, e. g. , [38] and [57], and references below. ) Examples of algebraic objects of the semi-in?nite type range from certain in?nite-dimensional Lie algebras to locally compact totally disconnected topolo- cal groups to ind-schemes of ind-in?nite type to discrete valuation ?elds. From an abstract point of view, these are ind-pro-objects in various categories, often - dowed with additional structures. One contribution we make in this monograph is the demonstration of another class of algebraic objects that should be thought of as "semi-in?nite", even though they do not at ?rst glance look quite similar to the ones in the above list. These are semialgebras over coalgebras, or more generally over corings - the associative algebraic structures of semi-in?nite nature. The subject lies on the border of Homological Algebra with Representation Theory, and the introduction of semialgebras into it provides an additional link with the theory of corings [23], as the semialgebrasare the natural objects dual to corings.