Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
Hostname: page-component-745bb68f8f-l4dxg Total loading time: 0 Render date: 2025-02-05T22:46:08.868Z Has data issue: false hasContentIssue false

8 - Algebraic and Differential Invariants

Published online by Cambridge University Press:  05 December 2012

By
E. Hubert
Edited by
Felipe Cucker ,
Teresa Krick ,
Allan Pinkus  and
Agnes Szanto
E. Hubert
Affiliation:
INRIA Méditérranée, Sophia Antipolis, France
Felipe Cucker
Affiliation:
City University of Hong Kong
Teresa Krick
Affiliation:
Universidad de Buenos Aires, Argentina
Allan Pinkus
Affiliation:
Technion - Israel Institute of Technology, Haifa
Agnes Szanto
Affiliation:
North Carolina State University
Get access

Summary

Abstract

This article highlights a coherent series of algorithmic tools to compute and work with algebraic and differential invariants.

Introduction

Group actions are ubiquitous in mathematics and arise in diverse fields of science and engineering, including physics, mechanics, and computer vision. Invariants of these group actions typically arise to reduce a problem or to decide if two objects, geometric or abstract, are obtained from one another by the action of a group element. [8, 9, 10, 11, 13, 15, 17, 39, 40, 42, 43, 45, 46, 52, 59] are a few recent references of applications. Both algebraic and differential invariant theories have become in recent years the subject of computational mathematics [13, 14, 17, 40, 60]. Algebraic invariant theory studies polynomial or rational invariants of algebraic group actions [18, 22, 23, 54]. A typical example is the discriminant of a quadratic binary form as an invariant of an action of the special linear group. The differential invariants appearing in differential geometry are smooth functions on a jet bundle that are invariant under a prolonged action of a Lie group [4, 16, 34, 48, 53]. A typical example is the curvature of a plane curve, invariant under the action of the group of the isometries on the plane. Curvature is not a rational function, but an algebraic function. Concomitantly the classical Lie groups are linear algebraic groups.

This article reviews results of [14, 28, 29, 30, 31, 32] in order to show their coherence in addressing algorithmically an algebraic description of the differential invariants of a group action. In the first section we show how to compute the rational invariants of a group action and give concrete expressions to a set of algebraic invariants that are of fundamental importance in the differential context. The second section addresses the question of finite representation of differential invariants with invariant derivations, a set of generating differential invariants and the differential relationships among them. In the last section we describe the algebraic structure that better serves the representation of differential invariants.

Type
Chapter
Information
Foundations of Computational Mathematics, Budapest 2011 , pp. 165 - 187
Publisher: Cambridge University Press
Print publication year: 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

[1] W., Adams and P., Loustaunau, An Introduction to Gröbner Bases. AMS, Providence, 1994.
[2] I. M., Anderson, Maple packages and Java applets for classification problems in geometry and algebra. In Foundations of Computational Mathematics: Minneapolis, 2002, London Math. Soc. Lecture Note Ser., 312, 193–206, Cambridge Univ. Press, Cambridge, 2004.
[3] a and V., Weispfenning, Gröbner Bases - A Computational Approach to Commutative Algebra. Springer-Verlag, New York, 1993.
[4] M., Berger and B., Gostiaux, Differential Geometry: Manifolds, Curves, and Surfaces. Springer-Verlag, New York, 1988.
[5] F., Boulier and E., Hubert, DIFFALG: description, help pages and examples of use. Symbolic Computation Group, University of Waterloo, Ontario, Canada, 1998.
[6] F., Boulier, D., Lazard, F., Ollivier, and M., Petitot, Representation for the radical of a finitely generated differential ideal. In A. H. M., Levelt, editor, ISSAC'95. ACM Press, New York, 1995.
[7] F., Boulier, D., Lazard, F., Ollivier, and M., Petitot, Computing representations for radicals of finitely generated differential ideals. Appl. Algebra Engrg. Comm. Comput., 20, (2009), 73–121.Google Scholar
[8] M., Boutin and G., Kemper, On reconstructing configurations of points in ℙ2 from a joint distribution of invariants. Appl. Algebra Engrg. Comm. Comput., 15, (2005), 361–391.Google Scholar
[9] P., Chossat and R., Lauterbach, Methods in Equivariant Bifurcations and Dynamical Systems, volume 15 of Advanced Series in Nonlinear Dynamics. World Scientific Publishing Co. Inc., River Edge, NJ, 2000.
[10] K.-S., Chou and C.-Z., Qu, Integrable equations arising from motions of plane curves. II. J. Nonlinear Sci., 13, (2003), 487–517.Google Scholar
[11] P., Comon and B., Mourrain, Decomposition of quantics in sums of power of linear forms. Signal Processing, 52, (1996), 96–107.Google Scholar
[12] D., Cox, J., Little, and D., O'Shea, Ideals, Varieties, and Algorithms. Springer-Verlag, 1992.
[13] H., Derksen and G., Kemper, Computational Invariant Theory. Invariant Theory and Algebraic Transformation Groups I. Springer-Verlag, Berlin, 2002.
[14] M., Fels and P. J., Olver, Moving coframes. II. Regularization and theoretical foundations. Acta Appl. Math., 55, (1999), 127–208.Google Scholar
[15] J., Flusser, T., Suk, and B., Zitová, Moments and Moment Invariants in Pattern Recognition. Wiley and Sons Ltd., 2009.
[16] R. B., Gardner, The Method of Equivalence and its Applications. CBMS-NSF Regional Conference Series in Applied Mathematics, 58, SIAM, Philadelphia, 1989.
[17] K., Gatermann, Computer Algebra Methods for Equivariant Dynamical Systems. Lecture Notes in Mathematics, 1728, Springer-Verlag, Berlin, 2000.
[18] J. H., Grace and A., Young, The Algebra of Invariants. Cambridge Univ. Press, Cambridge, 1903.
[19] M. L., Green, The moving frame, differential invariants and rigidity theorems for curves in homogeneous spaces. Duke Math. Journal, 45, (1978), 735–779.Google Scholar
[20] G-M., Greuel and G., Pfister, A Singular Introduction to Commutative Algebra. Springer-Verlag, Berlin, 2002.
[21] H. W., Guggenheimer, Differential Geometry. McGraw-Hill Book Co., Inc., New York, 1963.
[22] G., Gurevich, Foundations of the Theory of Algebraic Invariants. Noordhoff, 1964.
[23] D., Hilbert, Theory of Algebraic Invariants. Cambridge University Press, Cambridge, 1993.
[24] E., Hubert, Factorisation free decomposition algorithms in differential algebra. J. Symbolic Comp., 29, (2000), 641–662.Google Scholar
[25] E., Hubert, Notes on triangular sets and triangulation-decomposition algorithms I: Polynomial systems. In Symbolic and Numerical Scientific Computing, F., Winkler and U., Langer, editors, in Lecture Notes in Computer Science, 2630, 1–39, Springer-Verlag, Heidelberg, 2003.
[26] E., Hubert, Notes on triangular sets and triangulation-decomposition algorithms II: Differential systems. In Symbolic and Numerical Scientific Computing, F., Winkler and U., Langer, editors, in Lecture Notes in Computer Science, 2630, 40–87, Springer-Verlag, Heidelberg, 2003.
[27] E., Hubert, DIFFALG: extension to non commuting derivations. INRIA, Sophia Antipolis, 2005.
[28] E., Hubert, Differential algebra for derivations with nontrivial commutation rules. J. Pure Applied Algebra, 200, (2005), 163–190.Google Scholar
[29] E., Hubert, Differential invariants of a Lie group action: syzygies on a generating set. J. Symbolic Comp., 44, (2009), 382–416.Google Scholar
[30] E., Hubert, Generation properties of Maurer-Cartan invariants. Preprint http://hal.inria.fr/inria-00194528, 2012.
[31] E., Hubert and I. A., Kogan, Rational invariants of a group action. Construction and rewriting. J. Symbolic Comp., 42, (2007), 203–217.Google Scholar
[32] E., Hubert and I. A., Kogan, Smooth and algebraic invariants of a group action. Local and global constructions. Foundations of Comp. Math., 7, (2007), 455–493.Google Scholar
[33] E., Hubert and P. J., Olver, Differential invariants of conformal and projective surfaces. Symmetry Integrability and Geometry: Methods and Applications, 3(097), (2007).
[34] G., Jensen, Higher Order Contact of Submanifolds of Homogeneous Spaces. Springer-Verlag, Berlin, 1977.
[35] G., Kemper, The computation of invariant fields and a new proof of a theorem by Rosenlicht. Transformation Groups, 12, (2007), 657–670.Google Scholar
[36] E. R., Kolchin, Differential Algebra and Algebraic Groups. Academic Press, New York, 1973.
[37] M., Kreuzer and L., Robbiano, Computational Commutative Algebra. 1. Springer-Verlag, Berlin, 2000.
[38] E. L., Mansfield, Differential Gröbner Bases. PhD thesis, University of Sydney, 1991.
[39] E. L., Mansfield, Algorithms for symmetric differential systems. Foundations of Comp. Math., 1, (2001), 335–383.Google Scholar
[40] E. L., Mansfield, A Practical Guide to the Invariant Calculus. Cambridge University Press, 2010.
[41] E. L., Mansfield and P. A., Clarkson, Application of the differential algebra package diffgrob2 to classical symmetries of differential equations. J. Symbolic Comp., 23, (1997), 517–533.Google Scholar
[42] E. L., Mansfield and P. H., van der Kamp, Evolution of curvature invariants and lifting integrability. J. Geom. Phys., 56, (2006), 1294–1325.Google Scholar
[43] G. Marí, Beffa, Projective-type differential invariants and geometric curve evolutions of KdV-type in flat homogeneous manifolds. Annales de l'Institut Fourier (Grenoble), 58, (2008), 1295–1335.Google Scholar
[44] J., Müller-Quade and T., Beth, Calculating generators for invariant fields of linear algebraic groups. In Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (Honolulu, HI, 1999), of Lecture Notes in Computer Science, 1719, 392–403, Springer, Berlin, 1999.
[45] J. L., Mundy, A., Zisserman, and D. A., Forsyth, editors, Applications of Invariance in Computer Vision, Second Joint European - US Workshop, Ponta Delgada, Azores, Portugal, October 9-14, 1993, Proceedings, 825, Springer, 1994.
[46] J. L., Mundy and A., Zisserman, editors, Geometric Invariance in Computer Vision. MIT Press, 1992.
[47] P. J., Olver, Applications of Lie Groups to Differential Equations. Springer-Verlag, New York, 1986.
[48] P. J., Olver, Equivalence, Invariants and Symmetry. Cambridge University Press, 1995.
[49] P. J., Olver, Generating differential invariants. J. Math. Anal. Appl., 333, (2007), 450–471.Google Scholar
[50] P. J., Olver and J., Pohjanpelto, Moving frames for Lie pseudo-groups. Canad. J. Math., 60, (2008), 1336–1386.Google Scholar
[51] P. J., Olver and J., Pohjanpelto, Differential invariant algebras of Lie pseudo-groups. Adv. Math., 222, (2009), 1746–1792.Google Scholar
[52] P. J., Olver and J., Pohjanpelto, Maurer-Cartan forms and the structure of Lie pseudo-groups. Selecta Mathematica, 11, (2005), 99–126.Google Scholar
[53] L. V., Ovsiannikov, Group Analysis of Differential Equations. Academic Press Inc., New York, 1982.
[54] V. L., Popov and E. B., Vinberg, Invariant theory. In Algebraic Geometry. IV, number 55 in Encyclopaedia of Mathematical Sciences, 122–278. Springer-Verlag, 1994.
[55] G. J., Reid, Algorithms for reducing a system of pde to standard form, determining the dimension of its solution space and calculating its taylor series solution. European J. Applied Math., 2, (1991), 293–318.Google Scholar
[56] G. J., Reid and A., Boulton, Reduction of differential equations to standard form and their integration using directed graphs. In ISSAC'91, S. M., Watt, editor, 308–312. ACM Press, 1991.
[57] J. F., Ritt, Differential Algebra. volume XXXIII of Colloquium Publications, AMS, 1950.
[58] M., Rosenlicht, Some basic theorems on algebraic groups. Amer. J. Math., 78, (1956), 401–443.Google Scholar
[59] C., Shakiban and P., Lloyd, Signature curves statistics of DNA supercoils. In Geometry, Integrability and Quantization, 203–210, Softex, Sofia, 2004.
[60] B., Sturmfels, Algorithms in Invariant Theory. Springer-Verlag, Vienna, 1993.

Save book to Kindle

To save this book to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

Available formats
×