[论文解读] Complex Tropical Currents, Extremality, and Approximations

Farhad Babaee|arXiv (Cornell University)|Mar 28, 2014

Polynomial and algebraic computation参考文献 8被引用 4

一句话总结

本文引入了热带电流——通过复乘法群 $(\mathbb{C}^*)^n$ 上对数映射的逆像，将 $\mathbb{R}^n$ 中的热带 $p$-循环与 $(p,p)$-维正常闭电流相关联。论文建立了充分的组合条件，使得这些电流在正闭 $(p,p)$-电流锥中为强极值，并证明此类极值热带电流可作为代数循环的阿莫巴（amoeba）上归一化电流的极限而出现，从而将热带几何与复分析及电流理论联系起来。

ABSTRACT

To a tropical $p$-cycle $V_{\mathbb{T}}$ in $\mathbb{R}^n$, we naturally associate a normal closed and $(p,p)$-dimensional current on $(\mathbb{C}^*)^n$ denoted by $\mathscr{T}_n^p(V_{\mathbb{T}})$. Such a "tropical current" $\mathscr{T}_n^p(V_{\mathbb{T}})$ will not be an integration current along any analytic set, since its support has the form ${ m Log\,}^{-1}(V_{\mathbb{T}})\subset (\mathbb{C}^*)^n$, where ${ m Log\,}$ is the coordinate-wise valuation with $\log(|.|)$. We remark that tropical currents can be used to deduce an intersection theory for effective tropical cycles. Furthermore, we provide sufficient (local) conditions on tropical $p$-cycles such that their associated tropical currents are "strongly extremal" in $\mathcal{D}'_{p,p}((\mathbb{C}^*)^n)$. In particular, if these conditions hold for the effective cycles, then the associated currents are extremal in the cone of strongly positive closed currents of bidimension $(p,p)$ on $(\mathbb{C}^*)^n$. Finally, we explain certain relations between approximation problems of tropical cycles by amoebas of algebraic cycles and approximations of the associated currents by positive multiples of integration currents along analytic cycles.

研究动机与目标

• 通过 $(\mathbb{C}^*)^n$ 上对数映射的逆像，定义并研究与 $\mathbb{R}^n$ 中热带 $p$-循环相关的热带电流。
• 建立局部组合条件，确保这些热带电流在正闭 $(p,p)$-电流锥中为强极值。
• 将热带循环由代数循环的阿莫巴逼近，与它们对应的热带电流由解析循环上的积分电流逼近相联系。
• 利用热带多项式的蒙日-安培测度，发展有效热带循环的交点理论。

提出的方法

• 在 $(\mathbb{C}^*)^n$ 上构造一个电流 $\mathscr{T}_n^p(V_\mathbb{T})$，作为在 $\mathrm{Log}^{-1}(V_\mathbb{T})$ 上某测度的推出，其中 $V_\mathbb{T}$ 是一个热带 $p$-循环。
• 证明当多面复形 $\mathcal{P}$ 满足平衡条件时，$\mathscr{T}_n^p(V_\mathbb{T})$ 是闭且正常的，从而保证了电流的良定义性。
• 通过要求在每个面 $W$ 上，投影的本原向量 $\{h_W(v_i)\}$ 张成 $W^\perp$ 且作为集合线性无关，来确立强极值性。
• 证明热带超曲面对应于形如 $dd^c[q \circ \mathrm{Log}]$ 的电流，其中 $q$ 是一个热带多项式，从而与复分析中的已知公式相联系。
• 使用归一化 $\lambda_m = m^{n-p}$ 和通过 $\Phi_m$ 的拉回，构造收敛于 $\mathscr{T}_n^p(V_\mathbb{T})$ 的电流序列。
• 证明若 $V_\mathbb{T}$ 可被代数循环的阿莫巴在集合上逼近，则 $\mathscr{T}_n^p(V_\mathbb{T})$ 属于解析循环上积分电流锥的闭包。

实验结果

研究问题

• RQ1 在何种组合条件下，热带 $p$-循环所关联的热带电流在 $(\mathbb{C}^*)^n$ 上的正闭 $(p,p)$-电流锥中为强极值？
• RQ2 能否将与有效热带循环相关的热带电流实现为代数循环阿莫巴上归一化积分电流的极限？
• RQ3 每个极值热带电流是否都是此类阿莫巴电流的极限，还是存在不来自可逼近循环的极值电流？
• RQ4 如何通过热带多项式的蒙日-安培测度恢复热带循环的交点理论？
• RQ5 该热带电流的构造能否推广到无限热带循环？

主要发现

• 当底层热带循环满足平衡条件时，热带电流 $\mathscr{T}_n^p(V_\mathbb{T})$ 在 $(\mathbb{C}^*)^n$ 上作为正常闭 $(p,p)$-电流是良定义的。
• 若在每个面 $W$ 上，投影的本原向量张成 $W^\perp$ 且构成线性无关集合，则 $\mathscr{T}_n^p(V_\mathbb{T})$ 为强极值。
• 热带超曲面对应于形如 $dd^c[q \circ \mathrm{Log}]$ 的电流，其中 $q$ 为热带多项式，由此可通过蒙日-安培测度建立交点理论。
• 对于任意强极值热带电流 $\mathscr{T}_n^p(V_\mathbb{T})$，若 $V_\mathbb{T}$ 可被代数循环的阿莫巴在集合上逼近，则 $\mathscr{T}_n^p(V_\mathbb{T})$ 属于 $(\mathbb{C}^*)^n$ 上解析循环积分电流锥的闭包，即 $\mathscr{T}_n^p(V_\mathbb{T}) \in \overline{\mathcal{I}^p((\mathbb{C}^*)^n)}$。
• 在集合逼近条件下，归一化拉回的极限 $\frac{1}{m^{n-p}} \Phi_m^* [X_{e^m}]$ 当 $m \to \infty$ 时收敛于 $\mathscr{T}_n^p(V_\mathbb{T})$ 的一个正倍数。
• 将 $\mathscr{T}_n^p(V_\mathbb{T})$ 延拓为 $\mathbb{CP}^n$ 上的零延拓，若逼近的代数循环避开无穷远坐标超平面，则该延拓属于 $\mathbb{CP}^n$ 上积分电流锥的闭包。