[论文解读] Notes on variation of Lefschetz star operator and $T$-Hodge theory

Xu Wang|arXiv (Cornell University)|Aug 24, 2017

Geometry and complex manifolds参考文献 23被引用 5

一句话总结

本文通过Lefschetz星算子的变分公式，提出了一套统一的T-Hodge理论框架，证明了当Kähler形式闭合时，其与Kähler纤维丛上的Lie-导数联络相容。关键贡献在于证明了该联络与Hodge星算子可交换，且非上同调的Kodaira-Spencer作用在星算子下满足对偶性，从而实现了对高阶直接像丛的曲率估计。

ABSTRACT

These notes were written to serve as an easy reference for \cite{Wang-AF}. All the results in this presentation are well-known (or quasi-well-known) theorems in Hodge theory. Our main purpose was to give a unified approach based on a variation formula of the Lefschetz star operator, following \cite{Wang-k}. It fits quite well with Timorin's $T$-Hodge theory, i.e. the Hodge theory on the space of differential forms divided by $T$ (i.e. forms like $T\wedge u$), where $T$ is a finite wedge product of Kähler forms.

研究动机与目标

• 通过Lefschetz星算子的变分公式，提供T-Hodge理论的统一处理方法。
• 在dω ≡ 0的条件下，建立Lie-导数联络与Hodge星算子的相容性。
• 阐明非上同调Kodaira-Spencer算子在Hodge星算子下的对偶性质。
• 利用联络与Hodge星结构，推导高阶直接像丛的曲率公式。
• 将Timorin的T-Hodge理论推广至具有变化Kähler结构的Kähler流形族。

提出的方法

• 推导一族Kähler流形上Lefschetz星算子的变分公式。
• 通过切向量的水平提升与Chern联络，定义微分形式丛上的Lie-导数联络∇ᴬ。
• 利用条件dω ≡ 0，证明Lefschetz算子与∇ᴬ可交换，从而表明其与Hodge星算子相容。
• 将非上同调Kodaira-Spencer算子κⱼ与κ̄ⱼ分别定义为∂̅与δₐₗₗᵢₜ的换位子。
• 证明κⱼ* = - *κⱼ与κ̄ⱼ* = - *κ̄ⱼ，确立其在Hodge星算子下的对偶性。
• 应用Hodge星算子与联络的相容性，推导全纯截面在高阶直接像丛上的曲率估计。

实验结果

研究问题

• RQ1 在存在多个Kähler形式的情况下，Lefschetz星算子的变分如何统一T-Hodge理论？
• RQ2 在何种条件下，Lie-导数联络在Kähler流形族上与Hodge星算子可交换？
• RQ3 非上同调Kodaira-Spencer算子在Hodge星算子变换下的对偶行为如何？
• RQ4 如何从联络与Hodge星结构推导出高阶直接像丛的曲率公式？
• RQ5 条件dω ≡ 0在确保形式丛上的度量相容性与Chern联络结构中起什么作用？

主要发现

• 当dω ≡ 0时，Lie-导数联络∇ᴬ与Hodge星算子*可交换，通过Jacobi恒等式与dω = 0证明[∇ᴬ, L] = 0。
• 在每个(p,q)-分量丛上诱导的联络Dᴬ是Chern联络，保持由Hodge星算子定义的Hermitian度量。
• 非上同调Kodaira-Spencer算子满足κⱼ* = - *κⱼ与κ̄ⱼ* = - *κ̄Ɐⱼ，证明κ̄ⱼ是κⱼ的伴随算子。
• 对于全纯截面u，曲率估计式 i∂∂̄||u||² ≥ -i((∇ᴬ)²u, u) + i∑((κₖ* u, κⱼ* u) - (κⱼ u, κₖ u))dtʲ∧dṫᵏ 成立，提供正定性控制。
• 高阶直接像丛的曲率可通过子丛-商丛曲率公式，利用所导出的联络与Hodge星结构进行计算。
• 该框架将Timorin的T-Hodge理论推广至Kähler流形族，其应用包括Alexandrov-Fenchel不等式与Dinh-Nguyên定理。