Interpolating varieties and the Fabry-Ehrenpreis-Kawai gap theorem (Q2564362)

On munit \(\mathbb{C}^n\) d'un poids \(p\), qui est une fonction p.s.h. \(\geq 0\) telle que \(\ln(1+ |z|) \leq\text{const.} p(z)\) et que \(|z_1-z_1 |\leq 1\Rightarrow (1)\) \(p (z_2) \leq D_1p(z_2) +D_2\) pour \(D_1,D_2>0\) convenables; pour tout ouvert \(U\subset \mathbb{C}^n \), les \(f\) holomorphes sur \(U\) pour lesquelles \(\exists B>0\) tel que \(|f|\leq \text{const.} e^{Bp}\) forment une algèbre \(A_p(U)\) stable par dérivation. L'interpolation par des fonctions \(\in A_p(\mathbb{C}^n)\) est possible à partir d'une variété discrète \(V\) ayant les propriétés suivantes: \(V\) est l'ensemble des zéros communs à \(m\) fonctions \(f_j\in A_p (\mathbb{C}^n)\); \(\exists \delta\), \(A>0\) tels que chaque composante connexe de \(U(f_1, \dots, f_m;\;\delta,A)= \{z\in\mathbb{C}^n: |f_1 |+ \cdots+ |f_m |< \delta e^{-Ap}\) soit relativement compacte; \(\exists \varepsilon\), \(C>0\) tels que \(V\) soit couvert part la réunion \(S\) d'ouverts relativement compacts disjoints choisis parmi les composantes connexes d'ensembles \(U(f_{j_1}, \dots, f_{j_n}\); \(\varepsilon,C)\), \(n\leq m\); enfin, si \(z_1\) et \(z_2\) appartiennent à une même composante de \(S\), on a de nouveau (1) ci-dessus. Etant donné une telle \(V\), \(\exists \varepsilon_1\in] 0,\varepsilon [\) et \(C_1>C\) tels que toute \(\lambda \in A_p (S)\) puisse être interpolée sur \(V\) par une \(\widetilde \lambda\in A_p (\mathbb{C}^n)\), en ce sens précis que \(\widetilde \lambda- \lambda \equiv \sum^m_{j=1} \alpha_jf_j\) avec des \(\alpha_j \in A_p (S_1)\), où \(S_1\) est obtenu à partir de \(S\) en remplaçant \(\varepsilon\) par \(\varepsilon_1, C\) par \(C_1\), sans autre changement. La théorie ainsi développée a de nombreuses applications: interpolation dans la classe des fonctions entières de type exponentiel 0, car cette classe est réunion des \(A_p(\mathbb{C}^n)\) avec \(p\) radiale, \(p(r)/r \to 0\) quand \(r\to \infty\), \(p(2r)/[1+ p(r)]\) borné; cas des matrices, non nécessairement carrées, de fonctions \(\in A_p (\mathbb{C}^n)\); construction de fonctions analytiques de la forme \(z\to \Sigma c(\nu) \exp (\nu \cdot z)\), où \(\nu\) décrit une variété telle que \(V\) ci-dessus. Les raisonnements reposent en grande partie sur les publications précédentes des 3 auteurs.