Extension conjecture for residue functions and adjoint ideals

Let XX be the complex manifold, LL a line bundle, ψ\psi the function, δ\delta the constant in the curvature assumption, and mkm_k the indexed multiplier-ideal data used above. Write lc(mk)\operatorname{lc}(m_k) for the corresponding log-canonical locus and let Adj(mk)\operatorname{Adj}(m_k) and Adj1(mk)\operatorname{Adj}^{-1}(m_k) denote the adjoint-ideal sheaves appearing in the statement. For a residue function gg, let R(g)(ε;)[lc(mk),σ]\mathcal{R}(g)(\varepsilon;\ell)[\operatorname{lc}(m_k),\sigma] denote the residue norm defined above.

Conjecture 1.1.3. Under the curvature assumption given in Theorem, there exists a sufficiently large constant e\ell\geq e, depending only on ψ\psi and δ\delta, such that for every integer σ1\sigma\geq1 and every

fH0\originalleft(lc(mk),KXLAdj(mk)Adj1(mk)\aftergroup\originalright),f\in H^0\mathopen{}\mathclose\bgroup\originalleft(\operatorname{lc}(m_k),K_X\otimes L\otimes\frac{\operatorname{Adj}(m_k)}{\operatorname{Adj}^{-1}(m_k)}\aftergroup\egroup\originalright),

there is a holomorphic extension

FH0\originalleft(X,KXLAdj(mk)\aftergroup\originalright)F\in H^0\mathopen{}\mathclose\bgroup\originalleft(X,K_X\otimes L\otimes\operatorname{Adj}(m_k)\aftergroup\egroup\originalright)

satisfying

R(F)(1;)[lc(mk),σ]R(f)(0)[lc(mk),σ].\mathcal{R}(F)(1;\ell)[\operatorname{lc}(m_k),\sigma]\leq\mathcal{R}(f)(0)[\operatorname{lc}(m_k),\sigma].

The conjecture seeks a uniform residue-norm extension theorem under the stated curvature hypothesis; the supplied text gives no resolution status, so it remains open.

Sources & referencesView supporting material

Primary source

Tsz On Mario Chan, “Residue functions and Extension problems”, arXiv:2211.00885 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.