Invariants of finite and discrete group actions via moving frames. (English) Zbl 07700369
Summary: A new, elementary algorithm for constructing complete, minimal sets of generating invariants for finite or, more generally, discrete group actions, both linear and nonlinear, is proposed. The resulting fundamental invariants are piecewise analytic and endowed with a rewrite rule that enables one to immediately express any other invariant (polynomial, rational, smooth, analytic, etc.) as a function thereof. The construction is inspired by the method of equivariant moving frames for Lie group actions.
MSC:
| 16W22 | Actions of groups and semigroups; invariant theory (associative rings and algebras) |
| 57S17 | Finite transformation groups |
Software:
MathOverflowReferences:
| [1] | https://mathoverflow.net/questions/251627/proper-discontinuity-and-existence-of-a-fundamental-domain |
| [2] | Blumenthal, LM, Theory and Applications of Distance Geometry (1953), Oxford: Oxford University Press, Oxford · Zbl 0050.38502 |
| [3] | Braams, BJ; Bowman, JM, Permutationally invariant potential energy surfaces in high dimensionality, Int. Rev. Phys. Chem., 28, 577-606 (2009) · doi:10.1080/01442350903234923 |
| [4] | Burnside, W.: Theory of Groups of Finite Order, 2nd edn. Cambridge University Press, Cambridge (1911). (reprinted, Dover, New York (1955)) · JFM 42.0151.02 |
| [5] | Coxeter, HSM; Moser, WOJ, Generators and Relations for Discrete Groups (1980), New York: Springer, New York · Zbl 0422.20001 · doi:10.1007/978-3-662-21943-0 |
| [6] | Derksen, H.; Kemper, G., Computational Invariant Theory; Encyclopedia of Mathematical Science (2002), New York: Springer, New York · Zbl 1011.13003 · doi:10.1007/978-3-662-04958-7 |
| [7] | Fels, M., Olver, P.J.: Moving coframes. II. Regularization and theoretical foundations. Acta Appl. Math. 55, 127-208 (1999) · Zbl 0937.53013 |
| [8] | Goodfellow, I.; Bengio, Y.; Courville, A., Deep Learning (2016), Cambridge: The MIT Press, Cambridge · Zbl 1373.68009 |
| [9] | Grinberg, D.; Olver, PJ, The \(n\) body matrix and its determinant, SIAM J. Appl. Algebra Geometry, 3, 67-86 (2019) · Zbl 1442.70008 · doi:10.1137/18M1175410 |
| [10] | Hochster, M.; Roberts, JL, Rings of invariants of reductive groups acting on regular rings are Cohen-Macaulay, Adv. Math., 13, 115-175 (1974) · Zbl 0289.14010 · doi:10.1016/0001-8708(74)90067-X |
| [11] | Hubert, E.; Kogan, IA, Rational invariants of a group action, Construction and rewriting. J. Symb. Comp., 42, 203-217 (2007) · Zbl 1121.13010 · doi:10.1016/j.jsc.2006.03.005 |
| [12] | Hydon, PE, Symmetry Methods for Differential Equations (2000), Cambridge: Cambridge Texts in Applications Mathematics. Cambridge University Press, Cambridge · Zbl 0951.34001 · doi:10.1017/CBO9780511623967 |
| [13] | Kamke, T.; Kemper, G., Algorithmic invariant theory of nonreductive groups, Qual. Theory Dyn. Syst., 11, 79-110 (2012) · Zbl 1262.14055 · doi:10.1007/s12346-011-0059-4 |
| [14] | Kelley, JL, General Topology; Graduate Texts in Mathematics (1975), New York: Springer, New York · Zbl 0306.54002 |
| [15] | Kogan, IA, Two algorithms for a moving frame construction, Can. J. Math., 55, 266-291 (2003) · Zbl 1079.53023 · doi:10.4153/CJM-2003-013-2 |
| [16] | Liberti, L.; Lavor, C., Euclidean Distance Geometry: An Introduction (2017), New York: Undergraduate Texts in Mathematics. Springer, New York · Zbl 1492.51002 · doi:10.1007/978-3-319-60792-4 |
| [17] | Longuet-Higgins, HC, The symmetry groups of non-rigid molecules, Mol. Phys., 6, 445-460 (1963) · Zbl 0121.45702 · doi:10.1080/00268976300100501 |
| [18] | Mansfield, E.; Marí Beffa, G.; Wang, JP, Discrete moving frames and differential-difference integrable systems, Found. Comput. Math., 13, 545-582 (2013) · Zbl 1279.14045 · doi:10.1007/s10208-013-9153-0 |
| [19] | Marí Beffa, G.; Mansfield, EL, Discrete moving frames on lattice varieties and lattice based multispaces, Found. Comput. Math., 18, 181-247 (2018) · Zbl 1390.14101 · doi:10.1007/s10208-016-9337-5 |
| [20] | Morris, DW, Introduction to Arithmetic Groups (2015), Lethbridge: Deductive Press, Lethbridge · Zbl 1319.22007 |
| [21] | Neusel, MD; Smith, L., Invariant Theory of Finite Groups; Mathematical Surveys and Monographs (2002), Providence: American Mathematical Society, Providence · Zbl 0999.13002 |
| [22] | Noether, E., Der Endlichkeitssatz der Invarianten endlicher Gruppen, Math. Ann., 77, 89-92 (1916) · JFM 45.0198.01 · doi:10.1007/BF01456821 |
| [23] | Olver, PJ, Joint invariant signatures, Found. Comput. Math., 1, 3-67 (2001) · Zbl 1001.53004 · doi:10.1007/s10208001001 |
| [24] | Olver, PJ, Recursive moving frames, Results Math., 60, 423-452 (2011) · Zbl 1254.22014 · doi:10.1007/s00025-011-0153-6 |
| [25] | Olver, PJ, Modern developments in the theory and applications of moving frames, Lond. Math. Soc. Impact Stories, 1, 14-50 (2015) |
| [26] | Schmelzer, A.; Murrell, JN, The general analytic expression for \(S_4\)-symmetry-invariant potential functions of tetra-atomic homonuclear molecules, Int. J. Quantum Chem., 28, 287-295 (1985) · doi:10.1002/qua.560280210 |
| [27] | Schoenberg, IJ, Remarks to Maurice Fréchet’s article “Sur la définition axiomatique d’une classe d’espaces vectoriels distanciés applicables vectoriellement sur l’espace de Hilbert”, Ann. Math., 36, 724-732 (1935) · JFM 61.0435.04 · doi:10.2307/1968654 |
| [28] | Shakiban, C., An invariant theoretic characterization of conservation laws, Am. J. Math., 104, 1127-1152 (1982) · Zbl 0514.35050 · doi:10.2307/2374054 |
| [29] | Sloane, NJA, Error-correcting codes and invariant theory: New applications of a nineteenth-century technique, Am. Math. Mon., 84, 82-107 (1977) · Zbl 0357.94014 · doi:10.1080/00029890.1977.11994294 |
| [30] | Swan, R., Invariant rational functions and a problem of Steenrod, Invent. Math., 7, 148-158 (1969) · Zbl 0186.07601 · doi:10.1007/BF01389798 |
| [31] | Strang, G., The functions of deep learning, SIAM News, 51, 10, 1-4 (2018) |
| [32] | Stanley, RP, Invariants of finite groups and their applications to combinatorics, Bull. Am. Math. Soc., 1, 475-511 (1979) · Zbl 0497.20002 · doi:10.1090/S0273-0979-1979-14597-X |
| [33] | Yamasaki, A., Negative solutions to three-dimensional monomial Noether problem, J. Algebra, 370, 46-78 (2012) · Zbl 1309.12006 · doi:10.1016/j.jalgebra.2012.07.018 |
| [34] | Young, G.; Householder, AS, Discussion of a set of points in terms of their mutual distances, Psychometrika, 3, 19-22 (1938) · JFM 64.1302.04 · doi:10.1007/BF02287916 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
