Math-1932 · mathematics · Analysis

Math-1932

Defect relation for points in $\mathbb P^2$

Status Open · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedOpenOpen

Statement

Definitions and mathematical statement

Let $f:\mathbb C\to\mathbb P^2(\mathbb C)$ be a holomorphic curve with an entire homogeneous lift $F=(F_0,F_1,F_2)$ having no common zero. Require linear nondegeneracy: the functions $F_j$ are linearly independent over $\mathbb C$, equivalently the image lies in no projective line. Using the Euclidean norm on $\mathbb C^3$, define \[ T(r,f)=\frac1{2\pi}\int_0^{2\pi} \log\|F(re^{it})\|\,dt-\log\|F(0)\|. \] This characteristic is independent of the chosen zero-free scalar change of lift.

For a point $a=[A]\in\mathbb P^2$, set $d(f(z),a)=\|F(z)\wedge A\|/(\|F(z)\|\|A\|)$, the sine of the Fubini--Study distance. Define \[ m(r,a,f)=\frac1{2\pi}\int_0^{2\pi} \log\frac1{d(f(re^{it}),a)}\,dt, \qquad \delta(a,f)=\liminf_{r\to\infty}\frac{m(r,a,f)}{T(r,f)}. \] The logarithmic singularities at isolated preimages are interpreted in the integral sense. Replacing the sine distance by the ordinary Fubini--Study distance changes the proximity by a bounded term, and leaves this deficiency unchanged.

For every finite set of distinct points in general position, meaning that no three are collinear, must $\sum_a\delta(a,f)\leq1$? The same formulation for an infinite family uses the supremum of its finite subsums. The targets are points, of codimension two, rather than hyperplanes. The question is the sharp simultaneous defect bound for every linearly nondegenerate curve.

Short English statement

Is the total deficiency of points in general position at most one for every linearly nondegenerate entire curve in the projective plane?

Sources

Catalogue entry

Statement licence: CC-BY-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.