Construction of negatively curved complete intersections

本文利用唐纳森 - 奥鲁克斯理论，在复射影流形中构造了具有多种负曲率性质的完全交，证明了紧单连通凯勒流形上存在全纯双截面曲率为负的度量，并构造了双曲超曲面及其科巴亚西双曲度量的界限。

要点

这是一篇关于**高等数学（复几何）**的论文，作者是 Jean-Paul Mohsen。虽然原文充满了复杂的公式和术语，但我们可以用一些生动的比喻来理解它的核心思想。

想象一下，你是一位宇宙建筑师，手里有一块巨大的、形状复杂的“画布”（这就是论文中的复射影流形，你可以把它想象成一个高维的、弯曲的宇宙空间）。你的任务是在这块画布上画出一些完美的“图案”（这就是完全交，即由方程定义的几何形状，比如曲线、曲面等）。

这篇论文主要解决了三个令人兴奋的问题：

1. 寻找“负曲率”的完美图案

核心概念：负曲率 (Negative Curvature)

• 通俗解释：想象一下球面（像地球），它是“正曲率”的，如果你在上面走，两条平行的线最终会相交。想象一下马鞍面，它是“负曲率”的，如果你在上面走，两条平行的线会越跑越远。
• 论文的贡献：以前，数学家们很难在复杂的宇宙画布上找到那些既封闭（像球一样有界，不会无限延伸）又简单连通（没有洞，像球一样）且拥有负曲率的图案。这就像在平坦的桌子上强行捏出一个完美的马鞍形状，而且还要保证它不破裂。
• 作者的方法：作者使用了一种叫做Donaldson-Auroux 理论的“魔法工具”。
  • 比喻：想象你要在画布上画一条线。如果你只画一次，可能画歪了。但如果你用一种特殊的“喷枪”，喷出的线条非常细密，而且随着你喷的次数越来越多（论文中的 $k$ 趋向于无穷大），这些线条会神奇地自动调整，最终形成一条完美的、具有负曲率的曲线。
  • 结果：作者证明了，只要你的“喷枪”足够精细（方程的度数 $k$ 足够大），你总能画出这样的图案。这解决了数学界的一个老难题：是否存在既封闭又简单连通，且拥有负曲率的几何体？ 答案是肯定的！

2. 让图案“拒绝”直线（双曲性）

核心概念：双曲性 (Hyperbolicity)

• 通俗解释：想象你在一个房间里，如果房间是“双曲”的，那么任何试图在里面画直线的尝试都会失败，或者直线会迅速弯曲。在数学上，这意味着在这个空间里，你无法画出一条完美的直线（复直线）。
• 论文的贡献：作者不仅画出了负曲率的图案，还画出了“拒绝直线”的图案。
• 比喻：想象你在一个充满弹性的果冻里画线。通常，线可以直直地穿过。但作者构造了一种特殊的果冻（超曲面），如果你试图在里面画一条直线，这条线会被果冻的弹性“弹开”或扭曲。
• 实际应用：作者还给出了一个“安全距离”的估算。如果你试图在这个图案上画线，你的笔尖移动速度有一个上限。这就像给这个几何空间设定了一个“速度限制”，防止任何“直线”入侵。

3. 如何做到的？（“缩放”与“极限”的魔法）

这是论文最精彩的技术部分，我们可以用**“显微镜”**来比喻：

• 步骤一：无限放大
  作者并不直接在巨大的画布上画图。相反，他拿了一个超级显微镜。当他把画布上的图案放大 $k$ 倍（$k$ 是一个巨大的数字）时，原本弯曲的画布局部看起来就像平坦的欧几里得空间（$C^n$，就像我们熟悉的平面，只是维度更高）。
• 步骤二：寻找“坏点”并避开
  在放大的世界里，作者定义了一些“坏点”（比如那些曲率不够负的地方，或者那些包含直线的地方）。这些坏点在数学上构成了一个“禁区”。
• 步骤三：随机游走与概率
  作者利用 Donaldson 的理论证明，如果你随机地选择足够多的线条（高次方程），你几乎肯定会避开这些“禁区”。
  • 比喻：就像你在一个巨大的迷宫里扔飞镖。迷宫里有一些陷阱（坏点）。如果你扔的飞镖足够多、足够细，你几乎不可能每次都正好扎在陷阱里。相反，你会落在安全区域。
• 步骤四：回归现实
  当你在放大的世界里找到了完美的图案后，再把显微镜缩小，回到原来的画布上。神奇的是，这个图案在原来的尺度下依然保持完美，并且拥有你想要的负曲率性质。

总结：这篇论文为什么重要？

1. 打破了常规：以前人们认为，在复杂的几何世界里，想要同时拥有“封闭”、“简单”和“负曲率”是非常困难甚至不可能的。这篇论文像变魔术一样，证明了它们不仅存在，而且可以批量生产（只要方程次数够高）。
2. 连接了不同领域：它把辛几何（一种研究物理动力系统的数学分支）的工具，成功应用到了复几何（研究形状和空间的分支）中。这就像是用造飞机的引擎去驱动一艘船，发现船跑得更快了。
3. 解决了经典问题：它直接回答了数学界几十年的一个疑问：是否存在一种既没有洞、又封闭，且处处弯曲得像马鞍一样的几何体？作者说：“有，而且我可以造出来。”

一句话总结：
这位作者发明了一种“数学显微镜”和“概率喷枪”，通过在无限精细的尺度上操作，成功地在复杂的几何宇宙中，制造出了既封闭又完美弯曲（负曲率）的“超级形状”，并证明了这些形状具有极强的“抗直线”能力。

技术摘要

这是一份关于 Jean-Paul Mohsen 的论文《Construction of negatively curved complete intersections》（负曲率完全交构造）的详细技术总结。

1. 研究背景与问题 (Problem)

在复几何中，构造具有特定曲率性质的紧流形是一个核心问题。特别是，是否存在单连通的紧凯勒流形（compact Kähler manifolds），其全纯双截面曲率（holomorphic bisectional curvature）为负？

• 已知困难：根据经典的 Lefschetz 定理，高维完全交通常是单连通的。然而，构造具有负曲率的紧凯勒流形非常困难。例如，复射影平面 $\mathbb{CP}^2$ 中的曲线在 Fubini-Study 度量下不可能处处具有非正曲率。
• 现有结果：虽然 Mumford 等人构造了具有负全纯双截面曲率的“假射影平面”（fake projective planes），但这类流形通常不是单连通的（或者其单连通性未直接由构造保证）。此外，关于全纯双截面曲率为负的紧凯勒流形是否必须是 Stein 流形（Stein manifolds）是一个长期未决的问题（参见文献 [17, Question 35]）。
• 核心目标：利用 Donaldson-Auroux 理论，在复射影流形 $X$ 中构造一系列高次完全交（complete intersections），使其在诱导度量下具有各种形式的负曲率（如负 Ricci 曲率、负全纯截面曲率、负全纯双截面曲率等），并证明这些流形可以是紧且单连通的。

2. 方法论 (Methodology)

本文的核心方法是应用 Donaldson-Auroux 渐近横截性理论（Asymptotic Transversality Theory）。该方法原本用于辛几何中的结构定理，但本文将其转化为复几何中的构造工具。

主要技术步骤包括：

1. 重正化极限子流形 (Renormalized Limit Submanifolds)：

   • 考虑由 $L^{\otimes k}$ 的截面定义的完全交 $Y_k$，其中 $k \to \infty$。
   • 在尺度 $1/\sqrt{k}$下观察$Y_k$的几何性质。通过重正化坐标图（rescaled charts），序列$(Y_k)$在局部收敛到$\mathbb{C}^n$中的极限子流形$Y_\infty$。
   • 关键性质：如果 $Y_k$ 的几何在重正化尺度下保持有界，则其极限 $Y_\infty$ 是 $\mathbb{C}^n$ 中的复子流形，且其曲率性质（在常凯勒度量下）决定了 $Y_k$ 在大 $k$ 时的曲率符号。

2. 避免定理 (Avoidance Theorem)：

   • 利用 Jet 空间（$Jet^l_{d,n}$，即 $d$ 维子流形在 $\mathbb{C}^n$ 中的 $l$ 阶切触空间）来描述曲率条件。
   • 对于每种负曲率类型（如负 Ricci 曲率、负全纯双截面曲率），构造一个闭复代数子集 $A \subset Jet^l_{d,n}$，使得如果子流形的 $l$ 阶喷流（jet）落在 $A$ 中，则曲率非负；如果落在补集 $Jet^l_{d,n} \setminus A$ 中，则曲率为负。
   • 关键条件：证明子集 $A$ 的余维数（codimension）大于子流形的维度 $d$（即 $\text{codim}(A) > d$）。
   • 应用 Donaldson-Auroux 的渐近横截性定理：如果 $\text{codim}(A) > d$，则存在一系列完全交 $Y_k$，其重正化极限子流形的喷流渐近地避开 $A$。这意味着对于足够大的 $k$，$Y_k$ 具有所需的负曲率。

3. 代数几何工具：

   • 利用消去理论（Elimination Theory，Theorem 8）来估计投影像的余维数，确保构造出的“坏”集合 $A$ 具有足够高的余维数。
   • 利用Griffiths 正性与 Serre 线束的关系，将向量丛的正性问题转化为线束曲率问题。

3. 主要贡献与结果 (Key Contributions and Results)

3.1 负曲率完全交的存在性 (Theorem 1)

作者证明了在复射影流形 $X$（维数 $n$，配备 ample 线丛 $L$）中，对于足够大的 $k$，存在由 $k$ 次方程定义的 $d$ 维完全交 $Y$，满足以下曲率性质：

• (a) 负高斯曲率：若 $n \ge 3$，存在负曲率曲线（$d=1$）。
• (b) 负 Ricci 曲率：若 $d \le n-2$，存在负 Ricci 曲率的完全交。
• (c) 负标量曲率：若 $d \le n-1$ 且 $n \ge 3$，存在负标量曲率的完全交。
• (d) 负全纯截面曲率：若 $n \ge 3d$，存在负全纯截面曲率的完全交。
• (e) 负全纯双截面曲率：若 $n \ge 4d-1$，存在负全纯双截面曲率的完全交。

重要推论 (Corollary 2)：
如果 $X$ 是单连通的，且 $d \ge 2$，则根据 Lefschetz 定理，$Y$ 也是单连通的。因此，存在紧致的、单连通的、具有负全纯双截面曲率的凯勒流形。

• 意义：这回答了经典问题，表明单连通且全纯双截面曲率为负的凯勒流形不必是 Stein 流形（此前未知）。

3.2 Griffiths 正性 (Theorem 3)

构造了子流形 $Y$，使得其切丛的某些外幂 $\Lambda^l(T^*Y)$ 或法丛 $\Lambda^l(N_Y)$ 是 Griffiths 正 的。

• 这给出了 $Y$ 的切丛或法丛具有特定代数几何性质（如 ample）的度量版本。
• 当 $l=1$ 且度量是凯勒时，$\Lambda^1(T^*Y)$ 的 Griffiths 正性等价于 $T Y$ 的 Griffiths 负性，即负全纯双截面曲率，从而与 Theorem 1(e) 一致。

3.3 双曲超曲面与 Kobayashi 度量 (Theorem 4)

• 构造了双曲超曲面 $Y$（在 Brody 或 Kobayashi 意义下）。
• 给出了 Kobayashi 双曲度量 的定量界限：对于任何全纯映射 $f: \mathbb{D} \to Y$，有 $\|f'(0)\| \le \frac{C}{\sqrt{k}}$。
• 这意味着随着 $k$ 增大，超曲面变得越来越“双曲”，任何从单位圆盘进入的映射其导数必须非常小。

4. 技术细节与证明策略

• Theorem 1 的证明：

  • 针对每种曲率，在 $Jet^2_{d,n}$ 中定义“坏”集合 $A$（即曲率非负的点）。
  • 例如，对于负全纯双截面曲率，利用公式 $HolBisec(v, v') = -2\|II(v, v')\|^2$，定义 $A$ 为第二基本形式 $II$ 在某些方向上为零的集合。
  • 通过计算证明 $\text{codim}(A) > d$。例如，对于全纯双截面曲率，需要 $n \ge 4d-1$ 来保证余维数条件成立。
  • 应用 Theorem 7（避免定理）得到序列 $Y_k$。
  • 通过反证法证明：如果 $Y_k$ 在某点曲率非负，则其重正化极限 $Y_\infty$ 在对应点曲率非负，这与 $Y_\infty$ 避开 $A$ 矛盾。

• Theorem 4 的证明：

  • 利用 Brody 重参数化引理（Lemma 18）。
  • 证明如果存在一系列映射 $f_k: \mathbb{D} \to Y_k$ 使得 $\sqrt{k}\|f'_k(0)\| \to \infty$，则重正化后的序列会收敛到 $\mathbb{C}^n$ 中的直线（Liouville 定理）。
  • 通过构造避开“包含直线”这一代数条件的完全交（即极限子流形不包含直线），从而证明 $Y_k$ 是双曲的且满足度量界限。

5. 意义与影响 (Significance)

1. 解决经典问题：首次明确构造了紧致的、单连通的、具有负全纯双截面曲率的凯勒流形。这打破了人们可能认为此类流形必须是 Stein 流形的直觉（尽管 Stein 流形通常是非紧的，或者紧 Stein 流形不存在，但这里强调的是单连通性与负曲率的结合）。
2. 方法论的拓展：成功将 Donaldson-Auroux 理论从辛几何（辛子流形、拉格朗日子流形）扩展到复几何的曲率构造问题。展示了渐近方法在构造具有特定几何性质的复子流形方面的强大能力。
3. 定量结果：不仅证明了存在性，还给出了 Kobayashi 度量的具体衰减率（$O(1/\sqrt{k})$），为研究高次超曲面的双曲性提供了定量工具。
4. 代数与几何的桥梁：将代数几何中的“余维数”条件转化为微分几何中的“曲率符号”条件，展示了代数约束如何控制几何性质。

总结来说，这篇论文通过精妙的渐近分析和代数几何工具，在复射影流形中构造出了一类具有丰富负曲率性质的完全交，解决了关于单连通负曲率凯勒流形存在性的长期猜想，并为复几何中的双曲性研究提供了新的构造性视角。