Constructible Sets in Real Geometry


Book Description

This book presents a systematic and unified report on the minimal description of constructible sets. It starts at a very basic level (almost undergraduate) and leads up to state-of-the-art results, many of which are published in book form for the very first time. The book contains numerous examples, 63 figures and each chapter ends with a section containing historical notes. The authors tried to keep the presentation as self-contained as it can possibly be.




Lectures in Real Geometry


Book Description

The aim of the series is to present new and important developments in pure and applied mathematics. Well established in the community over two decades, it offers a large library of mathematics including several important classics. The volumes supply thorough and detailed expositions of the methods and ideas essential to the topics in question. In addition, they convey their relationships to other parts of mathematics. The series is addressed to advanced readers wishing to thoroughly study the topic. Editorial Board Lev Birbrair, Universidade Federal do Ceará, Fortaleza, Brasil Victor P. Maslov, Russian Academy of Sciences, Moscow, Russia Walter D. Neumann, Columbia University, New York, USA Markus J. Pflaum, University of Colorado, Boulder, USA Dierk Schleicher, Jacobs University, Bremen, Germany







Algorithms in Real Algebraic Geometry


Book Description

In this first-ever graduate textbook on the algorithmic aspects of real algebraic geometry, the main ideas and techniques presented form a coherent and rich body of knowledge, linked to many areas of mathematics and computing. Mathematicians already aware of real algebraic geometry will find relevant information about the algorithmic aspects. Researchers in computer science and engineering will find the required mathematical background. This self-contained book is accessible to graduate and undergraduate students.




Real Analytic and Algebraic Geometry


Book Description

The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.




Algorithmic and Quantitative Real Algebraic Geometry


Book Description

Algorithmic and quantitative aspects in real algebraic geometry are becoming increasingly important areas of research because of their roles in other areas of mathematics and computer science. The papers in this volume collectively span several different areas of current research. The articles are based on talks given at the DIMACS Workshop on ''Algorithmic and Quantitative Aspects of Real Algebraic Geometry''. Topics include deciding basic algebraic properties of real semi-algebraic sets, application of quantitative results in real algebraic geometry towards investigating the computational complexity of various problems, algorithmic and quantitative questions in real enumerative geometry, new approaches towards solving decision problems in semi-algebraic geometry, as well as computing algebraic certificates, and applications of real algebraic geometry to concrete problems arising in robotics and computer graphics. The book is intended for researchers interested in computational methods in algebra.




A Course in Real Algebraic Geometry


Book Description

This textbook is designed for a one-year graduate course in real algebraic geometry, with a particular focus on positivity and sums of squares of polynomials. The first half of the book features a thorough introduction to ordered fields and real closed fields, including the Tarski-Seidenberg projection theorem and transfer principle. Classical results such as Artin's solution to Hilbert's 17th problem and Hilbert's theorems on sums of squares of polynomials are presented in detail. Other features include careful introductions to the real spectrum and to the geometry of semialgebraic sets. The second part studies Archimedean positivstellensätze in great detail and in various settings, together with important applications. The techniques and results presented here are fundamental to contemporary approaches to polynomial optimization. Important results on sums of squares on projective varieties are covered as well. The last part highlights applications to semidefinite programming and polynomial optimization, including recent research on semidefinite representation of convex sets. Written by a leading expert and based on courses taught for several years, the book assumes familiarity with the basics of commutative algebra and algebraic varieties, as can be covered in a one-semester first course. Over 350 exercises, of all levels of difficulty, are included in the book.




Positive Polynomials


Book Description

Positivity is one of the most basic mathematical concepts, involved in many areas of mathematics (analysis, real algebraic geometry, functional analysis, etc.). The main objective of the book is to give useful characterizations of polynomials. Beyond basic knowledge in algebra, only valuation theory as explained in the appendix is needed.




The Geometry of Schemes


Book Description

Grothendieck’s beautiful theory of schemes permeates modern algebraic geometry and underlies its applications to number theory, physics, and applied mathematics. This simple account of that theory emphasizes and explains the universal geometric concepts behind the definitions. In the book, concepts are illustrated with fundamental examples, and explicit calculations show how the constructions of scheme theory are carried out in practice.




Cartesian Currents in the Calculus of Variations II


Book Description

Non-scalar variational problems appear in different fields. In geometry, for in stance, we encounter the basic problems of harmonic maps between Riemannian manifolds and of minimal immersions; related questions appear in physics, for example in the classical theory of a-models. Non linear elasticity is another example in continuum mechanics, while Oseen-Frank theory of liquid crystals and Ginzburg-Landau theory of superconductivity require to treat variational problems in order to model quite complicated phenomena. Typically one is interested in finding energy minimizing representatives in homology or homotopy classes of maps, minimizers with prescribed topological singularities, topological charges, stable deformations i. e. minimizers in classes of diffeomorphisms or extremal fields. In the last two or three decades there has been growing interest, knowledge, and understanding of the general theory for this kind of problems, often referred to as geometric variational problems. Due to the lack of a regularity theory in the non scalar case, in contrast to the scalar one - or in other words to the occurrence of singularities in vector valued minimizers, often related with concentration phenomena for the energy density - and because of the particular relevance of those singularities for the problem being considered the question of singling out a weak formulation, or completely understanding the significance of various weak formulations becames non trivial.