[论文解读] Teissier's problem on proportionality of nef and big classes over a compact Kähler manifold

Jixiang Fu, Jian Xiao|arXiv (Cornell University)|Oct 17, 2014

Geometry and complex manifolds参考文献 10被引用 8

一句话总结

本文解决了紧致 Kähler 流形上超越性 nef 与大类的 Teissier 比例性问题，证明 Khovanskii-Teissier 不等式中等式成立当且仅当这些类成比例。作者在不依赖超越性 Diskant 不等式的情况下，利用微分几何技巧与奇点理论，将 Boucksom-Favre-Jonsson 在代数几何中的结果推广至 Kähler 几何。

ABSTRACT

We solve Teissier's proportionality problem for transcendental nef classes over a compact Kähler manifold which says that the equality in the Khovanskii-Teissier inequalities hold for two nef and big classes if and only if the two classes are proportional. This result recovers the previous one of Boucksom-Favre-Jonsson for the case of nef and big line bundles over a (complex) projective algebraic manifold.

研究动机与目标

• 刻画紧致 Kähler 流形上超越性 nef 与大类在 Khovanskii-Teissier 不等式中的等式成立情形。
• 将 Boucksom-Favre-Jonsson 在射影代数簇上的比例性结果推广至紧致 Kähler 流形。
• 建立多个刻画 nef 与大类成比例的条件之间的等价性，包括体积可加性与幂映射嵌入。
• 证明 (n−1)-次幂映射将 nef 大锥嵌入移动锥，从而关联几何与上同调性质。

提出的方法

• 利用紧致 Kähler 流形上的混合 Hodge-Riemann 双线性关系，推导超越类的 Khovanskii-Teissier 不等式。
• 在超越设定下应用弱全纯 Morse 不等式，虽未直接使用，但为策略提供指导。
• 采用具有最小奇点的正当前趋，并通过 Demailly 与 Boucksom 的结果分析其 Lelong 数。
• 使用 Bott-Chern 上同调框架，通过 Kähler 度量与 Kähler 当前趋代表定义 nef 与大性。
• 通过反证法与在余维数 ≥2 或 1 的解析子集上支撑的上同调类的消去定理，结合引理 2.1 与引理 2.2。
• 通过在充分大区域上控制上同调类差的奇点，证明比例性。

实验结果

研究问题

• RQ1 在何种条件下，紧致 Kähler 流形上的两个 nef 与大类在 Khovanskii-Teissier 不等式中取等？
• RQ2 两个 nef 与大类的比例性是否等价于混合 Hodge-Riemann 型不等式的等式成立？
• RQ3 Boucksom-Favre-Jonsson 的代数几何比例性结果能否推广至紧致 Kähler 流形的超越设定？
• RQ4 (n−1)-次幂映射从 nef 大锥到移动锥是否为单射，这又对类群的几何性质意味着什么？
• RQ5 体积可加性条件 vol(α+β)^{1/n} = vol(α)^{1/n} + vol(β)^{1/n} 是否在超越情形下刻画了成比例的类？

主要发现

• 两个 nef 与大类 α 与 β 在 Khovanskii-Teissier 不等式中取等当且仅当 α 与 β 成比例。
• 体积可加性条件 vol(α+β)^{1/n} = vol(α)^{1/n} + vol(β)^{1/n} 与 α 与 β 成比例等价。
• (n−1)-次幂映射 α ↦ α^{n−1} 将 nef 大锥嵌入移动锥当且仅当 α 与 β 成比例。
• 对所有 1 ≤ k ≤ n−1，等式 s_k^2 = s_{k−1} s_{k+1} 成立当且仅当 α 与 β 成比例。
• α 与 β 成比例当且仅当 α^{n−1} 与 β^{n−1} 成比例，从而建立了强有力的上同调刻画。
• 当等式情形成立时，Kähler 度量代表 α₀ 与 β₀ 的差在 X 上恒为零，即 α = β。