This volume contains original research articles, survey articles and lecture notes related to the Computations with Modular Forms 2011 Summer School and Conference, held at the University of Heidelberg. A key theme of the Conference and Summer School was the interplay between theory, algorithms and experiment. The 14 papers offer readers both, instructional courses on the latest algorithms for computing modular and automorphic forms, as well as original research articles reporting on the latest developments in the field. The three Summer School lectures provide an introduction to modern algorithms together with some theoretical background for computations of and with modular forms, including computing cohomology of arithmetic groups, algebraic automorphic forms, and overconvergent modular symbols. The 11 Conference papers cover a wide range of themes related to computations with modular forms, including lattice methods for algebraic modular forms on classical groups, a generalization of the Maeda conjecture, an efficient algorithm for special values of p-adic Rankin triple product L-functions, arithmetic aspects and experimental data of Bianchi groups, a theoretical study of the real Jacobian of modular curves, results on computing weight one modular forms, and more.

Since their invention in the late seventies, public key cryptosystems have become an indispensable asset in establishing private and secure electronic communication, and this need, given the tremendous growth of the Internet, is likely to continue growing. Elliptic curve cryptosystems represent the state of the art for such systems. Elliptic Curves and Their Applications to Cryptography: An Introduction provides a comprehensive and self-contained introduction to elliptic curves and how they are employed to secure public key cryptosystems. Even though the elegant mathematical theory underlying cryptosystems is considerably more involved than for other systems, this text requires the reader to have only an elementary knowledge of basic algebra. The text nevertheless leads to problems at the forefront of current research, featuring chapters on point counting algorithms and security issues. The Adopted unifying approach treats with equal care elliptic curves over fields of even characteristic, which are especially suited for hardware implementations, and curves over fields of odd characteristic, which have traditionally received more attention. Elliptic Curves and Their Applications: An Introduction has been used successfully for teaching advanced undergraduate courses. It will be of greatest interest to mathematicians, computer scientists, and engineers who are curious about elliptic curve cryptography in practice, without losing the beauty of the underlying mathematics.

With contributions by leading experts in geometric analysis, this volume is documenting the material presented in the John H. Barrett Memorial Lectures held at the University of Tennessee, Knoxville, on May 29 - June 1, 2018. The central topic of the 2018 lectures was mean curvature flow, and the material in this volume covers all recent developments in this vibrant area that combines partial differential equations with differential geometry.

The Foundations of Geometry and the Non-Euclidean Plane is a self-contained text for junior, senior, and first-year graduate courses. Historical material is interwoven with a rigorous ruler- and protractor axiomatic development of the Euclidean and hyperbolic planes. Additional topics include the classical axiomatic systems of Euclid and Hilbert, axiom systems for three and four dimensional absolute geometry, and Pieri's system based on rigid motions. Models, such as Taxicab Geometry, are used extensively to illustrate theory.

Mathematical Visualization is a young new discipline. It offers efficient visualization tools to the classical subjects of mathematics, and applies mathematical techniques to problems in computer graphics and scientific visualization. Originally, it started in the interdisciplinary area of differential geometry, numerical mathematics, and computer graphics. In recent years, the methods developed have found important applications.
The current volume is the quintessence of an international workshop in September 1997 in Berlin, focusing on recent developments in this emerging area. Experts present selected research work on new algorithms for visualization problems, describe the application and experiments in geometry, and develop new numerical or computer graphical techniques.

Causal relations, and with them the underlying null cone or conformal structure, form a basic ingredient in all general analytical studies of asymptotically flat space-time. The present book reviews these aspects from the analytical, geometrical and numerical points of view. Care has been taken to present the material in a way that will also be accessible to postgraduate students and nonspecialist reseachers from related fields.

The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.

* Provides an elegant introduction to the geometric concepts that are important to applications in robotics

* Includes significant state-of-the art material that reflects important advances, connecting robotics back to mathematical fundamentals in group theory and geometry

* An invaluable reference that serves a wide audience of grad students and researchers in mechanical engineering, computer science, and applied mathematics

This volume presents modern trends in the area of symmetries and their applications based on contributions from the workshop "Lie Theory and Its Applications in Physics", held near Varna, Bulgaria, in June 2015. Traditionally, Lie theory is a tool to build mathematical models for physical systems.Recently, the trend has been towards geometrization of the mathematical description of physical systems and objects. A geometric approach to a system yields in general some notion of symmetry, which is very helpful in understanding its structure. Geometrization and symmetries are employed in their widest sense, embracing representation theory, algebraic geometry, number theory, infinite-dimensional Lie algebras and groups, superalgebras and supergroups, groups and quantum groups, noncommutative geometry, symmetries of linear and nonlinear partial differential operators (PDO), special functions, and others. Furthermore, the necessary tools from functional analysis are included.

These 25 papers from a conference held in August 1998 at Pusan National U. provide a broad overview of contemporary group theory, with a particular emphasis on geometric and topological methods. Topics covered include: deformations and rigidity, combinatorial group theory and wild metric complexes, generalized triangle groups, HNN extensions, Eilenberg-Ganea Conjecture, cyclically presented groups, Takahashi manifolds, wreath products, reduction formulae, group actions on graphs and designs, Grushko-Neumann theorem, and variations on a theme of Higman and Conder. Includes a list of the authors and participants with contact information. Conference sponsors included the Korea Science and Engineering Foundation and International Mathematical Union Commission on Development and Exchange. Lacks an index.

The goal of the Volume I Geometric Algebra for Computer Vision, Graphics and Neural Computing is to present a unified mathematical treatment of diverse problems in the general domain of artificial intelligence and associated fields using Clifford, or geometric, algebra.Geometric algebra provides a rich and general mathematical framework for Geometric Cybernetics in order to develop solutions, concepts and computer algorithms without losing geometric insight of the problem in question. Current mathematical subjects can be treated in an unified manner without abandoning the mathematical system of geometric algebra for instance: multilinear algebra, projective and affine geometry, calculus on manifolds, Riemann geometry, the representation of Lie algebras and Lie groups using bivector algebras and conformal geometry. By treating a wide spectrum of problems in a common language, this Volume I offers both new insights and new solutions that should be useful to scientists, and engineers working in different areas related with the development and building of intelligent machines. Each chapter is written in accessible terms accompanied by numerous examples, figures and a complementary appendix on Clifford algebras, all to clarify the theory and the crucial aspects of the application of geometric algebra to problems in graphics engineering, image processing, pattern recognition, computer vision, machine learning, neural computing and cognitive systems.

The volume consists of invited refereed research papers. The contributions cover a wide spectrum in algebraic geometry, from motives theory to numerical algebraic geometry and are mainly focused on higher dimensional varieties and Minimal Model Program and surfaces of general type. A part of the articles grew out a Conference in memory of Paolo Francia (1951-2000) held in Genova in September 2001 with about 70 participants.

gentle introduction to the subject, leading the reader to understand the notion of what is important in topology with regard to geometry. Divided into three sections - The line and the plane, Metric spaces and Topological spaces -, the book eases the move into higher levels of abstraction. Students are thereby informally assisted in learning new ideas while remaining on familiar territory. The authors do not assume previous knowledge of axiomatic approach or set theory. Similarly, they have restricted the mathematical vocabulary in the book so as to avoid overwhelming the reader, and the concept of convergence is employed to allow students to focus on a central theme while moving to a natural understanding of the notion of topology. The pace of the book is relaxed with gradual acceleration: the first nine sections form a balanced course in metric spaces for undergraduates while also containing ample material for a two-semester graduate course. Finally, the book illustrates the many connections between topology and other subjects, such as analysis and set theory, via the inclusion of "Extras" at the end of each chapter presenting a brief foray outside topology.

Written by one of the founding fathers of Quantum Information, this book gives an accessible (albeit mathematically rigorous), self-contained introduction to quantum information theory. The central role is played by the concept of quantum channel and its entropic and information characteristics. In this revised edition, the main results have been updated to reflect the most recent developments in this very active field of research.

This reference work deals with important topics in general topology and their role in functional analysis and axiomatic set theory, for graduate students and researchers working in topology, functional analysis, set theory and probability theory. It provides a guide to recent research findings, with three contributions by Arhangel'skii and Choban.

The aim of this monograph is to give an overview of various classes of in?ni- dimensional Lie groups and their applications, mostly in Hamiltonian - chanics, ?uid dynamics, integrable systems, and complex geometry. We have chosen to present the unifying ideas of the theory by concentrating on speci?c typesandexamplesofin?nite-dimensionalLiegroups. Ofcourse, theselection of the topics is largely in?uenced by the taste of the authors, but we hope thatthisselectioniswideenoughtodescribevariousphenomenaarisinginthe geometry of in?nite-dimensional Lie groups and to convince the reader that they are appealing objects to study from both purely mathematical and more applied points of view. This book can be thought of as complementary to the existing more algebraic treatments, in particular, those covering the str- ture and representation theory of in?nite-dimensional Lie algebras, as well as to more analytic ones developing calculus on in?nite-dimensional manifolds. This monograph originated from advanced graduate courses and mi- courses on in?nite-dimensional groups and gauge theory given by the ?rst author at the University of Toronto, at the CIRM in Marseille, and at the Ecole Polytechnique in Paris in 2001-2004. It is based on various classical and recentresultsthathaveshapedthisnewlyemergedpartofin?nite-dimensional geometry and group theory. Our intention was to make the book concise, relatively self-contained, and useful in a graduate course. For this reason, throughout the text, we have included a large number of problems, ranging from simple exercises to open questions

In 2006 a special semester on Gr] obner bases and related methods was or- nized by RICAM and RISC, directed by Bruno Buchberger and Heinz Engl. The main focus of the semester were the development of the formal theory of Gr] obner bases (brie?y GB), the e?cient implementation of all algorithms related to this theory, and the promotion of recent and new applications of GB. The workshop D1 "Gr] obner bases in cryptography, coding theory and - gebraic combinatorics," Linz, May 1-6, 2006 (chairmen M. Klin, L. Perret, M. Sala) was one of the main ingredients of the semester. The last two days of this workshop, devoted to combinatorics, made it possible to bring together experts in algorithmic problems related to coherent con?gurations and as- ciation schemes with a community of people working in the area of GB. Each side was interested in understanding the computational problems and current algorithmicpossibilitiesoftheother, withaparticularobjectiveofintroducing the practical use of GB in algebraic combinatorics. Materials (mainly slides of lectures and posters) available from the site http: //www.ricam.oeaw.ac.at/specsem/srs/groeb/schedule D1.htmlprovidea helpful and vivid picture of the successful exchange of scienti?c information during the workshop D1. Asafollow-uptothespecialsemester,10volumesofproceedingsarebeing published by di?erent publishers. The current collection of papers re?ects diverse investigations in the area of algebraic combinatorics (with or without explicit use of GB), but with a de?nite emphasis on algorithmic approaches."

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)

This book is an exposition of "Singular Semi-Riemannian Geometry"- the study of a smooth manifold furnished with a degenerate (singular) metric tensor of arbitrary signature. The main topic of interest is those cases where the metric tensor is assumed to be nondegenerate. In the literature, manifolds with degenerate metric tensors have been studied extrinsically as degenerate submanifolds of semi Riemannian manifolds. One major aspect of this book is first to study the intrinsic structure of a manifold with a degenerate metric tensor and then to study it extrinsically by considering it as a degenerate submanifold of a semi-Riemannian manifold. This book is divided into three parts. Part I deals with singular semi Riemannian manifolds in four chapters. In Chapter I, the linear algebra of indefinite real inner product spaces is reviewed. In general, properties of certain geometric tensor fields are obtained purely from the algebraic point of view without referring to their geometric origin. Chapter II is devoted to a review of covariant derivative operators in real vector bundles. Chapter III is the main part of this book where, intrinsically, the Koszul connection is introduced and its curvature identities are obtained. In Chapter IV, an application of Chapter III is made to degenerate submanifolds of semi-Riemannian manifolds and Gauss, Codazzi and Ricci equations are obtained. Part II deals with singular Kahler manifolds in four chapters parallel to Part I."

The articles in this volume are an outgrowth of a colloquium "Systemes Integrables et Feuilletages," which was held in honor of the sixtieth birthday of Pierre Molino.
The topics cover the broad range of mathematical areas which were of keen interest to Molino, namely, integral systems and more generally symplectic geometry and Poisson structures, foliations and Lie transverse structures, transitive structures, and classification problems.
Contributors to the volume include: Y. Benoist, G. Cairns, V. Cavalier, H. Flaschka, E. Ghys, A. Haefliger, B. Jessup, A. Lichnerowicz, G. Meigniez, I. Moerdijk, J. Pitkethly, T. Ratiu, J. Turiel, I. Vaisman, and P. Vanhaechke.

This volume, dedicated to the eminent mathematician Vladimir Arnold, presents a collection of research and survey papers written on a large spectrum of theories and problems that have been studied or introduced by Arnold himself. Emphasis is given to topics relating to dynamical systems, stability of integrable systems, algebraic and differential topology, global analysis, singularity theory and classical mechanics. A number of applications of Arnold's groundbreaking work are presented. This publication will assist graduate students and research mathematicians in acquiring an in-depth understanding and insight into a wide domain of research of an interdisciplinary nature.

In the 1970s Hirzebruch and Zagier produced elliptic modular forms with coefficients in the homology of a Hilbert modular surface. They then computed the Fourier coefficients of these forms in terms of period integrals and L-functions. In this book the authors take an alternate approach to these theorems and generalize them to the setting of Hilbert modular varieties of arbitrary dimension. The approach is conceptual and uses tools that were not available to Hirzebruch and Zagier, including intersection homology theory, properties of modular cycles, and base change. Automorphic vector bundles, Hecke operators and Fourier coefficients of modular forms are presented both in the classical and adelic settings. The book should provide a foundation for approaching similar questions for other locally symmetric spaces.

na broad sense Design Science is the grammar of a language of images Irather than of words. Modern communication techniques enable us to transmit and reconstitute images without needing to know a specific verbal sequence language such as the Morse code or Hungarian. International traffic signs use international image symbols which are not specific to any particular verbal language. An image language differs from a verbal one in that the latter uses a linear string of symbols, whereas the former is multi dimensional. Architectural renderings commonly show projections onto three mutual ly perpendicular planes, or consist of cross sections at different altitudes capa ble of being stacked and representing different floor plans. Such renderings make it difficult to imagine buildings comprising ramps and other features which disguise the separation between floors, and consequently limit the cre ative process of the architect. Analogously, we tend to analyze natural struc tures as if nature had used similar stacked renderings, rather than, for instance, a system of packed spheres, with the result that we fail to perceive the system of organization determining the form of such structures. Perception is a complex process. Our senses record; they are analogous to audio or video devices. We cannot, however, claim that such devices perceive."

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