×

# zbMATH — the first resource for mathematics

On automorphisms of matrix invariants induced from the trace ring. (English) Zbl 0802.16017
Assume $$M^ m_ n$$ is the affine space of all $$m$$-tuples of $$n$$ by $$n$$ matrices over a fixed algebraically closed field of characteristic zero and let the group $$PGL_ n$$ act on this space by (simultaneous) conjugations. Denote the corresponding quotient space by $$Q_{m,n}$$, and $$A = \text{Aut}(Q_{m,n})$$ be the group of automorphisms of $$Q_{m,n}$$ that preserve the representation type of $$Q_{m,n}$$. The main results proved in the paper under review are the following. (i) If $$m \geq n + 1$$ then for any positive integer $$s$$ the group $$A$$ acts $$s$$-transitively on $$Q_{m,n}$$ (considered as a stratified affine variety). (ii) Let $$T_{m,n}$$ be the trace ring of the ring of $$m$$ generic $$n$$ by $$n$$ matrices. Then there exist elements in $$A$$ (for $$n \geq 3$$ and $$m \geq 2$$) that cannot be induced by any automorphism of $$T_{m,n}$$.

##### MSC:
 16R30 Trace rings and invariant theory (associative rings and algebras) 16R10 $$T$$-ideals, identities, varieties of associative rings and algebras 15A72 Vector and tensor algebra, theory of invariants 16W20 Automorphisms and endomorphisms 16S50 Endomorphism rings; matrix rings 16G60 Representation type (finite, tame, wild, etc.) of associative algebras
Full Text:
##### References:
 [1] Artin, M., On Azumaya algebras and finite dimensional representations of rings, J. algebra, 11, 532-563, (1969) · Zbl 0222.16007 [2] Cohn, P.M., Algebra, Vol. 2, (1982), Wiley New York [3] Czerniakiewicz, A.J., Automorphisms of a free polynomial algebra of rank 2. II, Trans. amer. math. soc., 171, 309-315, (1972) · Zbl 0258.16001 [4] Formanek, E., Noncommutative invariant theory, Group actions on rings, Contemp. math., 13, (1985) · Zbl 0609.16008 [5] Guralnick, R.; Montgomery, S., Normalizing elements of the trace ring of generic matrices, Comm. algebra, 17, 1805-1813, (1989) · Zbl 0688.16017 [6] Le Bruyn, L., Simultaneous equivalence of square matrices, () · Zbl 0759.14039 [7] Le Bruyn, L., The Artin-schofield theorem and some applications, Comm. algebra, 14, 1439-1455, (1986) · Zbl 0601.16014 [8] Lvov, I.V.; Kharchenko, V.K., Normal elements of the algebra of generic matrices are central, Sibirsk. mat. zh., 23, 193-195, (1982), (in Russian) · Zbl 0498.16014 [9] Montgomery, S., X-inner automorphisms of filtered algebras II, Proc. amer. math. soc., 87, (1983) · Zbl 0509.16018 [10] Mumford, D.; Fogarty, J., Geometric invariant theory, (1982), Springer-Verlag New York · Zbl 0504.14008 [11] Procesi, C., The invariant theory of n×n matrices, Adv. math., 19, 306-381, (1976) · Zbl 0331.15021 [12] Procesi, C.; Procesi, C., A formal inverse to the Cayley-Hamilton theorem, J. algebra, J. algebra, 122, 41-85, (1971) [13] Reichstein, Z., A functional interpretation of the ring of matrix invariants, J. algebra, 136, 439-462, (1991) · Zbl 0714.16017 [14] Z. Reichstein, On automorphisms of matrix invariants, Trans. Amer. Math. Soc., to appear. · Zbl 0820.16021 [15] Rowen, L.H., Polynomial identities in ring theory, (1980), Academic New York · Zbl 0461.16001 [16] Sibirskii, K.S.; Sibirskii, K.S., Algebraic invariants of a set of matrices, Sibirsk. mat. zh., Siberian math. J., 9, 1, 115-124, (1968), English transl. · Zbl 0273.15024 [17] Shafarevich, I.R.; Shafarevich, I.R., On some infinite-dimensional groups, Izv. akad. nauk SSSR ser. mat., Math. USSR izv., 18, 1, 185-194, (1982), English transl. · Zbl 0491.14025
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. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8973988890647888, "perplexity": 2145.088143249915}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2021-04/segments/1610703538226.66/warc/CC-MAIN-20210123160717-20210123190717-00072.warc.gz"}