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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Grace, J.H., Young, A.: The algebra of invariants. Cambridge University Press, Cambridge (1903)
Gurevich, G.B.: Foundation of the theory of algebraic invarians. P. Noordhoff, Groningen (1964)
Olver, P.J.: Classical invariant theory. Volume 44 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge (1999)
Sturmfels, B.: Algorithms in Invariant Theory. Springer-Verlag, Wien, New York (1993) Text and Monographs in Symbolic Computation.
Turnbull, H.W.: The Theory of Determinants, Matrices, and Invariants. 3 edn. Dover Publications, New York (1960)
Weyl, H.: The Classical Groups, Their Invariants and Representations. Princeton University Press, Princeton, New Jersey (1946)
Kung, J.P.S., Rota, G.C.: The invariant theory of binary forms. Bulletin of the Amerian Mathematical Society 10 (1983) 27–85
Hilbert, D.: Über die Theorie der algebraischen Formen. Math. Ann. 26 (1890) 473–534
Fulton, W., Harris, J.: Representation Theory. A First Course. Volume 129 of Graduate Texts in Mathematics. Springer-Verlag (1991)
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/
Gravesen, J.: (Invariants) http://www.mat.dtu.dk/people/J.Gravesen/inv
Gravesen, J., Ungstrup, M.: Constructing invariant fairness measures for surfaces. Advances in Computational Mathematics (2001)
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.
Porteous, I.R.: Geometric Differentiation for the intelligence of curves and surfaces. Cambridge University Press, Cambridge (1994)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gravesen, J. (2005). Third Order Invariants of Surfaces. In: Computational Methods for Algebraic Spline Surfaces. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-27157-0_14
Download citation
DOI: https://doi.org/10.1007/3-540-27157-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23274-2
Online ISBN: 978-3-540-27157-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)