On the Nochka-Chen-Ru-Wong proof of Cartan's conjecture (Q884532)

Let \(H_1, \dots, H_q\) be hyperplanes in \({\mathbb P}^k\) in \(n\)-subgeneral position. This means that there is an embedding of \({\mathbb P}^k\) as a linear subspace of \({\mathbb P}^n\) and distinct hyperplanes \(H_1', \dots, H_q'\) in general position in \({\mathbb P}^n\) such that \(H_i = H_i' \cap {\mathbb P}^k\) for all \(i\). The author gives a simple proof of the following result of \textit{E. I. Nochka} [Mat.\ Zametki 78, No. 1, 115--124 (2005; Zbl 1088.32005)]: If \(q > 2n-k+1\) then there exist nonnegative weights \(\omega_1, \dots, \omega_q \in {\mathbb R}\) such that \((q-2n+k-1)\omega_i \leq \sum_{i=1}^q\omega_i - k - 1\) for all \(i\) and for any nonempty \(L \subseteq {\mathbb P}^k\) one has \(\sum_{H_i \supseteq L} \omega_i \leq \text{ codim} \, L\). This lemma was used by Nochka to prove a conjecture of Cartan on defects of holomorphic curves relative to a possibly degenerate set of hyperplanes. It also implies an extension of Schmidt's subspace theorem first proved by \textit{M. Ru} and \textit{P.-M. Wong} [Invent.\ Math.\ 106, No. 1, 195--216 (1991; Zbl 0758.14007)]. The author's simplified proof makes explicit use of a convex hull to define the Nochka polygon, a construction that was only implicit in earlier work.