Isosingular Sets and Deflation
- 459 Downloads
This article introduces the concept of isosingular sets, which are irreducible algebraic subsets of the set of solutions to a system of polynomial equations constructed by taking the closure of points with a common singularity structure. The definition of these sets depends on deflation, a procedure that uses differentiation to regularize solutions. A weak form of deflation has proven useful in regularizing algebraic sets, making them amenable to treatment by the algorithms of numerical algebraic geometry. We introduce a strong form of deflation and define deflation sequences, which, in a different context, are the sequences arising in Thom–Boardman singularity theory. We then define isosingular sets in terms of deflation sequences. We also define the isosingular local dimension and examine the properties of isosingular sets. While isosingular sets are of theoretical interest as constructs for describing singularity structures of algebraic sets, they also expand the kinds of algebraic set that can be investigated with methods from numerical algebraic geometry.
KeywordsIrreducible algebraic set Deflation Deflation sequence Multiplicity Isosingular set Isosingular point Isosingular local dimension Numerical algebraic geometry Polynomial system Witness point Witness set Local dimension
Mathematics Subject Classification (2010)65H10 13P05 14Q99 68W30
The authors would like to thank Gert-Martin Greuel for sharing his knowledge regarding Thom–Boardman singularities, the Mittag-Leffler Institute (Djursholm, Sweden) for their support and hospitality, and the anonymous referees for their helpful comments.
J.D. Hauenstein was supported in part by the Mittag-Leffler Institute, and NSF grant DMS-1262428. C.W. Wampler was supported by the Mittag-Leffler Institute and NSF grant DMS-0712910.
- 6.D.J. Bates, J.D. Hauenstein, A.J. Sommese, C.W. Wampler, Bertini: software for numerical algebraic geometry. Available at http://www.nd.edu/~sommese/bertini.
- 9.B.H. Dayton, Z. Zeng, Computing the multiplicity structure in solving polynomial systems, in ISSAC’05 (ACM, New York, 2005), pp. 116–123. Google Scholar
- 13.M. Griffis, J. Duffy, Method and apparatus for controlling geometrically simple parallel mechanisms with distinctive connections. US Patent 5,179,525 (1993). Google Scholar
- 20.M.L. Husty, A. Karger, Self-motions of Griffis–Duffy type parallel manipulators, in Proc. 2000 IEEE Int. Conf. Robotics and Automation, San Francisco, CA, April 24–28, 2000. CDROM. Google Scholar
- 22.A. Leykin, Numerical primary decomposition, in ISSAC 2008 (ACM, New York, 2008), pp. 165–172. Google Scholar