Infinitary logic, the logic of languages with infinitely long conjunctions, plays an important role in model theory, recursion theory and descriptive set theory. This book is the first modern introduction to the subject in forty years, and will bring students and researchers in all areas of mathematical logic up to the threshold of modern research. The classical topics of back-and-forth systems, model existence techniques, indiscernibles and end extensions are covered before more modern topics are surveyed. Zilber's categoricity theorem for quasiminimal excellent classes is proved and an application is given to covers of multiplicative groups. Infinitary methods are also used to study uncountable models of counterexamples to Vaught's conjecture, and effective aspects of infinitary model theory are reviewed, including an introduction to Montalban's recent work on spectra of Vaught counterexamples. Self-contained introductions to effective descriptive set theory and hyperarithmetic theory are provided, as is an appendix on admissible model theory.

Providing a timely description of the present state of the art of moduli spaces of curves and their geometry, this volume is written in a way which will make it extremely useful both for young people who want to approach this important field, and also for established researchers, who will find references, problems, original expositions, new viewpoints, etc. The book collects the lecture notes of a number of leading algebraic geometers and in particular specialists in the field of moduli spaces of curves and their geometry. This is an important subject in algebraic geometry and complex analysis which has seen spectacular developments in recent decades, with important applications to other parts of mathematics such as birational geometry and enumerative geometry, and to other sciences, including physics. The themes treated are classical but with a constant look to modern developments (see Cascini, Debarre, Farkas, and Sernesi's contributions), and include very new material, such as Bridgeland stability (see Macri's lecture notes) and tropical geometry (see Chan's lecture notes).

This book is an elegant and rigorous presentation of integer programming, exposing the subject's mathematical depth and broad applicability. Special attention is given to the theory behind the algorithms used in state-of-the-art solvers. An abundance of concrete examples and exercises of both theoretical and real-world interest explore the wide range of applications and ramifications of the theory. Each chapter is accompanied by an expertly informed guide to the literature and special topics, rounding out the reader's understanding and serving as a gateway to deeper study. Key topics include: formulations polyhedral theory cutting planes decomposition enumeration semidefinite relaxations Written by renowned experts in integer programming and combinatorial optimization, Integer Programming is destined to become an essential text in the field.

This book provides a first course on lattices - mathematical objects pertaining to the realm of discrete geometry, which are of interest to mathematicians for their structure and, at the same time, are used by electrical and computer engineers working on coding theory and cryptography. The book presents both fundamental concepts and a wealth of applications, including coding and transmission over Gaussian channels, techniques for obtaining lattices from finite prime fields and quadratic fields, constructions of spherical codes, and hard lattice problems used in cryptography. The topics selected are covered in a level of detail not usually found in reference books. As the range of applications of lattices continues to grow, this work will appeal to mathematicians, electrical and computer engineers, and graduate or advanced undergraduate in these fields.

There are many interactions between noncommutative algebra and representation theory on the one hand and classical algebraic geometry on the other, with important applications in both directions. The aim of this book is to provide a comprehensive introduction to some of the most significant topics in this area, including noncommutative projective algebraic geometry, deformation theory, symplectic reflection algebras, and noncommutative resolutions of singularities. The book is based on lecture courses in noncommutative algebraic geometry given by the authors at a Summer Graduate School at the Mathematical Sciences Research Institute, California in 2012 and, as such, is suitable for advanced graduate students and those undertaking early post-doctorate research. In keeping with the lectures on which the book is based, a large number of exercises are provided, for which partial solutions are included.

There are many interactions between noncommutative algebra and representation theory on the one hand and classical algebraic geometry on the other, with important applications in both directions. The aim of this book is to provide a comprehensive introduction to some of the most significant topics in this area, including noncommutative projective algebraic geometry, deformation theory, symplectic reflection algebras, and noncommutative resolutions of singularities. The book is based on lecture courses in noncommutative algebraic geometry given by the authors at a Summer Graduate School at the Mathematical Sciences Research Institute, California in 2012 and, as such, is suitable for advanced graduate students and those undertaking early post-doctorate research. In keeping with the lectures on which the book is based, a large number of exercises are provided, for which partial solutions are included.

The purpose of this monograph is two-fold: it introduces a conceptual language for the geometrical objects underlying Painleve equations, and it offers new results on a particular Painleve III equation of type PIII (D6), called PIII (0, 0, 4, 4), describing its relation to isomonodromic families of vector bundles on P1 with meromorphic connections. This equation is equivalent to the radial sine (or sinh) Gordon equation and, as such, it appears widely in geometry and physics. It is used here as a very concrete and classical illustration of the modern theory of vector bundles with meromorphic connections. Complex multi-valued solutions on C* are the natural context for most of the monograph, but in the last four chapters real solutions on R>0 (with or without singularities) are addressed. These provide examples of variations of TERP structures, which are related to tt geometry and harmonic bundles. As an application, a new global picture o0 is given.

This volume contains articles related to the work of the Simons Collaboration "Arithmetic Geometry, Number Theory, and Computation." The papers present mathematical results and algorithms necessary for the development of large-scale databases like the L-functions and Modular Forms Database (LMFDB). The authors aim to develop systematic tools for analyzing Diophantine properties of curves, surfaces, and abelian varieties over number fields and finite fields. The articles also explore examples important for future research. Specific topics include algebraic varieties over finite fields the Chabauty-Coleman method modular forms rational points on curves of small genus S-unit equations and integral points.

Geometric Invariant Theory (GIT) is developed in this text within the context of algebraic geometry over the real and complex numbers. This sophisticated topic is elegantly presented with enough background theory included to make the text accessible to advanced graduate students in mathematics and physics with diverse backgrounds in algebraic and differential geometry. Throughout the book, examples are emphasized. Exercises add to the reader's understanding of the material; most are enhanced with hints. The exposition is divided into two parts. The first part, 'Background Theory', is organized as a reference for the rest of the book. It contains two chapters developing material in complex and real algebraic geometry and algebraic groups that are difficult to find in the literature. Chapter 1 emphasizes the relationship between the Zariski topology and the canonical Hausdorff topology of an algebraic variety over the complex numbers. Chapter 2 develops the interaction between Lie groups and algebraic groups. Part 2, 'Geometric Invariant Theory' consists of three chapters (3-5). Chapter 3 centers on the Hilbert-Mumford theorem and contains a complete development of the Kempf-Ness theorem and Vindberg's theory. Chapter 4 studies the orbit structure of a reductive algebraic group on a projective variety emphasizing Kostant's theory. The final chapter studies the extension of classical invariant theory to products of classical groups emphasizing recent applications of the theory to physics.

In its simplest form, Hodge theory is the study of periods - integrals of algebraic differential forms which arise in the study of complex geometry and moduli, number theory and physics. Organized around the basic concepts of variations of Hodge structure and period maps, this volume draws together new developments in deformation theory, mirror symmetry, Galois representations, iterated integrals, algebraic cycles and the Hodge conjecture. Its mixture of high-quality expository and research articles make it a useful resource for graduate students and seasoned researchers alike.

This self-contained monograph explores a new theory centered around boolean representations of simplicial complexes leading to a new class of complexes featuring matroids as central to the theory. The book illustrates these new tools to study the classical theory of matroids as well as their important geometric connections. Moreover, many geometric and topological features of the theory of matroids find their counterparts in this extended context. Graduate students and researchers working in the areas of combinatorics, geometry, topology, algebra and lattice theory will find this monograph appealing due to the wide range of new problems raised by the theory. Combinatorialists will find this extension of the theory of matroids useful as it opens new lines of research within and beyond matroids. The geometric features and geometric/topological applications will appeal to geometers. Topologists who desire to perform algebraic topology computations will appreciate the algorithmic potential of boolean representable complexes.

The present publication contains a special collection of research and review articles on deformations of surface singularities, that put together serve as an introductory survey of results and methods of the theory, as well as open problems and examples.  The aim is to collect material that will help mathematicians already working or wishing to work in this area to deepen their insight and eliminate the technical barriers in this learning process. Additionally, we introduce some material which emphasizes the newly found relationship with the theory of Stein fillings and symplectic geometry. This links two main theories of mathematics: low dimensional topology and algebraic geometry.​ The theory of normal surface singularities is a distinguished part of analytic or algebraic geometry with several important results, its own technical machinery, and several open problems. Recently several connections were established with low dimensional topology, symplectic geometry and theory of Stein fillings. This created an intense mathematical activity with spectacular bridges between the two areas. The theory of deformation of singularities is the key object in these connections.   

This monograph presents the basic concepts of hyperbolic Lobachevsky geometry and their possible applications to modern nonlinear applied problems in mathematics and physics, summarizing the findings of roughly the last hundred years. The central sections cover the classical building blocks of hyperbolic Lobachevsky geometry, pseudo spherical surfaces theory, net geometrical investigative techniques of nonlinear differential equations in partial derivatives, and their applications to the analysis of the physical models. As the sine-Gordon equation appears to have profound "geometrical roots" and numerous applications to modern nonlinear problems, it is treated as a universal "object" of investigation, connecting many of the problems discussed. The aim of this book is to form a general geometrical view on the different problems of modern mathematics, physics and natural science in general in the context of non-Euclidean hyperbolic geometry.

The present volume is a collection of a dozen survey articles, dedicated to the memory of the famous Hungarian geometer, László Fejes Tóth, on the 99th anniversary of his birth. Each article reviews recent progress in an important field in intuitive, discrete, and convex geometry. The mathematical work and perspectives of all editors and most contributors of this volume were deeply influenced by László Fejes Tóth. 

Algebra, geometry and topology cover a variety of different, but intimately related research fields in modern mathematics. This book focuses on specific aspects of this interaction. The present volume contains refereed papers which were presented at the International Conference "Experimental and Theoretical Methods in Algebra, Geometry and Topology", held in Eforie Nord (near Constanta), Romania, during 20-25 June 2013. The conference was devoted to the 60th anniversary of the distinguished Romanian mathematicians Alexandru Dimca and Stefan Papadima. The selected papers consist of original research work and a survey paper. They are intended for a large audience, including researchers and graduate students interested in algebraic geometry, combinatorics, topology, hyperplane arrangements and commutative algebra. The papers are written by well-known experts from different fields of mathematics, affiliated to universities from all over the word, they cover a broad range of topics and explore the research frontiers of a wide variety of contemporary problems of modern mathematics.

The topics faced in this book cover a large spectrum of current trends in mathematics, such as Shimura varieties and the Lang lands program, zonotopal combinatorics, non linear potential theory, variational methods in imaging, Riemann holonomy and algebraic geometry, mathematical problems arising in kinetic theory, Boltzmann systems, Pell's equations in polynomials, deformation theory in non commutative algebras. This work contains a selection of contributions written by international leading mathematicians who were speakers at the "INdAM Day", an initiative born in 2004 to present the most recent developments in contemporary mathematics.

This book contains recent contributions to the fields of rigidity and symmetry with two primary focuses: to present the mathematically rigorous treatment of rigidity of structures and to explore the interaction of geometry, algebra and combinatorics. Contributions present recent trends and advances in discrete geometry, particularly in the theory of polytopes. 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, classical geometry, hyperbolic geometry and topology. Overall, the book shows how researchers from diverse backgrounds explore connections among the various discrete structures with symmetry as the unifying theme. The volume will be a valuable source as an introduction to the ideas of both combinatorial and geometric rigidity theory and its applications, incorporating the surprising impact of symmetry. It will appeal to students at both the advanced undergraduate and graduate levels, as well as post docs, structural engineers and chemists.

This is the fifth conference in a bi-annual series, following conferences in Besancon, Limoges, Irsee and Toronto. The meeting aims to bring together different strands of research in and closely related to the area of Iwasawa theory. During the week before the conference in a kind of summer school a series of preparatory lectures for young mathematicians was provided as an introduction to Iwasawa theory. Iwasawa theory is a modern and powerful branch of number theory and can be traced back to the Japanese mathematician Kenkichi Iwasawa, who introduced the systematic study of Z_p-extensions and p-adic L-functions, concentrating on the case of ideal class groups. Later this would be generalized to elliptic curves. Over the last few decades considerable progress has been made in automorphic Iwasawa theory, e.g. the proof of the Main Conjecture for GL(2) by Kato and Skinner & Urban. Techniques such as Hida's theory of p-adic modular forms and big Galois representations play a crucial part. Also a noncommutative Iwasawa theory of arbitrary p-adic Lie extensions has been developed. This volume aims to present a snapshot of the state of art of Iwasawa theory as of 2012. In particular it offers an introduction to Iwasawa theory (based on a preparatory course by Chris Wuthrich) and a survey of the proof of Skinner & Urban (based on a lecture course by Xin Wan).

In the 2012-13 academic year, the Mathematical Sciences Research Institute, Berkeley, hosted programs in Commutative Algebra (Fall 2012 and Spring 2013) and Noncommutative Algebraic Geometry and Representation Theory (Spring 2013). There have been many significant developments in these fields in recent years; what is more, the boundary between them has become increasingly blurred. This was apparent during the MSRI program, where there were a number of joint seminars on subjects of common interest: birational geometry, D-modules, invariant theory, matrix factorizations, noncommutative resolutions, singularity categories, support varieties, and tilting theory, to name a few. These volumes reflect the lively interaction between the subjects witnessed at MSRI. The Introductory Workshops and Connections for Women Workshops for the two programs included lecture series by experts in the field. The volumes include a number of survey articles based on these lectures, along with expository articles and research papers by participants of the programs. Volume 1 contains expository papers ideal for those entering the field.

Vladimir Arnold was one of the great mathematical scientists of our time. He is famous for both the breadth and the depth of his work. At the same time he is one of the most prolific and outstanding mathematical authors. This second volume of his Collected Works focuses on hydrodynamics, bifurcation theory, and algebraic geometry.

Commutative algebra, combinatorics, and algebraic geometry are thriving areas of mathematical research with a rich history of interaction. Connections Between Algebra and Geometry contains lecture notes, along with exercises and solutions, from the Workshop on Connections Between Algebra and Geometry held at the University of Regina from May 29-June 1, 2012. It also contains research and survey papers from academics invited to participate in the companion Special Session on Interactions Between Algebraic Geometry and Commutative Algebra, which was part of the CMS Summer Meeting at the University of Regina held June 2-3, 2012, and the meeting Further Connections Between Algebra and Geometry, which was held at the North Dakota State University February 23, 2013. This volume highlights three mini-courses in the areas of commutative algebra and algebraic geometry: differential graded commutative algebra, secant varieties, and fat points and symbolic powers. It will serve as a useful resource for graduate students and researchers who wish to expand their knowledge of commutative algebra, algebraic geometry, combinatorics, and the intricacies of their intersection.

As in the previous Seminar Notes, the current volume reflects general trends in the study of Geometric Aspects of Functional Analysis, understood in a broad sense. A classical theme in the Local Theory of Banach Spaces which is well represented in this volume is the identification of lower-dimensional structures in high-dimensional objects. More recent applications of high-dimensionality are manifested by contributions in Random Matrix Theory, Concentration of Measure and Empirical Processes. Naturally, the Gaussian measure plays a central role in many of these topics, and is also studied in this volume; in particular, the recent breakthrough proof of the Gaussian Correlation Conjecture is revisited. The interplay of the theory with Harmonic and Spectral Analysis is also well apparent in several contributions. The classical relation to both the primal and dual Brunn-Minkowski theories is also well represented, and related algebraic structures pertaining to valuations and valent functions are discussed. All contributions are original research papers and were subject to the usual refereeing standards.

This book introduces the reader to basic notions of integrable techniques for one-dimensional quantum systems. In a pedagogical way, a few examples of exactly solvable models are worked out to go from the coordinate approach to the Algebraic Bethe Ansatz, with some discussion on the finite temperature thermodynamics. The aim is to provide the instruments to approach more advanced books or to allow for a critical reading of research articles and the extraction of useful information from them. We describe the solution of the anisotropic XY spin chain; of the Lieb-Liniger model of bosons with contact interaction at zero and finite temperature; and of the XXZ spin chain, first in the coordinate and then in the algebraic approach. To establish the connection between the latter and the solution of two dimensional classical models, we also introduce and solve the 6-vertex model. Finally, the low energy physics of these integrable models is mapped into the corresponding conformal field theory. Through its style and the choice of topics, this book tries to touch all fundamental ideas behind integrability and is meant for students and researchers interested either in an introduction to later delve in the advance aspects of Bethe Ansatz or in an overview of the topic for broadening their culture.

This book provides an introduction to noncommutative geometry and presents a number of its recent applications to particle physics. It is intended for graduate students in mathematics/theoretical physics who are new to the field of noncommutative geometry, as well as for researchers in mathematics/theoretical physics with an interest in the physical applications of noncommutative geometry. In the first part, we introduce the main concepts and techniques by studying finite noncommutative spaces, providing a “light� approach to noncommutative geometry. We then proceed with the general framework by defining and analyzing noncommutative spin manifolds and deriving some main results on them, such as the local index formula. In the second part, we show how noncommutative spin manifolds naturally give rise to gauge theories, applying this principle to specific examples. We subsequently geometrically derive abelian and non-abelian Yang-Mills gauge theories, and eventually the full Standard Model of particle physics, and conclude by explaining how noncommutative geometry might indicate how to proceed beyond the Standard Model.

Presenting the first systematic treatment of the behavior of Neron models under ramified base change, this book can be read as an introduction to various subtle invariants and constructions related to Neron models of semi-abelian varieties, motivated by concrete research problems and complemented with explicit examples. Neron models of abelian and semi-abelian varieties have become an indispensable tool in algebraic and arithmetic geometry since Neron introduced them in his seminal 1964 paper. Applications range from the theory of heights in Diophantine geometry to Hodge theory. We focus specifically on Neron component groups, Edixhoven's filtration and the base change conductor of Chai and Yu, and we study these invariants using various techniques such as models of curves, sheaves on Grothendieck sites and non-archimedean uniformization. We then apply our results to the study of motivic zeta functions of abelian varieties. The final chapter contains a list of challenging open questions. This book is aimed towards researchers with a background in algebraic and arithmetic geometry.