Approximation-extension conjecture for Banach-valued holomorphic functions on the polydisk maximal ideal space

Let Dn\mathbb D^n be the unit polydisk, let XX be the Banach space in which ff takes values, and let cl(Dn)\operatorname{cl}(\mathbb D^n) denote the closure of Dn\mathbb D^n in the relevant maximal ideal space. For an open set U^cl(Dn)\widehat U\subset\operatorname{cl}(\mathbb D^n), put

U=U^Dn.U=\widehat U\cap\mathbb D^n.

Here VU^V\Subset\widehat U means that VV is relatively compact in U^\widehat U.

Extension conjecture. An XX-valued holomorphic function ff on UU admits a continuous extension to U^\widehat U if and only if f(V)Xf(V)\Subset X for every subset VU^V\Subset\widehat U of UU.

This conjecture asks whether the extension criterion from the preceding corollary remains valid for arbitrary open subsets of the closure of the polydisk, rather than only for inverse images of open subsets under the map to the quotient maximal ideal space. Its resolution is not stated in the source.

Sources & referencesView supporting material

Primary source

Alexander Brudnyi, “Runge-Type Approximation Theorem for Banach-valued H^ Functions on a Polydisk”, arXiv:2401.17614 (2024).

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.