If $X$ is a manifold then the $\mathbb R$-algebra $C^\infty (X)$ of smooth functions $c:X\rightarrow \mathbb R$ is a $C^\infty $-ring. That is, for each smooth function $f:\mathbb R^n\rightarrow \mathbb R$ there is an $n$-fold operation $\Phi _f:C^\infty (X)^n\rightarrow C^\infty (X)$ acting by $\Phi _f:(c_1,\ldots ,c_n)\mapsto f(c_1,\ldots ,c_n)$, and these operations $\Phi _f$ satisfy many natural identities. Thus, $C^\infty (X)$ actually has a far richer structure than the obvious $\mathbb R$-algebra structure. The author explains the foundations of a version of algebraic geometry in which rings or algebras are replaced by $C^\infty $-rings. As schemes are the basic objects in algebraic geometry, the new basic objects are $C^\infty $-schemes, a category of geometric objects which generalize manifolds and whose morphisms generalize smooth maps. The author also studies quasicoherent sheaves on $C^\infty $-schemes, and $C^\infty $-stacks, in particular Deligne-Mumford $C^\infty$-stacks, a 2-category of geometric objects generalizing orbifolds. Many of these ideas are not new: $C^\infty$-rings and $C^\infty $-schemes have long been part of synthetic differential geometry. But the author develops them in new directions. In earlier publications, the author used these tools to define d-manifolds and d-orbifolds, ``derived'' versions of manifolds and orbifolds related to Spivak's ``derived manifolds''.

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 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 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.

This book summarizes recent inventions, provides guidelines and recommendations, and demonstrates many practical applications of homomorphic encryption. This collection of papers represents the combined wisdom of the community of leading experts on Homomorphic Encryption. In the past 3 years, a global community consisting of researchers in academia, industry, and government, has been working closely to standardize homomorphic encryption. This is the first publication of whitepapers created by these experts that comprehensively describes the scientific inventions, presents a concrete security analysis, and broadly discusses applicable use scenarios and markets. This book also features a collection of privacy-preserving machine learning applications powered by homomorphic encryption designed by groups of top graduate students worldwide at the Private AI Bootcamp hosted by Microsoft Research. The volume aims to connect non-expert readers with this important new cryptographic technology in an accessible and actionable way. Readers who have heard good things about homomorphic encryption but are not familiar with the details will find this book full of inspiration. Readers who have preconceived biases based on out-of-date knowledge will see the recent progress made by industrial and academic pioneers on optimizing and standardizing this technology. A clear picture of how homomorphic encryption works, how to use it to solve real-world problems, and how to efficiently strengthen privacy protection, will naturally become clear.

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.

Dedicated to the memory of Wolfgang Classical Intersection Theory (see for example Wei! [Wei]) treats the case of proper intersections, where geometrical objects (usually subvarieties of a non singular variety) intersect with the expected dimension. In 1984, two books appeared which surveyed and developed work by the individual authors, co workers and others on a refined version of Intersection Theory, treating the case of possibly improper intersections, where the intersection could have ex cess dimension. The first, by W. Fulton [Full] (recently revised in updated form), used a geometrical theory of deformation to the normal cone, more specifically, deformation to the normal bundle followed by moving the zero section to make the intersection proper; this theory was due to the author together with R. MacPherson and worked generally for intersections on algeb raic manifolds. It represents nowadays the standard approach to Intersection Theory. The second, by W. Vogel [Vogl], employed an algebraic approach to inter sections; although restricted to intersections in projective space it produced an intersection cycle by a simple and natural algorithm, thus leading to a Bezout theorem for improper intersections. It was developed together with J. Stiickrad and involved a refined version of the classical technique ofreduc tion to the diagonal: here one starts with the join variety and intersects with successive hyperplanes in general position, laying aside components which fall into the diagonal and intersecting the residual scheme with the next hyperplane; since all the hyperplanes intersect in the diagonal, the process terminates.

Shafarevich's Basic Algebraic Geometry has been a classic and universally used introduction to the subject since its first appearance over 40 years ago. As the translator writes in a prefatory note, ``For all [advanced undergraduate and beginning graduate] students, and for the many specialists in other branches of math who need a liberal education in algebraic geometry, Shafarevich's book is a must.'' The second volume is in two parts: Book II is a gentle cultural introduction to scheme theory, with the first aim of putting abstract algebraic varieties on a firm foundation; a second aim is to introduce Hilbert schemes and moduli spaces, that serve as parameter spaces for other geometric constructions. Book III discusses complex manifolds and their relation with algebraic varieties, Kahler geometry and Hodge theory. The final section raises an important problem in uniformising higher dimensional varieties that has been widely studied as the ``Shafarevich conjecture''. The style of Basic Algebraic Geometry 2 and its minimal prerequisites make it to a large extent independent of Basic Algebraic Geometry 1, and accessible to beginning graduate students in mathematics and in theoretical physics.

The common solutions of a finite number of polynomial equations in a finite number of variables constitute an algebraic variety. The degrees of freedom of a moving point on the variety is the dimension of the variety. A one-dimensional variety is a curve and a two-dimensional variety is a surface. A three-dimensional variety may be called asolid. Most points of a variety are simple points. Singularities are special points, or points of multiplicity greater than one. Points of multiplicity two are double points, points of multiplicity three are tripie points, and so on. A nodal point of a curve is a double point where the curve crosses itself, such as the alpha curve. A cusp is a double point where the curve has a beak. The vertex of a cone provides an example of a surface singularity. A reversible change of variables gives abirational transformation of a variety. Singularities of a variety may be resolved by birational transformations.

21st Century Kinematics focuses on algebraic problems in the analysis and synthesis of mechanisms and robots, compliant mechanisms, cable-driven systems and protein kinematics. The specialist contributors provide the background for a series of presentations at the 2012 NSF Workshop. The text shows how the analysis and design of innovative mechanical systems yield increasingly complex systems of polynomials, characteristic of those systems. In doing so, it takes advantage of increasingly sophisticated computational tools developed for numerical algebraic geometry and demonstrates the now routine derivation of polynomial systems dwarfing the landmark problems of even the recent past. The 21st Century Kinematics workshop echoes the NSF-supported 1963 Yale Mechanisms Teachers Conference that taught a generation of university educators the fundamental principles of kinematic theory. As such these proceedings will provide admirable supporting theory for a graduate course in modern kinematics and should be of considerable interest to researchers in mechanical design, robotics or protein kinematics or who have a broader interest in algebraic geometry and its applications.

Abelian varieties and their moduli are a central topic of increasing importance in todays mathematics. Applications range from algebraic geometry and number theory to mathematical physics.
The present collection of 17 refereed articles originates from the third "Texel Conference" held in 1999. Leading experts discuss and study the structure of the moduli spaces of abelian varieties and related spaces, giving an excellent view of the state of the art in this field.
The book will appeal to pure mathematicians, especially algebraic geometers and number theorists, but will also be relevant for researchers in mathematical physics.

We dedicate this volume to Professor Parimala on the occasion of her 60th birthday. It contains a variety of papers related to the themes of her research. Parimala's rst striking result was a counterexample to a quadratic analogue of Serre's conjecture (Bulletin of the American Mathematical Society, 1976). Her in uence has cont- ued through her tenure at the Tata Institute of Fundamental Research in Mumbai (1976-2006),and now her time at Emory University in Atlanta (2005-present). A conference was held from 30 December 2008 to 4 January 2009, at the U- versity of Hyderabad, India, to celebrate Parimala's 60th birthday (see the conf- ence's Web site at http://mathstat.uohyd.ernet.in/conf/quadforms2008). The or- nizing committee consisted of J.-L. Colliot-Thel ' en ' e, Skip Garibaldi, R. Sujatha, and V. Suresh. The present volume is an outcome of this event. We would like to thank all the participants of the conference, the authors who have contributed to this volume, and the referees who carefully examined the s- mitted papers. We would also like to thank Springer-Verlag for readily accepting to publish the volume. In addition, the other three editors of the volume would like to place on record their deep appreciation of Skip Garibaldi's untiring efforts toward the nal publication.

This book pedagogically describes recent developments in gauge theory, in particular four-dimensional N = 2 supersymmetric gauge theory, in relation to various fields in mathematics, including algebraic geometry, geometric representation theory, vertex operator algebras. The key concept is the instanton, which is a solution to the anti-self-dual Yang-Mills equation in four dimensions. In the first part of the book, starting with the systematic description of the instanton, how to integrate out the instanton moduli space is explained together with the equivariant localization formula. It is then illustrated that this formalism is generalized to various situations, including quiver and fractional quiver gauge theory, supergroup gauge theory. The second part of the book is devoted to the algebraic geometric description of supersymmetric gauge theory, known as the Seiberg-Witten theory, together with string/M-theory point of view. Based on its relation to integrable systems, how to quantize such a geometric structure via the -deformation of gauge theory is addressed. The third part of the book focuses on the quantum algebraic structure of supersymmetric gauge theory. After introducing the free field realization of gauge theory, the underlying infinite dimensional algebraic structure is discussed with emphasis on the connection with representation theory of quiver, which leads to the notion of quiver W-algebra. It is then clarified that such a gauge theory construction of the algebra naturally gives rise to further affinization and elliptic deformation of W-algebra.

This is essentially a book on linear algebra. But the approach is somewhat unusual in that we emphasise throughout the geometric aspect of the subject. The material is suitable for a course on linear algebra for mathe matics majors at North American Universities in their junior or senior year and at British Universities in their second or third year. However, in view of the structure of undergraduate courses in the United States, it is very possible that, at many institutions, the text may be found more suitable at the beginning graduate level. The book has two aims: to provide a basic course in linear algebra up to, and including, modules over a principal ideal domain; and to explain in rigorous language the intuitively familiar concepts of euclidean, affine, and projective geometry and the relations between them. It is increasingly recognised that linear algebra should be approached from a geometric point of VIew. This applies not only to mathematics majors but also to mathematically-oriented natural scientists and engineers."

This book provides a self-contained overview of the role of conformal groups in geometry and mathematical physics. It features a careful development of the material, from the basics of Clifford algebras to more advanced topics. Each chapter covers a specific aspect of conformal groups and conformal spin geometry. All major concepts are introduced and followed by detailed descriptions and definitions, and a comprehensive bibliography and index round out the work.

Rich in exercises that are accompanied by full proofs and many hints, the book will be ideal as a course text or self-study volume for senior undergraduates and graduate students.

This book has grown out of my research interests in the theory of oper- ator algebras, orthomodular structures and mathematical foundations of quantum theory. It is based on a series of lectures on measure theory on nonboolean operator structures which I prepared for Ph. D. students in Workshops on Measure Theory and Real Analysis in Italy (Gorizia 1999, Grado 2001) and which I have delivered at the conferences of the Interna- tional Quantum Structures Association in Berlin 1996, Cesena 2001, and Vienna 2002. I have worked on these subjects in the framework of Prague's Semi- nar on Mathematical Formalism of Quantum Theory founded by P. Ptak. Many results presented in the book were also obtained during my longer research stays abroad, in particular at the Department of Mathematics, Reading University, U. K. (1993) and at the Mathematical Institute of Er- langen University, Germany (1996-1997, 2000 and 2003). Both the research activity and the work on the book was supported by a few international projects I participated in. I would like to acknowledge the support of European Community that supported my research stay in Reading University (Grant COST, Noncommutative Measure Theory and von Neumann Algebras, 1993). I am also very much grateful to the Alexan- der von Humboldt Foundation, Bonn, for long-term support of my research and for awarding me the grants that enabled me work at Erlangen Uni- versity in 1996-1997, 2000 and 2003.

This proceedings volume contains articles related to the research presented at the 2019 Simons Symposium on p-adic Hodge theory. This symposium was focused on recent developments in p-adic Hodge theory, especially those concerning non-abelian aspects This volume contains both original research articles as well as articles that contain both new research as well as survey some of these recent developments.

Contents and treatment are fresh and very different from the standard treatments Presents a fully constructive version of what it means to do algebra The exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader

This book presents original peer-reviewed contributions from the London Mathematical Society (LMS) Midlands Regional Meeting and Workshop on 'Galois Covers, Grothendieck-Teichmuller Theory and Dessinsd'Enfants', which took place at the University of Leicester, UK, from 4 to 7 June, 2018. Within the theme of the workshop, the collected articles cover a broad range of topics and explore exciting new links between algebraic geometry, representation theory, group theory, number theory and algebraic topology. The book combines research and overview articles by prominent international researchers and provides a valuable resource for researchers and students alike.

Professor Atiyah is one of the greatest living mathematicians and is renowned in the mathematical world. He is a recipient of the Fields Medal, the mathematical equivalent of the Nobel Prize, and is still actively involved in the mathematics community. His huge number of published papers, focusing on the areas of algebraic geometry and topology, have here been collected into seven volumes, with the first five volumes divided thematically and the sixth and seventh arranged by date. This seven volume set of the collected works of Professor Sir Michael Atiyah, includes: Collected Works: Volume 1: Early Papers; General Papers Collected Works: Volume 2: K-Theory Collected Works: Volume 3: Index Theory: 1 Collected Works: Volume 4: Index Theory: 2 Collected Works: Volume 5: Gauge Theories Collected Works: Volume 6: Publications between 1987 and 2002 New for 2014: Collected Works: Volume 7: 2002-2013, including Sir Michael's work on skyrmions; K-theory and cohomology; geometric models of matter; curvature, cones and characteristic numbers; and reflections on the work of Riemann, Einstein and Bott.

This is the Proceedings of the ICM 2010 Satellite Conference on "Buildings, Finite Geometries and Groups" organized at the Indian Statistical Institute, Bangalore, during August 29 - 31, 2010. This is a collection of articles by some of the currently very active research workers in several areas related to finite simple groups, Chevalley groups and their generalizations: theory of buildings, finite incidence geometries, modular representations, Lie theory, etc. These articles reflect the current major trends in research in the geometric and combinatorial aspects of the study of these groups.

The unique perspective the authors bring in their articles on the current developments and the major problems in their area is expected to be very useful to research mathematicians, graduate students and potential new entrants to these areas.

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.