- Comments
- 52 pages, 5 figures. Comments are very welcome. V.2: Added a discussion of the canonical fat distribution on complex projective spaces and proved that formally equivalent prelegendrians cannot be distinguished by the formal Legendrian isotopy class of their lifts. Minor stylistic revisions throughout
AI中文摘要
我们研究胖分布的$h$-原理问题。胖分布是极大非可积分布,具有自然的辛化和接触化,将接触分布推广到更高余秩。我们关注余秩$2$情形,研究一类自然子流形,称为前Legendrian子流形。其关键特征是它们可以典范地提升为接触化中的Legendrian子流形。我们的主要结果表明,在所有维度中,这些子流形的$h$-原理失效。据我们所知,这是接触拓扑之外,极大非可积分布研究中刚性的第一个例子。首先,我们在标准胖分布$(\mathbb{C}^{2n+1},\mathcal{D}_{\mathrm{std}})$中发现一个无穷族$(2n+1)$-环面,具有以下两个性质:(1) 它们都代表相同的形式前Legendrian类,(2) 但它们不是前Legendrian同痕的,因为它们的Legendrian提升的伪全纯曲线不变量不同。其次,我们在$(\mathbb{C}^{2n+1},\mathcal{D}_{\mathrm{std}})$中定义了前Legendrian稳定化的概念。这允许我们取任意前Legendrian子流形,并产生另一个相同形式类中的前Legendrian子流形,其Legendrian提升是松的。为了证明这些结果,我们还发展了前Legendrian理论的基础。这包括:(1) 在$(\mathbb{C}^{2n+1},\mathcal{D}_{\mathrm{std}})$中引入前投影的概念,(2) 证明伪全纯曲线不变量在胖结构的扰动下是稳健的,从而将我们的结果推广到非标准胖结构,(3) 引入缩放论证,表明任何6维胖结构都允许前Legendrian子流形。
英文摘要
We investigate the $h$-principle problem for fat distributions. These are maximally non-integrable distributions with natural symplectisations and contactisations, that generalize contact distributions to higher corank. We focus on the corank-$2$ case, where we study a natural class of submanifolds, which we call prelegendrians. Their key feature is that they admit a canonical Legendrian lift to the contactisation. Our main results state that the $h$-principle fails for these submanifolds in all dimensions. To the best of our knowledge, this is the first example of rigidity in the study of maximally non-integrable distributions, outside of contact topology. First, we find an infinite family of $(2n+1)$-tori in the standard fat $(\mathbb{C}^{2n+1},\mathcal{D}_{\mathrm{std}})$, with the following two properties: (1) They all represent the same formal prelegendrian class, (2) but they are not prelegendrian isotopic because they are distinguished by pseudoholomorphic curve invariants of their Legendrian lift. Secondly, we define the notion of prelegendrian stabilization in $(\mathbb{C}^{2n+1},\mathcal{D}_{\mathrm{std}})$. This allows us to take an arbitrary prelegendrian and produce another one, in the same formal class, whose Legendrian lift is loose. In order to prove these results we also develop the fundamentals of the theory of prelegendrians. This includes: (1) introducing the notion of front projection in $(\mathbb{C}^{2n+1},\mathcal{D}_{\mathrm{std}})$, (2) proving that pseudoholomorphic curve invariants are robust under perturbations of the fat structure, allowing us to transport our results to non-standard fat structures, (3) introducing a zooming argument showing that any fat structure in dimension $6$ admits prelegendrians.