This book lays out the theory of Mordell-Weil lattices, a very powerful and influential tool at the crossroads of algebraic geometry and number theory, which offers many fruitful connections to other areas of mathematics. The book presents all the ingredients entering into the theory of Mordell-Weil lattices in detail, notably, relevant portions of lattice theory, elliptic curves, and algebraic surfaces. After defining Mordell-Weil lattices, the authors provide several applications in depth. They start with the classification of rational elliptic surfaces. Then a useful connection with Galois representations is discussed. By developing the notion of excellent families, the authors are able to design many Galois representations with given Galois groups such as the Weyl groups of E6, E7 and E8. They also explain a connection to the classical topic of the 27 lines on a cubic surface.Two chapters deal with elliptic K3 surfaces, a pulsating area of recent research activity which highlights many central properties of Mordell-Weil lattices. Finally, the book turns to the rank problem-one of the key motivations for the introduction of Mordell-Weil lattices. The authors present the state of the art of the rank problem for elliptic curves both over Q and over C(t) and work out applications to the sphere packing problem. Throughout, the book includes many instructive examples illustrating the theory.

This book gives a modern presentation of modular operands and their role in string field theory. The authors aim to outline the arguments from the perspective of homotopy algebras and their operadic origin. Part I reviews string field theory from the point of view of homotopy algebras, including A-infinity algebras, loop homotopy (quantum L-infinity) and IBL-infinity algebras governing its structure. Within this framework, the covariant construction of a string field theory naturally emerges as composition of two morphisms of particular odd modular operads. This part is intended primarily for researchers and graduate students who are interested in applications of higher algebraic structures to strings and quantum field theory. Part II contains a comprehensive treatment of the mathematical background on operads and homotopy algebras in a broader context, which should appeal also to mathematicians who are not familiar with string theory.

This is an English translation of the book in Japanese, published as the volume 20 in the series of Seminar Notes from The University of Tokyo that grew out of a course of lectures by Professor Kunihiko Kodaira in 1967. It serves as an almost self-contained introduction to the theory of complex algebraic surfaces, including concise proofs of Gorenstein's theorem for curves on a surface and Noether's formula for the arithmetic genus. It also discusses the behavior of the pluri-canonical maps of surfaces of general type as a practical application of the general theory. The book is aimed at graduate students and also at anyone interested in algebraic surfaces, and readers are expected to have only a basic knowledge of complex manifolds as a prerequisite.

This volume presents a collection of results related to the BSD conjecture, based on the first two India-China conferences on this topic. It provides an overview of the conjecture and a few special cases where the conjecture is proved. The broad theme of the two conferences was "Theoretical and Computational Aspects of the Birch and Swinnerton-Dyer Conjecture". The first was held at Beijing International Centre for Mathematical Research (BICMR) in December 2014 and the second was held at the International Centre for Theoretical Sciences (ICTS), Bangalore, India in December 2016. Providing a broad overview of the subject, the book is a valuable resource for young researchers wishing to work in this area. The articles have an extensive list of references to enable diligent researchers to gain an idea of the current state of art on this conjecture.

This volume is an outcome of the workshop "Moduli of K-stable Varieties", which was held in Rome, Italy in 2017. The content focuses on the existence problem for canonical Kahler metrics and links to the algebro-geometric notion of K-stability. The book includes both surveys on this problem, notably in the case of Fano varieties, and original contributions addressing this and related problems. The papers in the latter group develop the theory of K-stability; explore canonical metrics in the Kahler and almost-Kahler settings; offer new insights into the geometric significance of K-stability; and develop tropical aspects of the moduli space of curves, the singularity theory necessary for higher dimensional moduli theory, and the existence of minimal models. Reflecting the advances made in the area in recent years, the survey articles provide an essential overview of many of the most important findings. The book is intended for all advanced graduate students and researchers who want to learn about recent developments in the theory of moduli space, K-stability and Kahler-Einstein metrics.

Graduate students and researchers in applied mathematics, optimization, engineering, computer science, and management science will find this book a useful reference which provides an introduction to applications and fundamental theories in nonlinear combinatorial optimization. Nonlinear combinatorial optimization is a new research area within combinatorial optimization and includes numerous applications to technological developments, such as wireless communication, cloud computing, data science, and social networks. Theoretical developments including discrete Newton methods, primal-dual methods with convex relaxation, submodular optimization, discrete DC program, along with several applications are discussed and explored in this book through articles by leading experts.

Written and revised by D. B. A. Epstein.

This book provides a rigorous and self-contained review of desingularization theory. Focusing on arbitrary dimensional schemes, it discusses the important concepts in full generality, complete with proofs, and includes an introduction to the basis of Hironaka's Theory. The core of the book is a complete proof of desingularization of surfaces; despite being well-known, this result was no more than folklore for many years, with no existing references. Throughout the book there are numerous computations on standard bases, blowing ups and characteristic polyhedra, which will be a source of inspiration for experts exploring bigger dimensions. Beginners will also benefit from a section which presents some easily overlooked pathologies.

This textbook provides a gentle introduction to intersection homology and perverse sheaves, where concrete examples and geometric applications motivate concepts throughout. By giving a taste of the main ideas in the field, the author welcomes new readers to this exciting area at the crossroads of topology, algebraic geometry, analysis, and differential equations. Those looking to delve further into the abstract theory will find ample references to facilitate navigation of both classic and recent literature. Beginning with an introduction to intersection homology from a geometric and topological viewpoint, the text goes on to develop the sheaf-theoretical perspective. Then algebraic geometry comes to the fore: a brief discussion of constructibility opens onto an in-depth exploration of perverse sheaves. Highlights from the following chapters include a detailed account of the proof of the Beilinson-Bernstein-Deligne-Gabber (BBDG) decomposition theorem, applications of perverse sheaves to hypersurface singularities, and a discussion of Hodge-theoretic aspects of intersection homology via Saito's deep theory of mixed Hodge modules. An epilogue offers a succinct summary of the literature surrounding some recent applications. Intersection Homology & Perverse Sheaves is suitable for graduate students with a basic background in topology and algebraic geometry. By building context and familiarity with examples, the text offers an ideal starting point for those entering the field. This classroom-tested approach opens the door to further study and to current research.

The second volume of the Geometry of Algebraic Curves is devoted to the foundations of the theory of moduli of algebraic curves. Its authors are research mathematicians who have actively participated in the development of the Geometry of Algebraic Curves. The subject is an extremely fertile and active one, both within the mathematical community and at the interface with the theoretical physics community. The approach is unique in its blending of algebro-geometric, complex analytic and topological/combinatorial methods. It treats important topics such as Teichmuller theory, the cellular decomposition of moduli and its consequences and the Witten conjecture. The careful and comprehensive presentation of the material is of value to students who wish to learn the subject and to experts as a reference source. The first volume appeared 1985 as vol. 267 of the same series.

Continuing the theme of the previous volumes, these seminar notes reflect general trends in the study of Geometric Aspects of Functional Analysis, understood in a broad sense. Two classical topics represented are the Concentration of Measure Phenomenon in the Local Theory of Banach Spaces, which has recently had triumphs in Random Matrix Theory, and the Central Limit Theorem, one of the earliest examples of regularity and order in high dimensions. Central to the text is the study of the Poincare and log-Sobolev functional inequalities, their reverses, and other inequalities, in which a crucial role is often played by convexity assumptions such as Log-Concavity. The concept and properties of Entropy form an important subject, with Bourgain's slicing problem and its variants drawing much attention. Constructions related to Convexity Theory are proposed and revisited, as well as inequalities that go beyond the Brunn-Minkowski theory. One of the major current research directions addressed is the identification of lower-dimensional structures with remarkable properties in rather arbitrary high-dimensional objects. In addition to functional analytic results, connections to Computer Science and to Differential Geometry are also discussed.

This undergraduate textbook is suitable for introductory classes in combinatorics and related topics. The book covers a wide range of both pure and applied combinatorics, beginning with the very basics of enumeration and then going on to Latin squares, graphs and designs. The latter topic is closely related to finite geometry, which is developed in parallel. Applications to probability theory, algebra, coding theory, cryptology and combinatorial game theory comprise the later chapters. Throughout the book, examples and exercises illustrate the material, and the interrelations between the various topics is emphasized. Readers looking to take first steps toward the study of combinatorics, finite geometry, design theory, coding theory, or cryptology will find this book valuable. Essentially self-contained, there are very few prerequisites aside from some mathematical maturity, and the little algebra required is covered in the text. The book is also a valuable resource for anyone interested in discrete mathematics as it ties together a wide variety of topics.

An exploration of mathematical style through 99 different proofs of the same theorem This book offers a multifaceted perspective on mathematics by demonstrating 99 different proofs of the same theorem. Each chapter solves an otherwise unremarkable equation in distinct historical, formal, and imaginative styles that range from Medieval, Topological, and Doggerel to Chromatic, Electrostatic, and Psychedelic. With a rare blend of humor and scholarly aplomb, Philip Ording weaves these variations into an accessible and wide-ranging narrative on the nature and practice of mathematics. Inspired by the experiments of the Paris-based writing group known as the Oulipo-whose members included Raymond Queneau, Italo Calvino, and Marcel Duchamp-Ording explores new ways to examine the aesthetic possibilities of mathematical activity. 99 Variations on a Proof is a mathematical take on Queneau's Exercises in Style, a collection of 99 retellings of the same story, and it draws unexpected connections to everything from mysticism and technology to architecture and sign language. Through diagrams, found material, and other imagery, Ording illustrates the flexibility and creative potential of mathematics despite its reputation for precision and rigor. Readers will gain not only a bird's-eye view of the discipline and its major branches but also new insights into its historical, philosophical, and cultural nuances. Readers, no matter their level of expertise, will discover in these proofs and accompanying commentary surprising new aspects of the mathematical landscape.

The purpose of this book is to build the fundament of an Arakelov theory over adelic curves in order to provide a unified framework for research on arithmetic geometry in several directions. By adelic curve is meant a field equipped with a family of absolute values parametrized by a measure space, such that the logarithmic absolute value of each non-zero element of the field is an integrable function on the measure space. In the literature, such construction has been discussed in various settings which are apparently transversal to each other. The authors first formalize the notion of adelic curves and discuss in a systematic way its algebraic covers, which are important in the study of height theory of algebraic points beyond Weil-Lang's height theory. They then establish a theory of adelic vector bundles on adelic curves, which considerably generalizes the classic geometry of vector bundles or that of Hermitian vector bundles over an arithmetic curve. They focus on an analogue of the slope theory in the setting of adelic curves and in particular estimate the minimal slope of tensor product adelic vector bundles. Finally, by using the adelic vector bundles as a tool, a birational Arakelov geometry for projective variety over an adelic curve is developed. As an application, a vast generalization of Nakai-Moishezon's criterion of positivity is proven in clarifying the arguments of geometric nature from several fundamental results in the classic geometry of numbers. Assuming basic knowledge of algebraic geometry and algebraic number theory, the book is almost self-contained. It is suitable for researchers in arithmetic geometry as well as graduate students focusing on these topics for their doctoral theses.

Algebraic geometry is, essentially, the study of the solution of equations and occupies a central position in pure mathematics. With the minimum of prerequisites, Dr. Reid introduces the reader to the basic concepts of algebraic geometry, including: plane conics, cubics and the group law, affine and projective varieties, and nonsingularity and dimension. He stresses the connections the subject has with commutative algebra as well as its relation to topology, differential geometry, and number theory. The book contains numerous examples and exercises illustrating the theory.

This book offers a review of the vibrant areas of geometric representation theory and gauge theory, which are characterized by a merging of traditional techniques in representation theory with the use of powerful tools from algebraic geometry, and with strong inputs from physics. The notes are based on lectures delivered at the CIME school "Geometric Representation Theory and Gauge Theory" held in Cetraro, Italy, in June 2018. They comprise three contributions, due to Alexander Braverman and Michael Finkelberg, Andrei Negut, and Alexei Oblomkov, respectively. Braverman and Finkelberg's notes review the mathematical theory of the Coulomb branch of 3D N=4 quantum gauge theories. The purpose of Negut's notes is to study moduli spaces of sheaves on a surface, as well as Hecke correspondences between them. Oblomkov's notes concern matrix factorizations and knot homology. This book will appeal to both mathematicians and theoretical physicists and will be a source of inspiration for PhD students and researchers.

Mumford is a well-known mathematician and winner of the Fields Medal, the highest honor available in mathematics Many of these papers are currently unavailable, and the correspondence with Grothendieck has never before been published

This highly readable book aims to ease the many challenges of starting undergraduate research. It accomplishes this by presenting a diverse series of self-contained, accessible articles which include specific open problems and prepare the reader to tackle them with ample background material and references. Each article also contains a carefully selected bibliography for further reading. The content spans the breadth of mathematics, including many topics that are not normally addressed by the undergraduate curriculum (such as matroid theory, mathematical biology, and operations research), yet have few enough prerequisites that the interested student can start exploring them under the guidance of a faculty member. Whether trying to start an undergraduate thesis, embarking on a summer REU, or preparing for graduate school, this book is appropriate for a variety of students and the faculty who guide them.

This book is a translation of the earlier book written by Koji Doi and the author, who revised it substantially for this English edition. It offers the basic knowledge of elliptic modular forms necessary to understand recent developments in number theory. It also treats the unit groups of quaternion algebras, rarely dealt with in books; and in the last chapter, Eisenstein series with parameter are discussed following the recent work of Shimura.

Mumford is a well-known mathematician and winner of the Fields Medal, the highest honor available in mathematics. Many of these papers are currently unavailable, and the commentaries by Gieseker, Lange, Viehweg and Kempf are being published here for the first time.

This book presents a collection of carefully refereed research articles and lecture notes stemming from the Conference "Automorphic Forms and L-Functions", held at the University of Heidelberg in 2016. The theory of automorphic forms and their associated L-functions is one of the central research areas in modern number theory, linking number theory, arithmetic geometry, representation theory, and complex analysis in many profound ways. The 19 papers cover a wide range of topics within the scope of the conference, including automorphic L-functions and their special values, p-adic modular forms, Eisenstein series, Borcherds products, automorphic periods, and many more.

This book presents the proceedings of the international conference Analytic Aspects in Convexity, which was held in Rome in October 2016. It offers a collection of selected articles, written by some of the world's leading experts in the field of Convex Geometry, on recent developments in this area: theory of valuations; geometric inequalities; affine geometry; and curvature measures. The book will be of interest to a broad readership, from those involved in Convex Geometry, to those focusing on Functional Analysis, Harmonic Analysis, Differential Geometry, or PDEs. The book is a addressed to PhD students and researchers, interested in Convex Geometry and its links to analysis.

This book collects independent contributions on current developments in quantum information theory, a very interdisciplinary field at the intersection of physics, computer science and mathematics. Making intense use of the most advanced concepts from each discipline, the authors give in each contribution pedagogical introductions to the main concepts underlying their present research and present a personal perspective on some of the most exciting open problems. Keeping this diverse audience in mind, special efforts have been made to ensure that the basic concepts underlying quantum information are covered in an understandable way for mathematical readers, who can find there new open challenges for their research. At the same time, the volume can also be of use to physicists wishing to learn advanced mathematical tools, especially of differential and algebraic geometric nature.

This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mathematical maturity and willingness to assimilate ideas from diverse areas are required. The book can be used for both teaching and self-study, ideally over two semesters. It is primarily aimed at graduate students in mathematical logic who want to specialise in model theory. However, the first two chapters constitute the first introduction to the subject and can be covered in one-semester course to senior undergraduate students in mathematical logic. The book is also suitable for researchers who wish to use model theory in their work.

This book consists of contributions from experts, presenting a fruitful interplay between different approaches to discrete geometry. Most of the chapters were collected at the conference "Geometry and Symmetry" in Veszprem, Hungary from 29 June to 3 July 2015. The conference was dedicated to Karoly Bezdek and Egon Schulte on the occasion of their 60th birthdays, acknowledging their highly regarded contributions in these fields. While the classical problems of discrete geometry have a strong connection to geometric analysis, coding theory, symmetry groups, and number theory, their connection to combinatorics and optimization has become of particular importance. The last decades have seen a revival of interest in discrete geometric structures and their symmetry. The rapid development of abstract polytope theory has resulted in a rich theory featuring an attractive interplay of methods and tools from discrete geometry, group theory and geometry, combinatorial group theory, and hyperbolic geometry and topology. This book contains papers on new developments in these areas, including convex and abstract polytopes and their recent generalizations, tiling and packing, zonotopes, isoperimetric inequalities, and on the geometric and combinatorial aspects of linear optimization. The book is a valuable resource for researchers, both junior and senior, in the field of discrete geometry, combinatorics, or discrete optimization. Graduate students find state-of-the-art surveys and an open problem collection.