两核函数对的完全 Pick 性质与 Shimorin 的分解

设 $(\mathcal{H}_k, \mathcal{H}_{\ell})$ 为具有核 $k, \ell$ 的 Hilbert 函数空间对。2005 年，Shimorin 展示了一个关于 $(k, \ell)$ 的某种分解条件会导致作用于 $\mathcal{H}_k\to\mathcal{H}_{\ell}$ 的乘子具有 commutant lifting 定理，从而统一并扩展了 Ball-Trent-Vinnikov 和 Volberg-Treil 等人之前的結果。我们的主要结果是对大类全单 valued holomorphic 对 $(k, \ell)$ 的 Shimorin 定理的强逆结果，这导致了对此类对完全 Pick 性质的完整表征。我们还提出了对 sufficient 条件的简短替代证明。最后，我们建立了抽象对 $(k, \ell)$ 满足完全 Pick 性质的必要条件，进一步概括了 Shimorin 的工作，即使在单核情况 $k=\ell$ 中也是如此。我们的做法不同于 Shimorin 的，他直接处理 Nevanlinna-Pick 问题；相反，我们能够通过 Carathéodory-Fejér 插值从 $(k, \ell)$ 中提取关键信息。