问题

几何 >> 辛几何 >> 辛流形上的 Hodge 结构
Questions in category: 辛流形上的 Hodge 结构 (Hodge Structure on Symplectic Manifolds).

[Tseng/Yau]辛流形上的上同调和 Hodge 理论 I

Posted by haifeng on 2013-01-22 14:02:43 last update 2013-06-08 17:59:57 | Answers (0) | 收藏


Authors: Li-Sheng Tseng and Shing-Tung Yau

Title: Cohomology and Hodge Theory on Symplectic Manifolds: I

J. Differential Geometry, Volume 91, Number 3 (July 2012)

http://www.intlpress.com/JDG/2012/JDG-v91.php

http://arxiv.org/abs/0909.5418v2


摘要

我们在辛流形上引入新的有限维上同调群. 这种上同调群具有 Lefschetz 分解, 并且在每个类中包含惟一的调和形式代表元. 相应于每个上同调的是纯粹通过原始微分形式空间所定义的原始意义的上同调. 我们将拉格朗日子流形及更一般的 co-isotropic 子流形的对偶 currents 与原始意义的上同调中的元素一一对应, 后者对偶于 co-isotropic chains 上的同调.

目录

1. 介绍

2. 预备知识

3. 辛上同调

4. Dual currents of submanifolds and primitive cohomology

5. 讨论


1. 介绍

Hodge 理论在黎曼几何和复几何中的重要性无需赘述. 但在辛意义下, 尽管辛 Hodge 理论这一概念在 1940s 就由 Ehresmann 和 Libermann 提出 [7,15], 并且 Brylinski [4] 在大约 20 年前重新引入, 它的可利用性受到相当的限制. 要写出辛伴随算子, 我们可以利用辛的星算子 $*_s$. $*_s$ 的定义类似于 Hodge 星算子, 但是是关于辛形式 $\omega$ 的, 而非关于度量的. 确切的, 在一个 $2n$-维辛流形 $(M,\omega)$ 上, 辛星算子按下面的方式作用在一个 $k$-形式上

\[
\begin{split}
A\wedge *_s A\'&=(\omega^{-1})^k(A,A\')d\text{vol}\\
&=\frac{1}{k!}(\omega^{-1})^{i_1 j_1}\cdots(\omega^{-1})^{i_k j_k}A_{i_1 i_2\ldots i_k}A\'_{j_1 j_2\ldots j_k}\frac{\omega^n}{n!}
\end{split}
\]

这里上下指标如果相同意味着对其求和(即采用 Einstein 求和约定). 标准外微分的伴随算子 $d^{\Lambda}:\Omega^k(M)\rightarrow\Omega^{k-1}(M)$ 定义为

\[
d^{\Lambda}:=(-1)^{k+1}*_s d *_s
\]

一个微分形式被称为“辛调和形式”(symplectic harmonic), 如果它既是 $d$-闭的, 又是 $d^\Lambda$-闭的.

至于此种形式的存在性, Mathieu 在 [17] 中证明了:

对于辛流形 $M^{2n}$, 每个 de Rham 上同调群 $H_d^*(M)$ 中的类包含一个辛调和形式当且仅当辛流形 $M$ 满足强 Lefschetz 性质(strong Lefschetz property), 即对每个 $k\leqslant n$, 映射

\[
H_d^k(M)\rightarrow H_d^{2n-k}(M),\quad A\mapsto [\omega]^{n-k}\wedge A
\]

是一个同构.

 

正如所表示的, 既是 $d$-闭 又是 $d^\Lambda$-闭的微分形式空间缺乏某种类似于调和形式的内在的性质. 对于辛调和形式的存在性, 我们希望对于任意辛流形, 在它的每个上同调类中都存在辛调和形式. 但是 Mathieu 定理告诉我们 de Rham 上同调的所有类中辛调和形式的存在要求辛流形满足强 Lefschetz 性质. 遗憾的是, 许多已知的非 Kahler 的辛流形不满足强 Lefschetz 性质. 我们也期盼类似于调和形式在 de Rham 上同调中的惟一性, 辛调和形式在每个 de Rham 上同调类中也是惟一的, 但考虑这样一个例子: $\alpha$ 是 $d$-恰当的 1-形式, 如 $\alpha=df$. 当然它们是 $d$-闭的. 而且容易证明 $\alpha$ 也是 $d^\Lambda$-闭的. 事实上,
\[
\begin{split}
d^\Lambda \alpha&=(-1)^{1+1}*_s d *_s df\\
&=*_s d *_s df
\end{split}
\]
 

利用 $d^\Lambda=-d^*$, $d^*=d\circ i(G)-i(G)\circ d$, 以及 $L^*=i(G)$, 可证明 $d^\Lambda df=0$. (这个以后再补充, 详细可参见问题1017)


既是 $d$-闭又是 $d^\Lambda$-闭的形式, 即辛调和形式, 其惟一性在 de Rham 上同调类中不会发生. 这两方面, 辛调和形式的存在性和惟一性问题, 指明了当考虑辛 Hodge 理论时, de Rham 上同调或许并不是最恰当的上同调. 但若不是 de Rham 上同调, 在辛流形上有什么其他的上同调呢?

在本文中, 对于紧致辛流形, 我们引进并分析新的上同调. 在寻找新的上同调的过程中, 一个简单的方法是从 $d$-闭和 $d^\Lambda$-闭的要求出发, 通过改装出一些额外的恰当形式来试图获得惟一性. 记住性质
\[
d^2=(d^\Lambda)^2=0
\]
以及辛拉普拉斯算子(symplectic Laplacian) $dd^\Lambda+d^\Lambda d$ 是零, 即有下面的反交换性
\[
dd^\Lambda=-d^\Lambda d,
\]
我们在辛流形 $(M,\omega)$ 的微分形式空间 $\Omega^*(M)$上考虑如下的上同调
\[
H_{d+d^\Lambda}^{k}(M)=\frac{\ker(d+d^\Lambda)\cap\Omega^k(M)}{\text{im}dd^\Lambda\cap\Omega^k(M)},
\]
注意到在 $\Omega^k(M)$ 中有
\[
\ker d\cap\ker d^\Lambda=\ker(d+d^\Lambda)
\]

从概念上讲, 在写下这样一个上同调时, 我们已经将 $d^\Lambda$ 这个伴随算子的起源放在了脑后, 而只是将 $d^\Lambda$ 作为一个独立的微分算子来对待. 因此, 我们选取的这个记号 $d^\Lambda$, 与更通用的表示伴随算子的 $\delta$ 符号是有区别的.

根据椭圆理论的论述, 我们应证明对于紧致辛流形 $M$, $H_{d+d^\Lambda}^{k}(M)$ 事实上是有限维的. 而且根据上同调 $H_{d+d^\Lambda}^{k}(M)$ 的构造, 它在辛变换之下是不变的. 因此它是一个好的辛上同调, 用来表示整体不变量.
 

至于调和形式的概念, 我们将按标准的黎曼几何的方式来定义, 也就是利用 Hodge 星算子(它要求有度量). 在任意辛流形 $(M,\omega)$ 上, 都有一个相容的三元组 $(\omega, J, g)$, 它们分别是辛形式, 近复结构和黎曼度量. 依靠这个相容的黎曼度量, 我们可以定义 Hodge 星算子. 对于这里的上同调, 我们将要求辛调和形式不仅满足 $d$-闭和 $d^\Lambda$-闭, 而且还额外满足是 $(dd^\Lambda)^*=(-1)^{k+1}*(dd^\Lambda)*$-闭的. 这样在每个上同调 $H_{d+d^\Lambda}^{k}(M)$ 的类中我们将构造出惟一的辛调和形式.

吸引人的是, 上同调 $H_{d+d^\Lambda}^*(M)$ 有不少有趣的性质. 我们将看到, it commutes with the Lefschetz\'s decomposition of forms, 从而对于所有辛流形, 关于上同调 $H_{d+d^\Lambda}^*(M)$ 的 Lefschetz 性质是成立的, 而不是对于 de Rham 上同调 $H_d^*(M)$.

如果辛流形的 de Rham 上同调群 $H_d^k(M)$ 满足强 Lefschetz 性质(即等价于满足 $dd^\Lambda$-引理), 则 $H_{d+d\Lambda}^k(M)$ 同构于 $H_d^k(M)$.