We prove that a small analytic disc A “attached” to a pseudoconvex submanifold M of and which shares a conormal with M at some boundary point, is in fact contained in M. The proof uses an argument of “reduction to a hypersurface” by a symplectic complex transformation. The result is classical in case codM=1 (cf. e.g. [4]); it is a consequence of Hopf’s Lemma applied to a plurisubharmonic defining function of M as in [5]. It was already generalized to the higher codimension in [8] but under the additional assumption, in the present paper, that A has an analytic “lift” A* in T*X “attached” to T*M X (i.e. A has “defect” ≥1 in the terminology of [6], [7]).
展开▼
机译：我们证明了一个小的分析圆盘A实际上包含在M中，该分析圆盘A“附加”到M的拟凸子流形M上，并且在某个边界点处与M共享一个法线。该证明使用了一个“归纳为超曲面”的论点。辛复杂的转化。在codM = 1的情况下，结果是经典的（例如参见[4]）；这是Hopf的引理应用于[5]中M的多次谐波定义函数的结果。在[8]中已经将其推广到较高的维数，但在附加假设下，在本文中，A在“附加”到T * M X的T * X中具有解析的“提升” A *。即，在[6]，[7]的术语中，“缺陷”≥1）。
展开▼
