Author S.A. Stepanov thoroughly investigates the current state of the theory of Diophantine equations and its related methods. Discussions focus on arithmetic, algebraic-geometric, and logical aspects of the problem. Designed for students as well as researchers, the book includes over 250 excercises accompanied by hints, instructions, and references. Written in a clear manner, this text does not require readers to have special knowledge of modern methods of algebraic geometry.

This book presents algorithmic tools for algebraic geometry and experimental applications of them. It also introduces a software system in which the tools have been implemented and with which the experiments can be carried out. Macaulay 2 is a computer algebra system devoted to supporting research in algebraic geometry, commutative algebra, and their applications. The reader of this book will encounter Macaulay 2 in the context of concrete applications and practical computations in algebraic geometry. The expositions of the algorithmic tools presented here are designed to serve as a useful guide for those wishing to bring such tools to bear on their own problems. These expositions will be valuable to both the users of other programs similar to Macaulay 2 (for example, Singular and CoCoA) and those who are not interested in explicit machine computations at all. The first part of the book is primarily concerned with introducing Macaulay2, whereas the second part emphasizes the mathematics.

This book is based on a series of lectures given by the author at SISSA, Trieste, within the PhD courses Techniques in enumerative geometry (2019) and Localisation in enumerative geometry (2021). The goal of this book is to provide a gentle introduction, aimed mainly at graduate students, to the fast-growing subject of enumerative geometry and, more specifically, counting invariants in algebraic geometry. In addition to the more advanced techniques explained and applied in full detail to concrete calculations, the book contains the proofs of several background results, important for the foundations of the theory. In this respect, this text is conceived for PhD students or research "beginners" in the field of enumerative geometry or related areas. This book can be read as an introduction to Hilbert schemes and Quot schemes on 3-folds but also as an introduction to localisation formulae in enumerative geometry. It is meant to be accessible without a strong background in algebraic geometry; however, three appendices (one on deformation theory, one on intersection theory, one on virtual fundamental classes) are meant to help the reader dive deeper into the main material of the book and to make the text itself as self-contained as possible.

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.

"Presents the proceedings of the recently held Third International Conference on Commutative Ring Theory in Fez, Morocco. Details the latest developments in commutative algebra and related areas-featuring 26 original research articles and six survey articles on fundamental topics of current interest. Examines wide-ranging developments in commutative algebra, together with connections to algebraic number theory and algebraic geometry."

An incredible season for algebraic geometry flourished in Italy between 1860, when Luigi Cremona was assigned the chair of Geometria Superiore in Bologna, and 1959, when Francesco Severi published the last volume of the treatise on algebraic systems over a surface and an algebraic variety. This century-long season has had a prominent influence on the evolution of complex algebraic geometry - both at the national and international levels - and still inspires modern research in the area. "Algebraic geometry in Italy between tradition and future" is a collection of contributions aiming at presenting some of these powerful ideas and their connection to contemporary and, if possible, future developments, such as Cremonian transformations, birational classification of high-dimensional varieties starting from Gino Fano, the life and works of Guido Castelnuovo, Francesco Severi's mathematical library, etc. The presentation is enriched by the viewpoint of various researchers of the history of mathematics, who describe the cultural milieu and tell about the bios of some of the most famous mathematicians of those times.

In the fall of 1992 I was invited by Professor Changho Keem to visit Seoul National University and give a series of talks. I was asked to write a monograph based on my talks, and the result was published by the Global Analysis Research Center of that University in 1994. The monograph treated deficiency modules and liaison theory for complete intersections. Over the next several years I continually thought of improvements and additions that I would like to make to the manuscript, and at the same time my research led me in directions that gave me a fresh perspective on much of the material, especially in the direction of liaison theory. This re sulted in a dramatic change in the focus of this manuscript, from complete intersections to Gorenstein ideals, and a substantial amount of additions and revisions. It is my hope that this book now serves not only as an introduction to a beautiful subject, but also gives the reader a glimpse at very recent developments and an idea of the direction in which liaison theory is going, at least from my perspective. One theme which I have tried to stress is the tremendous amount of geometry which lies at the heart of the subject, and the beautiful interplay between algebra and geometry. Whenever possible I have given remarks and examples to illustrate this interplay, and I have tried to phrase the results in as geometric a way as possible."

The book deals with fundamental structural aspects of algebraic and simple groups, Coxeter groups and the related geometries and buildings. All contributing authors are very active researchers in the topics related to the theme of the book. Some of the articles provide the latest developments in the subject; some provide an overview of the current status of some important problems in this area; some survey an area highlighting the current developments; and some provide an exposition of an area to collect problems and conjectures. It is hoped that these articles would be helpful to a beginner to start independent research on any of these topics, as well as to an expert to know some of the latest developments or to consider some problems for investigation.

Often I have considered the fact that most of the difficulties which block the progress of students trying to learn analysis stem from this: that although they understand little of ordinary algebra, still they attempt this more subtle art. From this it follows not only that they remain on the fringes, but in addition they entertain strange ideas about the concept of the infinite, which they must try to use. Although analysis does not require an exhaustive knowledge of algebra, even of all the algebraic technique so far discovered, still there are topics whose con sideration prepares a student for a deeper understanding. However, in the ordinary treatise on the elements of algebra, these topics are either completely omitted or are treated carelessly. For this reason, I am cer tain that the material I have gathered in this book is quite sufficient to remedy that defect. I have striven to develop more adequately and clearly than is the usual case those things which are absolutely required for analysis. More over, I have also unraveled quite a few knotty problems so that the reader gradually and almost imperceptibly becomes acquainted with the idea of the infinite. There are also many questions which are answered in this work by means of ordinary algebra, although they are usually discussed with the aid of analysis. In this way the interrelationship between the two methods becomes clear."

In 1988, E. Verlinde gave a remarkable conjectural formula for the dimension of conformal blocks over a smooth curve in terms of representations of affine Lie algebras. Verlinde's formula arose from physical considerations, but it attracted further attention from mathematicians when it was realized that the space of conformal blocks admits an interpretation as the space of generalized theta functions. A proof followed through the work of many mathematicians in the 1990s. This book gives an authoritative treatment of all aspects of this theory. It presents a complete proof of the Verlinde formula and full details of the connection with generalized theta functions, including the construction of the relevant moduli spaces and stacks of G-bundles. Featuring numerous exercises of varying difficulty, guides to the wider literature and short appendices on essential concepts, it will be of interest to senior graduate students and researchers in geometry, representation theory and theoretical physics.

This comprehensive reference begins with a review of the basics followed by a presentation of flag varieties and finite- and infinite-dimensional representations in classical types and subvarieties of flag varieties and their singularities. Associated varieties and characteristic cycles are covered as well and Kazhdan-Lusztig polynomials are treated. The coverage concludes with a discussion of pattern avoidance and singularities and some recent results on Springer fibers.

This book offers an up-to-date, comprehensive account of determinantal rings and varieties, presenting a multitude of methods used in their study, with tools from combinatorics, algebra, representation theory and geometry. After a concise introduction to Groebner and Sagbi bases, determinantal ideals are studied via the standard monomial theory and the straightening law. This opens the door for representation theoretic methods, such as the Robinson-Schensted-Knuth correspondence, which provide a description of the Groebner bases of determinantal ideals, yielding homological and enumerative theorems on determinantal rings. Sagbi bases then lead to the introduction of toric methods. In positive characteristic, the Frobenius functor is used to study properties of singularities, such as F-regularity and F-rationality. Castelnuovo-Mumford regularity, an important complexity measure in commutative algebra and algebraic geometry, is introduced in the general setting of a Noetherian base ring and then applied to powers and products of ideals. The remainder of the book focuses on algebraic geometry, where general vanishing results for the cohomology of line bundles on flag varieties are presented and used to obtain asymptotic values of the regularity of symbolic powers of determinantal ideals. In characteristic zero, the Borel-Weil-Bott theorem provides sharper results for GL-invariant ideals. The book concludes with a computation of cohomology with support in determinantal ideals and a survey of their free resolutions. Determinants, Groebner Bases and Cohomology provides a unique reference for the theory of determinantal ideals and varieties, as well as an introduction to the beautiful mathematics developed in their study. Accessible to graduate students with basic grounding in commutative algebra and algebraic geometry, it can be used alongside general texts to illustrate the theory with a particularly interesting and important class of varieties.

Exploring the connections between arithmetic and geometric properties of algebraic varieties has been the object of much fruitful study for a long time, especially in the case of curves. The aim of the Summer School and Conference on "Higher Dimensional Varieties and Rational Points" held in Budapest, Hungary during September 2001 was to bring together students and experts from the arithmetic and geometric sides of algebraic geometry in order to get a better understanding of the current problems, interactions and advances in higher dimension. The lecture series and conference lectures assembled in this volume give a comprehensive introduction to students and researchers in algebraic geometry and in related fields to the main ideas of this rapidly developing area.

The proceedings from the Abel Symposium on Geometry of Moduli, held at Svinoya Rorbuer, Svolvaer in Lofoten, in August 2017, present both survey and research articles on the recent surge of developments in understanding moduli problems in algebraic geometry. Written by many of the main contributors to this evolving subject, the book provides a comprehensive collection of new methods and the various directions in which moduli theory is advancing. These include the geometry of moduli spaces, non-reductive geometric invariant theory, birational geometry, enumerative geometry, hyper-kahler geometry, syzygies of curves and Brill-Noether theory and stability conditions. Moduli theory is ubiquitous in algebraic geometry, and this is reflected in the list of moduli spaces addressed in this volume: sheaves on varieties, symmetric tensors, abelian differentials, (log) Calabi-Yau varieties, points on schemes, rational varieties, curves, abelian varieties and hyper-Kahler manifolds.

The articles in this volume are an outgrowth of an International Confer- ence in Intersection Theory that took place in Bologna, Italy (December 1997). In a somewhat unorthodox format aimed at both the mathematical community as well as summer school students, talks were research-oriented as well as partly expository. There were four series of expository talks by the following people: M. Brion, University of Grenoble, on Equivariant Chow groups and applications; H. Flenner, University of Bochum, on Joins and intersections; E. M. Friedlander, Northwestern University, on Intersection products for spaces of algebraic cycles; R. Laterveer, University of Strasbourg, on Bigraded Chow (co)homology. Four introductory papers cover the following topics and bring the reader to the forefront of research: 1) the excess intersection algorithm of Stuckrad and Vogel, combined with the deformation to the normal cone, together with many of its geo- metric applications; 2) new and very important homotopy theory techniques that are now used in intersection theory; 3) the Bloch-Beilinson filtration and the theory of motives; 4) algebraic stacks, the modern language of moduli theory. Other research articles concern such active fields as stable maps and Gromov-Witten invariants, deformation theory of complex varieties, and others. Organizers of the conference were Rudiger Achilles, Mirella Manaresi, and Angelo Vistoli, all from the University of Bologna; the scientific com- mittee consisted of Geir Ellingsrud, University of Oslo, William Fulton, University of Michigan at Ann Arbor, and Angelo Vistoli. The conference was financed by the European Union (contract no.

'Et moi, ..., si j'avait su comment en revenir, One service mathematics has rendered the je n'y serais point aIle.' human race. It has put common sense back Jules Verne where it belongs, on the topmost shelf next to the dusty canister labelled 'discarded non sense'. The series is divergent; therefore we may be able to do something with it. Eric T. Bell O. Heaviside Mathematics is a tool for thought. A highly necessary tool in a world where both feedback and non linearities abound. Similarly, all kinds of parts of mathematics serve as tools for other parts and for other sciences. Applying a simple rewriting rule to the quote on the right above one finds such statements as: 'One service topology has rendered mathematical physics .. .'; 'One service logic has rendered com puter science .. .'; 'One service category theory has rendered mathematics .. .'. All arguably true. And all statements obtainable this way form part of the raison d' etre of this series."

Automorphisms of Affine Spaces describes the latest results concerning several conjectures related to polynomial automorphisms: the Jacobian, real Jacobian, Markus-Yamabe, Linearization and tame generators conjectures. Group actions and dynamical systems play a dominant role. Several contributions are of an expository nature, containing the latest results obtained by the leaders in the field. The book also contains a concise introduction to the subject of invertible polynomial maps which formed the basis of seven lectures given by the editor prior to the main conference. Audience: A good introduction for graduate students and research mathematicians interested in invertible polynomial maps.

This contributed volume is a follow-up to the 2013 volume of the same title, published in honor of noted Algebraist David Eisenbud's 65th birthday. It 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, Category Theory, Combinatorics, Computational Algebra, Homological Algebra, Hyperplane Arrangements, and Non-commutative Algebra. The book aims to showcase the area and aid junior mathematicians and researchers who are new to the field in broadening their background and gaining 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 volume features contributions from the Women in Commutative Algebra (WICA) workshop held at the Banff International Research Station (BIRS) from October 20-25, 2019, run by the Pacific Institute of Mathematical Sciences (PIMS). The purpose of this meeting was for groups of mathematicians to work on joint research projects in the mathematical field of Commutative Algebra and continue these projects together long-distance after its close. The chapters include both direct results and surveys, with contributions from research groups and individual authors. The WICA conference was the first of its kind in the large and vibrant area of Commutative Algebra, and this volume is intended to showcase its important results and to encourage further collaboration among marginalized practitioners in the field. It will be of interest to a wide range of researchers, from PhD students to senior experts.

"Still waters run deep." This proverb expresses exactly how a mathematician Akihito Uchiyama and his works were. He was not celebrated except in the field of harmonic analysis, and indeed he never wanted that. He suddenly passed away in summer of 1997 at the age of 48. However, nowadays his contributions to the fields of harmonic analysis and real analysis are permeating through various fields of analysis deep and wide. One could write several papers explaining his contributions and how they have been absorbed into these fields, developed, and used in further breakthroughs. Peter W. Jones (Professor of Yale University) says in his special contribution to this book that Uchiyama's decomposition of BMO functions is considered to be the Mount Everest of Hardy space theory. This book is based on the draft, which the author Akihito Uchiyama had completed by 1990. It deals with the theory of real Hardy spaces on the n-dimensional Euclidean space. Here the author explains scrupulously some of important results on Hardy spaces by real-variable methods, in particular, the atomic decomposition of elements in Hardy spaces and his constructive proof of the Fefferman-Stein decomposition of BMO functions into the sum of a bounded?function and Riesz transforms of bounded functions.

This book is devoted to the structure of the absolute Galois groups of certain algebraic extensions of the field of rational numbers. Its main result, a theorem proved by the authors and Florian Pop in 2012, describes the absolute Galois group of distinguished semi-local algebraic (and other) extensions of the rational numbers as free products of the free profinite group on countably many generators and local Galois groups. This is an instance of a positive answer to the generalized inverse problem of Galois theory. Adopting both an arithmetic and probabilistic approach, the book carefully sets out the preliminary material needed to prove the main theorem and its supporting results. In addition, it includes a description of Melnikov's construction of free products of profinite groups and, for the first time in book form, an account of a generalization of the theory of free products of profinite groups and their subgroups. The book will be of interest to researchers in field arithmetic, Galois theory and profinite groups.

This book introduces a new geometric vision of continued fractions. It covers several applications to questions related to such areas as Diophantine approximation, algebraic number theory, and toric geometry. The second edition now includes a geometric approach to Gauss Reduction Theory, classification of integer regular polygons and some further new subjects. Traditionally a subject of number theory, continued fractions appear in dynamical systems, algebraic geometry, topology, and even celestial mechanics. The rise of computational geometry has resulted in renewed interest in multidimensional generalizations of continued fractions. Numerous classical theorems have been extended to the multidimensional case, casting light on phenomena in diverse areas of mathematics. The reader will find an overview of current progress in the geometric theory of multidimensional continued fractions accompanied by currently open problems. Whenever possible, we illustrate geometric constructions with figures and examples. Each chapter has exercises useful for undergraduate or graduate courses.

This book introduces the contemporary notions of algebraic varieties, morphisms of varieties, and adeles to the classical subject of plane curves over algebraically closed fields. It is useful for advanced undergraduate and beginning graduate students in mathematics.