Algebraic \(\mathbb C^*\)-actions and the inverse kinematics of a general 6R manipulator
type: Item
instance of: scholarly article
title: Algebraic \(\mathbb C^*\)-actions and the inverse kinematics of a general 6R manipulator
zbMATH Open document ID: 1208.65028
author: Sandra Di Rocco
author: David Eklund
author: Charles W. Wampler
author: Andrew J. Sommese
published in: Applied Mathematics and Computation
publication date: 2010-07-19T00:00:00Z
review text: A numerical scheme is presented for computing the intersection of two \(m\)-dimensional algebraic subsets \(Y,Z\) of a \(2m\)-dimensional quadric hypersurface \(X\) in a complex projective space. The scheme is obtained by defining an appropriate action of the nonzero complex numbers \({\mathbb C}^\ast\) on \(X\), which then leads to two Bialynicki-Birula style cell decompositions: the positive cells, which consist of points \(x\in X\) that share the same limit point \(\lim_{t\to 0}tx\), and the negative cells, which consist of points that share the same limit \(\lim_{t\to\infty}tx\). The authors then use the \({\mathbb C}^\ast\) action to construct a homotopy \(H(t)\) on \(Y\times Z\) whose zero set \(S_0\) at \(t=0\) consists of the intersection of the positive \(m\)-dimensional cells with \(Y\), as well as the negative \(m\)-dimensional cells with \(Z\); and at \(t=1\) consists of points in \(Y\cap Z\). It is shown that, under an assumption of general position, homotopy continuation methods can be used to obtain all points in \(Y\cap Z\) by tracking points from \(S_0\) via \(H\). Versions of this result are provided in the cases when the sets \(Y,Z\) are defined implicitly, and when they are defined parametrically. The authors then apply the above scheme to the inverse kinematical problem of determining the possible rotation angles of a robot arm, formed from six revolute joints connected by rigid links (6R chain), that will result in a desired arm configuration. In this case, the hypersurface \(X\) corresponds to the configuration space of rigid Euclidean motions in three-dimensions, which can be identified with the Study quadric -- a six-dimensional hypersurface in seven-dimensional projective space. The three-dimensional subsets \(Y,Z\) are obtained by considering the first three joints and the last three joints of the arm separately; i.e., breaking the arm into two 3R chains. Readers are assumed to be familiar with concepts from algebraic geometry; a knowledge…
reviewed by: Jason Hanson
Mathematics Subject Classification ID: 65D18
zbMATH DE Number: 5757512
zbMATH Keywords: inverse kinematics
zbMATH Keywords: polynomial systems
zbMATH Keywords: intersection
zbMATH Keywords: quadric hypersurface
zbMATH Keywords: complex projective space
zbMATH Keywords: cell decompositions
zbMATH Keywords: homotopy continuation methods
zbMATH Keywords: rotation angles
zbMATH Keywords: robot arm
zbMATH Keywords: 6R chain
zbMATH Keywords: rigid Euclidean motions
zbMATH Keywords: Study quadric
describes a project that uses: HOM4PS
describes a project that uses: Bertini
describes a project that uses: HOMPACK90
describes a project that uses: PHCpack
describes a project that uses: POLSYS_PLP
describes a project that uses: POLSYS_GLP
MaRDI profile type: Publication
full work available at URL: j.amc.2009.12.014
OpenAlex ID: W2000856017
cites work: Some theorems on actions of algebraic groups
cites work: Finding all solutions to polynomial systems and other systems of equations
cites work: Regeneration homotopies for solving systems of polynomials
cites work: A Polyhedral Method for Solving Sparse Polynomial Systems
cites work: Q4775956
cites work: HOM4PS-2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method
cites work: Q4822034
cites work: A homotopy for solving general polynomial systems that respects m- homogeneous structures
cites work: Coefficient-parameter polynomial continuation
cites work: Geometric Fundamentals of Robotics
cites work: Q4790377
cites work: The Numerical Solution of Systems of Polynomials Arising in Engineering and Science
cites work: Algorithm 857
cites work: Algorithm 795
cites work: Symbolic homotopy construction
cites work: Homotopies Exploiting Newton Polytopes for Solving Sparse Polynomial Systems
cites work: Algorithm 777: HOMPACK90
cites work: Algorithm 801: POLSYS_PLP
DOI: 10.1016/J.AMC.2009.12.014
description: scientific article; zbMATH DE number 5757512