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.

In recent years, research in K3 surfaces and Calabi-Yau varieties has seen spectacular progress from both arithmetic and geometric points of view, which in turn continues to have a huge influence and impact in theoretical physics-in particular, in string theory. The workshop on Arithmetic and Geometry of K3 surfaces and Calabi-Yau threefolds, held at the Fields Institute (August 16-25, 2011), aimed to give a state-of-the-art survey of these new developments. This proceedings volume includes a representative sampling of the broad range of topics covered by the workshop. While the subjects range from arithmetic geometry through algebraic geometry and differential geometry to mathematical physics, the papers are naturally related by the common theme of Calabi-Yau varieties. With the big variety of branches of mathematics and mathematical physics touched upon, this area reveals many deep connections between subjects previously considered unrelated. Unlike most other conferences, the 2011 Calabi-Yau workshop started with 3 days of introductory lectures. A selection of 4 of these lectures is included in this volume. These lectures can be used as a starting point for the graduate students and other junior researchers, or as a guide to the subject.

Classical Deformation Theory is used for determining the completions of the local rings of an eventual moduli space. When a moduli variety exists, a main result in the book is that the local ring in a closed point can be explicitly computed as an algebraization of the pro-representing hull (therefore, called the local formal moduli) of the deformation functor for the corresponding closed point.The book gives explicit computational methods and includes the most necessary prerequisites. It focuses on the meaning and the place of deformation theory, resulting in a complete theory applicable to moduli theory. It answers the question 'why moduli theory' and it give examples in mathematical physics by looking at the universe as a moduli of molecules. Thereby giving a meaning to most noncommutative theories.The book contains the first explicit definition of a noncommutative scheme, covered by not necessarily commutative rings. This definition does not contradict any of the previous abstract definitions of noncommutative algebraic geometry, but rather gives interesting relations to other theories which is left for further investigation.

Optimization has long been a source of both inspiration and applications for geometers, and conversely, discrete and convex geometry have provided the foundations for many optimization techniques, leading to a rich interplay between these subjects. The purpose of the Workshop on Discrete Geometry, the Conference on Discrete Geometry and Optimization, and the Workshop on Optimization, held in September 2011 at the Fields Institute, Toronto, was to further stimulate the interaction between geometers and optimizers. This volume reflects the interplay between these areas.

The inspiring Fejes Toth Lecture Series, delivered by Thomas Hales of the University of Pittsburgh, exemplified this approach. While these fields have recently witnessed a lot of activity and successes, many questions remain open. For example, Fields medalist Stephen Smale stated that the question of the existence of a strongly polynomial time algorithm for linear optimization is one of the most important unsolved problems at the beginning of the 21st century. The broad range of topics covered in this volume demonstrates the many recent and fruitful connections between different approaches, and features novel results and state-of-the-art surveys as well as open problems. "

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.

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.

Sure to be influential, this book lays the foundations for the use of algebraic geometry in statistical learning theory. Many widely used statistical models and learning machines applied to information science have a parameter space that is singular: mixture models, neural networks, HMMs, Bayesian networks, and stochastic context-free grammars are major examples. Algebraic geometry and singularity theory provide the necessary tools for studying such non-smooth models. Four main formulas are established: 1. the log likelihood function can be given a common standard form using resolution of singularities, even applied to more complex models; 2. the asymptotic behaviour of the marginal likelihood or 'the evidence' is derived based on zeta function theory; 3. new methods are derived to estimate the generalization errors in Bayes and Gibbs estimations from training errors; 4. the generalization errors of maximum likelihood and a posteriori methods are clarified by empirical process theory on algebraic varieties.

One-Cocycles and Knot Invariants is about classical knots, i.e., smooth oriented knots in 3-space. It introduces discrete combinatorial analysis in knot theory in order to solve a global tetrahedron equation. This new technique is then used to construct combinatorial 1-cocycles in a certain moduli space of knot diagrams. The construction of the moduli space makes use of the meridian and the longitude of the knot. The combinatorial 1-cocycles are therefore lifts of the well-known Conway polynomial of knots, and they can be calculated in polynomial time. The 1-cocycles can distinguish loops consisting of knot diagrams in the moduli space up to homology. They give knot invariants when they are evaluated on canonical loops in the connected components of the moduli space. They are a first candidate for numerical knot invariants which can perhaps distinguish the orientation of knots.

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.

Exploring the Riemann Zeta Function: 190 years from Riemann's Birth presents a collection of chapters contributed by eminent experts devoted to the Riemann Zeta Function, its generalizations, and their various applications to several scientific disciplines, including Analytic Number Theory, Harmonic Analysis, Complex Analysis, Probability Theory, and related subjects. The book focuses on both old and new results towards the solution of long-standing problems as well as it features some key historical remarks. The purpose of this volume is to present in a unified way broad and deep areas of research in a self-contained manner. It will be particularly useful for graduate courses and seminars as well as it will make an excellent reference tool for graduate students and researchers in Mathematics, Mathematical Physics, Engineering and Cryptography.

This book contains an exposition of the theory of meromorphic functions and linear series on a compact Riemann surface. Thus the main subject matter consists of holomorphic maps from a compact Riemann surface to complex projective space. Our emphasis is on families of meromorphic functions and holomorphic curves. Our approach is more geometric than algebraic along the lines of [Griffiths-Harrisl]. AIso, we have relied on the books [Namba] and [Arbarello-Cornalba-Griffiths-Harris] to agreat exten- nearly every result in Chapters 1 through 4 can be found in the union of these two books. Our primary motivation was to understand the totality of meromorphic functions on an algebraic curve. Though this is a classical subject and much is known about meromorphic functions, we felt that an accessible exposition was lacking in the current literature. Thus our book can be thought of as a modest effort to expose parts of the known theory of meromorphic functions and holomorphic curves with a geometric bent. We have tried to make the book self-contained and concise which meant that several major proofs not essential to further development of the theory had to be omitted. The book is targeted at the non-expert who wishes to leam enough about meromorphic functions and holomorphic curves so that helshe will be able to apply the results in hislher own research. For example, a differential geometer working in minimal surface theory may want to tind out more about the distribution pattern of poles and zeros of a meromorphic function.

An up-to-date report on the current status of important research topics in algebraic geometry and its applications, such as computational algebra and geometry, singularity theory algorithms, numerical solutions of polynomial systems, coding theory, communication networks, and computer vision. Contributions on more fundamental aspects of algebraic geometry include expositions related to counting points on varieties over finite fields, Mori theory, linear systems, Abelian varieties, vector bundles on singular curves, degenerations of surfaces, and mirror symmetry of Calabi-Yau manifolds.

This contributed volume brings together the highest quality expository papers written by leaders and talented junior mathematicians in the field of Commutative Algebra. Contributions cover a very wide range of topics, including core areas in Commutative Algebra and also relations to Algebraic Geometry, Algebraic Combinatorics, Hyperplane Arrangements, Homological Algebra, and String Theory. The book aims to showcase the area, especially for the benefit of junior mathematicians and researchers who are new to the field; it will aid them in broadening their background and to gain a deeper understanding of the current research in this area. Exciting developments are surveyed and many open problems are discussed with the aspiration to inspire the readers and foster further research.

This proceedings volume contains articles related to the research presented at the 2017 Simons Symposium on p-adic Hodge theory. This symposium was focused on recent developments in p-adic Hodge theory, especially those concerning integral questions and their connections to notions in algebraic topology. This volume features original research articles as well as articles that contain new research and survey some of these recent developments. It is the first of three volumes dedicated to p-adic Hodge theory.

Are you looking for new lectures for your course on algorithms, combinatorial optimization, or algorithmic game theory? Maybe you need a convenient source of relevant, current topics for a graduate student or advanced undergraduate student seminar? Or perhaps you just want an enjoyable look at some beautiful mathematical and algorithmic results, ideas, proofs, concepts, and techniques in discrete mathematics and theoretical computer science? Gems of Combinatorial Optimization and Graph Algorithms is a handpicked collection of up-to-date articles, carefully prepared by a select group of international experts, who have contributed some of their most mathematically or algorithmically elegant ideas. Topics include longest tours and Steiner trees in geometric spaces, cartograms, resource buying games, congestion games, selfish routing, revenue equivalence and shortest paths, scheduling, linear structures in graphs, contraction hierarchies, budgeted matching problems, and motifs in networks. This volume is aimed at readers with some familiarity of combinatorial optimization, and appeals to researchers, graduate students, and advanced undergraduate students alike.

Based on the Simons Symposia held in 2015, the proceedings in this volume focus on rational curves on higher-dimensional algebraic varieties and applications of the theory of curves to arithmetic problems. There has been significant progress in this field with major new results, which have given new impetus to the study of rational curves and spaces of rational curves on K3 surfaces and their higher-dimensional generalizations. One main recent insight the book covers is the idea that the geometry of rational curves is tightly coupled to properties of derived categories of sheaves on K3 surfaces. The implementation of this idea led to proofs of long-standing conjectures concerning birational properties of holomorphic symplectic varieties, which in turn should yield new theorems in arithmetic. This proceedings volume covers these new insights in detail.

The collection of papers in this volume represents recent advances in the under standing of the geometry and topology of singularities. The book covers a broad range of topics which are in the focus of contemporary singularity theory. Its idea emerged during two Singularities workshops held at the University of Lille (USTL) in 1999 and 2000. Due to the breadth of singularity theory, a single volume can hardly give the complete picture of today's progress. Nevertheless, this collection of papers provides a good snapshot of what is the state of affairs in the field, at the turn of the century. Several papers deal with global aspects of singularity theory. Classification of fam ilies of plane curves with prescribed singularities were among the first problems in algebraic geometry. Classification of plane cubics was known to Newton and classification of quartics was achieved by Klein at the end of the 19th century. The problem of classification of curves of higher degrees was addressed in numerous works after that. In the paper by Artal, Carmona and Cogolludo, the authors de scribe irreducible sextic curves having a singular point of type An (n > 15) and a large (Le. , :::: 18) sum of Milnor numbers of other singularities. They have discov ered many interesting properties of these families. In particular they have found new examples of so-called Zariski pairs, i. e.

The second volume of this modern account of Kaehlerian geometry and Hodge theory starts with the topology of families of algebraic varieties. The main results are the generalized Noether-Lefschetz theorems, the generic triviality of the Abel-Jacobi maps, and most importantly, Nori's connectivity theorem, which generalizes the above. The last part deals with the relationships between Hodge theory and algebraic cycles. The text is complemented by exercises offering useful results in complex algebraic geometry. Also available: Volume I 0-521-80260-1 Hardback $60.00 C

Commutative algebra is a rapidly growing subject that is developing in many different directions. This volume presents several of the most recent results from various areas related to both Noetherian and non-Noetherian commutative algebra. This volume contains a collection of invited survey articles by some of the leading experts in the field. The authors of these chapters have been carefully selected for their important contributions to an area of commutative-algebraic research. Some topics presented in the volume include: generalizations of cyclic modules, zero divisor graphs, class semigroups, forcing algebras, syzygy bundles, tight closure, Gorenstein dimensions, tensor products of algebras over fields, as well as many others. This book is intended for researchers and graduate students interested in studying the many topics related to commutative algebra.

The primary aim of this monograph is to achieve part of Beilinson's program on mixed motives using Voevodsky's theories of A1-homotopy and motivic complexes. Historically, this book is the first to give a complete construction of a triangulated category of mixed motives with rational coefficients satisfying the full Grothendieck six functors formalism as well as fulfilling Beilinson's program, in particular the interpretation of rational higher Chow groups as extension groups. Apart from Voevodsky's entire work and Grothendieck's SGA4, our main sources are Gabber's work on etale cohomology and Ayoub's solution to Voevodsky's cross functors theory. We also thoroughly develop the theory of motivic complexes with integral coefficients over general bases, along the lines of Suslin and Voevodsky. Besides this achievement, this volume provides a complete toolkit for the study of systems of coefficients satisfying Grothendieck' six functors formalism, including Grothendieck-Verdier duality. It gives a systematic account of cohomological descent theory with an emphasis on h-descent. It formalizes morphisms of coefficient systems with a view towards realization functors and comparison results. The latter allows to understand the polymorphic nature of rational mixed motives. They can be characterized by one of the following properties: existence of transfers, universality of rational algebraic K-theory, h-descent, etale descent, orientation theory. This monograph is a longstanding research work of the two authors. The first three parts are written in a self-contained manner and could be accessible to graduate students with a background in algebraic geometry and homotopy theory. It is designed to be a reference work and could also be useful outside motivic homotopy theory. The last part, containing the most innovative results, assumes some knowledge of motivic homotopy theory, although precise statements and references are given.

For more than thirty years the senior author has been trying to learn algebraic geometry. In the process he discovered that many of the classic textbooks in algebraic geometry require substantial knowledge of cohomology, homological algebra, and sheaf theory. In an attempt to demystify these abstract concepts and facilitate understanding for a new generation of mathematicians, he along with co-author wrote this book for an audience who is familiar with basic concepts of linear and abstract algebra, but who never has had any exposure to the algebraic geometry or homological algebra. As such this book consists of two parts. The first part gives a crash-course on the homological and cohomological aspects of algebraic topology, with a bias in favor of cohomology. The second part is devoted to presheaves, sheaves, Cech cohomology, derived functors, sheaf cohomology, and spectral sequences. All important concepts are intuitively motivated and the associated proofs of the quintessential theorems are presented in detail rarely found in the standard texts.

Without an introduction, this volume of 19 papers plunges right into the subject matter presented at the June 1998 symposium held at Bayreuth U. in Bayreuth, Germany. A sampling of topics: almost-lines and quasi-lines on projective manifolds, the classification of K3 surfaces with nine cusps, simply connected Godeaux surfaces, Kahlerian structures on symplectic reductions, and A geometric proof of Ax' theorem. One paper is in untranslated French. Includes an essay on Michael Schneider's scientific work with a publications list (including his still standard reference on vector bundles on projective spaces); a photograph and "alpine" vita of Schneider (who died while sports-climbing in 1997); a list of the eight symposium lectures; and a listing of the authors and participants with contact information. Lacks an index.

This book offers a comprehensive and accessible exposition of Euclidean Distance Matrices (EDMs) and rigidity theory of bar-and-joint frameworks. It is based on the one-to-one correspondence between EDMs and projected Gram matrices. Accordingly the machinery of semidefinite programming is a common thread that runs throughout the book. As a result, two parallel approaches to rigidity theory are presented. The first is traditional and more intuitive approach that is based on a vector representation of point configuration. The second is based on a Gram matrix representation of point configuration. Euclidean Distance Matrices and Their Applications in Rigidity Theory begins by establishing the necessary background needed for the rest of the book. The focus of Chapter 1 is on pertinent results from matrix theory, graph theory and convexity theory, while Chapter 2 is devoted to positive semidefinite (PSD) matrices due to the key role these matrices play in our approach. Chapters 3 to 7 provide detailed studies of EDMs, and in particular their various characterizations, classes, eigenvalues and geometry. Chapter 8 serves as a transitional chapter between EDMs and rigidity theory. Chapters 9 and 10 cover local and universal rigidities of bar-and-joint frameworks. This book is self-contained and should be accessible to a wide audience including students and researchers in statistics, operations research, computational biochemistry, engineering, computer science and mathematics.

This monograph provides a coherent development of operads, infinity operads, and monoidal categories, equipped with equivariant structures encoded by an action operad. A group operad is a planar operad with an action operad equivariant structure. In the first three parts of this monograph, we establish a foundation for group operads and for their higher coherent analogues called infinity group operads. Examples include planar, symmetric, braided, ribbon, and cactus operads, and their infinity analogues. For example, with the tools developed here, we observe that the coherent ribbon nerve of the universal cover of the framed little 2-disc operad is an infinity ribbon operad.In Part 4 we define general monoidal categories equipped with an action operad equivariant structure and provide a unifying treatment of coherence and strictification for them. Examples of such monoidal categories include symmetric, braided, ribbon, and coboundary monoidal categories, which naturally arise in the representation theory of quantum groups and of coboundary Hopf algebras and in the theory of crystals of finite dimensional complex reductive Lie algebras.

Featuring a blend of original research papers and comprehensive surveys from an international team of leading researchers in the thriving fields of foliation theory, holomorphic foliations, and birational geometry, this book presents the proceedings of the conference "Foliation Theory in Algebraic Geometry," hosted by the Simons Foundation in New York City in September 2013. Topics covered include: Fano and del Pezzo foliations; the cone theorem and rank one foliations; the structure of symmetric differentials on a smooth complex surface and a local structure theorem for closed symmetric differentials of rank two; an overview of lifting symmetric differentials from varieties with canonical singularities and the applications to the classification of AT bundles on singular varieties; an overview of the powerful theory of the variety of minimal rational tangents introduced by Hwang and Mok; recent examples of varieties which are hyperbolic and yet the Green-Griffiths locus is the whole of X; and a classification of psuedoeffective codimension one distributions. Foliations play a fundamental role in algebraic geometry, for example in the proof of abundance for threefolds and to a solution of the Green-Griffiths conjecture for surfaces of general type with positive Segre class. The purpose of this volume is to foster communication and enable interactions between experts who work on holomorphic foliations and birational geometry, and to bring together leading researchers to demonstrate the powerful connection of ideas, methods, and goals shared by these two areas of study.