Abstract
Let \(R=K[[x_1,\ldots ,x_s]]\) be the ring of formal power series with maximal ideal \(\mathfrak {m}\) over a field K of arbitrary characteristic. On the ring \(M_{m,n}\) of \(m\times n\) matrices A with entries in R we consider several equivalence relations given by the action on \(M_{m,n}\) of a group G. G can be the group of automorphisms of R, combined with the multiplication of invertible matrices from the left, from the right, or from both sides, respectively. We call A finitely G-determined if A is G-equivalent to any matrix B with \({A-B} \in {\mathfrak {m}^k M_{m,n}}\) for some finite integer k, which implies in particular that A is G-equivalent to a matrix with polynomial entries. The classical criterion for analytic or differential map germs \(f:(K^s,0) \rightarrow (K^m,0)\), \(K = \mathbb {R}, \mathbb {C}\), says that \(f \in M_{m,1}\) is finitely determined (with respect to various group actions) iff the tangent space to the orbit of f has finite codimension in \(M_{m,1}\). We extend this criterion to arbitrary matrices in \(M_{m,n}\) if the characteristic of K is 0 or, more general, if the orbit map is separable. In positive characteristic however, the problem is more subtle since the orbit map is in general not separable, as we show by an example. This fact had been overlooked in previous papers. Our main result is a general sufficient criterion for finite G-determinacy in \(M_{m,n}\) in arbitrary characteristic in terms of the tangent image of the orbit map, which we introduce in this paper. This criterion provides a computable bound for the G-determinacy of a matrix A in \(M_{m,n}\), which is new even in characteristic 0.
Similar content being viewed by others
References
Bruce, J.W., du Plessis, A.A., Wall, C.T.C.: Determinacy and unipotency. Invent. Math. 88(3), 521–554 (1987) (Zbl 0596.58005)
Boubakri, Y., Greuel, G.-M., Markwig, T.: Invariants of hypersurface singularities in positive characteristic. Rev. Mat. Complut. 25(1), 61–85 (2012) (Zbl 1279.14004)
Belitskii, G., Kerner, D.: Finite determinacy of matrices over local rings.II. Tangent modules to the miniversal deformations for group-actions involving the ring automorphisms (2016). arXiv:1604.06247
Borel, A.: Linear algebraic groups, Graduate Texts in Mathematics, 2nd edn., vol. 126. Springer, New York (1991) (Zbl 0726.20030)
Damon, J.: Finite determinacy and topological triviality. I. Invent. Math. 62(2), 299–324 (1980) (Zbl 0489.58003)
Decker, W., Greuel, G.-M., Pfister, G., Schönemann, H.: Singular 4-0-2—a computer algebra system for polynomial computations. http://www.singular.uni-kl.de (2015)
du Plessis, A.: On the determinacy of smooth map-germs. Invent. Math. 58, 107–160 (1980) (Zbl 0446.58004)
Eisenbud, D.: Commutative algebra. With a view toward algebraic geometry, Graduate Texts in Mathematics, vol. 150. Springer, New York (1995) (Zbl 0819.13001)
Gaffney, T.: A note on the order of determination of a finitely determined germ. Invent. Math. 52(2), 127–130 (1979) (Zbl 0419.58004)
Greuel, G.M., Lossen, C., Shustin, E.: Introduction to Singularities and Deformations. Springer, Berlin (2007) [Springer Monographs in Mathematics.Zbl 1125.32013]
Greuel, G.M., Pham, T.H.: Finite determinacy of matrices and ideals in arbitrary characteristic (2017). arXiv:1708.02442
Greuel, G.-M., Kröning, H.: Simple singularities in positive characteristic. Math. Z. 203(2), 339–354 (1990) (Zbl 0715.14001)
Greuel, G.M., Pfister, G.: A Singular Introduction to Commutative Algebra, extended edn. Springer, Berlin (2008) [With contributions by Olaf Bachmann, Christoph Lossen and Hans Schönemann, With 1 CD-ROM (Windows, Macintosh and UNIX). Zbl 1133.13001]
Mather, J.N.: Stability of \(C^{\infty }\) mappings. III. Finitely determined map-germs. Inst. Hautes Études Sci. Publ. Math. 35, 279–308 (1968) (Zbl 0603.58028)
Mather, J.N.: Stability of \(C^\infty \) mappings. IV: classification of stable germs by R-algebras. Publ. Math. Inst. Hautes Étud. Sci. 37, 223–248 (1969) [(English) Zbl0202.55102]
Matsumura, H.: Commutative ring theory, 2nd edn., vol. 8. Cambridge University Press, Cambridge, Cambridge Studies in Advanced Mathematics (1989) [Translated from the Japanese by M. Reid. Zbl 0666.13002]
Pham, T.H.: On finite determinacy of hypersurface singularities and matrices in arbitrary characteristic, Ph.D. thesis, TU Kaiserslautern (2016)
Santos, W.F., Rittatore, A.: Actions and invariants of algebraic groups, Pure and Applied Mathematics (Boca Raton), vol. 269. Chapman & Hall/CRC, Boca Raton (2005) (Zbl 1079.14053)
Tougeron, J.-C.: Idéaux de fonctions différentiables. I. Ann. Inst. Fourier (Grenoble) 18(no. fasc. 1), 177–240 (1968) (Zbl 0251.58001)
Wall, C.T.C.: Finite determinacy of smooth map-germs. Bull. Lond. Math. Soc. 13(6), 481–539 (1981) (Zbl 0451.58009)
Acknowledgements
We thank Gerhard Pfister for useful discussions. The second author is supported by the Vietnam National Foundation for Science and Technology Development (NAFOSTED) under Grant Number 101.04-2017.312. The second author would also like to thank the DAAD (Germany) for support.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Greuel, GM., Pham, T.H. On finite determinacy for matrices of power series. Math. Z. 290, 759–774 (2018). https://doi.org/10.1007/s00209-018-2040-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-018-2040-2