On singularities of real algebraic sets and applications to kinematics
type: Item
instance of: scholarly article
title: On singularities of real algebraic sets and applications to kinematics
zbMATH Open document ID: 1480.14002
author: Marc Diesse
published in: Open Mathematics
publication date: 2021-11-29T00:00:00Z
review text: The description of mechanisms via algebraic equations has made kinematics one of the most important fields of application for algebraic geometry. Mechanism science gives rise to important questions that can be answered using algebraic methods and, in turn, also promotes the development of new computational tools in (real) algebraic geometry. In the past, mechanism science had no problems in coming up with very exotic singularities in natural examples and with demands on computational algebraic geometry that pushes their algorithms to the limits. Singularities is a traditional topic of algebraic geometry that also plays an important role in the kinematics of mechanisms. However, full understanding of the behavior of a mechanism in a kinematic singularity of its configuration variety requires a detailed investigation. It not only depends on the type of singularity but also on features of the mechanism. On one end of the spectrum, a singularity may render the mechanism completely unusable, on the other end, it may not affect its kinematics at all. This article presents algorithmically feasible criteria for the identification of non-manifold points in the real part of an affine variety. The necessary theoretical results from real algebraic geometry are described in detail and illustrated with concrete examples and code. If the variety under investigation is a mechanism's configuration variety, the non-manifold points are called CS-singularities. The author demonstrates the usefulness of his approach by showing that all singularities of the well-known four-bar linkage are CS-singularities and that the singularities of the delta robot (a parallel robot with industrial applications and three degrees of freedom) are either isolated or CS as well.
reviewed by: Hans-Peter Schröcker
Mathematics Subject Classification ID: 14B05
Mathematics Subject Classification ID: 14P05
Mathematics Subject Classification ID: 14P15
Mathematics Subject Classification ID: 13P25
Mathematics Subject Classification ID: 70B15
zbMATH DE Number: 7435591
zbMATH Keywords: real algebraic geometry
zbMATH Keywords: singularity
zbMATH Keywords: linkage
zbMATH Keywords: kinematics
describes a project that uses: SINGULAR
describes a project that uses: Stacks Project
describes a project that uses: normal.lib
describes a project that uses: primdec
MaRDI profile type: Publication
full work available at URL: math-2020-0119
OpenAlex ID: W3123796906
cites work: An introduction to real algebra
cites work: Singularity analysis of planar linkages
cites work: Q3882554
cites work: Q5732721
cites work: Real plane algebraic curves.
cites work: Le théorème des zéros en géométries algébrique et analytique réelles
cites work: Local reality on algebraic varieties
cites work: Limits of tangent spaces to real surfaces
cites work: Q5563439
cites work: A Singular Introduction to Commutative Algebra
cites work: Q4317713
cites work: Q4210476
cites work: Valuations and real places in the theory of formally real fields
cites work: Q3150781
cites work: Q5515607
cites work: Normalization of rings
cites work: Q4247789
cites work: Q4002901
cites work: Invitation to topological robotics
cites work: Generic singular configurations of linkages
cites work: Q4023642
cites work: An Efficient Implementation for Computing Gröbner Bases over Algebraic Number Fields
DOI: 10.1515/MATH-2020-0119
description: scientific article; zbMATH DE number 7435591