Regular types and order of vanishing along a set of non-integrable vector fields

Xiaojun HuangWanke Yin

Xiaojun HuangWanke Yin

Sep 2023

0被引用

0笔记

开学季活动火爆进行中，iPad、蓝牙耳机、拍立得、键盘鼠标套装等你来拿

摘要原文

This paper has two parts. We first survey recent efforts on the Bloom conjecture which still remains open in the case of complex dimension at least 4. Bloom's conjecture concerns the equivalence of three regular types. There is a more general important notion, called the singular D'Angelo type (or simply, D'Angelo type). While the finite D'Angelo type condition is the right one for the study of local subelliptic estimates for Kohn's $\overline{\partial}$-Neumann problem, regular types are important as their finiteness gives the global regularity up to the boundary of solutions of Kohn's $\overline{\partial}$-Neumann problem. In the second part of the paper, we provide a proof of a seemingly elementary but a truly fundamental property (Theorem 2.2 or its CR version Theorem 2.5) on the vanishing order of smooth functions along a system of non-integrable vector fields. A special case, Corollary 2.6, of Theorem 2.5 had already appeared in a paper of D'Angelo. A main goal in this part is to provide proofs for these results for the purpose of future references. Our arguments are based on a deep normalization theorem for a system of non-integrable vector fields due to Helffer-Nourrigat, as well as its late generalization in Boauendi-Rothschild.