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.

This second edition, divided into fourteen chapters, presents a comprehensive treatment of contact and symplectic manifolds from the Riemannian point of view. The monograph examines the basic ideas in detail and provides many illustrative examples for the reader.

"Riemannian Geometry of Contact and Symplectic Manifolds, Second Edition" provides new material in most chapters, but a particular emphasis remains on contact manifolds. Researchers, mathematicians, and graduate students in contact and symplectic manifold theory and in Riemannian geometry will benefit from this work. A basic course in Riemannian geometry is a prerequisite.

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.

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

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.

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.

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.

Covering topics in algebraic geometry, coding theory, and cryptography, this volume presents interdisciplinary group research completed for the February 2016 conference at the Institute for Pure and Applied Mathematics (IPAM) in cooperation with the Association for Women in Mathematics (AWM). The conference gathered research communities across disciplines to share ideas and problems in their fields and formed small research groups made up of graduate students, postdoctoral researchers, junior faculty, and group leaders who designed and led the projects. Peer reviewed and revised, each of this volume's five papers achieves the conference's goal of using algebraic geometry to address a problem in either coding theory or cryptography. Proposed variants of the McEliece cryptosystem based on different constructions of codes, constructions of locally recoverable codes from algebraic curves and surfaces, and algebraic approaches to the multicast network coding problem are only some of the topics covered in this volume. Researchers and graduate-level students interested in the interactions between algebraic geometry and both coding theory and cryptography will find this volume valuable.

Despite the fact that Maple V has become one of the most popular computer algebra systems on the market, surprisingly few users realize its potential in the field of scientific visualization. The purpose of this book is to equip the reader with a variety of graphics tools needed on the voyage of discovery into the complex and often beautiful world of curves and surfaces. A comprehensive treatment of Maple's graphics commands and structures is combined with an introduction to the main aspects of visual perception. Top priority is given to the use of light, color, perspective, and geometric transformations. Numerous examples, accompanied by pictures (many in color), cover all aspects of Maple graphics. The examples can be easily customized to suit the individual needs of the reader. The approach is context independent, and as such will appeal to students, educators, and researchers in a broad spectrum of scientific disciplines. For the general user at any level of experience, this book can serve as a comprehensive reference manual. For the beginner, it offers a user- friendly elementary introduction to the subject, with mathematical requirements kept to a minimum. For those interested in advanced mathematical visualization, it explains how to maximize Maple's graphical capabilities. In particular, this book shows how to turn Maple into an excellent modeling tool capable of generating elaborate surfaces that conventional modelers cannot produce. These surfaces can be exported to an external ray tracer (e.g. POV-ray) for sophisticated photo-realistic rendering. All of the Maple code segments which are presented in the book, as well as high-resolution pictures showing alternative renderingsof some of the book's color plates, are included on the accompanying DOS diskette.

This book is the result of many years of research in Non-Euclidean Geometries and Geometry of Lie groups, as well as teaching at Moscow State University (1947- 1949), Azerbaijan State University (Baku) (1950-1955), Kolomna Pedagogical Col lege (1955-1970), Moscow Pedagogical University (1971-1990), and Pennsylvania State University (1990-1995). My first books on Non-Euclidean Geometries and Geometry of Lie groups were written in Russian and published in Moscow: Non-Euclidean Geometries (1955) [Ro1] , Multidimensional Spaces (1966) [Ro2] , and Non-Euclidean Spaces (1969) [Ro3]. In [Ro1] I considered non-Euclidean geometries in the broad sense, as geometry of simple Lie groups, since classical non-Euclidean geometries, hyperbolic and elliptic, are geometries of simple Lie groups of classes Bn and D , and geometries of complex n and quaternionic Hermitian elliptic and hyperbolic spaces are geometries of simple Lie groups of classes An and en. [Ro1] contains an exposition of the geometry of classical real non-Euclidean spaces and their interpretations as hyperspheres with identified antipodal points in Euclidean or pseudo-Euclidean spaces, and in projective and conformal spaces. Numerous interpretations of various spaces different from our usual space allow us, like stereoscopic vision, to see many traits of these spaces absent in the usual space.

Thisseries is devoted to the publication of monographs, lecture resp. seminar notes, and other materials arising from programs of the OSU Mathemaical Research Institute. This includes proceedings of conferences or workshops held at the Institute, and other mathematical writings.

The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides the latest developments in the field as well as its applications in various domains, including communications, modelling, and theoretical physics. The book will appeal to researchers and professors of computer algebra, applied mathematics, and computer science, as well as to engineers and computer scientists engaged in research and development.

A new combinatorial foundation of the two concepts, based on a consideration of deep and classical results of homotopy theory, and an axiomatic characterization of the assumptions under which results in this field hold. Includes numerous explicit examples and applications in various fields of topology and algebra.

This volume brings together recent, original research and survey articles by leading experts in several fields that include singularity theory, algebraic geometry and commutative algebra. The motivation for this collection comes from the wide-ranging research of the distinguished mathematician, Antonio Campillo, in these and related fields. Besides his influence in the mathematical community stemming from his research, Campillo has also endeavored to promote mathematics and mathematicians' networking everywhere, especially in Spain, Latin America and Europe. Because of his impressive achievements throughout his career, we dedicate this book to Campillo in honor of his 65th birthday. Researchers and students from the world-wide, and in particular Latin American and European, communities in singularities, algebraic geometry, commutative algebra, coding theory, and other fields covered in the volume, will have interest in this book.

Stochastic geometry deals with models for random geometric structures. Its early beginnings are found in playful geometric probability questions, and it has vigorously developed during recent decades, when an increasing number of real-world applications in various sciences required solid mathematical foundations. Integral geometry studies geometric mean values with respect to invariant measures and is, therefore, the appropriate tool for the investigation of random geometric structures that exhibit invariance under translations or motions. Stochastic and Integral Geometry provides the mathematically oriented reader with a rigorous and detailed introduction to the basic stationary models used in stochastic geometry random sets, point processes, random mosaics and to the integral geometry that is needed for their investigation. The interplay between both disciplines is demonstrated by various fundamental results. A chapter on selected problems about geometric probabilities and an outlook to non-stationary models are included, and much additional information is given in the section notes."

This book focuses on complex geometry and covers highly active topics centered around geometric problems in several complex variables and complex dynamics, written by some of the world's leading experts in their respective fields. This book features research and expository contributions from the 2013 Abel Symposium, held at the Norwegian University of Science and Technology Trondheim on July 2-5, 2013. The purpose of the symposium was to present the state of the art on the topics, and to discuss future research directions.

In September 1997, the Working Week on Resolution of Singularities was held at Obergurgl in the Tyrolean Alps. Its objective was to manifest the state of the art in the field and to formulate major questions for future research. The four courses given during this week were written up by the speakers and make up part I of this volume. They are complemented in part II by fifteen selected contributions on specific topics and resolution theories. The volume is intended to provide a broad and accessible introduction to resolution of singularities leading the reader directly to concrete research problems.

The outcome of a close collaboration between mathematicians and mathematical physicists, these Lecture Notes present the foundations of A. Connes noncommutative geometry, as well as its applications in particular to the field of theoretical particle physics. The coherent and systematic approach makes this book useful for experienced researchers and postgraduate students alike.

This two-part EMS volume provides a succinct summary of complex algebraic geometry, coupled with a lucid introduction to the recent work on the interactions between the classical area of the geometry of complex algebraic curves and their Jacobian varieties. An excellent companion to the older classics on the subject.

Schubert varieties provide an inductive tool for studying flag varieties. This book is mainly a detailed account of a particularly interesting instance of their occurrence: namely, in relation to classical invariant theory. More precisely, it is about the connection between the first and second fundamental theorems of classical invariant theory on the one hand and standard monomial theory for Schubert varieties in certain special flag varieties on the other.

The first part of this book provides an elementary and self-contained exposition of classical Galois theory and its applications to the questions of solvability of algebraic equations in explicit form. The second part describes a surprising analogy between the fundamental theorem of Galois theory and classification of coverings over a topological space. The third part contains a geometric description of finite algebraic extensions of the field of meromorphic functions on a Riemann surface and provides an introduction to topological Galois theory developed by the author. All results are presented in the same elementary and self-contained manner as classical Galois theory. Due to this feature, the book will be useful and interesting to readers with very different background in mathematics, from undergraduate students to researchers.

2 Triangle Groups: An Introduction 279 3 Elementary Shimura Curves 281 4 Examples of Shimura Curves 282 5 Congruence Zeta Functions 283 6 Diophantine Properties of Shimura Curves 284 7 Klein Quartic 285 8 Supersingular Points 289 Towers of Elkies 9 289 7. CRYPTOGRAPHY AND APPLICATIONS 291 1 Introduction 291 Discrete Logarithm Problem 2 291 Curves for Public-Key Cryptosystems 3 295 Hyperelliptic Curve Cryptosystems 4 297 CM-Method 5 299 6 Cryptographic Exponent 300 7 Constructive Descent 302 8 Gaudry and Harley Algorithm 306 9 Picard Jacobians 307 Drinfeld Module Based Public Key Cryptosystems 10 308 11 Drinfeld Modules and One Way Functions 308 12 Shimura's Map 309 13 Modular Jacobians of Genus 2 Curves 310 Modular Jacobian Surfaces 14 312 15 Modular Curves of Genus Two 313 16 Hecke Operators 314 8. REFERENCES 317 345 Index Xll Preface The history of counting points on curves over finite fields is very ex- tensive, starting with the work of Gauss in 1801 and continuing with the work of Artin, Schmidt, Hasse and Weil in their study of curves and the related zeta functions Zx(t), where m Zx(t) = exp (2: N t ) m m 2': 1 m with N = #X(F qm). If X is a curve of genus g, Weil's conjectures m state that L(t) Zx(t) = (1 - t)(l - qt) where L(t) = rr~!l (1 - O'.