Existence domain for the Cauchy problem in sheaf theory (Q1900206)

Soit \(Y\) une variété analytique complexe, connexe, paracompacte et non compacte. On pose \(X= Y\times \mathbb{C}\), \(Y_0 = Y \times \{0\}\). Soit \(P\) un opérateur différentiel holomorphe dans \(X\) au voisinage de \(Y_0\). Dans ibid. 64, 257-319 (1985; Zbl 0581.32017), \textit{Y. Hamada}, \textit{J. Leray} et \textit{A. Takeuchi} construisent un ouvert \(U\) ``maximal'' tel que la solution du problème de Cauchy holomorphe pour \(P\) à données sur \(Y_0\) se prolonge à \(U\). A la lumière de la méthode géometrique qu'ils ont developée, on propose dans ce travail une version faisceautique de leur théorème qui aura en particulier l'avantage de s'appliquer aux systèmes généraux d'équations aux dérivées partielles.