[论文解读] Hodge-Gaussian maps

Elisabetta Colombo, Gian Pietro Pirola+1 more|ArXiv.org|May 30, 2000

Algebraic Geometry and Number Theory参考文献 11被引用 14

一句话总结

本文引入了Hodge–Gaussian映射，这是一种在紧致Kähler流形上通过Dolbeault形式的调和分解定义的新一类非全纯映射。其主要贡献是为复流形的形变构造了一个自然的第二基本形式，该形式推广了曲线情形下的Wahl映射，并可扩展至调和丛与向量丛，为研究模空间曲率与Hodge理论提供了新工具。

ABSTRACT

Let $X$ be a compact Kähler manifold, and let $L$ be a line bundle on $X.$ Define $I_k(L)$ to be the kernel of the multiplication map $ Sym^k H^0 (L) o H^0 (L^k).$ For all $h \leq k,$ we define a map $ρ: I_k(L) o Hom (H^{p,q} (L^{-h}), H^{p+1,q-1} (L^{k-h})).$ When $L = K_X$ is the canonical bundle, the map $ρ$ computes a second fundamental form associated to the deformations of $X.$ If $X=C$ is a curve, then $ρ$ is a lifting of the Wahl map $I_2(L) o H^0 (L^2 \otimes K_C^2).$ We also show how to generalize the construction of $ρ$ to the cases of harmonic bundles and of couples of vector bundles.

研究动机与目标

• 定义一类新映射——Hodge–Gaussian映射，以推广Hodge理论中的第二基本形式。
• 证明对于紧致Kähler流形X与线丛L，映射ρ: I_k(L) × H^{p,q}(L^{-h}) → H^{p+1,q-1}(L^{k-h})通过调和分解是良定义的。
• 证明当L = K_X时，ρ计算出X的形变函子的第二基本形式。
• 将构造推广至调和丛与向量丛对，从而将适用范围从线丛扩展至更一般情形。
• 建立曲线上任意线丛的Wahl映射的提升性质，解决Karpishpan提出的问题，并证实Green–Griffiths的猜想。

提出的方法

• 将I_k(L)定义为乘法映射Sym^k H^0(L) → H^0(L^k)的核，以捕捉k阶syzygy。
• 使用Dolbeault代表元与调和分解：对θ ∈ H^1(L^{-1})，λ_i ∈ H^0(L)，将θλ_i写为γ_i + ∂h_i ∈ A^{0,1}(X)。
• 通过将Q = ∑ a_ij λ_i ⊗ λ_j 映射为∑ a_ij λ_i ∂h_j，构造映射ρ: I_k(L) × H^{p,q}(L^{-h}) → H^{p+1,q-1}(L^{k-h})。
• 利用Hodge理论中“两类形式”的原理，确保在调和分解下该映射的良定义性。
• 将构造推广至调和丛，用D’_H（Chern联络的(1,0)部分）替代∂，并使用D’_H-调和上同调。
• 通过验证涉及Wahl映射μ_2与乘法映射m的图表的交换性，证明ρ在常数因子意义下提升μ_2。

实验结果

研究问题

• RQ1 能否通过Hodge理论方法，为紧致Kähler流形的形变构造第二基本形式？
• RQ2 Hodge–Gaussian映射ρ是否对曲线上任意线丛都提升经典Wahl映射？
• RQ3 ρ的构造能否超越线丛，推广至调和丛与向量丛？
• RQ4 在模理论中，非全纯映射ρ的几何与曲率理论意义为何？
• RQ5 第二基本形式是否存在自然的Hodge理论解释，以syzygy与调和形式表达？

主要发现

• 对于紧致Kähler流形X上的任意线丛L，Hodge–Gaussian映射ρ: I_k(L) × H^{p,q}(L^{-h}) → H^{p+1,q-1}(L^{k-h})是良定义的。
• 当L = K_X时，ρ计算出X的形变函子的第二基本形式，从而将Hodge理论与模空间几何联系起来。
• 在曲线上，ρ通过H^0(L ⊗ K_C) × H^0(L ⊗ K_C)上的乘法映射，实现对第二Wahl映射μ_2: I_2(L) → H^0(L^2 ⊗ K_C^2)的提升。
• 该构造可推广至调和丛，得到映射I_2(L) × H^k_{Dolb}(E ⊗ L^{-1}) → H^k_{Dolb}(E ⊗ L)，其中使用D’_H联络。
• 映射ρ是非全纯的，这可能阻碍其在代数几何中的应用，但与模空间曲率研究一致。
• 涉及μ_2与乘法映射的图表的交换性已确立（至多相差一个常数），从而确认了提升性质。