Point-curve incidences in the complex plane (Q722326)

Let \(K\) denote either \(\mathbb{R}\) or \(\mathbb{C}\). Given a finite set of points \({\mathcal P}\) in \(K^2\) and a finite set of curves \({\mathcal C}\) in \(K^2\), the arrangement \(( {\mathcal P}, {\mathcal C})\) is said to have \(k\) degrees of freedom and multiplicity type \(s\), if (i) for any \(k\) points of \({\mathcal P}\), there are at most \(s\) curves from \({\mathcal C}\) containing all \(k\) points, and (ii) any pair of curves from \({\mathcal C}\) intersect in at most \(s\) points of \({\mathcal P}\). The following theorem holds: For each \(k\geq 1\), \(D\geq 1\), \(s\geq 1\) and \(\varepsilon >0\), there exists a constant \(C=C_{\varepsilon,D,s,k}\), such that for any set \({\mathcal P}\) of \(m\) points in the complex plane and any set \({\mathcal C}\) of \(n\) complex algebraic curves of degree at most \(D\), if \(( {\mathcal P}, {\mathcal C})\) has \(k\) degrees of freedom and multiplicity type \(s\), then the number of incidences between \({\mathcal P}\) and \({\mathcal C}\) is at most \[ C( m^{\frac{k}{2k-1}+\varepsilon} n^{\frac{2k-2}{2k-1}} +m+n). \] Such results have been known in the real case even without the \(\varepsilon\) in the exponent (see [\textit{J. Pach} and \textit{M. Sharir}, Comb. Probab. Comput. 7, No. 1, 121--127 (1998; Zbl 0901.52016)]).