Third Order Invariants of Surfaces

  • Jens Gravesen
Conference paper

Abstract

The classical invariant theory from the 19th century is used to determine a complete system of 3rd order invariants on a surface in three-space. The invariant ring has 18 generators and the ideal of syzygies has 65 generators. The invariants are expressed as polynomials in the components of the first fundamental form, the second fundamental form and the covariant derivative of the latter, or in the case of an implicitly defined surface — M = f -1(0) — as polynomials in the partial derivatives of f up to order three.

As an application some commonly used fairings measures are written in invariant form. It is shown that the ridges and the subparabolic curve of a surface are the zero set of invariant functions and it is finally shown that the Darboux classification of umbilical points can be given in terms of two invariants.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Grace, J.H., Young, A.: The algebra of invariants. Cambridge University Press, Cambridge (1903)MATHGoogle Scholar
  2. 2.
    Gurevich, G.B.: Foundation of the theory of algebraic invarians. P. Noordhoff, Groningen (1964)Google Scholar
  3. 3.
    Olver, P.J.: Classical invariant theory. Volume 44 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge (1999)Google Scholar
  4. 4.
    Sturmfels, B.: Algorithms in Invariant Theory. Springer-Verlag, Wien, New York (1993) Text and Monographs in Symbolic Computation.MATHGoogle Scholar
  5. 5.
    Turnbull, H.W.: The Theory of Determinants, Matrices, and Invariants. 3 edn. Dover Publications, New York (1960)MATHGoogle Scholar
  6. 6.
    Weyl, H.: The Classical Groups, Their Invariants and Representations. Princeton University Press, Princeton, New Jersey (1946)MATHGoogle Scholar
  7. 7.
    Kung, J.P.S., Rota, G.C.: The invariant theory of binary forms. Bulletin of the Amerian Mathematical Society 10 (1983) 27–85MathSciNetCrossRefGoogle Scholar
  8. 8.
    Hilbert, D.: Über die Theorie der algebraischen Formen. Math. Ann. 26 (1890) 473–534MathSciNetCrossRefGoogle Scholar
  9. 9.
    Fulton, W., Harris, J.: Representation Theory. A First Course. Volume 129 of Graduate Texts in Mathematics. Springer-Verlag (1991)Google Scholar
  10. 10.
    Greuel, G.M., Pfister, G., Schönemann, H.: Singular 2.0. A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern (2001) http://www.singular.uni-kl.de/Google Scholar
  11. 11.
    Gravesen, J.: (Invariants) http://www.mat.dtu.dk/people/J.Gravesen/invGoogle Scholar
  12. 12.
    Gravesen, J., Ungstrup, M.: Constructing invariant fairness measures for surfaces. Advances in Computational Mathematics (2001)Google Scholar
  13. 13.
    Nowacki, H., Kaklis, P.D., eds.: Creating Fair and Shape-Preserving Curves and Surfaces. B.G. Teubner, Stuttgart (1998) Papers from the International Workshop held in Kleinmachnow, September 14–17, 1997.MATHGoogle Scholar
  14. 14.
    Porteous, I.R.: Geometric Differentiation for the intelligence of curves and surfaces. Cambridge University Press, Cambridge (1994)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jens Gravesen
    • 1
  1. 1.Department of MathematicsTechnical University of DenmarkKgs. LyngbyDenmark

Personalised recommendations