Abstract
We give the equations of the nth symmetric product \(X^n/S_n\) of a flat affine scheme \(X=\mathrm {Spec}\,A\) over a commutative ring F. As a consequence, we find a closed immersion into the coarse moduli space parameterizing ndimensional linear representations of A. This is done by exhibiting an isomorphism between the ring of symmetric tensors over A and the ring generated by the coefficients of the characteristic polynomial of polynomials in commuting generic matrices giving representations of A. Using this we derive an isomorphism of the associated reduced schemes over an infinite field. When the characteristic is zero we show that this isomorphism is an isomorphism of schemes and we express it in term of traces.
Introduction
Let F be an infinite field and let \(F[y_1,\dots ,y_n]^{S_n}\) be the ring of symmetric polynomials in n variables (see Macdonald 1995). The general linear group \(\mathrm {GL}(n,F)\) acts by conjugation on the full ring \(\mathrm {Mat}(n,F)\) of \(n\times n\) matrices over F. Denote by \(F[\mathrm {Mat}(n,F)]^{\mathrm {GL}(n,F)}\) the ring of the polynomial invariants for this actions. It is well known that
The above result can be restated by saying that the scheme parameterizing ndimensional linear representations of F[x] up to basis change is isomorphic to the symmetric product
Let F be a commutative ring. We write \(\mathcal {R}_n(A)//\mathrm {GL}(n,F)\) for the coarse moduli space that parameterizes ndimensional linear representations of a flat commutative Falgebra A up to basis change. Let \(X=\mathrm {Spec}\,A\) and write \(X^n/S_n\) for the symmetric product of its spectrum.
When A is flat as Fmodule we have a couple of morphisms relating \(X^n/S_n\) to \(\mathcal {R}_n(A)//\mathrm {GL}(n,F)\), one is given by the composition of a representation \(\rho \) with the usual determinant, the other is induced by the restriction to diagonal matrices.
Our main results are the following generalizations of (2)

we give a closed embedding of schemes
$$\begin{aligned} X^n/S_n\hookrightarrow \mathcal {R}_n(A)//\mathrm {GL}(n,F) \end{aligned}$$(3) 
when F is an infinite field the embedding (3) induces an isomorphism of the associated reduced schemes.

when F is a characteristic zero field the embedding (3) is an isomorphism.
Suppose A is generated by say m elements, then one can identify the geometric points of the symmetric product with a subscheme of the mtuples of diagonal \(n\times n\) matrices and the above result can be read as a theorem of simultaneous diagonalization as well as a generalization of the classical result due to Junker (1893) and Weyl (1946).
As a complement, we give a presentation by generators and relations of \((A^{\otimes n})^{S_n}\) that holds for A flat and over any commutative base ring F giving then the equations of \(X^n/S_n\) in the flat case. In the characteristic zero cases, we describe \(V_n(A)^{\mathrm {GL}(n,F)}\) in terms of traces and polynomial identities.
These results generalize those one given in Vaccarino (2005, 2007). See Vaccarino (2012) for further readings on these topics.
Notation

F is a fixed commutative base ring

we write algebra to mean commutative Falgebra

we denote by \(\mathcal {C}_F\) the category of commutative Falgebras

Sets the category of sets

we write \(\mathcal {A}(B,C):=Hom_{\mathcal {A}}(B,C)\) in a category \(\mathcal {A}\) with B, C objects in \(\mathcal {A}\).

for A a set and any additive monoid M, we denote by \(M^{(A)}\) the set of functions \(f:A\rightarrow M\) with finite support.

let \(\alpha \in M^{(A)}\), we denote by \(\mid \alpha \mid \) the (finite) sum \(\sum _{a\in A} \alpha (a)\),

given a set I we denote by \(\sharp I\) its cardinality.
Symmetric product
Let A be an algebra and \(X=\mathrm {Spec}\,A\) its prime spectrum. The symmetric group \(S_n\) acts on the nth tensor power \(A^{\otimes n}\) and as usual we write \(\mathrm {TS}^n_F(A)\) or simply \(\mathrm {TS}^n(A)\) to denote the subalgebra of the invariants for this action, i.e. the symmetric tensors of order n over A. The nth symmetric product of the affine scheme X is the quotient scheme of \(X^n\) with respect to the above action and is usually denoted by \(X^{(n)}\). By definition \(X^{(n)}=X^n/S_n=\mathrm {Spec}\, \mathrm {TS}^n(A)\).
Polynomial laws
To link symmetric tensors to linear representations we shall use the determinant so that we are lead to the topic of polynomial laws: we recall the definition of this kind of a map between Fmodules that generalizes the usual polynomial mapping between free Fmodules (see Bourbaki 1988; Roby 1963, 1980).
Definition 1
Let A and B be two Fmodules. A polynomial law \(\varphi \) from A to B is a family of mappings \(\varphi _{_{L}}:L\otimes _{F} A \longrightarrow L\otimes _{F} B\), with \(L\in \mathcal {C}_{F}\) such that the following diagram commutes
for all \(L,\,M\in \mathcal {C}_{F}\) and all \(f\in \mathcal {C}_{F}(L,M)\).
Definition 2
Let \(n\in \mathbb {N}\), if \(\varphi _L(au)=a^n\varphi _L(u)\), for all \(a\in L\), \(u\in L\otimes _{F} A\) and all \(L\in \mathcal {C}_{F}\), then \(\varphi \) will be said homogeneous of degree n.
Definition 3
If A and B are two Falgebras and
for \(L\in \mathcal {C}_{F}\) and for all \(x,y\in L\otimes _{F} A\), then \(\varphi \) is called multiplicative.
Remark 4
A polynomial law \(\varphi :A\rightarrow B\) is a natural transformation \(\otimes _{F}A\rightarrow \otimes _{F}B\).
Let A and B be two Fmodules and \(\varphi :A\rightarrow B\) be a polynomial law. The following result on polynomial laws is a restatement of Théorème I.1 of Roby (1963).
Theorem 5
Let S be a set and let \(a_{s}\) be elements of A such that \(a_{s}=0\) except for a finite number of \(s\in S\).

1.
Let \(L=F[x_s]_{s\in S}\). There exist \(\varphi _{\xi }((a_{s}))\in B\), with \(\xi \in \mathbb {N}^{(S)}\), such that:
$$\begin{aligned} \varphi _{_{L}}\left( \sum _{s\in S} x_s\otimes a_{s}\right) =\sum _{\xi \in \mathbb {N}^{(S)}} x^{\xi }\otimes \varphi _{\xi }((a_{s})) \end{aligned}$$(6)where \(x^{\xi }=\prod _{s\in S} x_s^{\xi _s}\).

2.
Let R be any commutative Falgebra and let \(r_s\in R\) for \(s\in S\), then:
$$\begin{aligned} \varphi _{_{R}}\left( \sum _{s\in S} r_s\otimes a_{s}\right) =\sum _{\xi \in \mathbb {N}^{(S)}} r^{\xi }\otimes \varphi _{\xi }((a_{s})) \end{aligned}$$(7)where \(r^{\xi }=\prod _{s\in S} r_s^{\xi _s}\).

3.
If \(\varphi \) is homogeneous of degree n, then one has \(\varphi _{\xi }((a_{s}))=0\) if \( \xi \) is different from n. That is:
$$\begin{aligned} \varphi _{_{R}}\left( \sum _{s\in S} r_s\otimes a_s\right) =\sum _{\xi \in \mathbb {N}^{(S)},\, \xi =n} r^{\xi }\otimes \varphi _{\xi }((a_s)) \end{aligned}$$(8)In particular, if \(\varphi \) is homogeneous of degree 0 or 1, then it is constant or linear, respectively.
Remark 6
The above theorem means that a polynomial law \(\varphi :A\rightarrow B\) is completely determined by its coefficients \(\varphi _{\xi }((a_{s}))\), with \(\xi \in \mathbb {N}^{(S)}\).
Remark 7
If A is a free Fmodule and \(\{a_{t}\, :\, t\in T\}\) is a basis of A, then \(\varphi \) is completely determined by its coefficients \(\varphi _{\xi }((a_{t}))\), with \(\xi \in \mathbb {N}^{(T)}\). If also B is a free Fmodule with basis \(\{b_{u}\, :\, u\in U\}\), then \(\varphi _{\xi }((a_{t}))=\sum _{u\in U}\uplambda _{u}(\xi )b_{u}\). Let \(a=\sum _{t\in T}\mu _{t}a_{t}\in A\). Since only a finite number of \(\mu _{t}\) and \(\uplambda _{u}(\xi )\) are different from zero, the following makes sense:
Hence, if both A and B are free Fmodules, a polynomial law \(\varphi :A\rightarrow B\) is simply a polynomial map.
Definition 8
Let \(A,B\in \mathcal {C}_F\) be two algebras we write \(P_n(A,B)\) for the multiplicative homogeneous polynomial mapping \(A\rightarrow B\) of degree n.
The assignment \(B\rightarrow P_n(A,B)\) determines a functor \(P_n^A:\mathcal {C}_F\rightarrow Sets\) as one can easily check.
Symmetric products as representing schemes
From now on A will be a flat algebra. There is an element \(\gamma _n\in P_n(A,\mathrm {TS}^n(A))\) given by \(\gamma _n(a)= a^{\otimes n}\) such that the composition \(\mathcal {C}_F(\mathrm {TS}^n(A),B)\ni \rho \mapsto \rho \cdot \gamma _n\in P_n(A,B)\) gives an isomorphism
i.e. the functor \(P_n^A\) is represented by the symmetric product \(X^{(n)}\), (see Bourbaki 1988, chap. IV). We call \(\gamma _n\) the universal mapping of degree n.
The proof goes as follows: by Rem. 6 a polynomial law is determined by its coefficients. If A is free then one can extract from the set of coefficients of \(\gamma _n\) a linear basis of \(\mathrm {TS}^n(A)\). Then any polynomial law homogeneous of degree n correspond to a specialization of these coefficients of \(\gamma _n\). The requirement to be multiplicative corresponds to the requirement of the above specialization to be an algebra homomorphism, since \(\gamma _n\) is obviously multiplicative. Then one applies the good properties of \(\mathrm {TS}^n\) with respect to inverse limits and gets the desired result for flat algebras, see Lazard (1969).
Generators
Let \(a\in A\), there is an algebra homomorphism
induced by the evaluation of x at a. We write \(e_i^n(a)=\eta _a(e_i^n)\) where \(e_i^n\) is the ith elementary symmetric polynomial in n variables. Given and independent variable t we have an induced map \(\overline{\eta }_a:F[t][x_1,\dots ,x_n]^{S_n}\cong \mathrm {TS}^n(F[t][x])\rightarrow \mathrm {TS}^n(A[t])\) such that
so that \(e_i^n(a)\) is the orbit sum of \(a^{\otimes i}\otimes 1^{\otimes ni}\). Note that \(e_n^n(a)=a^{\otimes n}=\gamma _n(a)\).
Proposition 9
(Generators) Let A be a commutative flat algebra generated by \(\{a_i\}_{i\in I}\) then \(\mathrm {TS}^n(A)\) is generated by \(e_i^n(a)\) where \(a=\prod _i a_i^{\alpha _i}\) is such that \(\sum _i\alpha _i\le max(n,\sharp I(n1))\) and the \(\{\alpha _i\}_{i\in I}\) are coprime.
Proof
In Vaccarino (2005, Theorem 1) we proved the above statement for \(A=P\) a free polynomial Falgebra. For \(A=P/I\) flat the morphism \(\mathrm {TS}^n(P)\rightarrow \mathrm {TS}^n(A)\) is onto and the proposition follows. \(\square \) \(\square \)
Proposition 10
Suppose \(F\supset \mathbb {Q}\) with \(\mathbb {Q}\) the rational integers and let A be generated by \(\{a_i\}_{i\in I}\). In this case \(\mathrm {TS}^n(A)\) is generated by \(e_1^n(a)\) where \(a=\prod _i a_i^{\alpha _i}\) is such that \(\sum _i\alpha _i\le n\).
Proof
It follows from Proposition 9, Newton formulas and Noether’s bound. \(\square \)
Relations
Suppose you have a homomorphism \(f:A\rightarrow B\) of algebras. One can check that the kernel of \(\mathrm {TS}^nf:\mathrm {TS}^n(A)\rightarrow \mathrm {TS}^n(B)\) is linearly generated by the orbit sums (under \(S_n\)) of elements \(a_1\otimes \cdots \otimes a_n\) such that \(\exists k\in \{1,\dots ,n\}\) with \(a_k\in \ker f\). Now any such element can be expressed as a polynomial in the \(e_i^n(a)\) with a varying into the set of monomials in the \(a_j\) (see Vaccarino 2005, Lemma 1.2 and Corollary 2.3). Thus we have the following.
Proposition 11
Let \(f:A\rightarrow B\) be an algebra homomorphism then the kernel of \(\mathrm {TS}^nf:\mathrm {TS}^n(A)\rightarrow \mathrm {TS}^n(B)\) is generated as an ideal by the elements \(e_i^n(a)\) with \(i=1,\dots ,n\) and \(a\in \ker f\).
Corollary 12
Suppose \(F\supset \mathbb {Q}\) then \(\ker \mathrm {TS}^nf\) is generated by \(e_1^n(a)\) with \(a\in \ker f\).
Proof
It follows from the above Proposition by Newton’s formulas. \(\square \)
Let \(P_{\Omega }=F[x_{\omega }]_{\omega \in \Omega }\) be the free polynomial algebra on \(\Omega \). We set \(P^+_{\Omega }\) for the augmentation ideal i.e. the kernel of the evaluation \(x_{\omega }\mapsto 0\) for all \(\omega \).
Consider the polynomial ring \(F[e_{i,\mu }]\) freely generated by the symbols \(e_{i,\mu }\) with \(i\ge 1\) and \(\mu \) that varies in the set of monomials \(\prod _{\omega }x_{\omega }^{\alpha _{\omega }}\) having coprime exponents. By Proposition 9 for all n there is a surjective homomorphism \(\kappa _n:F[e_{i,\mu }]\rightarrow \mathrm {TS}^n(P_{\Omega })\) given by \(e_{i,\mu }\mapsto e_i^n(\mu )\) if \(i\le n\) and \(e_{i,\mu }\mapsto 0\) for \(i>n\).
Given \(f\in P_{\Omega }^+\) we can compute \(e_m^n(f)\), orbit sum under \(S_n\) of \(f^{\otimes m}\otimes 1^{\otimes nm}\) for all \(n\ge m\) (for \(n<m\) it is zero), and express it as a polynomial in the \(e_i^n(\mu )\) with \(\mu \) monomial with coprime exponents. It has been shown that this expression stabilizes as \(n>>m\) (see Vaccarino 2005, Proposition 3.4 or Vaccarino 2008, 4.4). Thus we have a well defined polynomial law \({\overline{e}}_m:P_{\Omega }^+\rightarrow F[e_{i,\mu }]\) homogeneous of degree m. In Vaccarino (2005) we proved that \(\ker \kappa _n\) is linearly generated by the coefficients of \({\overline{e}}_m\) with \(m>n\).
We give here an improvement of that result.
Theorem 13
(Relations)

1.
Let \(A=P_{\Omega }/I\) be a flat algebra, then the kernel of the surjection \(F[e_{i,\mu }]\xrightarrow {\kappa _n}\mathrm {TS}^n(P_{\Omega })\rightarrow \mathrm {TS}^n(A)\) is linearly generated by the coefficients of \({\overline{e}}_m\) with \(m>n\) jointly with the lifting to \(F[e_{i,\mu }]\) of \(e_k^n(g)\) where \(k\le n\) and \(g\in I\subset P_{\Omega }\).

2.
Suppose F is an infinite field, then the kernel of \(\kappa _n\) is generated as an ideal by \(e_m(f)\) with \(m>n\) and \(f\in P_{\Omega }^+\).

3.
Suppose F is an infinite field and let \(A=P_{\omega }/I\). The kernel of the surjection \(F[e_{i,\mu }]\xrightarrow {\kappa _n}\mathrm {TS}^n(P_{\Omega })\rightarrow \mathrm {TS}^n(A)\) is generated as an ideal by \(e_m(f)\) with \(m>n\) and \(f\in P_{\Omega }^+\) plus the lifting to \(F[e_{i,\mu }]\) of the \(e_k^n(g)\) where \(k\le n\) and \(g\in I\subset P_{\Omega }\).
Proof

1.
It follows from the previous paragraph and Proposition 11.

2.
A linear form that is zero on the linear subspace generated by \(e_k(f)\) with \(k>n\) and \(f\in P^+_{\Omega }\) is zero also on the subspace generated by the coefficients as f varies.

3.
By 1. and 2.
\(\square \)
Remark 14
Suppose that A is a finitely generated flat algebra so that \(A=F[x_1,\dots ,x_m]/I\). We have that \(\mathrm {TS}^n(A)\) is finitely generated and we can substitute in Theorem 13 the ring \(F[e_{i,\mu }]\) with the finitely generated polynomial ring \(F[e_{i,\mu }]\) such that \(i=1,\dots ,n\) and the degree of \(\mu \) is not greater then \(max(n,m(n1))\) by Proposition 9. In this sense Theorem 13 gives the equation of \(X^{(n)}\) as a closed subscheme of \(\mathbb {A}^{k}\) with k depending both on n, m and the base ring F.
Representations
Given an algebra B write \(\mathrm {Mat}(n,B)\) for the ring of \(n\times n\) matrices with entries in B.
Definition 15
For a ndimensional representation of A over B one means an algebra homomorphism \(A\rightarrow \mathrm {Mat}(n,B)\). We denote by \(\mathcal {R}_n(A,B)\) the set of these representations. Given any algebras A, B and a homomorphism \(\rho :A\rightarrow B\) we write \((\rho )_n\) for the induced map \(\mathrm {Mat}(n,A)\rightarrow \mathrm {Mat}(n,B)\).
The assignment \(B\rightarrow \mathcal {R}_n(A,B)\) gives a covariant functor \(\mathcal {R}_n^A:\mathcal {C}_F\rightarrow Sets\) as can be easily checked.
Proposition 16
(De Concini et al. 2005, Sect. 1) For all \(n\in \mathbb {N}\) and \(A\in \mathcal {C}_F\) there exist a unique algebra \(V_n(A)\) and a unique representation \(\pi _n^A\in \mathcal {R}_n(A,V_n(A))\) such that the map \(\rho \mapsto (\rho )_n\cdot \pi _n^A\) is an isomorphism
for all algebra B, i.e. the functor from schemes to sets associated to \(\mathcal {R}_n^A\) is represented by the affine scheme \(\mathcal {R}_n(A)=\mathrm {Spec}\,V_n(A)\)
Proof
Let \(\Omega \) be a set and consider \(F[\xi _{ij,\omega }]\), a polynomial ring where \(i,j=1,\dots ,n\) and \(\omega \in \Omega \).
Let \(A_{\Omega }=F\{x_{\omega }\}_{\omega \in \Omega }\) be the free associative algebra on \(\Omega \) then
for any \(B\in \mathcal {C}_F\). More precisely write \(D=\mathrm {Mat}(n,F[\xi _{ij,\omega }])\) and let \(\xi _{\omega }\in D\) be given by \((\xi _{\omega })_{ij}=\xi _{ij,\omega }\) , \(\forall \, i,j,\omega \), these are called the (\(n\times n\)) generic matrices and were introduced by C. Procesi (see Procesi 1967) in this setting.
Let \(\pi :A_{\Omega }\rightarrow D\) be the ndimensional representation given by \(x_{\omega }\mapsto \xi _{\omega }\). Given then any \(\rho \in \mathcal {R}_n(A_{\Omega },B)\), with \(B\in \mathcal {C}_F\) there is a unique \(\bar{\rho }\in \mathcal {C}_F(F[\xi _{ij,\omega }],B)\) given by \(\xi _{ij,h}\mapsto (\rho (x_{\omega }))_{ij}\) and it is such that the following diagram commutes
We now substitute \(A_{\Omega }\) with an algebra \(A\in \mathcal {C}_F\) and we let
be a presentation by generators and relations.
Let I be the unique ideal in \(F[\xi _{ij,\omega }]\) such that
then as one can easily check that, for all \(B\in \mathcal {C}_F\)
via the lifting to a representation of F. Set now \(V_n(A)=F[\xi _{ij,\omega }]/I\). Let \(\{a_{\omega }\}_{\omega \in \Omega }\) be a set of generators of A, in the same way as above we have a universal representation
where \(\xi _{\omega }^A\) is the image of \(\xi _{\omega }\) via the surjection \(\mathrm {Mat}(n,F[\xi _{ij,\omega }])\rightarrow \mathrm {Mat}(n,V_n(A))\). \(\square \)
Remark 17
Note that \(\mathcal {R}_n(A)\) could be quite complicated, as an example, when \(A=\mathbb {C}[x,y]\) we obtain that \(\mathcal {R}_n(A)\) is the commuting scheme and it is not even known (but conjecturally true) if it is reduced or not, see Gan and Ginzburg (2006) and Vaccarino (2007).
Determinant and isomorphism
We prove the key result of this paper.
Definition 18
For \(B\in \mathcal {C}_F\) let \(\det :\mathrm {Mat}(n,B)\rightarrow B\) denote the usual determinant. Let \(\chi _b(t)\in B[t]\) denote the polynomial ring in the variable t over B, the characteristic polynomial of \(b\in \mathrm {Mat}(n,B)\) is defined by
where \(I_n\) denotes the \(n\times n\) identity matrix.
Definition 19
The subalgebra of \(V_n(A)\) generated by the coefficients \(\psi _i^n(b)\) for b that varies in \(\pi _n^A(A)\) will be denoted by \(C_n(A)\).
Theorem 20
The composition \(\det \cdot \pi _n^A\) induces an isomorphism for all flat \(A\in \mathcal {C}_F\)
Proof
By Sect. 3.2 there is a unique algebra homomorphism \(\delta _n^A:\mathrm {TS}^n(A)\rightarrow C_n(A)\subset A_n(A)\) such that \(\det \cdot \pi _n^A=\delta _n^A\cdot \gamma _n\). We have an identification
for all \(a\in A\) with t and independent variable. Hence \(\delta _n^A(e_i^n(a))=\psi _i^n(\pi _n^A(a))\) for all \(a\in A\) and by definition of \(C_n(A)\) and Proposition 9 one has that \(\delta _A^n\) is surjective.
By Sect. 4 the representation \(\partial _n:A\rightarrow \mathrm {Mat}(n,A^{\otimes n})\) given by
corresponds uniquely to a homomorphism \(\overline{\partial _n}:V_n(A)\rightarrow A^{\otimes n}\) such that \(\partial _n=(\overline{\partial _n})_n\cdot \pi _n^A\). Observe that \(\overline{\partial _n}\cdot \det \cdot \pi _n^A=\det \cdot \partial _n(a)=a^{\otimes n}=\gamma _n(a)\) hence \(\overline{\partial _n}(\psi _i^n(\pi _n^A(a)))=e_i^n(a)\) for all \(a\in A\) and the theorem follows. \(\square \)
Invariants
We want to study within the Geometric Invariant Theory framework (Mumford et al. 1994) the equivalence classes of representations of A under basis changes, i.e. under the action of the general linear group \(\mathrm {G}=\mathrm {GL}(n,F)\). The right object is the categorical quotient \(\mathcal {R}_n(A)//\mathrm {G}=\mathrm {Spec}\,V_n(A)^{\mathrm {G}}\), where, as usual, \(V_n(A)^{\mathrm {G}}\) denotes the invariants for the \(\mathrm {G}\)action induced on \(V_n(A)\) by basis change on \(F^n\) . Observe that \(C_n(A)\subset V_n(A)^{\mathrm {G}}\) thanks to the invariance of the characteristic polynomial by basis change. We address the interested reader to De Concini et al. (2005) and Procesi (1998).
Theorem 21
The homomorphism \(\overline{\partial _n}:V_n(A)\rightarrow A^{\otimes n}\) corresponding to the representation \(\partial _n\) given in (20) restrict to a surjection \(V_n(A)^{\mathrm {G}}\rightarrow \mathrm {TS}^n(A)\) for all flat algebra i.e. there is a closed embedding
Proof
Suppose A is presented as in (14). We have the following commutative diagram
where \(\alpha :P_{\Omega }\rightarrow A\) is the surjective homomorphism induced by \(A_{\Omega }\rightarrow A\) and
for \(i,j=1,\dots ,n\) and for all \(\omega \in \Omega \). The symmetric group acts on \(V_n(A)\) as a subgroup of \(\mathrm {G}\). Since \(\alpha ^{\otimes n}\) and \(\Delta _n\) are \(S_n\)equivariant it follows that \(\overline{\partial _n}\) is \(S_n\)equivariant too. Thus \(\overline{\partial _n}:V_n(A)^{\mathrm {G}}\rightarrow \mathrm {TS}^n(A)\) is onto because \(\overline{\partial _n}\cdot \delta _n^A=id_{\mathrm {TS}^n(A)}\) by Theorem 20. \(\square \)
Remark 22
A classical result due to Junker (1893) and restated by Weyl (1946) says that \(\mathrm {TS}^nP_{\Omega }\) is generated by the restriction of traces to the diagonal matrices i.e. \(F[\xi _{ij,\omega }]^{\mathrm {G}}\rightarrow \mathrm {TS}^nP_{\Omega }\) is surjective over a characteristic zero field F. Theorem 21 generalizes Junker  Weyl’s result.
Remark 23
Theorem 21 jointly with Theorem 20 says that \(\mathrm {Spec}\, C_n(A)\) is identified with a closed subscheme of \(\mathcal {R}_n(A)//\mathrm {G}\): those one corresponding to orbits of tuples of diagonal matrices.
Infinite field
In this section F will be an infinite field of arbitrary characteristic. We write \(N_n(A)\) for the nilradical of \(V_n(A)\) and \(\mathcal {R}_{n,\,red}(A)= \mathrm {Spec}\,V_n(A)/N_n(A)\) for the reduced scheme associated to \(\mathcal {R}_n(A)\). Since \(N_n(A)\) is \({\mathrm {G}}\)stable then the action of \({\mathrm {G}}\) on \(\mathcal {R}_n(A)\) can be restricted to the variety \(\mathcal {R}_{n,\,red}(A)\). Thus the homomorphism \(\delta _n^A\) induces another \(\delta _{n,\,red}^A:\mathrm {TS}^n(A)_{red}\rightarrow V_n(A)_{red}^{\mathrm {G}}\)
Theorem 24
The homomorphism \(\delta _{n,\,red}\) is an isomorphism, therefore
Proof
Let k be the algebraic closure of F. Recall that the rational points of \(\mathrm {GL}(n,F)\) are dense in \(\mathrm {GL}(n, k)\) thus we can suppose F algebraically closed without any loss of generality (see Procesi 2007, §6.1). Given a tuple of matrices in \(\mathcal {R}_{n,\,red}(A)\) we observe that they are pairwise commuting matrices hence there is \(g\in \mathrm {G}\) such that they can be put by g simultaneously in upper triangular form. Consider now a 1parameter subgroup \(\uplambda \) of \(\mathrm {G}\). We choose \(\uplambda \) such that
for some positive integers \(a_1>a_2>\dots >a_n\).
Let M be an upper triangular \(n\times n\) matrix, the map
can be extended to a regular map
which sends the origin of \(\mathbb {A}^1\) to the diagonal matrix having the same diagonal elements as M. It is clear that the latter belongs to the closure of the orbit of M. Thus we have that in the closure of the \(\mathrm {G}\)orbit of any point of \(\mathcal {R}_{n,\, red}(A)\) there is the (closed) orbit of a tuple of diagonal matrices obtained as above. Let now \(f\in V_n(A)_{red}^{\mathrm {G}}\) be an invariant regular function that is zero on diagonal matrices. Suppose f is not identically zero, then there is an orbit of a tuple of diagonal matrices over which \(f\ne 0\) by continuity. Hence \(\delta _{n,\,red}^A\) is injective. The theorem follows from Theorem 21. \(\square \)
Remark 25
Let \(A=F[x]\) then Theorem 24 implies
for any infinite field F.
Characteristic zero
Theorem 26
Suppose F is a characteristic zero field, then
i.e.
Proof
In Vaccarino (2007) we proved that this statement is true when A is a free polynomial ring. The theorem follows because \(\mathrm {G}\) is linear reductive (see Mumford et al. 1994, Chapter 1, pag.26) and by Theorem 20.
Another proof. The statement also follows observing that, by Procesi (1976) one has \(F[\xi _{ij,\omega }]^{\mathrm {G}}=C_n(A_{\Omega })\) and again the result follows by Theorem 20 and the linear reductivity of \(\mathrm {G}\). \(\square \) \(\square \)
Remark 27
If A is reduced then Theorem 26 implies that \(V_n(A)^{\mathrm {G}}\) is reduced too. This gives some support to the conjecture that the commuting scheme is reduced.
Traces
Along this paragraph we suppose that n! is invertible in F. When we have a polynomial law \(\varphi \) homogeneous of degree n we can consider its full polarization \(\varphi _{\mathbf {1}_n}\) that is the coefficient of \(t_1t_2\ldots t_n\) in \(\varphi (t_1 x_1+\dots +t_1 x_n)\) where \(t_i\) are commuting independent variables and the \(x_j\) are generic elements in the domain of \(\varphi \). It is well known that the process of polarization is effective via restitution \(\varphi _{\mathbf {1}_n}(x,x,\dots ,x)=n!\varphi (x)\).
What happens for \(e_n^n\)? We write
and if one observe that \(e_n^n(t_1 x_1+\dots +t_n x_n)=(t_1 x_1+\dots +t_n x_n)^{\otimes n}\) then it follows easily that \(e_{\mathbf {1}_n}^n(x_1,\dots ,x_n)=\sum _{\sigma \in S_n}x_{\sigma (1)}\otimes \cdots \otimes x_{\sigma (n)}\) . We would like now to express \(e_{\mathbf {1}_n}^n(x_1,\dots ,x_n)\) in terms of \(e_1^n(\mu )\) with \(\mu \) a monomial in the \(x_i\).
We know that \(\delta _n^A(e_i^n(a))=\psi _i^n(\pi _n^A(a))\) where
in particular \(e_1^n(a)\) is identified with the trace of \(\pi _n^A(a)\) and \(e_n^n(a)\) with its determinant. It is well known that (see Procesi (1976)) the full polarization \(\chi _{\mathbf {1}_n}\) of the determinant can be expressed as a special polynomial in traces of monomials. Namely consider the cycle decomposition \(\sigma =\sigma _1\ldots \sigma _k\in S_n\) and let correspond to it the product \(T_{\sigma }=tr(\mu _1)\ldots tr(\mu _k)\) where \(\mu _h=x_{h_1}\ldots x_{h_l}\) being \(\sigma _h=(h_1\,h_2\,\dots h_l)\), then
It is a celebrated theorem due to Procesi (1976)) and Razmyslov (1974) that all the relations (in characteristic zero) between the invariants of matrices, i.e. between traces of monomial of generic \(n\times n\) matrices, are consequences of \(\Psi _{\mathbf {1}_{n+1}}\) in the sense of Tideals.
We summarize what we are able to say so far in the characteristic zero cases.
Theorem 28
Let \(A=P_{\Omega }/I\) be a commutative Falgebra. The ring of the invariants \(V_n(A)^{\mathrm {G}}\) is generated by traces of monomial of generic matrices \(\xi ^A\) and the ideal of relations is generated by the evaluation of \(\Psi _{\mathbf {1}_{n+1}}\) at the elements of \(\pi _n^A(A)\) and by the traces \(tr(\pi _n^A(f))\) with \(f\in I\). The same holds mutatis mutandis in \(\mathrm {TS}^n(A)\)
Proof
It follows from the preceding paragraph and by Theorem 13.3 using Newton’s formulas. \(\square \) \(\square \)
References
Bourbaki, N.: Elements of Mathematics—Algebra II Chapters 4–7. Springer, Berlin (1988)
De Concini, C., Procesi, C., Reshetikhin, N., Rosso, M.: Hopf algebras with trace and representations. Invent. Math. 161, 1–44 (2005)
Gan, W.L., Ginzburg, V.: Almostcommuting variety, Dmodules, and Cherednik algebras. IMRP Int. Math. Res. Pap., pp. 1–54 (2006)
Junker, F.: Über symmetrische Functionen von mehreren Reihen von Veränderlichen. Math. Ann. 43, 225–270 (1893)
Lazard, D.: Autour de la platitude. Bull. Soc. Math. Fr. 97, 81–128 (1969)
Macdonald, I.G.: Symmetric Functions and Hall Polynomials, 2nd edn. Oxford Mathematical Monograph, Oxford (1995)
Mumford, D., Fogarty, J., Kirwan, F.: Geometric invariant theory, Ergebnisse der Mathematik und ihrer Grenzgebiete 34. Springer, Berlin (1994)
Procesi, C.: Noncommutative affine rings. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur 8, 239–255 (1967)
Procesi, C.: The invariant theory of \(n\times n\) matrices. Adv. Math. 19, 306–381 (1976)
Procesi, C.: Deformations of representations. In: Methods in Ring Theory (Levico Terme, 1997), Lecture Notes in Pure and Appl. Math., vol. 198, pp. 247–276. Dekker, New York (1998)
Procesi, C.: Lie groups. An approach through invariants and representations. Universitext Springer, New York (2007)
Razmyslov, J.P.: Identities with trace in full matrix algebras over a field of characteristic zero. Izv. Akad. Nauk SSSR Ser. Mat. 38, 723–756 (1974)
Roby, N.: Lois polynômes et lois formelles en théorie des modules. Ann. Ecole Norm. Sup. 80, 213–348 (1963)
Roby, N.: Lois polynômes multiplicatives universelles. C. R. Math. Acad. Sci. Paris 290, 869–871 (1980)
Vaccarino, F.: The ring of multisymmetric functions. Ann. Inst. Fourier 55, 717–731 (2005)
Vaccarino, F.: Linear representations, symmetric products and the commuting scheme. J. Algebra 317, 634–641 (2007)
Vaccarino, F.: Generalized symmetric functions and invariants of matrices. Math. Z. 260(3), 509–526 (2008)
Vaccarino, F.: Moduli of linear representations, symmetric products and the non commutative Hilbert scheme. In: Geometric methods in representation theory II, Séminaires et Congress, Grenoble, vol. 24, pp. 435–456 (2012)
Weyl, H.: The classical groups. Princeton University Press, Princeton (1946)
Acknowledgements
I would like to thank Michel Brion and Claudio Procesi for useful discussions. Thanks also to the referee for their constructive and helpful comments.
Funding
Open access funding provided by Politecnico di Torino within the CRUICARE Agreement.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Vaccarino, F. Symmetric products, linear representations and trace identities. Beitr Algebra Geom (2021). https://doi.org/10.1007/s13366021005770
Received:
Accepted:
Published:
Keywords
 Symmetric products
 Symmetric tensors
 Linear representations
 Moduli spaces
 Determinants
 Traces
Mathematics Subject Classification
 14L30
 13A50
 20G05