Projective Geometry And Formal Geometry

Projective Geometry and Formal Geometry

The aim of this monograph is to introduce the reader to modern methods of projective geometry involving certain techniques of formal geometry. Some of these methods are illustrated in the first part through the proofs of a number of results of a rather classical flavor, involving in a crucial way the first infinitesimal neighbourhood of a given subvariety in an ambient variety. Motivated by the first part, in the second formal functions on the formal completion X/Y of X along a closed subvariety Y are studied, particularly the extension problem of formal functions to rational functions. The formal scheme X/Y, introduced to algebraic geometry by Zariski and Grothendieck in the 1950s, is an analogue of the concept of a tubular neighbourhood of a submanifold of a complex manifold. It is very well suited to study the given embedding Y\subset X. The deep relationship of formal geometry with the most important connectivity theorems in algebraic geometry, or with complex geometry, is also studied. Some of the formal methods are illustrated and applied to homogeneous spaces. The book contains a lot of results obtained over the last thirty years, many of which never appeared in a monograph or textbook. It addresses to algebraic geometers as well as to those interested in using methods of algebraic geometry.

Projective Geometry and Formal Geometry

Handbook of Geometric Computing

Many computer scientists, engineers, applied mathematicians, and physicists use geometry theory and geometric computing methods in the design of perception-action systems, intelligent autonomous systems, and man-machine interfaces. This handbook brings together the most recent advances in the application of geometric computing for building such systems, with contributions from leading experts in the important fields of neuroscience, neural networks, image processing, pattern recognition, computer vision, uncertainty in geometric computations, conformal computational geometry, computer graphics and visualization, medical imagery, geometry and robotics, and reaching and motion planning. For the first time, the various methods are presented in a comprehensive, unified manner. This handbook is highly recommended for postgraduate students and researchers working on applications such as automated learning; geometric and fuzzy reasoning; human-like artificial vision; tele-operation; space maneuvering; haptics; rescue robots; man-machine interfaces; tele-immersion; computer- and robotics-aided neurosurgery or orthopedics; the assembly and design of humanoids; and systems for metalevel reasoning.