A quantitative version of Catlin-D'Angelo-Quillen theorem (Q1941773)

Let \(f = f(z, \overline z)\) denote a bihomogeneous polynomial in \(\mathbb C^n\) of degree \(m \geq 1\), \[ f(z, \overline z)= \sum_{|\alpha|=|\beta|=m} c_{\alpha,\beta}z^\alpha \overline z^\beta \] Then the authors' result is the following quantitative version of a result of \textit{D. G. Quillen} [Invent. Math. 5, 237--242 (1968; Zbl 0198.35205)], which was rediscovered by \textit{J. P. D'Angelo} and \textit{D. W. Catlin} [Math. Res. Lett. 3, No. 2, 149--166 (1996; Zbl 0858.32010)]: Theorem: Assume that \(f>0\) outside the origin. Denote by \(\lambda (f)\) the minimum of \(f(z,\overline z)\) taken over the unit sphere, and let \[ \Lambda (f):= \frac{1}{m!} \sqrt{\sum_{|\alpha|=|\beta|=m} \,\alpha!\,\beta!\,|c_{\alpha,\beta}|^2}. \] Then there exists a number \(N_0\in \mathbb N\) and a universal constant \(C>0\) such that a) For any \(N>N_0\) one has a representation \[ \|z\|^{2N}f(z,\overline z)=\sum_{j=1}^{d_N} |P_j^N(z)|^2, \] where \(P_j^N\) are homogeneous polynomials of degree \(m+N\), \(d_N:= \left( \begin{matrix} n+m+N \\ N\end{matrix} \right)\), and \(\|z\|\) denotes the euclidean norm of a vector \(z \in \mathbb C^n\). b) The number \(N\) satisfies \[ N\geq C \,\frac{\Lambda(f)}{\lambda(f)}(m+n)^3\,\log ^3n \,. \] Part b) is the novelty in comparison of this theorem with the results of Quillen and D'Angelo-Catlin, in which a) was established.