[论文解读] A generalization of Hartog's extension of line bundles

Youssef Alaoui|arXiv (Cornell University)|Jan 14, 2026

Geometry and complex manifolds被引用 0

一句话总结

论文证明：在维数 n ≥ 4 的复流形上，若存在带角点的 q-凸函数 f，且 1 ≤ q ≤ n−3，则对 {f > c} 上的所有全纯线丛在唯一意义下可延拓至 X，这推广了带角点的 q-完备流形的既有结果。

ABSTRACT

In this article, we prove that if $X$ is a complex manifold of dimension $n\geq 4$ such that there exists a $q$-convex with corners function $f\in F_{q}(X)$, then every holomorphic line bundle over $\{f>c\}$ extends uniquely to $X$ if $1\leq q\leq n-3$. This generalizes a well-known result obtained in \cite{ref5} for $q$-complete with corners complex manifolds with a corresponding exhaustion function $f \in F_{q}(X)$, when $n \geq 3q$.

研究动机与目标

• 在非 q-完备设定下动机化全纯线丛的延拓问题。
• 将带角点的 q-完备扩展结果推广到带角点的 q-凸设定。
• 建立关于 f 的子水平集延拓的同调同构性与单射性结果。
• 利用局部同调与 Stein 邻域框架来证明延拓与唯一性。

提出的方法

• 引入带角点的 q-凸函数并定义 F_q(X)。
• 利用引理 1–4 将局部同调的消失与全局延拓联系起来。
• 利用 Stein 邻域系统与 Mayer–Vietoris 序列控制 Y = {f > f(ξ0)} 上的同调。
• 应用 Grothendieck 的谱序列与 Mittag–Leffler 技巧推出局部同调的消失结果。
• 利用 Pic、Cartier 因子和流形上的本征分式与全纯/ Meromorphic 截面的关系的关于延拓与平凡性的精确列，来证明延拓及平凡性条件。
• 得出 H^p(X, O^*) → H^p(Y, O^*) 在 p = 0,1,2 处的满同态及在 p = 3 处的单射性的双射结论。

实验结果

研究问题

• RQ1 在复流形 X 与带角点的 q-凸函数 f 给定的条件下，限制映射 H^p(X, O^*) → H^p({f > c}, O^*) 在 p = 0,1,2 处何时双射？
• RQ2 在存在角点或非穷尽 f 的情况下，何时从 {f > c} 延拓到 X 会失败？
• RQ3 局部同调与 Stein 邻域技术如何在非 q-完备设定下得到延拓结果？
• RQ4 对于 1 ≤ q ≤ n−3、且维数 n ≥ 4 的流形，延拓结果是否无需 q-完备性假设？
• RQ5 在此广义设定下，延拓线丛是否存在（若有的话）共同调阻碍？

主要发现

• 若 X 的维数 n ≥ 4，且存在带角点的 q-凸函数 f，且 1 ≤ q ≤ n−3，则限制映射 H^p(X, O^*) → H^p({f > f(ξ0)}, O^*) 在 p = 0,1,2 处双射，在 p = 3 处单射。
• 在给定条件下，延拓在同构意义下唯一。
• 引理建立在适当的 Stein 邻域及其交集上的某些同调的消失，从而实现局部到全局的延拓。
• 论证结合 Stein 邻域系统、Mayer–Vietoris 序列与谱序列以控制带 O^* 系数的局部与全局同调。
• 该方法表明在给定假设下，子水平集上的拓扑平凡线丛在延拓后仍为平凡，通过 Cartier 因子与 meromorphic 截面实现。