Algebraic Dimension from Positive Normal Bundles

Definitions and mathematical statement

Let $n\geq0$ and $p\geq1$ be integers, and let $Z$ be a compact connected complex manifold of complex dimension $n+p$. Suppose that $Z$ contains a complex submanifold $Y$ of dimension $p-1$ with positive normal bundle \[ N_{Y/Z}=(T_Z|_Y)/T_Y, \] and that $Z$ has a covering compact family of $n$-dimensional analytic cycles. Here an effective $n$-cycle is a finite sum $\sum_i m_i[V_i]$ of compact irreducible analytic subsets of pure dimension $n$, with positive integer multiplicities. A compact family can be expressed by a compact complex parameter space $S$ and an analytic family of such cycles $C_s$ with \[ \bigcup_{s\in S}|C_s|=Z. \] This describes the covering condition; the source does not fix the precise cycle-space or family hypotheses.

Write $\mathcal M(Z)$ for the field of meromorphic functions on $Z$ and \[ a(Z)=\operatorname{trdeg}_{{\mathbb{C}}}\mathcal M(Z) \] for its algebraic dimension. The source asks whether these hypotheses imply \[ a(Z)\geq p. \] No projectivity or Kähler assumption on $Z$ is supplied.

The word "positive" is not defined in the record. Possible relevant conventions include ampleness of the tautological line bundle $\mathcal O_{{\mathbb{P}}(N_{Y/Z})}(1)$, with the quotient-projectivization convention, or a specified positive Hermitian curvature condition. These must not be silently identified. The source also does not explicitly state whether $Y$ is closed (and hence compact), nor the exact irreducibility, incidence, or compactness conditions required of the cycle family.

The supplied assessment checked 21 August 2026 says that Barlet and Magnusson prove a positive answer under substantial compactness, positivity and cycle-family hypotheses. It warns that the extracted question is not a theorem for arbitrary compact complex manifolds. The full hypotheses of that result are not supplied, so the inequality above is retained as the qualified source question rather than asserted in a broader setting.

Short English statement

Does a positive normal bundle on a $(p-1)$-dimensional submanifold, together with a compact family of $n$-cycles covering an $(n+p)$-dimensional compact complex manifold, force at least $p$ algebraically independent meromorphic functions? The precise positivity and family assumptions matter in the supplied partial-result assessment.

Sources

• Local UnsolvedMath registry, permanent ID 30000012, exact source code catalogue entry, Algebraic Dimension from Positive Normal Bundles; corrected_verified statement restores inline dimension notation. Proposed year 2004; status partially_solved.
• Supplied report citation: Multiplier Ideal Sheaves in Algebraic and Complex Geometry (2005), Oberwolfach Reports, DOI 10.4171/owr/2004/21, pp. 1108--1166, https://doi.org/10.4171/owr/2004/21. The supplied report-title year differs from the DOI/proposed year.
• Supplied literature triage checked 2026-08-21: "Barlet and Magnusson, integration of meromorphic classes", https://intlpress.com/site/pub/files/_fulltext/journals/ajm/2004/0008/0001/AJM-2004-0008-0001-a013.pdf; "OWR report", https://ems.press/content/serial-article-files/45885. The curation explicitly requires independent verification of time-sensitive status and cited claims; no linked PDF was accessed here.