This book celebrates the 50th anniversary of the Institute of Mathematics, Statistics and Scientific Computing (IMECC) of the University of Campinas, Brazil, by offering reviews of selected research developed at one of the most prestigious mathematics institutes in Latin America. Written by senior professors at the IMECC, it covers topics in pure and applied mathematics and statistics ranging from differential geometry, dynamical systems, Lie groups, and partial differential equations to computational optimization, mathematical physics, stochastic process, time series, and more. A report on the challenges and opportunities of research in applied mathematics - a highly active field of research in the country - and highlights of the Institute since its foundation in 1968 completes this historical volume, which is unveiled in the same year that the International Mathematical Union (IMU) names Brazil as a member of the Group V of countries with the most relevant contributions in mathematics.

This volume contains extended abstracts outlining selected talks and other selected presentations given by participants of the workshop "Positivity and Valuations", held at the Centre de Recerca Matematica (CRM) in Barcelona from February 22nd to 26th, 2016. They include brief research articles reporting new results, descriptions of preliminary work or open problems, and the outcome of work in groups initiated during the workshop. The general subject is the application of valuation theory to positivity questions in algebraic geometry. The topics covered range from purely algebraic problems like finite generation of semigroups and algebras defined by valuations, and properties of the associated Poincare series, to more geometric questions like resolution of singularities and properties of Newton-Okounkov bodies, linked with non-archimedean geometry and tropical geometry. The book is intended for established researchers, as well as for PhD and postdoctoral students who want to learn more about the latest advances in these highly active areas of research.

Volume III of the Collected Works of V.I. Arnold contains papers written in the years 1972 to 1979. The main theme emerging in Arnold's work of this period is the development of singularity theory of smooth functions and mappings. The volume also contains papers by V.I. Arnold on catastrophe theory and on A.N. Kolmogorov's school, his prefaces to Russian editions of several books related to singularity theory, V. Arnold's lectures on bifurcations of discrete dynamical systems, as well as a review by V.I. Arnold and Ya.B. Zeldovich of V.V. Beletsky's book on celestial mechanics. 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 unique collection of new and classical problems provides full coverage of geometric inequalities. Many of the 1,000 exercises are presented with detailed author-prepared-solutions, developing creativity and an arsenal of new approaches for solving mathematical problems. This book can serve teachers, high-school students, and mathematical competitors. It may also be used as supplemental reading, providing readers with new and classical methods for proving geometric inequalities.

This volume presents original research articles and extended surveys related to the mathematical interest and work of Jean-Michel Bismut. His outstanding contributions to probability theory and global analysis on manifolds have had a profound impact on several branches of mathematics in the areas of control theory, mathematical physics and arithmetic geometry. Contributions by: K. Behrend N. Bergeron S. K. Donaldson J. Dubedat B. Duplantier G. Faltings E. Getzler G. Kings R. Mazzeo J. Millson C. Moeglin W. Muller R. Rhodes D. Roessler S. Sheffield A. Teleman G. Tian K-I. Yoshikawa H. Weiss W. Werner The collection is a valuable resource for graduate students and researchers in these fields.

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.

The contributions in this book explore various contexts in which the derived category of coherent sheaves on a variety determines some of its arithmetic. This setting provides new geometric tools for interpreting elements of the Brauer group. With a view towards future arithmetic applications, the book extends a number of powerful tools for analyzing rational points on elliptic curves, e.g., isogenies among curves, torsion points, modular curves, and the resulting descent techniques, as well as higher-dimensional varieties like K3 surfaces. Inspired by the rapid recent advances in our understanding of K3 surfaces, the book is intended to foster cross-pollination between the fields of complex algebraic geometry and number theory. Contributors: * Nicolas Addington * Benjamin Antieau * Kenneth Ascher * Asher Auel * Fedor Bogomolov * Jean-Louis Colliot-Thelene * Krishna Dasaratha * Brendan Hassett * Colin Ingalls * Marti Lahoz * Emanuele Macri * Kelly McKinnie * Andrew Obus * Ekin Ozman * Raman Parimala * Alexander Perry * Alena Pirutka * Justin Sawon * Alexei N. Skorobogatov * Paolo Stellari * Sho Tanimoto * Hugh Thomas * Yuri Tschinkel * Anthony Varilly-Alvarado * Bianca Viray * Rong Zhou

This volume presents some of the research topics discussed at the 2014-2015 Annual Thematic Program Discrete Structures: Analysis and Applications at the Institute of Mathematics and its Applications during the Spring 2015 where geometric analysis, convex geometry and concentration phenomena were the focus. Leading experts have written surveys of research problems, making state of the art results more conveniently and widely available. The volume is organized into two parts. Part I contains those contributions that focus primarily on problems motivated by probability theory, while Part II contains those contributions that focus primarily on problems motivated by convex geometry and geometric analysis. This book will be of use to those who research convex geometry, geometric analysis and probability directly or apply such methods in other fields.

This book features state-of-the-art research on singularities in geometry, topology, foliations and dynamics and provides an overview of the current state of singularity theory in these settings. Singularity theory is at the crossroad of various branches of mathematics and science in general. In recent years there have been remarkable developments, both in the theory itself and in its relations with other areas. The contributions in this volume originate from the "Workshop on Singularities in Geometry, Topology, Foliations and Dynamics", held in Merida, Mexico, in December 2014, in celebration of Jose Seade's 60th Birthday. It is intended for researchers and graduate students interested in singularity theory and its impact on other fields.

This volume presents modern trends in the area of symmetries and their applications based on contributions from the workshop "Lie Theory and Its Applications in Physics", held near Varna, Bulgaria, in June 2015. Traditionally, Lie theory is a tool to build mathematical models for physical systems.Recently, the trend has been towards geometrization of the mathematical description of physical systems and objects. A geometric approach to a system yields in general some notion of symmetry, which is very helpful in understanding its structure. Geometrization and symmetries are employed in their widest sense, embracing representation theory, algebraic geometry, number theory, infinite-dimensional Lie algebras and groups, superalgebras and supergroups, groups and quantum groups, noncommutative geometry, symmetries of linear and nonlinear partial differential operators (PDO), special functions, and others. Furthermore, the necessary tools from functional analysis are included.

This volume brings together recent, original research and survey articles by leading experts in several fields that include singularity theory, algebraic geometry and commutative algebra. The motivation for this collection comes from the wide-ranging research of the distinguished mathematician, Antonio Campillo, in these and related fields. Besides his influence in the mathematical community stemming from his research, Campillo has also endeavored to promote mathematics and mathematicians' networking everywhere, especially in Spain, Latin America and Europe. Because of his impressive achievements throughout his career, we dedicate this book to Campillo in honor of his 65th birthday. Researchers and students from the world-wide, and in particular Latin American and European, communities in singularities, algebraic geometry, commutative algebra, coding theory, and other fields covered in the volume, will have interest in this book.

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.

The purpose of this book is to present the classical analytic function theory of several variables as a standard subject in a course of mathematics after learning the elementary materials (sets, general topology, algebra, one complex variable). This includes the essential parts of Grauert-Remmert's two volumes, GL227(236) (Theory of Stein spaces) and GL265 (Coherent analytic sheaves) with a lowering of the level for novice graduate students (here, Grauert's direct image theorem is limited to the case of finite maps).The core of the theory is "Oka's Coherence", found and proved by Kiyoshi Oka. It is indispensable, not only in the study of complex analysis and complex geometry, but also in a large area of modern mathematics. In this book, just after an introductory chapter on holomorphic functions (Chap. 1), we prove Oka's First Coherence Theorem for holomorphic functions in Chap. 2. This defines a unique character of the book compared with other books on this subject, in which the notion of coherence appears much later.The present book, consisting of nine chapters, gives complete treatments of the following items: Coherence of sheaves of holomorphic functions (Chap. 2); Oka-Cartan's Fundamental Theorem (Chap. 4); Coherence of ideal sheaves of complex analytic subsets (Chap. 6); Coherence of the normalization sheaves of complex spaces (Chap. 6); Grauert's Finiteness Theorem (Chaps. 7, 8); Oka's Theorem for Riemann domains (Chap. 8). The theories of sheaf cohomology and domains of holomorphy are also presented (Chaps. 3, 5). Chapter 6 deals with the theory of complex analytic subsets. Chapter 8 is devoted to the applications of formerly obtained results, proving Cartan-Serre's Theorem and Kodaira's Embedding Theorem. In Chap. 9, we discuss the historical development of "Coherence".It is difficult to find a book at this level that treats all of the above subjects in a completely self-contained manner. In the present volume, a number of classical proofs are improved and simplified, so that the contents are easily accessible for beginning graduate students.

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.

We consider a rank one group G = A,Bacting cubically on a module V, this means [V,A,A,A] = 0 but [V,G,G,G]= 0. We have to distinguish whether the group A0 := CA([V,A]) ?CA(V/CV(A)) is trivial or not. We show that if A0 is trivial, G is a rank one group associated to a quadratic Jordan division algebra. If A0 is not trivial (which is always the case if A is not abelian), then A0 defines a subgroup G0 of G acting quadratically on V . We will call G0 the quadratic kernel of G. By a result of Timmesfeld we have G0 ?= SL2(J,R) for a ring R and a special quadratic Jordan division algebra J ? R. We show that J is either a Jordan algebra contained in a commutative field or a Hermitian Jordan algebra. In the second case G is the special unitary group of a pseudo-quadratic form ? of Witt index 1, in the first case G is the rank one group for a Freudenthal triple system. These results imply that if (V,G) is a quadratic pair such that no two distinct root groups commute and charV=2,3, then G is a unitary group or an exceptional algebraic group.

This volume grew out of two Simons Symposia on "Nonarchimedean and tropical geometry" which took place on the island of St. John in April 2013 and in Puerto Rico in February 2015. Each meeting gathered a small group of experts working near the interface between tropical geometry and nonarchimedean analytic spaces for a series of inspiring and provocative lectures on cutting edge research, interspersed with lively discussions and collaborative work in small groups. The articles collected here, which include high-level surveys as well as original research, mirror the main themes of the two Symposia. Topics covered in this volume include: Differential forms and currents, and solutions of Monge-Ampere type differential equations on Berkovich spaces and their skeletons; The homotopy types of nonarchimedean analytifications; The existence of "faithful tropicalizations" which encode the topology and geometry of analytifications; Relations between nonarchimedean analytic spaces and algebraic geometry, including logarithmic schemes, birational geometry, and the geometry of algebraic curves; Extended notions of tropical varieties which relate to Huber's theory of adic spaces analogously to the way that usual tropical varieties relate to Berkovich spaces; and Relations between nonarchimedean geometry and combinatorics, including deep and fascinating connections between matroid theory, tropical geometry, and Hodge theory.

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 volume is a follow-up to the INdAM meeting "Special metrics and quaternionic geometry" held in Rome in November 2015. It offers a panoramic view of a selection of cutting-edge topics in differential geometry, including 4-manifolds, quaternionic and octonionic geometry, twistor spaces, harmonic maps, spinors, complex and conformal geometry, homogeneous spaces and nilmanifolds, special geometries in dimensions 5-8, gauge theory, symplectic and toric manifolds, exceptional holonomy and integrable systems. The workshop was held in honor of Simon Salamon, a leading international scholar at the forefront of academic research who has made significant contributions to all these subjects. The articles published here represent a compelling testimony to Salamon's profound and longstanding impact on the mathematical community. Target readership includes graduate students and researchers working in Riemannian and complex geometry, Lie theory and mathematical physics.

This volume collects contributions by leading experts in the area of commutative algebra related to the INdAM meeting "Homological and Computational Methods in Commutative Algebra" held in Cortona (Italy) from May 30 to June 3, 2016 . The conference and this volume are dedicated to Winfried Bruns on the occasion of his 70th birthday. In particular, the topics of this book strongly reflect the variety of Winfried Bruns' research interests and his great impact on commutative algebra as well as its applications to related fields. The authors discuss recent and relevant developments in algebraic geometry, commutative algebra, computational algebra, discrete geometry and homological algebra. The book offers a unique resource, both for young and more experienced researchers seeking comprehensive overviews and extensive bibliographic references.

This volume contains selected papers authored by speakers and participants of the 2013 Arbeitstagung, held at the Max Planck Institute for Mathematics in Bonn, Germany, from May 22-28. The 2013 meeting (and this resulting proceedings) was dedicated to the memory of Friedrich Hirzebruch, who passed away on May 27, 2012. Hirzebruch organized the first Arbeitstagung in 1957 with a unique concept that would become its most distinctive feature: the program was not determined beforehand by the organizers, but during the meeting by all participants in an open discussion. This ensured that the talks would be on the latest developments in mathematics and that many important results were presented at the conference for the first time. Written by leading mathematicians, the papers in this volume cover various topics from algebraic geometry, topology, analysis, operator theory, and representation theory and display the breadth and depth of pure mathematics that has always been characteristic of the Arbeitstagung.

This volume is a tribute to Maxim Kontsevich, one of the most original and influential mathematicians of our time. Maxim's vision has inspired major developments in many areas of mathematics, ranging all the way from probability theory to motives over finite fields, and has brought forth a paradigm shift at the interface of modern geometry and mathematical physics. Many of his papers have opened completely new directions of research and led to the solutions of many classical problems. This book collects papers by leading experts currently engaged in research on topics close to Maxim's heart. Contributors: S. Donaldson A. Goncharov D. Kaledin M. Kapranov A. Kapustin L. Katzarkov A. Noll P. Pandit S. Pimenov J. Ren P. Seidel C. Simpson Y. Soibelman R. Thorngren

This book arose from a conference on "Singularities and Computer Algebra" which was held at the Pfalz-Akademie Lambrecht in June 2015 in honor of Gert-Martin Greuel's 70th birthday. This unique volume presents a collection of recent original research by some of the leading figures in singularity theory on a broad range of topics including topological and algebraic aspects, classification problems, deformation theory and resolution of singularities. At the same time, the articles highlight a variety of techniques, ranging from theoretical methods to practical tools from computer algebra.Greuel himself made major contributions to the development of both singularity theory and computer algebra. With Gerhard Pfister and Hans Schoenemann, he developed the computer algebra system SINGULAR, which has since become the computational tool of choice for many singularity theorists.The book addresses researchers whose work involves singularity theory and computer algebra from the PhD to expert level.

This book consists of both expository and research articles solicited from speakers at the conference entitled "Arithmetic and Ideal Theory of Rings and Semigroups," held September 22-26, 2014 at the University of Graz, Graz, Austria. It reflects recent trends in multiplicative ideal theory and factorization theory, and brings together for the first time in one volume both commutative and non-commutative perspectives on these areas, which have their roots in number theory, commutative algebra, and algebraic geometry. Topics discussed include topological aspects in ring theory, Prufer domains of integer-valued polynomials and their monadic submonoids, and semigroup algebras. It will be of interest to practitioners of mathematics and computer science, and researchers in multiplicative ideal theory, factorization theory, number theory, and algebraic geometry.

This book explores the theory and application of locally nilpotent derivations, a subject motivated by questions in affine algebraic geometry and having fundamental connections to areas such as commutative algebra, representation theory, Lie algebras and differential equations. The author provides a unified treatment of the subject, beginning with 16 First Principles on which the theory is based. These are used to establish classical results, such as Rentschler's Theorem for the plane and the Cancellation Theorem for Curves. More recent results, such as Makar-Limanov's theorem for locally nilpotent derivations of polynomial rings, are also discussed. Topics of special interest include progress in classifying additive actions on three-dimensional affine space, finiteness questions (Hilbert's 14th Problem), algorithms, the Makar-Limanov invariant, and connections to the Cancellation Problem and the Embedding Problem. A lot of new material is included in this expanded second edition, such as canonical factorization of quotient morphisms, and a more extended treatment of linear actions. The reader will also find a wealth of examples and open problems and an updated resource for future investigations.

The book is devoted to the study of the geometrical and topological structure of gauge theories. It consists of the following three building blocks:- Geometry and topology of fibre bundles,- Clifford algebras, spin structures and Dirac operators,- Gauge theory.Written in the style of a mathematical textbook, it combines a comprehensive presentation of the mathematical foundations with a discussion of a variety of advanced topics in gauge theory.The first building block includes a number of specific topics, like invariant connections, universal connections, H-structures and the Postnikov approximation of classifying spaces.Given the great importance of Dirac operators in gauge theory, a complete proof of the Atiyah-Singer Index Theorem is presented. The gauge theory part contains the study of Yang-Mills equations (including the theory of instantons and the classical stability analysis), the discussion of various models with matter fields (including magnetic monopoles, the Seiberg-Witten model and dimensional reduction) and the investigation of the structure of the gauge orbit space. The final chapter is devoted to elements of quantum gauge theory including the discussion of the Gribov problem, anomalies and the implementation of the non-generic gauge orbit strata in the framework of Hamiltonian lattice gauge theory.The book is addressed both to physicists and mathematicians. It is intended to be accessible to students starting from a graduate level.