Universality of high-strength tensors (Q2135094)

In the last few years several conjectures and new results were proved for form of fixed degree when the number of variables go to infinity. In the paper over an algegraically closed field \(K\) with characteristic zero. Take a degree \(d\) form \(f\in K[x_1,\dots ,x_n]\), \(f\ne 0\). The strength \(\mathrm{str}(f)\) of \(f\) is the minimal positive integer \(k\) such that \(f=g_1h_1+\cdots +g_kh_k\) for some positive degree forms. \textit{D. Kazhdan} and \textit{T. Ziegler} [Geom. Funct. Anal. 30, No. 4, 1063--1096 (2020; Zbl 1460.14138)] proved that form of fixed degree \(d\) of sufficiently high strength specializes to any given degree \(d\) form in a bounded number of variables by substituting linear forms for its variables. In this important paper the theorem is extended (in a completely different way) to arbitrary polynomial functors. As a corollary of their theory they get specialization induces a quasi-order on elements in polynomial functors, and that among the elements with a dense orbit there are unique smallest and largest equivalence classes in this quasi-order. The characteristic \(0\) assumption comes from the use of Schur functors.