The section conjecture in anabelian geometry, announced by Grothendieck in 1983, is concerned with a description of the set of rational points of a hyperbolic algebraic curve over a number field in terms of the arithmetic of its fundamental group. While the conjecture is still open today in 2012, its study has revealed interesting arithmetic for curves and opened connections, for example, to the question whether the Brauer-Manin obstruction is the only one against rational points on curves. This monograph begins by laying the foundations for the space of sections of the fundamental group extension of an algebraic variety. Then, arithmetic assumptions on the base field are imposed and the local-to-global approach is studied in detail. The monograph concludes by discussing analogues of the section conjecture created by varying the base field or the type of variety, or by using a characteristic quotient or its birational analogue in lieu of the fundamental group extension.

Mumford-Tate groups are the fundamental symmetry groups of Hodge theory, a subject which rests at the center of contemporary complex algebraic geometry. This book is the first comprehensive exploration of Mumford-Tate groups and domains. Containing basic theory and a wealth of new views and results, it will become an essential resource for graduate students and researchers.

Although Mumford-Tate groups can be defined for general structures, their theory and use to date has mainly been in the classical case of abelian varieties. While the book does examine this area, it focuses on the nonclassical case. The general theory turns out to be very rich, such as in the unexpected connections of finite dimensional and infinite dimensional representation theory of real, semisimple Lie groups. The authors give the complete classification of Hodge representations, a topic that should become a standard in the finite-dimensional representation theory of noncompact, real, semisimple Lie groups. They also indicate that in the future, a connection seems ready to be made between Lie groups that admit discrete series representations and the study of automorphic cohomology on quotients of Mumford-Tate domains by arithmetic groups. Bringing together complex geometry, representation theory, and arithmetic, this book opens up a fresh perspective on an important subject.

The concept of moduli goes back to B. Riemann, who shows in [68] that the isomorphism class of a Riemann surface of genus 9 ~ 2 depends on 3g - 3 parameters, which he proposes to name "moduli". A precise formulation of global moduli problems in algebraic geometry, the definition of moduli schemes or of algebraic moduli spaces for curves and for certain higher dimensional manifolds have only been given recently (A. Grothendieck, D. Mumford, see [59]), as well as solutions in some cases. It is the aim of this monograph to present methods which allow over a field of characteristic zero to construct certain moduli schemes together with an ample sheaf. Our main source of inspiration is D. Mumford's "Geometric In variant Theory". We will recall the necessary tools from his book [59] and prove the "Hilbert-Mumford Criterion" and some modified version for the stability of points under group actions. As in [78], a careful study of positivity proper ties of direct image sheaves allows to use this criterion to construct moduli as quasi-projective schemes for canonically polarized manifolds and for polarized manifolds with a semi-ample canonical sheaf.

This book develops and applies a theory of the ambient metric in conformal geometry. This is a Lorentz metric in "n"+"2" dimensions that encodes a conformal class of metrics in "n" dimensions. The ambient metric has an alternate incarnation as the Poincare metric, a metric in "n"+"1" dimensions having the conformal manifold as its conformal infinity. In this realization, the construction has played a central role in the AdS/CFT correspondence in physics.

The existence and uniqueness of the ambient metric at the formal power series level is treated in detail. This includes the derivation of the ambient obstruction tensor and an explicit analysis of the special cases of conformally flat and conformally Einstein spaces. Poincare metrics are introduced and shown to be equivalent to the ambient formulation. Self-dual Poincare metrics in four dimensions are considered as a special case, leading to a formal power series proof of LeBrun's collar neighborhood theorem proved originally using twistor methods. Conformal curvature tensors are introduced and their fundamental properties are established. A jet isomorphism theorem is established for conformal geometry, resulting in a representation of the space of jets of conformal structures at a point in terms of conformal curvature tensors. The book concludes with a construction and characterization of scalar conformal invariants in terms of ambient curvature, applying results in parabolic invariant theory."

The theory of Riemann surfaces occupies a very special place in mathematics. It is a culmination of much of traditional calculus, making surprising connections with geometry and arithmetic. It is an extremely useful part of mathematics, knowledge of which is needed by specialists in many other fields. It provides a model for a large number of more recent developments in areas including manifold topology, global analysis, algebraic geometry, Riemannian geometry, and diverse topics in mathematical physics.
This graduate text on Riemann surface theory proves the fundamental analytical results on the existence of meromorphic functions and the Uniformisation Theorem. The approach taken emphasises PDE methods, applicable more generally in global analysis. The connection with geometric topology, and in particular the role of the mapping class group, is also explained. To this end, some more sophisticated topics have been included, compared with traditional texts at this level. While the treatment is novel, the roots of the subject in traditional calculus and complex analysis are kept well in mind.
Part I sets up the interplay between complex analysis and topology, with the latter treated informally. Part II works as a rapid first course in Riemann surface theory, including elliptic curves. The core of the book is contained in Part III, where the fundamental analytical results are proved. Following this section, the remainder of the text illustrates various facets of the more advanced theory.

Mathematics is not, and never will be, an empirical science, but mathematicians are finding that the use of computers and specialized software allows the generation of mathematical insight in the form of conjectures and examples, which pave the way for theorems and their proofs. In this way, the experimental approach to pure mathematics is revolutionizing the way research mathematicians work. As the first of its kind, this book provides material for a one-semester course in experimental mathematics that will give students the tools and training needed to systematically investigate and develop mathematical theory using computer programs written in Maple. Accessible to readers without prior programming experience, and using examples of concrete mathematical problems to illustrate a wide range of techniques, the book gives a thorough introduction to the field of experimental mathematics, which will prepare students for the challenge posed by open mathematical problems.

This book studies the intersection cohomology of the Shimura varieties associated to unitary groups of any rank over Q. In general, these varieties are not compact. The intersection cohomology of the Shimura variety associated to a reductive group G carries commuting actions of the absolute Galois group of the reflex field and of the group G(Af) of finite adelic points of G. The second action can be studied on the set of complex points of the Shimura variety. In this book, Sophie Morel identifies the Galois action--at good places--on the G(Af)-isotypical components of the cohomology.

Morel uses the method developed by Langlands, Ihara, and Kottwitz, which is to compare the Grothendieck-Lefschetz fixed point formula and the Arthur-Selberg trace formula. The first problem, that of applying the fixed point formula to the intersection cohomology, is geometric in nature and is the object of the first chapter, which builds on Morel's previous work. She then turns to the group-theoretical problem of comparing these results with the trace formula, when G is a unitary group over Q. Applications are then given. In particular, the Galois representation on a G(Af)-isotypical component of the cohomology is identified at almost all places, modulo a non-explicit multiplicity. Morel also gives some results on base change from unitary groups to general linear groups.

This monograph studies decompositions of the Jacobian of a smooth projective curve, induced by the action of a finite group, into a product of abelian subvarieties. The authors give a general theorem on how to decompose the Jacobian which works in many cases and apply it for several groups, as for groups of small order and some series of groups. In many cases, these components are given by Prym varieties of pairs of subcovers. As a consequence, new proofs are obtained for the classical bigonal and trigonal constructions which have the advantage to generalize to more general situations. Several isogenies between Prym varieties also result.

This book develops a new theory in convex geometry, generalizing positive bases and related to Caratheordory's Theorem by combining convex geometry, the combinatorics of infinite subsets of lattice points, and the arithmetic of transfer Krull monoids (the latter broadly generalizing the ubiquitous class of Krull domains in commutative algebra)This new theory is developed in a self-contained way with the main motivation of its later applications regarding factorization. While factorization into irreducibles, called atoms, generally fails to be unique, there are various measures of how badly this can fail. Among the most important is the elasticity, which measures the ratio between the maximum and minimum number of atoms in any factorization. Having finite elasticity is a key indicator that factorization, while not unique, is not completely wild. Via the developed material in convex geometry, we characterize when finite elasticity holds for any Krull domain with finitely generated class group $G$, with the results extending more generally to transfer Krull monoids. This book is aimed at researchers in the field but is written to also be accessible for graduate students and general mathematicians.

This book can form the basis of a second course in algebraic geometry. As motivation, it takes concrete questions from enumerative geometry and intersection theory, and provides intuition and technique, so that the student develops the ability to solve geometric problems. The authors explain key ideas, including rational equivalence, Chow rings, Schubert calculus and Chern classes, and readers will appreciate the abundant examples, many provided as exercises with solutions available online. Intersection is concerned with the enumeration of solutions of systems of polynomial equations in several variables. It has been an active area of mathematics since the work of Leibniz. Chasles' nineteenth-century calculation that there are 3264 smooth conic plane curves tangent to five given general conics was an important landmark, and was the inspiration behind the title of this book. Such computations were motivation for Poincare's development of topology, and for many subsequent theories, so that intersection theory is now a central topic of modern mathematics.

This book collects the proceedings of a series of conferences dedicated to birational geometry of Fano varieties held in Moscow, Shanghai and Pohang The conferences were focused on the following two related problems: * existence of Kahler-Einstein metrics on Fano varieties * degenerations of Fano varieties on which two famous conjectures were recently proved. The first is the famous Borisov-Alexeev-Borisov Conjecture on the boundedness of Fano varieties, proved by Caucher Birkar (for which he was awarded the Fields medal in 2018), and the second one is the (arguably even more famous) Tian-Yau-Donaldson Conjecture on the existence of Kahler-Einstein metrics on (smooth) Fano varieties and K-stability, which was proved by Xiuxiong Chen, Sir Simon Donaldson and Song Sun. The solutions for these longstanding conjectures have opened new directions in birational and Kahler geometries. These research directions generated new interesting mathematical problems, attracting the attention of mathematicians worldwide. These conferences brought together top researchers in both fields (birational geometry and complex geometry) to solve some of these problems and understand the relations between them. The result of this activity is collected in this book, which contains contributions by sixty nine mathematicians, who contributed forty three research and survey papers to this volume. Many of them were participants of the Moscow-Shanghai-Pohang conferences, while the others helped to expand the research breadth of the volume - the diversity of their contributions reflects the vitality of modern Algebraic Geometry.

This volume celebrates the 100th birthday of Professor Chen-Ning Frank Yang (Nobel 1957), one of the giants of modern science and a living legend. Starting with reminiscences of Yang's time at the research centre for theoretical physics at Stonybrook (now named C. N. Yang Institute) by his successor Peter van Nieuwenhuizen, the book is a collection of articles by world-renowned mathematicians and theoretical physicists. This emphasizes the Dialogue Between Physics and Mathematics that has been a central theme of Professor Yang's contributions to contemporary science. Fittingly, the contributions to this volume range from experimental physics to pure mathematics, via mathematical physics. On the physics side, the contributions are from Sir Anthony Leggett (Nobel 2003), Jian-Wei Pan (Willis E. Lamb Award 2018), Alexander Polyakov (Breakthrough Prize 2013), Gerard 't Hooft (Nobel 1999), Frank Wilczek (Nobel 2004), Qikun Xue (Fritz London Prize 2020), and Zhongxian Zhao (Bernd T. Matthias Prize 2015), covering an array of topics from superconductivity to the foundations of quantum mechanics. In mathematical physics there are contributions by Sir Roger Penrose (Nobel 2022) and Edward Witten (Fields Medal 1990) on quantum twistors and quantum field theory, respectively. On the mathematics side, the contributions by Vladimir Drinfeld (Fields Medal 1990), Louis Kauffman (Wiener Gold Medal 2014), and Yuri Manin (Cantor Medal 2002) offer novel ideas from knot theory to arithmetic geometry. Inspired by the original ideas of C. N. Yang, this unique collection of papers b masters of physics and mathematics provides, at the highest level, contemporary research directions for graduate students and experts alike.

This graduate textbook offers a self-contained introduction to the concepts and techniques of logarithmic geometry, a key tool for analyzing compactification and degeneration in algebraic geometry and number theory. It features a systematic exposition of the foundations of the field, from the basic results on convex geometry and commutative monoids to the theory of logarithmic schemes and their de Rham and Betti cohomology. The book will be of use to graduate students and researchers working in algebraic, analytic, and arithmetic geometry as well as related fields.

This two volume work on Positivity in Algebraic Geometry contains a contemporary account of a body of work in complex algebraic geometry loosely centered around the theme of positivity. Topics in Volume I include ample line bundles and linear series on a projective variety, the classical theorems of Lefschetz and Bertini and their modern outgrowths, vanishing theorems, and local positivity. Volume II begins with a survey of positivity for vector bundles, and moves on to a systematic development of the theory of multiplier ideals and their applications. A good deal of this material has not previously appeared in book form, and substantial parts are worked out here in detail for the first time. At least a third of the book is devoted to concrete examples, applications, and pointers to further developments.

Volume I is more elementary than Volume II, and, for the most part, it can be read without access to Volume II.

This book is an exposition of recent progress on the Donaldson-Thomas (DT) theory. The DT invariant was introduced by R. Thomas in 1998 as a virtual counting of stable coherent sheaves on Calabi-Yau 3-folds. Later, it turned out that the DT invariants have many interesting properties and appear in several contexts such as the Gromov-Witten/Donaldson-Thomas conjecture on curve-counting theories, wall-crossing in derived categories with respect to Bridgeland stability conditions, BPS state counting in string theory, and others. Recently, a deeper structure of the moduli spaces of coherent sheaves on Calabi-Yau 3-folds was found through derived algebraic geometry. These moduli spaces admit shifted symplectic structures and the associated d-critical structures, which lead to refined versions of DT invariants such as cohomological DT invariants. The idea of cohomological DT invariants led to a mathematical definition of the Gopakumar-Vafa invariant, which was first proposed by Gopakumar-Vafa in 1998, but its precise mathematical definition has not been available until recently. This book surveys the recent progress on DT invariants and related topics, with a focus on applications to curve-counting theories.

A First Course in Computational Algebraic Geometry is designed for young students with some background in algebra who wish to perform their first experiments in computational geometry. Originating from a course taught at the African Institute for Mathematical Sciences, the book gives a compact presentation of the basic theory, with particular emphasis on explicit computational examples using the freely available computer algebra system, Singular. Readers will quickly gain the confidence to begin performing their own experiments.

Higher-dimensional algebraic geometry studies the classification theory of algebraic varieties. This very active area of research is still developing, but an amazing quantity of knowledge has accumulated over the past twenty years. The author¿s goal is to provide an easily accessible introduction to the subject. The book covers preparatory and standard definitions and results, moves on to discuss various aspects of the geometry of smooth projective varieties with many rational curves, and finishes in taking the first steps towards Mori¿s minimal model program of classification of algebraic varieties by proving the cone and contraction theorems. The book is well organized and the author has kept the number of concepts that are used but not proved to a minimum to provide a mostly self-contained introduction to graduate students and researchers.

Matroid theory is a vibrant area of research that provides a unified way to understand graph theory, linear algebra and combinatorics via finite geometry. This book provides the first comprehensive introduction to the field which will appeal to undergraduate students and to any mathematician interested in the geometric approach to matroids. Written in a friendly, fun-to-read style and developed from the authors' own undergraduate courses, the book is ideal for students. Beginning with a basic introduction to matroids, the book quickly familiarizes the reader with the breadth of the subject, and specific examples are used to illustrate the theory and to help students see matroids as more than just generalizations of graphs. Over 300 exercises are included, with many hints and solutions so students can test their understanding of the materials covered. The authors have also included several projects and open-ended research problems for independent study.

It is impossible to imagine modern mathematics without complex numbers. Complex Numbers from A to . . . Z introduces the reader to this fascinating subject that, from the time of L. Euler, has become one of the most utilized ideas in mathematics.

The exposition concentrates on key concepts and then elementary results concerning these numbers. The reader learns how complex numbers can be used to solve algebraic equations and to understand the geometric interpretation of complex numbers and the operations involving them.

The theoretical parts of the book are augmented with rich exercises and problems at various levels of difficulty. A special feature of the book is the last chapter, a selection of outstanding Olympiad and other important mathematical contest problems solved by employing the methods already presented.

The book reflects the unique experience of the authors. It distills a vast mathematical literature, most of which is unknown to the western public, and captures the essence of an abundant problem culture. The target audience includes undergraduates, high school students and their teachers, mathematical contestants (such as those training for Olympiads or the W. L. Putnam Mathematical Competition) and their coaches, as well as anyone interested in essential mathematics.

This is an English translation of the now classic "Algèbre Locale - Multiplicités" originally published by Springer as LNM 11, in several editions since 1965. It gives a short account of the main theorems of commutative algebra, with emphasis on modules, homological methods and intersection multiplicities ("Tor-formula"). Many modifications to the original French text have been made by the author for this English edition: they make the text easier to read, without changing its intended informal character.

This book presents many of the main developments of the past two decades in the study of real submanifolds in complex space, providing crucial background material for researchers and advanced graduate students. The techniques in this area borrow from real and complex analysis and partial differential equations, as well as from differential, algebraic, and analytical geometry. In turn, these latter areas have been enriched over the years by the study of problems in several complex variables addressed here. The authors, M. Salah Baouendi, Peter Ebenfelt, and Linda Preiss Rothschild, include extensive preliminary material to make the book accessible to nonspecialists.

One of the most important topics that the authors address here is the holomorphic extension of functions and mappings that satisfy the tangential Cauchy-Riemann equations on real submanifolds. They present the main results in this area with a novel and self-contained approach. The book also devotes considerable attention to the study of holomorphic mappings between real submanifolds, and proves finite determination of such mappings by their jets under some optimal assumptions. The authors also give a thorough comparison of the various nondegeneracy conditions for manifolds and mappings and present new geometric interpretations of these conditions. Throughout the book, Cauchy-Riemann vector fields and their orbits play a central role and are presented in a setting that is both general and elementary.

The Yau-Tian-Donaldson conjecture for anti-canonical polarization was recently solved affirmatively by Chen-Donaldson-Sun and Tian. However, this conjecture is still open for general polarizations or more generally in extremal Kahler cases. In this book, the unsolved cases of the conjecture will be discussed.It will be shown that the problem is closely related to the geometry of moduli spaces of test configurations for polarized algebraic manifolds. Another important tool in our approach is the Chow norm introduced by Zhang. This is closely related to Ding's functional, and plays a crucial role in our differential geometric study of stability. By discussing the Chow norm from various points of view, we shall make a systematic study of the existence problem of extremal Kahler metrics.

This book considers the so-called Unlikely Intersections, a topic that embraces well-known issues, such as Lang's and Manin-Mumford's, concerning torsion points in subvarieties of tori or abelian varieties. More generally, the book considers algebraic subgroups that meet a given subvariety in a set of "unlikely" dimension. The book is an expansion of the Hermann Weyl Lectures delivered by Umberto Zannier at the Institute for Advanced Study in Princeton in May 2010.

The book consists of four chapters and seven brief appendixes, the last six by David Masser. The first chapter considers multiplicative algebraic groups, presenting proofs of several developments, ranging from the origins to recent results, and discussing many applications and relations with other contexts. The second chapter considers an analogue in arithmetic and several applications of this. The third chapter introduces a new method for approaching some of these questions, and presents a detailed application of this (by Masser and the author) to a relative case of the Manin-Mumford issue. The fourth chapter focuses on the Andre-Oort conjecture (outlining work by Pila)."

This volume is an original collection of articles by 44 leading mathematicians on the theme of the future of the discipline. The contributions range from musings on the future of specific fields, to analyses of the history of the discipline, to discussions of open problems and conjectures, including first solutions of unresolved problems. Interestingly, the topics do not cover all of mathematics, but only those deemed most worthy to reflect on for future generations. These topics encompass the most active parts of pure and applied mathematics, including algebraic geometry, probability, logic, optimization, finance, topology, partial differential equations, category theory, number theory, differential geometry, dynamical systems, artificial intelligence, theory of groups, mathematical physics and statistics.

This book summarizes recent inventions, provides guidelines and recommendations, and demonstrates many practical applications of homomorphic encryption. This collection of papers represents the combined wisdom of the community of leading experts on Homomorphic Encryption. In the past 3 years, a global community consisting of researchers in academia, industry, and government, has been working closely to standardize homomorphic encryption. This is the first publication of whitepapers created by these experts that comprehensively describes the scientific inventions, presents a concrete security analysis, and broadly discusses applicable use scenarios and markets. This book also features a collection of privacy-preserving machine learning applications powered by homomorphic encryption designed by groups of top graduate students worldwide at the Private AI Bootcamp hosted by Microsoft Research. The volume aims to connect non-expert readers with this important new cryptographic technology in an accessible and actionable way. Readers who have heard good things about homomorphic encryption but are not familiar with the details will find this book full of inspiration. Readers who have preconceived biases based on out-of-date knowledge will see the recent progress made by industrial and academic pioneers on optimizing and standardizing this technology. A clear picture of how homomorphic encryption works, how to use it to solve real-world problems, and how to efficiently strengthen privacy protection, will naturally become clear.