A local-global principle for linear dependence of noncommutative polynomials. (Q1955860)

A set of polynomials in noncommuting variables is called locally linearly dependent if their evaluations at tuples of matrices are always linearly dependent. By a theorem of \textit{J. F. Camino} et al. [Integral Equations Oper. Theory 46, No. 4, 399-454 (2003; Zbl 1046.68139)], a finite locally linearly dependent set of polynomials is linearly dependent. The main aim of this short note is to give an algebraists' response to [loc. cit.]. The authors provide an alternative proof based on the theory of polynomial identities. The method of the proof yields generalizations to directional local linear dependence and evaluations in general algebras over fields of arbitrary characteristic. A main feature of the proof is that it makes it possible to deduce bounds on the size of the matrices where the (directional) local linear dependence needs to be tested in order to establish linear dependence.