Abstract
The paper is devoted to the classical problem of analytical geometry in n-dimensional Euclidean space, namely, finding the canonical equation of a quadric from an initial equation. The canonical equation is determined by the invariants of the second-order surface equation, i.e., by quantities that do not change when the space coordinates are changed affinely. S.L. Pevzner found a convenient system containing the following invariants: q, the rank of the extended matrix of the system for determining the center of symmetry of the surface; the roots of the characteristic polynomial of the quadratic term matrix of the surface equation, i.e., the eigenvalues of this matrix; and Kq, the coefficient of the variable λ to the power n – q in the polynomial that is equal to the determinant of the matrix of order n + 1 that is obtained according to a certain rule from the initial surface equation. The eigenvalues of the matrix of the quadratic terms and coefficient Kq make it possible to write the canonical equation of the surface. In the paper, we propose a new simple proof of Pevzner’s result. In the proof, only elementary properties of the determinants are used. This algorithm for finding the canonical surface equation can find application in computer graphics.
REFERENCES
B. A. Rozenfel’d, Multidimensional Spaces (Nauka, Moscow, 1966) [in Russian].
E. B. Vinberg and V. L. Popov, “Invariant theory,” in Algebraic Geometry—4, in Ser.: Proceedings of Science and Technology, Series: Current Problems of Mathematics, Fundamental Schools (VINITI, Moscow, 1989), Vol. 55, pp. 137–309 [in Russian].
G. B. Gurevich, Foundations of the Theory of Algebraic Invariants (Gostekhizdat, Moscow, 1948; P. Noordhoff, Groningen, 1964).
P. J. Olver, Classical Invariant Theory, in Ser.: London Mathematical Society Student Texts (Cambridge Univ. Press, Cambridge, 1999), Vol. 44.
E. Casas-Alvero, Analytic Projective Geometry, in Ser.: EMS Textbooks in Mathematics (European Mathematical Society, Zürich, 2014).
O. Schreier and E. Sperner, Projective Geometry of N-Dimensions. Introduction to Modern Algebra and Matrix Theory (Chelsea, New York, 1961), Vol. 2.
B. N. Delone and D. A. Raikov, Analytical Geometry (Gostekhizdat, Moscow, 1948), Vol. 2 [in Russian].
P. S. Modenov, Analytical Geometry (Mosk. Gov. Univ., Moscow, 1969) [in Russian].
G. E. Shilov, An Introduction to the Theory of Linear Spaces (Gostekhizdat, Moscow, 1956; Dover, New York, 1974).
S. L. Pevzner, “Invariants and canonical equations of a second-order hypersurface in an n-dimensional Euclidean space,” Publ. Inst. Math. Nouv. Ser. 55, 75–88 (1994).
G. E. Farin and G. Farin, Curves and Surfaces for CAGD: A Practical Guide (Morgan Kaufmann, 2002).
Funding
This work was supported by ongoing institutional funding. No additional grants to carry out or direct this particular research were obtained.
Author information
Authors and Affiliations
Corresponding authors
Ethics declarations
The authors of this work declare that they have no conflicts of interest.
Additional information
Translated by A. Ivanov
Publisher’s Note.
Pleiades Publishing remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Volkov, D.Y., Galunova, K.V. Metric Invariants of Second-Order Surfaces. Vestnik St.Petersb. Univ.Math. 56, 569–576 (2023). https://doi.org/10.1134/S1063454123040210
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1063454123040210