Operador de -Neumann de tipo Torre e regularidade global

É apresentada uma nova abordagem à propriedade (Pq) definida por Catlin para q=1 em um contexto global e por Sibony em um contexto local, posteriormente estendida por Fu-Straube para q>1. Sabe-se que essa propriedade implica a compacidade e a regularidade global no problema de -Neumann por um resultado de Kohn-Nirenberg, assim como a condição R por um resultado de Bell-Ligocka. Em particular, fornecemos uma prova autossuficiente da propriedade (Pq) para hipersuperfícies pseudoconvexas de tipo D'Angelo q finito, o caso originalmente estudado por Catlin. Além disso, nossa prova abrange classes mais gerais de hipersuperfícies inspiradas em um trabalho recente de Huang-Yin. As provas são divididas em etapas isoladas, algumas das quais não exigem pseudoconvexidade. Nossos instrumentos incluem: um novo invariante multitype baseado em sequências aninhadas distintas de subfeixes (1, 0), definidas em termos de derivadas da forma de Levi; órbitas formais reais e complexas; k-jets de funções relativas a pares de submanifolds formais; ordens de contato relativas que generalizam as habituais ordens de contato; uma nova noção de campos vetoriais supertangentes com ordens de contato relativas maiores que as esperadas; e uma variante formal de um resultado de Diederich-Forn ss que surge como um passo-chave em sua prova da terminação ideal de Kohn no caso real-analítico.