The separating variety for matrix invariants

Let G be a linear algebraic group defined over an algebraically closed field k, and let V be a vector space on which G acts linearly. The separating variety SG,V is the subvariety of V² consisting of pairs of points indistinguishable by invariant polynomials in k[V]G. Its geometry places restrictions on the existence of small separating sets, i.e. sets of invariants which distinguish the same points as the full algebra of invariants. The purpose of this article is to study the separating variety in the important special case where G=GLₚ(C) acts on the set V of n-tuples of p × p matrices by simultaneous conjugation. We define a purely combinatorial poset, Pp,n, whose maximal elements are in 1-1 correspondence with the irreducible components of SG,V. We show that SG,V is a variety of dimension (n+1)p²-1, and determine its subdimension for all n and p. In particular we show the subdimension is (n+1)p²-p if n ≥ 3, or n ≥ 2 and p ≥ 4. In the case n ≥ 3, we give a formula for the number of components of given codimension in SG,V. We give explicit decompositions of SG,V for all n where $p=2,3$ or $4$. Our results in particular show that when n≥ 2 and p≥ 4, or n≥ 3 and $p=3$, C[V]G does not contain a polynomial or hypersurface separating set. It was proven in arXiv:2202.05717 that the same is true if n ≥ 4 and $p=2$. The author made a conjecture in arXiv:2211.17088 generalising the Skronowski-Weyman theorem for representations of quivers. The results of this paper prove that conjecture in two important special cases: for the quiver with one vertex and an arbitrary number, n, of loops, and for the quiver with two vertices and n arrows between them.