This book presents contributions from two workshops in algebraic and analytic microlocal analysis that took place in 2012 and 2013 at Northwestern University. Featured papers expand on mini-courses and talks ranging from foundational material to advanced research-level papers, and new applications in symplectic geometry, mathematical physics, partial differential equations, and complex analysis are discussed in detail. Topics include Procesi bundles and symplectic reflection algebras, microlocal condition for non-displaceability, polarized complex manifolds, nodal sets of Laplace eigenfunctions, geodesics in the space of K hler metrics, and partial Bergman kernels. This volume is a valuable resource for graduate students and researchers in mathematics interested in understanding microlocal analysis and learning about recent research in the area.

This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.

This book collects and explains the many theorems concerning the existence of certificates of positivity for polynomials that are positive globally or on semialgebraic sets. A certificate of positivity for a real polynomial is an algebraic identity that gives an immediate proof of a positivity condition for the polynomial. Certificates of positivity have their roots in fundamental work of David Hilbert from the late 19th century on positive polynomials and sums of squares. Because of the numerous applications of certificates of positivity in mathematics, applied mathematics, engineering, and other fields, it is desirable to have methods for finding, describing, and characterizing them. For many of the topics covered in this book, appropriate algorithms, computational methods, and applications are discussed. This volume contains a comprehensive, accessible, up-to-date treatment of certificates of positivity, written by an expert in the field. It provides an overview of both the theory and computational aspects of the subject, and includes many of the recent and exciting developments in the area. Background information is given so that beginning graduate students and researchers who are not specialists can learn about this fascinating subject. Furthermore, researchers who work on certificates of positivity or use them in applications will find this a useful reference for their work.

This monograph focuses on the geometric theory of motivic integration, which takes its values in the Grothendieck ring of varieties. This theory is rooted in a groundbreaking idea of Kontsevich and was further developed by Denef & Loeser and Sebag. It is presented in the context of formal schemes over a discrete valuation ring, without any restriction on the residue characteristic. The text first discusses the main features of the Grothendieck ring of varieties, arc schemes, and Greenberg schemes. It then moves on to motivic integration and its applications to birational geometry and non-Archimedean geometry. Also included in the work is a prologue on p-adic analytic manifolds, which served as a model for motivic integration. With its extensive discussion of preliminaries and applications, this book is an ideal resource for graduate students of algebraic geometry and researchers of motivic integration. It will also serve as a motivation for more recent and sophisticated theories that have been developed since.

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 provides a comprehensive account of the theory of moduli spaces of elliptic curves (over integer rings) and its application to modular forms. The construction of Galois representations, which play a fundamental role in Wiles' proof of the Shimura-Taniyama conjecture, is given. In addition, the book presents an outline of the proof of diverse modularity results of two-dimensional Galois representations (including that of Wiles), as well as some of the author's new results in that direction.In this new second edition, a detailed description of Barsotti-Tate groups (including formal Lie groups) is added to Chapter 1. As an application, a down-to-earth description of formal deformation theory of elliptic curves is incorporated at the end of Chapter 2 (in order to make the proof of regularity of the moduli of elliptic curve more conceptual), and in Chapter 4, though limited to ordinary cases, newly incorporated are Ribet's theorem of full image of modular p-adic Galois representation and its generalization to 'big' -adic Galois representations under mild assumptions (a new result of the author). Though some of the striking developments described above is out of the scope of this introductory book, the author gives a taste of present day research in the area of Number Theory at the very end of the book (giving a good account of modularity theory of abelian -varieties and -curves).

This volume consists of ten articles which provide an in-depth and reader-friendly survey of some of the foundational aspects of singularity theory. Authored by world experts, the various contributions deal with both classical material and modern developments, covering a wide range of topics which are linked to each other in fundamental ways. Singularities are ubiquitous in mathematics and science in general. Singularity theory interacts energetically with the rest of mathematics, acting as a crucible where different types of mathematical problems interact, surprising connections are born and simple questions lead to ideas which resonate in other parts of the subject. This is the first volume in a series which aims to provide an accessible account of the state-of-the-art of the subject, its frontiers, and its interactions with other areas of research. The book is addressed to graduate students and newcomers to the theory, as well as to specialists who can use it as a guidebook.

This volume consolidates selected articles from the 2016 Apprenticeship Program at the Fields Institute, part of the larger program on Combinatorial Algebraic Geometry that ran from July through December of 2016. Written primarily by junior mathematicians, the articles cover a range of topics in combinatorial algebraic geometry including curves, surfaces, Grassmannians, convexity, abelian varieties, and moduli spaces. This book bridges the gap between graduate courses and cutting-edge research by connecting historical sources, computation, explicit examples, and new results.

This book is an introduction to the geometry of complex algebraic varieties. It is intended for students who have learned algebra, analysis, and topology, as taught in standard undergraduate courses. So it is a suitable text for a beginning graduate course or an advanced undergraduate course. The book begins with a study of plane algebraic curves, then introduces affine and projective varieties, going on to dimension and construcibility. $\mathcal{O}$-modules (quasicoherent sheaves) are defined without reference to sheaf theory, and their cohomology is defined axiomatically. The Riemann-Roch Theorem for curves is proved using projection to the projective line. Some of the points that aren't always treated in beginning courses are Hensel's Lemma, Chevalley's Finiteness Theorem, and the Birkhoff-Grothendieck Theorem. The book contains extensive discussions of finite group actions, lines in $\mathbb{P}^3$, and double planes, and it ends with applications of the Riemann-Roch Theorem.

This book provides the latest competing research results on non-commutative harmonic analysis on homogeneous spaces with many applications. It also includes the most recent developments on other areas of mathematics including algebra and geometry. Lie group representation theory and harmonic analysis on Lie groups and on their homogeneous spaces form a significant and important area of mathematical research. These areas are interrelated with various other mathematical fields such as number theory, algebraic geometry, differential geometry, operator algebra, partial differential equations and mathematical physics. Keeping up with the fast development of this exciting area of research, Ali Baklouti (University of Sfax) and Takaaki Nomura (Kyushu University) launched a series of seminars on the topic, the first of which took place on November 2009 in Kerkennah Islands, the second in Sousse on December 2011, and the third in Hammamet on December 2013. The last seminar, which took place December 18th to 23rd 2015 in Monastir, Tunisia, has promoted further research in all the fields where the main focus was in the area of Analysis, algebra and geometry and on topics of joint collaboration of many teams in several corners. Many experts from both countries have been involved.

The KSCV Symposium, the Korean Conference on Several Complex Variables, started in 1997 in an effort to promote the study of complex analysis and geometry. Since then, the conference met semi-regularly for about 10 years and then settled on being held biannually. The sixth and tenth conferences were held in 2002 and 2014 as satellite conferences to the Beijing International Congress of Mathematicians (ICM) and the Seoul ICM, respectively. The purpose of the KSCV Symposium is to organize the research talks of many leading scholars in the world, to provide an opportunity for communication, and to promote new researchers in this field.

A Concise Introduction to Algebraic Varieties is designed for a one-term introductory course on algebraic varieties over an algebraically closed field, and it provides a solid basis for a course on schemes and cohomology or on specialized topics, such as toric varieties and moduli spaces of curves. The book balances generality and accessibility by presenting local and global concepts, such as nonsingularity, normality, and completeness using the language of atlases, an approach that is most commonly associated with differential topology. The book concludes with a discussion of the Riemann-Roch theorem, the Brill-Noether theorem, and applications. The prerequisites for the book are a strong undergraduate algebra course and a working familiarity with basic point-set topology. A course in graduate algebra is helpful but not required. The book includes appendices presenting useful background in complex analytic topology and commutative algebra and provides plentiful examples and exercises that help build intuition and familiarity with algebraic varieties.

The book provides a comprehensive introduction and a novel mathematical foundation of the field of information geometry with complete proofs and detailed background material on measure theory, Riemannian geometry and Banach space theory. Parametrised measure models are defined as fundamental geometric objects, which can be both finite or infinite dimensional. Based on these models, canonical tensor fields are introduced and further studied, including the Fisher metric and the Amari-Chentsov tensor, and embeddings of statistical manifolds are investigated. This novel foundation then leads to application highlights, such as generalizations and extensions of the classical uniqueness result of Chentsov or the Cramer-Rao inequality. Additionally, several new application fields of information geometry are highlighted, for instance hierarchical and graphical models, complexity theory, population genetics, or Markov Chain Monte Carlo. The book will be of interest to mathematicians who are interested in geometry, information theory, or the foundations of statistics, to statisticians as well as to scientists interested in the mathematical foundations of complex systems.

The goal of this book is to cover the active developments of arithmetically Cohen-Macaulay and Ulrich bundles and related topics in the last 30 years, and to present relevant techniques and multiple applications of the theory of Ulrich bundles to a wide range of problems in algebraic geometry as well as in commutative algebra.

This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: formal calculus (through the theory of Groebner bases) and geometry (via quiver theory). Groebner bases serve as effective models for computation in algebras of various types. Although the theory of Groebner bases was developed in the second half of the 20th century, many works on computational methods in algebra were published well before the introduction of the modern algebraic language. Since then, new algorithms have been developed and the theory itself has greatly expanded. In comparison, diagrammatic methods in representation theory are relatively new, with the quiver varieties only being introduced - with big impact - in the 1990s. Divided into two parts, the book first discusses the theory of Groebner bases in their commutative and noncommutative contexts, with a focus on algorithmic aspects and applications of Groebner bases to analysis on systems of partial differential equations, effective analysis on rings of differential operators, and homological algebra. It then introduces representations of quivers, quiver varieties and their applications to the moduli spaces of meromorphic connections on the complex projective line. While no particular reader background is assumed, the book is intended for graduate students in mathematics, engineering and related fields, as well as researchers and scholars.

This introductory textbook for a graduate course in pure mathematics provides a gateway into the two difficult fields of algebraic geometry and commutative algebra. Algebraic geometry, supported fundamentally by commutative algebra, is a cornerstone of pure mathematics.

Along the lines developed by Grothendieck, this book delves into the rich interplay between algebraic geometry and commutative algebra. A selection is made from the wealth of material in the discipline, along with concise yet clear definitions and synopses.

This volume contains the proceedings of the workshop Crossing the Walls in Enumerative Geometry, held in May 2018 at Snowbird, Utah. It features a collection of both expository and research articles about mirror symmetry, quantized singularity theory (FJRW theory), and the gauged linear sigma model. Most of the expository works are based on introductory lecture series given at the workshop and provide an approachable introduction for graduate students to some fundamental topics in mirror symmetry and singularity theory, including quasimaps, localization, the gauged linear sigma model (GLSM), virtual classes, cosection localization, $p$-fields, and Saito's primitive forms. These articles help readers bridge the gap from the standard graduate curriculum in algebraic geometry to exciting cutting-edge research in the field. The volume also contains several research articles by leading researchers, showcasing new developments in the field.

This book is the second edition of the third and last volume of a treatise on projective spaces over a finite field, also known as Galois geometries. This volume completes the trilogy comprised of plane case (first volume) and three dimensions (second volume). This revised edition includes much updating and new material. It is a mostly self-contained study of classical varieties over a finite field, related incidence structures and particular point sets in finite n-dimensional projective spaces. General Galois Geometries is suitable for PhD students and researchers in combinatorics and geometry. The separate chapters can be used for courses at postgraduate level.

Affine algebraic geometry has progressed remarkably in the last half a century, and its central topics are affine spaces and affine space fibrations. This authoritative book is aimed at graduate students and researchers alike, and studies the geometry and topology of morphisms of algebraic varieties whose general fibers are isomorphic to the affine space while describing structures of algebraic varieties with such affine space fibrations.

Quaternionic and Clifford analysis are an extension of complex analysis into higher dimensions. The unique starting point of Wolfgang Sproessig's work was the application of quaternionic analysis to elliptic differential equations and boundary value problems. Over the years, Clifford analysis has become a broad-based theory with a variety of applications both inside and outside of mathematics, such as higher-dimensional function theory, algebraic structures, generalized polynomials, applications of elliptic boundary value problems, wavelets, image processing, numerical and discrete analysis. The aim of this volume is to provide an essential overview of modern topics in Clifford analysis, presented by specialists in the field, and to honor the valued contributions to Clifford analysis made by Wolfgang Sproessig throughout his career.

This edited collection of chapters, authored by leading experts, provides a complete and essentially self-contained construction of 3-fold and 4-fold klt flips. A large part of the text is a digest of Shokurov's work in the field and a concise, complete and pedagogical proof of the existence of 3-fold flips is presented. The text includes a ten page glossary and is accessible to students and researchers in algebraic geometry.

Theta functions were studied extensively by Ramanujan. This book provides a systematic development of Ramanujan's results and extends them to a general theory. The author's treatment of the subject is comprehensive, providing a detailed study of theta functions and modular forms for levels up to 12. Aimed at advanced undergraduates, graduate students, and researchers, the organization, user-friendly presentation, and rich source of examples, lends this book to serve as a useful reference, a pedagogical tool, and a stimulus for further research. Topics, especially those discussed in the second half of the book, have been the subject of much recent research; many of which are appearing in book form for the first time. Further results are summarized in the numerous exercises at the end of each chapter.

This book presents state-of-the-art research and survey articles that highlight work done within the Priority Program SPP 1489 "Algorithmic and Experimental Methods in Algebra, Geometry and Number Theory", which was established and generously supported by the German Research Foundation (DFG) from 2010 to 2016. The goal of the program was to substantially advance algorithmic and experimental methods in the aforementioned disciplines, to combine the different methods where necessary, and to apply them to central questions in theory and practice. Of particular concern was the further development of freely available open source computer algebra systems and their interaction in order to create powerful new computational tools that transcend the boundaries of the individual disciplines involved. The book covers a broad range of topics addressing the design and theoretical foundations, implementation and the successful application of algebraic algorithms in order to solve mathematical research problems. It offers a valuable resource for all researchers, from graduate students through established experts, who are interested in the computational aspects of algebra, geometry, and/or number theory.

Nolan Wallach's mathematical research is remarkable in both its breadth and depth. His contributions to many fields include representation theory, harmonic analysis, algebraic geometry, combinatorics, number theory, differential equations, Riemannian geometry, ring theory, and quantum information theory. The touchstone and unifying thread running through all his work is the idea of symmetry. This volume is a collection of invited articles that pay tribute to Wallach's ideas, and show symmetry at work in a large variety of areas. The articles, predominantly expository, are written by distinguished mathematicians and contain sufficient preliminary material to reach the widest possible audiences. Graduate students, mathematicians, and physicists interested in representation theory and its applications will find many gems in this volume that have not appeared in print elsewhere. Contributors: D. Barbasch, K. Baur, O. Bucicovschi, B. Casselman, D. Ciubotaru, M. Colarusso, P. Delorme, T. Enright, W.T. Gan, A Garsia, G. Gour, B. Gross, J. Haglund, G. Han, P. Harris, J. Hong, R. Howe, M. Hunziker, B. Kostant, H. Kraft, D. Meyer, R. Miatello, L. Ni, G. Schwarz, L. Small, D. Vogan, N. Wallach, J. Wolf, G. Xin, O. Yacobi.